基底 (線型代数学)

線型代数学における基底（きてい、英: basis）は線型空間の線型独立な生成系である^[1]。

概要

あらゆる線型空間はそれを生成できる線型独立なベクトル集合を1つ以上持つ。言い換えれば、線型結合で空間の全ベクトルを一意に表せるベクトル集合が常に存在する。そしてそれらベクトルの個数は各線形空間で一意に定まる。つまりあらゆる線形空間は「座標系」のような定数個の基本要素の線型結合で必ず表現できる^[2]。このように線形空間を特徴づける、線型独立な生成系のことを基底と呼ぶ。

基底の取り方に依らない、基底ベクトルの個数（濃度）は次元と呼ばれる。基底が常に存在することは基底の存在定理で証明される。

R² の標準基底を示した図。青とオレンジがこの基底の元である。緑のベクトルは基底ベクトルの一次結合で表されており、故にこの三者は線型従属である。

定義

体 F 上の線型空間 V の基底 B とは、V の線型独立な部分集合で、V を張る（生成する）ものを言う^[1]。

より具体的には、Vのn個のベクトルの集合B = {v₁, …, v_n}（または列B=(v₁, …, v_n)）が基底であるとは、条件として

線型独立性: a₁, …, a_n ∈ F に対して a₁v₁ + … + a_nv_n = 0 が成り立つならば、a₁ = … = a_n = 0 でなければならない。
全域性: V のどんな元 x も、適当な a₁, …, a_n ∈ F を選んで x = a₁v₁ + … + a_nv_n が成り立つようにできる。

を何れも満足することを言う。最後の等式における係数 a_i は基底 B に関する座標と呼ばれ、線型独立性により座標は一意的に定まることが分かる。

上記の条件を満たす整数nが存在するとき、その線形空間は有限次元であるという。そのようなnが存在しないときは無限次元であるという。無限次元線形空間を扱うには、上記定義を一般化して、基底が無限集合となる場合も認めなければならない。すなわち、（有限または無限の）部分集合 B ⊂ V が基底であるとは、

任意の有限部分集合 B₀ ⊆ B が既に述べた意味で線型独立性を持つ。
各 x ∈ V に対して、適当な有限個のスカラー a₁, …, a_n ∈ F とベクトル v₁, …, v_n ∈ B を選んで x = a₁v₁ + … + a_nv_n と表すことができる（n は x ごとに違ってよい）。

の二条件を満たすことを言う。最後の式の和は必ず有限和であることに注意。これは、代数的なベクトル空間の公理だけからは（適当な構造を追加しない限り）極限操作に関する議論が展開できず、無限和に意味を持たせることができないことによるものである。無限和の場合を許した、別な種類の基底の概念が定義される場合については後述。

基底ベクトルを特定の「順序」で並べることが便利なことがよくある（例えば、線型写像の基底に関する変換行列を考える場合など）。そこで、基底を V を張る線型独立なベクトルの（集合と考える代わりに）列（あるいは n-組）と見た、順序付けられた基底 (ordered basis) がしばしば用いられる（短く「順序基底」や「順序付き基底」などともいう）。この順序を含めたうえで単に「基底」と呼ぶことも多い。これについても後述。

基底の延長

有限ベクトル空間 $V$ の一次独立な部分集合 $S$ に対し、 $V$ の基底 $S_{+n}=S\cup \{{\boldsymbol {v}}_{1},...,{\boldsymbol {v}}_{n}\in {\overline {\operatorname {span} (S)}}\}\subset V$ が常に存在する。これを基底の延長定理という^[3]。これは「S を基底に延長（拡張）する」という意味を持つ。

この定理は次のように証明できる（概略）。一次独立な $S\subset V$ が張る部分空間 $\operatorname {span} (S)$ について、その補集合 ${\overline {\operatorname {span} (S)}}$ の任意の元 ${\boldsymbol {v_{1}}}$ は $S$ の線形結合で表現できないため^{[注 1]} $S_{+1}=S\cup \{{\boldsymbol {v_{1}}}\}$ もまた一次独立になる^{[注 2]}。同様に ${\overline {\operatorname {span} (S_{+k})}}$ の元を足して $S_{{+}{(k+1)}}$ を構成しこれを ${\overline {\operatorname {span} (S_{+n})}}=\varnothing$ すなわち $\operatorname {span} (S_{+n})=V$ になるまで有限回^{[注 3]}繰り返すと、 $S_{+n}$ は線形独立かつ $V$ の生成系（=基底）となり定理が証明できる。

