可数集

✍ dations ◷ 2025-04-02 16:57:07 #可数集
在数学上,可数集,或称可列集,是与自然数集的某个子集具有相同基数(等势)的集合。在这个意义下,可数集由有限可数集和可数无穷集组成。不是可数集的无穷集称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数有可能永远无法终止,集合中每一个特定的元素都将对应一个自然数。“可数集”这个术语有时也指代可数无穷集,即仅代表能和自然数集本身一一对应的集合。两个定义的差别在于有限集合在前者中算作可数集,而在后者中不算作可数集。为了避免歧义,前一种意义上的可数有时称为至多可数,后一种可数集则称为无限可数集。如果存在从 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} 中准确的一个配对,并且反过来也同样。因而它们大小相同。这给出了一个集合与其一个合适的子集大小相同的例子,这种情形在有限集中是不可能的。同样,自然数的有序对的集合是无限可数集,可以沿着图中的一种路径:配对结果就像这样:显然这个映射可以覆盖所有这些有序对。邻域  · 内部  · 边界  · 外部  · 极限点  · 孤点

相关

  • 慢性疲劳综合征慢性疲劳(倦)症候群(英语:chronic fatigue syndrome, CFS、myalgic encephalomyelitis (ME)),又称为肌痛性脑脊髓炎(myalgic encephalomyelitis),(脊髓炎是有争议的,另一种说法为可
  • 脊肌萎缩症伴有进行性肌阵挛性癫痫脊髓性肌萎缩伴进行性肌阵挛性癫痫(spinal muscular atrophy with progressive myoclonic epilepsy,SMA-PME),有时也称Jankovic-Rivera综合征(Jankovic–Rivera syndrome),是一种非
  • Drugs.comDrugs.com 是美国一个提供药物(学)资讯给消费者和专业医护人员的线上药物百科。Drugs.com这个域名原本由柏尼·纽贝克在1994年注册。1999年,互联网正处于快速发展期,艾瑞克·麦
  • 麦角中毒麦角中毒(Ergotism/ergotoxicosis/ergot poisoning)是长期麦角中毒的影响,在传统上,由于通过由感染黑麦和其它谷物的麦角菌真菌产生的生物碱的摄取,以及最近的许多基于麦角灵药物的
  • 成瘾成瘾(英语:addiction)是指一种重复性的强迫行为,即使这些行为已知可能造成不良后果的情形下,仍然被持续重复。这种行为可能因中枢神经系统功能失调造成,重复这些行为也可以反过来
  • 赌博成瘾赌博成瘾或问题赌博(Ludomania)是一种持续需要赌博的心理,尽管患者明知其负面危害,又或希望停止。问题赌博的定义,在于赌徒或其他人受到伤害,而不是赌徒的行为会否构成伤害。对于
  • 蛋,是卵生的羊膜动物所生带有硬壳的卵,受精之后可孵出小动物,为人类食用已有几千年历史。蛋由蛋壳保护,而当中的蛋白和蛋黄被各种薄膜包裹。蛋黄和全蛋存储大量的蛋白质、胆碱和
  • Spironolactone螺内酯(英语:spironolactone),商品名有安体舒通、Aldactone等,是一种常用于治疗心衰、肝硬化、胃病等引发的积液的利尿药。此药也用于治疗高血压、补充后仍无改善的低血钾,以及女
  • 琉善琉善(希腊语:Λουκιανός,约120年—180年),生于叙利亚的萨莫萨塔,罗马帝国时代的以希腊语创作的讽刺作家,以游历月球的奇幻短篇《信史》(周作人译作《真实的故事》)及一系列对
  • 蛾是鳞翅目现生类群排除了蝴蝶所形成的并系群中的昆虫的总称,静止时多数将翅膀摊开在身体两侧,且主要于夜间活动,翅膀上具有可以吓阻敌人的似眼花纹。蛾属于完全变态昆虫,第一步