![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
松坂和夫 集合・位相入門 岩波書店発行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も見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
松坂和夫著「集合・位相入門」岩波書店1968 第103ページ D)整列集合の比較定理 の定理4の証明
数学
-
外積の記号について 外積の記号には一般に「×」が使われると思います。 1部の書籍やwebサイトなどで
数学
-
確率の乗法定理の問題で私の考え方がなぜ間違いなのかを教えてください
数学
-
-
4
70x = 21y について。この移行の方法は、両辺を割るのですか。
数学
-
5
大学入試の数学で、解答を進めていった結果2次方程式を解かなければいけなくなった時に、たとえばx^+x
数学
-
6
ここの計算ってどうやってやってるんですか? 一回√の中身を筆算で解いてから素因数分解してるのでしょう
数学
-
7
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
8
0を0 乗すると答えは1ですか 考え方を文章で簡単に解説 お願いします
数学
-
9
サイコロを3回振って、123や345などの連番が出る確率はどれくらいですか? 計算方法も教えて貰える
数学
-
10
複雑な二項係数の和
数学
-
11
∀∃という記号は論理学的に無意味
数学
-
12
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
-
13
数3の複素数のことです。 αとβという複素数があり、|α|=|β|=|α−β|=1であるとき、2β−
数学
-
14
2x^3+x^2-9を有理数の範囲内で因数分解しろという問題で、これは(2x-3)を因数に持つという
数学
-
15
写真の積分についてですが、模範解答では右のように-1とxをばらしてから積分していて、自分は左のように
数学
-
16
微分条件を満たす
数学
-
17
なぜx軸と平行な直線を検討しないのでしょうか
数学
-
18
数2の関数の接線の問題なのですがこの青で囲ったーaの二乗はなぜ符号がプラスにならないのですか?教えて
数学
-
19
数的推理 整数 問題 4個の自然数のa.b.c.dがあり、a>b>c>dである。 この4個の自然数か
数学
-
20
長方形の分類(幾何学)
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
lim[x→+∞](x^n/e^x)=0 の証明
-
大学の記述入試で外積は使えま...
-
パップスギュルダンの定理について
-
直角三角形じゃないのに三平方...
-
曲線の束について質問です 「mf(...
-
数A nは自然数とする。n , n+2 ...
-
【遊びのピタゴラスイッチはな...
-
至上最難問の数学がとけた
-
ファルコンの定理は解かれまし...
-
推論規則と定理、公理は違うもの?
-
これは証明になってる
-
特異点の3つのタイプについて
-
複素関数と実関数のテーラー展...
-
実数の整列化について
-
至急です! 数学で証明について...
-
十分性の確認について
-
ゼロ知識証明の勉強をしている...
-
傘を買うと雨は止む。
-
二次合同式の解き方
-
整列集合の比較定理
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
ファルコンの定理は解かれまし...
-
至上最難問の数学がとけた
-
lim[x→+∞](x^n/e^x)=0 の証明
-
AとBはn次正方行列とする。 積A...
-
これは証明になってる
-
中国剰余式定理(一般形)の証明...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
パップスギュルダンの定理について
-
大学の記述入試で外積は使えま...
-
定理と法則の違い
-
【線形代数】基底、dimVの求め方
-
奇数次の代数方程式
-
完全数はどうして「完全」と名...
-
二次合同式の解き方
-
オイラーの多面体定理の拡張
-
11・13y≡5(mod9)がy≡4(mod9)にな...
-
量子化定理とは?
-
A,Bの異なる2つの箱に異なる1...
-
11の22乗を13で割った余り...
おすすめ情報