このような基底はほとんど常に複数存在し、一意的に決まることは稀（例えば S が既に基底である場合、S が空集合である場合、V が二元集合である場合など）である。同様の問題として「どのような部分集合 S が基底を含むか」ということを考えることができるが、これには S が V を張ることが必要十分である。この場合、S は複数の異なる基底を含むのが普通である。

生成系内の基底延長

有限次元ベクトル空間 $V$ の生成系 $T\subset V$ とその一次独立な部分集合 $S\subset T\subset V$ に対し、 $S\subset B\subset T$ を満たす基底 $B$ が存在する^[4]。これは、生成系の一次独立な部分集合を生成系の他の元で延長すると基底が得られることを示している。

この定理は次のように証明できる。 $T$ と $\operatorname {span} (S)$ の差集合 $T\setminus \operatorname {span} (S)$ を考えると、任意の元 ${\boldsymbol {v_{1}}}\in (T\setminus \operatorname {span} (S))$ は $S$ の線形結合で表現できないため $S_{+1}=S\cup \{{\boldsymbol {v_{1}}}\}\subset T$ は一次独立になる。同様の線形独立な集合拡張を $T\setminus \operatorname {span} (S_{+n})=\varnothing$ すなわち $\operatorname {span} (S_{+n})=\operatorname {span} (T)=V$ ^{[注 4]}になるまで有限回^{[注 5]}繰り返すと、 $S_{+n}$ は線形独立かつ $V$ の生成系（=基底）かつ $T$ の部分集合であるため、 $S\subset S_{+n}=B\subset T$ が証明される。

基底の存在

$\{{\boldsymbol {0}}\}$ を除く有限ベクトル空間 $V$ には $V$ を生成する一次独立な部分集合 $B\subset V$ すなわち基底が常に存在する。これを基底の存在定理という^[5]。

この定理は次のように証明できる（概略）。 $V$ の定義より $V$ は部分集合 $S_{1}=\{{\boldsymbol {v_{1}}}|{\boldsymbol {v_{1}}}\neq {\boldsymbol {0}}\}$ を必ず持ち、これは線形独立である^{[注 6]}。 $S_{1}$ は $V$ の一次独立な部分集合であるから、基底の延長定理^{[注 7]}により $S_{1}$ を延長して得られる基底 $B\subset V$ が常に存在し、定理が証明できる。

無限次元ベクトル空間に対しては、一般には選択公理が必要である。

性質

ベクトル空間 V の部分集合 B が基底であるためには、以下に挙げるような互いに同値な条件のうちの何れか一つ（従って全部）を満足することが必要十分である。

B は V の極小生成系である。即ち、B は V の生成系であって、かつ B に真に含まれるどの部分集合も V を生成しない。
B は V のベクトルからなる極大線型独立系である。即ち、B は線型独立系であって、かつ B を真に含む V のどの部分集合も線型独立系でない。
V に属するどのベクトルも、B に属するベクトルの線型結合としてただ一通りに表される。この基底が順序付けられているとき、この表示の係数はこの基底に関する「座標」を与える（後述）。

任意のベクトル空間は基底を持つ（このことの証明には選択公理が必要である）。一つのベクトル空間では、全ての基底が同じ濃度（元の個数）を持ち、その濃度をそのベクトル空間の次元と呼ぶ。この事実は次元定理（英語版）と呼ばれる（証明には、選択公理のきわめて弱い形である超フィルター補題が必要である）。

例

a, b がともに実数であるような座標（数ベクトル）(a, b) 全てからなるベクトル空間 R² を考える。このとき、R² の任意のベクトル v = (a, b) は v = a (1,0) + b (0,1) と書けて、e₁ := (1,0) と e₂ := (0,1) は明らかに線型独立だから、{e₁, e₂} は R² の基底になる。この自然で単純な基底を R² の標準基底という。これ以外にも、任意の二つの線型独立なベクトル（例えば (1,1) と (−1,2) など）が、やはり R² の基底を成す。

