[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net (795ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
98(4): 2017/09/17(日)18:57 ID:VAZlk2VL(11/13) AAS
>>94
命題
ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つことはない。
証明
ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つと仮定する。
数列 t={t_1,...,t_n,s_(n+1),s_(n+2),...}（但し t_n≠s_n）
は、S の任意の元と第 n+1 項以降が等しいから、同値関係の定義より t∈S である。
省2
104(8): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/17(日)21:09 ID:xdoHcTHE(29/35) AAS
>>98
>命題
>ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つことはない。
その命題は正しい。
co-tailを{s_n, s_(n+1),...}と書くことはできない。
それは、スレ41 2chｽﾚ:math に示した通り
なお、補足説明としては、下記ペアノの公理 "2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）"ご参照
省15
424(3): 2017/09/21(木)20:32 ID:pNMdfHG8(5/11) AAS
>>416
＞過去スレにあるなら、隠し立てしないで、はっきり「ここにあります」と書けばいい
面倒臭い方ですね。一度で理解して下さい。
憶えていないというのは理解できていない何よりの証拠です。
>・co-tail が存在するとするあなたの証明は間違っている
>>264 >>349
>>349 で私は自然数nに関する命題をP(n)の形であなた自身で書くようアドバイスした。
省15
431(6): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)23:00 ID:rOngwWSD(9/10) AAS
>>424
>>・co-tail が存在しない証明
>>>98
>私が完璧に証明してしまったので、あなたは co-tail は
>＞{s_n, s_(n+1),...}
>のように書き表せないなどと苦しい言い訳をした。
ああ、その>>98があなたの妄想証明でしたか？（＾＾
省16
433(1): 2017/09/21(木)23:04 ID:pNMdfHG8(8/11) AAS
>>431
＞＞（>>98より）”ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つと仮定する”
＞の部分が、未証明でギャップありですよ。
あなたは”仮定”や"背理法"すら知らないようですね。
高校の教科書に載っているので勉強してはいかが？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s