基底 (線型代数学)

線型代数学における基底は線型空間の線型独立な生成系である。

1. 概要
-----

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

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

2. 定義
-----

体 F 上の線型空間 //V// の基底 //B// とは、//V// の線型独立な部分集合で、//V// を張るものを言う。

より具体的には、//V//のn個のベクトルの集合//B// = {//v//1, …, //v////n//}が基底であるとは、条件として

線型独立性: //a//1, …, //a////n// ∈ F に対して //a//1//v//1 + … + //a////n////v////n// = 0 が成り立つならば、//a//1 = … = //a////n// = 0 でなければならない。 全域性: //V// のどんな元 //x// も、適当な //a//1, …, //a////n// ∈ F を選んで //x// = //a//1//v//1 + … + //a////n////v////n// が成り立つようにできる。を何れも満足することを言う。最後の等式における係数 //a////i// は基底 //B// に関する 座標と呼ばれ、線型独立性により座標は一意的に定まることが分かる。

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

任意の有限部分集合 //B//0 ⊆ //B// が既に述べた意味で線型独立性を持つ。
各 //x// ∈ //V// に対して、適当な有限個のスカラー //a//1, …, //a////n// ∈ F とベクトル //v//1, …, //v////n// ∈ //B// を選んで //x// = //a//1//v//1 + … + //a////n////v////n// と表すことができる。の二条件を満たすことを言う。最後の式の和は必ず有限和であることに注意。これは、代数的なベクトル空間の公理だけからは極限操作に関する議論が展開できず、無限和に意味を持たせることができないことによるものである。無限和の場合を許した、別な種類の基底の概念が定義される場合については後述。

基底ベクトルを特定の「順序」で並べることが便利なことがよくある。そこで、基底を //V// を張る線型独立なベクトルの列と見た、順序付けられた基底  がしばしば用いられる。この順序を含めたうえで単に「基底」と呼ぶことも多い。これについても後述。

3. 基底の延長
--------

有限ベクトル空間 の一次独立な部分集合 に対し、 の基底 が常に存在する。これを基底の延長定理という。これは「//S// を基底に延長する」という意味を持つ。

この定理は次のように証明できる。一次独立な が張る部分空間 について、その補集合 の任意の元 は の線形結合で表現できないため もまた一次独立になる。同様に の元を足して を構成しこれを すなわち になるまで有限回繰り返すと、 は線形独立かつ の生成系となり定理が証明できる。

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

3.1. 生成系内の基底延長
--------------

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

この定理は次のように証明できる。 と の差集合 を考えると、任意の元 は の線形結合で表現できないため は一次独立になる。同様の線形独立な集合拡張を すなわち になるまで有限回繰り返すと、 は線形独立かつ の生成系かつ の部分集合であるため、 が証明される。

4. 基底の存在
--------

を除く有限ベクトル空間 には を生成する一次独立な部分集合 すなわち基底が常に存在する。これを基底の存在定理という。

この定理は次のように証明できる。 の定義より は部分集合 を必ず持ち、これは線形独立である。 は の一次独立な部分集合であるから、基底の延長定理により を延長して得られる基底 が常に存在し、定理が証明できる。

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

5. 性質
-----

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

//B// は //V// の極小生成系である。即ち、//B// は //V// の生成系であって、かつ //B// に真に含まれるどの部分集合も //V// を生成しない。
//B// は //V// のベクトルからなる極大線型独立系である。即ち、//B// は線型独立系であって、かつ //B// を真に含む //V// のどの部分集合も線型独立系でない。
//V// に属するどのベクトルも、//B// に属するベクトルの線型結合としてただ一通りに表される。この基底が順序付けられているとき、この表示の係数はこの基底に関する「座標」を与える。任意のベクトル空間は基底を持つ。一つのベクトル空間では、全ての基底が同じ濃度を持ち、その濃度をそのベクトル空間の次元と呼ぶ。この事実はベクトル空間の次元定理と呼ばれる。

6. 例
----

//a//, //b// がともに実数であるような座標 全てからなるベクトル空間 R2 を考える。このとき、R2 の任意のベクトル //v// =  は //v// = //a//  + //b//  と書けて、e1 :=  と e2 :=  は明らかに線型独立だから、{e1, e2} は R2 の基底になる。この自然で単純な基底を R2 の標準基底という。これ以外にも、任意の二つの線型独立なベクトルが、やはり R2 の基底を成す。

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

