
松坂和夫 集合・位相入門 岩波書店発行1968年 の内容に関する質問です。
p.103に定理4(比較定理)が述べられており、その証明が続いて記述されています。
この証明に関する質問です。
当該の証明の中でP.104の3行目から以下の記述があります;
「そのために、Wの元xとW’の元x'で
(*) W<x>≃W'<x'>
という関係を満たすような組を考える。・・・」
これに関して私の質問は以下のものです;
W,W’が共に整列集合で互いに順序同型ならば、P.102補題4より、あるx∈Wに対してかならず(*)を満足するx'∈W'が存在することが保証されています。しかしこの定理4の条件としてW,W’は整列集合ではあるが順序同型とは規定されていません。それなのに(*)式を満足するx,x'が必ず存在することが前提とされています。なぜ必ず存在することを前提とできるのですか?
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
定理4(比較定理)
W,W'を2つの整列集合とすれば,次の3つの場合のいずれか1つ,しかも1つだけが起こる.
(1)W≃W'
(2)W'のある元a'が存在して,W≃W'<a'>
(3)Wのある元aが存在して,W<a>≃W'
なお,上の(2),(3)の場合に,a',aはそれぞれ一意的に定まる
証明)
…
以上で,(1),(2),(3)のどの2つの場合も両立し得ないことがわかったから,
次に,これらのいずれかの場合が起こることを示そう.
Wの要素数を|W|,W'の要素数を|W'|とする
(|W|=1)&(|W'|=1)のとき
W={x} となるxがある
W'={x'} となるx'がある
WからW'への写像
f:W→W' を
f(x)=x'
と定義すると
fは順序全単射だから
W={x}≃{x'}=W'
だから(1)が起こる
(|W|=1)&(|W'|≧2)のとき
W={x} となるxがある
W'は整列集合だから最小元x1'がある
|W'|≧2だからW'-{x1'}の最小元x2',(W'の第2元)がある
W'<x2'>={x1'} だから
f:W→W'<x2'> を
f(x)=x1'
と定義すると
fは順序全単射だから
W={x}≃{x1'}=W'<x2'>
だから(2)が起こる
(|W'|=1)&(|W|≧2)のとき
W'={x'} となるx'がある
Wは整列集合だから最小元x1がある
|W|≧2だからW-{x1}の最小元x2,(Wの第2元)がある
W<x2>={x1} だから
f:W<x2>→W' を
f(x1)=x'
と定義すると
fは順序全単射だから
W<x2>={x1}≃{x'}=W'
だから(3)が起こる
(|W|≧2)&(|W'|≧2)のとき
Wは整列集合だから最小元x1がある
|W|≧2だからW-{x1}の最小元x2,(Wの第2元)がある
W<x2>={x1}
W'は整列集合だから最小元x1'がある
|W'|≧2だからW'-{x1'}の最小元x2',(W'の第2元)がある
W'<x2'>={x1'}
f:W<x2>→W'<x2'> を
f(x1)=x1'
と定義すると
fは順序全単射だから
W<x2>={x1}≃{x1'}=W'<x2'>
だから
Wの元xとW’の元x'で
(*) W<x>≃W'<x'>
という関係を満たすような組を考える。
x=x2
x'=x2'
とすれば,
W<x2>={x1}≃{x1'}=W'<x2'>
だから
*)式を満足するx,x'が必ず存在する
matrajcpさま
満足の行くご回答を大変ありがとうございました。私もおおよそこのように証明できるのではないかなと思っていましたが、数学歴が乏しいためかこのように具体的に書き下すことができませんでした。助かりました。これで先へすすむことができます。 どの集合論の本を見てもこの前提W<x>≃W'<x'>となるx,x'は存在すると説明なしに書かれています。それほど明白なことを丁寧に解説してくださって感謝します。
No.2
- 回答日時:
だから、その文だけでなく、証明の全文をよく読めって。
ここで質問するのであれば、証明を通しで引用しなければ、
その文の「考える」というのがどういう意味かは
推測のしようがない。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
【線形代数】基底、dimVの求め方
-
至上最難問の数学がとけた
-
「整数係数方程式の有理解の定...
-
大学の記述入試で外積は使えま...
-
方べきの公式の『方べき』の意味
-
複素幾何の予備知識
-
数A nは自然数とする。n , n+2 ...
-
モジュラ演算
-
拡張ユークリッド互除法による...
-
8のx乗=mod11の答えは?
-
この公式の名前を教えて下さい...
-
幾何学の問題です。
-
〈学歴詐称疑惑の伊東市長〉「“...
-
何時間 何分 何秒を記号で表...
-
履歴書で証明写真を提出した次...
-
1」は昔は素数だったそうです...
-
「互いに素」の定義…「1と2は互...
-
皆さん定義を教えてください 「...
-
力*距離 (仕事) が変速にお...
-
これマイナカード推進のための...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
ブロッホの定理
-
lim[x→+∞](x^n/e^x)=0 の証明
-
大学の記述入試で外積は使えま...
-
物理学に強い方に質問です。 電...
-
AとBはn次正方行列とする。 積A...
-
至上最難問の数学がとけた
-
【遊びのピタゴラスイッチはな...
-
奇数次の代数方程式
-
【線形代数】基底、dimVの求め方
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
ほうべき(方巾)の定理について
-
複素解析の分野における“原理”...
-
直角三角形じゃないのに三平方...
-
至急です! 数学で証明について...
-
ピタゴラス数について。
-
11の22乗を13で割った余り...
-
13^(5^14)を19で割った余り
-
数A nは自然数とする。n , n+2 ...
-
定理と法則の違い
おすすめ情報