在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数的集合。在这个意义下,可数集由有限可数集和无限可数集组成。不是可数集的无限集合称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。
超限数是大于所有有限集合数的基数或序数,分别叫做超穷基数和超穷序数。术语“超限”是康托尔提出的,他希望避免词语无限集合和那些只不过不是有限的那些对象有关的某些暗含。当时其他的作者少有这些疑惑;现在被接受的用法是称超限基数或序数为无限的。但是术语“超限”仍在使用。
连续统假设是数学中一个猜想,也是希尔伯特的23个问题的第一题,由康托尔提出,关于无穷集的可能大小。其为:
康托尔定理指的是在ZFC中,声称任何集合A的幂集的势严格大于A的势。康托尔定理对于有限集合是明显的,但是令人惊奇的是它对于无限集合也成立。同时证明了,可数集合集合构造的幂集的基数是不可数无限,以此创造出不可数无限的概念。
在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数的集合。在这个意义下,可数集由有限可数集和无限可数集组成。不是可数集的无限集合称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。
施罗德-伯恩斯坦定理,又称康托尔-伯恩斯坦-施罗德定理是公理化集合论中的一个基本定理,得名于康托尔、费利克斯·伯恩斯坦和施罗德。该定理陈述说:如果在集合 A 和 B 之间存在单射 f : A → B 和 g : B → A,则存在一个双射 h : A → B。从势的角度来看, 这意味着如果 |A| ≤ |B| 并且 |B| ≤ |A|,则 |A| = |B|,即A与B等势。显然,这是在基数排序中非常有用的特征。
在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数的集合。在这个意义下,可数集由有限可数集和无限可数集组成。不是可数集的无限集合称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。
在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数的集合。在这个意义下,可数集由有限可数集和无限可数集组成。不是可数集的无限集合称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。
在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数的集合。在这个意义下,可数集由有限可数集和无限可数集组成。不是可数集的无限集合称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。
施罗德-伯恩斯坦定理,又称康托尔-伯恩斯坦-施罗德定理是公理化集合论中的一个基本定理,得名于康托尔、费利克斯·伯恩斯坦和施罗德。该定理陈述说:如果在集合 A 和 B 之间存在单射 f : A → B 和 g : B → A,则存在一个双射 h : A → B。从势的角度来看, 这意味着如果 |A| ≤ |B| 并且 |B| ≤ |A|,则 |A| = |B|,即A与B等势。显然,这是在基数排序中非常有用的特征。