濃度 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

数学、とくに集合論において、濃度(のうど)あるいは基数(きすう)(: cardinal number, cardinality, power)とは、集合の「元の個数」という概念を拡張したものである[1]。有限集合については、濃度は「元の個数」の同意語に過ぎない[1]一般に集合の濃度は基数 (cardinal number) と呼ばれる数によって表される[要出典]歴史的には、カントールにより初めて無限集合のサイズが一つではないことが見出された[要出典]

定義[編集]

初等的定義[編集]

それぞれの集合 A には A の濃度(|A|、card(A)、#A などで表される)と呼ばれるものが一つ割り当てられており、次の性質をみたす:

  1. 集合 A から集合 B への全単射が存在するとき、またそのときに限り |A| = |B|。
  2. A が有限集合のとき、|A| は A の要素の個数に等しい。

ある集合の濃度であるものを基数と呼ぶ。有限集合の濃度(すなわち自然数)を有限基数、無限集合の濃度を無限基数と呼ぶ[要出典]

類別による定義[編集]

集合 A から集合 B への全単射が存在するとき、BA対等: equipotent)であるといい、A ∼ B と書く[2]C を集合全体の集まりとする。C は集合ではない[1]が、この節では特別に、C があたかも集合であるかのように考える。そうすれば、∼ は C における同値関係となる[1]。集合全体の集まり C の対等関係 ∼ による類別を行ったときの、∼ による各同値類を、濃度あるいは基数という[1]。集合 A の属する同値類を A の濃度といい、記号 card A あるいは |A | で表す[1]。定義によって、A ∼ B と card A = card B とは論理的に同等である[1]

An (≧1) 個の元からなる有限集合とすれば、A の濃度は「n 個の元からなる集合」全体からなる集合に等しい[1]。そこで、 n 個の元からなる有限集合の濃度を表す標識として、自然数 n を用いる[1]。なお、空集合の濃度は 0 で表す[1]。たとえば、

前述のとおり、集合全体の集まり C は集合ではない[1]。したがって厳密には、C における同値関係は定義できないし、C の ∼ による類別を行うこともできないので、この定義は不完全といえる。

厳密な定義[編集]

濃度 (数学)#初等的定義の定義は濃度を集合論的対象として捉えておらず、その意味で厳密ではない。 正式には、A の濃度とは、A との間に全単射が存在する順序数の中で最小のものであると定義される。実際、このように定義すれば上の性質をみたすことが示される。この定義では全ての集合が濃度を持つことを言うために選択公理が必要である。選択公理を仮定すればかなる集合X は整列可能であることから、ある順序数αに対して |X| = α なるαが存在する。 選択公理を仮定せず、正則性公理を使って濃度を定義する方法も知られている。それは、集合 A との間に全単射が存在するような集合で階数が最小のものをすべて集めた集合を A の濃度と定義する方法であり、これは発見者の名から「スコットのトリック」と呼ばれている。このように集合の濃度を定義する方法は一つではないが、必要なのは濃度が上の性質 1. と 2. をみたすということであって、それが具体的にどのように定義されたかは通常の数学を展開する上ではあまり重要視されない。そのため、数学基礎論以外の多くの文献では「A から B への全単射が存在するとき、AB は濃度が等しいと言う」のように集合の間の関係だけを定義し、濃度(基数)そのものについては具体的に定義せず扱っている。

無限集合の濃度[編集]

有限集合の濃度を有限の濃度といい、無限集合の濃度を無限の濃度という[1]

可算集合[編集]

自然数全体の集合の濃度を可算の濃度あるいは可付番の濃度という[1]。通常、アレフ・ゼロ)あるいは と表記される。ヘブライ文字のアレフである。濃度が可算の濃度に等しいような集合を可算集合あるいは可付番集合: countable set, denumerable set)という[3]。たとえば、整数全体の集合、有理数全体の集合はいずれも可算集合である[4]。濃度が可算の濃度以下であるような集合を高々可算な集合という[3]

可算濃度には以下のような性質がある。

  • は極小な無限濃度である。すなわち、 より小さい濃度ならば、 は有限濃度(すなわち自然数)である。
  • 選択公理を仮定すると、 は最小な無限濃度である。すなわち、全ての無限濃度 に対して、 が成り立つ。

非可算集合[編集]

連続体濃度とは実数全体の集合の濃度である。 あるいは と表記される。カントールの対角線論法によって が成り立つことが証明される。

濃度の大小関係[編集]

