[過去ﾛｸﾞ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
373: １３２人目の素数さん [] 2025/02/08(土) 11:41:37.17 ID:j9+iidv9 ｎ次元の実線形空間は、ｎ次元の実数ベクトル空間と同型 そして線形写像も、基礎体の行列として表せる ｎ次元空間からそれ自身への線形写像が同型写像となるかどうかは 行列が正則かどうかと同じ そして後者は行列の行ベクトルの線形独立性に帰着でき 基本変形による階段化の段数で判別できる この理屈を知らなくてもただ計算方法を暗記すれば見た目上同じことはできるが ただなぜそれでいいのか理解してないから結局理論を構築できない 理論を作れるのがヒト 理論にこきつ
かわれるのがサル http://rio2016.5ch.net/test/read.cgi/math/1738367013/373
374: １３２人目の素数さん [] 2025/02/08(土) 11:45:28.45 ID:j9+iidv9 工学部が大学ではなく職業訓練のための専門学校だといわれるのは そこの学生が論理を理解せずただ方法のみを習得することしか頭にないから ◆yH25M02vWFhPがいい例 数学＝方程式の解法、と誤解し、 ガロア理論が代数方程式の万能解法をもたらすと誤解して テキストをなめまわすもそんな記述がどこにもなくいら立ちまくる 工学部のたいていの奴らの「勉強」はすべてそんな感じ 彼らは知識を盗む以外のことは知らないサル http://rio2016.5ch.net/test/read.cgi/math/1738367
013/374
375: １３２人目の素数さん [] 2025/02/08(土) 11:47:34.17 ID:j9+iidv9 >>374 もちろん、工学部の学生の中にも例外はいる また、理学部数学科の学生のすべてが ヒトの知恵を有するというつもりもない ただ、 工学部ではヒトであることを求められないし 理学部数学科ではヒトでなければ存在が認められない http://rio2016.5ch.net/test/read.cgi/math/1738367013/375
376: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 13:02:49.91 ID:23ITt7NX >>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] (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/376
377: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 13:03:11.85 ID:23ITt7NX つづき 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 ガロア ；ｐ） それは、もともとの この場合の 選択公理・選択関数が有する自由度によると、解せられる■ 以上 http://rio2016
.5ch.net/test/read.cgi/math/1738367013/377
378: １３２人目の素数さん [] 2025/02/08(土) 13:13:25.56 ID:On5L4hhG >>376 >下記 ヴィタリ集合を取り上げる 無意味。 何を取り上げたところで「好きな順番で整列できる」、「aαでfを定義できる」が正しくなることはないから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/378
379: １３２人目の素数さん [] 2025/02/08(土) 13:23:11.43 ID:On5L4hhG 実際おサルさんは実数の具体的整列順序を示せなかった。 できるできる詐欺はやめましょうね。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/379
380: １３２人目の素数さん [] 2025/02/08(土) 14:18:11.47 ID:i8Inzp5Z ◆yH25M02vWFhP はもうここに書くな 全然面白くない http://rio2016.5ch.net/test/read.cgi/math/1738367013/380
381: １３２人目の素数さん [sage] 2025/02/08(土) 18:45:40.03 ID:iiXCTM2g このスレ終了 http://rio2016.5ch.net/test/read.cgi/math/1738367013/381
382: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 20:58:34.19 ID:23ITt7NX ＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”) >>376-377 ・さて、このヴィタリ集合 Vについて、一つの議論（一つの論文）の中では ヴィタリ集合 Vを ”固定”することは当然だが ・しかし、一つの議論（一つの論文）の中で 固定した ヴィタリ集合 Vを その一つの議論（一つの論文）の外に出すこと
はできない！ ・∵ 一つの議論（一つの論文）の中で固定した ヴィタリ集合 V について キチンとした なんらかの具体的記述ができない限り あるＡさんの論文の ヴィタリ集合 Vと 別のＢさんの論文の ヴィタリ集合 V’が同一かどうか？ チェックのしようがないではないか？！！ｗｗ ；ｐ） ”固定” やぶれたり〜〜！！！ｗｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/382
383: １３２人目の素数さん [] 2025/02/08(土) 21:08:08.21 ID:On5L4hhG 未だに存在例化を理解できないおサルさん http://rio2016.5ch.net/test/read.cgi/math/1738367013/383
384: １３２人目の素数さん [] 2025/02/08(土) 21:09:10.47 ID:j9+iidv9 >>382 マジつまんね 大学１年の数学で落ちこぼれた高卒馬鹿の ◆yH25M02vWFhPはここに書くな http://rio2016.5ch.net/test/read.cgi/math/1738367013/384
385: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 22:00:44.49 ID:23ITt7NX ＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”) >>383-384 あほ二人 ダブスタも良いところだな 選択公理、選択関数で、具体的に記述できない 即ち、選択公理、選択関数の”固定”と 唱えたところで 具体的に記述できないならば その一つの議論（一つの論文）の外に出すことはできない！ あほも ここに
極まれり だな！！ｗｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/385
386: １３２人目の素数さん [] 2025/02/08(土) 22:16:52.75 ID:On5L4hhG >>385 >ダブスタも良いところだな 何がダブスタと？ >あほも ここに 極まれり だな！！ｗｗｗ ；ｐ） いや本当のアホは、選択関数f:R^N/〜→R^Nが存在さえすれば確率1-ε以上で勝てることを理解できないおサルさんだよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/386
387: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 23:30:23.67 ID:23ITt7NX ＜公開処刑 続く＞ （『 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 Som
e 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. http://rio2016.5ch.net/test/read.cg
i/math/1738367013/387
388: １３２人目の素数さん [] 2025/02/08(土) 23:52:03.00 ID:XhZVOVZD >>387 >When the number of boxes is finite 箱入り無数目はinfiniteだから的外れ http://rio2016.5ch.net/test/read.cgi/math/1738367013/388
389: １３２人目の素数さん [] 2025/02/09(日) 06:15:10.33 ID:KVhWlXEd >>385 > 具体的に記述できない、 > 具体的に記述できないならば > 議論の外に出すことはできない！ 数学の論理が判らん幼稚園児が駄々こねる ああ、つまらん http://rio2016.5ch.net/test/read.cgi/math/1738367013/389
390: １３２人目の素数さん [] 2025/02/09(日) 06:17:38.27 ID:KVhWlXEd >>386 > 本当のアホは、 > 選択関数f:R^N/〜→R^Nが存在さえすれば > 確率1-ε以上で勝てることを理解できない > おサル つまり、大学数学がわからんサル 勝てる戦略がないなら、選択公理が成り立たない ということも理解できない http://rio2016.5ch.net/test/read.cgi/math/1738367013/390
391: １３２人目の素数さん [] 2025/02/09(日) 06:23:37.86 ID:KVhWlXEd >>387 > 10進の有限小数環 ギャハハハハハハ！！！ 10の有限小数は環をなさねえよ！ やっぱ正方行列の群とかいっちゃう🏇🦌だけのことはあるな > Uが、環を成すことは u1,u2 ∈U で、u1,u2 の和と積が 集合Uに属することから明らか 群の公理も環の公理もわかってない それじゃ全然足んねぇよ なお、387の議論自体は問題なく成立する つまり「環」という言葉が余計ｗ http://rio2016.5ch.net/test/read.cgi/math/1738367013/391
392: １３２人目の素数さん [] 2025/02/09(日) 06:34:12.42 ID:bOyjY4Ig >10の有限小数は環をなさねえよ！ わからない むずかしい http://rio2016.5ch.net/test/read.cgi/math/1738367013/392
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 610 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s