大学数学

集合.20 選択公理

選択公理

実は今までも暗に使っていたのですが、次のことは公理とみなされています。


◆Axiom.SetTop.2.20.1. (選択公理)

I を任意の集合とし、(X_i)_{i \in I } を任意の集合族とすると、\prod_{ i \in I} X_i \neq \emptyset


このように書くとものものしいですが、つまりはどのような集合族をもってきたとしても、それぞれの集合の中から1つずつ元を選び出すという操作ができる(積集合の元は、それぞれの集合の中から1つずつ元を選び出す写像なので、積集合が空でないということは、そのような操作ができることを保証している)ということを意味しています。

これは I が有限集合のときは当たり前にできることです( I の濃度が n なら、単に n 個の元のペアを作るのと同じことになります)が、I が無限集合のときにも同じような操作ができることを保証するのが選択公理です。

実は、選択公理はわたしたちが通常使っている集合の公理系(ZF公理系と言います)からは肯定も否定も証明できない命題であることがわかっています。(なので公理とされています)

ですが、普通の数学では選択公理を認めた方が色々と便利なので、通常は選択公理を認める立場を取ります。

選択公理と同値な命題

選択公理と同値な命題と知られているものに、整列可能定理とツォルンの補題というものがあります。同値であることの証明は結構難しいのでここではしませんが、特にツォルンの補題は代数学でよく用いられるため、重要な命題です。慣習的に補題と言われていますが、定理と呼ばれるもの並みに重要な命題である例となっています。

関連記事

  1. 大学数学

    大学数学概説.3 大学3、4年生レベルの科目(代数)

    群、環、体群、環、体は、いわゆる抽象代数学と言われる分野の基本…

  2. 大学数学

    大学数学概説.4 大学3、4年生レベルの科目(幾何)

    多様体現代幾何学の中心的な対象である多様体について学びます。…

  3. 大学数学

    集合.17 集合の濃度.2 可算集合

    どこまでが高々可算集合なのか?自然数全体の集合 \( \mat…

  4. 大学数学

    集合.14 商集合

    商集合前回の話で、同値類が集合の分割を与えるので、同値類をすべ…

  5. 大学数学

    写像.11 直和の普遍性

    直和の普遍性直和とは何かを集合と元を用いて具体的に記述すること…

  6. 大学数学

    集合.1 集合と元(要素)、よく使う集合

    大学の数学書がなかなか初学者に読めない理由いざ興味を持って大学…

コメント

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

アーカイブ

  1. 大学数学

    集合.4 共通集合と和集合(n個の場合)
  2. 大学数学

    論理記号.5 論理演算
  3. 大学数学

    集合.18 集合の濃度.3 連続体濃度を持つ集合
  4. 大学数学

    写像.3 写像の合成
  5. 大学数学

    集合.6 共通集合と和集合(一般の場合)
PAGE TOP
error: Content is protected !!