集合、成员及相等

在朴素集合论中，集合是指由许多物件组成，有明确定义的搜集（collection）。这些物件称为集合的 元素 或是 成员 。物件可以是数字、人、其他组合等。例如，4是所有偶数形成集合中的元素。而集合的成员可以是无限多个，像是偶数形成的集合就有无限多个元素。

成员

若 x 是集合 A 的成员，也可以说 x 属于 A ，可以用 x ∈ A 表示，∈符号衍生自希腊字母小写的ε，是朱塞佩·皮亚诺在1889年引入，应该是因为是ἐστί（意思是"是"）的第一个字母。也常在 x ∉ A 的式子中用到符号 ∉，意思是x不属于A。

相等

两个集合 A 和 B 若其元素完全相同，则定义为二集合 相等 。也就是说，集合 A 的每一个元素都在集合 B 里，而集合 B 的每一个元素都在集合 A 里（参考外延公理）。因此一个集合可完全由其元素来确认，描述方式不是重点。例如一个有元素2, 3和5的集合和由小于6的质数组成的集合相等。

若集合 A 和 B 相等，可以表示为 A = B 。

空集合

空集合 常会以Ø表示，有时会表示为 { } {\displaystyle \{\}} ，是一个没有任何元素的集合，因为集合可完全由其元素来确认，因此只有一个空集合（参考空集公理）。虽然空集合没有任何元素，但空集合本身可以是其他集合的元素。因此Ø ≠ {Ø}，因为前者没有元素，后者有一个元素。

特点

朴素集合论中的“朴素”是指一个非形式化的理论，也就是用自然语言来描述集合以及集合的运算。语言中用到的and、or、if ... then、not、for some、for every都和一般数学中使用的相同。为了方便起见，朴素集合论中用到的用语也会在更高阶的数学现，甚至是出现在公理化集合论中。

朴素集合论是最早发展的集合论，是在19世纪末由格奥尔格·康托尔在其无限集合的研究中提出的 ，后来由戈特洛布·弗雷格在《概念文字》一书中继续发展。

朴素集合论也可以指许多不同的主题，可以是：

公理化集合论的非正式表示，例如保罗·哈尔莫斯的《 Naive Set Theory （ 英语 ： Naive Set Theory (book) ） 》。

格奥尔格·康托尔理的其他版本，或是其他非公理化的理论。

具有决定性不一致的理论（不论是否公理化），例如戈特洛布·弗雷格提出 ，会造成罗素悖论的理论，或是朱塞佩·皮亚诺 或理查德·戴德金的理论。

悖论

朴素集合论中假设任何一个性质都可以用来建构集合，不受任何限制，此一假设就造成了悖论，一个常见的悖论是罗素悖论： 没有一个集合是由“所有不包括自身的集合”所组成的。

若存在此一集合，集合是由“所有不包括自身的集合”所组成的，则

若此集合不是集合本身的成员，此集合符合“不包括自身的集合”的定义，应该要是此集合的成员之一，矛盾。

若此集合是集合本身的成员，此集合不符合“不包括自身的集合”的定义，不应该在此集合中，矛盾。

因此朴素集合论的一致性系统需要在可形成集合的条件上作一些限制，以避免出现上述悖论。

参考资料

Cantor, Georg,Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Journal für die reine und angewandte Mathematik, 1874, 77 : 258–262, doi:10.1515/crll.1874.77.258 , See alsopdf version:

Frege, Gottlob, Grundgesetze der Arithmetik 1 , Jena 1893., 1893

Peano, Giuseppe, Arithmetices Principies nova Methoda exposita, Turin 1889., 1889

参见

集合代数

公理化集合论

罗素悖论

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。