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

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

877: １３２人目の素数さん [] 2024/12/31(火) 16:09:36.88 ID:AlJH/MnG

>>873
>「あくまで数学の基礎で地下部分
>　これで地上の普通の数学をやろうという人はいません
>　不自由すぎる」
>とほざきそう　ブルバキが聞いたら嘆くぞ

ふっふ、ほっほ
大学数学科2年で詰んで
3年からオチコボレさんなら、ブルバキ読んでないよねｗｗｗ ；ｐ）

実際、ZFCスレにも書いたけど
ZFC内で、円周率πの近似値 3.14を、まともにノイマン順序数で書いたら
3 = {Φ, {Φ}, {Φ, {Φ}}}
1 = {Φ}
4 = {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}
なので
π≒{Φ, {Φ}, {Φ, {Φ}}} . {Φ} {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}
となります ；ｐ）

ことほどさように、ZFC内は全てが空集合Φから組み立てられて
基礎論としては、美しい

しかし、数学の地上の部分は、ZFC以前に多くの部分が出来上がっているのです
ガウスとかリーマンとかの活躍で、すでに多くの部分が出来上がっているのです

それを全部 π≒ {Φ, {Φ}, {Φ, {Φ}}} . {Φ} {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}
で書き直すアホは、おりません！！ ｗ ；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96
ツェルメロ＝フレンケル集合論
選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択 (Choice) 公理を[1] 、 ZFは選択公理を除いたツェルメロ (Zermelo)＝フレンケル (Fraenkel) 集合論の公理を表す。

7. 無限公理
最初のフォン・ノイマン順序数
0 = {} =Φ
1 = {0} = {Φ}
2 = {0, 1} = {Φ, {Φ}}
3 = {0, 1, 2} = {Φ, {Φ}, {Φ, {Φ}}}
4 = {0, 1, 2, 3} = {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}

http://rio2016.5ch.net/test/read.cgi/math/1724969804/877

882: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2024/12/31(火) 16:53:08.19 ID:AlJH/MnG

>>878 補足

いまや、古文書で 伝説と化した ブルバキ
検索でいつもの 下記 斎藤毅 ブルバキと「数学原論」がヒットします
チラ見すれば、ブルバキがどんなものかが、分る！

ブルバキ流が、ガチガチのZFCではない
もっとスケールの大きなものでした

が、21世紀の数学は、そのスケールの大きなブルバキさえ 越えて広がってしまったのですｗ ；ｐ）
（なので、斎藤毅先生自身が、『数学原論』を書いてしまいましたとさ （＾＾ ）

(参考)
https://www.ms.u-tokyo.ac.jp/~t-saito/jd.html
斎藤毅
https://www.ms.u-tokyo.ac.jp/~t-saito/jd/bourbakib.pdf
ブルバキと「数学原論」数学セミナー2002年4月号
2. ブルバキの誕生.
ブルバキは1934年A.ヴェイユとH.カルタンの間に生まれ,1939年に「数学原論」の最初の巻「集合論要約」を出版. 以後1950年代末までに「数学原論」のうち「集合論」, 「代数」,「位相」,「実一変数関数」,「位相線型空間」,「積分」からなる第1部を完結. その後もペースは落ちたものの,ひきつづき第2部の「リー群とリー環」,「可換代数」,「スペクトル論」,「多様体」と,第1部の改訂版の出版をつづける. この他, 毎年3回ブルバキ・セミナーを主催,というのがブルバキの略歴です

ブルバキ誕生のいきさつは「A.ヴェイユ自伝」(稲葉延子訳,シュプリンガー・フェアラーク東京)などによると,次のようです. 1930年代, ストラスブール大で微積分を教えていたヴェイユとカルタンは,その教え方について議論を重ねていました. 何度となく繰り返される議論にケリをつけるため,彼らは,微積分をきちんと基礎付けた教科書を, 仲間を集めて書くことにしました. そのころの数学書には,厳密さがそれ以前よりずっときびしく求められるようになってきていたのですが,当時のフランスの微積分の教科書には,この要請をみたしているものがなかったのです.彼らの計画は, 微積分の基礎付けという最初の目的から, 数学全体の基礎付けへとすぐに大きくふくらんでいきました. 彼らの本の題は,ユークリッドの「原論」にちなんで,「数学原論」に決まりました. ユークリッドの「原論」は,内容はギリシャ数学全般にわたり, 記述は正確で厳密なことで知られます. 彼らは,現代の数学の「原論」を書くことにしたのです

