デデキント無限とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > デデキント無限の意味・解説 

デデキント無限

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

数学において、集合Aデデキント無限(Dedekind-infinite)である、またはデデキント無限集合であるとは、A同数(equinumerous)であるようなA真部分集合B が存在することである。つまり、AA真部分集合B の間に全単射が存在するということである。集合 A がデデキント無限でないとき、デデキント有限であるいう。

デデキント無限は、自然数を用いないような最初の無限の定義である。選択公理を除いたツェルメロ・フレンケルの公理系は、任意のデデキント有限集合は有限個の元を持つという意味での有限である、ということを証明するだけの強さを持たない[1]。デデキント無限以外にも、選択公理を用いない有限集合や無限集合の定義が存在する。

通常の無限集合の定義との比較

デデキントの意味での“無限集合”は、普通の意味での無限集合と比較されるべきであろう:

集合A が無限であるとは、どのような自然数 n に対しても、{0,1,2,..., n -1}(有限順序数)と A との間に全単射が存在しないことである。

無限とは、全単射が存在しないという意味で文字通り有限でないという集合である。

19世紀後半、多くの数学者はデデキント無限であることと通常の意味の無限は同値であると単純に考えていた。しかし実際は、選択公理(“AC”)を除いたツェルメロ・フレンケルの公理系(通常、“ZF”と表記される)からは、その同値性は証明されえない。弱いACを使うことで証明でき、フルの強さは要求されない。その同値性は、可算選択公理(“CC”)より真に弱い形で証明できる。

ZFにおけるデデキント無限

次の4条件は、ZF上同値である。特に、これらの同値性はACを用いないで証明できることに注意せよ。

  • Aデデキント無限である。
  • 全射ではないが単射であるようなA からA への関数が存在する。
  • 自然数の集合N からA への単射が存在する。
  • A は可算無限な部分集合を持つ。

どのようなデデキント無限集合A も以下の条件を満たす。

  • 単射ではないが全射の、A からA への関数が存在する。

このことを、“A双対デデキント無限である”という。A が双対デデキント無限であるならばA がデデキント無限であるということは(ACを除いたZF上で)証明可能でない。

どのような双対デデキント無限集合も次の(同値な)条件を満たす、ということがZF上で証明できる。

  • A から可算無限集合への全射が存在する。
  • A の冪集合がデデキント無限である。

(この条件を満たすことを、弱デデキント無限(weakly Dedekind infinite)であるということがある。)

弱デデキント無限であるならば無限であることはZFにおいて証明されている。

また、整列無限集合はデデキント無限であることもZFにおいて示されている。

選択公理との関係

整列可能な任意の無限集合はデデキント無限である。ACは任意の集合が整列可能であることを述べた整列可能定理と同値であるから、ACから無限集合はデデキント無限集合であるということが簡単に導かれる。しかしながら、無限とデデキント無限の同値性はACよりもっと弱いものである。すなわちこの同値性を仮定してもACは導かれない。

とくに可算無限な部分集合を持たない無限集合の存在するようなZFのモデルが存在する。このモデルでは無限だがデデキント有限である集合が存在する。以上よりそのような集合はこのモデルにおいて整列不可能である。

可算選択公理CCACω)を仮定すればいかなる無限集合もデデキント無限であることが証明される。しかしながら、この同値性は、実際にはCCより真に弱い。(ZFの無矛盾性の仮定のもとで)CCは成立しないが2つの無限集合の定義の同値性が成り立つZFのモデルが存在する。すなわちこの同値性を仮定してもCCは導かれない。

可算選択公理を仮定した無限との同値性の証明

デデキント無限集合が無限であることはZFで容易に証明される。実際、任意の有限集合はある有限順序数と等濃であって、有限順序数がデデキント有限であることは帰納法により証明できる。

可算選択公理を用いることによって、その逆が証明できる。つまり、無限集合はデデキント無限であることを以下のように証明できる[2]

まず無限集合 は可算無限な部分集合を持つことを示す。相異なる の元からなる長さ の列の成す集合を とする。 は有限でないから は空でない。したがって可算選択公理により選択関数 が存在する。そこで

と表す。いま とおけば、 は可算無限集合である。実際 の元は と(重複は飛ばして)枚挙できる。したがって の可算無限部分集合である。そこで可算無限部分集合 潰すことで全射でない単射 が得られる。したがって はデデキント無限である。

一般化

圏論的な言葉で表現すれば、集合 A は集合の圏においてすべてのモノ射 f: AA が同型射であるときにデデキント有限である。フォン・ノイマン正則環 R が(左あるいは右)R-加群の圏において同様の性質を持つことと、R において xy = 1 ならば yx = 1 が成り立つことは同値である。より一般に、デデキント有限環 (Dedekind-finite ring) は、この条件(xy = 1 ならば yx = 1)を満たす環のことである。台集合がデデキント無限であっても環はデデキント有限となりうることに注意。例えば整数環。正則加群 RR がホップ的(すなわち任意の全射自己準同型が同型)であることと R がデデキント有限であることは同値である。

引用文献

  1. ^ Herrlich, Horst (2006). Axiom of Choice. Lecture Notes in Mathematics 1876. Springer-Verlag. ISBN 978-3540309895 
  2. ^ 田中尚夫(1987)『選択公理と数学』遊星社

参考文献

  • 『選択公理と数学』田中尚夫著 遊星社 1987年 98頁、214頁
  • Faith, Carl Clifton. Mathematical surveys and monographs. Volume 65. American Mathematical Society. 2nd ed. AMS Bookstore, 2004. ISBN 0-8218-3672-2
  • Moore, Gregory H., Zermelo's Axiom of Choice, Springer-Verlag, 1982 (out-of-print), ISBN 0-387-90670-3, in particular pp. 22-30 and tables 1 and 2 on p. 322-323
  • Jech, Thomas J., The Axiom of Choice, Dover Publications, 2008, ISBN 0-486-46624-8
  • Lam, Tsit-Yuen. A first course in noncommutative rings. Volume 131 of Graduate texts in mathematics. 2nd ed. Springer, 2001. ISBN 0-387-95183-0
  • Herrlich, Horst, Axiom of Choice, Springer-Verlag, 2006, Lecture Notes in Mathematics 1876, ISSN print edition 0075–8434, ISSN electronic edition: 1617-9692, in particular Section 4.1.

関連項目


デデキント無限

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/05 19:07 UTC 版)

「無限」記事における「デデキント無限」の解説

詳細は「デデキント無限」を参照 ある集合自身対等な(すなわち同じ濃度を持つ)真部分集合存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。

※この「デデキント無限」の解説は、「無限」の解説の一部です。
「デデキント無限」を含む「無限」の記事については、「無限」の概要を参照ください。

ウィキペディア小見出し辞書の「デデキント無限」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


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

辞書ショートカット

すべての辞書の索引

「デデキント無限」の関連用語

デデキント無限のお隣キーワード
検索ランキング

   

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



デデキント無限のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS