「区分線形関数」の版間の差分

[[数学]]における'''区分的に一次な函数'''あるいは'''区分線形関数'''（くぶんせんけいかんすう、{{lang-en-short|''Piecewise linear function''}}）とは、[[区分的に定義される函数]]で、各区分が[[一次函数]]（線型函数）となっていうるようなものをいう。

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

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

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

''{{mvar|f''}} が区間 <math>[x_1,x_2]</math> で上の実数値関数である場合には、''{{mvar|f''}} が区分線形であるための必要十分条件は <math>[x_1,x_2]</math> を有限個の小区間に分割して、各小区間 ''{{mvar|I''}} のうえで ''{{mvar|f''}} が一次函数

: {{math|''f''(''x'') {{=}} ''a''<sub>''I''</supsub>&thinsp;''x'' + ''b''_''I''}}

[[file:PiecewiseLinearPiecewise linear function.pngsvg|right|thumb|区分線形関数の例]]

:<!-----formula does not match picture:-----<math>\begin{align}

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

*[[曲線#滑らかさ微分構造|区分的に連続な曲線]]