WIIS

実数の定義

絶対値の定義と性質

目次

Mailで保存
Xで共有

絶対値

実数\(x\in \mathbb{R} \)を任意に選ぶと、その加法逆元\(-x\in \mathbb{R} \)も実数であるため、これらを要素とする\(\mathbb{R} \)の非空な部分集合\begin{equation*}\left\{ x,-x\right\} \subset \mathbb{R} \end{equation*}をとることができます。この集合\(\left\{ x,-x\right\} \)の最大値を\(x\)の絶対値(absolute value)と呼び、\begin{equation*}\left\vert x\right\vert =\max \left\{ x,-x\right\}
\end{equation*}で表記します。

実数\(x\in \mathbb{R} \)を任意に選びます。\(x\geq 0\)が成り立つ場合、これは\(-x\leq 0\)と必要十分であるため、大小関係\(\leq \)の推移律より、\begin{equation}-x\leq x \quad \cdots (1)
\end{equation}が成り立ちます。したがって、\begin{eqnarray*}
\left\vert x\right\vert &=&\max \left\{ x,-x\right\} \quad \because \text{絶対値の定義} \\
&=&x\quad \because \left( 1\right)
\end{eqnarray*}を得ます。一方、\(x<0\)が成り立つ場合、これは\(-x>0\)と必要十分であるため、狭義大小関係\(<\)の推移律より、\begin{equation}x<-x \quad \cdots (2)
\end{equation}が成り立ちます。したがって、\begin{eqnarray*}
\left\vert x\right\vert &=&\max \left\{ x,-x\right\} \quad \because \text{絶対値の定義} \\
&=&-x\quad \because \left( 2\right)
\end{eqnarray*}を得ます。以上の議論より、実数\(x\in \mathbb{R} \)の絶対値は、\begin{equation*}\left\vert x\right\vert =\left\{
\begin{array}{ll}
x & \left( if\ x\geq 0\right) \\
-x & \left( if\ x<0\right)
\end{array}\right.
\end{equation*}と定まることが明らかになりました。

例(絶対値)
絶対値の定義より、\begin{eqnarray*}
\left\vert 3\right\vert &=&\left\vert -3\right\vert =3 \\
\left\vert \frac{2}{3}\right\vert &=&\left\vert -\frac{2}{3}\right\vert =\frac{2}{3} \\
\left\vert 0\right\vert &=&0
\end{eqnarray*}などが成り立ちます。

例(絶対値)
実数\(x\in \mathbb{R} \)を任意に選んだとき、以下の関係\begin{equation*}\left\vert 2x-3\right\vert =2x-3
\end{equation*}は成り立つとは限りません。実際、\(x=1\)の場合には、\begin{eqnarray*}\left\vert 2x-3\right\vert &=&\left\vert 2\cdot 1-3\right\vert =\left\vert
-1\right\vert =1 \\
2x-3 &=&2\cdot 1-3=-1
\end{eqnarray*}となるため、\begin{equation*}
\left\vert 2x-3\right\vert \not=2x-3
\end{equation*}となります。絶対値の定義を踏まえると、任意の\(x\in \mathbb{R} \)に対して、\begin{eqnarray*}\left\vert 2x-3\right\vert &=&\left\{
\begin{array}{cc}
2x-3 & \left( if\ 2x-3\geq 0\right) \\
-\left( 2x-3\right) & \left( if\ 2x-3<0\right)
\end{array}\right. \\
&=&\left\{
\begin{array}{cc}
2x-3 & \left( if\ x\geq \frac{3}{2}\right) \\
3-2x & \left( if\ x<\frac{3}{2}\right)
\end{array}\right.
\end{eqnarray*}となります。

 

絶対値の非負性

実数\(x\in \mathbb{R} \)を任意に選んだとき、\begin{equation*}\left\vert x\right\vert \geq 0
\end{equation*}が成り立ちます。つまり、任意の実数の絶対値は非負です。これを絶対値の非負性(non-negativity)と呼びます。

命題(絶対値の非負性)

任意の実数\(x\in \mathbb{R} \)について、\begin{equation*}\left\vert x\right\vert \geq 0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

絶対値の非退化性

任意の実数\(x\in \mathbb{R} \)について、以下の関係\begin{equation*}x=0\Leftrightarrow \left\vert x\right\vert =0
\end{equation*}が成り立ちます。つまり、実数\(x\)が\(0\)と一致することと、\(x\)の絶対値が\(0\)と一致することは必要十分です。これを絶対値の非退化性(non-degeneracy)と呼びます。

命題(絶対値の非退化性)
任意の実数\(x\in \mathbb{R} \)について、\begin{equation*}x=0\Leftrightarrow \left\vert x\right\vert =0
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(非ゼロの実数の絶対値)
実数\(x\in \mathbb{R} \)を任意に選んだとき、\begin{equation*}x=0\Leftrightarrow \left\vert x\right\vert =0
\end{equation*}が成り立つことが明らかになりました。したがって、\begin{equation*}
x\not=0\Leftrightarrow \left\vert x\right\vert \not=0
\end{equation*}が成り立ちます。ただし、絶対値\(\left\vert x\right\vert \)は非負の実数だけを値としてとり得るため、\(\left\vert x\right\vert \not=0\)と\(\left\vert x\right\vert >0\)は必要十分であり、したがって、\begin{equation*}x\not=0\Leftrightarrow \left\vert x\right\vert >0
\end{equation*}を得ます。つまり、実数\(x\)が非ゼロであることと、\(x\)の絶対値が正であることは必要十分です。

任意の実数\(x,y\in \mathbb{R} \)について、\begin{equation*}x=y\Leftrightarrow \left\vert x-y\right\vert =0
\end{equation*}が成り立つことが非退化性から導かれます。これを絶対値の不可識別者同一性(identity of indiscernibles)と呼びます。逆に、不可識別者同一性から非退化性を導くこともできるため両者は必要十分です。

命題(不可識別者同一性)
絶対値の非退化性と不可識別者同一性は必要十分である。すなわち、以下の2つの命題\begin{eqnarray*}
&&\left( a\right) \ \forall x\in \mathbb{R} :\left( x=0\Leftrightarrow \left\vert x\right\vert =0\right) \\
&&\left( b\right) \ \forall x,y\in \mathbb{R} :\left( x=y\Leftrightarrow \left\vert x-y\right\vert =0\right)
\end{eqnarray*}は必要十分である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

絶対値の偶性

実数\(x\in \mathbb{R} \)を任意に選んだとき、\begin{equation*}\left\vert x\right\vert =\left\vert -x\right\vert
\end{equation*}が成り立ちます。つまり、実数\(x\)の絶対値は、その加法逆元\(-x\)の絶対値と一致します。これを絶対値の偶性(evenness)と呼びます。

命題(絶対値の偶性)
任意の実数\(x\in \mathbb{R} \)について、\begin{equation*}\left\vert x\right\vert =\left\vert -x\right\vert
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

任意の実数\(x,y\in \mathbb{R} \)について、\begin{equation*}\left\vert x-y\right\vert =\left\vert y-x\right\vert
\end{equation*}が成り立つことが偶性から導かれます。逆に、上の命題から偶性を導くこともできるため両者は必要十分です。

命題(差の絶対値)
以下の2つの命題\begin{eqnarray*}
&&\left( a\right) \ \forall x\in \mathbb{R} :\left\vert x\right\vert =\left\vert -x\right\vert \\
&&\left( b\right) \ \forall x,y\in \mathbb{R} :\left\vert x-y\right\vert =\left\vert y-x\right\vert
\end{eqnarray*}は必要十分である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

絶対値の乗法性

実数\(x,y\in \mathbb{R} \)を任意に選んだとき、\begin{equation*}\left\vert x\cdot y\right\vert =\left\vert x\right\vert \cdot \left\vert
y\right\vert
\end{equation*}が成り立ちます。つまり、実数の積の絶対値(左辺)は絶対値の積(右辺)に等しいということです。これを絶対値の乗法性(multiplicativity)と呼びます。

命題(絶対値の乗法性)

任意の実数\(x,y\in \mathbb{R} \)について、\begin{equation*}\left\vert x\cdot y\right\vert =\left\vert x\right\vert \cdot \left\vert
y\right\vert
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

任意の実数\(x\in \mathbb{R} \)および\(y\in \mathbb{R} \backslash \left\{ 0\right\} \)について、\begin{equation*}\left\vert \frac{x}{y}\right\vert =\frac{\left\vert x\right\vert }{\left\vert y\right\vert }
\end{equation*}が成り立つことが乗法性から導かれます。逆に、上の命題から乗法性を導くこともできるため両者は必要十分です。

命題(商の絶対値)
以下の2つの命題\begin{eqnarray*}
&&\left( a\right) \ \forall x,y\in \mathbb{R} :\left\vert x\cdot y\right\vert =\left\vert x\right\vert \cdot \left\vert
y\right\vert \\
&&\left( b\right) \ \forall x\in \mathbb{R} ,\ \forall y\in \mathbb{R} \backslash \left\{ 0\right\} :\left\vert \frac{x}{y}\right\vert =\frac{\left\vert x\right\vert }{\left\vert y\right\vert }
\end{eqnarray*}は必要十分である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

劣加法性と三角不等式

正の実数\(\varepsilon >0\)と実数\(x\in \mathbb{R} \)をそれぞれ任意に選んだとき、以下の関係\begin{equation*}\left\vert x\right\vert <\varepsilon \Leftrightarrow -\varepsilon
<x<\varepsilon
\end{equation*}が成り立ちます。つまり、実数\(x\)の絶対値が\(\varepsilon \)よりも小さいことと、\(x\)が\(-\varepsilon \)より大きく\(\varepsilon \)より小さいことは必要十分です。

命題(絶対値と狭義大小関係)
正の実数\(\varepsilon >0\)と実数\(x\in \mathbb{R} \)をそれぞれ任意に選んだとき、\begin{equation*}\left\vert x\right\vert <\varepsilon \Leftrightarrow -\varepsilon
<x<\varepsilon
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題において狭義大小関係\(<\)を大小関係\(\leq \)に置き換えることで得られる命題もまた成立します。

命題(絶対値と大小関係)
非負の実数\(\varepsilon \geq 0\)と実数\(x\in \mathbb{R} \)をそれぞれ任意に選んだとき、\begin{equation*}\left\vert x\right\vert \leq \varepsilon \Leftrightarrow -\varepsilon \leq
x\leq \varepsilon
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

実数\(x\in \mathbb{R} \)を任意に選んだとき\(\left\vert x\right\vert \geq 0\)が成り立ちます。加えて、\begin{equation}\left\vert x\right\vert \leq \left\vert x\right\vert \quad \cdots (1)
\end{equation}が明らかに成り立ちます。そこで、先の命題において\(\varepsilon =\left\vert x\right\vert \geq 0\)とおけば、\(\left( 1\right) \)と必要十分な以下の命題\begin{equation}-\left\vert x\right\vert \leq x\leq \left\vert x\right\vert \quad \cdots (2)
\end{equation}が得られます。\(\left( 1\right) \)は真であるため、それと必要十分な\(\left( 2\right) \)もまた真です。したがって以下を得ます。

命題(絶対値と大小関係)
実数\(x\in \mathbb{R} \)を任意に選んだとき、\begin{equation*}-\left\vert x\right\vert \leq x\leq \left\vert x\right\vert
\end{equation*}が成り立つ。

実数\(x,y\in \mathbb{R} \)をそれぞれ任意に選ぶと、上の命題より、\begin{eqnarray*}-\left\vert x\right\vert &\leq &x\leq \left\vert x\right\vert \\
-\left\vert y\right\vert &\leq &y\leq \left\vert y\right\vert
\end{eqnarray*}を得るため、これらの辺々を足せば、\begin{equation*}
-\left( \left\vert x\right\vert +\left\vert y\right\vert \right) \leq
x+y\leq \left\vert x\right\vert +\left\vert y\right\vert
\end{equation*}を得ます。さらにこれは、\begin{equation*}
\left\vert x+y\right\vert \leq \left\vert x\right\vert +\left\vert
y\right\vert
\end{equation*}と必要十分です。つまり、和の絶対値は絶対値の和以下です。これを劣加法性(subadditivity)と呼びます。

命題(劣加法性)
任意の実数\(x,y\in \mathbb{R} \)について、\begin{equation*}\left\vert x+y\right\vert \leq \left\vert x\right\vert +\left\vert
y\right\vert
\end{equation*}が成り立つ。

任意の実数\(x,y,z\in \mathbb{R} \)について、\begin{equation*}\left\vert x-z\right\vert \leq \left\vert x-y\right\vert +\left\vert
y-z\right\vert
\end{equation*}が成り立つことが劣加法性から導かれます。これを三角不等式(triangle inequality)と呼びます。逆に、三角不等式から劣加法性を導くこともできるため両者は必要十分です。

命題(三角不等式)
劣加法性と三角不等式は必要十分である。すなわち、以下の2つの命題\begin{eqnarray*}
&&\left( a\right) \ \forall x,y\in \mathbb{R} :\left\vert x+y\right\vert \leq \left\vert x\right\vert +\left\vert
y\right\vert \\
&&\left( b\right) \ \forall x,y,z\in \mathbb{R} :\left\vert x-z\right\vert \leq \left\vert x-y\right\vert +\left\vert
y-z\right\vert
\end{eqnarray*}は必要十分である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

劣加法性や三角不等式は2つの実数の和や差の絶対値がとり得る値の最大値を与える関係式です。一方、逆向きの三角不等式(reverse triangle inequality)は2つの実数の和や差が取り得る値の最小値を与えます。これは、任意の実数\(x,y,z\in \mathbb{R} \)について、\begin{eqnarray*}&&\left( a\right) \ \left\vert \left\vert x\right\vert -\left\vert
y\right\vert \right\vert \leq \left\vert x-y\right\vert \\
&&\left( b\right) \ \left\vert \left\vert x\right\vert -\left\vert
y\right\vert \right\vert \leq \left\vert x+y\right\vert
\end{eqnarray*}が成り立つという命題です。これは劣加法性から導かれます。

命題(逆向きの三角不等式)
任意の実数\(x,y,z\in \mathbb{R} \)について、\begin{eqnarray*}&&\left( a\right) \ \left\vert \left\vert x\right\vert -\left\vert
y\right\vert \right\vert \leq \left\vert x-y\right\vert \\
&&\left( b\right) \ \left\vert \left\vert x\right\vert -\left\vert
y\right\vert \right\vert \leq \left\vert x+y\right\vert
\end{eqnarray*}がともに成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

絶対値と平方・平方根

実数\(x\in \mathbb{R} \)に対して、\begin{equation*}x\cdot x
\end{equation*}を\(x\)の平方(square)や2乗(square)などと呼び、これを\(x^{2}\)で表記します。つまり、\begin{equation*}x^{2}=x\cdot x
\end{equation*}です。

実数\(x\in \mathbb{R} \)が与えられたとき、その絶対値\(\left\vert x\right\vert \in \mathbb{R} \)もまた実数であるため、絶対値の平方\begin{equation*}\left\vert x\right\vert ^{2}=\left\vert x\right\vert \cdot \left\vert
x\right\vert
\end{equation*}が定義可能ですが、以下の関係\begin{equation*}
\left\vert x\right\vert ^{2}=x^{2}
\end{equation*}が常に成り立ちます。つまり、実数の平方と、その実数の絶対値の平方は必ず一致します。

命題(絶対値の平方)
任意の実数\(x\in \mathbb{R} \)について、\begin{equation*}\left\vert x\right\vert ^{2}=x^{2}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

実数\(x\in \mathbb{R} \)が与えられたとき、それに対して、\begin{equation*}x=y^{2}
\end{equation*}を満たす非負の実数\(y\in \mathbb{R} _{+}\)を\(x\)の非負の平方根(non-negative square root)と呼び、これを、\begin{equation*}\sqrt{x}
\end{equation*}で表記します。つまり、実数\(x\)の非負の平方根\(\sqrt{x}\)は、以下の2つの条件\begin{eqnarray*}&&\left( a\right) \ y^{2}=x \\
&&\left( b\right) \ y\geq 0
\end{eqnarray*}をともに満たす実数\(y\)として定義されます。

実数\(x\in \mathbb{R} \)が与えられたとき、その平方\(x^{2}\in \mathbb{R} \)もまた実数であるため、その非負の平方根\begin{equation*}\sqrt{x^{2}}
\end{equation*}が定義可能ですが、これは\(x\)の絶対値と必ず一致します。つまり、\begin{equation*}\sqrt{x^{2}}=\left\vert x\right\vert
\end{equation*}が成り立つということです。

命題(実数の平方の正の平方根)
任意の実数\(x\in \mathbb{R} \)について、\begin{equation*}\sqrt{x^{2}}=\left\vert x\right\vert
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

絶対値のベキ等性

実数\(x\in \mathbb{R} \)が与えられたとき、その絶対値\(\left\vert x\right\vert \)もまた実数であるため、さらにその絶対値\(\left\vert \left\vert x\right\vert \right\vert \)をとることができますが、以下の関係\begin{equation*}\left\vert \left\vert x\right\vert \right\vert =\left\vert x\right\vert
\end{equation*}が必ず成り立ちます。これを絶対値のベキ等性(idempotence)と呼びます。

命題(絶対値のベキ等性)
任意の実数\(x\in \mathbb{R} \)について、\begin{equation*}\left\vert \left\vert x\right\vert \right\vert =\left\vert x\right\vert
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(絶対値のベキ等性)
実数\(x\in \mathbb{R} \)を任意に選んだとき、絶対値のベキ等性を繰り返し適用することにより、\begin{eqnarray*}\left\vert \left\vert \left\vert x\right\vert \right\vert \right\vert
&=&\left\vert \left\vert x\right\vert \right\vert =\left\vert x\right\vert
\\
\left\vert \left\vert \left\vert \left\vert x\right\vert \right\vert
\right\vert \right\vert &=&\left\vert \left\vert \left\vert x\right\vert
\right\vert \right\vert =\left\vert \left\vert x\right\vert \right\vert
=\left\vert x\right\vert \\
&&\vdots
\end{eqnarray*}などを得ます。

 

演習問題

問題(絶対値の値)
以下の値を求めてください。

  1. \(\left\vert 1-3\right\vert +\left\vert -7\right\vert \)
  2. \(\left\vert -1-4\right\vert -3-\left\vert 3-5\right\vert \)
  3. \(\left\vert \left\vert -2\right\vert -\left\vert -6\right\vert\right\vert \)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値記号を外す)
以下の不等式を絶対値記号を使わない形で表現してください。

  1. \(\left\vert x-2\right\vert <5\)
  2. \(\left\vert 2x+3\right\vert <7\)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値記号をつける)
以下の不等式を絶対値記号を使う形でで表現してください。

  1. \(-2<x<6\)
  2. \(4<x<10\)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値)
実数\(x\in \mathbb{R} \)は、\begin{equation*}\left\vert x+4\right\vert -6<9
\end{equation*}を満たすものとします。\(x\)がとり得る値の範囲を特定してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値)
実数\(x\in \mathbb{R} \)は、\begin{equation*}\left\vert 5x+6\right\vert +4<1
\end{equation*}を満たすものとします。\(x\)がとり得る値の範囲を特定してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値)
実数\(x\in \mathbb{R} \)は、\begin{equation*}\left\vert 2x-1\right\vert -7\geq -3
\end{equation*}を満たすものとします。\(x\)がとり得る値の範囲を特定してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値)
実数\(x\in \mathbb{R} \)は、\begin{equation*}\left\vert 3x-4\right\vert +9>5
\end{equation*}を満たすものとします。\(x\)がとり得る値の範囲を特定してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(絶対値の劣加法性の一般化)
絶対値の劣加法性とは、2つの実数\(x,y\in \mathbb{R} \)を任意に選んだときに、\begin{equation*}\left\vert x+y\right\vert \leq \left\vert x\right\vert +\left\vert
y\right\vert
\end{equation*}が成り立つという命題ですが、以上を踏まえた上で、自然数\(n\in \mathbb{N} \)を任意に選んだとき、\(n\)個の任意の実数\(x_{1},\cdots ,x_{n}\in \mathbb{R} \)に対しても同様の主張が成り立つこと、すなわち、\begin{equation*}\left\vert \sum_{i=1}^{n}x_{i}\right\vert \leq \sum_{i=1}^{n}\left\vert
x_{i}\right\vert
\end{equation*}が成り立つことを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録