生成 (線型代数学)

ウィキペディア

線型包

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/30 15:13 UTC 版)

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

定義

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

• W は S に属するベクトルによる線型結合^{[注 1]}全体の成す集合である。
• W は S を含む V のすべての部分空間交わりである。
• W は S を含む V の最小の部分空間である。

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

${\displaystyle {\text{span}}(v_{1},\dots ,v_{r})=\langle v_{1},\dots ,v_{r}\rangle _{\mathbb {K} }={\mathcal {L}}(v_{1},\dots ,v_{r})}$

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

• 実線型空間 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 上の形式冪級数全体の成すベクトル空間

${\displaystyle \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] に等しい：

${\displaystyle \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. ${\displaystyle A\subseteq \langle A\rangle }$
2. ${\displaystyle A\subseteq B\implies \langle A\rangle \subseteq \langle B\rangle }$
3. ${\displaystyle \langle A\rangle =\langle \langle A\rangle \rangle }$

の三性質が成り立つ、つまり線型包を取る操作は閉包作用素である^[3]。 他の重要な性質としては：

• ベクトル空間 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 を含むもの全ての交わりに等しい。一つの定式化としては

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

がある。

注意

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

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

補題

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

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

ゆえに、閉線型包を求める方法として、まず線型包を求めてからその閉包を取るのが普通である。

脚注

[脚注の使い方]

注釈

1. ^ ただし空和は0とする。すなわち S = ∅ に対しては W = {0} である。

出典

1. ^ Petersen 2012, Definition 1.10.7.
2. ^ Siegfried Bosch: Lineare Algebra. Springer, 2001, ISBN 3-540-41853-9, S. 29–30
3. ^ Lau 2011, Satz 4.2.2.

参考文献

• Lau, Dietlinde (2011). Algebra und Diskrete Mathematik 1. Springer. ISBN 978-3-642-19443-6. https://books.google.com/books?id=rZEhBAAAQBAJ 
• Petersen, Peter (2012). Linear Algebra. Springer. ISBN 978-1-4614-3612-6. https://books.google.com/books?id=v1syL6ZODMEC 
• Rynne & Youngson (2001). Linear functional analysis, Springer.

外部リンク

• M.I. Voitsekhovskii (2001), "Linear hull", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。

表 話 編 歴 線型代数学・行列解析
連立一次方程式	ガウスの消去法 クラメルの公式 ガウス＝ザイデル法 ヤコビ法
ベクトル	線型独立 線型結合 基底 双対基底
ベクトル空間	双対空間 核空間 固有空間 広義固有空間 線型包 行空間 列空間 次元
計量ベクトル空間	ドット積 コーシー＝シュワルツの不等式 直交 正規直交系 正規直交基底 グラム・シュミットの正規直交化法 直交補空間
行列・線型写像	演算・操作 乗法 転置 逆行列 サラスの方法 基本変形 対角化 分解 LU QR コレスキー シューア 特異値 固有値 不変量 行列式 跡 階数 固有値と固有ベクトル 固有多項式 最小多項式 単因子 階数標準形 スミス標準形 ジョルダン標準形 有理標準形 小行列式 クラス 正則 基本 対称 エルミート 正規 直交 回転 ユニタリ 冪零 射影 正定値 ユニモジュラー 置換 区分
行列式	余因子展開 余因子行列 ヴァンデルモンドの行列式 終結式 コーシー・ビネの公式
多重線型代数	外積 外積代数 対称代数 テンソル代数
数値線形代数	基本的な概念 浮動小数点 数値的安定性 疎行列 Z-行列 M行列 条件数 ゲルシュゴリンの定理 クリロフ部分空間 ソフトウェア Matrix Laboratory Basic Linear Algebra Subprograms (BLAS) LAPACK 数値解析ソフトの比較/一覧 ライブラリ Armadillo INTLAB OpenBLAS 線型代数学ライブラリの比較 反復法・技法 SOR法 共役勾配法 GMRES法 固有値問題の数値解法 ランチョス法 QR法 べき乗法 逆べき乗法 ヤコビ法 (固有値問題) シュトラッセンのアルゴリズム ハウスホルダー変換 ギブンス回転 人物 ジェームズ・H・ウィルキンソン クリーブ・モラー ニコラス・ハイアム ジーン・ゴラブ リチャード・バルガ
行列値関数	行列指数関数 行列の対数 行列の平方根
その他	スカラー ケイリー・ハミルトンの定理 ペロン＝フロベニウスの定理 シューア補行列 シルヴェスターの慣性法則