「区分線形関数」の版間の差分
Super-real dance (会話 | 投稿記録) プロジェクト:数学/函数と関数に基づく原状回復。関数荒らし126.36.61.180 (会話) による ID:40062712 の版を取り消し |
m r2.7.2) (ロボットによる 追加: hi:खण्डशः रैखिक फलन |
||
43行目: | 43行目: | ||
[[en:Piecewise linear function]] |
[[en:Piecewise linear function]] |
||
[[fr:Application linéaire par morceaux]] |
[[fr:Application linéaire par morceaux]] |
||
[[hi:खण्डशः रैखिक फलन]] |
|||
[[pl:Funkcja przedziałami liniowa]] |
[[pl:Funkcja przedziałami liniowa]] |
||
[[pt:Função linear em trecho]] |
[[pt:Função linear em trecho]] |
2011年12月22日 (木) 07:19時点における版
数学における区分的に一次な函数あるいは区分線形関数(くぶんせんけいかんすう、英: Piecewise linear function)とは、区分的に定義される函数で、各区分が一次函数(線型函数)となっていうようなものをいう。
区分的に線型な函数の概念は、いくつか異なる文脈で意味を持つ。区分的に線型な函数
の定義域 Ω としては、n-次元ユークリッド空間や、より一般のベクトル空間あるいはアフィン空間をとることもできるし、他にも区分線型多様体や単体的複体などといったようなものの上でも定義される。いずれの場合にも、値域 V は実数の全体やベクトル空間、アフィン空間であったり、あるいは区分線型多様体や単体複体に値をとる区分線型函数(区分線型写像)をも考えることができる。なお、この文脈における「線型」は専ら線型写像の意味で用いられているのではなく、より一般のアフィン線型写像の意味にとる必要がある。
次元が 2 以上の場合には、定義域 V の各小片 I が多角形や多面体となるものと仮定することが多く、こうすれば函数のグラフが多角形や多面体の小片の貼り合わせとなることが保証される。
区分的に一次な函数のクラスの重要な部分クラスとして、区分的に線型な連続函数のクラスや区分線型凸函数のクラスなどが挙げられる。区分的に線型な実函数が連続ならば、そのグラフは折線 (polygonal curve) になる。スプライン曲線は区分的に一次な函数を一般化するもので、区分的に高次の多項式やさらに言えば区分的に可微分な函数 (PDIFF) を考えるものである。
例
f が区間 で実数値関数である場合には、f が区分線形であるための必要十分条件は を有限個の小区間に分割して、各小区間 I のうえで f が一次函数
- f(x) = aI x + bI
に等しくなるようにできることである。
絶対値関数 は区分線形関数のよい例である。他にも、矩形波関数、のこぎり波関数、床関数などがある。
次の関数
は4つの区分をもつ区分線形関数である。(この関数のグラフを右に示す。)線形関数のグラフは直線であるので、区分線形関数のグラフは線分と半直線からなる。