\(\sqrt 2\)が実数として存在することをどう証明する?

解析学 第Ⅰ章「実数と連続」②

前回,有理数では説明のできないルートなどを説明しようと実数の連続性公理を約束毎と決めました.今回は実数の定義を行い,\(\sqrt 2\)が存在することを保証します.つまり,四則演算や実数の連続性公理さえ認めてれば,矛盾なく解析学の体系を説明できるということです.

続きを読む →

実数の連続性とは?連続性公理をデデキント切断とワイエルシュトラスの公理からわかりやすく解説


解析学 第Ⅰ章「実数と連続」①

微分積分自然科学を語る上で無くてはならない宇宙の共通言語です.微分積分は高校数学で習いますが,実数や収束について厳密ではありません.本稿では,(自らの理解のために)実数の公理からはじめて,収束や微分・積分を定義し,項別微積分,広義積分等を厳密に理解することを目標とします.

続きを読む →