Inter-universal geometry と ABC予想 (応援スレ) 74 (973ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
615: １３２人目の素数さん [] 2025/09/01(月) 08:05:47.71 ID:sYNWEl0F >>612 >無限公理は、平たく言えば 空集合∅から始めて 後者を作り それを可算無限回繰り返した集合N=ωを含む無限集合Iの存在を公理として認めるというものだ はい、大間違いです。 空集合が元であり、任意の元に対しその後者も元であるような集合（帰納的集合）の存在を認めるものです。 無限回繰り返しなるものは well-defined でないので数学には存在しません。 あなた初歩の初歩の初歩から分かってませんね。バカなんですか？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/615
617: １３２人目の素数さん [] 2025/09/01(月) 08:30:00.25 ID:sYNWEl0F >>612 >３）>>566-567 では ”部分集合として 分出公理で取り出す”をせずに 集合積∩を使っている > この問題点は、集合積∩が その積の各要素に敏感だってことだ > つまり、その積の要素 全てを確定しないと 集合積∩Aλ が確定しない > なので、集合積∩を使うのは 賢くないってことだね はい、まったくの言いがかりです。 W={x∈I|∀J(Φ(J)→x∈J)} は任意の集合JについてJが帰納的集合ならばxはJの元であると言っている。 つまり、あなたの言い方で言えば、集合すべて、帰納的集合すべてが確定しないとWは確定しない。 あなたが∩を忌避するのはあなたが∩恐怖症だからというあなたの個人的事情ですよね？ 世の中はあなた中心に回ってはいません。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/617
618: １３２人目の素数さん [] 2025/09/01(月) 08:36:48.83 ID:sYNWEl0F >>612 >素直に、Iの部分集合として 集合N=ωを 分出公理で取り出せるならば その方がよほど賢明だ 素直であるだの賢明であるだのは∩恐怖症のあなたの感想ですよね？ 数学は読書感想文じゃありません。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/618
637: １３２人目の素数さん [] 2025/09/01(月) 12:59:23.17 ID:sYNWEl0F >>631 >M(x)＝「x は無限集合である」を、ひらたく言えば、『帰納的に後者を繰り返し無限に取った集合以上の集合』ということだね はい、大間違いです。 >M(x)＝「x は無限集合である」 が間違い。 >『帰納的に後者を繰り返し無限に取った集合以上の集合』 も間違い。 M(x)＝「x は帰納的集合である」 が正しい。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/637
639: １３２人目の素数さん [] 2025/09/01(月) 13:21:04.63 ID:sYNWEl0F >>636 >>面白いが、aが可算だと P (a)は非可算になる >という基本的な間違いがある いや、正しい。 aは可算集合とする。定義により全単射 f:N→a が存在するから、aの元を f(0),f(1),f(2),・・・ と並べられる。 P(a)の任意の元は、f(0)を持つか否か、及び、f(1)を持つか否か、及び、f(2)を持つか否か、及び、・・・で表せるから、2^N通り存在し、対角線論法によりP(a)は非可算集合。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/639
641: １３２人目の素数さん [] 2025/09/01(月) 13:37:28.45 ID:sYNWEl0F >>638 >可算無限集合aに無限順序数 ω=N が属するとき >とaに無限順序数 ω=N が属さないときでは >aの「・・・」の部分の意味合いが変わり 変わらない。0,1,2,…は自然数全体であってωの有無に関係無く意味合いは同じ。 >aを a={0,1,2,…,S_1,S_2,…} と可算無限集合 ω=N を欠かした形で >帰納的にaを定義することは出来ない 「帰納的にaを定義する」が何を意味してるのか分からないが、aは帰納的集合。 なぜなら、0∈a ∧ ∀x∈a→S(x)∈a を満たしているから。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/641
642: １３２人目の素数さん [] 2025/09/01(月) 13:46:29.96 ID:sYNWEl0F この例が暗示するように 順序数は帰納的集合であることもないこともある。 帰納的集合は順序数であることもないこともある。 だから帰納的集合に関する議論において順序数を持ち出す必然性はまったく無い。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/642
643: １３２人目の素数さん [] 2025/09/01(月) 13:48:27.30 ID:sYNWEl0F そもそも自然数の構成のくだりで自然数の拡張である順序数を持ち出すのが馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1755784703/643
645: １３２人目の素数さん [] 2025/09/01(月) 14:09:31.97 ID:sYNWEl0F >>631 >だったら、『帰納的に後者を繰り返し無限に取った集合』を きちんと論理式 M(x)’として立てて >aから直接 M(x)’を 分出公理で 部分集合として取り出せば それで終わりでしょ！ それで終わりなら、なんでやらないの？ 論理式が立てられないから？ じゃ終わりじゃないじゃんｗ http://rio2016.5ch.net/test/read.cgi/math/1755784703/645
646: １３２人目の素数さん [] 2025/09/01(月) 14:12:43.06 ID:sYNWEl0F >>632 >要するに、人生で 自分の出会う問題に使えるだけの >最小限の勉強という態度では うまくいかない と、意地でも述語論理を勉強しない勉強嫌いが申しております http://rio2016.5ch.net/test/read.cgi/math/1755784703/646
647: １３２人目の素数さん [] 2025/09/01(月) 14:14:55.76 ID:sYNWEl0F >>632 >「抽象数学 チンプンカンプンです」とは ちょっと違うレベルに到達できるよ と、自然数すらチンプンカンプンなオチコボレが申しております http://rio2016.5ch.net/test/read.cgi/math/1755784703/647
654: １３２人目の素数さん [] 2025/09/01(月) 18:40:39.98 ID:sYNWEl0F >>651 >だったら、『帰納的に後者を繰り返し無限に取った集合』を きちんと論理式 M(x)’として立てて 「繰り返し無限に取る」が well-defined でないので大間違いです。 実際、 >Φ(x)を「xは帰納的である」という論理式とする。つまり、 >Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x))) であり、何も繰り返し無限に取ってません。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/654
656: １３２人目の素数さん [] 2025/09/01(月) 18:42:58.07 ID:sYNWEl0F >>651 >繰り返し無限に取る そんなアホなこと言ってると中高一貫生に笑われますよ http://rio2016.5ch.net/test/read.cgi/math/1755784703/656
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.410s*