技能一覧 › 大学院数学 数理論理学・集合論

順序数の和と積

順序数の和・積を整列順序の並べ方( は のあとに 、 は を 回並べる)として理解し、、 のような非可換性や、左分配法則 が成り立ち右分配法則が成り立たないことを使って、順序数の式の等号・大小が成り立つかを選択式で判定できる

前提

この技能までの道筋(7 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる (算数 場合の数)
  2. 積の法則と和の法則 (算数 場合の数)
  3. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
  4. 順列・円順列・重複順列 (数学A 場合の数と確率)
  5. 組合せ (数学A 場合の数と確率)
  6. 写像・単射の個数と集合の濃度 (大学数学 集合と位相)
  7. 可算集合 (大学数学 集合と位相)

説明

順序数は、整列集合(空でないどの部分集合にも最小元がある全順序集合)の「並び方の型」を表す数です。順序数の和 と積 を、整列集合をつなげたり並べたりする操作として理解すると、 なのに のように、ふつうの数とは違って交換法則が成り立たない現象を自分で確かめられます。順序数の式の等号や大小が正しいかを判定するときに使います。

なぜそうしてよいのか

2 つの整列集合が同じ順序数をもつとは、順序を保つ全単射(順序同型)があることです。 を と並べた型を と書き、有限の は 個の点を一列に並べた型とします。和 は「 型の列を書き、そのすぐあと(右)に 型の列を続けた」並びの型、積 は「 型の列の各点を、 型の列 1 本に置き換えた」並び、つまり を 回並べた型と定めます。こうしてできた並びもまた整列集合です。大小は、整列集合 の点 より前の点全体 (真の始切片)を使い、「 が のある真の始切片と同型なら 」と定めます。ここで大事な事実が 1 つあります:整列集合は自分自身の真の始切片と同型にならない。実際、同型 があったとすると なので となる が存在し、その最小のものを とすると、 は順序を保つので となり、 が より小さいのに同じ性質をもつことになって最小性に反します。したがって なら です。

この見方で を考えると、点 のあとに が続く並び です。 は順序を保つ全単射なので です。一方 は のあとに点 を置いた並びで、 はその真の始切片 なので 、特に です( には最大元があり にはない、と見てもよい)。同様に は「2 点の列」を 回並べた で、これは番号を振り直せば そのものです。ところが は を 2 回並べた で、 は より前の真の始切片なので です。どちらも濃度は で等しいのに、並び方が違うのです。

同じ理由で、有限の に対する ( の塊 本のあとに 個の点)どうしは、 が辞書式に小さい方が大きい方の真の始切片になります( なら 本目までの塊と 個の点は 本目の塊の途中までに収まる。, なら最後の 個は 個の最初の部分)。よって なら真に大小があって等しくありません。左分配法則 は、「 を 回並べる」=「 を 回並べたあとに、 を 回並べる」と読めば明らかです。しかし右分配法則は成り立ちません。たとえば ですが、 です。また和も積も結合法則 、 は成り立つ(並べ方を区切り直すだけ)ので、括弧をはずして並びを読んでよいです。

手順

  1. 式の両辺を、整列集合の並びとして書き出す。 は「 のあとに 」、 は「 を 回並べる」(右の因数が回数)と読む

  2. 結合法則と左分配法則 を使って、式を「 の塊」と「有限個の点」の並びに整理する。右分配法則は使わない

  3. の塊の直前にある有限個の点は吸収される:( は有限)。同様に ( は有限)。一方 の直後の点は吸収されない:()

  4. 整理した両辺を比べる。( は有限)の形どうしなら、 が辞書式に小さい方( を先に、 が同じなら で比べる)が大きい方の真の始切片になるので真に小さく、整列集合は自分の真の始切片と同型にならないから等しくない。等しいのは と がともに等しいときに限る

  5. 等しくないことを別の角度から確かめるときは、順序同型で保たれる性質の違いを 1 つ挙げる。例:最大元の有無、「その点以降が有限個しかない点」の個数( では 個)、直前の点をもたない点の個数( のとき では塊の先頭の 個)

例題

順序数について、次のア〜エのうち正しいものを 1 つ選べ。ただし は を 回並べた順序数とする。

ア 

イ 

ウ 

エ 

例題の解答

手順 1・2 で並びに書き出し、手順 3〜5 で比べる。

ア: は 1 点のあとに が続く並びで、手順 3 より 。 は のあとに 1 点で、 はその真の始切片なので (手順 4。最大元の有無でも区別できる:手順 5)。よって で、アは誤り。

イ: は 2 点の列を 回並べた で、手順 3 より 。イは正しい。

ウ: は を 2 回並べた並び 、 は 。手順 4 より は の真の始切片(2 本目の先頭の点より前の部分)なので 。ウは誤り。

エ: は を 2 回並べたものなので、結合法則(手順 2)で

(手順 3 で )。 は の、最後の点より前の部分という真の始切片と同型なので で、整列集合は自分の真の始切片と同型にならないから等しくない(手順 4)。実際「その点以降が有限個しかない点」の個数も と で異なる(手順 5)。エは誤り。

したがって正しいのはイ。

答え:

イ

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること