絶対値
カテゴリ:微積分

ここまでの講義で実数の性質である体や大小について解説しました。以上2つの定義により、実数の演算についてほとんどカバーできています。今回は実数の定義から離れ別の演算である「絶対値」についての定義を解説します。
定義.最大元と最小元
いきなり絶対値を解説したいのですが、はじめに準備のため最大元と最小元について説明します。
最大元・最小元
実数の部分集合
に対して
- 任意の
に対して
が成り立つとき、を
の最大元といい
とかく。最小元は
- 任意の
に対して
となり、とかく。
定義の解説のため、以下にいくつか例をあげます。
という集合を考えます。この集合の最大元は
となります。一方、最小元は存在しません。というのも、いくら0に近い数0.0001を取っても
というの元が存在するからです。
上記のように「の間に実数が存在する」ことは以下の命題から理解できます。
間に実数が存在する
任意の実数に対して,
となる
が存在します。
証明は簡単で
と置けばいいです。実際に
・,
・
となります。
絶対値
ではいよいよ絶対値の定義に移ります。
絶対値
任意のに対して
を実数の絶対値と呼ぶ。
,
では、絶対値の基本公式について定義を用いて証明していきます。
絶対値の公式1
のとき、
なので
となります。同様にのときは
となります。
絶対値の公式2
絶対値の公式3
のときは命題1より、
なので、
となります。よって
が成り立ちます。
同様にしてのときも成り立ちます。
絶対値の公式4
4つに場合分けして証明します。
① のとき
なので
が成り立ちます。
② のとき
となります。さらにのときは
なので
が成り立ちます。一方、のときは
なので
となります。
③ のとき
これは②と同様に証明できます。
④ のとき
これも①と同様に証明できます。
実数の絶対値は
である。
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー