把一种功能上的操作通过一个明确的构造来体现,是集合论用于数学基础的目的之一。
<script type="text/javascript" src="http://krsna.lamost.org/ASCIIMathML.js"> </script>构造非标准分析需要在一个集合的幂集里面构造滤子:
设I为一个非空集,P(I)为I的幂集,然后可以如此构造幂集的子集F而构成所谓滤子:
- 对于F的任意一个元素A,则在P(I)中任意包含A的集合B,令其也`\in F`。
- 对于F的任意两个元素,令其交集也`\in F`。
- 空集不能属于F,但`I\in F`。
新评论
13 years 42 weeks ago
13 years 42 weeks ago
14 years 46 weeks ago
14 years 46 weeks ago
15 years 18 weeks ago
15 years 19 weeks ago
15 years 19 weeks ago
15 years 19 weeks ago
15 years 19 weeks ago
15 years 38 weeks ago