基底 (線型代数学)

線型代数学における基底（きてい、）とは、線型独立なベクトルから成る集合あるいは組で、そのベクトルの（有限個の）線型結合として、与えられたベクトル空間の全てのベクトルを表すことができるものを言う。もう少し緩やかな言い方をすれば、基底は（基底ベクトルに決まった順番が与えられたものとして）「座標系」を定めるようなベクトルの集合である。硬い表現で言うならば、基底とは線型独立な生成系のことである。
ベクトル空間に基底が与えられれば、その空間の元は必ず基底ベクトルの線型結合としてただ一通りに表すことができる。全てのベクトル空間は必ず基底を持つ（ただし、無限次元ベクトル空間に対しては、一般には選択公理が必要である）。また、一つのベクトル空間が有するどの基底も、必ず同じ決まった個数（濃度）のベクトルからなる。この決まった数を、そのベクトル空間の次元と呼ぶ。
定義.
（実数全体 R や複素数全体 C のような）体 F 上の線型空間 "V" の基底 "B" とは、"V" の線型独立な部分集合（あるいはベクトルの列）で、"V" を張る（生成する）ものを言う。より具体的には、"V"のn個のベクトルの集合"B" = {"v"1, …, "v""n"}（または列B=("v"1, …, "v""n")）が基底であるとは、条件として
を何れも満足することを言う。最後の等式における係数 "a""i" は基底 "B" に関する 座標と呼ばれ、線型独立性により座標は一意的に定まることが分かる。
上記の条件を満たす整数"n"が存在するとき、その線形空間は有限次元であるという。そのような"n"が存在しないときは無限次元であるという。無限次元線形空間を扱うには、上記定義を一般化して、基底が無限集合となる場合も認めなければならない。すなわち、（有限または無限の）部分集合 "B" ⊂ "V" が基底であるとは、
の二条件を満たすことを言う。最後の式の和は必ず有限和であることに注意。これは、代数的なベクトル空間の公理だけからは（適当な構造を追加しない限り）極限操作に関する議論が展開できず、無限和に意味を持たせることができないことによるものである。無限和の場合を許した、別な種類の基底の概念が定義される場合については後述。
基底ベクトルを特定の「順序」で並べることが便利なことがよくある（例えば、線型写像の基底に関する変換行列を考える場合など）。そこで、基底を "V" を張る線型独立なベクトルの（集合と考える代わりに）列（あるいは"n"-組）と見た、順序付けられた基底 ("ordered basis") がしばしば用いられる（短く「順序基底」や「順序付き基底」などともいう）。この順序を含めたうえで単に「基底」と呼ぶことも多い。これについても後述。
基底の延長.
有限ベクトル空間 formula_1 の一次独立な部分集合 formula_2 に対し、formula_1 の基底 formula_4 が常に存在する。これを基底の延長定理という。これは「"S" を基底に延長（拡張）する」という意味を持つ。
この定理は次のように証明できる（概略）。一次独立な formula_5 が張る部分空間 formula_6 について、その補集合 formula_7 の任意の元 formula_8 は formula_2 の線形結合で表現できないため formula_10 もまた一次独立になる。同様に formula_11 の元を足して formula_12 を構成しこれを formula_13 すなわち formula_14 になるまで有限回繰り返すと、formula_15 は線形独立かつ formula_1 の生成系（=基底）となり定理が証明できる。
このような基底はほとんど常に複数存在し、一意的に決まることは稀（例えば "S" が既に基底である場合、"S" が空集合である場合、"V" が二元集合である場合など）である。同様の問題として「どのような部分集合 "S" が基底を含むか」ということを考えることができるが、これには "S" が "V" を張ることが必要十分である。この場合、"S" は複数の異なる基底を含むのが普通である。
生成系内の基底延長.
有限次元ベクトル空間 formula_1 の生成系 formula_18 とその一次独立な部分集合 formula_19 に対し、formula_20 を満たす基底 formula_21 が存在する。これは、生成系の一次独立な部分集合を生成系の他の元で延長すると基底が得られることを示している。
この定理は次のように証明できる。formula_22 と formula_6 の差集合 formula_24 を考えると、任意の元 formula_25 は formula_2 の線形結合で表現できないため formula_27 は一次独立になる。同様の線形独立な集合拡張を formula_28 すなわち formula_29 になるまで有限回繰り返すと、formula_15 は線形独立かつ formula_1 の生成系（=基底）かつ formula_22 の部分集合であるため、formula_33 が証明される。
基底の存在.
formula_34 を除く有限ベクトル空間 formula_1 には formula_1 を生成する一次独立な部分集合 formula_37 すなわち基底が常に存在する。これを基底の存在定理という。
この定理は次のように証明できる（概略）。formula_1 の定義より formula_1 は部分集合 formula_40 を必ず持ち、これは線形独立である。formula_41 は formula_1 の一次独立な部分集合であるから、基底の延長定理により formula_41 を延長して得られる基底 formula_44 が常に存在し、定理が証明できる。
性質.
ベクトル空間 "V" の部分集合 "B" が基底であるためには、以下に挙げるような互いに同値な条件のうちの何れか一つ（従って全部）を満足することが必要十分である。
任意のベクトル空間は基底を持つ（このことの証明には選択公理が必要である）。一つのベクトル空間では、全ての基底が同じ濃度（元の個数）を持ち、その濃度をそのベクトル空間の次元と呼ぶ。この事実はと呼ばれる（証明には、選択公理のきわめて弱い形である超フィルター補題が必要である）。
例.
"a", "b" がともに実数であるような座標（数ベクトル）("a", "b") 全てからなるベクトル空間 R2 を考える。このとき、R2 の任意のベクトル "v" = ("a", "b") は "v" = "a" (1,0) + "b" (0,1) と書けて、e1 := (1,0) と e2 := (0,1) は明らかに線型独立だから、{e1, e2} は R2 の基底になる。この自然で単純な基底を R2 の標準基底という。これ以外にも、任意の二つの線型独立なベクトル（例えば (1,1) と (−1,2) など）が、やはり R2 の基底を成す。
一つの数学的結果が複数のやり方で証明できることは普通であるが、ここでは {(1,1), (−1,2)} が R2 の基底を成すことの証明を三通りほど挙げてみる。
全域的かつ線型独立なベクトルからなる集合を標準基底から無数に作ることができる。
順序基底と座標系.
本ページでは簡単のため、主に基底は単なる集合として扱っており、各ベクトルの順序についての概念は含めていない。ただし、専門的な書籍では基底と呼んだ時にベクトルの順序も含めたうえで意味するとが多い。例えば、その場合には("v"1, …, "v""n")と("v"n, …, "v""1")は異なる基底とみなされる。 このような順序を含めた意味での基底を用いなければ、基底の変換と正則行列との対応が取れない。またベクトルを座標表現して扱うとき、「第一座標」・「第二座標」のようなお決まりの表現を用いるには、基底に特定の順序付けがされていないと意味を成さない。有限次元ベクトル空間ならば、最初の "n"-個の自然数を添字に用いて ("v"1, …, "v""n") のようにするのが典型的である。順序の概念を含めているかどうかの誤解を避けるために、順序付けられた基底は、順序基底 (ordered basis)、 標構 あるいは枠 ("frame") とも呼ばれる。
"V" は体 F 上の "n"-次元ベクトル空間であるものとする。"V" の順序基底を一つ選ぶことは、数ベクトル空間 F"n" （座標全体のなすベクトル空間と考えられる）から "V" への線型同型写像 φ を一つ選ぶことと等価である。これを見るのに F"n" の標準基底が順序基底であることが利用できる。
まず、線型同型 φ: F"n" → "V" が与えられているとき、"V" の順序基底 ("v""i")1≤"i"≤"n" を
で与えることができる。ただし (e"i")1≤"i"≤"n" は F"n" の標準基底である。
逆に、順序基底 ("v""i")1≤"i"≤"n" が与えられているとき、
で定まる φ: F"n" → "V" が線型同型であることを見るのは難しくない。
これら二つの構成が互いに逆になっていることは明らかであるから、"V" の順序基底とF"n" から "V" への線型同型との間に一対一対応があることがわかる。
順序基底 ("v""i") によって定まる線型同型 φ の逆写像は "V" に「座標系」を定める。即ち、ベクトル "v" ∈ "V" に対して φ−1("v") = ("a"1, "a"2...,"a""n") ∈ F"n" であるならば、各成分 "a""j" = "a""j"("v") は "v" = "a"1("v") "v"1 + "a"2("v") "v"2 + ... + "a""n"("v") "v""n" と書けるという意味で "v" の座標を与える。
ベクトル "v" を各成分 "a""j"("v") へ写す各写像は、φ−1 が線型ゆえ、"V" から F への線型写像になる。即ちこれらは線型汎函数であり、またこれらは "V" の双対空間の基底を成し、双対基底と呼ばれる。
関連概念.
解析学.
無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底（に由来）や代数基底という用語が用いられる。（ハメル基底は R の Q-基底を意味することもある。）これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のおよびが挙げられる。
これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。
無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。即ち、"X" が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、"X" の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。実際、有限次元空間は定義により有限な基底を持つし、また完備でない無限次元ノルム空間で可算なハメル基底を持つものが存在する。有限個の例外を除く全ての項が 0 となる実数列全体の成す空間 "c"00 にノルム ‖"x"‖ = sup"n"|"x""n"| を入れたものを考えると、その標準基底は可算ハメル基底になる。
アフィン幾何学.
関連の深いアフィン空間、射影空間、凸集合、錐といった空間には関連の深いアフィン基底（"n"-次元アフィン空間に対して一般の位置にある "n"+1 点のこと）、射影基底（本質的にアフィン基底と同じで、ここでは射影空間の、一般の位置にある "n"+1 点）、凸基底（多面体の頂点）、錐基底（多角形錐の辺上の点の集合）といった基底が定義される。