を最小の無限順序数(自然数全体 に通常の大小を入れた整列集合の順序型)とする。順序数の和 は「 の後ろに を並べた整列集合の順序型」、積 は「 を 回( の順に)並べた整列集合の順序型」と定める。
次のア〜エの等式のうち、正しいものをすべて選べ。
ア.
イ.
ウ.
エ.
順序数の和・積を整列順序の並べ方( は のあとに 、 は を 回並べる)として理解し、、 のような非可換性や、左分配法則 が成り立ち右分配法則が成り立たないことを使って、順序数の式の等号・大小が成り立つかを選択式で判定できる
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
順序数は、整列集合(空でないどの部分集合にも最小元がある全順序集合)の「並び方の型」を表す数です。順序数の和 と積 を、整列集合をつなげたり並べたりする操作として理解すると、 なのに のように、ふつうの数とは違って交換法則が成り立たない現象を自分で確かめられます。順序数の式の等号や大小が正しいかを判定するときに使います。
2 つの整列集合が同じ順序数をもつとは、順序を保つ全単射(順序同型)があることです。 を と並べた型を と書き、有限の は 個の点を一列に並べた型とします。和 は「 型の列を書き、そのすぐあと(右)に 型の列を続けた」並びの型、積 は「 型の列の各点を、 型の列 1 本に置き換えた」並び、つまり を 回並べた型と定めます。こうしてできた並びもまた整列集合です。大小は、整列集合 の点 より前の点全体 (真の始切片)を使い、「 が のある真の始切片と同型なら 」と定めます。ここで大事な事実が 1 つあります:整列集合は自分自身の真の始切片と同型にならない。実際、同型 があったとすると なので となる が存在し、その最小のものを とすると、 は順序を保つので となり、 が より小さいのに同じ性質をもつことになって最小性に反します。したがって なら です。
この見方で を考えると、点 のあとに が続く並び です。 は順序を保つ全単射なので です。一方 は のあとに点 を置いた並びで、 はその真の始切片 なので 、特に です( には最大元があり にはない、と見てもよい)。同様に は「2 点の列」を 回並べた で、これは番号を振り直せば そのものです。ところが は を 2 回並べた で、 は より前の真の始切片なので です。どちらも濃度は で等しいのに、並び方が違うのです。
同じ理由で、有限の に対する ( の塊 本のあとに 個の点)どうしは、 が辞書式に小さい方が大きい方の真の始切片になります( なら 本目までの塊と 個の点は 本目の塊の途中までに収まる。, なら最後の 個は 個の最初の部分)。よって なら真に大小があって等しくありません。左分配法則 は、「 を 回並べる」=「 を 回並べたあとに、 を 回並べる」と読めば明らかです。しかし右分配法則は成り立ちません。たとえば ですが、 です。また和も積も結合法則 、 は成り立つ(並べ方を区切り直すだけ)ので、括弧をはずして並びを読んでよいです。
式の両辺を、整列集合の並びとして書き出す。 は「 のあとに 」、 は「 を 回並べる」(右の因数が回数)と読む
結合法則と左分配法則 を使って、式を「 の塊」と「有限個の点」の並びに整理する。右分配法則は使わない
の塊の直前にある有限個の点は吸収される:( は有限)。同様に ( は有限)。一方 の直後の点は吸収されない:()
整理した両辺を比べる。( は有限)の形どうしなら、 が辞書式に小さい方( を先に、 が同じなら で比べる)が大きい方の真の始切片になるので真に小さく、整列集合は自分の真の始切片と同型にならないから等しくない。等しいのは と がともに等しいときに限る
等しくないことを別の角度から確かめるときは、順序同型で保たれる性質の違いを 1 つ挙げる。例:最大元の有無、「その点以降が有限個しかない点」の個数( では 個)、直前の点をもたない点の個数( のとき では塊の先頭の 個)
順序数について、次のア〜エのうち正しいものを 1 つ選べ。ただし は を 回並べた順序数とする。
ア
イ
ウ
エ
手順 1・2 で並びに書き出し、手順 3〜5 で比べる。
ア: は 1 点のあとに が続く並びで、手順 3 より 。 は のあとに 1 点で、 はその真の始切片なので (手順 4。最大元の有無でも区別できる:手順 5)。よって で、アは誤り。
イ: は 2 点の列を 回並べた で、手順 3 より 。イは正しい。
ウ: は を 2 回並べた並び 、 は 。手順 4 より は の真の始切片(2 本目の先頭の点より前の部分)なので 。ウは誤り。
エ: は を 2 回並べたものなので、結合法則(手順 2)で
(手順 3 で )。 は の、最後の点より前の部分という真の始切片と同型なので で、整列集合は自分の真の始切片と同型にならないから等しくない(手順 4)。実際「その点以降が有限個しかない点」の個数も と で異なる(手順 5)。エは誤り。
したがって正しいのはイ。
答え: イ
ふつうの数と同じように交換法則が使えるとして や としてしまう誤り。正しくは 、
右分配法則を使って としてしまう誤り。正しくは並べて 。成り立つのは左分配法則 だけ
積の回数を逆に読み、 を「2 を 回並べたもの」として としてしまう誤り。正しくは は を 回並べるので 、
濃度が等しいことから順序数も等しいとしてしまう誤り( と はどちらも濃度 だから とするなど)。正しくは順序数が等しいのは順序を保つ全単射があるときで、 は の真の始切片なので 、
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
を最小の無限順序数とし、順序数の和・積は通常の(超限帰納法で定義される)順序数演算とする。積 は「 を 回並べたもの」を表す流儀とする(たとえば 、)。
順序数
を考える。順序数 であって、ある順序数 に対して が成り立つようなもの( や も含む)の個数を求めよ。
を最小の無限順序数とし、順序数の和・積・べきは通常の(超限帰納法による)順序数演算とする。積 は「 を 回並べたもの」を表す流儀(たとえば , )とする。順序数
をカントール標準形で
と表したとき、組 をこの順に求めよ。
を最小の無限順序数とし、順序数の和・積・べきは通常の(超限帰納法による)順序数演算とする。積 は「 を 回並べたもの」を表す流儀とし(たとえば , )、 とする。 とおく。 のカントール標準形を と書くとき、組 を求めよ。
を最小の無限順序数とし、順序数の和は通常の(超限帰納法で定義される)順序数の和とする。次の つの順序数を考える。
ただし 、 である。 の置換 それぞれに対して
とおく(順序数の和は結合的なので括弧は不要)。 個の置換 をすべて動かすとき、 として現れる相異なる順序数の個数を求めよ。
を最小の無限順序数とし、順序数の和は通常の(超限帰納法で定義される、一般には非可換な)順序数の和とする。また 、 と書く。
次の 5 個の順序数
を考える。 の置換 全体( 個)にわたって
(左から順に足す)を考えるとき、 がとりうる相異なる順序数の個数を求めよ。