ベクトル値函数 ( 2 cos ( t ) , 4 sin ( t ) , t ) {\displaystyle (2\cos(t),4\sin(t),t)} の像は三次元ユークリッド空間内の螺旋になる 数学 のとくに初等解析学 におけるベクトル値函数 (ベクトルちかんすう、英 : vector-valued function )あるいはベクトル函数 (vector function) は、実数ベクトル空間 R n {\displaystyle \mathbb {R} ^{n}} に値をとる実変数函数(英語版) を言う。ベクトル値函数 f {\displaystyle {\boldsymbol {f}}} に対し、像ベクトルの第 i -成分 (i = 1, …, n ) のみを追跡する函数を f i とすれば、 f {\displaystyle {\boldsymbol {f}}} は実函数 f i たちの n -組として表すことができる。定義域 は一次元でもそれ以上の次元でもよい。
例えば、二次元ベクトルに値を取るベクトル値函数は、 f 1 , f 2 : R → R {\displaystyle f_{1},f_{2}\colon \mathbb {R} \to \mathbb {R} } を用いて f ( x ) = ( f 1 ( x ) , f 2 ( x ) ) {\displaystyle {\boldsymbol {f}}(x)=(f_{1}(x),f_{2}(x))} あるいは単位ベクトル を用いれば f ( x ) = f 1 ( x ) ı ^ + f 2 ( x ) ȷ ^ {\displaystyle {\boldsymbol {f}}(x)=f_{1}(x){\boldsymbol {\hat {\imath }}}+f_{2}(x){\boldsymbol {\hat {\jmath }}}} と書ける。
f {\displaystyle {\boldsymbol {f}}} の定義域 は、成分函数 fi の定義域すべての交わりとするのが自然である。
ベクトル値函数の微分 実変数ベクトル値函数 f : R → R n {\displaystyle {\boldsymbol {f}}\colon \mathbb {R} \to \mathbb {R} ^{n}} に対し、その微分 は実函数の場合とまったく同じ形で、前進差分 商の極限 f ′ ( t ) := lim h → 0 f ( t + h ) − f ( t ) h {\displaystyle {\boldsymbol {f}}'(t):=\lim _{h\to 0}{\frac {{\boldsymbol {f}}(t+h)-{\boldsymbol {f}}(t)}{h}}} で定義できる。ベクトルの演算が成分ごと に定義されているから、上記の極限が存在すれば、それは成分函数の微分からなるベクトル値函数と一致する: f ′ ( t ) = ( f 1 ′ ( x ) , f 2 ′ ( x ) , … , f n ′ ( x ) ) {\displaystyle {\boldsymbol {f}}'(t)=\left(f_{1}'(x),f_{2}'(x),\dotsc ,f_{n}'(x)\right)}
実函数の微分に関する重要な性質はほとんどがベクトル値函数に対しても成立する。とくに微分の線型性 と積の法則 が成り立つ: これらの結果はベクトル値函数をベルソルを用いた形に書いて計算してみればわかる(ベルソルの微分は零ベクトルであることに注意)。
ベクトル変数のベクトル値函数 f : R n → R m {\displaystyle {\boldsymbol {f}}\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}} の場合は、これを m 本の n -変数函数 yi (i = 1, …, m ) の組とみれば、mn 個の偏微分 が考えられて、これら偏導函数を第 i 行がスカラー値函数 yi の勾配となるようにして得られる m 行 n 列の排列 ( ∂ y 1 ∂ x 1 ⋯ ∂ y 1 ∂ x n ⋮ ⋱ ⋮ ∂ y m ∂ x 1 ⋯ ∂ y m ∂ x n ) {\displaystyle {\begin{pmatrix}{\dfrac {\partial y_{1}}{\partial x_{1}}}&\cdots &{\dfrac {\partial y_{1}}{\partial x_{n}}}\\\vdots &\ddots &\vdots \\{\dfrac {\partial y_{m}}{\partial x_{1}}}&\cdots &{\dfrac {\partial y_{m}}{\partial x_{n}}}\end{pmatrix}}} は f {\displaystyle {\boldsymbol {f}}} のヤコビ行列 と呼ばれる。
例 与えられた実数に対し、その整数部 および小数部 の組を対応させる函数は二次元ベクトル値の函数である。 平面 または三次元空間 内の曲線 の媒介表示(英語版) はベクトル値函数の自明でない重要な例を与えている。
関連項目
外部リンク ウィキメディア・コモンズには、ベクトル値函数 に関連するカテゴリがあります。
Weisstein, Eric W. "Vector Function". mathworld.wolfram.com (英語). vector-valued function - PlanetMath .(英語) Definition:Vector-Valued Function at ProofWiki Kuptsov, L.P. (2001), “Vector function”, in Hazewinkel, Michiel, Encyclopedia of Mathematics , Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Vector_function