区分線形関数

関数（青）とその区分線形近似（赤）

2次元の区分線形関数（上）とそれが線形となる凸多面体（下）

数学における区分的に一次な関数あるいは区分線形関数（くぶんせんけいかんすう、英: Piecewise linear function）とは、区分的に定義される関数で、各区分が一次関数（線型関数）となっていうようなものをいう。

区分的に線型な関数の概念は、いくつか異なる文脈で意味を持つ。区分的に線型な関数

$f\colon \Omega \to V$

の定義域 Ω としては、n-次元ユークリッド空間や、より一般のベクトル空間あるいはアフィン空間をとることもできるし、他にも区分線型多様体や単体的複体などといったようなものの上でも定義される。いずれの場合にも、値域 V は実数の全体やベクトル空間、アフィン空間であったり、あるいは区分線型多様体や単体複体に値をとる区分線型関数（区分線型写像）をも考えることができる。なお、この文脈における「線型」は専ら線型写像の意味で用いられているのではなく、より一般のアフィン線型写像の意味にとる必要がある。

次元が 2 以上の場合には、定義域 V の各小片 I が多角形や多面体となるものと仮定することが多く、こうすれば関数のグラフが多角形や多面体の小片の貼り合わせとなることが保証される。

区分的に一次な関数のクラスの重要な部分クラスとして、区分的に線型な連続関数のクラスや区分線型凸関数のクラスなどが挙げられる。区分的に線型な実関数が連続ならば、そのグラフは折線 (polygonal curve) になる。スプライン曲線は区分的に一次な関数を一般化するもので、区分的に高次の多項式やさらに言えば区分的に可微分な関数 (PDIFF) を考えるものである。

例

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

f(x) = a_{I x + bI}

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

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

区分線形関数の例

次の関数

${\begin{aligned}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}}\end{aligned}}$

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

関連項目

• 不連続関数
• 区分的に連続な曲線