康托尔集定义
在数学中，康托尔集，由德国数学家格奥尔格·康托尔在1883年引入（但由亨利·约翰·斯蒂芬·史密斯在1875年发现），是位于一条线段上的一些点的集合，具有许多显著和深刻的性质。通过考虑这个集合，康托尔和其他数学家奠定了现代点集拓扑学的基础。虽然康托尔自己用一种一般、抽象的方法定义了这个集合，但是最常见的构造是康托尔三分点集，由去掉一条线段的中间三分之一得出。康托尔自己只附带介绍了三分点集的构造，作为一个更加一般的想法——一个无处稠密的完备集的例子。
康托尔三分集的形成过程实际上斯梅尔的马蹄映射也会形成康托尔集。
康托尔定理：用P(X)记X的一切子集构成的集，用cardX表示X的势，康托尔定理如下：cardX<cardP(X)
.证明：对于空集来说，上述结论显然成立，所以可设X≠空集。因为P(X)含有X的一切单元素子集，故cardX≤cardP(X),现只需证明两者不相等。若相等，假定f:X-P(X)是双射，考察集合A={x∈X|x不∈f(x)}，它由那样一些元素x∈X,x不含于它对应的集f(x)∈P(X),，组成的。因为A∈P(X)，所以必能找到一个元素a∈X,使f(a)=A,这个元素a∈X既不能有a∈A(据A的定义)，也不能有a不∈A（也是根据A的定义）,这与排中律矛盾。得证。
康托尔集的定义？
在数学中，康托尔集，由德国数学家格奥尔格·康托尔在1883年引入（但由亨利·约翰·斯蒂芬·史密斯在1875年发现），是位于一条线段上的一些点的集合，具有许多显著和深刻的性质。通过考虑这个集合，康托尔和其他数学家奠定了现代点集拓扑学的基础。虽然康托尔自己用一种一般、抽象的方法定义了这个集合，但是最常见的构造是康托尔三分点集，由去掉一条线段的中间三分之一得出。康托尔自己只附带介绍了三分点集的构造，作为一个更加一般的想法——一个无处稠密的完备集的例子。
康托尔三分集的形成过程实际上斯梅尔的马蹄映射也会形成康托尔集。
康托尔定理：用P(X)记X的一切子集构成的集，用cardX表示X的势，康托尔定理如下：cardX<cardP(X)
.证明：对于空集来说，上述结论显然成立，所以可设X≠空集。因为P(X)含有X的一切单元素子集，故cardX≤cardP(X),现只需证明两者不相等。若相等，假定f:X-P(X)是双射，考察集合A={x∈X|x不∈f(x)}，它由那样一些元素x∈X,x不含于它对应的集f(x)∈P(X),，组成的。因为A∈P(X)，所以必能找到一个元素a∈X,使f(a)=A,这个元素a∈X既不能有a∈A(据A的定义)，也不能有a不∈A（也是根据A的定义）,这与排中律矛盾。得证。
