大学数学

集合.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. 大学数学

    写像.9 圏、特別な射と記号、可換図式

    圏、特別な射ここで、あまり深入りはしませんが、圏論的な全射、単…

  2. 大学数学

    集合.3 補集合、差集合

    補集合集合 \( A \) は全体集合 \( X \) の部分…

  3. 大学数学

    写像.2 全射、単射、全単射、像、逆像、制限、拡張

    全射、単射、全単射既に集合の濃度のところで一度やりましたが、全…

  4. 大学数学

    写像.11 直和の普遍性

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

  5. 大学数学

    集合.19 集合の濃度.4 対角線論法と連続体濃度を持つ集合

    対角線論法集合 \( X \) のべき集合は \( 2^{X}…

  6. 大学数学

    集合.22 整列可能定理、超限帰納法

    整列集合と整列可能定理前回定義した用語を用いて、整列集合を定義…

コメント

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

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

アーカイブ

  1. 大学数学

    集合.7 積集合(n個の場合)
  2. 大学数学

    集合.2 部分集合、べき集合
  3. 大学数学

    集合.10 直和(非交和、無縁和)
  4. 大学数学

    写像.9 圏、特別な射と記号、可換図式
  5. 大学数学

    集合.11 二項関係.1 順序
PAGE TOP
error: Content is protected !!