15/04/05 11:07:57.88 5o4dQmCs.net
せっかくの出題>>417だったから、あとwell-definedについてまとめておこう
１）どなたかが書いてくれたが>>543「well-defined ほど重要な概念は無いと言っても過言ではない。」
「複雑な対象ほど、そのままでは扱えないので、何らかの同値類を取って簡略化した対象にしてから扱うことになる。」と
２）それが、商集合という概念
>>566酒井克郎 筑波大学 URLﾘﾝｸ(docs.google.com)
「商集合の扱いになれ, well-definedness に対する認識を持てるようになることも大切」
「何かを定義をする場合, “その定義には矛盾がなく適切か”, 言い換えれば, “矛盾無く適切に定義できているか” が問題となることが多い.
“矛盾無く適切に定義できている” ということを“well-defined” であるという.」
「考えている集合が商集合の場合, ある概念を定義するとき, 商集合の元ではなく, その代表元を用いて定義することが少なくない.
この場合の“well-defined” の問題は, “代表元の取り方に依存せずに定義できているかどうか” ということである.」
３）ご存知雪江明彦先生>>550 URLﾘﾝｸ(www.math.tohoku.ac.jp)
862:ort4.pdf 「代数では『well-defined』ということがなかなかわかってもらえず苦労するが，この問題はまさに『well-defined』とはどういうことかということを問う問題. 採点してみて，大部分の人がまだ『well-defined』という概念を理解していないことがわかった.」
863:現代数学の系譜11 ガロア理論を読む
15/04/05 11:28:27.28 5o4dQmCs.net
>>795 つづき
４）well-defined
URLﾘﾝｸ(ja.wikipedia.org) >>423 抜粋
well-defined は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。
以下の二つが示せたとき、定義が well-defined であるという[1]。
(1) 定義で使われる方法が実際にうまくいく。
(2) 定義がもともとの対象から複数定まる対象を経由して行われる場合、結果がもともとの対象にのみ依存する。
URLﾘﾝｸ(en.wikipedia.org)
In mathematics, an expression is well-defined if it is unambiguous and its objects are independent of their representation. More simply, it means that a mathematical statement is sensible and definite.
In particular, a function is well-defined if it gives the same result when the form (the way in which it is presented) is changed but the value of an input is not changed.
５）あと、同値関係と商集合
URLﾘﾝｸ(ja.wikipedia.org)
同値関係（どうちかんけい、英: equivalence relation）とは、2 つの対象が "ある意味で" 同じである、あるいは同一視できるという関係を一般化した概念である。
ある集合 S において、二項関係 ～ が次の性質を満たすとき、～ は S の同値関係であるという。
反射律: a ～ a
対称律: a ～ b → b ～ a
推移律: a ～ b ∧ b ～ c → a ～ c
上の3項をまとめて同値律という。～ が同値関係であるとき、a ～ b であることを、a と b は同値であると言い表す。
（商集合の説明があるが、省略します。直接URLを開いてください）
864:現代数学の系譜11 ガロア理論を読む
15/04/05 11:38:28.13 5o4dQmCs.net
>>798 つづき
あと、商集合が定義されたあと、当然ながら演算を定義するんだよね
演算を定義しないと、おもしろくないから（笑い）
そのときに、演算に対してもwell-definedが問題になる
この話は、また機会があればやりたいね
ともかく、>>549
"（コメント） 初めて「Ｗｅｌｌ Ｄｅｆｉｎｅｄ」に接したときは、「当たり前のことを、何でそんなに仰
々しく述べるの？」という感じだったが、その真意が分かるにつれ、重要性も理解
され当たり前のように「Ｗｅｌｌ Ｄｅｆｉｎｅｄ」を確認している自分に気がつく。"
"「定義」を見たとき、その定義がwell-definedであるかどうかを気にできるようになったらかなりの上級者である。"
だそうだ（＾＾
865:１３２人目の素数さん
15/04/05 12:04:53.04 jwP/UdlD.net
出題者です。
>>792>>793は出題者は別人です。
＞「gNg^(-1) ⊂ N (∀g∈G)」を仮定し、a∈Nとする。仮定よりg^-1ag∈N
＞以下で” N⊂gNg^(-1) (∀g∈G)”を示す
＞a=g(g^-1ag)g^-1∈g・N・g^-1 よって、N⊂g・N・g^-1
＞
＞ゆえに、N=g・N・g^-1 QED
はい、よくできました。
>>686はなんかそれっぽいことが書いてあるなーと思ったけど
＞また、g^-1(gng^-1)g→nの形から
が意味不明だったし、もう面倒で>>721で終わらせるつもりだったからスルーした。すまない。
数学的説明をせずに本質がどうのうこうの言ってるだけじゃ何も伝わらない。
まずはきちんと数学的な説明を書いて納得させないと。
逆の立場だったらそうだろう？
866:１３２人目の素数さん
15/04/05 12:12:17.84 jwP/UdlD.net
>>722>>723は別人だけど、意見は同じ。
帰納法を使っても無限群に対しては証明できない。
「無限個ある自然数全てに対してP(n) が成り立つ」と自分でも書いてるじゃないか。
∞は自然数でないので対象外。
そもそも帰納法ってのは、
・最小元で成り立つ
・ある元 a に対し、a より小さい全ての元で成り立つなら、a でも成り立つ。
という形の証明だけど、そんな行為一度だってしてない。
「難しく考えすぎ」ってスレ主が帰納法なんて関係ないことを書いたせいだろう。
ちなみに>>725も俺じゃない。ID見れば分かるけど、あなたが貶していたID:/kdxB2Ufさんだよ。
867:１３２人目の素数さん
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) が成り立つ」
＞ （超限帰納法も、ことは単純で、公理系の問題だよ。選択公理と同値な整列可能定理により・・とすれば良いだけ）
868:１３２人目の素数さん
15/04/05 13:14:18.60 CBD9FLtF.net
>>800
自然数の場合の帰納法、整列性の概念すらちゃんと分かってないやつに出来るわけないだろw
869:現代数学の系譜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板)
870:１３２人目の素数さん
15/04/07 12:29:50.69 Z+g58olw.net
本格的にトンデモに育ってきたなw
871:１３２人目の素数さん
15/04/07 12:34:21.90 Z+g58olw.net
本当のゼミで凹まされて育った数学科の猛者から見たら笑止千万すぎるもんな威張りながら教わろうとはｗ
872:１３２人目の素数さん
15/04/07 13:44:50.66 NwxyNtnn.net
何を言う。
スレ主は王道を行っとる。
金払って威張り散らす腐れ教員に頭を下げるなど以ての外。
金払をもらったのならその分働け。
分かるように学生様に分かりやすく説明しろ。
教えたく無いなら、教える必要のない研究職につけ怠け教員。
873:１３２人目の素数さん
15/04/09 03:29:10.96 nTN786wm.net
国公立の学生は国民納税者に学費を税金経由でたかって学問収めさせてもらってる乞食なのだから国民納税者にひざまずけ
874:１３２人目の素数さん
15/04/09 19:03:28.26 K8KMCiFa.net
べき根で表せない解って具体的にどんな形をしてるの？
三角関数がうにょうにょした感じってイメージであってる？
875:１３２人目の素数さん
15/04/09 19:16:05.14 sC/9Vs45.net
それは超越解では
876:１３２人目の素数さん
15/04/09 23:20:27.82 +fXi7TzJ.net
テータ函数使えば，任意の代数方程式の解は書けるから
「三角関数がうにょうにょした感じ」でイメージはあってるなｗ
877:１３２人目の素数さん
2015/04/10(�
878:�) 06:30:24.58 ID:8XLHEbVF.net
879:１３２人目の素数さん
15/04/10 08:43:13.70 OjdOUtND.net
幼稚園にも上がれない大きな赤ん坊がスレを立ててるのを見るとなあw
880:現代数学の系譜11 ガロア理論を読む
15/04/10 23:19:06.58 PTxulp5P.net
どうも。スレ主です。
881:現代数学の系譜11 ガロア理論を読む
15/04/10 23:22:27.04 PTxulp5P.net
>>803-811
ご高説ありがとう
では、問題だ。>>517をお願いします。
本当のゼミで凹まされて育った数学科の猛者さまですか
さぞかし簡単でしょうね（笑い）
882:１３２人目の素数さん
15/04/10 23:39:35.28 OjdOUtND.net
だいたい基礎論持ってくる事態がお門違いというか。トンデモって基礎論大好きだからな
883:現代数学の系譜11 ガロア理論を読む
15/04/11 05:48:25.41 pLE9DoNh.net
どうも。スレ主です。
別に証明しろとは言っていない
「どう思いますか？」と、君の数学的センスを聞いているんだよ（笑い）
884:１３２人目の素数さん
15/04/11 17:11:54.27 osSnm/+q.net
基礎論厨の人の発言が「数学業界では環とか体なんていう超難解な概念が頻出するんだけど」
そしてこのスレ主である。基礎論はなんか真面目にやってても不真面目なのがやっててもアレだなあ。
885:現代数学の系譜11 ガロア理論を読む
15/04/12 19:30:25.15 IFDb2ZM+.net
どう思うと聞いているだけなんだけどね
だが、それに答えると、てめえの数学レベルがばれる
そういう仕掛け
ただそれだけだ
基礎論もくそも
無関係だよ
886:１３２人目の素数さん
15/04/13 03:16:04.52 JBpqW1sO.net
低レベルが激おこかw
まあ、うんこ同士仲良くしろやwww
887:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています