>>159 補足

10年ほど前から、なんども旧ガロアすれで紹介した
九州大 原隆先生 実数の構成に関するノート 2007 ホイヨ

(その前は、落合理先生が 阪大助教授時代に アップしてくれていた 実数の構成 pdfファイルがあって それを使っていたが
先生は、東工大の教授に行かれて ホームページにあったいろいろなpdfが 参照できなくなったのは 残念です。代わりに原隆先生をば )

(参考)
https://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
実数の構成に関するノート∗原 隆 (九州大学数理学研究院)
Lastupdated: Juy10,2007
概要
これは僕の微積の講義ノートの付録として,また「数学II」の補助ノートとして,実数論の初歩を書いたものです.具体的には「有理数の切断」としての実数の構成を2章で,また「コーシー列の同値類」としての実数の構成を3章で論じた後,両者が基本的に同値なものである事を4章で述べました.そのあと,更に舞台を拡げて,実数の公理を満たす体は本質的に一つに決まることを簡単に5章で説明してあります.

(参考)
https://www2.math.kyushu-u.ac.jp/~hara/
原隆(数理物理学)九州大学

https://www2.math.kyushu-u.ac.jp/~hara/lectures/lectures-past.html
2007年度の講義
数学II(理系コア科目)
 (理系)1,2年向け,2007年度春学期,毎週月曜4限 より詳しいページへ

https://www2.math.kyushu-u.ac.jp/~hara/lectures/07/core07.html
数学II (理系コア科目)

実数についてのプリントの書きかけ(2007.07.10 改訂版) (PDF file, 676KB)
これは去年の講義の参考資料として 作ったもので,4回目くらい以降に役に立つでしょう.一杯ミスがあると思うので,そのつもりで ご覧下さい.内容は今までのものとあまり変わってませんが,旧版では数の「切断」というべきところが 「分割」となっていたところが多かったので(指摘してくれた学生さん,どうもありがとう)それを「切断」に 統一しました.このミスで混乱した学生さん,申し訳ありません.深くお詫びします.
配布プリントの中には,もしかしたら単純なタイプミスや計算間違いがあるかもしれません. このようなものはない方が良いのは当たり前ですが,実際問題として少々のミスが混入する事を 防ぐ事は不可能です.この点はご了承の上,ご利用ください.