24/07/02 06:10:28.11 u29MsJrx.net
理学部数学科と工学部で教えたことがある西野利雄氏には、
数学科と工学部とで数学の学習法が異なることは分かるであろう
336:１３２人目の素数さん
24/07/02 06:22:39.78 9ShzXnrk.net
とはいえ
数学者の教員がいなくなれば
工学部の数学教育は破綻する
337:１３２人目の素数さん
24/07/02 06:29:43.98 u29MsJrx.net
>>311
それはそうだけど
338:１３２人目の素数さん
24/07/02 06:41:27.71 9ShzXnrk.net
数学なしでは廃炉は不可能だろう
339:１３２人目の素数さん
24/07/02 06:52:39.15 1lz8bMEJ.net
>>301-303
いっちゃん わかりもしない４次元トポロジーのコピペでイキリまくる
これが大学１年の微積と線形代数落ちこぼれた数学敗者か・・・哀れだな
340:１３２人目の素数さん
24/07/02 06:56:18.77 1lz8bMEJ.net
>>304
いっちゃんみたいに、納得レベルがそもそも浅い人がいるのよ
なんかすぐわかった気になっちゃうっていうか
誤魔化してる自覚もないみたい だからたちが悪いんだけどね
>>305
いっちゃんはなんか語れると分かったと思うみたい
文系脳？いやいや文系の学問だってそんなのダメよ
無系だね 大学生失格者 まあ日本の大卒の９割はそうだけどね
341:１３２人目の素数さん
24/07/02 06:59:32.69 1lz8bMEJ.net
>>306
＞”引用する命題を明確に切り出して提示する”
いっちゃん全然できてないよ
正則行列の条件で「零因子」（でない）とか大学受験生みたいな発言しちゃうし
予備校教師の受験テクの説明を「数学の奥義」と勘違いしちゃうド田舎秀才ですなあ
で大学はいったら１年でものの見事に落ちこぼれ 「数字で遊ぼう」の主人公だよ
まあ、彼はその後立ち直るんですがね いっちゃんも目覚めれば立ち直れるぞ（マジ）
342:１３２人目の素数さん
24/07/02 07:02:37.62 1lz8bMEJ.net
>>307
>数学を対戦ゲームと同じレベルの思考遊戯であると思っている人は多いだろうし
>そう思って悪い理由は特にない
対戦ゲームと「同じレベル」ではない
対戦ゲームは決定可能だが、数学はそうではない（ニヤリ）
343:１３２人目の素数さん
24/07/02 07:08:27.49 1lz8bMEJ.net
>>309
杉浦 解析入門Ⅰ 第I章 実数と連続
ここの実数と関数の連続性の定義わかんない奴が第Ⅱ章以降読んでも無駄
線形空間・線形写像・線型独立の定義分かんないやつが線形代数の定理わかるわけないし
群とか準同型とか正規部分群の定義分かんないやつが群論の定理わかるわけない
おっちゃんもいっちゃんも定義を蔑ろにするから数学の理論が全く理解できない
344:１３２人目の素数さん
24/07/02 07:10:39.46 85/y1v/0.net
対戦ゲームって相手が適度に悪手を指すから面白いんだよ。
だから、最強AIと対戦しても面白くないと思う。
345:１３２人目の素数さん
24/07/02 07:12:10.68 1lz8bMEJ.net
いっちゃんは「わからんところまで戻れ」という
🐎🦌の一つ覚えで「それじゃ無限後退する」とかほざくが
数学に無限後退はない 整礎であるｗ
つまり定義より前に後退することはない
そして定義は結論ではなく前提なのだから
その正しさを確認するような対象ではない
まあ「正しくない」なら矛盾が導けるだろうがね
346:１３２人目の素数さん
24/07/02 07:14:59.41 1lz8bMEJ.net
>>319
どんな手を打とうが関係ない
囲碁も将棋も決定可能なゲームである
つまり勝敗を決める手続きが存在する
しかし数学はそうではない
347:１３２人目の素数さん
24/07/02 07:20:41.85 1lz8bMEJ.net
数学はドミノの並びをみつけてその最初のドミノを倒せた奴が勝つ
ヘボはドミノの並びが見つけられない
最初のドミノをくだらん命題と馬鹿にして無視する
だからいつまでたっても最後のドミノが倒せない
いっちゃんの山奥の村から東京に行くには
最初に村から町の鉄道の駅に出るバスに乗らにゃならない
そしてその駅からローカル線で幹線の駅にでなきゃならない
そこからさらに幹線で大都市の駅に出にゃならない
最後の大都市の駅から新幹線で東京に行かにゃならない
すげぇな ４段階は必要だ いったいいっちゃんどんなド田舎に住んでるのｗ
348:１３２人目の素数さん
24/07/02 07:24:25.78 u29MsJrx.net
>>313
原子力発電の問題点は、日本の場合では昔から地震などの自然災害が
多発するにも関わらず、原子力発電により生じたプルトニウムなどの人工的な放射性元素
の廃棄物の処理をどうするかを考えずに、発電法として採用したことにある
フランスのように地震などの自然災害が多発する頻度が少ない国であれば、
プルトニウムなどの人工的な放射性元素の廃棄物が数10年間で自然消滅する可能性はある
数学で人工的にプルトニウムなどの人工的な放射性元素の廃棄物を自然消滅させるには、
廃棄物が消滅する速度を加速させ廃棄物を速く消滅装置を開発するようなことが必要だが、
廃棄物を速く消滅させる装置の開発のような問題は、
最終的には自然科学や工学の問題になる
349:１３２人目の素数さん
24/07/02 07:33:37.78 u29MsJrx.net
>>318
10進表示された無限小数のことは杉浦解析入門Ⅰでは滅多に使わない
普通、10進表示された無限小数の実数は有理数か無理数の形で具体的に表して計算する
10進表示された無限小数で微分積分の数値計算をするのは
実数の近似計算などの計算をするとき
350:１３２人目の素数さん
24/07/02 07:43:39.62 85/y1v/0.net
>>323
>プルトニウムなどの人工的な放射性元素の廃棄物を自然消滅させるには、
自然消滅なんて原理的にしないだろ？
半減期というのがあるんだから。
「消滅させよう」という発想が誤り。
封印して、漏れ出ないようにすればいいだけ。
351:１３２人目の素数さん
24/07/02 07:47:01.43 u29MsJrx.net
>>313
>>323の下から3行目の訂正：
廃棄物が消滅する速度を加速させ廃棄物を速く消滅装置
→ 廃棄物が消滅する速度を加速させ廃棄物を速く消滅させる装置
352:１３２人目の素数さん
24/07/02 07:48:20.98 85/y1v/0.net
>>324
10進小数というとき、数学的には「一つの表現に
過ぎないよね」と思うわけ。だから、小数表示に依らない
性質が重視される。れいのひとは無理数を有理数で近似
する話が高級過ぎて理解できず、最近では
「見た目（10進小数表示)で分かる」性質を有難がる
ところまで後退したようだ。まぁ、必然だろうが。
353:１３２人目の素数さん
24/07/02 07:50:19.81 u29MsJrx.net
>>325
プルトニウムという放射性元素は、数十年間あれば自然消滅する
354:１３２人目の素数さん
24/07/02 07:58:30.72 u29MsJrx.net
>>327
無理数かどうか分からない実数を無理数かどうかを調べるために近似するときは、
連分数展開か10進表示した小数による近似がし易いし良い近似値が得られる
355:１３２人目の素数さん
24/07/02 08:10:28.24 u29MsJrx.net
原子力発電により生じた多くの廃棄物は、数十年間あれば自然消滅する
放射性廃棄物の処理には、長い年月を要する
356:１３２人目の素数さん
24/07/02 08:29:46.85 u29MsJrx.net
プルトニウムという放射性元素の質量は大きく、
プルトニウムによる放射線は余り飛ばないから、
プルトニウムに接近するように近づかなければ、
プルトニウムによる大きな被害は受けない
357:１３２人目の素数さん
24/07/02 08:37:30.42 9ShzXnrk.net
>>317
「思っている人が多い」は
多くの場合
「自分はそう思っていない」も
意味として含んでいる
358:１３２人目の素数さん
24/07/02 08:55:33.29 SlI2W0of.net
>>332
>「思っている人が多い」は多くの場合
>「自分はそう思っていない」も意味として含んでいる
それ、言い訳？
いいよいいよ言い訳しなくて
多変数複素解析が専門の人が
計算量のこと全く知らなくても仕方ない
359:１３２人目の素数さん
24/07/02 08:58:16.37 SlI2W0of.net
>プルトニウムという放射性元素は、数十年間あれば自然消滅する
こういう口からでまかせをいうのは、おっちゃんだろうなあ
例えばプルトニウム２３９の半減期は24,110年
URLﾘﾝｸ(ja.wikipedia.org)
360:１３２人目の素数さん
24/07/02 09:07:21.58 u29MsJrx.net
>>334
裏を返せば、プルトニウム239の半減期より人間の寿命が遥かに短い
361:１３２人目の素数さん
24/07/02 09:11:53.36 fw0N/TU8.net
>>335
自分の誤りを訂正できないって恥ずかしいよね 君
362:１３２人目の素数さん
24/07/02 09:14:51.05 u29MsJrx.net
>>336
もしかして、ジョークが通じない？
363:１３２人目の素数さん
24/07/02 09:17:52.98 fw0N/TU8.net
>>324
>10進表示された無限小数のことは杉浦解析入門Ⅰでは滅多に使わない
でも、そのめったにつかわない10進無限小数表現をわざわざ君は証明で使ったんだから
完全に理解しないとウソ証明書いて間違うよね
１．無限小数展開はほぼ一意に実数を決める
一意でないのは0.5000…と0.4999…の対のように、0が無限につづくものと9が無限につづくものの場合だけ
２．有理数は循環小数（0が続く場合も0を節とする循環小数とする）で、無理数は非循環小数
他の性質は、上記の性質から導けることを証明した後でなければ、利用できない
この２点から逸脱すれば間違うよ
364:１３２人目の素数さん
24/07/02 09:18:39.00 fw0N/TU8.net
>>337 自分の誤りを認めずに冗談で誤魔化すのは、政治家並みに悪い態度だね
365:１３２人目の素数さん
24/07/02 09:22:16.53 u29MsJrx.net
プルトニウム239による被害を受ける確率と比べて、
その前にプルトニウム239ではない原因で亡くなる確率が遥かに高い
366:１３２人目の素数さん
24/07/02 09:22:28.35 Q/NP8VPc.net
>>315
お前に言ってるんだよ
367:１３２人目の素数さん
24/07/02 09:22:48.83 fw0N/TU8.net
おっちゃんは、無限小数が分かってない
いっちゃんは、線形独立が分かってない
いっちゃんが、行列の正則性を「零因子でない」だけで認識するのは実に悪い手
行列の列ベクトル（すなわちR^ｎの自明な基底の像）が基底となっていることが大事
で、体上の行列なら、線形独立であれば生成系になるので基底となる したがって線形独立性だけ確認すればいい
（環上の行列ではそうはいかない）
368:１３２人目の素数さん
24/07/02 09:24:28.85 fw0N/TU8.net
>>341
まずいっちゃんにいいなよ 彼が一番ひどいから
他の人はその後でいいよ 順番が一番大事だから
369:１３２人目の素数さん
24/07/02 09:26:43.35 fw0N/TU8.net
R^nは、n＝{0,…,n-1}からRへの関数全体からなる関数空間
で、R^nの要素であるn個の関数が線形独立であることをどうやって確かめるか
いっちゃん、できるかな？
370:１３２人目の素数さん
24/07/02 09:27:53.49 u29MsJrx.net
>>338
はいはい、分かりましたよ
>>339
プルトニウム239については>>331に似たようなことがいえるから、>>340が従う
371:１３２人目の素数さん
24/07/02 09:36:59.37 Q/NP8VPc.net
>>343
お前は数学を分かっていない
372:１３２人目の素数さん
24/07/02 09:38:40.71 Q/NP8VPc.net
>>343
目糞、鼻糞を認めた
373:１３２人目の素数さん
24/07/02 10:53:30.63 sq9WGe0S.net
>>333
計算量についてはともかく
線形代数について言えば
基底をどう取るかの問題は
工学や経済学でしばしば
重要らしい
374:１３２人目の素数さん
24/07/02 10:58:22.65 jthVynBc.net
>>346 いっちゃんは全然わかってないよ
>>347 うん そして君は歯糞 三兄弟だねｗ
375:１３２人目の素数さん
24/07/02 10:59:39.18 jthVynBc.net
＞基底をどう取るかの問題は
＞工学や経済学でしばしば重要らしい
そもそも基底かどうかが重要よ
それ線形代数でまっさきに教えてるけど
君理解してる？
Yes！というなら説明してみ 今ここで
376:１３２人目の素数さん
24/07/02 11:19:27.80 jthVynBc.net
学問の進歩と生物進化のアナロジー：小平邦彦先生の意見
note.com/taiki_takahashi/n/n8af74a0c7720
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
数学の進歩のパターンも・・・ある一つの分野が進歩していって、
その進歩の最先端から新しい分野が生まれるのではなく
その分野の原始的なところから、新しい分野が生まれる
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
進歩したかったらまず後退することだ
後ろへさがればさがるほどより広い景色が見える
377:１３２人目の素数さん
24/07/02 11:21:06.35 sq9WGe0S.net
体K上の（有限次元の）線形空間Vの基底とは
線形独立なVの有限個の要素v_1,...,v_nで
V＝Kv_1+...+Kv_nを満たすものをいう。
「Vの基底v_1,...v_n」といえばそういう意味。
378:１３２人目の素数さん
24/07/02 11:25:08.73 jthVynBc.net
>>352
然り
ここで重要なのは以下の２点
・v_1,...,v_nが線形独立であること
・v_1,...,v_nの線形結合でVの任意の要素が生成できること
379:１３２人目の素数さん
24/07/02 11:26:19.14 jthVynBc.net
>>344の答えはまだかい？
大学1年の線形代数の単位を取得しているなら答えられないとおかしいんだがな
380:１３２人目の素数さん
24/07/02 11:29:06.73 Q/NP8VPc.net
本間先生も囲碁が好きだった。
381:１３２人目の素数さん
24/07/02 11:39:11.55 u29MsJrx.net
>>354
R^n は関数空間ではなく、n次元ユークリッド空間を表す標準的な記号で、
n個の実数 a_1、…、a_n からなる点 (a_1、…、a_n) の全体と解釈するものだよ
382:１３２人目の素数さん
24/07/02 11:40:33.32 Q/NP8VPc.net
本間先生は組み合わせ位相幾何のアプローチでポアンカレ予想に取り組んでいたのだけれども、
ペレルマンの方法の組み合わせ位相幾何的解釈は出来たんだろうか？
383:１３２人目の素数さん
24/07/02 12:00:11.60 HcMddNkF.net
>>356
>R^n は関数空間ではなく
誤り 関数空間でもある、が正しい
0→a_1、…、n-1→a_n という写像の全体と解釈できる
否定するのは頭が固い点で馬鹿
384:１３２人目の素数さん
24/07/02 12:19:12.00 u29MsJrx.net
>>358
有限次元の実ヒルベルト空間 R^n は完備な実バナッハ空間でもあるが、
その完備性故に有限次元の実ヒルベルト空間としての R^n に
特別な位相構造や距離構造は入らない
R^n はn次元のユークリッド空間としての R^n のように、
通常通りのユークリッドノルムによる距離構造が定まった
有限次元の距離空間で線形空間になる
有限次元の実ヒルベルト空間として R^n を扱っても面白いことは生じない
385:１３２人目の素数さん
24/07/02 12:45:49.08 7igh8SX5.net
>R^n は通常通りのユークリッドノルムによる距離構造が定まった有限次元の距離空間で線形空間になる
ユークリッドノルムを「二乗の積分」と考えてはいけない理由はない
R^nの定義域ｎ={0,…,n-1}の各点集合に測度1/nを与えたと思えばいい
（実際には1/nで割ったりせんけど）
386:１３２人目の素数さん
24/07/02 13:55:08.17 sq9WGe0S.net
>>353
何か続きの話があったのでは？
387:現代数学の系譜 雑談
24/07/02 14:06:49.71 2dZgx2c5.net
>>310-311
ご苦労様です
スレ主です
>数学科と工学部とで数学の学習法が異なることは分かるであろう
これは、おっちゃんの発言かな
現代社会は、それぞれ専門があるよね
工学部では、自分の専門がメインでここに大部分の時間を使わないと
さらに、基礎学科として 化学や物理、数学もある
なので、時間配分は専門分野に半分（1/2）、
数学にその半分（1/4）、
化学と物理にその半分（1/8）、
これで、合計が１になる
数学科は、数学に全振りで１ですかね？ （＾＾
（東大だけは、１～２年は教養があるからそれは別として）
なので、工学屋は 数学に全振りしたら、自分の専門の勉強時間がなくなる
効率よく勉強しないとね
>数学者の教員がいなくなれば
>工学部の数学教育は破綻する
これは御大の発言か （＾＾
ご存じ 仏エコール・ポリテクニークという学校というか大学がある
フランス革命当時、仏は全ヨーロッパを敵にして、戦争をする必要あった
当時のフランス ナポレオン軍の強さの一端はここにあるだろう
エコール・ポリテクニークは、理工科学校と訳されるが、要は戦争の技術面をささえる機関だった
戦争の技術面とは、大砲の弾道計算とか 橋を架けるための技術計算とか
当時から、フランスの数学の最高峰とされ、ガロアは入学を希望したが、落ちた
工学にとって、数学は役に立つ
それは、コーシーやガロアの昔も、今も変わらないのです
つづく
388:現代数学の系譜 雑談
24/07/02 14:07:18.64 2dZgx2c5.net
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
エコール・ポリテクニーク（フランス語: École polytechnique、通称X〈イックス〉）または理工科学校（りこうかがっこう）は、フランスのパリ市近郊エソンヌ県パレゾーに位置する軍事省管轄の公立高等教育研究機関である。理工系グランゼコールのひとつである[3][4]。フランス革命時に創設された3校（パリ高等師範学校、エコール・ポリテクニーク、国立工芸院）のうちの一校であり、現代フランス社会において行政学院と共に絶大なる影響力を誇る[5]。フランスの理系学生の最優秀層は、エコール・ポリテクニークかパリ高等師範学校の理数科に進学する。
フランス革命中の1794年9月28日に、数学者ラザール・カルノーとガスパール・モンジュによって創設され、1804年にナポレオン・ボナパルトによって軍学校とされた。
"ポリテクニック"の語源となった学校であり、世界中にエコール・ポリテクニークをモデルとした学校・大学が存在する。理工系エリート（テクノクラート）養成の機関であり[5]。同校からは3名のノーベル賞受賞者、1名のフィールズ賞受賞者、3名のフランス大統領、複数の企業CEOを輩出している。2015年TimesのTHE世界大学ランキングによって、フランス国内において第一位と認定された
著名な出身者
アンリ・ポアンカレ（数学者・哲学者）
オーギュスタン＝ルイ・コーシー（数学者、「コーシー列」、「コーシーの平均値の定理」、「コーシーの積分定理」、「コーシー・リーマンの関係式」など）
ジャン＝クリストフ・ヨッコス（数学者、フィールズ賞受賞）
URLﾘﾝｸ(ja.wikipedia.org)
エヴァリスト・ガロア
1828年に理工科学校（École Polytechnique）の試験に挑戦したが、失敗している。
（1829年7月）その同月または1ヵ月後には、ガロアは再び理工科学校への受験に挑戦したが失敗した。伝説によれば、この時の口述試験の担当者が対数に関する愚問をしつこく出し、ガロアの回答に満足しなかったために、頭に来たガロアがその試験官に向かって黒板消しを投げつけたという[6]。理工科学校は最も高等な数学が教えられ、さらに自由主義的な雰囲気に満ちていたためにガロアは入学を切望していたが、その入学試験は2回までと制限されていたため、ガロアの望みは絶たれてしまった
(引用終り)
以上
389:１３２人目の素数さん
24/07/02 14:56:50.71 pKGZp8Zz.net
>>362
＞現代社会は、それぞれ専門があるよね
だから実数の定義も線形空間の定義も全然知らんでいい、と？
数学なめてんな だから大学１年で落ちこぼれるんだよ 🐎ぁぁぁ🦌
390:１３２人目の素数さん
24/07/02 15:00:22.84 pKGZp8Zz.net
>エコール・ポリテクニークは、・・・戦争の技術面をささえる機関だった
>戦争の技術面とは、大砲の弾道計算とか 橋を架けるための技術計算とか
ガロア理論は大砲の弾道計算にも橋を架けるための技術計算にも使わんね
円分方程式の解のべき根表示も使わん ああ、だからラグランジュ分解式全く知らんでＯＫと？
ガロア理論も全然分からんでＯＫ 正規部分群の定義を誤解してても全然ＯＫ と
だったら、数学要らねえじゃん 工学馬鹿戦争馬鹿は一切数学に興味持つなよ
391:１３２人目の素数さん
24/07/02 15:06:16.24 pKGZp8Zz.net
＞ガロアは再び理工科学校への受験に挑戦したが失敗した。
＞伝説によれば、この時の口述試験の担当者が対数に関する愚問をしつこく出し、
＞ガロアの回答に満足しなかったために、
＞頭に来たガロアがその試験官に向かって黒板消しを投げつけたという。
某君の回顧録にもきっとこんな文章がのるんだろうな
「５ｃｈの数学板に、群の例として、うっかり”正方行列の群”と書いたところ
そこのサイコパスと思われる御仁から、再三、逆行列が存在する条件を問われ
「零因子（でないこと）ね」といっても納得しなかったので、ブチ切れて
その場で💩して投げつけた」
臭い・・・臭すぎる・・・
392:現代数学の系譜 雑談
24/07/02 15:17:18.17 2dZgx2c5.net
>>366
> 「零因子（でないこと）ね」といっても納得しなかったので、ブチ切れて
> その場で💩して投げつけた」
リクエストがあったので
(>>10より)再録します。おサルの傷口に塩ですｗ
ｽﾚﾘﾝｸ(math板:508番)
2023/06/11(日)
下記だねｗ(>>63再録)
スレ主です
数学科オチコボレのサルさんｗ ｽﾚﾘﾝｸ(math板:5番)
線形代数が分かっていないのは、あ な た！ ｗｗｗ
前スレより
ｽﾚﾘﾝｸ(math板:557番)
傷口に塩を塗って欲しいらしいなｗ
>>406-407より以下再録
棚から牡丹餅というかｗ
つまり
・私「正方行列の逆行列」（数年前）
↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
↓
・私「零因子行列のことだろ？知っているよ」
↓
・おサル「関係ない話だ！」と絶叫
↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
いかなる行列が零因子行列か述べる必要がありますから』
↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
＜解説＞
１）何度か、アホが気づくチャンスあった
最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
いかなる行列が零因子行列か述べる必要がありますから』
に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」と指摘された時点で
”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
ゆかいゆかい！ｗｗ
以上
393:１３２人目の素数さん
24/07/02 15:44:03.68 XVs/10IE.net
>>367
◆yH25M02vWFhPは、どうしても線形独立を学びたくないらしい
逆行列が存在する条件
ダリット 「零因子でないこと」
シュードラ 「正方行列でその行列式が０でないこと」
ヴァイシャ 「ｎ×ｎ行列で基本操作による階段化の段数がｎであること」
クシャトリア「ｎ×ｎ行列のｎ個の列ベクトルが線形独立であること」
バラモン 「定義域と値域が同じで、基底の像が基底であること」
394:１３２人目の素数さん
24/07/02 15:49:22.33 1UIhCee1.net
ダリットは線形代数の言葉を知らない
シュードラは意味もわからず行列式に飛びついた
ヴァイシャは階段化までは知ってたがその意味を知らなかった
クシャトリアは階段化の意味は知ってたが隠されたもう一つの条件は見逃した
395:１３２人目の素数さん
24/07/02 16:06:28.93 2dZgx2c5.net
＜補足＞
>線形代数が分かっていないのは、あ な た！ ｗｗｗ
・おサルさん>>9 は、視点のレベルが低い。視野が狭いｗｗ ；ｐ）
おっさんの寝言を聞く暇あったら、下記の斎藤毅 ”ブルバキと「数学原論」”
の 『ブルバキが線型代数を重視したこと』を読むのが、百倍ためになるぜｗ
・線形代数のように、20世紀にどんどんその活躍の場を広げた数学について
視点のレベルが低いし、視野の狭い話は、全く参考にならないｗｗ
・線形代数のようないろんな分野で使われる対象は、
多角的に見たり、複数の切り口で考える必要があるのです
・あたかも、立体像を正面図や平面図など複数の角度から見るとか
あるいは、CTの断面図や 3D画像を使うがごとしだ
・線形代数の重要な構成要素に、ベクトルと行列の二つがある（もちろん線形空間もだが いまは省く）
さて、現代の抽象代数学では、行列のもつ表現力の豊かさが存分に活用されるのです
そういうこともあって、ブルバキは『代数の基礎は線型代数においた』（下記）
・代数でオチコボレのおサルさんには、この理解は難しいわなｗｗ
だから、体R又はCを成分とするnxn正方行列の成す環の構造に疎いんだｗ
零因子が理解できていなかったのが、バレバレだねｗｗ ；ｐ）
(参考)
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
斎藤毅 和文出版リスト
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
ブルバキと「数学原論」 pdf (数学セミナー2002年4月号) 斎藤毅
Ｐ３
「数学原論」の数学的内容について,もう少しだけ立ち入ってみたいと思います.
というと,「構造」についてふれるのがほとんど定番のようになっています.
しかしここでは, ブルバキが線型代数を重視したことに注目したいと思います.
このことは,彼らがモデルとしたに違いない,ファン-デル-ヴェルデン「現代代数学」と比べてみるとよくわかります.
「数学原論」では,線型代数と多重線型代数はそれぞれ,「代数」の巻の第2章, 第3章の主題です.
一方「現代代数学」では,線型代数は最後の巻である第3巻の後半,第15章になってようやく現れ,多重線型代数はでてきません.
ブルバキは,数学全体の基礎を集合論に求めましたが,代数の基礎は線型代数においたのです.
こうすることにより,「現代代数学」ではばらばらに扱われていた,イデアル,線型空間,拡大体, アーベル群, 線型表現などが体系的に扱われることになりました.
例えばガロワ理論は, 拡大体のテンソル積の構造から見通しよく導き出されますし,行列式も,外積代数を使って鮮やかに定義されます.
ブルバキはこのように,線型代数は数学を支える大きな柱であることを主張しました.
線型代数は,当時勢いよく発展しつつあったホモロジー代数とともに,その占めるべき本来の位置を数学の中にとりもどしたのです.
396:１３２人目の素数さん
24/07/02 16:38:23.22 nIPVjMoa.net
>>370
＞線形代数の重要な構成要素に、ベクトルと行列の二つがある
ベクトル：線形空間の元
行列 ：線形写像
＞さて、現代の抽象代数学では、行列のもつ表現力の豊かさが存分に活用されるのです
「正方行列の群」とかほざいちゃう人は、行列のもつ表現力の豊かさとは全く無縁ですなあ 哀れなもんだ
＞体R又はCを成分とするnxn正方行列の成す環の構造に
397:疎い 「正方行列の成す環」とかいう前に、線形独立を理解したほうがいい 零因子という言葉をつぶやくのはその後
398:１３２人目の素数さん
24/07/02 16:48:22.68 qNjgaBJp.net
>おサルさんは、視点のレベルが低い。視野が狭い
そういう💩君は、地に足がついてない
基礎ができてない奴は実に簡単に間違う
しかも間違っても全然気づかない
399:１３２人目の素数さん
24/07/02 16:56:14.13 Q/NP8VPc.net
お前言う
400:１３２人目の素数さん
24/07/02 16:57:09.94 qNjgaBJp.net
行列が線形写像だとしたとき、その積は線形写像の合成である だから意味がある
一方、和は特に意味がない だから環を考える意味はそう多くない
もちろん、ケイリー・ハミルトンの定理とかあるにはあるがね
ケイリー・ハミルトンの定理により、
一般の n次正則行列 A（つまり A の行列式は 0 でない）に対し、
その逆行列 A^(－1) は A の n － 1次以下の行列多項式で表せる。
URLﾘﾝｸ(ja.wikipedia.org)
401:１３２人目の素数さん
24/07/02 17:16:57.83 HcMddNkF.net
やべぇ、ケイリー・ハミルトンちょっと齧ったら、なんかすげぇ面白そう
402:現代数学の系譜 雑談
24/07/02 18:38:41.84 2dZgx2c5.net
>>374-375
>ケイリー・ハミルトンの定理
>やべぇ、ケイリー・ハミルトンちょっと齧ったら、なんかすげぇ面白そう
ご苦労様です
・旧の高校数学教程で、行列が高校数学で扱われていたころ
ケイリー・ハミルトンの定理が、大学入試問題で結構出題されたらしい
・当時、それを聞いて書店で、チャート式をチラ見したら
ケイリー・ハミルトンの定理ありましたね・・
・もっとも、当時は2x2行列どまりでしたが （＾＾；
私の高校時代は、行列なしでベクトルのみ 高２だったかなで
教程に入っていましたね
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
線形代数
更新 2022/10/01
高校数学における線形性の8つの例
ケーリー・ハミルトンの定理（2次，3次，n次）
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
固有多項式とケーリー・ハミルトンの定理
線形代数
更新 2024/01/19
目次
固有多項式（特性多項式）
二次の場合
三次の場合
定理の証明
403:現代数学の系譜 雑談
24/07/02 18:47:03.64 2dZgx2c5.net
余談ですが
私自身は、ケイリー・ハミルトンの定理は殆ど記憶に残っていない
線形代数自身も、大学で苦労した記憶がない
だから、何を学んだのか、覚えていない
線形代数は、先取りしていましたから
だいたい、大学の学部最初に数学セミナーを10年分くらい バックナンバーを読んだのです
そうすると、たいてい１年に1つくらい線形代数の記事があって
まあ、線形代数特集もあったりで
学部の講義は「あ、これあったな」で、単位の試験もそこそこ取れたと思います�
404:i優？） いまさら、線形代数？ 「でも、そんなの関係ねぇ！ はい、おっぱっぴー！」（小島よしお） ですよｗ ；ｐ） (参考) https://toyokeizai.net/articles/-/292817 小島よしお38歳｢そんなの関係ねぇ｣男の充実感 ブームから12年､子ども向けに再ブレイク 佐久間 秀実 : スポーツライター 2019/07/29 「でも、そんなの関係ねぇ！ はい、おっぱっぴー！」 衝撃的なギャグとともにお笑い番組で脚光を浴び、ピン芸人として活躍してきた小島よしお（38歳）。 だが現在、小島よしおをテレビの世界でかつてほど見かけなくなった。もちろん「テレビから消えた芸人」ではないが、テレビ以外の場所に活路を見いだしている。 例えば、全国各地でネタの営業をするだけでなく、「服を着て」演劇舞台に出演、自慢の肉体を生かしたマラソン大会出場、オーストラリアで自転車旅に挑戦するなど活動の幅を広げている。とくに、ショッピングモールなど子どもが多く集まる場所での営業は人気となり、再ブレークしているのだ。新しい取り組みとして子ども向け「絵本の読み聞かせ」も定期的に開催しているという。 小島よしおという芸人は、どこへ向かうのか。本人へインタビューを試みた。
405:１３２人目の素数さん
24/07/02 19:15:04.17 T0BDPfsW.net
阪大工学部は早稲田の文系よりもミーハー
406:１３２人目の素数さん
24/07/02 19:32:46.80 Q/NP8VPc.net
お薦め
ディラック作用素の指数定理 吉田
407:１３２人目の素数さん
24/07/02 19:39:31.54 1lz8bMEJ.net
>>376
ひねこびた受験数学の話はしていない
大学受験は人間を🐎🦌に変える
まあ有能な人は🐎🦌にならなくても東大には受かるみたいだ
浅野改め河東氏とか、学生の頃世話になったK林さんとか
>>377
君は数学のことは何も記憶に残ってないでしょ
理解してないんだからｗ
学部の試験は計算法だけ覚えれば点数とれるよ
でもそれで理論を理解した証拠にはならん
その証拠に君、正則行列も忘れたんだろ
それじゃ線形代数全然分かってないじゃん
ま、工学部ってそんな奴ばっかだから仕方ないけどね
彼らの数学は高校で終わってるから
408:１３２人目の素数さん
24/07/02 19:49:52.16 1lz8bMEJ.net
ここがヤバいよ ケイリー・ハミルトン
１．行列Aの行列式がAのべきとトレースで表せる
２．行列Aの逆行列A^(-1)がAの行列多項式で表せる
もちろん、例えば行列式をトレースで表して
「この式が０でないことがAが逆行列を持つ条件です」
とかいわれても
「まちがってねぇけど、そういうことじゃねえんだよなあ」
というしかない
まあ、大学１年で優とっても中身全然わからず「落ちこぼれた」奴にはわかんねぇか
点取り🐎🦌っていうんだよな
409:１３２人目の素数さん
24/07/02 19:56:16.83 1lz8bMEJ.net
もちろん仕掛けはある 固有値の対称多項式がカギである
固有値を求めるのは面倒くさいが、対称多項式自体は求まる
代数方程式の解の対称多項式が方程式の係数の多項式になるのと同じこと
410:１３２人目の素数さん
24/07/02 19:59:29.49 1lz8bMEJ.net
まあ、線形代数の理論が分かっていたら
「正方行列の（乗法）群」なんて絶対に言わない
この言葉を聞いた瞬間
「ああ、こいつ数学に全然何の興味もなくて
ただ利口ぶりたいためだけに聞きかじりの知識
ひけらかしてるだけの変質者なんだなあ」
と思ったよ ひろゆきみたいなもんかｗ
411:１３２人目の素数さん
24/07/02 20:28:26.53 Igo1nd0+.net
>>355 >>357
>本間先生も囲碁が好きだった。
これは、弥勒菩薩さまか
へー、本間先生がか
それは知らなかった
>本間先生は組み合わせ位相幾何のアプローチでポアンカレ予想に取り組んでいたのだけれども、
>ペレルマンの方法の組み合わせ位相幾何的解釈は出来たんだろうか？
素人評論で恐縮ですが、ペレルマンの手術による（手術つき？）リッチフローを見ると
結構複雑な場合分けを、手術による（手術つき？）リッチフローに丸投げして
回避しているように見えます
これを組み合わせ位相幾何に持ち込むと
場合分けが 発散して収拾こんなになるのでは？
と思ったりします （＾＾
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Poincaré conjecture
google訳
ハミルトンのプログラムと解決策
手術によるリッチフロー
主要記事:リッチフロー
ポアンカレ予想を証明するハミルトンのプログラムでは、まず未知の単連結な 3 次元閉多様体にリーマン計量を適用する。基本的な考え方は、この計量を「改善」しようとすることである。たとえば、計量が十分に改善されて一定の正の曲率を持つ場合、リーマン幾何学の古典的な結果によれば、それは 3 次元球面である必要がある。ハミルトンは計量を改善するための 「リッチ フロー方程式」を規定した。
∂t gij=-2Rij
ここで、gは計量、R はそのリッチ曲率であり、時間tが増加するにつれて、多様体が理解しやすくなることが期待されます。
リッチフローは、多様体の負の曲率部分を拡大し、正の曲率部分を縮小します。
つづく
412:１３２人目の素数さん
24/07/02 20:29:01.84 Igo1nd0+.net
つづき
任意のリーマン計量しか持たない場合、リッチフロー方程式はより複雑な特異点につながるはずです。ペレルマンの主な功績は、特定の視点から見ると、これらの特異点が有限時間内に現れる場合、縮小する球体または円筒にしか見えないことを示したことです。この現象を定量的に理解した上で、彼は多様体を特異点に沿って切断し、多様体をいくつかの部分に分割してから、これらの各部分でリッチフローを続行します。この手順は、手術によるリッチフローとして知られています。
ペレルマンは、曲線短縮フローに基づく別の議論を提示し、単連結コンパクト 3 次元多様体上では、手術を伴うリッチフローの任意の解は有限時間で消滅することを示しました。極小曲面のミニマックス理論と幾何学的測度理論に基づく別の議論は、トビアス・コールディングとウィリアム・ミニコッツィによって提示されました。したがって、単連結のコンテキストでは、手術を伴うリッチフローの上記の有限時間現象だけが関連するものです。実際、これは基本群が有限群と巡回群の自由積である場合にも当てはまります。
基本群に関するこの条件は、有限時間消滅に必要かつ十分であることがわかった。これは、多様体の素分解に非巡回成分が存在しないということと同等であり、多様体のすべての幾何学的部分が2つのサーストン幾何学S 2 × RおよびS 3に基づく幾何学を持つという条件と同等である。基本群について何の仮定も行わないという文脈で、ペレルマンは、無限に大きな時間に対する多様体の極限についてさらに技術的な研究を行い、そうすることでサーストンの幾何化予想を証明した。つまり、大きな時間では、多様体は厚い部分と薄い部分の分解を持ち、その厚い部分は双曲構造を持ち、その薄い部分はグラフ多様体である。しかし、ペレルマンとコールディングとミニコッツィの結果により、これらのさらなる結果はポアンカレ予想を証明するために不要である。
(引用終り)
以上
413:現代数学の系譜 雑談
24/07/02 20:30:16.50 Igo1nd0+.net
>>384 タイポ訂正
場合分けが 発散して収拾こんなになるのでは？
↓
場合分けが 発散して収拾こんなんになるのでは？
414:１３２人目の素数さん
24/07/02 20:30:33.41 Q/NP8VPc.net
>>384
組み合わせ位相幾何の専門家は諦めたみたい
415:１３２人目の素数さん
24/07/02 20:34:48.74 Q/NP8VPc.net
Ricci Flow and the Poincar´e Conjecture
416:https://arxiv.org/abs/math/0607607 ペレルマンの証明のフォロー
417:現代数学の系譜 雑談
24/07/02 22:06:18.31 Igo1nd0+.net
>>387-388
>組み合わせ位相幾何の専門家は諦めたみたい
>Ricci Flow and the Poincar´e Conjecture
>arxiv.org/abs/math/0607607
>ペレルマンの証明のフォロー
ああ
ありがとうございます
昔、ペレルマンの証明が正しそうだと認められたころ
数学セミナー別冊で、3次元ポアンカレ証明の特集号が出て
ま、当然 数学セミナー 読者相手の記事ですから
分かり易く書いてくれていたのですが
その中の記事で、塩谷隆先生と山口孝男先生の非崩壊定理が ペレルマンの仕事の中で証明なしに用いれれているという話が書いてあった
「へー」と興味深く読みました（下記など）
その後、塩谷隆先生と山口孝男先生 ご両名が幾何学賞かなにかを受賞されたと知りました
塩谷隆先生は、筑波大から名古屋大へ移られたように記憶しています
(参考)
jstage.jst.go.jp/article/emath1996/2005/Spring-Meeting/2005_Spring-Meeting_24/_article/-char/en
2005 Volume 2005 Issue Spring-Meeting Pages 24-32
jstage.jst.go.jp/article/emath1996/2005/Spring-Meeting/2005_Spring-Meeting_24/_pdf/-char/ja
企画特別講演
多様体の崩壊－ペレルマンの仕事まで
山口孝男筑波大学数理物質科学研究科
1.はじめに
この講演では、断面曲率の下限を一様に下から押えた場合の崩壊理論(特 に3次 元の場合)と 、最近のペレルマンのリッチ流と3次 元多様体の幾何化に関する仕事([8],[9])に おいて崩壊理論がどのように適用されているかを解説し、多様体の崩壊理論の展開とその応用の一面を紹介したい。
4.3次元多様体の崩壊
そこで先ず、塩谷隆氏 との研究([10],[11])に より解明された3次元多様体の崩壊に関する結果を述べよう。以後、3次 元多様体は全て向きづけ可能 と仮定する。
5.リッチ流による3次 元多様体の幾何化
6.おわりに
崩壊理論については、[14]により、4次元多様体の崩壊についてM(4,D)における崩壊現象が解明されています。直径が有界でない場合の4次元多様体の崩壊や一般次元多様体の崩壊など、解明されるべき問題が山積している状況です。これらについての詳細については、[1]を参照して頂ければ幸いです
418:１３２人目の素数さん
24/07/03 06:21:28.58 MWr66Mqk.net
そうはいっても、γが有理数なることの証明の中で、
第n項 a_n が a_n＝1＋1/2＋…＋1/n－log(n) なる
下に有界な単調減少列 {a_n} の極限としてγの定義式
γ:＝lim_{n→+∞}(1＋1/2＋…＋1/n－log(n))
は得られるから、背理法を用いてγを無理数と仮定してγを無限連分数展開して
矛盾を導きγを有理数と結論できる可能性はまだ捨ててはいない
γの無限連分数展開を使った証明については、実際に紙に書いて見ないと分からない
419:１３２人目の素数さん
24/07/03 06:31:02.08 MWr66Mqk.net
ペレルマンは非線形放物型偏微分方程式を研究していた結果、
リッチフローによる3次元ポアンカレ予想の証明が出来た
420:１３２人目の素数さん
24/07/03 06:33:10.71 Vc0M1roC.net
>>389 いっちゃんにペレルマンは無理
>>390 おっちゃんにγの無理数性判定も無理
おまえら大学１年で数学分からず落ちこぼれたくせに
自分が世界的天才だと自惚れてる？ 🐎🦌が（嘲）
421:１３２人目の素数さん
24/07/03 06:36:30.68 Vc0M1roC.net
素人 ここがダメ
１．最先端にばかりとびつく
２．基礎の学習は嫌がって避け続ける
結果として最先端の結果の記述の意味すらいつまでたっても読めず
何も理解できぬまま４０年・・・
422:１３２人目の素数さん
24/07/03 06:44:35.78 MWr66Mqk.net
>>392
γの定義
423:は>>390のような形でも出来る 以前ここに書いた間違った証明を見たら、 第n項 a_n＝1＋1/2＋…＋1/n－log(n) に 関する振る舞いの扱いがまだ未完成だった
424:現代数学の系譜 雑談
24/07/03 07:53:36.21 m6QlAukJ.net
>>393
ふっふ、ほっほ
>素人 ここがダメ
>最先端にばかりとびつく
・おサルさん>>9さ、
君のしたり顔の解説は、真逆だよ
・下記の東大の古田幹雄先生 ”2.2 耳学問”
『そのような場面で人に自分が”わかっているつもり”のことを説明できるようにする』
『「数学セミナー」「数学のたのしみ」「数理科学」「数学」などの雑誌に目をとおす』
というのがあるよ；ｐ）
・君のしたり顔の解説は、真逆だ！
そもそも、君は 数学科オチコボレの反面教師にすぎない！
・君が、数学の学習法を語るならば
１）まず、オチコボレになった失敗談から始める
２）失敗の原因と、こうすれば良かったかもを語る
３）”こうすれば良かった”の成功例を語る
この三段論法でしか、意味ある数学の学習法には 成らない！！ ｗ ；ｐ）
>>306より再録
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
東大の古田幹雄先生による『大学院で幾何の勉強を目指す学部生の方たちへ』
より
『2.2 耳学問
図書館でいろんな本があることを実感としてしっておく．
同級生や先輩と話をして耳学問で学ぶ．
また，そのような場面で人に自分がわかっているつもりのことを説明できるようにする．
「数学セミナー」「数学のたのしみ」「数理科学」「数学」などの雑誌に目をとおす．』
425:１３２人目の素数さん
24/07/03 08:12:33.20 pzmjdiRp.net
ひたすら論文を読み続けるというのもあり。
院生の時、一言も発しない一日は珍しくなかった。
426:１３２人目の素数さん
24/07/03 08:22:20.19 pzmjdiRp.net
>>391
>ペレルマンは非線形放物型偏微分方程式を研究していた結果、
>リッチフローによる3次元ポアンカレ予想の証明が出来た
ペレルマンは微分幾何の問題を非線形放物型偏微分方程式の一つであるリッチフローによる
アプローチで研究していたが
ハミルトンの研究に触発されて
３次元ポアンカレ予想にリッチフローの方法で取り組み成功を収めた
427:１３２人目の素数さん
24/07/03 08:26:04.23 L6Ox7h9S.net
>>395
>ふっふ、ほっほ
そのキモチワルイ笑い方 どこで覚えた？
>…先生
数学界では、いちいち他人の名前に先生とかつけないよ 代議士じゃないんだからさ
「古田幹雄（東大）も耳学問を推奨してる」でいいだろ
さて本題
>君が、数学の学習法を語るならば
>１）まず、オチコボレになった失敗談から始める
>２）失敗の原因と、こうすれば良かったかもを語る
>３）”こうすれば良かった”の成功例を語る
>この三段論法でしか、意味ある数学の学習法には 成らない！！
そうしてるよｗ
Ⅰ 昭和末 大学３年でガロア理論の講義を聞いたが、なんでガロア群が可解群だとべき根で解けるのか分かってなかった
Ⅱ 令和初 １のｎ乗根がべき根で表せる、というＨＰを初めてじっくり読み 実際にその通り計算もして 初めて
ガロア群が巡回群のとき、ラグランジュ分解式（実はフーリエ変換）のべき乗が、”解が陽に現れない形”で表せるので、
そのべき根から、”フーリエ逆変換”で方程式の根が求まる、と分かった
Ⅲ この経験から、”最初のドミノ”を倒さないと、最後のドミノが倒せないと痛感した
こういうことなんだがね 君にはそう読めなかったのかね？
だとしたら そもそも日本語の文章を読む能力が決定的に欠けているといわざるを得ないね
小学校の国語からやり直した方がいいんじゃないかね？
428:１３２人目の素数さん
24/07/03 08:40:33.50 pzmjdiRp.net
1. 大学１年の自主ゼミで永田の「可換体論」を読んで
ガロア理論が分かったつもりになり、永田先生の授業には
出なかった。
２．令和初 セレーのテキストで初めて具体例に触れ
「これが本体だったのか」と認識を改めた。
３
429:．しかい現在は平方剰余の相互法則とその一般化が本体だと思っている。
430:１３２人目の素数さん
24/07/03 08:41:32.36 pzmjdiRp.net
訂正
しかいーー＞しかし
431:１３２人目の素数さん
24/07/03 08:46:40.10 L6Ox7h9S.net
>>398
＞ラグランジュ分解式（実はフーリエ変換）
ｎ個の解を、「ｎ個集合から複素数への関数」として
それを離散フーリエ変換したものも「ｎ個集合から複素数への関数」
まあ、別にフーリエ変換と「べき根で解けること」は直接関係ないがね
432:１３２人目の素数さん
24/07/03 08:51:23.85 L6Ox7h9S.net
>>399 別にキョージュの深い話に反論するつもりは毛頭ありませんよ
大学3年時 A教授が講義で「平方剰余の相互法則」を大層なもんだと話してるのを聞いて
なんで？とおもったけど、ガウスがやったことを振り返ってみると、
やっぱりそういうだけのことはあるんだろうなあと何となく思いつつある今日この頃
（私はいっちゃんとちがってド素人特有の無神経な傲岸不遜さは持ち合わせておりません ハイ）
433:１３２人目の素数さん
24/07/03 09:32:48.57 iT6wtXSk.net
いっちゃんは耳がおかしいのか頭がおかしいのか知らんけど
別に最先端に興味持つなとか基礎だけやれとかいってない
そう聞こえるのは幻聴
434:１３２人目の素数さん
24/07/03 09:50:30.76 7eHOL3gE.net
あれーどうしたのウマシカおっさん、せっかく3-manifoldの最新の話題振ってあげたのスルーか
435:１３２人目の素数さん
24/07/03 10:39:26.31 pzmjdiRp.net
>>404
最新？
436:現代数学の系譜 雑談
24/07/03 10:49:53.44 VDvstaAE.net
>>398
>Ⅰ 昭和末 大学３年でガロア理論の講義を聞いたが、なんでガロア群が可解群だとべき根で解けるのか分かってなかった
>Ⅱ 令和初 １のｎ乗根がべき根で表せる、というＨＰを初めてじっくり読み 実際にその通り計算もして 初めて
> ガロア群が巡回群のとき、ラグランジュ分解式（実はフーリエ変換）のべき乗が、”解が陽に現れない形”で表せるので、
> そのべき根から、”フーリエ逆変換”で方程式の根が求まる、と分かった
>Ⅲ この経験から、”最初のドミノ”を倒さないと、最後のドミノが倒せないと痛感した
１）君は、ほんとうに数学に向いていないねｗ
思考が、”Elliptic geometry”（下記）だね。本来、直線として筋を通すべきところが
グネグネ曲がる曲線思考になるんだ
本来、そういう結論にならないのに、カーブがかかっておかしな結論に至る
２）昭和末～令和初 この間約30年、それでは数学勉強法の方法論として成り立たない
しかも、ラグランジュ分解式の話は他人から教えてもらった 他力本願で、自力で達成したわけじゃない
この点からも、自力の数学勉強法の方法論として成り立たない
３）かつ、ラグランジュ分解式を”フーリエ変換”とか、完全に誤解誤読している(”フーリエ変換”の無理解(下記))
(”フーリエ変換”とする説明のガロア理論のテキストは、世に一つとして存在しない。完全にガロア理論の素人の独自説にすぎない)
しかも、”１のｎ乗根”についてのみについて語るが、一方クンマー拡大におけるラグランジュ分解式の役割をスッポカす
クンマー拡大(とその繰り返し)の解明こそが、ガロア理論の眼目ですよ
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Elliptic geometry
Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect.
URLﾘﾝｸ(jp.mathworks.com)
MathWorks(エンジニアや研究者向け数値解析ソフトウェアのリーディングカンパニー)
フーリエ変換とは?
フーリエ変換は、データ解析手法のひとつで、一般的には時間領域のデータを周波数領域へ変換するためのアルゴリズムとして利用されます。信号処理の分野においては、周波数解析手法として、スペクトル解析に用いられる重要な技術です
フーリエ級数展開とフーリエ変換
ある周期
437:信号をsinとcosの成分の和として表したのが、フーリエ級数展開です フーリエ変換は、この複素フーリエ級数を、非周期信号へ拡張したものと考えられます。以下に、フーリエ変換の定義式を示します 略 フーリエ変換により、変換前の信号の周波数成分の分布を知ることができます。つまり、フーリエ変換は、物理的には「時間領域の信号から周波数領域の信号への変換」という意味となります。フーリエ変換の逆処理である、逆フーリエ変換（フーリエ逆変換）の定義式は 略 となります。逆フーリエ変換は、「周波数領域の信号から時間領域の信号への変換」、という物理的な意味を持ちます 離散フーリエ変換
438:１３２人目の素数さん
24/07/03 11:00:40.44 l8gcTOQa.net
世の中ってこんな自明なことにも反対するひとがいるんだな。
ま、「箱入り無数目」さえ理解できないバカレベルだから。
439:１３２人目の素数さん
24/07/03 11:03:17.18 L6Ox7h9S.net
>>406
>思考が、”Elliptic geometry”だね。
なにいってんだこいつ
>本来、直線として筋を通すべきところがグネグネ曲がる曲線思考になるんだ
>本来、そういう結論にならないのに、カーブがかかっておかしな結論に至る
こいつ楕円幾何わかってないな
ユークリッド幾何と楕円幾何の違いは、直線か円かの違い
つまり、まっすぐな線が開いてるか閉じてるか
グネグネ曲がるとかカーブとか全然関係ない
>ラグランジュ分解式の話は他人から教えてもらった 他力本願で、自力で達成したわけじゃない
ん？本を読むのも他人から教えてもらう他力本願で、自力で達成したわけじゃない、という主張？
それとも本を読むのは自力で、HPを読むのは他力？ それはおかしい判断だね
>かつ、ラグランジュ分解式を”フーリエ変換”とか、完全に誤解誤読している(”フーリエ変換”の無理解)
>(”フーリエ変換”とする説明のガロア理論のテキストは、世に一つとして存在しない。完全にガロア理論の素人の独自説にすぎない)
誰もフーリエ変換だといってないから、フーリエ変換じゃない、という理屈みたいだけど なんか他力本願だな
自分では何も判断できない幼児なのかな？
>しかも、”１のｎ乗根”についてのみについて語るが、一方クンマー拡大におけるラグランジュ分解式の役割をスッポカす
１のｎ乗根をべき根で表す件は、実はクンマー拡大の具体例だけどね もしかして、今まで全然気づいてなかった？
>クンマー拡大(とその繰り返し)の解明こそが、ガロア理論の眼目ですよ
ガロア理論は体とその自己同型群の関係と考えるなら、クンマー拡大はその外
で、クンマー拡大とその繰り返しがべき根で解けることの意味であるのはその通りだが
それならそれで１のｎ乗根をべき根であらわす話はまさにその具体例として存分に語りつくせる筈
でも全然そういう語りはなかったってことは全然わかってなかったってことだよな
自分の語りたいことだけ語りまくっても、肝心のことについて何も語らないと、分かってないと露見するいい例
440:１３２人目の素数さん
24/07/03 11:08:04.50 L6Ox7h9S.net
「１のｎ乗根をべき根で表す」が先に全然つながらないマニアックな話、
と思い込んで関心すら持たない、というのが大失敗なわけよ
面白いか否かを世間が騒いでるか否かだけで判断するのが
完全な他力本願でしかも大失敗なわけ
世間は数学分かってないんだから、そんなド素人の戯言に振り回されるのは、主体性ゼロってこと
441:１３２人目の素数さん
24/07/03 11:17:29.36 7eHOL3gE.net
ま、「箱入り無数目」を信じてるバカレベルだから。
442:１３２人目の素数さん
24/07/03 11:21:05.97 7+366NHm.net
>>377
>線形代数自身も、…何を学んだのか、覚えていない
こんなこと、ドヤ顔でいっちゃう時点で
「自分は数学には全く興味ありませんし、したがって、全然理解してませんが、何か？」
って白状してるも同じ
443:１３２人目の素数さん
24/07/03 11:23:27.65 7eHOL3gE.net
低次元トポロジーが専門ｗｗｗ
444:１３２人目の素数さん
24/07/03 11:23:52.07 7+366NHm.net
>>410
「箱入り無数目」を信じない ⇒ 選択公理を信じない ということですが
445:１３２人目の素数さん
24/07/03 11:24:39.60 7eHOL3gE.net
専門はロンパーゲームですｗｗｗ
446:１３２人目の素数さん
24/07/03 11:24:46.13 l8gcTOQa.net
ガロア逆問題とは、定められた体（特に有理数体）上で
与えられた有限群をガロア群として持つガロア拡大体が
存在するか？という問題だが、これを基礎体を固定しな
くていいなら成立は自明になるという話を昔したら、
全力で反対していたのが1。こういうのが、「自分の
知性を頼りに正しさが判断できないひと」の例。
ちなみに数学科卒で別分野専攻のひとは、証明を聞いたら
即座に「成立してます」と言っていた。
447:１３２人目の素数さん
24/07/03 11:26:22.52 7eHOL3gE.net
>>413
矢印は何意味だ？
448:１３２人目の素数さん
24/07/03 11:28:11.05 UWc
449:Yznuy.net
450:１３２人目の素数さん
24/07/03 11:29:42.27 UWcYznuy.net
>>416
選択公理 ⇒ 「箱入り無数目」
だからその対偶は以下
「箱入り無数目」が非成立 ⇒ 選択公理は非成立
高校数学だね
451:１３２人目の素数さん
24/07/03 11:32:36.92 7eHOL3gE.net
>>418
箱入り無数目の定理を書いてくれ
452:１３２人目の素数さん
24/07/03 11:36:00.20 UWcYznuy.net
>>419
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，
ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき
同値s ～ s'と定義しよう(いわばコーシーのべったり版).
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは
100本の実数列s^1,s^2，・・・，s^100を成す.
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
(代表)列r のD番目の実数rDを見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
453:１３２人目の素数さん
24/07/03 12:11:40.23 7eHOL3gE.net
>>420
与太話
454:１３２人目の素数さん
24/07/03 12:24:22.17 MWr66Mqk.net
>>421
選択公理を否定すると多くの命題の証明が大変になるから、
選択公理を否定する人は少ない
455:１３２人目の素数さん
24/07/03 12:31:23.64 7eHOL3gE.net
>>422
おっちゃんは余計ことに首をつっこまないで、オイラー数の論文書けよ
456:１３２人目の素数さん
24/07/03 12:33:06.92 7eHOL3gE.net
>>422
おっちゃんは時枝問題は成立してると信じてるんだ
457:１３２人目の素数さん
24/07/03 12:35:00.26 7eHOL3gE.net
時枝問題成立派
・ウマシカおっさん
・メンヘ
458:ル婆 ・おっちゃん ・成りすましオッサン 葬送たる顔ぶれ
459:１３２人目の素数さん
24/07/03 12:42:04.24 l8gcTOQa.net
前にいた数学科卒のひとはみんな箱入り無数目の成立
（特に記事前半の成立）は自明だと言っていた。
おっちゃんは理解して言ってるわけではない。
オイラーの定数も有理数だと言ったり無理数だと言ったり
周囲の反応も見ながら、意見をコロコロ変えている。
1も同じく自分の知性では数学の正しさが判断できず
検索かけたり空気読んだり、証明以外の情報から
確度を判定していると思われる。
460:１３２人目の素数さん
24/07/03 12:43:47.20 FFZJcOil.net
時枝問題非成立派
・１ こと いっちゃん
・ミロクボサツ こと みっちゃん
・∀（ターンエー） こと たっちゃん
どいつもこいつも頭悪そう
461:１３２人目の素数さん
24/07/03 12:44:03.66 MWr66Mqk.net
>>423
現在はパソコンのセキュリティの問題によるパソコンの買い替え時期だから、
誰かに証明を書いて送るか、早くて来年10月中旬以降
本来は arXiv に載せれば誰かが読むだろうから、それでもいい
まあ、個人的には、誰かに証明を書いて送った方が都合はいい
462:１３２人目の素数さん
24/07/03 12:46:00.91 FFZJcOil.net
おっちゃんがここに書いた「証明」があまりに酷いので何の期待もしていない
463:１３２人目の素数さん
24/07/03 12:47:09.44 7eHOL3gE.net
論破ゲームがしたいだけの三馬鹿トリオ
464:１３２人目の素数さん
24/07/03 12:49:39.95 7eHOL3gE.net
時枝問題の定理すらかけない三馬鹿トリオ、数学じゃないのよ、与太話
465:１３２人目の素数さん
24/07/03 12:51:13.72 FFZJcOil.net
>>431
「箱入り無数目」の記事の定理の証明も分からんって 中卒？高卒？
466:１３２人目の素数さん
24/07/03 12:55:00.51 MWr66Mqk.net
>>426
>おっちゃんは理解して言ってるわけではない。
箱入り無数目は確率 1－ε ではなく、確率1で勝てる
このことは ε-N の応用で示せる
>オイラーの定数も有理数だと言ったり無理数だと言ったり
>周囲の反応も見ながら、意見をコロコロ変えている。
オイラーの定数γは有理数だろうが、証明はまだ未完成である
周囲のノイズがうるさい
467:１３２人目の素数さん
24/07/03 12:55:15.02 7eHOL3gE.net
>>432
マウントｗ
468:１３２人目の素数さん
24/07/03 12:57:14.14 FFZJcOil.net
>論破ゲーム
即効三秒で論破される発言するほうがどうかとおもうけどな 1も乙も
469:１３２人目の素数さん
24/07/03 12:58:01.73 l8gcTOQa.net
「最新の本じゃなきゃダメだー」と言ってたひとも
自分の知性では正しさが判断できないのだろう。
最新の本の方が情報がアップデートされていていい
と思ってるだけ。1が自分の味方と頼りにするのには
理由があるｗ この嗅覚に関しては中々鋭いｗｗ
470:１３２人目の素数さん
24/07/03 12:58:47.94 MWr66Mqk.net
>>429
別に期待はしなくてよい
471:１３２人目の素数さん
24/07/03 12:59:05.81 FFZJcOil.net
>>434 僻むなよ 次に生まれるときは賢い奴になれるといいな
472:１３２人目の素数さん
24/07/03 13:01:26.22 FFZJcOil.net
>>436
>「最新の本じゃなきゃダメだー」と言ってたひと
>1が自分の味方と頼りにするのには理由がある
>この嗅覚に関しては中々鋭い
同類相憐れむってやつだな
473:１３２人目の素数さん
24/07/03 13:01:30.60 7eHOL3gE.net
論理のすり替えしても時枝問題にはなんら関係ない、サイコロ投げでもやってなさい
474:１３２人目の素数さん
24/07/03 13:03:00.91 7eHOL3gE.net
おっと、サイコロ投げも分からないんだっけ
475:１３２人目の素数さん
24/07/03 13:03:45.28 FFZJcOil.net
１みたいなエエカッコシイのハッタリストは５ｃｈの数学板に沢山いるかもな
大学１年の数学で挫折した悔しさからリベンジの機会をうかがってるが
地道な努力は大嫌いで国語力は小学生並み まあ無理でしょう
476:１３２人目の素数さん
24/07/03 13:04:49.55 7eHOL3gE.net
>>438
次に生まれるときは数学を勉強しなよ、ボウフラかもしれんけど
477:１３２人目の素数さん
24/07/03 13:04:58.39 FFZJcOil.net
>>440-441 選択公理 勉強しような 論理追えない君
478:現代数学の系譜 雑談 ◆yH25M02vWFhP
24/07/03 13:07:26.94 VDvstaAE.net
>>379
>お薦め
>ディラック作用素の指数定理 吉田
�
479:りがとうございます。 ディラック作用素が、分からないが・・ （＾＾ en.wikipediaがある、例のDiracの相対論的電子論 スピノルを出した 理論か 指数定理は、アティヤ＝シンガーですね https://en.wikipedia.org/wiki/Dirac_operator In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise formally an operator for Minkowski space, to get a form of quantum theory compatible with special relativity; to get the relevant Laplacian as a product of first-order operators he introduced spinors. It was first published in 1928 by Dirac.[1] https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%86%E3%82%A3%E3%83%A4%EF%BC%9D%E3%82%B7%E3%83%B3%E3%82%AC%E3%83%BC%E3%81%AE%E6%8C%87%E6%95%B0%E5%AE%9A%E7%90%86 アティヤ＝シンガーの指数定理(アティヤ＝シンガーのしすうていり、英: Atiyah–Singer index theorem)とは、スピンc多様体 の上の複素ベクトル束の間の楕円型微分作用素について、解析的指数と呼ばれる量と位相的指数と呼ばれる量とが等しいという定理である。解析的指数は与えられた楕円型微分作用素が定める偏微分方程式の解の次元を表す解析的な量であり、一方で位相的指数は微分作用素の主表象をもとにして多様体のコホモロジーを通じて定義される幾何的な量である。従って指数定理は解析学と幾何学という見かけ上異なった体系の間のつながりを与えているという意味で20世紀の微分幾何学における最も重要な定理ともいわれる。 本稿で述べる形の指数定理はマイケル・アティヤとイサドール・シンガーによって1963年に発表[1]され、1968年に証明[2] [3]が刊行された。 www.共立出版/book/b10010822.html 共立出版 ディラック作用素の指数定理 吉田 朋好 著 共立講座 21世紀の数学 全27巻 22 発売日 1998/11/25 本書ではとくに位相幾何学、微分幾何学との関連を念頭において、ディラック作用素のアティヤ・シンガー指数定理の証明、応用を紹介。 グーグル/books/about/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E4%BD%9C%E7%94%A8%E7%B4%A0%E3%81%AE%E6%8C%87%E6%95%B0%E5%AE%9A%E7%90%86.html?id=tpsbAgAACAAJ&redir_esc=y ディラック作用素の指数定理 吉田 朋好 著 本書は、“局所指数定理(local index theorem)”の証明を紹介している。全体の証明の枠組みはキュレン(Quillen)の哲学、「ディラック作用素は接続の理論の量子化である」という原理によっている。指数定理の証明は多くの人々によって簡略化の努力がなされてきた。とくに理論物理との関連からの新しい見方によって見通しがよくなった面はあるが、証明の全体は決して簡単にはなってはいない。そのために初学者は、ときに全体として何をやっているのかわからなくなってしまう危険性がおおいにありうる。そこで指数定理の概略と証明の基本的な考え方のあらましを書いた。 つづく
480:現代数学の系譜 雑談
24/07/03 13:08:04.70 VDvstaAE.net
つづき
.com/7shi/items/414fcb97c7aea6816a72
ｑｉｉｔａ
@7shi
481: ディラック作用素の代数計算 最終更新日 2018年07月26日 微分作用素の一種であるディラック作用素を実装します。代数計算に必要な要素を確認するのが狙いです。 ディラック作用素については以下の記事を参照してください。 2018.07.22 ディラック作用素と外微分・余微分 2018.07.25 ディラック作用素とラプラシアン 2018.07.26 ディラック作用素とマクスウェル方程式 この記事で作ったプログラムによる計算結果を使った記事です。 2018.07.25 ディラック作用素で2次元と4次元を計算 実装には F# を使用します。 以下の記事で紹介した手法で開発しました。 2016.12.30 F#開発環境の紹介 F#の入門記事を書いています。 2017.01.04 C#/JavaScriptで学ぶF#入門 2017.01.11 Haskellで学ぶF#入門 この記事には関連記事があります。 2016.12.15 Haskellによる代数計算入門 2016.12.14 多項式の積を計算 概要 ベクトル解析ではスカラー場の微分をgrad、ベクトル場の微分をrot/divと呼びます。 略 (引用終り) 以上
482:１３２人目の素数さん
24/07/03 13:10:02.42 MWr66Mqk.net
>>435
従来の実数論は、実数体の完備性を肯定するかしないかの話につながる
483:１３２人目の素数さん
24/07/03 13:13:36.05 bzvH2jiG.net
>>445
＞ディラック作用素が、分からないが
そもそも１は正則行列が分からんだろ
484:１３２人目の素数さん
24/07/03 13:15:41.12 bzvH2jiG.net
>>447
無限小数は0.5000…＝0.4999…みたいに0が続くものと9が続くものを同じとすれば、完備性を満たす
君にそれが証明できるかな？
485:１３２人目の素数さん
24/07/03 13:17:41.05 bzvH2jiG.net
大学１年の数学が分かってる奴なら必ず答えられる問題を
１とか乙とかみたいなワカランチンに出すと答えられず
しかもそれを認めたくないからわけのわからん文句をいう
これほど人としてみっともないものはない
わからないことが、ではない
わからないことを認められないことが、である
486:１３２人目の素数さん
24/07/03 13:20:51.37 MWr66Mqk.net
>>449
少し時間を要するが、証明は出来る
487:１３２人目の素数さん
24/07/03 13:27:51.73 bzvH2jiG.net
>>451
証明できることはわかっている
求められているのは証明そのもの
488:１３２人目の素数さん
24/07/03 14:47:43.41 GcxoBd+f.net
実数の定義を知っているかどうかを
尋ねた方が話が早いのでは？
489:１３２人目の素数さん
24/07/03 14:53:26.89 iT6wtXSk.net
>>453 ヒント与えないほうが珍回答率が高くなる
490:１３２人目の素数さん
24/07/03 15:01:00.17 VDvstaAE.net
>>445
追加
URLﾘﾝｸ(www.jstage.jst.go.jp)
roceedings of the Symposium on Representation Theory
Symposium on Representation Theory 2009
URLﾘﾝｸ(www.jstage.jst.go.jp)
素粒子論と表現論
Elementary particle theory and representation theory
佐野 茂(Shigeru SANO) ∗ ,大野成義（Shigeyoshi OHNO）† 2009年11月18日
2 ディラック方程式
この方程式のエネルギーの固有ベクトルを調べると．4つの独立な解をもつ．2つはE>0,後の2つはE<0である．この正の解は電子そして負の解は陽電子を表していたのである．さらに，角運動量は1/2であることも示されたのである．このような歴史から，ローレンツ共役性という特殊相対性原理は素粒子論の発展に大きな指針を与えてきたことが理解できる．
491:１３２人目の素数さん
24/07/03 15:22:20.21 7eHOL3gE.net
>>454
論破ゲームもそうだなｗ
492:１３２人目の素数さん
24/07/03 15:23:31.39 hGdRSUvH.net
>>454
珍解なら
自分で考えた方が
面白いのができると思うが
493:１３２人目の素数さん
24/07/03 15:32:57.75 7eHOL3gE.net
>>455
ディラック方程式は普通一階の偏微分方程式で二乗すると
494:クラインゴルドン方程式を満たすように決める。 係数は4X4行列で反交換関係を満たすことになり、γ行列になる。
495:１３２人目の素数さん
24/07/03 15:42:49.42 UWcYznuy.net
>>455
１の行動
・難しそうな言葉に脊髄反射して検索
・結果を読むも全然理解できず
・とにかくコピペして満足
このサイクルをひたすら繰り返してン十年
当然ながら脳内には何も記憶されず
496:１３２人目の素数さん
24/07/03 15:44:06.05 MWr66Mqk.net
>>450
大学一年の数学でイキっているのも何かね…
>>452
ここに書く気はしない
497:１３２人目の素数さん
24/07/03 15:49:06.85 bzvH2jiG.net
>>460 大学一年レベルの数学の誤りを指摘されて反論できない君も何か人として終わってるね もう数学で何も書かないほうがいいよ
498:１３２人目の素数さん
24/07/03 15:54:29.69 MWr66Mqk.net
>>461
10進表示された小数を見てその実数が有理数か無理数かを判定するのは、
実質的な有理数か無理数かの判定にはつながらない
499:１３２人目の素数さん
24/07/03 15:56:10.28 bzvH2jiG.net
>>462
>10進表示された小数を見て
>その実数が有理数か無理数かを判定するのは、
>実質的な有理数か無理数かの判定にはつながらない
なにわけわかんないこといってんだこいつ
500:１３２人目の素数さん
24/07/03 15:58:48.31 bzvH2jiG.net
階乗進法だと、有理数⇔有限小数
有理数だといいはるなら、階乗進法で有限小数になることを示せばいい
できるものならな
501:１３２人目の素数さん
24/07/03 15:59:39.41 MWr66Mqk.net
>>463
すべての実数は一意に10進小数表示されるから>>462がいえる
502:１３２人目の素数さん
24/07/03 16:00:39.37 VDvstaAE.net
>>415
>ガロア逆問題とは、定められた体（特に有理数体）上で
>与えられた有限群をガロア群として持つガロア拡大体が
>存在するか？という問題だが、これを基礎体を固定しな
>くていいなら成立は自明になるという話を昔したら、
>ちなみに数学科卒で別分野専攻のひとは、証明を聞いたら
>即座に「成立してます」と言っていた
・それ、全く無意味だと言っているんだよ
・まずやるべきことは、「ガロアの逆問題」をきちんと調べることよ
・そのうえで、どこまで解かれているのか？ なにが未解決で残っているのか？
・それが最優先であって、オチコボレおサルさんの妄言は無意味だってこと
・それはともかく、その”数学科卒で別分野専攻のひと”に、”箱入り無数目”を聞いてみなよ
即座に「不成立」と返してくれるだろうさ！ｗ ；ｐ）
ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E3%81%AE%E9%80%86%E5%95%8F%E9%A1%8C
ガロアの逆問題（ガロアのぎゃくもんだい、英語: inverse Galois problem）とは、全ての有限群が有理数体
Q のガロア拡大のガロア群として現れるかどうかを問う、ガロア理論の問題である。この問題は、19世紀初期にはじめて提起された[1]未解決問題である。
いくつかの置換群については、その置換群がガロア群となるような有理数体
Q の代数拡大を全て与える生成的多項式（英語版）が知られている。 例えば、次数が5以下の置換群は生成的多項式を持つことが知られている。また、位数が8の巡回群のように、生成的多項式が存在しない群が存在することも知られている。
より一般的に、任意の有限群 G と体 K に対して、ガロア群が G と同型になるようなガロア拡大体 L/Kは存在するかを問う問題も考えられる。そのような体 L が存在するとき、G は K 上実現可能であると言う。
en.wikipedia.org/wiki/Inverse_Galois_problem
Inverse Galois problem
en.wikipedia.org/wiki/Generic_polynomial
Generic polynomial
（「有限単純群の分類問題について」が分かり易くていい！）
sites.google.com/view/ntss2019/
2019年度第27回整数論サマースクール
「構成的ガロア逆問題と不変体の有理性問題」
niigata-u.repo.nii.ac.jp/records/33655
9. 有限単純群の分類問題について・・・・・・・・・・・・・・・141
田中康彦（大分大学）
503:１３２人目の素数さん
24/07/03 16:01:50.44 bzvH2jiG.net
>>465
＞すべての実数は一意に10進小数表示される
また、間違った
反例
1.000…＝0.999…
もし完全に一意的な表示が可能だとすると、実数の完備性を満たさない
504:１３２人目の素数さん
24/07/03 16
505::07:09.88 ID:MWr66Mqk.net
506:１３２人目の素数さん
24/07/03 16:10:17.37 bzvH2jiG.net
>>466
(ガロア逆問題)
>>与えられた有限群をガロア群として持つガロア拡大体が存在するか？
>>基礎体を固定しなくていいなら成立は自明になる...
>それ、全く無意味だと言っているんだよ
１は「ガロア理論の基本定理は全く無意味」と言い出した！
ガロア理論の基本定理
「体の有限次ガロア拡大 E/F が与えられると、
その中間体とガロア群 Gal(E/F) の部分群の間に一対一対応が存在する」
「Gal(E/F) の任意の部分群 H に対し、対応する体は普通 EH と書かれ、
これは全ての H の自己同型により固定される E の元の集合である。」
「E/F の任意の中間体 K に対し、対応する部分群は、単に Aut(E/K) であり、
これは全ての K の元を固定する Gal(E/F) に属する自己同型の集合である。」
>まずやるべきことは、「ガロアの逆問題」をきちんと調べること
>そのうえで、どこまで解かれているのか？ なにが未解決で残っているのか？
>それが最優先であって、・・・
まず、「君」がやるべきことは、ガロア理論の基本定理のステートメントをきちんと読むこと
それが最優先
507:１３２人目の素数さん
24/07/03 16:12:01.91 bzvH2jiG.net
>>468
>>反例
>>1.000…＝0.999…
>これは反例とはいわず、お約束のし方の問題
詭弁 お約束を書けなかった君の負け
高校数学からやりなおしたほうがいい
508:１３２人目の素数さん
24/07/03 16:13:51.03 bzvH2jiG.net
>>466
>”数学科卒で別分野専攻のひと”に、”箱入り無数目”を聞いてみなよ
>即座に「不成立」と返してくれるだろうさ！
なんでそんなにムキになって「箱入り無数目」を否定したがるのかわからないが
単に君やその仲間が選択公理を全然理解できてないだけのこと
選択公理 勉強しな
509:１３２人目の素数さん
24/07/03 16:14:20.68 MWr66Mqk.net
>>470
こういう些末なことに一々こだわるのは、高校教師位
510:１３２人目の素数さん
24/07/03 16:19:13.02 bzvH2jiG.net
>>472
些末なことに不注意な君は、高校教師にもなれんね
511:１３２人目の素数さん
24/07/03 16:22:31.25 bzvH2jiG.net
ガロアの逆問題
楕円モジュラー関数を使った構成
URLﾘﾝｸ(ja.wikipedia.org)
n > 1 を任意の整数とする。
複素平面上の格子 Λ の周期の比を τ とすると、
この格子は周期の比が nτ であるような部分格子 Λ′ を持つ。
そのような部分格子の集合は有限集合であり、
Λ の基底変換によりモジュラー群 PSL(2, Z) が作用している。
j をフェリックス・クラインの楕円モジュラー関数 とする。
多項式 φn を、共役な部分格子にわたって (X － j(Λi)) の積をとったものとして定義する。
X の多項式として、φn は 𝑄係数のj(τ)の多項式を係数としている。
互いに共役な格子の集合に、 モジュラー群は PGL(2, Z/nZ) として作用している。
これから、φn の 𝑄(J(𝜏))上のガロア群は PGL(2, Z/nZ) と同型であることがわかる。
ヒルベルトの既約性定理を使うことにより、多項式 φn を特殊化したときの
𝑄上のガロア群が PGL(2, Z/nZ) となるような有理数が無限（更に、稠密）に多く存在する。
群の族 PGL(2, Z/nZ) には無限に多くの非可解群が含まれている。
512:１３２人目の素数さん
24/07/03 16:24:43.74 MWr66Mqk.net
>>473
高校教師になる気はない
大学以降の解析の本は 1.000…＝0.999… なること位は知らないと読めない
1.000…＝0.999… の両辺は有理数である
513:１３２人目の素数さん
24/07/03 16:38:07.57 jnnV4MsW.net
>>475
＞高校教師になる気はない
なる気があっても務まらんよ
＞大学以降の解析の本は 1.000…＝0.999… なること位は知らないと読めない
逆に000…と999…以外の箇所は一意、というのは証明できるかい？ 君
＞1.000…＝0.999… の両辺は有理数である
有理数だからといって必ず000…と999…となるわけではないのは分かってるかい？ 君
514:１３２人目の素数さん
24/07/03 16:45:18.17 MWr66Mqk.net
>>476
>＞大学以降の解析の本は 1.000…＝0.999… なること位は知らないと読めない
>逆に000…と999…以外の箇所は一意、というのは証明できるかい？ 君
一意ではない有理数が存在すると仮定して矛盾を導くことで、背理法で証明出来る
>＞1.000…＝0.999… の両辺は有理数である
>有理数だからといって必ず000…と999…となるわけではないのは分かってるかい？ 君
知っているよ
515:現代数学の系譜 雑談 ◆yH25M02vWFhP
24/07/03 16:46:53.87 VDvstaAE.net
>>419-421
>箱入り無数目の定理を書いてくれ
>与太話
与太話に同意
１）まず 選択公理の使用は、測度論の裏付けの保証がない
よって、選択公理を使用した確率99/100に測度の裏付けがあるかどうかは
十分注意すべきで、実際 箱入り無数には、測度の裏付けがないのです！
２）実際、このことは小学生でもわかることだが
いま、簡単に有限n個の箱の列から始めよう
箱には、任意の実数r∈Rが入るが、いま簡単に有限区間 r∈[0,1]の任意実数を入れる
箱入り無数同様にしっぽ同値類と決定番号を考える
有限n個の箱の列が100列あり、それらの決定番号がd1,・・,d100 とする(1≦di≦100である)
問題列 Si = (si1，si2，si3，・・，si100) i=1～100 とし
代表列 Ri = (ri1，ri2，ri3，・・，ri100) i=1～100 とする
とすると、この二つの列は 決定番号の定義より di以降100番目までの箱の中の数が一致していることになる
３）箱入り無数は、決定番号がd1,・・,d100 の大小関係から
diが最大値 dmax=max(d1,・・,d100) である確率は 1/100であるから
diを知って、di+1番目以降の箱を開けて、同値類を特定し 代表列 Riのridiを知り
それをもって 『ridi＝sidi』と唱えることで、確率99/100以上で箱の数が的中できるという
４）問題は、区間 r∈[0,1]の任意実数を入れ
しっぽ同値類で、100番目の箱の数の一致を得たときに
その一つ前の99番目の箱の一致の確率が0になることだ
つまり、決定番号 d1,・・,d100 の大小関係を考えるというのが、全くの架空のおとぎ話になるのです
しっぽ 100番目の箱の数の一致が分かっても、代表の99番目と 問題の列99番目とが一致する確率0
５）さて、上記は 簡単に有限n個の箱の列で論じて
決定番号 d1,・・,d100 の大小関係を考えるというのが、全くの架空のおとぎ話だということを立証した
６）では、n→∞のときはどうか？
普通に考えて、上記２）～４）の類似問題が存在する
百歩譲っても、箱入り無数目にきちんとした
測度論の裏付けのある数学的な議論になっていないことは
明らかです ；ｐ）
よって、『箱入り無数目＝与太話』に同意です！！ ；ｐ）
516:１３２人目の素数さん
24/07/03 16:47:29.07 MWr66Mqk.net
そもそも、教師の免許を持っていない
517:１３２人目の素数さん
24/07/03 16:52:58.94 UWcYznuy.net
>>478
>まず 選択公理の使用は、測度論の裏付けの保証がない
確率空間の取り方が不適切
回答者が選ぶ列の番号だけが確率事象だとすれば問題は解決する
>いま、簡単に有限n個の箱の列から始めよう
無意味
「箱入り無数目」が有効なのは箱が無限個ある場合
>問題は、区間 r∈[0,1]の任意実数を入れ
>しっぽ同値類で、100番目の箱の数の一致を得たときに
>その一つ前の99番目の箱の一致の確率が0になることだ
>つまり、決定番号 d1,・・,d100 の大小関係を考えるというのが、全くの架空のおとぎ話になるのです
>しっぽ 100番目の箱の数の一致が分かっても、代表の99番目と 問題の列99番目とが一致する確率0
なにいってんだか意味不明 根本的に混乱したままわけわからんことわめいてるとしか思えん
518:１３２人目の素数さん
24/07/03 16:55:20.50 UWcYznuy.net
>>478
>では、n→∞のときはどうか？
>普通に考えて、上記の類似問題が存在する
そもそも「問題は・・・」以降の文章が意味不明
箱ｎ個といってるのに、なぜか突然100番目とか言い出す
記憶すらできないのか？ それじゃ数学は不可能
519:１３２人目の素数さん
24/07/03 16:57:00.76 UWcYznuy.net
有限ｎ個の列の場合、決定番号がｎだったらその先の尻尾がない
だから選んだ列の代表がとれない
だからいってるだろう
有限列では「箱入り無数目」は失敗すると
520:１３２人目の素数さん
24/07/03 16:58:08.24 UWcYznuy.net
＞『箱入り無数目＝与太話』に同意
君の説明こそ与太話である、に大多数の数学科出身者が同意
521:１３２人目の素数さん
24/07/03 17:00:20.10 UWcYznuy.net
◆yH25M02vWFhP は「箱入り無数目」の確率事象と確率空間も誤解してる
記事の文章を読解する国語力が欠如しているといわざるをえない
522:１３２人目の素数さん
24/07/03 17:08:35.78 7eHOL3gE.net
定理が書けないのは国語の問題か、ウマシカオッサンは小学校からやり直し
523:１３２人目の素数さん
24/07/03 17:19:47.49 7eHOL3gE.net
ウマシカオッサン、メンヘルババア
時枝問題は文章題です。正しく解釈できないとXです。
524:現代数学の系譜 雑談
24/07/03 17:40:04.86 VDvstaAE.net
>>478 補足
”箱入り無数目”へのリンク下記です
ｽﾚﾘﾝｸ(math板)
スレタ
525:イ 箱入り無数目を語る部屋19 >>480 >>まず 選択公理の使用は、測度論の裏付けの保証がない >確率空間の取り方が不適切 >回答者が選ぶ列の番号だけが確率事象だとすれば問題は解決する いやいや それダメでしょう 「回答者が選ぶ列の番号だけが確率事象だとすれば問題は解決する」 に対する きちんと測度の裏付けある証明がないという指摘なのですよｗ ；ｐ）
526:１３２人目の素数さん
24/07/03 17:44:20.49 MWr66Mqk.net
>>487
箱入り無数目は測度論的な確率論の問題ではない
527:１３２人目の素数さん
24/07/03 17:57:43.65 7eHOL3gE.net
小学校の問題
18÷0はいくつでしょう？
528:１３２人目の素数さん
24/07/03 19:29:19.61 Vc0M1roC.net
>>487
>「回答者が選ぶ列の番号だけが確率事象だとすれば問題は解決する」
>に対する きちんと測度の裏付けある証明がないという指摘
測度は回答者が決める
第１列から第１００列までそれぞれ測度1/100だと決めればそれが証明
（完）
529:１３２人目の素数さん
24/07/03 19:41:13.44 Vc0M1roC.net
>>412
＞低次元トポロジーが専門・・・
低次元トポロジーは容易かつ完全に解決した過去の遺物とでもいいたげのようだが
3次元4次元は5次元以降の高次元トポロジーよりも複雑怪奇である
例１
４次元R^4は非可算無限個の微分可能構造を持つ（他の次元は１種類しかない）
例２
３次元ホモロジー球面のホモロジー同境群のrankが無限大
どっちもゲージ理論を使って証明された（上はTaubes 下は古田）
両者が関係があるかどうかも不明
530:１３２人目の素数さん
24/07/03 19:51:31.30 7eHOL3gE.net
>>491
そんなことは言っていない、最近の話題を振っただけ
>低次元トポロジーは容易かつ完全に解決した過去の遺物とでもいいたげのようだが
>3次元4次元は5次元以降の高次元トポロジーよりも複雑怪奇である
531:１３２人目の素数さん
24/07/03 19:51:38.81 Vc0M1roC.net
3-manifoldと絶対Galois群はいろいろ関連がある、という人もいる
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
532:現代数学の系譜 雑談
24/07/03 20:16:36.35 m6QlAukJ.net
>>490
＜繰り返す＞
ｽﾚﾘﾝｸ(math板:887番) (スレ18)
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる
このスタートラインに立てない
数学科オチコボレさんを相手にしても、しかたないｗ ；ｐ）
533:１３２人目の素数さん
24/07/03 23:38:49.32 pzmjdiRp.net
>>492
最近の話題？
534:１３２人目の素数さん
24/07/03 23:46:22.65 7eHOL3gE.net
>>495
最新の結果は？
535:現代数学の系譜 雑談
24/07/03 23:52:09.17 m6QlAukJ.net
>>493
>3-manifoldと絶対Galois群はいろいろ関連がある、という人もいる
>URLﾘﾝｸ(www.math.chuo-u.ac.jp)
ご苦労さまです
それ、森田茂之先生だね
旧ガロアスレで紹介したことがある（リンク貼っただけですが）
全体は下記ですね（「講義録（第 1 回目から第 20 回目まで）」の17～19です）
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
中央大学
2012
微分トポロジーの研究と展望等について, 森田茂之氏（東大・名誉教授）に自由に講演していただきます. 全10回程度の講演を予定しています.（実際は22回）
テーマ: 「特性類と不変量」
全体への梗概:
向き付けられた閉曲面に対するガウス・ボンネの定理は, ガウス曲率の総和とオイラー数との間の密接な関係を与える美しい定理である. 現代幾何学は, これをさまざまな形に一般化しつつ発展してきた. その中で中心的な働きをしてきたのは, 特性類と不変量という考え方である. この講義では, これらの道筋をいくつかのトピックスを取り上げつつ概観する. そして後半では, 新しい不変量をいかにして作るかについて, 現在研究中の一つの方法を述べる. コンピュータによる実験的な計算なども例示する予定である.
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
講義録（第 1 回目から第 20 回目まで）
第21回
日時: 2013年3月6日（水） 16:30-18:00（6301号室：6号館3階）
第22回
日時: 2013年7月10日（水） 16:30-18:00（教室未定）
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
森田茂之氏による特別講演：新シリーズ（ENCOUNTERwithMATHEMATICS番外編）
2013年秋から、全体を仕切りなおして新シリーズを開始します．
トポロジーの課題探訪 —特性類と不変量を中心として—
第1回 - 第3回への副題：葉層の特性類を巡る三つの謎
資料
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
講義録（新シリーズ第1〜11回分）
新シリーズ第12回
日時：2014年12月17日（水）16:30--18:00（6326号室：6号館3階）
「写像類群と数論」
新シリーズ第13回
日時：2015年1月14日（水）16:30--18:00（6326号室：6号館3階）
「高次元多様体のモジュライへの一般化」
536:１３２人目の素数さん
24/07/04 05:37:29.70 QgYRLzzi.net
>>497
＞・・・先生だね
また ◆yH25M02vWFhP は数学者に媚びへつらってるね
数学者は代議士じゃないよ
センセイ呼ばわりは・・・侮蔑
537:１３２人目の素数さん
24/07/04 06:37:57.07 rVX7gjYh.net
>>496
Matsumoto^Ashikagaとか
538:１３２人目の素数さん
24/07/04 06:38:42.78 rVX7gjYh.net
訂正
Matsumoto-Ashikaga
539:１３２人目の素数さん
24/07/04 09:29:20.22 7jBmKUQn.net
URLﾘﾝｸ(www.navitime.co.jp)
540:１３２人目の素数さん
24/07/04 09:58:06.93 y/IxkdLu.net
URLﾘﾝｸ(doi.org)
541:１３２人目の素数さん
24/07/04 15:56:35.24 0Sigyz5O.net
>>499-502
レベルが高すぎでついていけませんが
下記貼っておきますね
URLﾘﾝｸ(nrid.nii.ac.jp)
KAKEN
足利 正
URLﾘﾝｸ(kaken.nii.ac.jp)
リーマン面と低次元多様体
研究代表者松本 幸夫
2014 – 2017
研究成果の概要
リーマン面のモジュライ空間の自然なコンパクト化としてドリーニュ・マンフォードコンパクト化（DMコンパクト化）知られている。本研究の主な成果は、DMコンパクト化の上に、自然なオービフォールド・チャートからなるアトラスを具体的に構成したことである。これらのチャートは「ハーヴェイのカーヴ複体」を構成する単体達によりインデックスが付いている。この結果の副産物として、最大次元の単体によりインデックス付けられたオービフォールド・チャートに、高次元ユークリッド空間の「結晶群」が付随することを発見した。モジュライ空間のコンパクト化に結晶群が付随することの理論的な意味については将来の研究課題としたい。
URLﾘﾝｸ(kaken.nii.ac.jp)
4次元多様体とリーマン面
研究代表者松本 幸夫
2008 – 2011
研究概要
閉曲面に複素構造を入れたものをリーマン面という。リーマン面の同型類はモジュライ空間と呼ばれる複素軌道体をなし、それに「境界」を付け加えてコンパクトにすることができる。おもな研究成果は、コンパクト化されたモジュライ空間上に「リーマン面の普遍退化族」が構成できたことである。論文は準備中であるが、この成果はリーマン面によるファイバー構造を持つ4次元多様体の研究に多くの応用が期待できる。
URLﾘﾝｸ(www.math.titech.ac.jp)(2013)/Graduate/Special_Lectures_on_Mathematics_D_II.html
数学特別講義Ｄ 東工大H25(2013)
担当 足利正
【講義の目的】
この分野は1963年のKodairaによる楕円曲線の退化族の研究をその源流とするが,
その後多くの数学者により様々な方法が取り入れられ, 現代的な複合分野として
発展して来ている。ここではその入門的な内容から始めて最近のトピックに至る
までを,多くの例を交えながらできるだけ丁寧に講義したい。
【講義計画】
１．導入
２．楕円曲線の退化：
Kodaira による分類とJ関数を用いる退化族構成, 2重被覆とADE特異点を用いる構成等
３．種数2以上の曲線の退化：
位相モノドロミーの性質, Matsumoto-Montesinosの定理を用いる分類,
与えられたモジュライ写像芽とモノドロミーを持つ退化族構成等
４．未解決問題群とそれに対する注意
【教科書・参考書等】
教科書は特に使用しませんが全般的なサーベイとして以下の２点をあげます：
(i) T.Ashikaga and K.Konno; Global and local properties of pencils of algebraic curves,
dv.St.Pure Math.36 (2002), 1—49.
(ii) 足利正, 遠藤久顕; リーマン面の退化族の諸相, 数学 56 (2004), 49—72.
なおこれらに盛られたもの以外の参考文献は講義中に示唆します。
【関連科目・履修の条件等】
代数曲線の初歩, ホモロジーとコホモロジーの初歩的知識程度を仮定します。
URLﾘﾝｸ(researchmap.jp)
足利正(Tadashi Ashikaga)