[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net (747ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
203(8): 128 2015/12/06(日)07:29 ID:nAIWzbvn(1/7) AAS
ありゃ。もしかして、これだけでよかったりする？
命題 RのQ上の超越基底Sに対して、√2∈R−Q(S) が成り立つ。特に、Q(S)≠R である。
証明 まず、次が成り立つことに注意する。
Q(S)＝{ g(s_1,…,s_n) / f(s_1,…,s_n)｜n≧1, s_i∈S は全て異なる, f(X_1,…,X_n),g(X_1,…,X_n)∈Q[X_1,…,X_n], f(s_1,…,s_n)≠0 }
(固定されたnと固定された s_1,…,s_n を考えるのではなく、nは正整数全体を動き、s_1,…,s_n も任意に取るという意味)
省3
206(1): 128 2015/12/06(日)09:23 ID:nAIWzbvn(2/7) AAS
>>205
＞card(S)＝c だから、「g(s_1,…,s_n) / f(s_1,…,s_n)」という表記は出来ず、
何いってるんだ。「できる」だろ。直接的に示してもいいし、
wikipediaの「体の拡大」の項目にもある。以下、wikipedia より。
＞一般に、有限とは限らない集合 E を添加するとき、
＞k(E)＝lim_{ →_F } k(F)＝∪_F k(F)
＞となる。ただし、F は包含関係による帰納系と見た E の有限部分集合全体を動く。
省6
210(2): 128 2015/12/06(日)09:39 ID:nAIWzbvn(3/7) AAS
>>208-209
修正したところで何を問題視しているのか意味不明。
>>203のような表記は「できる」。理由は>>206に書いた。
214(2): 128 2015/12/06(日)10:02 ID:nAIWzbvn(4/7) AAS
>>212
言っている内容が意味不明。
なにやらQ[S]を持ち出しているようだが、そのQ[S]は
Q[S]＝{ f(s_1,…,s_n)｜n≧1, s_1,…,s_n∈S, f(X_1,…,X_n)∈Q[X_1,…,X_n] }
と表現できることは理解してる？より誤解がないように書けば
Q[S]＝ ∪[n∈N] { f(s_1,…,s_n)｜s_1,…,s_n∈S, f(X_1,…,X_n)∈Q[X_1,…,X_n] }
こうなるわけだが。あるいは
省2
217(1): 128 2015/12/06(日)10:15 ID:nAIWzbvn(5/7) AAS
>>216
そこまで理解してるくせに>>203の書き方が理解できないことが意味不明。
もしかして、こういうことを言いたいのか？
↓
Q(S) の元αは、一般的には α＝g(r_1,…,r_m) / f(s_1,…,s_n) という形で書くのであり、
分母と分子に出現するSの元は一般的には異なっていて、その個数も一般的には異なっていて、
だから分母には「 s_1,…,s_n 」を使い、分子には「 r_1,…,r_m 」を使う、といった
省2
222(2): 128 2015/12/06(日)10:35 ID:nAIWzbvn(6/7) AAS
>>219
何が言いたいのか全然わからん。もう面倒くさいから証明形式にする。
>>203の書き方ができることを以下で証明する。示すべきは
＞Q(S)＝{ g(s_1,…,s_n) / f(s_1,…,s_n)｜n≧1, s_i∈S は全て異なる, f(X_1,…,X_n),g(X_1,…,X_n)∈Q[X_1,…,X_n], f(s_1,…,s_n)≠0 }
という書き方である。"⊃" は明らかだから、"⊂" のみ示す。
α∈Q(S) を任意に取る。α＝b/a を満たす a,b∈Q[S] が取れる。>>214の
＞Q[S]＝{ f(s_1,…,s_n)｜n≧1, s_1,…,s_n∈S, f(X_1,…,X_n)∈Q[X_1,…,X_n] }
省12
228(1): 128 2015/12/06(日)11:24 ID:nAIWzbvn(7/7) AAS
>>227
まるで会話になっていない。お前は>>203の表現について「できない」とイチャモンをつけていたのであり、
俺はそれに対して「>>203の表現は で き る 」と反論していたのである。>>203の表現が「できる」ことは
もはや明らかであり、証明は>>222で与えた。従って、お前が俺に対して行うことのできるレスは
・ 確かに>>203の表現は可能だった。俺が間違っていた。
の1通りしかない。それ以外のレスは「会話になっていない」。
お前は>>219で唐突に「別の話題」を持ち出し、>>203の表現がどうこうという話をやめてしまった。
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s