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

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

562: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/02(金) 10:20:09.49 ID:s/7BO1KV

>>559
5ch 数学便所板には
へんなやつがいるなｗ ；ｐ）

こんな場末の便所板で、実数論を白紙の状態から議論する態度がおかしくね？
例えば、>>446より再録

https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_16.pdf
TAIKEI-BOOK :2019/1/1(22:21)
第16章整数・有理数・実数
前章では順序数を用いて自然数を定義しペアノの公理によって自然数を特徴づけたさらに自然数に加法・乗法・順序を導入して代数系としての基本的な性質を証明した本章では代数系の観点から自然数を拡大して整数と有理数を導入しデデキントの切断を用いて実数を構成する
(引用終り)

ここにあるように、実数論は約150年の歴史がある
歴代のトップの数学者たちがそれぞれ数十年の心血をそそいで
実数とは何かを 論じたのです

その上澄みが 尾畑研 ”第16章整数・有理数・実数”
例えば、これを土台に議論すれば良いだろう
（便所板で、素人同士で 数日ないし数週間限りのヨタった議論をしても 時間の無駄）

さて、尾畑研 ”第16章整数・有理数・実数”
P247 16.3 実数
とあって
・デデキントの切断
P255
・実数の連続性
定理16.20(デデキントの連続性定理)
P256
・極限
定理16.22 (有界な単調列の収束)
定理16.23(区間縮小法の原理)
P258
・実数の無限小数展開
とつづくのです

さて
デデキントの切断 をコーシー列に置き換える議論は
　>>446より
https://www2.math.kyushu-u.ac.jp/~hara/index-j.html
https://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
実数の構成に関するノート∗原　隆　（九州大学数理学研究院）
九州大学2006,2007年春学期「数学II」「微分積分学・同演習A」への補足
これで
3実数の構成ふたたび（有理数の完備化による）22
3.2コーシー列による実数の定義. . . . . . . 22
4実数の２つの構成法の同等性44
5実数の一意性53

などを補えばいいっぺ
落ちコボレさんは、上記を百回音読してねｗ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1744899342/562

719: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/03(土) 13:05:18.47 ID:hWSy8C+R

つづき

>>562より
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研 「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_16.pdf
TAIKEI-BOOK :2019/1/1(22:21)
第16章整数・有理数・実数
前章では順序数を用いて自然数を定義しペアノの公理によって自然数を特徴づけたさらに自然数に加法・乗法・順序を導入して代数系としての基本的な性質を証明した本章では代数系の観点から自然数を拡大して整数と有理数を導入しデデキントの切断を用いて実数を構成する

>>446より
https://www2.math.kyushu-u.ac.jp/~hara/index-j.html
https://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
実数の構成に関するノート∗原隆（九州大学数理学研究院）
九州大学2006,2007年春学期「数学II」「微分積分学・同演習A」への補足
これで
3実数の構成ふたたび（有理数の完備化による）22
3.2コーシー列による実数の定義. . . . . . . 22
4実数の２つの構成法の同等性44
5実数の一意性53

>>316より
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
By Terence Tao
There’s more to mathematics than rigour and proofs July 2016 (1)
3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
(google訳)
3. 「ポスト厳密」段階。この段階では、選択した分野の厳密な基礎知識すべてに慣れ、厳密な理論によってしっかりと裏付けられた直感を用いて、その分野における厳密化以前の直感を再検討し、洗練させる準備が整っています。
この段階では、応用、直感、そして「全体像」に重点が置かれます。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1744899342/719

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

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

ぬこの手ぬこTOP 0.031s