[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:01 ID:IlUCyPH9(1/9) AAS
>>21-23
おいおい、おサル、逃げるなよ
もっと、踊っておくれ ｂｙ サル回しのスレ主（＾＾
いつでも、戻って来いよ、相手してやるからｗ（＾＾；
29(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:40 ID:IlUCyPH9(2/9) AAS
ありがとう、おサル
もっと、踊っておくれ ｂｙ サル回しのスレ主（＾＾
30(11): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:43 ID:IlUCyPH9(3/9) AAS
>>21
うん、それね、おれ間違っているね（＾＾；
スレ76 2chｽﾚ:math
引用
>>842
＞Ω ⊂ R^N と Ω ∈ R^N はまったく別ものである
「まったく別もの」ではない
省27
31(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:43 ID:IlUCyPH9(4/9) AAS
>>30
つづき
５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
だから、この場合は”x ∈ y → x ⊂ y ”成立
６）で、我々が通常扱う集合は、超限帰納法も適用可の場合が多く、∈−順序が成立つとして良い
∈−順序が成立つ場合は、”x ∈ y → x ⊂ y ”成立
７）「まったく別もの」ではないが、別もの
省22
33(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:49 ID:IlUCyPH9(5/9) AAS
>>30 補足
＞（それ以外にも、反例はあるな。後述）
・例えば、自然数Nで、偶数の集合を、2Nとすると
2N ⊂ N が成立つ
・しかし、2N ∈ N とすると、2Nは可算無限集合なので、Nの元は有限順序数のみの定義に反する （＾＾；
34(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:53 ID:IlUCyPH9(6/9) AAS
>>32
＞x ∈ y → x ⊂ y の初等的反例を示してるぞ
（>>31より）
８）なお、”x ∈ y → x ⊂ y ”を認めないと、素朴集合論のベン図に反例が出る
つまり、x ∈ yであるにも関わらず、xのある元 u ∈ x で、u not∈ y となると、素朴集合論のベン図が描けないｗ（＾＾；
(引用終り)
（＾＾；
51(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)20:41 ID:IlUCyPH9(7/9) AAS
おサルご苦労
一匹だけ戻ってきたか
一番低脳なのが
さあ、踊ってくれ ｂｙ サル回しのスレ主より ｗ（＾＾；
52(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)20:45 ID:IlUCyPH9(8/9) AAS
（>>30-31）
筑波大 坪井先生の数理論理学IIをベースに考えてみよう
P5 公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える．」
なので、元ｘを、ベン図の点で表わす必要ないよね
おサルのベン図はしらんけどなｗ（＾＾；
アホなおサルｗ
（参考）
省2
55(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)21:00 ID:IlUCyPH9(9/9) AAS
（>>30-31）
> ５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
> だから、この場合は”x ∈ y → x ⊂ y ”成立
∈−順序は、推移的なので、
u ∈ x ∈ ｙ なら
三重丸を描けば良い
一番内側がｕ、中間がｘ、一番外がｙ
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s