直接証明 定義に忠実に、二つのベクトル ,  が線型独立であることと R2 を生成することとを示す。 線型独立性: 実数 //a//, //b// に対して線型関係が成り立つとすると、 = , 即ち となり、辺々引いて //b// = 0, これを代入して //a// = 0 を得る。故に線型独立性が示せた。 全域性: 二つのベクトル ,  が R2 を生成することを示すには、いま  を R2 の勝手な元として、を満たす実数 //r//, //s// の存在を言えばよい。これは即ち、方程式系が //r//, //s// について解けることに他ならない。辺々引いて //s// が、それを代入して //r// がそれぞれと求められるから、これで全域性も示された。 次元定理による証明  は明らかに  の定数倍ではないし、 も明らかに零ベクトルではないから、二つのベクトル ,  は線型独立。これを延長して基底が得られるはずだが、R2 の次元は 2 だから、{, } は既に R2 の基底を成している。 正則行列を用いた証明 二つのベクトル ,  を並べてできる行列の行列式を計算するととなり、行列式が 0 ではないから、この行列の二つの列ベクトル ,  は線型独立。従って R2 の基底となる。
より一般に、//n//-次単位行列の第 //i//-列ベクトルを e//i// とするとき、ベクトル族 {e1, e2, ..., e//n//} は線型独立で、R//n// を生成する。故にこれは R//n// の基底を成し、また R//n// の次元は //n// であると分かる。この基底を R//n// の標準基底という。
//V// を二つの函数 //e////t// および //e//2//t// で生成される実線型空間とすると、これら二つの函数は線型独立であるから //V// の基底を成す。
次数が高々 2 の多項式全体の成す集合 P2 において、{1, //x//, //x//2} は標準基底を成す。実数係数多項式全体の成す線型空間を R[//x//] で表せば、無限系列  は R[//x//] の基底を成す。従って、R[//x//] の次元は、可算濃度 ℵ0 に等しい。
2×2-行列全体の成す集合 M2,2 において、-成分が 1 でそれ以外の成分が 0 の 2×2-行列を //E////mn// と書けば、{//E//11, //E//12, //E//21, //E//22} は標準基底である。全域的かつ線型独立なベクトルからなる集合を標準基底から無数に作ることができる。

7. 順序基底と座標系
-----------

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

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

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

//v////i// = //φ// for 1 ≤ //i// ≤ //n//で与えることができる。ただし 1≤//i//≤//n// は F//n// の標準基底である。

逆に、順序基底 1≤//i//≤//n// が与えられているとき、

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

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

順序基底  によって定まる線型同型 φ の逆写像は //V// に「座標系」を定める。即ち、ベクトル //v// ∈ //V// に対して φ−1 =  ∈ F//n// であるならば、各成分 //a////j// = //a////j// は //v// = //a//1 //v//1 + //a//2 //v//2 + ... + //a////n// //v////n// と書けるという意味で //v// の座標を与える。

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

8. 関連概念
-------

8.1. 解析学
--------

無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底や代数基底という用語が用いられる。これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のシャウダー基底およびマルクシェヴィチ基底が挙げられる。

これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。これにはもちろん、無限和が意味を持つような空間を考えることが必要である。位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。

無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。即ち、//X// が完備な無限次元ノルム空間のとき、//X// の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。実際、有限次元空間は定義により有限な基底を持つし、また完備でない無限次元ノルム空間で可算なハメル基底を持つものが存在する。有限個の例外を除く全ての項が 0 となる実数列全体の成す空間 //c//00 にノルム ‖//x//‖ = sup//n//|//x////n//| を入れたものを考えると、その標準基底は可算ハメル基底になる。

例 フーリエ級数論において、函数系 {1} ∪ {sin, cos : //n// = 1, 2, 3, …} が、区間 [0, 2π] 上の実数値自乗可積分函数、即ちを満たす函数全体の成す実線型空間の「正規直交基底」となることを知るはずである。即ち、函数系 {1} ∪ {sin, cos : //n// = 1, 2, 3, …} は線型独立系であり、かつ区間 [0, 2π] 上自乗可積分な任意の函数 //f// が適当な実係数 //a////k//, //b////k// に対してを満たすという意味で当該函数系の「無限線型結合」として表される。しかし殆どの自乗可積分函数はこれら基底函数の有限線型結合としては表すことができず、したがってこの「基底」はハメル基底には「ならない」。この空間の任意のハメル基底は、この可算無限にすぎない「基底」よりもはるかに大きいのである。この種の空間のハメル基底は典型的に有用でなく、一方でこれらの空間の正規直交基底はフーリエ解析において本質的である。

8.2. アフィン幾何学
------------

関連の深いアフィン空間、射影空間、凸集合、錐といった空間には関連の深いアフィン基底、射影基底、凸基底、錐基底といった基底が定義される。

9. 関連項目
-------

基底変換
自由加群

10. 脚注
------

10.1. 注釈
--------

10.2. 出典
--------

11. 参考文献
--------

11.1. 全般
--------

11.2. 歴史的文献
-----------

last1=Grassmann , reprint:

12. 外部リンク
---------