ガロア第一論文と乗数イデアル他関連資料スレ13

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次 1-新

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

369: １３２人目の素数さん [] 02/08(土)11:24 ID:j9+iidv9(2/9)
>>358
>”数学での抽象化と具体化の行き来”が出来ないと、オチコボレさんだわ
　そもそも論理が判ってなくて、証明が読めない◆yH25M02vWFhPこそ、正真正銘のオチコボレ

370: １３２人目の素数さん [] 02/08(土)11:29 ID:j9+iidv9(3/9)
>>361
>数学科 1〜2年で詰んでしまって、オチコボレさんのおサル
>大学学部数学の”抽象論から→具体的対象に落とし当て嵌める”
>そして、抽象論に戻って、理解を深める
>このサイクルが弱い
>抽象論から→抽象論で終わってしまって、上滑りだった

実数・極限・コーシー列の定義と線形空間・線形写像・線形独立の定義で
「抽象的でワケワカラン」と匙なげて落ちこぼれた具体馬鹿は
具体物の小数と行列の計算のサル芸でこき使われる会社の奴隷となり果てる

371: １３２人目の素数さん [] 02/08(土)11:32 ID:j9+iidv9(4/9)
>>363
◆yH25M02vWFhPは、大学１年の実数と線形空間・線形写像が理解できず
「工学部は小数計算と行列計算できればOK」と開き直る具体馬鹿になり果てた

小数　　　と　有理コーシー列の同値類
ベクトル　と　線形空間の元
行列　　　と　線形写像

この関係が判らん馬鹿が大学１、２年の数学で落ちこぼれて社奴に成り下がる

372: １３２人目の素数さん [] 02/08(土)11:35 ID:j9+iidv9(5/9)
>>367
＞アホなおサルと10分議論をする暇があったら
＞en.wikipedia Ordinal number を、3分黙読する方が、よほど有益だわ

わけもわからず数学のテキストを黙読するより
述語論理の初歩から勉強しなおしたほうが
オチコボレの貴様にはよほど有益

なぜ、地獄からの抜け道を教えてやってるのに、そこを通らない？ｗ

373: １３２人目の素数さん [] 02/08(土)11:41 ID:j9+iidv9(6/9)
ｎ次元の実線形空間は、ｎ次元の実数ベクトル空間と同型
そして線形写像も、基礎体の行列として表せる

ｎ次元空間からそれ自身への線形写像が同型写像となるかどうかは
行列が正則かどうかと同じ　そして後者は行列の行ベクトルの線形独立性に帰着でき
基本変形による階段化の段数で判別できる

この理屈を知らなくてもただ計算方法を暗記すれば見た目上同じことはできるが
ただなぜそれでいいのか理解してないから結局理論を構築できない
理論を作れるのがヒト　理論にこきつかわれるのがサル

374(1): １３２人目の素数さん [] 02/08(土)11:45 ID:j9+iidv9(7/9)
工学部が大学ではなく職業訓練のための専門学校だといわれるのは
そこの学生が論理を理解せずただ方法のみを習得することしか頭にないから

◆yH25M02vWFhPがいい例

数学＝方程式の解法、と誤解し、
ガロア理論が代数方程式の万能解法をもたらすと誤解して
テキストをなめまわすもそんな記述がどこにもなくいら立ちまくる

工学部のたいていの奴らの「勉強」はすべてそんな感じ
彼らは知識を盗む以外のことは知らないサル

375: １３２人目の素数さん [] 02/08(土)11:47 ID:j9+iidv9(8/9)
>>374
もちろん、工学部の学生の中にも例外はいる
また、理学部数学科の学生のすべてが
ヒトの知恵を有するというつもりもない

ただ、
工学部ではヒトであることを求められないし
理学部数学科ではヒトでなければ存在が認められない

