線型結合のソースを表示

{{出典の明記|date=2012年8月15日 (水) 13:41 (UTC)}}
[[ファイル:Linjcomb.png|サムネイル|300x300ピクセル|<math>\boldsymbol{v}</math> はベクトル <math>\boldsymbol{u}_1</math> と<math>\boldsymbol{u}_2</math>の線形結合です。<math>\boldsymbol{v} = 2 \cdot \boldsymbol{u}_1 + 1.5 \cdot \boldsymbol{u}_2</math>]]
'''線型結合'''（せんけいけつごう、{{Lang-en-short|linear combination}}）は、[[線型代数学]]およびその関連分野で用いられる中心的な概念の一つで、実[[ベクトル空間]]においてベクトルの[[スカラー (数学)|スカラー]]倍どうしの[[加法|和]]として表されるベクトルを線型結合と呼ぶ<ref>[https://wiis.info/math/linear-algebra/vector/linear-combination/ 実ベクトル空間上のベクトルの線型結合と線型スパン | ベクトル | 線型代数 | 数学 | ワイズ]</ref>。'''一次結合'''あるいは'''線型和'''とも呼ぶ。

いくつかのベクトルを組み合わせると他のベクトルを作ることができる。2次元[[数ベクトル]]を例に挙げると、ベクトル <math>\boldsymbol{v} = (2, 3)</math> と <math>\boldsymbol{w} = (1, 2)</math> を用いて <math>2\boldsymbol{v} + 3\boldsymbol{w}</math> のようにすれば、<math>(7, 12)</math> というベクトルを作ることができる。このように、いくつかのベクトルを何倍かしたものを足し合わせたものを、それらのベクトルの線型結合というのである。

なお、「線型」は'''線形'''と表記されることもあるが、本記事では「線型」で統一する。用字・表記の揺れについては、[[線型性]]の記事を参照のこと。

== 定義 ==
有限個のベクトル <math>\boldsymbol{v}_1,\ \boldsymbol{v}_2,\ \cdots,\ \boldsymbol{v}_r</math> と[[スカラー (数学)|スカラー]] <math>k_1,\ k_2,\ \cdots,\ k_r</math> に対して
: <math>k_1 \boldsymbol{v}_1 + k_2 \boldsymbol{v}_2 + \cdots + k_r \boldsymbol{v}_r</math>
を、ベクトル <math>\boldsymbol{v}_1,\ \boldsymbol{v}_2,\ \cdots,\ \boldsymbol{v}_r</math> の（<math>k_1,\ k_2,\ \cdots,\ k_r</math> を係数とする）線型結合という。ベクトル <math>\boldsymbol{v}_1,\ \boldsymbol{v}_2,\ \cdots,\ \boldsymbol{v}_r</math> を変数と見たときの斉一次式であるので一次結合とも呼ぶ。

係数は 0 や負でもよいので、<math>\boldsymbol{v}_1 - \boldsymbol{v}_2</math> なども線型結合である。

== 独立・従属 ==
{{main|線型独立}}
''n'' 個のベクトル ''v''<sub>1</sub>, ..., ''v''<sub>''n''</sub> に対して、その線型結合でベクトルを表すとき、各ベクトルがただ一通りの表示を持つならば'''線型独立'''、少なくとも 2 通りの表示が可能であるならば'''線型従属'''という。言い換えると、ベクトル ''v''<sub>1</sub>, ..., ''v''<sub>''n''</sub> が自明でないどんな一次関係式も満足しないとき、すなわち 
: <math> \sum_{i=1}^{n} k_i v_i = 0</math>
が満たされるのが、全ての係数 ''k''<sub>''i''</sub> (''i'' = 1, 2, ..., ''n'') が 0 の場合のみに限られるとき線型独立といい、そうでないとき線型従属であるということができる。あるいは同じことだが、与えられた幾つかのベクトルが、互いに他のベクトルの線型結合では表せないとき、これらは'''線型独立'''であるといい、線型独立でないことを'''線型従属'''という。

== 生成 ==
{{main|線型包}}
[[可換体|体]] ''K'' 上のベクトル空間 ''V'' と、その有限部分集合 ''S'' = {''v''<sub>1</sub>, ''v''<sub>2</sub>, ..., ''v''<sub>''r''</sub>} に対し、''V'' の部分集合で ''S'' を含む最小の部分線型空間となるものを span(''S'') あるいは &lt;''S''&gt; と表すことにすると、それは ''S'' の元からなる一次結合の全体と一致する：
: <math>\operatorname{span}(S) = \langle S \rangle :=
 \{k_1 v_1 + k_2 v_2 + \cdots + k_r v_r 
  \mid k_i \in K,\, v_j \in S
 \} 
</math>
これをベクトル ''v''<sub>1</sub>, ''v''<sub>2</sub>, ..., ''v''<sub>''r''</sub> によって'''張られる部分空間'''あるいは ''S'' が ''K'' 上で'''生成する部分空間'''といい、''S'' をこの部分空間の'''生成系'''という。係数を明示して Span<sub>''K''</sub>(''S'') とか &lt;''S''&gt;<sub>''K''</sub> のように記すこともある。また、''S'' が無限個のベクトルからなる ''V'' の部分集合であるとき、''S'' の生成する部分空間とは
: <math>\operatorname{span}(S) :=
 \{k_1 v_1 + k_2 v_2 + \cdots + k_r v_r 
  \mid k_i \in K,\, v_j \in S,\, \exists r \in \mathbb{N}
 \},
</math>
すなわち、''S'' の有限個のベクトルの線型結合として表されるベクトル全体の成す ''V'' の部分集合となる。

''V'' = span(''S'') となる部分集合 ''S'' のうち極小なものを ''V'' の[[基底 (線型代数学)|基底]]という。基底の[[濃度 (数学)|濃度]]は常に一定であり、基底の濃度としてベクトル空間の次元が定義される。たとえば、''S'' = {''v''<sub>1</sub>, ''v''<sub>2</sub>, ..., ''v''<sub>''r''</sub>} が線型独立なベクトルからなるならば、''S'' はそれによって張られるベクトル空間 span(''S'') の基底をなし、span(''S'') の[[次元 (線型代数学)|次元]]は ''r'' となる。

== 特別な種類の線型結合 ==
線型結合において取り得る係数に制限を加えることにより、[[アフィン結合]]、[[錐結合]]、[[凸結合]]などといった関連概念と、それに付随してそれらの操作で閉じている集合という概念を定義することができる。

{| class="wikitable" style="margin: 1ex auto; padding: auto;"
! 種類 !! 制約条件 !! 閉じる空間 !! 典型例
|-
| '''線型結合''' || 制限なし || [[線型部分空間]] || {{math|'''R'''{{sup|''n''}}}}
|- 
| [[アフィン結合]] || {{math|&sum; ''a''{{sub|''i''}} {{=}} 1}} || [[アフィン空間|アフィン部分空間]] || アフィン[[超平面]]
|-
| [[錐結合]] || {{math|''a''{{sub|''i''}} &ge; 0}} || [[凸錐]] || {{仮リンク|四分儀 (平面幾何学)|en|Quadrant (plane geometry)|label=四分儀}}/{{仮リンク|八分儀 (平面幾何学)|en|Octant (plane geometry)|label=八分儀}}
|-
| [[凸結合]] || {{math|''a''{{sub|''i''}} &ge; 0}} かつ {{math|&sum; ''a''{{sub|''i''}} {{=}} 1}} || [[凸集合]] || [[単体 (数学)|単体]]
|}

これらの演算は「制限」が追加されているので、それらの演算で閉じているアフィン部分集合、凸錐、凸集合はいずれも線型部分空間を「一般化」するものになっている。つまり、線型部分空間は必ずアフィン部分空間であり凸錐であり凸集合となるが、例えば凸集合は必ずしも線型部分空間やアフィン部分空間や凸錐にはならない。

これらの概念は、特定の種類の対象の線型結合を考えるとき、必ずしもすべてが意味を持つわけではない。例えば[[確率分布]]は凸結合について閉じている（したがってそれらの全体は凸集合を成す）が錐結合やアフィン結合（あるいは線型結合）について閉じていない。[[測度|正値測度]]は錐結合について閉じているがアフィン結合や線型結合について閉じていない（線型結合で閉じるように[[符号付き測度]]を定義することができる）。

線型結合やアフィン結合は任意の体（または環）上で定義できるが、錐結合と凸結合には「正値」の概念が入っているので[[順序体]]（または[[順序環]]）上でなければ定義できない（ふつうは実数体を考える）。

加法については忘れてスカラー乗法しか考えないならば、（必ずしも凸でない）[[錐 (線型代数学)|錐]]が得られる。しばしば正のスカラー倍のみを許すように定義を制限することもある。

これらの概念は、それぞれ独立に公理化されたものと考えるよりは、ふつう何らかの全体空間としてのベクトル空間の部分集合として定義される（アフィンの場合はさらに「ベクトル空間から原点を忘れる」必要がある）。

== 一般化 ==
[[環上の加群]]についても、スカラー倍と和からなる式を考えて一次結合という。二つの環 ''A'', ''B'' に対して[[アーベル群]] ''M'' が (''A'', ''B'')-両側加群であるなら、''M'' の元 ''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub> の一次結合は
: <math>a_1 x_1 b_1 + a_2 x_2 b_2 +\cdots+ a_n x_n b_n</math>
(''a''<sub>''i''</sub> &isin; ''A'', ''b''<sub>''j''</sub> &isin; ''B'') という形に書く事ができる。

''V'' が[[位相線型空間]]で ''V'' の無限個の元からなる部分集合 ''S'' を考えるとき、その無限項の "線型結合"
: <math>c_1 v_1 + c_2 v_2 +\cdots</math>
(''c''<sub>''i''</sub> &isin; ''K'', ''v''<sub>''i''</sub> &isin; ''S'', ''i'' = 1, 2, ...) のうち ''V'' の位相に関して収束するものの全体を考えると、それは ''S'' および span(''S'') を含む最小の閉部分空間となる。

== 脚注 ==
<!--
=== 注釈 ===
{{notelist}}
-->
=== 出典 ===
{{reflist}}

== 関連項目 ==
* [[ベクトル空間]]
* [[生成 (数学)]]

== 外部リンク ==
{{脚注の不足|section=1|date=2024-07}}
* {{MathWorld|urlname=LinearCombination|title=Linear Combination}}
* {{PlanetMath|urlname=linearcombination|title=linear combination}}

{{Linear algebra}}
{{デフォルトソート:せんけいけつこう}}
[[Category:線型代数学]]
[[Category:初等数学]]
[[Category:数学に関する記事]]