今回は解析学の基本となる実数の連続性についての説明となる。 まずはDedekindの公理から見ていこう。 公理2.1(Dedekind) 実数の部分集合A⊂Rが次の二つの条件を満たすとする。 (D1)A≠Φ、A≠R (D2)a∈Aであれば∀b>aに対してb∈A ⇒∃α∈A s.t. A=[α, +∞) or A=(α, +…