376(3): 現代数学の系譜雑談 ◆yH25M02vWFhP [] 02/08(土)13:02 ID:23ITt7NX(4/8)
>>358 戻る
(引用開始)
>なお、おサルさん>>7-10は
>存在を示す選択公理（選択関数）のポジティブな面を見ようとせず
>ネガティブな面のみを強調するが、それ自分の数学レベルの低さを自白しているに等しい
好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい
(引用終り)

『抽象的な選択関数を使って
　具体的な対象を構成する』
好きなだけ、可能な範囲でね
2025年の人類の数学の能力で不可能な場合は、別としてね

具体例で論じよう
下記ヴィタリ集合を取り上げる

ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
構成と証明
有理数体 Q は実数体 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある r ∈ R についての Q + r として書ける
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる
このようにして作られた集合がヴィタリ集合と呼ばれているものである
すなわち、ヴィタリ集合 V は [0, 1] の部分集合で、各 r ∈ R に対して v − r が有理数になるような一意的な v を要素に持つものであるヴィタリ集合 V は不可算であり、
u,v∈V,u≠v
であれば v − u は必ず無理数である
ヴィタリ集合は非可測である
これを示すために V が可測だったとして矛盾を導く。q1, q2, ... を [−1, 1] の有理数の数え上げとする(有理数集合は可算なのでこれは可能)。V の構成から、平行移動による集合
Vk=V+qk={v+qk:v∈V}, k = 1, 2, ... はそれぞれ互いに交わらない
さらに、
[0,1]⫅⨄kVk⫅[−1,2] である。ここで、ルベーグ測度のσ-加法性を使うと:
1≦?k=1∞λ(Vk)≦3.
である。ルベーグ測度は平行移動について不変なので
λ(Vk)=λ(V) である
ゆえに、
1≦?k=1∞λ(V)≦3.
であるが、これは不可能である
一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない
すなわち V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]
(引用終り)

つづく

377(1): 現代数学の系譜雑談 ◆yH25M02vWFhP [] 02/08(土)13:03 ID:23ITt7NX(5/8)
つづき

1）ここでの肝は、”平行移動”、特に有理数 q∈Q による平行移動は、無理数性を崩さないということ
　つまりある無理数s で、s±q が無理数であることが使える
2）いま、上記のように区間[0, 1]に、 R/Q の代表系になっているものが取れることを認めよう
　このヴィタリ集合 Vを、 V[0,1]と記す
　これを、半開区間[0, 1/2)と (1/2,1]に分けて、
　(1/2,1]に存在する代表系 vi∈(1/2,1] たちを、-1/2だけ動かすつまり vi-1/2 とする
　そうすると、 V[0,1]→V[0,1/2] のように、存在区間を半分にできる
3）これを繰り返すと、V[0,1]→V[0,1/2^n] ε=1/2^n とできる（任意に小さい区間に制限できる）
4）さらに、”平行移動”、q'∈Q を使って
　V[0,1]→V[q',q'+ε] とできる
5）まとめると、ヴィタリ集合 V [0, 1]は、 V[q',q'+ε] に移動できて
　それは即ち、開始位置が任意q'、区間長さ任意ε にできる（なお ε＞1 の証明は無いが、思いつくであろう by ガロア；ｐ）

　それは、もともとのこの場合の選択公理・選択関数が有する自由度によると、解せられる■
以上

378: １３２人目の素数さん [] 02/08(土)13:13 ID:On5L4hhG(6/9)
>>376
>下記ヴィタリ集合を取り上げる
無意味。
何を取り上げたところで「好きな順番で整列できる」、「aαでfを定義できる」が正しくなることはないから。

379: １３２人目の素数さん [] 02/08(土)13:23 ID:On5L4hhG(7/9)
実際おサルさんは実数の具体的整列順序を示せなかった。
できるできる詐欺はやめましょうね。

380: １３２人目の素数さん [] 02/08(土)14:18 ID:i8Inzp5Z(1)
◆yH25M02vWFhP はもうここに書くな
全然面白くない

