スマホで実数

実数・実数体についての下記項目に、スマホ向け設定を追記。

• 実数体・実数：
• 実数体・実数の定義（実数の公理）
• デデキントの連続性公理:切断、切断と最大元・最小元、デデキントの連続性公理、
• 実数体上の順序概念：
  • 最大元max･最小元min、上界･上に有界、下界･下に有界、有界
  • 上限sup･最小上界lub、m=supAの必要十分条件、supとmaxの関係
  • 下限inf･最大下界glb、m=infAの必要十分条件、infとminの関係
• 実数の小数表示
  • 定義：「実数に随伴する数列/整数列」「実数の十進近似列」
  • 性質：「実数に随伴する数列/整数列」の性質/実数の十進近似列が満たす性質
  • 定義：「実数の十進小数展開」「実数の十進小数表示」
• 実数の加法の性質：
  • 定義：反数、差
  • 性質：結合則、可換則、0との和の性質、反数との和の性質、差の性質
• 実数の乗法の性質：
  • 定義：逆数、商
  • 性質：結合則、可換則、１との積、逆数との積、自らによる商
• 実数の加法・乗法の関係：分配則、0との積、積の逆数、積と符号(1)、積と符号(2)　
• 実数の不等式の性質：反射律、反対称律1、反対称律2、推移律、比較可能性1、比較可能性2、狭義順序、狭義順序の推移律　
• 実数の不等式と加法乗法の関係：
  • 加法：順序と加法1、順序と加法2、差の正負、反数の順序、反数の正負
  • 乗法：順序と乗法1、順序と乗法2、積の正負、逆数の正負、逆数の順序
  • 実数体の自己稠密性
• 定理：アルキメデスの原理。 sup,infについての不等式。 sup,infの和積。 任意の正数εに対して、 ε>a≧0ならば、a=0。