松坂和夫 集合・位相入門 岩波書店発行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で質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 双子素数とゴールドバッハ予想と解けました、フィールズ賞貰えますか? 2 2023/09/27 05:03
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- Visual Basic(VBA) 指定月分の顧客データファイルを統合して並べ替え、所定の場所に貼り付ける (再質問) 4 2022/09/14 22:51
- 哲学 フォルダによる本質証明と述語証明 2 2023/10/10 00:53
- 数学 フェルマーの最終定理 4 2023/11/06 17:01
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 対角線論法の疑問 4 2023/11/23 12:27
- 数学 回答の意味について 4 2023/07/11 11:19
- 事件・犯罪 刑法についてです 2 2022/06/04 03:11
このQ&Aを見た人はこんなQ&Aも見ています
-
外出時に「待たせる妻」vs イライラする「待つ夫」は日本だけ?見習いたい海外事情
夫の家事参加に積極的なイメージのある海外でも、同様の事例はあるのか。結婚カウンセラーの佐竹悦子さんに伺ってみた。
-
松坂和夫著「集合・位相入門」岩波書店1968 第103ページ D)整列集合の比較定理 の定理4の証明
数学
-
確率の乗法定理の問題で私の考え方がなぜ間違いなのかを教えてください
数学
-
外積の記号について 外積の記号には一般に「×」が使われると思います。 1部の書籍やwebサイトなどで
数学
-
-
4
大学入試の数学で、解答を進めていった結果2次方程式を解かなければいけなくなった時に、たとえばx^+x
数学
-
5
ここの計算ってどうやってやってるんですか? 一回√の中身を筆算で解いてから素因数分解してるのでしょう
数学
-
6
70x = 21y について。この移行の方法は、両辺を割るのですか。
数学
-
7
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
8
複雑な二項係数の和
数学
-
9
0を0 乗すると答えは1ですか 考え方を文章で簡単に解説 お願いします
数学
-
10
∀∃という記号は論理学的に無意味
数学
-
11
サイコロを3回振って、123や345などの連番が出る確率はどれくらいですか? 計算方法も教えて貰える
数学
-
12
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
13
数3の複素数のことです。 αとβという複素数があり、|α|=|β|=|α−β|=1であるとき、2β−
数学
-
14
2x^3+x^2-9を有理数の範囲内で因数分解しろという問題で、これは(2x-3)を因数に持つという
数学
-
15
写真の積分についてですが、模範解答では右のように-1とxをばらしてから積分していて、自分は左のように
数学
-
16
イプシロンデルタ論法は成り立つか
数学
-
17
微分条件を満たす
数学
-
18
数2の関数の接線の問題なのですがこの青で囲ったーaの二乗はなぜ符号がプラスにならないのですか?教えて
数学
-
19
写真の命題を数学的帰納法で証明しようと思うのですが、 n=1の場合は明らかに成り立つと考えても大丈夫
数学
-
20
なぜx軸と平行な直線を検討しないのでしょうか
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
行列のn乗について
-
オイラーの多面体定理の拡張
-
至上最難問の数学がとけた
-
アルキメデスの定理の証明
-
直角三角形じゃないのに三平方...
-
ファルコンの定理は解かれまし...
-
3点が一直線上である証明
-
パップス・ギュルダンの定理に...
-
相似比の答え方・・・
-
11・13y≡5(mod9)がy≡4(mod9)にな...
-
ピタゴラス数について。
-
なぜ整数ぴったりで収まる比の...
-
定理と公式??
-
大学の記述入試で外積は使えま...
-
x^100を(x+1)^2で割ったときの...
-
ほうべき(方巾)の定理について
-
量子化定理とは?
-
東大の数学
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
11・13y≡5(mod9)がy≡4(mod9)にな...
-
整列集合の比較定理
-
【遊びのピタゴラスイッチはな...
-
大学の記述入試で外積は使えま...
-
直角三角形じゃないのに三平方...
-
定理と法則の違い
-
lim[x→+∞](x^n/e^x)=0 の証明
-
パップスギュルダンの定理について
-
ほうべき(方巾)の定理について
-
至急です! 数学で証明について...
-
完全数はどうして「完全」と名...
-
ピタゴラスと音楽
-
重心点の位置
-
位相空間の基本群についての問題
-
至上最難問の数学がとけた
-
そもそも、ピタゴラスの定理っ...
-
三角形の3辺の長さの性質の証明
-
数A nは自然数とする。n , n+2 ...
-
線形代数、最小多項式、固有多...
-
aは自然数とする。a+5は4の倍...
おすすめ情報