僕なりの実数構成法

はじめに

最近、今まで学んだ数学の復習をしている。解析の復習をしていたら、過去に躓いたまま放置していた「実数の構成」にぶち当たった。当時は無理だったが、あれから僕の数学力もある程度上昇した。今なら理解できるだろう。そう思って開いた解析学の講義PDF。さっぱり理解できん。やはりあれから数学力など微塵も上昇しては無いのだろうか。しかしここで諦めるわけにはいかない。だけど何度読んでも理解できない。そんな僕がたどり着いた結論はこうだ。
「理解できないなら自分で作ればよくね」
数学弱者の壮絶な冒険が今、はじまる。

僕なりの構成法

ペアノの公理から始まる自然数から有理数までの構成は認めるものとしよう。

一見これでよさそうに見える。が、無理数の性質を利用するならもっと簡単な定義がある。

これらの定義や一般に用いられる定義との同値性について、僕はまだ証明できてない。証明出来たら続きを書こうと思う。

追記

指摘に基づき、一部記法を訂正しました。