381: １３２人目の素数さん [sage] 02/08(土)18:45 ID:iiXCTM2g(1)
このスレ終了

382(1): 現代数学の系譜雑談 ◆yH25M02vWFhP [] 02/08(土)20:58 ID:23ITt7NX(6/8)
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”)

>>376-377

・さて、このヴィタリ集合 Vについて、一つの議論（一つの論文）の中では
　ヴィタリ集合 Vを ”固定”することは当然だが
・しかし、一つの議論（一つの論文）の中で固定したヴィタリ集合 Vを
　その一つの議論（一つの論文）の外に出すことはできない！
・∵ 一つの議論（一つの論文）の中で固定したヴィタリ集合 V について
　キチンとしたなんらかの具体的記述ができない限りあるＡさんの論文のヴィタリ集合 Vと
　別のＢさんの論文のヴィタリ集合 V’が同一かどうか？
　チェックのしようがないではないか？！！ｗｗ；ｐ）

”固定” やぶれたり〜〜！！！ｗｗｗ；ｐ）

383(1): １３２人目の素数さん [] 02/08(土)21:08 ID:On5L4hhG(8/9)
未だに存在例化を理解できないおサルさん

384(1): １３２人目の素数さん [] 02/08(土)21:09 ID:j9+iidv9(9/9)
>>382
マジつまんね
大学１年の数学で落ちこぼれた高卒馬鹿の
◆yH25M02vWFhPはここに書くな

385(2): 現代数学の系譜雑談 ◆yH25M02vWFhP [] 02/08(土)22:00 ID:23ITt7NX(7/8)
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”)

>>383-384

あほ二人
ダブスタも良いところだな

選択公理、選択関数で、具体的に記述できない
即ち、選択公理、選択関数の”固定”と唱えたところで
具体的に記述できないならば
その一つの議論（一つの論文）の外に出すことはできない！

あほもここに極まれりだな！！ｗｗｗ；ｐ）

386(1): １３２人目の素数さん [] 02/08(土)22:16 ID:On5L4hhG(9/9)
>>385
>ダブスタも良いところだな
何がダブスタと？

>あほもここに極まれりだな！！ｗｗｗ；ｐ）
いや本当のアホは、選択関数f:R^N/〜→R^Nが存在さえすれば確率1-ε以上で勝てることを理解できないおサルさんだよ

387(6): 現代数学の系譜雑談 ◆yH25M02vWFhP [] 02/08(土)23:30 ID:23ITt7NX(8/8)
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”)

>>376 つづき

さて、上記のヴィタリ集合加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群)
で、Q→U ( 10進の有限小数環（有限小数の"U"ね）) を考える

Uが、環を成すことは u1,u2 ∈U で、u1,u2 の和と積が集合Uに属することから明らか
当然Uは、U⊂Q で可算。Qは無限小数の循環小数を含むが、Uはあくまで有限小数のみ
よって、Q/Uは Qの無限小数の循環パターンを分類する（なお、無理数が循環少数パターンにならないことは、自明）

R/Uは、当然非可算濃度で、R/Qより多少細かい分類になる
超越数が非可算で代数的数が可算であることから、
R/Uの代表は、一般的には、
ある超越数τ と有限小数u ∈U との組合せで
τ+u の形に書ける

あとは、後日
請うご期待（＾＾

(参考)
www.ma.huji.ac.il/hart/
Sergiu Hart
www.ma.huji.ac.il/hart/#puzzle
Some nice puzzles:
www.ma.huji.ac.il/hart/puzzle/choice.pdf
Choice Games November 4, 2013
P2
game2:
・Player 1 chooses a rational number in the interval [0,1] and writes down its infinite decimal expansion3 0.x1x2...xn..., with all xn ∈ {0,1,...,9}.

Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.

388: １３２人目の素数さん [] 02/08(土)23:52 ID:XhZVOVZD(1)
>>387
>When the number of boxes is finite
箱入り無数目はinfiniteだから的外れ

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

あと 614 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.023s