[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net (795ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
403: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)08:13 ID:rOngwWSD(1/10)調 AAS
ご高説とご託は、拝聴した
404(3): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)08:13 ID:rOngwWSD(2/10)調 AAS
>>398
>＞数学的帰納法を誤解されていますね。文系さんは（＾＾
>どう誤解していると？誤解の内容を具体的に書いてください
>私はあなたがどう誤解しているのか具体的に指摘しましたよ？
あなたの具体的指摘なるものは、>>349>>354ですね
それ、あなたの>>393 "数学的帰納法は高校の教科書に載ってますから"の通りですね。あなたの理解は、高校レベルに毛の生えた程度ですよ
対して私の証明は、41 2chｽﾚ:math ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞証明と説明 (>>11)
(の583より)「数理論理学II 09 年講義ノート 坪井明人先生 筑波大 http://www.math.tsukuba.ac.jp/~tsuboi/gra/logic10.pdf
のP12 定理36 （ウルトラフィルターの存在）証明にならって、帰納法に持ち込む。」と書いた通りです
つまり、私の理解が十分かどうかは別にして、坪井明人先生にならっていますから、これは高校レベルではありませんので、あしからずご了承ください。
なお、坪井明人先生 同「1.3 超限帰納法とZorn の補題・・・・ 4」（大学レベル） http://www.math.tsukuba.ac.jp/~tsuboi/gra/logic10.pdf もご参照くださいね（＾＾
405: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)08:13 ID:rOngwWSD(3/10)調 AAS
>>399
妄想ご苦労さま
406(6): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)08:14 ID:rOngwWSD(4/10)調 AAS
>>400-402
はいはい、ご高説とご託は、拝聴した（＾＾
>co-tailは存在しませんよ
はい、どうぞ証明をお願いします。
41 2chｽﾚ:math ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞証明と説明 (>>11)
より
私の証明したことは
(584より)"vi) M＝n+1の場合、M＝nの場合と同様に
しっぽの先の共通部分∩(M=2〜n+1) A_M
=(Φ，Φ，・・・, Φ，Φ，s_ M +1，s_ M +2，・・・)
ここで、{s_ M +1，s_ M +2，・・・} の集合の濃度は可算無限である（i.e. 集合の濃度に変化なし）＊）"
(585より)”そもそも、しっぽの一致による同値類だから、しっぽの共通部分が空集合だという考え（ “∩(M=2〜n+1) A_M= Φ” ）の方がおかしいだろ。”
です
対して、あなたの主張は、“lim n→∞ ∩(M=2〜n+1) A_M= Φ”ですね
どうぞ、証明してください！
ご高説とご託は、それからにしてください！！（＾＾
427: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)22:53 ID:rOngwWSD(5/10)調 AAS
>>419-420
なんか、半分笑える、半分あきれる（やれやれ）レベルですね
それで、「なんか証明した気分」なんですかね？
おそらく、気分だけで終わっているんでしょうね（＾＾
428: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)22:54 ID:rOngwWSD(6/10)調 AAS
>>419
>B_n は単調減少
一体、なにが減少しているんでしょうか？ 無限大−有限 ＝ 無限大ですよ！！
それに、lim n=(1→∞) {a+(1/n)} = a ですよ！
{a+(1/n)} は、単調減少ですが、a=0以外では、0に収束しません！！（＾＾
>>>407の射程圏内である。
(>>407より)"一般には成り立たず、
lim[n→∞] B_n ＝ φ の可能性もある。"
？？ これでなにか証明できるとでも？ 微笑ましいね〜（＾＾
429(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)22:56 ID:rOngwWSD(7/10)調 AAS
>>420
あなたの文にならって、反論パロディーをば・・（＾＾
”∩[n＝1〜∞] B_n ≠ φ
が成り立つ具体例を1つ出そう。集合 B_n を
B_n ＝[0,1/n) (n≧1)
と定義すれば、B_n は R 内の半開区間であり(もちろん B_n≠φ であり)、
B_n は単調減少であり、∩[n＝1〜∞] B_n は、１点[0]に収束し、not φ である。
これで>>407の言い分は正しいけれど、証明には使えないことが分った” （＾＾
>B_n ＝ { n, n＋1, n＋2, n＋3, … } (n≧1)
>このとき、B_n は空でない N の部分集合であり、
>B_n は単調減少であり、∩[n＝1〜∞] B_n ＝ φ である。
この文章は、錯覚ですよ。B_n は単調減少とは言えません！
実際、全単射：B_n←→N（自然数の集合）が、任意のｎ∈Nについて成立します。
なお、自然数について、下記のゼルプスト殿下(藤田博司先生 愛媛大)を、熟読願います（＾＾
[講義資料]
過去スレ37 2chｽﾚ:math
166 自分：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/08/03
ゼルプスト殿下(藤田博司先生 愛媛大)PDF http://tenasaku.com/academia/notes/kansaimath8-tenapyon-slides.pdf
過去スレ40 2chｽﾚ:math より
(抜粋)
「超限順序数と無限玉入れ勝敗判定」(ゼルプスト殿下 @tenapyon) [abstract]
http://tenasaku.com/academia/notes/kansaimath8-tenapyon-abstract.pdf
超限順序数と無限玉入れの勝敗 ゼルプスト殿下 (@tenapyon) 第 8 回関西すうがく徒のつどい
また、坪井明人先生 筑波大 の”1.1 順序数 P2 ＆ 1.2 濃度と基数 P4 ”も、基本中の基本として、熟読願います（＾＾
（>>404より）「数理論理学II 09 年講義ノート 坪井明人先生 筑波大 http://www.math.tsukuba.ac.jp/~tsuboi/gra/logic10.pdf
430(1): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)22:56 ID:rOngwWSD(8/10)調 AAS
>>421-422
>数学的帰納法により証明できます
>つまり一致番号が増えれば、どの項もいつかはΦになるので
>数学的帰納法により、全部の項がΦになります
それ数学的帰納法の外ですね、”つまり一致番号が増えれば、どの項もいつかはΦになる”の証明は
よって、「数学的帰納法により証明できます」は、言えません。（なんか高一生に教えている気分（＾＾）
431(6): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)23:00 ID:rOngwWSD(9/10)調 AAS
>>424
>>・co-tail が存在しない証明
>>>98
>私が完璧に証明してしまったので、あなたは co-tail は
>＞{s_n, s_(n+1),...}
>のように書き表せないなどと苦しい言い訳をした。
ああ、その>>98があなたの妄想証明でしたか？（＾＾
（>>98より）”ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つと仮定する”
の部分が、未証明でギャップありですよ。
反論は、私が>>104に記した通りですよ。”co-tailを{s_n, s_(n+1),...}と書くことはできない”ですよ！
∵ ペアノの公理 "2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）"（>>104より）
補足として、>>382をご覧下さい。>>382で、二つの数列
s = (s1，s2，s3 ，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・)と、
s'のco-tail’を書き換えた後の数列をs''として
s''= (s'1， s'2， s'3，・・・，s'_d,s'_d+1，s'_d+2，・・・，s'_d+k,s_d+k+1,s_d+k+2,・・・)∈R^N
sとs''の対比で、一致番号はd+k+1、共有しっぽは{s_d+k+1,s_d+k+2,・・・}
ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
k→∞では、あなたのいう、{s_n, s_(n+1),...}のように書き表せない！！
QED
追伸
>>382の説明はね、ピエロ先生にはご理解頂けたようです
さすがに、あなた方より、レベルが高いようですね。（＾＾
なお、あなたにも、>>429引用のゼルプスト殿下(藤田博司先生 愛媛大)と坪井明人先生 筑波大のPDF熟読をお願いしますよ！（＾＾
432: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/21(木)23:01 ID:rOngwWSD(10/10)調 AAS
>>423>>425
>>431をご参照ください（＾＾
以上です
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s