「基数」の版間の差分
削除された内容 追加された内容
m デフォルトソート |
m 不要な改行削除．など．英語版からの翻訳のように思われますが履歴なし？ |
||
1行目:
{{Otheruses|数学における基数|その他|基数 (曖昧さ回避)}}
{{出典の明記|date=2015年2月}}
[[Image:Aleph0.svg|thumb|right|150px|[[アレフ･ゼロ]]、最小の無限基数]]
数学において'''基数'''(きすう、cardinal number又はcardinals)とは、集合のカーディナリティ（濃度、大きさ、サイズ
濃度は[[全単射]]をもちいて定義される。2つの集合が等しい濃度を持つとは、その集合の間に全単射が存在するということである。有限集合の場合は、サイズの直感的概念に同意できるだろう。無限集合の場合は、振る舞いは複雑になってくる。[[ゲオルグ・カントール]]が示した基礎的な理論は無限集合の濃度は1種類だけではないことを示したのである。特に、[[実数]]の集合の濃度は自然数の集合の濃度より真に大きいということを示したのである（[[カントールの定理]]）。また、有限集合の真部分集合と元の集合の濃度が等しくなり得ないのに対し、無限集合の真部分集合の濃度が元の集合の濃度と等しいということは起こりうるのである。
基数の超限列が存在する:
:<math>0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots.\ </math>
この列は、有限基数である自然数が最初に並んでいて、その後に[[整列集合]]の無限基数である[[アレフ数|アレフ･ナンバー]] ([[:en:aleph number|aleph number]]) が続く。アレフ・ナンバーは[[順序数]]によって添字付けられている。選択公理の仮定の下で、この超限列はすべての基数を含んでいる。もし、選択公理が仮定されなければ、アレフ・ナンバーでない無限基数に関して状況はさらに複雑になってくる。
濃度は、集合論の一部のために研究されている
== 歴史 ==
濃度の概念は、集合論の創始者である[[ゲオルグ・カントール]]によって定式化された。濃度は、有限集合の一側面を比べるのに用いられる。例えば、{1, 2, 3} と {4, 5, 6} という集合は等しくない。しかし、（{1->4, 2->5, 3->6}という[[一対一の対応]]の存在よって確立された）3という同じ“濃度”を持っている。
カントールは、一対一対応という概念を、例えば自然数全体の集合 '''N''' = {0, 1, 2, 3, ...} といった無限集合に適用した<!-- <ref>{{harvnb|Dauben|1990|loc=pg. 54}}</ref> -->。'''N''' との間に一対一対応が存在する集合を[[可算無限集合]]といい、可算無限集合は同じ基数<math>\aleph_0</math>([[アレフ・ゼロ]])を持つ。カントールは、このような無限集合に対応する基数を[[超限基数]]と呼んだ。
カントールは、直観に反するかもしれないが、'''N''' のいかなる非[[有界]]部分集合
Each algebraic number z may be encoded as a finite sequence of integers which are the coefficients in the polynomial equation of which it is the solution, i.e. the ordered n-tuple (a0, a1, ..., an), ai ∈ Z together with a pair of rationals (b0, b1) such that z is the unique root of the polynomial with coefficients (a0, a1, ..., an) that lies in the interval (b0, b1).
代数的数''z'' は
45 ⟶ 26行目:
-->
カントールは1874年の論文において、'''N'''の濃度より実数全体の集合の濃度のほうが真に大きいということを示すことによって、高位の基数が存在することを示した。彼の証明は、区間縮小法を用いた複雑な論法であった。しかし、1891年の論文では、同じ事を工夫に富んで簡潔な[[対角線論法]]というものを用いて証明した。実数全体の集合に対応する新しい基数を、[[連続体濃度]]といい、カントールは<math>\mathfrak{c}</math>という記号をそれに用いた。
カントールは基数の一般理論の大部分を発展させた。彼は最小の超限基数の存在を示した。また、いかなる基数についても、その次に大きい基数が存在することを示した。
彼の[[連続体仮説]]は、<math>\mathfrak{c}</math> は <math>\aleph_1</math> に等しい、という命題である。連続体仮説は、公理系から証明もその否定も証明できないという意味で、[[集合論]]の通常の公理系([[ツェルメロ・フレンケルの公理系]])から独立であることが示されている。
== 動機 ==
59 ⟶ 36行目:
== 正式な定義 ==
正式には、[[選択公理]]を仮定すれば、集合''X'' の濃度とは、''X'' と順序数αの間に全単射が存在するようなαのうち最小のものであると定義する。この定義は、フォン・ノイマンの基数課題([[:en:Von Neumann cardinal assignment]])として知られている。もし、選択公理を仮定しないのであれば、違うことしなければならない。(カントールによって暗に、[[フレーゲ]]や[[プリンキピア・マテマティカ]]において明確に示されていた)集合''X'' の濃度の最も古い定義は、''X'' と[[一対一対応]]のつくであるすべての集合の[クラス]''[X]'' としての定義である。これは、'''ZFC'''や関連する集合論の公理系ではではうまく機能しない。それは、''X'' が非空であるならば、[[一対一対応]]のつくであるすべての集合をあつめたものは集合にしては大きすぎるからである。実際、空でない集合''X'' について、集合''m'' から ''{m}'' × ''X'' への写像を考える事によって、[[宇宙 (数学)|宇宙]]から''[X]'' への単射が存在し、サイズの限界([[:en:Limitation of size]])より、''[X]'' は真のクラスである。<!-- よくわからないので省略。
この定義は、しかしながら、タイプ理論や新基礎理論やそれと関連する系ではうまく機能する。
しかしながら、
| |||