[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
941(2): 2021/03/08(月)10:41 ID:tHlTN7kN(7/32) AAS
>>939
>確かに[1]'=[2]'=[3]'ですね
ですよね
>ここで[1]'=[2]'=[3]'を[0]=[1]に移しますが、
>[0]=[1]の代表元が自然には決まらないことになりますね
ここで質問
(AOL4) (γI=β⊂I)∧(γI=α⊂I)
省2
943(2): 2021/03/08(月)10:50 ID:N2VUacU+(2/7) AAS
>>941
>ここで質問
>(AOL4) (γI=β⊂I)∧(γI=α⊂I)
>のα、βは同値類ではなくその元ですか?
>つまり[0]=[1]という同値関係とは全く無関係ですか?
関係ないね
α,βはIの元だしγ_IはIの部分集合
945(1): 2021/03/08(月)11:01 ID:NM2BnIxM(2/3) AAS
>>941
α、βはP18の定義通りα={0},β={1}と考えています
{0}≠{1}なので、γI=β={1}∧γI=α={0}は当然成り立たず、AOL4は成立するということになると思います
AOL4だけを見ると、同値関係もγIの定義もあまり関係無くほとんど自明に成立しますね
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s