線型包

数学の特に線型代数学あるいはより一般の函数解析学において、ベクトル空間内の与えられたベクトルからなる集合の（線型に）張る部分空間 (linear span) あるいは線型包（せんけいほう、英: linear hull; 線型苞）若しくは生成する (generated) 部分空間は、その集合を含む線型部分空間すべての交わりであり、従ってその集合を含む最小の部分空間を成すものであって、それはその集合に属するベクトルの任意の線型結合全てからなる集合として実現される。

与えられた線型部分空間 S に対して、その部分空間に属するベクトルの集合 E がその部分空間全体を張るとき、E は S の生成系 (generating set) であるといい、生成系 E に属する各ベクトルは S の生成元 (generator) と呼ばれる。

定義

体 K 上のベクトル空間 V が与えられたとき、V の（必ずしも有限でない）部分集合 S に対して、以下は同一の概念を定める。

• W は S に属するベクトルからなる線型結合全体の成す集合である。
• W は S を含む V の部分空間全ての交わりである。
• W は S を含む V の最小の部分空間である。

この W のことを、S の線型包 (linear span), S の生成する部分空間 (generated subspace), S の（あるいは S に属するベクトルたちの）張る部分空間 (spaned subspace) と呼び、逆に S のことは W を生成する集合 (generating set), 張る集合 (spanning set) と呼ぶ。S の線型包は 〈S〉, span(S), lin(S), L(S) などで表され、また S が V の有限集合で S = {v₁, …, v_r} とすれば、その線型包 span(S) は

$\text{span}(v_1,\dots,v_r) = \lang v_1,\dots,v_r\rang_{\mathbb{K}} = \mathcal{L}(v_1,\dots,v_r)$

などとも書かれる。

線型結合の全体であるという性質を具体的に書けば、S の線型包は

$\langle S \rangle = \left\{ \sum_{i=1}^n \alpha_i v_i \mid \alpha_i \in \mathbb{K}, v_i \in S, n \in \N \right\}$

で与えられることがわかる。特に S が V の有限集合のとき、S = {v₁, …, v_r} と書けば、

$\langle v_1, v_2, \ldots, v_r \rangle = \{ \alpha_1 v_1 + \alpha_2 v_2 + \cdots + \alpha_r a_r \mid \alpha_1, \alpha_2,\ldots, \alpha_n \in \mathbb{K} \}$

と簡単化できる。

例

R² の単一のベクトル a (≠ (0,0)) の張る部分空間は原点を通る直線になる。

実線型空間 R³ は {(2,0,0), (0,1,0), (0,0,1)} を生成系に持つ。この生成系は特に基底を成す。先の生成系においてベクトル (2,0,0) を (1,0,0) に取り換えたものは、R³ の標準基底を与える。別な生成系として {(1,2,3), (0,1,2), (−1,1/2,3), (1,1,1)} を与えることができるが、これらのベクトルは線型従属ゆえ、これは基底を与えない。また、集合 {(1,0,0), (0,1,0), (1,1,0)} は R³ の生成系ではなく、これが生成するのは第三成分が 0 であるような R³ のベクトル全体の成す部分空間（つまり xy-平面）である。

体 K 上の形式冪級数全体の成すベクトル空間

$\mathbb{K}[[X]] = \left\lbrace \sum_{k=0}^{\infty} \alpha_k x^k \mid \alpha_k \in \mathbb{K} \right\rbrace$

において多項式の集合 A = {x^k | k ∈ N} を考えるとき、A の線型包 〈A〉 は多項式全体の成す部分空間 K[X] に等しい：

$\langle A \rangle = \left\lbrace \sum_{i=0}^n \alpha_i x^i \mid \alpha_i \in \mathbb{K}, n\in\mathbb{N} \right\rbrace = \mathbb{K}[X].$

性質

K-線型空間 V の二つの線型部分空間 A, B が任意に与えられたとき、

1. $A \subseteq \langle A \rangle,$
2. $A \subseteq B \implies \langle A \rangle \subseteq \langle B \rangle,$
3. $\langle A \rangle = \langle \langle A \rangle \rangle,$

の三性質が成り立ち、線型包をとる操作が閉包作用素として特徴づけられる。

他の重要な性質としては：

• ベクトル空間 V の部分集合の線型包はそれ自体が V の部分空間を成す。
• ベクトル空間 V の任意の部分空間 U に対して、〈U〉 = U が成り立つ。
• ベクトルからなる集合は、その線型包を生成する。特に、部分空間の生成系を成すベクトルの集合はもとの部分空間を生成する。
• 二つの部分空間 U, V の和空間 U + V = {u + v | u ∈ U, v ∈ V} は U と V の合併の線型包である。即ち U + V = 〈U ∪ V〉 が成り立つ。
• ベクトル空間の部分集合すべてからなる族 T において、「合併の線型包をとる」という操作およびその双対として「交叉の線型包をとる」という操作は二項演算を与え、T はこれら二つの二項演算に関して束を成す。
• 二つの部分空間 U, V に対し、その交わりの線型包の次元に関して等式 dim(U + V) + dim(U ∩ V) = dim(U) + dim(V) が成立する。

基底

詳細は「基底 (線型代数学)」を参照

定理 

ベクトル空間 V を張る任意の生成系 S は、少なくとも V の任意の線型独立系と同じ数のベクトルを含まなければならない。

定理 

V が有限次元ベクトル空間ならば、V を張る任意の生成系は、必要ならば（即ち、線型従属なベクトルが存在するならば）適当な元を取り除いて V の基底にすることができる。選択公理を認めるならば、有限次元という仮定は除いてよい。

以上から、基底とは V の最小生成系のことを言うと言ってもよいことがわかる。

位相的線型包

函数解析学において、ベクトルの集合の張る閉部分空間（閉線型包）もしくは位相的に生成する部分空間（位相的線型包）とは、その集合を含む最小の閉部分空間を言う。X がノルム線型空間で E を X の空でない部分空間のとき、E が位相的に張る部分空間 Sp(E)（あるいは span(E)）は、X の閉部分空間で E を含むもの全ての交わりに等しい。一つの定式化としては

$\overline{\text{span}}(E)=\{u\in X \mid \forall\epsilon>0,\,\exists x\in\text{span}(E),\; \|x-u\|<\epsilon\}$

と書くことができる。

注意 

与えられた集合の線型包は閉線型包の中で稠密である。さらに以下に述べる補題の意味で、閉線型包は実際に線型包の閉包になっている。

閉線型包は閉部分空間を扱ううえで重要である（閉部分空間自体、リースの補題を考えれば、非常に重要である）。

補題

X がノルム線型空間で E は X の空でない任意の部分集合とする。

1. $\overline{\text{span}}(E)$ は E を含む X の閉線型部分空間である。
2. $\overline{\text{span}}(E)=\overline{\text{span}(E)}$, 即ち $\overline{\text{span}}(E)$ は $\text{span}(E)$ の閉包である。
3. $E^\perp=(\text{span}(E))^\perp=(\overline{\text{span}(E)})^\perp.$

故に、閉線型包を求める方法として、まず線型包を求めてからその閉包をとるのがふつうである。

参考文献

• M.I. Voitsekhovskii (2001), “Linear hull”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104, http://eom.springer.de/L/l059260.htm 
• “Linear Algebra - As an Introduction to Abstract Mathematics”. University of California, Davis (2010年2月13日). 2011年9月27日閲覧。
• Rynne & Youngson (2001). Linear functional analysis, Springer.