怀特海问题和连续统假设

快捷方式: 差异，相似，杰卡德相似系数，参考。

怀特海问题和连续统假设之间的区别

怀特海问题 vs. 连续统假设

怀特海问题，是群论的一个重要问题，由美国数学家约翰·怀特海在1950年代提出。 给定环\Lambda上的模A, B, R，投射模P以及正合列R \rightarrow P \twoheadrightarrow A其中第一个箭头由单同态\mu实现，记 \mathrm_(A, B). 在數學中，連續統假設（Kontinuumshypothese；Continuum hypothesis，簡稱CH）是一個猜想，也是希尔伯特的23个问题的第一題，由康托尔提出，關於無窮集的可能大小。其為： 康托爾引入了基數的概念以比較無窮集間的大小，也證明了整數集的基數絕對小於實集的基數。康托爾也就給出了連續統假設，就是说，在无限集中，比自然数集基数大的集合中，基数最小的集合是实数集。而連續統就是實數集的一個舊稱。 更加形式地说，自然数集的基数为\aleph_0（讀作「阿列夫零」）。而连续统假设的观点认为实数集的基数为\aleph_1（讀作「阿列夫壹」）。于是，康托尔定义了绝对无限。 等價地，整數集的基数是\aleph_0而實數的基数是2^，連續統假設指出不存在一個集合S使得 \aleph_0 假設選擇公理是對的，那就會有一個最小的基數\aleph_1大於\aleph_0，而連續統假設也就等價於以下的等式： 連續統假設有個更廣義的形式，叫作廣義連續統假設（GCH），其命題為： 庫爾特·哥德尔在1940年用内模型法证明了连续统假设与ZFC的相对协调性（無法以ZFC證明為誤），保羅·柯恩在1963年用力迫法证明了连续统假设不能由ZFC推导。也就是说连续统假设獨立於ZFC。.

可數集

在数学上，可数集，或称可列集、可数无穷集合，是与自然数集的某个子集具有相同基數（等势）的集合。在这个意义下不是可数集的集合称为不可数集。这个术语是康托尔创造的。可数集的元素，正如其名，是“可以计数”的：尽管计数永远无法终止，集合中每一个特定的元素都将对应一个自然数。 “可数集”这个术语也可以代表能和自然数集本身一一对应的集合。例子参见两个定义的差别在于有限集合在前者中算作可数集，而在后者中不算作可数集。 为了避免歧义，前一种意义上的可数有时称为至多可数，参见.

可數集和怀特海问题 · 可數集和连续统假设 · 查看更多 »

策梅洛-弗兰克尔集合论

梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.

怀特海问题和策梅洛-弗兰克尔集合论 · 策梅洛-弗兰克尔集合论和连续统假设 · 查看更多 »