大学数学

集合.23 ツォルンの補題

ツォルンの補題

代数学などにおいてよく用いられる選択公理と同値な命題として、ツォルンの補題というものがあります。選択公理との同値性の証明はしませんが、重要かつしばしば使われる定理であるためここで述べておきます。


◆Def.SetTop.2.23.1.

X を空でない順序集合とする。X の任意の空でない全順序部分集合が X に上界を持つとき、X は帰納的順序集合であるという。


ツォルンの補題は、次のように述べられます。


◆Thm.SetTop.2.23.2. (ツォルンの補題)

X を帰納的順序集合とする。X には少なくとも一つの極大元が存在する。


ここではこれ以上は説明しませんが、いずれツォルンの補題を用いて証明する命題が出て来るでしょう。

以上で集合を終わります。次は写像になります

これで集合に関する基本事項は一通り押さえたと思いますので、ひとまず終わりにしようと思います。お疲れ様でした。

次のセクションでは写像について見ていきます。既に必要最小限のところだけ写像を扱いましたが、より詳しく取り扱う予定です。

関連記事

  1. 大学数学

    集合.7 積集合(n個の場合)

    積集合( \(n \) 個の場合)例えば、\( x,y \in…

  2. 大学数学

    写像.8 単射の性質

    単射の性質単射であることを同値な条件で言い替えることで特徴付け…

  3. 大学数学

    論理記号.3 すべての、~が存在する

    \( \forall \) すべての、任意の集合 \( X \…

  4. 大学数学

    写像.7 全射の性質

    全射の性質全射であることを同値な条件で言い替えることで特徴付け…

  5. 大学数学

    写像.6 標準的な写像の例

    標準的な写像の例今回はいくつかの標準的な写像について例を挙げて…

  6. 大学数学

    集合.9 積集合(一般の場合)

    積集合(一般の場合)準備はできましたので、一般の集合族 \( …

コメント

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

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

アーカイブ

  1. 大学数学

    集合.5 添字集合と集合族
  2. 大学数学

    集合.13 同値類と集合の分割
  3. 大学数学

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

    写像.4 逆写像
  5. 大学数学

    集合.1 集合と元(要素)、よく使う集合
PAGE TOP
error: Content is protected !!