等濃 デデキント無限集合

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 等濃の解説 > デデキント無限集合 

等濃

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/13 13:23 UTC 版)

デデキント無限集合

集合がその真部分集合と等濃になる場合がある(例えば自然数全体の成す集合はその真部分集合である偶数全体の成す集合と等濃である)。そのような集合はデデキント無限であると言う[1][7]

デデキント無限でない集合が実際に有限集合となることを示すには(選択公理 (AC) よりも弱い)可算選択公理 (ACω) が必要になる。選択公理を持たないツェルメロ–フレンケル集合論 ZF は任意の無限集合がデデキント無限となることを示すには十分な強さではないが、ZF に可算選択公理を加えた ZF+ACω はそれに十分である[9]。集合の有限性と無限性の別な定義では、選択公理を要しない[1]

各集合算との両立性

等濃性は基数の算術のもとで集合の基本演算と両立する[1]。具体的に例えば非交和との両立性は:

命題
集合 A, B, C, DAC および BD がそれぞれ互いに素かつ濃度は A ~ B かつ C ~ D であるものとすると AC ~ BD が成り立つ。

これは基数の加法を正当化するものである。

あるいは例えば直積との両立性は

  • A ~ B かつ C ~ D ならば A × C ~ B × D が成り立つ。
  • A × B ~ B × A が成り立つ。
  • (A × B) × C ~ A × (B × C) が成り立つ。

というような形で述べられる。これらの性質により基数の乗法が正当化できる。

についても、Y から X への写像全体の成す集合を XY と書けば

  • A ~ B かつ C ~ D ならば AC ~ BD が成り立つ。
  • ABC ~ AB × AC (ただし BC = ∅) が成り立つ。
  • (A × B)C ~ AC × BC が成り立つ。
  • (AB)C ~ AB×C が成り立つ。

これらの性質により基数の冪が正当化される。

他にも、与えられた集合 A に対してその冪集合A部分集合全体の成す集合)は A から二値集合への写像全体の成す集合 2A に等濃である。

圏論的定義

すべての集合対象としその間のすべての写像とする Setにおいて、二つの対象の間の同型射とは二つの集合の間の全単射のことにほかならず、したがって二つの集合が等濃であることはこの圏において同型であるということにほかならない。


注釈

  1. ^ 初等幾何学における有向線分equipollence英語版(同方向同長)と混同してはならない。有向線分の equipollence を同値関係とする同値類は幾何学的ベクトルである。
  2. ^ 字義としては、接頭辞 "equi-" は「同じ」「等しい」ことを意味する。"-noumerous", "-numerosity" は「数(の)」、"-pollent", "-pollency" は「勢力(の)」「強さ(の)」の意、また "potency" は「冪」("power") の意で "cardinality" (「濃度」) の別名である。

出典

  1. ^ a b c d e f g h i j k l Suppes, Patrick (1972) [originally published by D. van Nostrand Company in 1960]. Axiomatic Set Theory. Dover. ISBN 0486616304 
  2. ^ Enderton, Herbert (1977). Elements of Set Theory. Academic Press Inc.. ISBN 0-12-238440-7 
  3. ^ ベルマン 2016, p. 357, 定義 7.1.1.
  4. ^ 松坂 1968, p. 61.
  5. ^ 瀬山士郎 (2013), 数学記号を読む辞典, 技術評論社, ISBN 9784774160672 
  6. ^ cardinaity - PlanetMath.(英語)
  7. ^ a b c d Jech, Thomas J. (2008) [Originally published by North–Holland in 1973]. The Axiom of Choice. Dover. ISBN 978-0-486-46624-8 
  8. ^ Tiles, Mary (2004) [Originally published by Basil Blackwell Ltd. in 1989]. The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise. Dover. ISBN 978-0486435206 
  9. ^ Herrlich, Horst (2006). Axiom of Choice. Lecture Notes in Mathematics 1876. Springer-Verlag. ISBN 978-3540309895 


「等濃」の続きの解説一覧



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「等濃」の関連用語

等濃のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



等濃のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの等濃 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS