连续统
连续统(英语:continuum)在数学概念中是指,在实数集里实数可以连续变动,也就是说,实数集是个连续统。[注 1][注 2]
有序集
编辑在集合论中,连续统是一个拥有多于一个元素的线性序集,而且其序满足如下性质[注 3]:
实数集即为连续统的例子;实际上它是连续统的原型。以下是连续统的几个例子:
- 序结构与实数集同构(序同构)的集合,例如实数集里的任何开区间
- 扩展的实数轴,以及序同构于它的,比如单位区间。
- 实的半开半闭区间如 (0,1] 等,以及其序同构。
- 拓扑学中有一种比实数线还要长的“长直线”
- 非标准分析中的超实数集
连续统的基数
编辑康托的连续统假设有时会被叙述成“在连续统的基数和自然数的基数之间不存在任何基数”,这里的“连续统”指的是实数集;连续统的基数即特指实数集的基数。
拓扑学
编辑在点集拓扑学中,一个连续统是指任何非空的紧致连通度量空间。[注 4]
按照以上定义,一个单点集也是连续统。拥有多于一个点的连续统称为非退化的连续统;由连通性和豪斯多夫性质,可知它一定含有无穷个点。连续统理论即是拓扑学中研究拓扑连续统的分支。其中一个有趣的问题是不可分解连续统的存在性:
- 是否存在这样的连续统 C ,它可以写成两个连续统的并集,且这两个都是 C 的真子集?
注释
编辑外部链接
编辑参考
编辑- ^ Charles E. Aull, Robert Lowen. Handbook of the history of general topology. Springer. 2001.