区分線形関数

区分線形関数（英: Piecewise linear function）

$f:\Omega \to V$

とは、 $\Omega$ を有限個の凸多面体に分解して、f がそれぞれの多面体上で一次関数となるようにできる函数をいう。ここで、V はベクトル空間、 $\Omega$ はベクトル空間の部分集合である。

特殊な場合として、f が区間 $[x_{1},x_{2}]$ で実数値関数である場合には、f が区分線形であるための必要十分条件は $[x_{1},x_{2}]$ を有限個の小区間に分割して、各小区間 I のうえで f が一次函数

f(x) = a_Ix + b_I

に等しくなるようにできることである。

絶対値関数 $f(x)=|x|$ は区分線形関数のよい例である。他にも、矩形波関数、のこぎり波関数、床関数などがある。

区分線形関数の重要な下位クラスとして、連続区分線形関数と凸区分線形関数がある。スプラインは、区分線形関数を高次多面体に一般化したものである。

例

次の関数

f(x)=|x+3|-{\frac {3}{2}}|x|+{\frac {3}{2}}|x-3|-{\frac {9}{2}}

={\begin{cases}-x-3&{\text{if }}x\leq -3\\x+3&{\text{if }}-3<x<0\\-2x+3&{\text{if }}0\leq x<3\\x-6&{\text{if }}x\geq 3\end{cases}}

は４つの区分をもつ区分線形関数である。（この関数のグラフを右に示す。）線形関数のグラフは直線であるので、区分線形関数のグラフは線分と半直線からなる。