濃度の間に大小関係を定義する。濃度 κ, λ に対して、 |A| = κ,|B| = λ である集合 A, B を取ったとする。A から B への単射が存在するとき κλ と定義し、κ ≤ λ かつ κλ のとき κ < λ と定義する。これは有限濃度の範囲では通常の大小関係と一致する。任意の濃度 κ, λ, μ に対して、κ ≤ κ と、 κλ かつ λμ ならば κμ が成り立ち、また、次に述べるシュレーダー=ベルンシュタインの定理により、κλ かつ λκ ならば κ = λ が成り立つ。さらに、選択公理を仮定すれば、任意の濃度 κ , λ に対して κλ または λκ が成り立つ。

ベルンシュタインの定理[編集]

集合 A から集合 B への単射が存在し、B から A への単射も存在すれば、A から B への全単射が存在する。この主張は直観的には当たり前に感じられるかもしれないが、証明をするとなるとそれほど簡単ではない。

濃度の演算[編集]

濃度の間には自然数の場合と同じく和、積、冪が定義できる。特に有限濃度(自然数)の間の演算は通常のそれと一致する。

[編集]

κ, λ を濃度とする。集合 A, B を |A| = κ,|B| = λAB = ∅ をみたすように取ったとき、AB の濃度は A, B の特定の取り方によらず一定である。そこで |AB| を κλといい、これを κ + λ で表す。

濃度の和について次が成り立つ:

  1. κ , λ が有限濃度ならば、和 κ + λ は自然数の間の通常の和と一致する。
  2. κ + λ = λ + κ.
  3. (κ + λ) + μ = κ + (λ + μ).
  4. κ + 0 = 0 + κ = κ.
  5. κλκ + μλ + μ.

[編集]

κ, λ を濃度とする。 集合 A, B を |A| = κ ,|B| = λ をみたすように取ったとき、A × B の濃度は A, B の特定の取り方によらず一定である。そこで |A × B| を κλといい、これを κλ で表す。

濃度の積について次が成り立つ:

  1. κ, λ が有限濃度ならば、和 κλ は自然数の間の通常の積と一致する。
  2. κλ = λκ.
  3. (κ ⋅ λ) ⋅ μ = κ ⋅ (λ ⋅ μ).
  4. κ ⋅ (λ + μ) = (κ ⋅ λ) + (κ ⋅ μ).
  5. κ ⋅ 1 = 1 ⋅ κ = κ.
  6. κ ⋅ 0 = 0 ⋅ κ = 0.
  7. κλκμλμ.

[編集]

mn をそれぞれ 1 以上の濃度とする。そのとき、m = card A, n = card B であるような集合 A, B をとり、A の上の B配置集合 F(AB) の濃度を、冪 nm と定義する[5]。 1 以上の濃度 mn に対して、集合 AB のとり方によらず、冪 nm は一意的に定まる[5]mn が有限の濃度である場合には、この冪は通常の意味での自然数の冪と一致する[5]

1 以上の任意の濃度 mnp に対して以下のことが成り立つ[5]

任意の濃度 κ に対して以下のことが成り立つ(配置集合#例)。

  • κ0 = 1.
  • κ ≠ 0 ⇒ 0κ = 0.

濃度と順序数[編集]

有限集合に対しては濃度と順序数はどちらも自然数であり要素の個数に一致する。例えば、1, 2, 3, …, n と有限個の数を並べた場合、濃度は n、順序数は n である。これを並べ替えて、2, 3, …, n, 1 とした場合も濃度と順序数は変わらない。しかし無限集合ではそうはならない。例えば、すべての自然数を 1, 2, 3, … と並べた場合の濃度は 、順序数は ω である。これを並べ替えて 2, 3, …, 1 とした場合、濃度は変わらないが、順序数は ω + 1 になり、ω より大きくなる。

後続基数と極限基数[編集]

全ての基数 κ に対して、それより大きい基数 λ でその二つの基数の間には他の基数が存在しないようなものが存在する。つまり、λκ の次に大きな基数である。このような基数を κ後続基数 (successor cardinal) という。ある基数の後続基数である基数のことを単に後続基数といい、どの基数の後続基数にもならないような基数を極限基数 (limit cardinal) という。

後続基数は常に正則基数になるが、一方で正則な極限基数(弱到達不能基数)の存在については未解決であるなど、後続基数と極限基数の間には大きな性質の違いが見られる。

関連項目[編集]

脚注(注釈)[編集]

[ヘルプ]

脚注(出典)[編集]

[ヘルプ]
  1. ^ a b c d e f g h i j k l m 松坂 1968, pp. 65–67
  2. ^ 松坂 1968, pp. 61–63
  3. ^ a b 松坂 1968, pp. 70–72
  4. ^ 松坂 1968, pp. 72–74
  5. ^ a b c d 松坂 1968, pp. 81–83

参考文献[編集]

  • 松坂, 和夫 『集合・位相入門』 岩波書店、1968年。ISBN 4-00-005424-4。