一つの数学的結果が複数のやり方で証明できることは普通であるが、ここでは {(1,1), (−1,2)} が R² の基底を成すことの証明を三通りほど挙げてみる。

直接証明

定義に忠実に、二つのベクトル (1,1), (−1,2) が線型独立であることと R² を生成することとを示す。

線型独立性: 実数 a, b に対して線型関係
$a(1,1)+b(-1,2)=(0,0)$
が成り立つとすると、(a − b, a + 2b) = (0, 0), 即ち
${\begin{cases}a-b=0\\a+2b=0\end{cases}}$
となり、辺々引いて b = 0, これを代入して a = 0 を得る。故に線型独立性が示せた。
全域性: 二つのベクトル (1,1), (−1,2) が R² を生成することを示すには、いま (a, b) を R² の勝手な元として、
$r(1,1)+s(-1,2)=(a,b)$
を満たす実数 r, s の存在を言えばよい。これは即ち、方程式系
${\begin{cases}r-s=a\\r+2s=b\end{cases}}$
が r, s について解けることに他ならない。辺々引いて s が、それを代入して r がそれぞれ
${\begin{cases}s=(b-a)/3\\r=(b+2a)/3\end{cases}}$
と求められるから、これで全域性も示された。

次元定理による証明: (−1,2) は明らかに (1,1) の定数倍ではないし、(1,1) も明らかに零ベクトルではないから、二つのベクトル (1,1), (−1,2) は線型独立。これを延長して基底が得られるはずだが、R² の次元は 2 だから、{(1,1), (−1,2)} は既に R² の基底を成している。
正則行列を用いた証明: 二つのベクトル (1,1), (−1,2) を並べてできる行列の行列式を計算すると
$\det \!{\begin{pmatrix}1&-1\\1&2\end{pmatrix}}=3$
となり、行列式が 0 ではない（正則である）から、この行列の二つの列ベクトル (1,1), (−1,2) は線型独立。従って R² の基底となる。

より一般に、n-次単位行列（対角成分が 1 でそれ以外の成分が 0 の n×n-行列）の第 i-列ベクトルを e_i とするとき、ベクトル族 {e₁, e₂, ..., e_n} は線型独立で、Rⁿ を生成する。故にこれは Rⁿ の基底を成し、また Rⁿ の次元は n であると分かる。この基底を Rⁿ の標準基底という。
V を二つの函数 e^t および e^2t で生成される実線型空間とすると、これら二つの函数は線型独立であるから V の基底を成す。
次数が高々 2 の多項式全体の成す集合 P₂ において、{1, x, x²} は標準基底を成す。実数係数多項式全体の成す線型空間を R[x] で表せば、無限系列 (1, x, x², …) は R[x] の基底を成す。従って、R[x] の次元は、可算濃度 ℵ₀ に等しい。
2×2-行列全体の成す集合 M_2,2 において、(m,n)-成分が 1 でそれ以外の成分が 0 の 2×2-行列を E_mn と書けば、{E₁₁, E₁₂, E₂₁, E₂₂} は標準基底である。

全域的かつ線型独立なベクトルからなる集合を標準基底から無数に作ることができる。

順序基底と座標系

本ページでは簡単のため、主に基底は単なる集合として扱っており、各ベクトルの順序についての概念は含めていない。ただし、専門的な書籍では基底と呼んだ時にベクトルの順序も含めたうえで意味するとが多い。例えば、その場合には(v₁, …, v_n)と(v_n, …, v₁)は異なる基底とみなされる。このような順序を含めた意味での基底を用いなければ、基底の変換と正則行列との対応が取れない。またベクトルを座標表現して扱うとき、「第一座標」・「第二座標」のようなお決まりの表現を用いるには、基底に特定の順序付けがされていないと意味を成さない。有限次元ベクトル空間ならば、最初の n-個の自然数を添字に用いて (v₁, …, v_n) のようにするのが典型的である。順序の概念を含めているかどうかの誤解を避けるために、順序付けられた基底は、順序基底 (ordered basis)、標構あるいは枠 (frame) とも呼ばれる。

