域 (數學)和类 (数学)

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

域 (數學)和类 (数学)之间的区别

域 (數學) vs. 类 (数学)

在抽象代数中，域（Field）是一种可進行加、減、乘和除（除了除以零之外，「零」即加法單位元素）運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素（除零元素之外）可以进行除法运算，这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環（division ring）或skew field。. 在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.

序数

數學上，序數是自然數的一種擴展，與基數相對，著重於次序的性質。大於有限數的序數也稱作超限序數。 超限序数是由數學家格奥尔格·康托尔于1897年引入，用來考慮無窮序列，並用來對具有序结构的無窮集進行分類。.

域 (數學)和序数 · 序数和类 (数学) · 查看更多 »