[過去ログ] Inter-universal geometryとABC予想(シン応援スレ) 87 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
484(4): 03/05(木)06:13 ID:sJCq5Dat(10/35) AAS
>>482
>じゃ最初の飛ばしてるところも大丈夫?
F1=f^-1(w1),F2=f^-1(w2)
∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ
Va=∩{Ua,b|b∈F2},Vb=∩{Ub,a|a∈F1}
∀a∈F1,b∈F2 Va∋a,Vb∋b,Va∩Vb=φ
U1=∪Va,U2=∪Vb U1⊃F1,U2⊃F2,U1∩U2=φ
496(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 03/05(木)07:27 ID:cjWZLFph(1/7) AAS
>>484
スレ主です
ご苦労さまです
赤ペン先生します〜!w (^^
1)”∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ”
ここ ∀の範囲がはっきりしないぜ。bも入れるだんろ?
かつ b∈F2∃Ua→ b∈F2,∃Ua じゃね? カンマかピリオード入れて区切れ!
∃も 範囲がはっきりしない!
2)”U1=∪Va,U2=∪Vb U1⊃F1,U2⊃F2,U1∩U2=φ”
ここ U1=∪Va → U1:=∪Va じゃね? 定義なんだろ?
省2
499(1): 03/05(木)07:42 ID:sJCq5Dat(18/35) AAS
>>484
>>408のU1,U2とここのは違うけどあとは>>157で作り方は分かろう
506: 03/05(木)08:17 ID:sJCq5Dat(20/35) AAS
>>502
>>ZがハウスドルフでF,F'は有限集合だから
>>開集合U,U' (⊂Z)をF⊂U、F'⊂U' 、U∩U' = φ と選べる。
>この1行目の前提だけから2行目の結論は言える
細かく書くと>>484
>>414で納得したようだから書かなくて良いと思ったけど蛇足
508(1): 03/05(木)08:28 ID:0bDMUBzw(1/4) AAS
>>484
>F1=f^-1(w1),F2=f^-1(w2)
w1,w2∈W で、F1,F2⊂Z ね
>∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ
a,b∈Z
(Ua,b),(Ub,a)⊂Zは、”Zの”開集合
>Va=∩{Ua,b|b∈F2},Vb=∩{Ub,a|a∈F1}
>∀a∈F1,b∈F2 Va∋a,Vb∋b,Va∩Vb=φ
省7
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.227s*