V は体 F 上の n-次元ベクトル空間であるものとする。V の順序基底を一つ選ぶことは、数ベクトル空間 Fⁿ （座標全体のなすベクトル空間と考えられる）から V への線型同型写像 φ を一つ選ぶことと等価である。これを見るのに Fⁿ の標準基底が順序基底であることが利用できる。

まず、線型同型 φ: Fⁿ → V が与えられているとき、V の順序基底 (v_i)_1≤i≤n を

v_i = φ(e_i) for 1 ≤ i ≤ n

で与えることができる。ただし (e_i)_1≤i≤n は Fⁿ の標準基底である。

逆に、順序基底 (v_i)_1≤i≤n が与えられているとき、

x=x_{1}\mathbf {e} _{1}+x_{2}\mathbf {e} _{2}+\cdots +x_{n}\mathbf {e} _{n}\mapsto \varphi (x):=x_{1}v_{1}+x_{2}v_{2}+\cdots +x_{n}v_{n}

で定まる φ: Fⁿ → V が線型同型であることを見るのは難しくない。

これら二つの構成が互いに逆になっていることは明らかであるから、V の順序基底とFⁿ から V への線型同型との間に一対一対応があることがわかる。

順序基底 (v_i) によって定まる線型同型 φ の逆写像は V に「座標系」を定める。即ち、ベクトル v ∈ V に対して φ⁻¹(v) = (a₁, a₂,...,a_n) ∈ Fⁿ であるならば、各成分 a_j = a_j(v) は v = a₁(v) v₁ + a₂(v) v₂ + ... + a_n(v) v_n と書けるという意味で v の座標を与える。

ベクトル v を各成分 a_j(v) へ写す各写像は、φ⁻¹ が線型ゆえ、V から F への線型写像になる。即ちこれらは線型汎函数であり、またこれらは V の双対空間の基底を成し、双対基底と呼ばれる。

脚注

[脚注の使い方]

注釈

^ $\operatorname {span} (S)$ は $S$ の線形結合で定義づけられる。ゆえに ${\boldsymbol {v_{1}}}\not \in \operatorname {span} (S)$ は線形結合で表現できない。
^ 一次独立条件式 $0=c_{+1}{\boldsymbol {v_{1}}}+\sum _{{\boldsymbol {s}}\in S}c_{s}{\boldsymbol {s}}$ で $c_{+1}\neq 0$ と ${\boldsymbol {v_{1}}}\not \in \operatorname {span} (S)$ が矛盾することから明らか
^ 有限ベクトル空間 $V$ は要素数有限の生成系で張られる
^ $S_{+n}\subseteq T$ より $\operatorname {span} (S_{+n})\varsupsetneq \operatorname {span} (T)=V$ は成立し得ない
^ 有限次元ベクトル空間の定義から $T$ の元は有限個であり、取り出す操作は必ず有限回で終了する。
^ ${\boldsymbol {v_{1}}}\neq {\boldsymbol {0}}$ 下で $c_{1}{\boldsymbol {v_{1}}}={\boldsymbol {0}}$ を満たすのは $c_{1}=0$ のみ。
^ "生成系内の基底延長定理" でも $S_{1}=\{{\boldsymbol {v_{1}}}\in T|{\boldsymbol {v_{1}}}\neq {\boldsymbol {0}}\}$ とすることで同様に証明できる。

出典

^ ^a ^b "ベクトルの集合 ... が V の基底であることは ... V を生成 ... 一次独立 ... の二つの条件を満たしていることと同値である。多くの本が、こちらを定義に採用している。" 松本. (2015). 行列を知らない人のための線形代数学入門. 広島大学.
^ Halmos, Paul Richard (1987) Finite-dimensional vector spaces (4th edition) Springer-Verlag, New York, page 10, ISBN 0-387-90093-4
^ "基底の延長定理 ... Voを ... Vの一次独立なベクトルとする ... Voにいくつかのベクトル ... を加えた集合 ... をVの基底とすることができる" 丹下. (2015). 線形代数II演習第5回 -基底の延長、補空間-. 筑波大学, 線形代数II演習.
^ "V を有限次元ベクトル空間、S ⊂ V を１次独立である部分集合、S ⊂ T ⊂ V を V を生成する部分集合とする。そのとき、V は、S ⊂ B ⊂ T を満たす基底 B を持つ。" Hesselholt. (2012). 数学通論 II 基底と次元. 名古屋大学.
^ "基底の存在定理有限次元ベクトル空間 V != {0} には基底が存在する。" 東京工業大学. (2013). 基底の存在と次元.
^ Hamel 1905
^ http://www.scielo.cl/pdf/proy/v26n3/art01.pdf
^ Notes on geometry, by Elmer G. Rees, p. 7
^ Some remarks about additive functions on cones, Marek Kuczma

参考文献

全般

Blass, Andreas (1984), “Existence of bases implies the axiom of choice”, Axiomatic set theory, Contemporary Mathematics volume 31, Providence, R.I.: American Mathematical Society, pp. 31–33, ISBN 0-8218-5026-1, MR763890
Brown, William A. (1991), Matrices and vector spaces, New York: M. Dekker, ISBN 978-0-8247-8419-5
Lang, Serge (1987), Linear algebra, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96412-6

歴史的文献

外部リンク

Weisstein, Eric W. "Basis". mathworld.wolfram.com (英語).

[4] $\operatorname {span} (S)$ は $S$ の線形結合で定義づけられる。ゆえに ${\boldsymbol {v_{1}}}\not \in \operatorname {span} (S)$ は線形結合で表現できない。

[5] 一次独立条件式 $0=c_{+1}{\boldsymbol {v_{1}}}+\sum _{{\boldsymbol {s}}\in S}c_{s}{\boldsymbol {s}}$ で $c_{+1}\neq 0$ と ${\boldsymbol {v_{1}}}\not \in \operatorname {span} (S)$ が矛盾することから明らか

[6] 有限ベクトル空間 $V$ は要素数有限の生成系で張られる

[8] $S_{+n}\subseteq T$ より $\operatorname {span} (S_{+n})\varsupsetneq \operatorname {span} (T)=V$ は成立し得ない

[9] 有限次元ベクトル空間の定義から $T$ の元は有限個であり、取り出す操作は必ず有限回で終了する。

[11] ${\boldsymbol {v_{1}}}\neq {\boldsymbol {0}}$ 下で $c_{1}{\boldsymbol {v_{1}}}={\boldsymbol {0}}$ を満たすのは $c_{1}=0$ のみ。

[12] "生成系内の基底延長定理" でも $S_{1}=\{{\boldsymbol {v_{1}}}\in T|{\boldsymbol {v_{1}}}\neq {\boldsymbol {0}}\}$ とすることで同様に証明できる。

[:0-1] "ベクトルの集合 ... が V の基底であることは ... V を生成 ... 一次独立 ... の二つの条件を満たしていることと同値である。多くの本が、こちらを定義に採用している。" 松本. (2015). 行列を知らない人のための線形代数学入門. 広島大学.

[2] Halmos, Paul Richard (1987) Finite-dimensional vector spaces (4th edition) Springer-Verlag, New York, page 10, ISBN 0-387-90093-4

[3] "基底の延長定理 ... Voを ... Vの一次独立なベクトルとする ... Voにいくつかのベクトル ... を加えた集合 ... をVの基底とすることができる" 丹下. (2015). 線形代数II演習第5回 -基底の延長、補空間-. 筑波大学, 線形代数II演習.

[7] "V を有限次元ベクトル空間、S ⊂ V を１次独立である部分集合、S ⊂ T ⊂ V を V を生成する部分集合とする。そのとき、V は、S ⊂ B ⊂ T を満たす基底 B を持つ。" Hesselholt. (2012). 数学通論 II 基底と次元. 名古屋大学.

[10] "基底の存在定理有限次元ベクトル空間 V != {0} には基底が存在する。" 東京工業大学. (2013). 基底の存在と次元.

[13] Hamel 1905

[14] ttp://www.scielo.cl/pdf/proy/v26n3/art01.pdf

[15] Notes on geometry, by Elmer G. Rees, p. 7

[16] Some remarks about additive functions on cones, Marek Kuczma

[1]

[2]

[3]

[注 1]

[注 2]

[注 3]

[4]

[注 4]

[注 5]

[5]

[注 6]

[注 7]

[6]

[7]

[8]

[9]