15/04/05 12:14:51.69 X55sT+uM.net
>>789
命題「群 G の部分群 N と ∀g∈G に対し、N⊂gNg^-1 なら N=gNg^-1」
を超限帰納法を使って証明して下さい。
「超限帰納法も、ことは単純で」と言ったのは君だから、当然できるはずだよね？
＞３．数学的帰納法を公理として認めれば、「無限個ある自然数全てに対してP(n) が成り立つ」という数学的帰納法の結論が導かれる。それを単純に、共役変換の場合にも成り立つとすれば良い。
＞ 任意の位数Nの群について>>726は成り立つ。だから、「無限個ある自然数全てに対してP(n) が成り立つ」
＞ （超限帰納法も、ことは単純で、公理系の問題だよ。選択公理と同値な整列可能定理により・・とすれば良いだけ）
865:１３２人目の素数さん
15/04/05 13:14:18.60 CBD9FLtF.net
>>800
自然数の場合の帰納法、整列性の概念すらちゃんと分かってないやつに出来るわけないだろw
866:現代数学の系譜11 ガロア理論を読む
15/04/05 14:11:36.46 5o4dQmCs.net
>>798-800
出題者さん、ども
次から新スレへ行きましょう
皆さん、ほんとレベルが高いね。感心するよ
論点整理をしよう
１．まず確認だが、>>794で有限群の場合は良いんだよね？
「gNg^(-1) ⊂ N (∀g∈G)」→「N=gNg^-1」が、共役変換の本質：「集合なら一対一対応であり、群であれば同型」から従う
２．無限群についても、共役変換の本質から”a=g(g^-1ag)g^-1∈g・N・g^-1 ”で終わりだと。
３．共役変換の本質から”a=g(g^-1ag)g^-1∈g・N・g^-1 ”を使って、”ker(f) について直接示すもよし、正規部分群Nの定義の同値として示すもよし”だ
４．だから、>>417の問題(1) は、>>681 の岡山大吉野雄二の証明レベルで可だ。
５．それは>>440で終わっている（>>442「逆の包含を言ってないってことか？それは問題ない。」だったね）
６．但し、「N=gNg^-1」を使ったから、逆の包含についての説明か証明が必要だということになった。
それも既に>>686で逆の包含を直接示しているので終わっている
７．だから、数学的帰納法を持ち出して混乱させたが、>>417の問題(1) は既に終わっているし、共役変換の本質の理解と説明も間違っちゃいないだろ
８．但し、数学的帰納法と超限帰納法については、意見が一致していない
数学的帰納法と超限帰納法については、新スレ（下記）でやろう
現代数学の系譜11 ガロア理論を読む13
ｽﾚﾘﾝｸ(math板)
867:１３２人目の素数さん
15/04/07 12:29:50.69 Z+g58olw.net
本格的にトンデモに育ってきたなw
868:１３２人目の素数さん
15/04/07 12:34:21.90 Z+g58olw.net
本当のゼミで凹まされて育った数学科の猛者から見たら笑止千万すぎるもんな威張りながら教わろうとはｗ
869:１３２人目の素数さん
15/04/07 13:44:50.66 NwxyNtnn.net
何を言う。
スレ主は王道を行っとる。
金払って威張り散らす腐れ教員に頭を下げるなど以ての外。
金払をもらったのならその分働け。
分かるように学生様に分かりやすく説明しろ。
教えたく無いなら、教える必要のない研究職につけ怠け教員。
870:１３２人目の素数さん
15/04/09 03:29:10.96 nTN786wm.net
国公立の学生は国民納税者に学費を税金経由でたかって学問収めさせてもらってる乞食なのだから国民納税者にひざまずけ
871:１３２人目の素数さん
15/04/09 19:03:28.26 K8KMCiFa.net
べき根で表せない解って具体的にどんな形をしてるの？
三角関数がうにょうにょした感じってイメージであってる？
872:１３２人目の素数さん
15/04/09 19:16:05.14 sC/9Vs45.net
それは超越解では
873:１３２人目の素数さん
15/04/09 23:20:27.82 +fXi7TzJ.net
テータ函数使えば，任意の代数方程式の解は書けるから
「三角関数がうにょうにょした感じ」でイメージはあってるなｗ
874:１３２人目の素数さん
2015/04/10(�
875:�) 06:30:24.58 ID:8XLHEbVF.net
876:１３２人目の素数さん
15/04/10 08:43:13.70 OjdOUtND.net
幼稚園にも上がれない大きな赤ん坊がスレを立ててるのを見るとなあw
877:現代数学の系譜11 ガロア理論を読む
15/04/10 23:19:06.58 PTxulp5P.net
どうも。スレ主です。
878:現代数学の系譜11 ガロア理論を読む
15/04/10 23:22:27.04 PTxulp5P.net
>>803-811
ご高説ありがとう
では、問題だ。>>517をお願いします。
本当のゼミで凹まされて育った数学科の猛者さまですか
さぞかし簡単でしょうね（笑い）
879:１３２人目の素数さん
15/04/10 23:39:35.28 OjdOUtND.net
だいたい基礎論持ってくる事態がお門違いというか。トンデモって基礎論大好きだからな
880:現代数学の系譜11 ガロア理論を読む
15/04/11 05:48:25.41 pLE9DoNh.net
どうも。スレ主です。
別に証明しろとは言っていない
「どう思いますか？」と、君の数学的センスを聞いているんだよ（笑い）
881:１３２人目の素数さん
15/04/11 17:11:54.27 osSnm/+q.net
基礎論厨の人の発言が「数学業界では環とか体なんていう超難解な概念が頻出するんだけど」
そしてこのスレ主である。基礎論はなんか真面目にやってても不真面目なのがやっててもアレだなあ。
882:現代数学の系譜11 ガロア理論を読む
15/04/12 19:30:25.15 IFDb2ZM+.net
どう思うと聞いているだけなんだけどね
だが、それに答えると、てめえの数学レベルがばれる
そういう仕掛け
ただそれだけだ
基礎論もくそも
無関係だよ
883:１３２人目の素数さん
15/04/13 03:16:04.52 JBpqW1sO.net
低レベルが激おこかw
まあ、うんこ同士仲良くしろやwww
884:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています