稠密全順序集合への当て嵌め

ウィキペディア小見出し辞書

稠密全順序集合への当て嵌め

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/04/15 13:03 UTC 版)

「カントールの往復論法」の記事における「稠密全順序集合への当て嵌め」の解説

以下のとおりだとみなす。 (A, ≦A) と (B, ≦B) は、全順序集合である。 A、B は、最大元および最小元を有しない。 A、B は、稠密に順序付けられている、つまり、任意の 2 元の間には他の元が少なくとも 1 つ存在する。 A、B は、可算無限濃度である。 A、B の元を重なりなく以下のとおり列挙し、これを固定する。 A = {a1, a2, a3, …} B = {b1, b2, b3, …} (1) i を、B の如何なる要素とも対応付けられていない ai のうちの最小の添字とする。 j を、A の如何なる要素とも対応付けられていない bj であって、かつ ai が bj と対応付けても、対応付けが狭義単調であるという要件を満たすことができるものとする。 このとき、ai と bj を対応付ける。 (2) j を、A の如何なる要素とも対応付けられていない bj のうちの最小の添字とする。 i を、B の如何なる要素とも対応付けられていない ai であって、かつ bj が ai と対応付けても、対応付けが狭義単調であるという要件を満たすことができるものとする。 このとき、bj と ai を対応付ける。 (3) 手続き (1) に戻る。 手続き (1) と (2) で要求される選択を、実際に要件に合致しつつ行うことができるかの検証が、依然として残っている。 手続き (1) を例に取ると、以下のとおりである。 既に、A の中の ap と aq および夫々に対応する B の中の bp と bq が存在し、かつ ap ＜ ai ＜ aq および bp ＜ bq であれば、 bj は、稠密性を使って、 bp と bq の間に選ぶ。 そうでない場合には、B が 最大元も最小元も有しないという性質を使って、適当に大きいまたは小さい B の要素を選ぶ。 手続き (2) の選択も、双対的に可能である。 最後に、A と B は可算無限集合だから、この構成は、可算無限回の後に終了する。 全ての前提条件を使用しなければならないことに注意されたい。 往復せずに手続き (1) を繰り返すだけでは、結果として得られる対応が全単射にならない。