数学 Wiki
Advertisement

定義

整列集合 (Well ordered set) とは、集合 で以下を満たすものである。

  • 全順序集合である。つまり、以下の4つの公理を満たす。
    1.  に二項関係 が備わっており、 の任意の元  に対して  または  のいずれか(両方でもよい)が必ず成り立つ。
    2. ) [反射律]
    3. かつ ならば ) [反対称律]
    4. かつ ならば ) [推移律]
  • の任意の空でない部分集合 に対し、 の最小元 が存在する。つまり、任意の の元 に対して、 が成り立つ。(このことを、二項関係 整礎であると言う。)

  1. 『二項関係 が備わっており』とは『 の2つの元の組からなる集合 の部分集合 が与えられており』という意味である。 のとき と書く、と思えばいい(反例2を参照)。集合  に公理1. ~3. を満たす関係  を与えることを、 「集合 に全順序 を定める(あるいは、入れる)」と言う。同じ集合に別の全順序を入れることもできるし、公理さえ満たしていれば は必ずしも「順序っぽく」定めなくてもよい。(公理絶対主義!)
  2. かつ のとき、 と書く。

例1

自然数全体の集合 に通常の大小関係 を入れると、 は整列集合になる。例えば の最小元は だし、 の最小元は

反例1

以上の実数全体の集合 に通常の大小関係 を入れると、  は全順序集合だが、整列集合ではない。実際、部分集合として開区間 を取ると、これには最小限が存在しない。どんなに小さい数、例えば0.0000000001などを取っても、さらにそれより小さい数、例えば0.0000000000000000001などが には入ってるわけである。

反例2

半順序集合{0,1,1'}

という3元からなる集合(各 はただの記号と思ってほしい)に関係

で定めると、 は反射律と推移律は満たすが は比較できない。つまり のいずれも成り立たない。

このように反射律と推移律を満たすものの、全ての2つの元が比較できるとは限らない集合のことを半順序集合という(私と仕事とどっちが大切なの!)。 ちなみに の部分集合 に最小元は存在しない。

であり、注1. の である。

反例3

自然数の無限列全体の集合 

を考える。これに「辞書式順序」を入れてみよう。つまり、 の元 に対して、 

または「 かつ、 である最小の に対して 」。 

と定める。これは「左から順番に勝負していって最初に勝った(大きい)方が勝ち(大きい)」というルールである。例えば , ならば である最小の だから である。

このときは全順序集合だが、整列集合ではない。 実際、 の部分集合 を 

と定めると、 には最小元が存在しない。なぜなら の元は右に行けば行くほど小さくなり、それが無限に続いているからである(「真の無限降下列」という)。

は非可算濃度である:

例2

今度は反例2を改良して、整列集合をつくろう。

となる は有限個

とおく。最後の条件を付け加えたので、例えば は反例3の  の元だが の元ではない。
この に「辞書式順序」を入れてみよう。つまり、 の元 に対して、

または「 かつ、 である最大 に対して

と定める。これは「から順番に勝負していって最初に勝った(大きい)方が勝ち(大きい)」というルールである。例えば , ならば である最大の だから である。反例3の  で同じように順序を定めようとすると、「最大の  」というものが一般には存在できず上手くいかないことに注意されたい。

このとき、 は全順序集合で、しかも整列集合であることが証明できる。たとえば反例3の は今度は「無限上昇列」になるので、最小元  がとれる。 

は順序数 と順序同型である。

は可算濃度である: 

整列集合の演算

整列集合の演算を参照。

Advertisement