絶対値関数

1 定義

絶対値関数は、数の符号を取り除いて大きさだけを返す関数である。実数では、数直線上で原点からの距離に一致する量として理解される。記号は通常	x	で表され、解析学、代数、幾何の多くの場面で基礎的な役割を果たす。

1.1 実数に対する定義

実数 x の絶対値は、x が 0 以上のときは x 自身、0 未満のときは -x と定める。したがって、正の数も 0 もそのまま扱われ、負の数だけが反転される。この定義により、結果は常に非負となる。

1.2 区分的定義

絶対値は区分的に表すと、次のようになる。

x	= x 　(x ≥ 0)
x	= -x (x < 0)

この表現は、場合分けに基づく計算や証明で便利である。特に、不等式の処理やグラフの解析では、入力の符号によって式を切り替える考え方が有効である。

1.3 距離としての解釈

x	は、数直線上で 0 から x までの距離とみなせる。距離は向きに依存しないため、+3 と -3 は同じ絶対値 3 をもつ。この見方は、絶対値を含む問題を幾何学的に把握する際の基本となる。

2 基本性質

絶対値には、符号を外すという定義から自然に導かれる性質がいくつもある。これらは計算の簡略化だけでなく、証明や不等式変形の出発点にもなる。

2.1 非負性

任意の実数 x について、	x	≥ 0 が成り立つ。また、	x	= 0 となるのは x = 0 のときに限られる。したがって、絶対値は負の値を取らない尺度として働く。

2.2 対称性

任意の実数 x に対して、	x	=	-x	が成立する。これは、原点からの距離が左向きか右向きかで変わらないことを反映している。実数直線では、互いに反対側にある 2 点が同じ大きさを共有する。

2.3 三角不等式

絶対値は三角不等式	x+y	≤	x	+	y	を満たす。これは、2 つの量を足したときの全体の大きさが、各部分の大きさの和を超えないことを述べる基本関係である。解析学や距離の理論では、非常に重要な役割を担う。

2.4 偶関数としての性質

関数 f(x)=	x	は偶関数であり、f(-x)=f(x) を満たす。グラフは y 軸に関して対称で、正の側と負の側が鏡像のような形をとる。この対称性は、後の微分や積分の議論でも扱いやすさを与える。

3 グラフと表現

絶対値関数のグラフは単純だが、形の特徴が明確であるため、関数全体の挙動を学ぶうえで典型例となる。変形を加えた関数の理解にも直結する。

3.1 座標平面での形

y=	x	のグラフは、原点を頂点として上向きに開いた V 字形を示す。x ≥ 0 では直線 y=x、x < 0 では直線 y=-x に一致する。左右対称の2本の半直線が、原点でつながっている。

3.2 折れ点

原点は折れ点と呼ばれ、グラフの傾きがそこで急に変わる。なめらかな曲線ではなく、方向が切り替わる角のような形になるため、局所的な性質を調べる際に注目される。絶対値関数の特徴を最も端的に示す点である。

3.3 絶対値を含む関数の変形

y=	x-a	や y=b	x	+c のような式では、グラフは平行移動、拡大縮小、上下移動によって変形される。頂点の位置や開き方が変わるだけで、基本の V 字形は保たれる。こうした変形は、複雑な関数を読み解く際の標準的な手順である。

4 連続性と微分

絶対値関数は連続である一方、微分可能性には特有の制約がある。滑らかさと折れ目の違いを理解する例として、微分積分学でよく用いられる。

4.1 連続性

絶対値関数は、実数全体で連続である。入力をわずかに変えたとき、出力も急激には飛ばない。この性質により、極限や近似の議論でも扱いやすい。

4.2 微分可能性

x ≠ 0 では、	x	は微分可能で、x > 0 なら導関数は 1、x < 0 なら -1 となる。したがって、原点以外では傾きが一定である。しかし原点では左右の傾きが一致しないため、そこで微分可能ではない。

4.3 折れ点における扱い

折れ点では、左右からの変化率が異なるため、通常の導関数は定義できない。解析では、片側微分や場合分けによって振る舞いを調べることが多い。必要に応じて、微分可能性の失敗点として明確に区別される。

4.4 関連する導関数の考察

x	の導関数は x/	x	に近い形で表せるが、x=0 では定義できない。これは、符号関数との関係を通じて理解されることが多い。絶対値を含む合成関数では、連鎖律と区分的な議論を併用することが重要になる。

5 積分と応用

絶対値関数は、積分において面積の計算や区分的な処理と深く結びつく。正負を区別せずに量を測る性質は、累積量の評価にも適している。

5.1 絶対値関数の積分

x	の積分は、区間が 0 をまたぐかどうかで式が変わる。x ≥ 0 では x を、x < 0 では -x を積分すればよい。したがって、広い区間では場合分けが自然に現れる。

5.2 面積の計算

グラフと x 軸で囲まれる面積を求める際、絶対値は負の部分を正の量として扱うのに役立つ。特に、積分値が正負を打ち消してしまう場合でも、絶対値を用いれば幾何学的な広がりを表しやすい。

5.3 区分積分との関係

絶対値を含む積分は、しばしば区分積分ではなく区分的な定積分として処理される。折れ点や符号が変わる位置で区間を分けることで、式の整合性が保たれる。これは、複雑な関数を単純な部分に分割する考え方と一致する。

6 方程式と不等式

絶対値は、方程式や不等式を距離の問題へ置き換えることで、見通しを良くする。代数的な操作と幾何学的な解釈の両方が使える点が特徴である。

6.1 絶対値方程式

x	=a の形では、a ≥ 0 のとき x=a と x=-a の 2 解をもつ。a < 0 なら解は存在しない。絶対値が非負であることから、解の有無がすぐに判断できる。

6.2 絶対値不等式

x	<a は、原点からの距離が a より小さいことを意味し、-a<x<a と同値である。逆に	x	>a は、原点から距離が a を超える領域を表す。こうした変形は、解集合を区間として表す際に有用である。

6.3 距離条件への変換

x-c	≤r は、点 x が c を中心とする半径 r の範囲にあることを示す。これは数直線上の距離条件そのものであり、絶対値を含む式を幾何的に読み替える基本手法である。複雑な条件も、位置関係として整理しやすくなる。

7 一般化

絶対値の考え方は、実数にとどまらず、複素数や抽象的な距離の理論へ広がる。大きさを測る枠組みとして、より一般の構造でも重要である。

7.1 複素数の絶対値

複素数 z=a+bi の絶対値は、原点から複素平面上の点までの距離として定義される。通常は	z	=√(a²+b²) で与えられ、実数の絶対値を平面上へ拡張したものとみなせる。長さの概念がそのまま用いられている。

7.2 ノルムとの関係

ノルムは、ベクトルや関数空間の「大きさ」を与える一般化である。実数の絶対値は、1 次元空間における最も基本的なノルムと考えられる。ノルムは非負性、スカラー倍への反応、三角不等式を満たす点で共通している。

7.3 距離空間への拡張

距離空間では、2 点の距離 d(x,y) が絶対値の役割を担う。実数直線では d(x,y)=	x-y	となり、これが一般の空間での距離概念の原型である。絶対値は、より抽象的な距離の理解に向かう入口となる。