現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net (747ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

161(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)06:52 ID:eSmTZwF/(1/25) AAS
>>157-160
どうも。スレ主です。
メンターさんが、ちょっと引いたあと、おっちゃんの証明を読んでくれて、間違いをしてきしてくれていた方だね

みなさん、コテがないので不便だから、”TAさん”とさせてもらおう
私より、数学に詳しそうなので。（私は、自称学部３年くらいかなと思っている）
外部ﾘﾝｸ:ja.wikipedia.org
ティーチングアシスタント (Teaching Assistant)とは、大学などにおいて、担当教員の指示のもと、学生が授業の補助や運用支援を行うこと、あるいはそれを行っている学生のこと。基本的には大学院生が多い。TAとも略される。

163(2): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)07:55 ID:eSmTZwF/(2/25) AAS
>>158
>「 Q(S)＝R 」>>128

ここをちょっと突っ込ませて貰うと

１．まず復習から、普通の学部の代数学では、例えば、Qに√2を添加した拡大体Q(√2)で、代数拡大。
２．Qにπを添加した拡大体Q(π)は、超越拡大。超越基底はπで、超越次数は１
３．そして、両方を添加したQ(√2,π)という拡大体も考えられる。これも、超越基底はπで、超越次数は１
４．「超越基底は常に存在する。とくに、超越拡大 T/k がその超越基底 B によって T = k(B) と表されるならば、拡大は純超越的であるという。」
省12

165: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)08:16 ID:eSmTZwF/(3/25) AAS
>>162
どうも。スレ主です。
ご謙遜でしょう
まあ、おっちゃんの証明を読んでアドバイスできるので、TAさんで

166(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)08:27 ID:eSmTZwF/(4/25) AAS
>>164
おお！良い突っ込みだね
が、その命題には証明が付けられていない

だから、こうしよう。君が、私よりレベルが上ということをまず立証してください＊）
それができれば、君の主張を認めよう（＾＾；

＊）
これは、「人の実力を判定するには、判定者はその人より、実力が上でなければならない」という定理による
省3

168(3): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)08:47 ID:eSmTZwF/(5/25) AAS
>>163 補足

１．Q(S)＝R が成立するということは、任意のQ上の代数的数a∈Aに対して、a=f(s1,s2,・・・） | fはQ係数多項式
　　が成り立つということでは？
２．明らかに、Q(√2,π)>>163では、√2＝f(π）という多項式は存在しない ∵両辺を自乗すれば、2＝f(π）^2となって、πが超越数に反する
３．だから、超越次数が有限なら、純超越的かそうでないかの二択しかない
４．超越次数が無限なら？よく分かりません。が、「超越基底 B の濃度はその取り方によらず一定であることが証明できる」という
　外部ﾘﾝｸ:ja.wikipedia.org 体の拡大
省2

169: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)08:50 ID:eSmTZwF/(6/25) AAS
>>167
線形代数は、復習の必要は認める（＾＾；
が、昔大学でやったからね～（＾＾；

まあ、２１世紀の線形代数はレベルアップしているかも知れないが
ベクトルと行列程度なら

170(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)09:02 ID:eSmTZwF/(7/25) AAS
AA省

171: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)09:06 ID:eSmTZwF/(8/25) AAS
>>155で「おまいら、試されているんじゃないのか？」と言った

私スレ主は、>>128には、すんなり納得できない部分があるんだよね
これが、数学的にきちんと説明ないし証明できるなら、私よりレベル上と認定します！！（＾＾；
では

177: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)16:57 ID:eSmTZwF/(9/25) AAS
>>175
どうも。スレ主です。

”立証は、このスレの流れの中で、何か数学的に気の利いたことを書いてくれ。”>>166に対して、そのカキコか
はい、判定！ ID:RQGyOTCwの数学レベルは、完全にスレ主より下だ。だって、数学的に無価値のカキコだもん

「他スレでも>>1がアホ扱いされててﾜﾛﾀ」？　そいつは、おれと同類だよ。アホの一人だ
証明なしで他人（アホ）の言説を受け入れた時点で、君の数学レベルは見えた！（＾＾；

178: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)17:50 ID:eSmTZwF/(10/25) AAS
>>174
どうも。スレ主です。メンターさん、ありがとう

>>176
どうも。スレ主です。
TAさんの”、測度の等式のつもりだった”>>172が正解だったってことだね

179(2): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)17:59 ID:eSmTZwF/(11/25) AAS
>>174
定理 (Steinhaus theorem)　か、和文では適当な文献を見つけることができなかったな
で、英文外部ﾘﾝｸ:en.wikipedia.org
Statement
Let A be a Lebesgue-measurable set on the real line such that the Lebesgue measure of A is not zero. Then the difference set
A-A={a-b | a,b∈ A } ,
contains an open neighbourhood of the origin.
省3

180(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)18:11 ID:eSmTZwF/(12/25) AAS
>>179 つづき
ここは初学者も来るので、正確に書くと

>>174
・ K⊂R は体とする。このとき、「 Kはルベーグ非可測」「 Kはゼロ集合」「 K＝R 」のいずれかが成り立つ。
　 ↓
・ K⊂R は体とする。このとき、「 Kはルベーグ非可測」、Kが可測で「 Kはゼロ集合」「 m(K)＝m(R) 」(mは可測関数)のいずれかが成り立つ。

>>128
省4

182(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)18:20 ID:eSmTZwF/(13/25) AAS
>>174 つづき
>よって、(－ε,ε) ⊂ Q(S) である。Q(S)は体だから、Q(S)＝R となることが簡単に示せる。
>というわけで、実はQ(S)だけでなく、一般の体でも同じことが言える。

