直交射影

直交射影を更新。

実数の十進近似列の具体例:9/8

実数の十進近似列の具体例:9/8

部分空間の直交

「部分空間の直交」についてのノートを更新。

実数の十進近似列が満たす性質

実数の十進近似列が満たす性質2の証明を更新。

実数の十進近似列・十進小数展開

実数の十進近似列・十進小数展開についてのノートを更新。

デデキントの切断

デデキントの連続性公理のノートを更新。

実数間の大小関係と加法乗法の関係

実数における不等式との加法乗法の関係についてのノートを更新。

実数の大小関係の性質

実数のあいだの不等式についてのノートを更新。

実数の加法乗法をからめた性質

実数の加法乗法をからめた性質についてのノートも更新。

実数の積

実数における積の性質を更新。