線型結合

**線型結合**（せんけいけつごう、）は、線型代数学およびその関連分野で用いられる中心的な概念の一つで、実ベクトル空間においてベクトルのスカラー倍どうしの和として表されるベクトルを線型結合と呼ぶ。**一次結合**あるいは**線型和**とも呼ぶ。

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

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

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

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

## 独立・従属

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

## 生成

体 *K* 上のベクトル空間 *V* と、その有限部分集合 *S* = {*v*1, *v*2, ..., *v**r*} に対し、*V* の部分集合で *S* を含む最小の部分線型空間となるものを span(*S*) あるいは &lt;*S*&gt; と表すことにすると、それは *S* の元からなる一次結合の全体と一致する：
: \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
 \} 

これをベクトル *v*1, *v*2, ..., *v**r* によって**張られる部分空間**あるいは *S* が *K* 上で**生成する部分空間**といい、*S* をこの部分空間の**生成系**という。係数を明示して Span*K*(*S*) とか &lt;*S*&gt;*K* のように記すこともある。また、*S* が無限個のベクトルからなる *V* の部分集合であるとき、*S* の生成する部分空間とは
: \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}
 \},

すなわち、*S* の有限個のベクトルの線型結合として表されるベクトル全体の成す *V* の部分集合となる。

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

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

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

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

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

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

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

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

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

## 脚注

### 出典

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

## 外部リンク

* 
*