p.103に定理4(比較定理)が述べられており、その証明が続いて記述されています。
この証明に関する質問です。
この証明の中でP.104の3行目から以下の記述があります;
「そのために、Wの元xとW’の元x'で
(*) W<x>≃W<x'>
という関係を満たすような組を考える。・・・」
これに関して私の質問は以下のものです;
W,W’が共に整列集合で互いに順序同型ならば、P.102補題4より、あるx∈Wに対してかならず(*)を満足するx'∈W'が存在することが保証されています。しかしこの証明のこの段階ではW,W’は整列集合ではあるが順序同型とは規定されていません。それなのに(*)式を満足するx,x'が必ず存在することが前提とされています。なぜ必ず存在することを前提とできるのですか?
A 回答 (4件)
- 最新から表示
- 回答順に表示
No.4
- 回答日時:
「
W,W’が共に整列集合で互いに順序同型ならば、
あるx∈Wに対してかならず(*)を満足するx'∈W'が存在する
」
という表現は正しくありません
「
W,W’が共に整列集合ならば
順序同型でなくても
ある特定の元(最小元)x∈Wに対してかならず(*)を満足する(最小元)x'∈W'が存在するけれども
W,W’が順序同型ならば、
すべてのx∈Wに対してかならず(*)を満足するx'∈W'が存在する
」
とすべき
No.3
- 回答日時:
証明の極一部の行を取り出して、そこの行の意味を聞かれたって、
そんな質問は無理としか言えない。
特に今回は、「満たすような組を考える」という、非標準的な語が使われた
文を短文で引っ張ってきているので、その「考える」ってのが
どういう了見で書かれた言葉で、証明の中でどんな意味を持っているかは、
証明を通しで読まなければ誰にも解りようがない。
なんだか解ったような回答をしている者がいるが、その人が
出典を読んだ上で書いているのかどうかは、ちゃんと確認したほうがいい。
No.2
- 回答日時:
Wは整列集合だからWの最小元xが存在し、W<x>=φ
W'は整列集合だからW'の最小元x'が存在し、W'<x'>=φ
∴
W<x>=φ=W<x'>
∴
(*)式を満足するx,x'が必ず存在する
No.1
- 回答日時:
「そのために、Wの元xとW’の元x'で
(*) W<x>≃W<x'>
という関係を満たすような組を考える。」
というのは
仮定であって、
(*)式を満足するx,x'が必ず存在する事をいっているのではありません
(*)式を満足するx,x'があったと仮定するという意味です
Wの元xで、それに対し(*)を満たすx'∈W'が存在するようなもの全体の集合をJとし
J={x∈W|∃x',s.t.W<x>≃W<x'>}
W'の元x'で、それに対し(*)を満たすx∈Wが存在するようなもの全体の集合をJ'とし
J'={x'∈W'|∃x,s.t.W<x>≃W<x'>}
だから
(*)式を満足するx,が存在しなければJ=φ
(*)式を満足するx'が存在しなければJ'=φ
となります
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 双子素数とゴールドバッハ予想と解けました、フィールズ賞貰えますか? 2 2023/09/27 05:03
- 哲学 フォルダによる本質証明と述語証明 2 2023/10/10 00:53
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 フェルマーの最終定理 4 2023/11/06 17:01
- 数学 自明の証明 4 2023/12/10 11:01
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 対角線論法の疑問 4 2023/11/23 12:27
このQ&Aを見た人はこんなQ&Aも見ています
-
「どうして捨てられないの?」前妻の物を捨てられない男性の心理って?
前妻の物を捨てられない理由に加え、捨てるための手段はあるのかを専門家に聞いてみた!
-
整列集合の比較定理
数学
-
イプシロンデルタ論法は成り立つか
数学
-
大学入試の数学で、解答を進めていった結果2次方程式を解かなければいけなくなった時に、たとえばx^+x
数学
-
-
4
∀∃という記号は論理学的に無意味
数学
-
5
ここの計算ってどうやってやってるんですか? 一回√の中身を筆算で解いてから素因数分解してるのでしょう
数学
-
6
外積の記号について 外積の記号には一般に「×」が使われると思います。 1部の書籍やwebサイトなどで
数学
-
7
サイコロを3回振って、123や345などの連番が出る確率はどれくらいですか? 計算方法も教えて貰える
数学
-
8
数学の証明の問題について質問したのですが、運営?に削除されました。 数学とかの問題って質問してはいけ
数学
-
9
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
10
0を0 乗すると答えは1ですか 考え方を文章で簡単に解説 お願いします
数学
-
11
1次方程式の移行について。x-12=9+8xについて。左にxを配置させます。
数学
-
12
阪大2014年数学挑戦枠2問からです。とりあえず(1)だけお願いします。
数学
-
13
複雑な二項係数の和
数学
-
14
長方形の分類(幾何学)
数学
-
15
70x = 21y について。この移行の方法は、両辺を割るのですか。
数学
-
16
数的推理 整数 問題 4個の自然数のa.b.c.dがあり、a>b>c>dである。 この4個の自然数か
数学
-
17
えこれわかるひといますか?
数学
-
18
おしえてgooに図形の問題を投稿したら、削除されました。なぜでしょう?
数学
-
19
ピタゴラス数a,b,cのある関係
数学
-
20
すべての自然数とすべての実数を1対1に対応させる方法:ファイナル
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正の整数a.b.cが a^2+b^2=c^2を...
-
ぶすですか?
-
3,4,7,8を使って10を作る
-
正八角形の性質について
-
夫が亡くなった後の義理家族と...
-
元夫が彼女の存在を隠す理由
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
正解が一つとは限らない数学の...
-
数学の証明問題で、「証明終了」...
-
素数の積に1を加算すると素数で...
-
整数問題
-
「証明証」と「証明書」はどう...
-
婿養子に入ったのに出て行けと...
-
独身女が養子をもらうことって...
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
幽霊が存在していないことを証...
-
鈍角三角形でも正弦定理は成り立つ
-
3の倍数であることの証明
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
素数の積に1を加算すると素数で...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
幽霊が存在していないことを証...
-
「証明証」と「証明書」はどう...
-
rankに関する証明問題です。
-
一様連続の証明
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
(4^n)-1が3の倍数であることの...
-
中3数学 2つの続いた整数では、...
-
スカラー場とベクトル場
-
なぜ独身だと養子が持てないの...
-
無理数って二乗しても有理数に...
-
夫が亡くなった後の義理家族と...
-
婿養子に入ったのに出て行けと...
-
兄弟の子どもの養子縁組は可能...
-
一様連続 e^x 証明
おすすめ情報