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

削除された内容追加された内容

インライン

2024年6月13日 (木) 14:42時点における最新版

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

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

f\colon \Omega \to V

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

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

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

例[編集]

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

f (x) = a I x + b I

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

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

次の関数

f(x)=\left\{{\begin{array}{lll}-3-x&{\text{if}}&x\leq -3\\x+3&{\text{if}}&-3\leq x\leq 0\\3-2x&{\text{if}}&0\leq x\leq 3\\0.5x-4.5&{\text{if}}&3\leq x\\\end{array}}\right.

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

@@ 1行目: / 1行目: @@
+{{出典の明記| date = 2023年4月}}
-{{告知|議論|線型・線形の表記問題|ノート:線型性}}
 [[file:Finite element method 1D illustration1.png|right|thumb|関数（青）とその区分線形近似（赤）]]
 [[file:Piecewise linear function2D.svg|right|thumbnail|2次元の区分線形関数（上）とそれが線形となる凸多面体（下）]]
-[[数学]]における'''区分的に一次な函数'''あるいは'''区分線形関数'''（くぶんせんけいかんすう、{{lang-en-short|''Piecewise linear function''}}）とは、[[区分的に定義される函数]]で、各区分が[[一次函数]]（線型函数）となっていうようなものをいう。
+[[数学]]における'''区分的に一次な函数'''あるいは'''区分線形関数'''（くぶんせんけいかんすう、{{lang-en-short|''Piecewise linear function''}}）とは、[[区分的に定義される函数]]で、各区分が[[一次函数]]（線型函数）となっているようなものをいう。
 区分的に線型な函数の概念は、いくつか異なる文脈で意味を持つ。区分的に線型な函数
 : <math>f\colon \Omega \to V</math>
-の定義域 &Omega; としては、''n''-次元[[ユークリッド空間]]や、より一般の[[ベクトル空間]]あるいは[[アフィン空間]]をとることもできるし、他にも[[区分線型多様体]]や[[単体的複体]]などといったようなものの上でも定義される。いずれの場合にも、値域 ''V'' は[[実数]]の全体やベクトル空間、アフィン空間であったり、あるいは区分線型多様体や単体複体に値をとる区分線型函数（区分線型写像）をも考えることができる。なお、この文脈における「線型」は専ら[[線型写像]]の意味で用いられているのではなく、より一般の[[アフィン変換|アフィン線型写像]]の意味にとる必要がある。
+の定義域 {{math|&Omega;}} としては、{{mvar|n}}-次元[[ユークリッド空間]]や、より一般の[[ベクトル空間]]あるいは[[アフィン空間]]をとることもできるし、他にも{{仮リンク|PL多様体|en|Piecewise linear manifold}}や[[単体的複体]]などといったようなものの上でも定義される。いずれの場合にも、[[終域]] {{mvar|V}} は[[実数]]の全体やベクトル空間、アフィン空間であったり、あるいはPL多様体や単体複体に値をとる区分線型函数（区分線型写像）をも考えることができる。なお、この文脈における「線型」は専ら[[線型写像]]の意味で用いられているのではなく、より一般の[[アフィン変換|アフィン線型写像]]の意味にとる必要がある。
-次元が 2 以上の場合には、定義域 ''V'' の各小片 ''I'' が[[多角形]]や[[多面体]]となるものと仮定することが多く、こうすれば函数のグラフが多角形や多面体の小片の貼り合わせとなることが保証される。
+次元が 2 以上の場合には、定義域 {{mvar|V}} の各小片 {{mvar|I}} が[[多角形]]や[[多面体]]となるものと仮定することが多く、こうすれば函数のグラフが多角形や多面体の小片の貼り合わせとなることが保証される。
-区分的に一次な函数のクラスの重要な部分クラスとして、区分的に線型な[[連続函数]]のクラスや区分線型[[凸函数]]のクラスなどが挙げられる。区分的に線型な実函数が[[連続函数|連続]]ならば、そのグラフは[[折線]] (polygonal curve) になる。[[スプライン曲線]]は区分的に一次な函数を一般化するもので、区分的に高次の多項式やさらに言えば[[区分的に可微分な函数]] (PDIFF) を考えるものである。
+区分的に一次な函数のクラスの重要な部分クラスとして、区分的に線型な[[連続函数]]のクラスや区分線型[[凸函数]]のクラスなどが挙げられる。区分的に線型な実函数が[[連続函数|連続]]ならば、そのグラフは{{仮リンク|折線|en|polygonal curve}}になる。[[スプライン曲線]]は区分的に一次な函数を一般化するもので、区分的に高次の多項式やさらに言えば{{仮リンク|区分的に可微分な函数|en|PDIFF}}を考えるものである。
 ==例==
-''f'' が区間 <math>[x_1,x_2]</math> で実数値関数である場合には、''f'' が区分線形であるための必要十分条件は <math>[x_1,x_2]</math> を有限個の小区間に分割して、各小区間 ''I'' のうえで ''f'' が一次函数
+{{mvar|f}} が区間 <math>[x_1,x_2]</math> 上の実数値関数である場合には、{{mvar|f}} が区分線形であるための必要十分条件は <math>[x_1,x_2]</math> を有限個の小区間に分割して、各小区間 {{mvar|I}} のうえで {{mvar|f}} が一次函数
-: ''f''(''x'') = ''a''<sub>''I''</sub>&thinsp;''x'' + ''b''<sub>''I''</sub>
+: {{math|''f''(''x'') {{=}} ''a''<sub>''I''</sub>&thinsp;''x'' + ''b''<sub>''I''</sub>}}
 に等しくなるようにできることである。
 [[絶対値]]関数 <math>f(x) = |x|</math> は区分線形関数のよい例である。他にも、[[矩形波]]関数、[[のこぎり波]]関数、[[床関数]]などがある。
-[[file:PiecewiseLinear.png|right|thumb|区分線形関数の例]]
+[[file:Piecewise linear function.svg|right|thumb|区分線形関数の例]]
 次の関数
-:<math>\begin{align}
+:<!-----formula does not match picture:-----<math>\begin{align}
  f(x) &= |x+3|-\frac{3}{2}|x|+\frac{3}{2}|x-3|-\frac{9}{2}\\
  &=\begin{cases}
@@ 30行目: / 29行目: @@
 x-6 & \text{if }x \geq 3
 \end{cases}
+\end{align}</math>-----><math>f(x) = \left\{ \begin{array}{lll} -3-x & \text{if} & x \leq -3 \\ x+3 & \text{if} & -3 \leq x \leq 0 \\ 3-2x & \text{if} & 0 \leq x \leq 3 \\ 0.5x - 4.5 & \text{if} & 3 \leq x \\ \end{array} \right.</math>
-\end{align}</math>
 は4つの区分をもつ区分線形関数である。（この関数のグラフを右に示す。）線形関数のグラフは[[直線]]であるので、区分線形関数のグラフは[[線分]]と[[半直線]]からなる。
 == 関連項目 ==
 *[[連続 (数学)#不連続関数|不連続関数]]
-*[[曲線#滑らかさ|区分的に連続な曲線]]
+*[[曲線#微分構造|区分的に連続な曲線]]
 {{DEFAULTSORT:くふんせんけいかんすう}}

2024年6月13日 (木) 14:42時点における最新版

例[編集]

関連項目[編集]