無限個の元を含む集合をいう。無限集合は、いかなる自然数nに対しても、n個より多くの元を含む。これは無限集合の一つの定義である。自然数全体の集合と、これからゼロを取り除いた集合を考える。これらの二つの集合の間には、次のような一対一の対応をつけることができる。

自然数全体の集合は、偶数全体、あるいは奇数全体の集合とも一対一の対応をつけることができる。有限集合ではこのように、自分自身の真部分集合との間に一対一の対応をつけることはできない。デーデキントはこの特徴に着目して、無限集合を定義した。すなわち、「集合Aは、Aのある真部分集合A′と一対一の対応がつけられるとき無限集合という」。これがもう一つの定義である。
これら二つの定義は、一見して同値な命題のようであるが、第一の定義から第二のものを導くには、選択公理が必要である。選択公理を用いれば、第一の無限集合は、自然数の全体と一対一の対応づけのできる部分集合をもち、第二の定義を満たすことがわかる。無限に対することばは有限である。無限集合でないものを有限集合と定義すれば、無限集合と有限集合は、一方は他方を否定したものとして定義することができる。
[西村敏男]
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…このような濃度を有限の濃度という。(2)有限集合でない集合を無限集合といい,その濃度を無限の濃度という。(3)一般に,二つの集合A,Bについて,♯(A)と♯(B)との大小関係を次のように定める。…
※「無限集合」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
政府首脳が外国を訪問した際の会談内容や合意事項を記した外交文書。法的拘束力は持たないが,その内容は両国を事実上拘束する。類似のものに共同発表 joint statementがあるが,これはより記録的な...
7/28 化学辞典 第2版(森北出版)を更新
6/26 日本大百科全書(ニッポニカ)を更新
4/17 デジタル大辞泉プラスを更新
4/17 デジタル大辞泉を更新
2/17 日本大百科全書(ニッポニカ)を更新