[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 87 (739ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(3): 03/01(日)08:38 ID:3dmumsBe(1/52) AAS
前スレ：Inter-universal geometryとABC予想(シン応援スレ) 86
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
（2030 ICM 日本開催に向け 力をためようということか）
外部ﾘﾝｸ:www.mathunion.org
ICM 2026
外部ﾘﾝｸ:www.icm2026.org
Titles & Abstracts
省28
720: 03/08(日)09:24 ID:UaV65Mpp(6/8) AAS
>>716
有限集合なら、自由に閉とか開とか考えられるのかと思って…。
あそこに書いた以上のことは、もう私には無理かと。
なんかスレ住人の気配がしないので、もう少し待ちたいところですね。
（証明を書かれた方も、戻られていない感じですし。）
721: 03/08(日)09:26 ID:UaV65Mpp(7/8) AAS
>>719
ありがとうございます。
ゆっくり確認しておきます。
722(2): 03/08(日)09:30 ID:I4WT0RHF(6/9) AAS
>>698-701 >>708
赤ペン先生ありがとうございます
スレ主です
１）
>今、a'1,a'2,・・a'm たちの和集合をUAmとする
それｍ点集合だから閉ですね
↓
滑っているので訂正
”今、開近傍Ua'1,Ua'2,・・Ua'm たちの和集合をUAmとする”
（これで 開になりました）
省31
723(2): 03/08(日)09:35 ID:qwue3QyI(9/9) AAS
>>719
>f(Z-U) ∪ f(Z-V) = f( (Z-U) ∪ (Z-V) ) = f( Z - (U ∩ V) ) = f(Z - ∅) = f(Z) = W（f全射）。
>>708
>オミゴトな解答はfの全射性を上手く使ってるんだけど
と書いたのはこれね
724(2): 03/08(日)09:35 ID:dH1Au/5H(7/12) AAS
>>707
競争って、何の競争のこと？
725: 03/08(日)09:38 ID:UaV65Mpp(8/8) AAS
>>724
乙さんの証明は難解で長いけど、比較的早く返信が来るイメージがあるということ。
特に深い意味は無いですw
726: 03/08(日)09:40 ID:dH1Au/5H(8/12) AAS
>>709
自己レスしてしまったが、>>724は>>707ではなく、>>709へのレス
727(1): 03/08(日)09:42 ID:I4WT0RHF(7/9) AAS
>>722 追加
５）
オミゴトな解答はfの全射性を上手く使ってるんだけど
そこにも言及が無いね>>686
↓
そこは >>686 の”a'1と b'1,b'2,・・b'n たちは異なる（∵例えば a'1＝b'n ならば 射の定義に反する）”
で言及したつもりです
>>696の”z1 ≠ z2 （もし z1 = z2 なら w1 = f(z1) = z2 となって矛盾）”
は うまい書き方と思った
但し 赤ペン
省5
728(1): 03/08(日)09:43 ID:oLc0wnXg(4/8) AAS
>>686の証明を、AIに見せた結果
ユーザーが提示した証明は、本質的に正しいです。
私の前の修正版とほぼ同じアイデアを、より直感的・逐次的に記述したもので、
大学院入試レベルの解答としては十分に合格点を取れる内容だと思います。
ただし、厳密に書くならいくつか細かいツッコミどころ（曖昧さや省略）があるので、
それを修正・補強した形で評価します。
「二つの閉の像の補集合を取り 二つの開近傍を得る」
→ 正確に言うと：O_a = W - f(UAm^c)
（開、a ∈ O_a なぜなら A ⊂ UAm ⇒ f(A) = {a} ∩ f(UAm^c) = ∅）
O_b = W - f(UBm^c) （同様）
省9
729: 03/08(日)09:46 ID:oLc0wnXg(5/8) AAS
>>723
AIの指摘と符合しますね
730: 03/08(日)09:46 ID:dH1Au/5H(9/12) AAS
>>717の
>γは無理数と仮定しているから、無理数γの第(2m(n)＋1)次近似分数
>q_{2(m(n)＋1)}/p_{2(m(n)＋1)} p_{2m(n)}≧k q_{2m(n)}≧2
>は確かに存在する。
は
>γは無理数と仮定しているから、無理数γの第(2m(n)＋1)次近似分数
>q_{2(m(n)＋1)}/p_{2(m(n)＋1)} p_{2(m(n)＋1)}≧k q_{2(m(n)＋1)}≧2
>は確かに存在する。
の書き間違い
731: 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/08(日)09:47 ID:I4WT0RHF(8/9) AAS
>>723
(引用開始)
>>719
>f(Z-U) ∪ f(Z-V) = f( (Z-U) ∪ (Z-V) ) = f( Z - (U ∩ V) ) = f(Z - ∅) = f(Z) = W（f全射）。
>>708
>オミゴトな解答はfの全射性を上手く使ってるんだけど
と書いたのはこれね
(引用終り)
そっちか
全く閃かなかったな >>727は大外しか
省1
732: 03/08(日)09:50 ID:dH1Au/5H(10/12) AAS
>>717のCase2)の
>γは無理数と仮定しているから、無理数γの第(2m(n)＋1)次近似分数
>q_{2(m(n)＋1)}/p_{2(m(n)＋1)} p_{2m(n)}≧k q_{2m(n)}≧2
>は確かに存在する。
は
>γは無理数と仮定しているから、無理数γの第(2m(n)＋1)次近似分数
>q_{2(m(n)＋1)}/p_{2(m(n)＋1)} p_{2(m(n)＋1)}≧k q_{2(m(n)＋1)}≧2
>は確かに存在する。
の書き間違い
733: 03/08(日)09:52 ID:dH1Au/5H(11/12) AAS
あれ？
どういう訳か、内容がほぼ同じレスを2回してしまった
734: 03/08(日)09:57 ID:oLc0wnXg(6/8) AAS
266がオミゴトといった
157の証明を（）で追記した結果
基本的に719と同じ
AIに訊いて確認済
「w, w' を任意にとる。
F, F'をw,w' のファイバーとする。
ZがハウスドルフでF,F'は有限集合だから
開集合U,U' をF⊂U、F'⊂U' 、U∩U' = φ と選べる。
G = f(Uᶜ), G'=f(U'ᶜ) とすれば、
w∉G、w'∉G'、 G∪G' = W
省5
735: 03/08(日)09:58 ID:oLc0wnXg(7/8) AAS
私的結論
「MunkresのTopology読め」（笑）
736: 03/08(日)10:22 ID:dH1Au/5H(12/12) AAS
>>714の
>よって、p_{2n} に対して或る2以上の整数Aが存在して p_{2n}＝2A である
>同様に考えれば、2＜q_{2n} から q_{2n} は3以上の奇数であるから、
>q_{2n} に対して或る正の整数Bが存在して q_{2n}＝2B＋1 である>
>故に、q_{2n}/p_{2n}＝(2B＋1)/(2A) である
>q_{2n}＜γp_{2n}＜p_{2n} と γ＜58/100＜3/5 とから (50/29)q_{2n}＜p_{2n} であって、
>p_{2n}＝2A、q_{2n}＝2B＋1 から (50/29)(2B＋1)＜2A であるから
>100B＋50＜58A、即ち B＜(29/50)A−1/2 である
の部分の「n」は「m(n)」の書き間違い
737(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/08(日)10:39 ID:I4WT0RHF(9/9) AAS
>>728
ご指導ありがとう
スレ主です
>私の前の修正版とほぼ同じアイデアを、より直感的・逐次的に記述したもので、
>大学院入試レベルの解答としては十分に合格点を取れる内容だと思います。
ありがとう
まあ、種本見て カンニングしながらだからね（＾＾
なお、細かい点の赤ペンは >>722 な
>「二つの閉の像の補集合を取り 二つの開近傍を得る」
>→ 正確に言うと：O_a = W - f(UAm^c)
省8
738: 03/08(日)10:55 ID:Uiv+CXBk(1) AAS
カンニングして赤ペンされるの草
739: 03/08(日)11:03 ID:oLc0wnXg(8/8) AAS
>>737
>種本見て カンニングしながらだからね
だろうと思った
種本って何？
カンニングしてまでマウントするとか病気だろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s