[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
688(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/22(日)16:23 ID:e5q/Q8+J(3/4) AAS
>>685
ふっふ、ほっほ
(引用開始)
>”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”は、そもそも何者なのか？
だからAの部分集合族の共通部分って教えてあげたよね？
(引用終り)
ここの ”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”は
最初 >>563 より
”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”、”Aは無限公理により存在する集合を任意に選んだもの” by 外部ﾘﾝｸ:ja.wikipedia.org ペアノの公理
で登場した式だよね
で、問題は ”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”が、正しいかどうか？
おれは、こんなところで ∩を使うのは如何かと 行っているのだ
いま記号を変えて、M =∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} と書くよ
人は、無限集合としての自然数の集合Nが、空集合∅を含んで
かつyの後者たるy∪{y}を、無限に含むと知っている （カントールやノイマンによる）
これを、公理的に導きたいのだが
そのときに、積記号∩を使うのが適当かどうか？
”M＝N”が証明できれば、無問題 （望ましくは ”一意”の証明もね）
やってみてｗｗ ；ｐ）
（以前にも書いたが、話の順で 順序数の構成までいけば、それは結論としては可能だが
（実際 渕野氏は >>677で示した通り ”補題2.22
(1)自然数の要素は自然数である．
(2)集合Xを∅∈Xですべてのy∈Xに対しy∪{y}となるようなものとすると，Xはすべての自然数を含む．
補題2.22の証明は，以下に述べるＯn上の帰納法の説明の後まで保留する．”
などとしている。（ここに”Ｏn”は、順序数） ））
689(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/22(日)16:27 ID:e5q/Q8+J(4/4) AAS
>>688 タイポ訂正
おれは、こんなところで ∩を使うのは如何かと 行っているのだ
↓
おれは、こんなところで ∩を使うのは如何かと 言っているのだ
691: 06/22(日)17:50 ID:Y+ibteSC(6/6) AAS
>>688
>で、問題は ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”が、正しいかどうか？
定義に正しい/間違いがあると思った？
>おれは、こんなところで ∩を使うのは如何かと 行っているのだ
出た！ ∩恐怖症ｗ
君が∩を理解できないからといって、他人に∩を使うなと要求する気かい？ 世界は君中心に回っているとでも？
>これを、公理的に導きたいのだが
公理的に導くって言い方がいかにもバカっぽい。
尚、ZF公理系に自然数なるものは存在しない。だから構成する。
>そのときに、積記号∩を使うのが適当かどうか？
出た！ ∩恐怖症ｗ
君が∩を理解できないからといって、他人に∩を使うなと要求する気かい？ 世界は君中心に回っているとでも？
>”M＝N”が証明できれば、無問題 （望ましくは ”一意”の証明もね）
>やってみてｗｗ ；ｐ）
いいよ
君がN=ω:={ x ∈ A | Ent(x) }を証明した後に 答え教えるようなもんだからね
>（以前にも書いたが、話の順で 順序数の構成までいけば、それは結論としては可能だが
はい、大間違い。
自然数を構成するのに順序数は不要。
> (1)自然数の要素は自然数である．
つまりn∈nってことかい？ それ正則性公理違反だよ。バカなの？
> 補題2.22の証明は，以下に述べるＯn上の帰納法の説明の後まで保留する．”
> などとしている。（ここに”Ｏn”は、順序数） ））
ああ、だから君トンチンカンなこと言ってたんだね。自然数を構成するのに順序数は不要。なんとか先生を誤読しちゃったんだね君。哀れだね。
692: 06/23(月)13:52 ID:PRYVJgQF(1/2) AAS
>>688
（引用開始）
これを、公理的に導きたいのだが
そのときに、積記号∩を使うのが適当かどうか？
”M＝N”が証明できれば、無問題 （望ましくは ”一意”の証明もね）
やってみてｗｗ ；ｐ）
（以前にも書いたが、話の順で 順序数の構成までいけば、それは結論としては可能だが
（実際 渕野氏は >>677で示した通り ”補題2.22
(1)自然数の要素は自然数である．
(2)集合Xを∅∈Xですべてのy∈Xに対しy∪{y}となるようなものとすると，Xはすべての自然数を含む．
補題2.22の証明は，以下に述べるＯn上の帰納法の説明の後まで保留する．”
などとしている。（ここに”Ｏn”は、順序数） ））
（引用終了）
順序数を構成しないと∩を使えない？？？ どんな勝手読みしたらそんなアホな考えになるのだろう
∩の定義は下記ページの通り明らかなのに使えないって意味不明すぎやろｗ
外部ﾘﾝｸ:en.wikipedia.org
693(2): 06/23(月)23:15 ID:PRYVJgQF(2/2) AAS
>>688
外部ﾘﾝｸ:ja.wikipedia.org
の通り、選択公理は∩を使ってるので間違いってことでおｋ？
じゃあ世界中の学会に現代数学は間違いってダメ出ししなよ こんなとこで吠えてないでさあ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.046s