英文外部ﾘﾝｸ:en.wikipedia.org で、
”Consequence
A consequence is, that any measurable proper subgroup of (R,+) is of measure zero.”がそれに相当するのか・・・

最初、この英文を読んだときには、意味が分からなかったが、メンターさんの証明で意味が分かった
省1

183: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)18:22 ID:eSmTZwF/(14/25) AAS
>>181
どうも。スレ主です。
メンターさん、ありがとう
なるほど、その点は後で

184(2): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)18:37 ID:eSmTZwF/(15/25) AAS
>>181
>「 Q(S)＝R 」はそのまま「 Q(S)＝R 」の意味であって、
>「 m(Q(S))＝m(R) 」などという意味ではない。
>(－ε,ε) ⊂ Q(S) が言えた時点で即座に Q(S)＝R が従う。Q(S) は体だから。

ここを少し深掘りする

１．>>163 >>168で書いたように、普通の教科書の拡大体の理論では、代数拡大があって、次に超越拡大という順で教える
２．で、超越次数が有限なら、純超越的かそうでないかの二択しかない。つまり、「Q(√2,π)は純超越的ではない」といえる
省3

188(2): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)19:48 ID:eSmTZwF/(16/25) AAS
>>185-187
どうも。スレ主です。
メンターさん、TAさん、どうもコメントありがとう

私の理解も全く同じです
”Q(S)=Rの必要十分条件は、
・Q上の超越数がすべて代数的独立で、かつ
・Q(S)が体の演算によりQ上の代数的数をすべて生成する”
省1

190(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)20:06 ID:eSmTZwF/(17/25) AAS
>>188 つづき

そんなこと＊）とは

１．Q上の超越数がすべて代数的独立だから、ある有限の組み合わせ{s1,s2,・・・sn}⊂Sで、例えば√2=f(s1,s2,・・・sn)と代数的に実現できたとすれば
　　f(s1,s2,・・・sn)は、Q係数の多項式で、２＝f(s1,s2,・・・sn)^2となって、{s1,s2,・・・sn}が代数的独立に反するから（>>168の２に同じ）
２．だから、超越基底の無限個の組み合わせを考える必要がある
３．かつ、それは√2のみならず、すべての代数的な無理数すべてで実現できなければならない

正直よく分からないが、簡単に実現できる話でもないような気がする
省4

191(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)20:56 ID:eSmTZwF/(18/25) AAS
>>189
どうも。スレ主です。
TAさん、コメントありがとう

「不自然な感じがするよね」に同意

>>190に書いたが、”Q(S)＝R”は実現困難かと思う
というか、”超越基底Sの要素からなるQ係数多項式（それは超越基底の無限個を組合せを要する）”を許容するのか・・・

「超越基底の無限個を組合せて、代数的な無理数を実現する」まで許すと、従来考えている体の拡大の範囲を逸脱するような気がするんだが・・・

192: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)21:14 ID:eSmTZwF/(19/25) AAS
>>182 ここに戻る

ここは初学者も来るので

英文外部ﾘﾝｸ:en.wikipedia.org で、
”Consequence
A consequence is, that any measurable proper subgroup of (R,+) is of measure zero.”

”proper subgroup ”は分かるよね
だから、これと>>128の定理4　RのQ上の超越基底Sに対して、「Q(S)はルベーグ非可測」「Q(S)はゼロ集合」「 Q(S)＝R 」のいずれかが成り立つ。
省1

194(2): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)21:27 ID:eSmTZwF/(20/25) AAS
>>76&>>78-79 ここに戻る

ここは初心者も来ると思うので、整理しておきたい

>代数的数全体の体Q~ から複素数体Cへの（超越）拡大を考えると、Q~（S）＝Cとなる

これはご納得頂けましたか
Q(S)＝Rも可能性ありと認めたら、Q~（S）＝Cも認めるだろ？

195: 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)21:33 ID:eSmTZwF/(21/25) AAS
>>193
有理式ならOKだが、それは多項式に直せるよ
分母の式を両辺に掛ければ良い

>級数を許してしまうといろんなものが有理数で表されてしまうよね。

そうだよね。同意だ
だから、Q(S)＝Rは実現不可能という気がする

197(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)21:35 ID:eSmTZwF/(22/25) AAS
>>194

ところで、『超越基底ならばゼロ集合』に対するアプローチは、どんなだったの？
簡単に開示してもえると勉強になると思う

199(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)21:49 ID:eSmTZwF/(23/25) AAS
>>120 ここに戻る
>基本的には、非可算な対象を可算個の任意に小さい区間では覆えないよ。

前スレ、261以下267まで、第二可算公理などをご参照。可能です

現代数学の系譜11 ガロア理論を読む16 [転載禁止](c)2ch.net
2chｽﾚ:math
261 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2015/11/01(日) 16:59:07.49 ID:KxTJyOv3

＜キーワード：位相可算公理＞
省10

201(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)22:04 ID:eSmTZwF/(24/25) AAS
>>198
TAさん、どうも。スレ主です。
さっそくのレスありがとう

シュタインハウスの定理ね
メンターさんが使ったSteinhaus theorem>>174 >>179だね

”補題2：任意のハメル基底Hは正のルベーグ測度をもつ部分集合をもたない。”、”補題2は有名”か・・・
そう言われれば、それを聞いたことがある気もするが、浮かばなかったね・・・（＾＾；

202(1): 現代数学の系譜11 ガロア理論を読む 2015/12/05(土)22:08 ID:eSmTZwF/(25/25) AAS
>>200
TAさん、どうも。スレ主です。
さっそくのレスありがとう

まあ、ここは初心者も来ると思うので、”基本的には、非可算な対象を可算個の任意に小さい区間では覆えないよ。”が一人歩きするとまずいから、第二可算公理と併読して貰う必要ありという趣旨です

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.087s