首页 >
可数集
✍ dations ◷ 2024-07-03 08:24:17 #可数集
在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数(等势)的集合。在这个意义下,可数集由有限可数集和可数无穷集组成。不是可数集的无穷集称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。“可数集”这个术语有时也指代可数无穷集,即仅代表能和自然数集本身一一对应的集合。两个定义的差别在于有限集合在前者中算作可数集,而在后者中不算作可数集。为了避免歧义,前一种意义上的可数有时称为至多可数,后一种可数集则称为无限可数集。如果存在从
S
{displaystyle S}
到自然数集合
N
=
{
1
,
2
,
3
,
…
}
{displaystyle mathbb {N} =left{1,2,3,ldots right}}
存在单射函数,则
S
{displaystyle S}
称为可数集。如果
S
{displaystyle S}
还是满射,则同样是双射,则称
S
{displaystyle S}
是无限可数集。换句话说,一个集合要想是无限可数集,它要和自然数集
N
{displaystyle mathbb {N} }
有一一对应关系。如上所述,这个术语不普遍:一些作者在这里使用可数来表示被称为“无限可数”,并没有包括有限集。由定义易知所有偶数所构成的集合为可列的,因为我们可以将所有的
n
{displaystyle n}
都对应到
2
n
{displaystyle 2n}
,如此就完成了一一对应。类似地,不难证明所有整数构成的集合
Z
{displaystyle Z}
、所有有理数构成的集合
Q
{displaystyle Q}
、甚至所有代数数构成的集合都是可列的。此外,自然数集合的笛卡尔积
N
×
N
{displaystyle mathbb {N} times mathbb {N} }
是可数的,这是因为可以定义一个从自然数集合的笛卡尔积
N
×
N
{displaystyle mathbb {N} times mathbb {N} }
到自然数集合
N
{displaystyle mathbb {N} }
的单射函数
f
(
p
,
q
)
=
2
p
3
q
{displaystyle f(p,q)=2^{p}3^{q}}
之故。可数无限多个可数集的联集是可数的。并非所有的无穷集都可数。乔治·康托首先指出存在有不可列的无穷集合。他利用他发明的对角论证法证明了由所有实数构成的集合
R
{displaystyle R}
是不可列的,即
R
{displaystyle R}
与
N
{displaystyle N}
之间不可能存在一种一一对应。这同时也表示实数当中存在有一些数不是代数数,因为刚才已经说过代数数是可列的;于是这就给出了一种超越数存在的非构造性证明。由定义,如果存在从
S
{displaystyle S}
到自然数集合
N
=
{
0
,
1
,
2
,
3
,
…
}
{displaystyle mathbb {N} =left{0,1,2,3,ldots right}}
存在单射函数
f
:
S
→
N
{displaystyle f:Srightarrow mathbb {N} }
,则
S
{displaystyle S}
称为可数集。这似乎自然地把集合划分为不同类别:把所有包含一个元素的集合放在一起;包含两个元素的集合在一起......最后,把所有无限集合放在一起,并认为它们具有相同的大小。然而,在大小的自然定义下,这种观点是不确切的。为了阐述这一点,我们需要一个双射的概念。虽然双射看起来比数更加高深,但原本数学发展中集论定义函数要先于数字。因为它们都是基于更简单的集合。这就引出了双射的概念:由于
{
a
,
b
,
c
}
{displaystyle left{a,b,cright}}
的每个元素都可以和
{
1
,
2
,
3
}
{displaystyle left{1,2,3right}}
中准确的一个配对,并且反过来也同样,这就定义了一个双射。我们将这个情境一般化,定义当且仅当它们之间存在双射,两个集合的大小相同。对于有限集,这里给出了“大小相同”的常用定义。那么对于无限集呢?考虑集合
A
=
{
1
,
2
,
3
,
…
}
{displaystyle A=left{1,2,3,ldots right}}
(正整数集),和
B
=
{
2
,
4
,
6
,
…
}
{displaystyle B=left{2,4,6,ldots right}}
(正偶数集)。我们说,在我们的定义下,这些集合有相同的大小,并且因此B是无限可数集。我们需要证明它们之间存在双射。但这是很简单的,运用
n
↔
2
n
{displaystyle nleftrightarrow 2n}
,那么正如前面的例子,
A
{displaystyle A}
的每个元素都已和
B
{displaystyle B}
中准确的一个配对,并且反过来也同样。因而它们大小相同。这给出了一个集合与其一个合适的子集大小相同的例子,这种情形在有限集中是不可能的。同样,自然数的有序对的集合是无限可数集,可以沿着图中的一种路径:配对结果就像这样:显然这个映射可以覆盖所有这些有序对。邻域 · 内部 · 边界 · 外部 · 极限点 · 孤点
相关
- 希腊文希腊语(Ελληνικά),中文也称希腊文,是一种印欧语系的语言,广泛用于希腊、阿尔巴尼亚、塞浦路斯等国,亦有使用于土耳其(包括小亚细亚一带)的某些地区。希腊语言元音发达,希腊人
- 变形虫界变形虫门是一类似变形虫的(amoeboid)原生生物。变形虫门的多数物种靠细胞内原生质的流动而移动。伪足类似于手指形状、边缘是钝的,所以称作lobopodia,直译为钝的伪足. 大多数是
- 密苏里河密苏里河(英语:Missouri River)——美国主要河流之一,北美洲最长河流,在汇入密西西比河前,长3,767公里,流域面积逾130万平方公里。密苏里河发源于蒙大拿州黄石公园附近的落基山脉
- 链霉菌属链霉菌属也称链丝菌,是放线菌门一个大属,约有近千种。链丝菌好气,绝大部分腐生,其基质菌丝不断裂,气生菌丝分化成直的、弯曲的或螺旋状的孢子丝,成熟的孢子丝生成链状的分生孢子,故
- 芳香烃芳香.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger
- kJ·molsup−1/sup焦耳每摩尔 (符号:J·mol-1)是国际单位制中表征每一定量物质能量的推导单位。能量以焦耳为单位,材料的量以摩尔为单位。以J·mol-1为单位的物理量包括:当用于测量电离能,可以转
- 埃塞俄比亚界埃塞俄比亚界是一个面积达到2.21 亿km²的动物地理分区,涵盖撒哈拉以南的非洲。马达加斯加和邻近海岛形成很特别的区域,内有许多地方性罗汗松,譬如狐猴。马达加斯加和塞舌尔群
- 生殖器生殖器官是指在复杂生物体上任何与有性繁殖及组成生殖系统有关的组织(严格意义上,不一定都属于器官)。另外有相关的性器官一词,广义地说是指会带来性快感的器官。生殖腺是指产生
- 理查·道尔威廉·理查德·沙博·多尔爵士,CH, OBE, FRS(英语:Sir William Richard Shaboe Doll,1912年10月28日-2005年7月24日),英国科学家及流行病学家,与另一科学家奥斯汀·布拉德福德·希
- 文字史文字的发展是渐进发展的,在文字发展出来之前,已有许多的原始文字(英语:Proto-writing)出现,这些原始文字处于从无文字向有文字的过渡阶段,它们和文字最大的差别在于这些符号通常不