Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
612(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)07:22 ID:Llrj9wIL(1/2) AAS
>>571 補足
ここは、中高一貫校生も来る可能性があるから
補足しておくよ
１）集合積∩は、例えば A∩Bと A∩B' と (ここにB≠B')では積の結果が一般には異なる
同様に∩Aλ （λは添え字）を考えると
最初をA0として 最後をAendとすると、最初から最後まで 全て確認しないと
∩Aλの結果が定まらない。つまり、積を構成する要素が一つ変わっただけで 結果が異なる敏感なものだということ
省26
614: 09/01(月)07:53 ID:2hK1RYNi(2/8) AAS
>>612
>同様に∩Aλ （λは添え字）を考えると
>最初をA0として 最後をAendとすると、最初から最後まで 全て確認しないと
>∩Aλの結果が定まらない。最初から最後まで 全て確認しないと
>∩Aλの結果が定まらない。
最初と最後が定義されているときは添え字が小さい方から帰納的に
最初を A0、最後を An ∋n∈N と定義出来るから
省7
615: 09/01(月)08:05 ID:sYNWEl0F(1/13) AAS
>>612
>無限公理は、平たく言えば 空集合∅から始めて 後者を作り それを可算無限回繰り返した集合N=ωを含む無限集合Iの存在を公理として認めるというものだ
はい、大間違いです。
空集合が元であり、任意の元に対しその後者も元であるような集合（帰納的集合）の存在を認めるものです。
無限回繰り返しなるものは well-defined でないので数学には存在しません。
あなた初歩の初歩の初歩から分かってませんね。バカなんですか？
617: 09/01(月)08:30 ID:sYNWEl0F(2/13) AAS
>>612
>３）>>566-567 では ”部分集合として 分出公理で取り出す”をせずに 集合積∩を使っている
> この問題点は、集合積∩が その積の各要素に敏感だってことだ
> つまり、その積の要素 全てを確定しないと 集合積∩Aλ が確定しない
> なので、集合積∩を使うのは 賢くないってことだね
はい、まったくの言いがかりです。
W={x∈I|∀J(Φ(J)→x∈J)}
省3
618: 09/01(月)08:36 ID:sYNWEl0F(3/13) AAS
>>612
>素直に、Iの部分集合として 集合N=ωを 分出公理で取り出せるならば その方がよほど賢明だ
素直であるだの賢明であるだのは∩恐怖症のあなたの感想ですよね？ 数学は読書感想文じゃありません。
627: 09/01(月)10:13 ID:NdAal4Cf(4/7) AAS
>>612
＞∩Aλ （λは添え字）を考えると
＞最初をA0として 最後をAendとすると、
＞最初から最後まで 全て確認しないと
＞∩Aλの結果が定まらない。
最後ｗｗｗ
>無限公理は、平たく言えば 空集合∅から始めて 後者を作り
省32
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s