3. 「数学原論」
はじめは微積分の教科書を書こうとしていたはずなのに,実数が登場するのは,「位相」の第4章,「集合論」から数えて12冊目の後半です. 微分の定義は「実一変数関数」ですから,なんと16冊目です.ではなぜ彼らはこういう文体,構成をとったのでしょうか. それは,彼らが目標とした, 正確さ, 厳密さを確保するための方法によるものなのです. それがどういうものであるかは, 各分冊の最初のページにある,「この本の使い方」に書かれています. いくつか抜粋します.「この原論は数学をその第一歩から取扱い,完全な証明をつける」「叙述の仕方は公理的,抽象的であり,原則として,一般から特殊へと進む」「内容は原則として厳密に定められた論理的順序に従って配列される」「すでに広い知識を持合わせている読者にしかその効用がわからないような事柄も含まれている」完全な証明をつけるのですから,図などを使って読者の直観に訴えるのは反則なのです

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724969804/882

883: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2024/12/31(火) 16:54:09.14 ID:AlJH/MnG

つづき

定義の動機づけや,定理や命題のもつ意味の説明がないのも,それを厳密に述べようとすれば, 結局は理論を展開するほかないからでしょうか. とはいっても,こんなふうに突き放されてしまうと,初心者にはつらいものがありますね.彼らが「数学原論」の記述に採用したのは,公理的方法とよばれるものです. 例えば, 数直線,リー群,代数多様体,関数空間,p進体など,さまざまな数学的対象がある共通の位相的性質をもつことを証明したいとしましょう. そのときこの方法では,1つ1つの対象に対して同じような証明をくりかえすなどということはしません. そうではなく, まずこれらの対象が共通にもつ性質を抽出し,それを少数の命題からなる位相空間の公理としてまとめます. そして,この公理から問題となっている性質を導きだすことによって,いっぺんに証明をすましてしまうのです. 公理的方法は抽象的なものですが, 数学のさまざまな分野を結びつける力をもった強力なものです. 「数学原論」では,この方法が極端なまでに組織的に, そして厳格に貫かれています. 1つ1つの定義,命題が徹底的な検討を経て定式化され,そしてそれらが,論理的順序に従い,整然と秩序だって並べられています. 「集合論」,「代数」,「位相」,... という構成も, そうして定まったものなのです. 彼らは自分たちの原則に忠実にしたがい,考え抜かれた緻密な構成と, 明晰で厳密な論証をもつ数学書を,次々と作り出していったのです.

「数学原論」の数学的内容について,もう少しだけ立ち入ってみたいと思います. というと,「構造」についてふれるのがほとんど定番のようになっています. しかしここでは, ブルバキが線型代数を重視したことに注目したいと思います. このことは,彼らがモデルとしたに違いない,ファン-デル-ヴェルデン「現代代数学」と比べてみるとよくわかります. 「数学原論」では,線型代数と多重線型代数はそれぞれ,「代数」の巻の第2章, 第3章の主題です. 一方「現代代数学」では,線型代数は最後の巻である第3巻の後半,第15章になってようやく現れ,多重線型代数はでてきません. ブルバキは,数学全体の基礎を集合論に求めましたが,代数の基礎は線型代数においたのです. こうすることにより,「現代代数学」ではばらばらに扱われていた,イデアル,線型空間,拡大体, アーベル群, 線型表現などが体系的に扱われることになりました. 例えばガロワ理論は, 拡大体のテンソル積の構造から見通しよく導き出されますし,行列式も,外積代数を使って鮮やかに定義されます. ブルバキはこのように,線型代数は数学を支える大きな柱であることを主張しました. 線型代数は,当時勢いよく発展しつつあったホモロジー代数とともに,その占めるべき本来の位置を数学の中にとりもどしたのです. 40 年代,50年代に「数学原論」の各巻が次々と出版されると,それは数学界に大きな反響をまきおこしました. 反発を感じる数学者も多かったようですが, それ以上に,積極的に幅広く受け入れられていったのです. 数学全体を公理的集合論の上に厳密に基礎付ける, というヒルベルト以来の夢を現実にしたことも,その一因でしょう. しかし本当の理由は,そういうメタ数学的なものではないと思います.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724969804/883

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

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

ぬこの手ぬこTOP 0.114s*