基底 (線型代数学)

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

**概要**
あらゆる線型空間はそれを生成できる線型独立なベクトル集合を1つ以上持つ。言い換えれば、線型結合で空間の全ベクトルを一意に表せるベクトル集合が常に存在する。そしてそれらベクトルの個数は各線形空間で一意に定まる。つまりあらゆる線形空間は「座標系」のような定数個の基本要素の線型結合で必ず表現できる。このように線形空間を特徴づける、線型独立な生成系のことを基底と呼ぶ。
基底の取り方に依らない、基底ベクトルの個数（濃度）は次元と呼ばれる。基底が常に存在することは基底の存在定理で証明される。R2 の標準基底を示した図。青とオレンジがこの基底の元である。緑のベクトルは基底ベクトルの一次結合で表されており、故にこの三者は線型従属である。

**定義**
体 F 上の線型空間 V の基底 B とは、V の線型独立な部分集合で、V を張る（生成する）ものを言う。
より具体的には、Vのn個のベクトルの集合B = {v1, …, vn}（または列B=(v1, …, vn)）が基底であるとは、条件として
 線型独立性: a1, …, an ∈ F に対して a1v1 + … + anvn = 0 が成り立つならば、a1 = … = an = 0 でなければならない。
 全域性: V のどんな元 x も、適当な a1, …, an ∈ F を選んで x = a1v1 + … + anvn が成り立つようにできる。
を何れも満足することを言う。最後の等式における係数 ai は基底 B に関する 座標と呼ばれ、線型独立性により座標は一意的に定まることが分かる。
上記の条件を満たす整数nが存在するとき、その線形空間は有限次元であるという。そのようなnが存在しないときは無限次元であるという。無限次元線形空間を扱うには、上記定義を一般化して、基底が無限集合となる場合も認めなければならない。すなわち、（有限または無限の）部分集合 B ⊂ V が基底であるとは、- 任意の有限部分集合 B0 ⊆ B が既に述べた意味で線型独立性を持つ。- 各 x ∈ V に対して、適当な有限個のスカラー a1, …, an ∈ F とベクトル v1, …, vn ∈ B を選んで x = a1v1 + … + anvn と表すことができる（n は x ごとに違ってよい）。
の二条件を満たすことを言う。最後の式の和は必ず有限和であることに注意。これは、代数的なベクトル空間の公理だけからは（適当な構造を追加しない限り）極限操作に関する議論が展開できず、無限和に意味を持たせることができないことによるものである。無限和の場合を許した、別な種類の基底の概念が定義される場合については後述。
基底ベクトルを特定の「順序」で並べることが便利なことがよくある（例えば、線型写像の基底に関する変換行列を考える場合など）。そこで、基底を V を張る線型独立なベクトルの（集合と考える代わりに）列（あるいは n-組）と見た、順序付けられた基底 (ordered basis) がしばしば用いられる（短く「順序基底」や「順序付き基底」などともいう）。この順序を含めたうえで単に「基底」と呼ぶことも多い。これについても後述。

**基底の延長**
有限ベクトル空間  の一次独立な部分集合  に対し、 の基底  が常に存在する。これを基底の延長定理という。これは「S を基底に延長（拡張）する」という意味を持つ。
この定理は次のように証明できる（概略）。一次独立な  が張る部分空間  について、その補集合  の任意の元  は  の線形結合で表現できないため  もまた一次独立になる。同様に  の元を足して  を構成しこれを  すなわち  になるまで有限回繰り返すと、 は線形独立かつ  の生成系（=基底）となり定理が証明できる。
このような基底はほとんど常に複数存在し、一意的に決まることは稀（例えば S が既に基底である場合、S が空集合である場合、V が二元集合である場合など）である。同様の問題として「どのような部分集合 S が基底を含むか」ということを考えることができるが、これには S が V を張ることが必要十分である。この場合、S は複数の異なる基底を含むのが普通である。

**生成系内の基底延長**
有限次元ベクトル空間  の生成系  とその一次独立な部分集合  に対し、 を満たす基底  が存在する。これは、生成系の一次独立な部分集合を生成系の他の元で延長すると基底が得られることを示している。
この定理は次のように証明できる。 と  の差集合  を考えると、任意の元  は  の線形結合で表現できないため  は一次独立になる。同様の線形独立な集合拡張を  すなわち  になるまで有限回繰り返すと、 は線形独立かつ  の生成系（=基底）かつ  の部分集合であるため、 が証明される。

**基底の存在**
を除く有限ベクトル空間  には  を生成する一次独立な部分集合  すなわち基底が常に存在する。これを基底の存在定理という。
この定理は次のように証明できる（概略）。 の定義より  は部分集合  を必ず持ち、これは線形独立である。 は  の一次独立な部分集合であるから、基底の延長定理により  を延長して得られる基底  が常に存在し、定理が証明できる。
無限次元ベクトル空間に対しては、一般には選択公理が必要である。

**性質**
ベクトル空間 V の部分集合 B が基底であるためには、以下に挙げるような互いに同値な条件のうちの何れか一つ（従って全部）を満足することが必要十分である。- B は V の極小生成系である。即ち、B は V の生成系であって、かつ B に真に含まれるどの部分集合も V を生成しない。- B は V のベクトルからなる極大線型独立系である。即ち、B は線型独立系であって、かつ B を真に含む V のどの部分集合も線型独立系でない。- V に属するどのベクトルも、B に属するベクトルの線型結合としてただ一通りに表される。この基底が順序付けられているとき、この表示の係数はこの基底に関する「座標」を与える（後述）。
任意のベクトル空間は基底を持つ（このことの証明には選択公理が必要である）。一つのベクトル空間では、全ての基底が同じ濃度（元の個数）を持ち、その濃度をそのベクトル空間の次元と呼ぶ。この事実はDimension theorem for vector spacesと呼ばれる（証明には、選択公理のきわめて弱い形である超フィルター補題が必要である）。

**例**
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 の基底を成すことの証明を三通りほど挙げてみる。
 直接証明
 定義に忠実に、二つのベクトル (1,1), (−1,2) が線型独立であることと R2 を生成することとを示す。
; 線型独立性: 実数 a, b に対して線型関係が成り立つとすると、(a − b, a + 2b) = (0, 0), 即ち となり、辺々引いて b = 0, これを代入して a = 0 を得る。故に線型独立性が示せた。
; 全域性: 二つのベクトル (1,1), (−1,2) が R2 を生成することを示すには、いま (a, b) を R2 の勝手な元として、を満たす実数 r, s の存在を言えばよい。これは即ち、方程式系が r, s について解けることに他ならない。辺々引いて s が、それを代入して r がそれぞれと求められるから、これで全域性も示された。
 次元定理による証明
 (−1,2) は明らかに (1,1) の定数倍ではないし、(1,1) も明らかに零ベクトルではないから、二つのベクトル (1,1), (−1,2) は線型独立。これを延長して基底が得られるはずだが、R2 の次元は 2 だから、{(1,1), (−1,2)} は既に R2 の基底を成している。
 正則行列を用いた証明
 二つのベクトル (1,1), (−1,2) を並べてできる行列の行列式を計算するととなり、行列式が 0 ではない（正則である）から、この行列の二つの列ベクトル (1,1), (−1,2) は線型独立。従って R2 の基底となる。- より一般に、n-次単位行列（対角成分が 1 でそれ以外の成分が 0 の n×n-行列）の第 i-列ベクトルを ei とするとき、ベクトル族 {e1, e2, ..., en} は線型独立で、Rn を生成する。故にこれは Rn の基底を成し、また Rn の次元は n であると分かる。この基底を Rn の標準基底という。- V を二つの函数 et および e2t で生成される実線型空間とすると、これら二つの函数は線型独立であるから V の基底を成す。- 次数が高々 2 の多項式全体の成す集合 P2 において、{1, x, x2} は標準基底を成す。実数係数多項式全体の成す線型空間を Rx で表せば、無限系列 (1, x, x2, …) は Rx の基底を成す。従って、Rx の次元は、可算濃度 ℵ0 に等しい。- 2×2-行列全体の成す集合 M2,2 において、(m,n)-成分が 1 でそれ以外の成分が 0 の 2×2-行列を Emn と書けば、{E11, E12, E21, E22} は標準基底である。
全域的かつ線型独立なベクトルからなる集合を標準基底から無数に作ることができる。

**順序基底と座標系**
本ページでは簡単のため、主に基底は単なる集合として扱っており、各ベクトルの順序についての概念は含めていない。ただし、専門的な書籍では基底と呼んだ時にベクトルの順序も含めたうえで意味するとが多い。例えば、その場合には(v1, …, vn)と(vn, …, v1)は異なる基底とみなされる。 このような順序を含めた意味での基底を用いなければ、基底の変換と正則行列との対応が取れない。またベクトルを座標表現して扱うとき、「第一座標」・「第二座標」のようなお決まりの表現を用いるには、基底に特定の順序付けがされていないと意味を成さない。有限次元ベクトル空間ならば、最初の n-個の自然数を添字に用いて (v1, …, vn) のようにするのが典型的である。順序の概念を含めているかどうかの誤解を避けるために、順序付けられた基底は、順序基底 (ordered basis)、 標構 あるいは枠 (frame) とも呼ばれる。
V は体 F 上の n-次元ベクトル空間であるものとする。V の順序基底を一つ選ぶことは、数ベクトル空間 Fn （座標全体のなすベクトル空間と考えられる）から V への線型同型写像 φ を一つ選ぶことと等価である。これを見るのに Fn の標準基底が順序基底であることが利用できる。
まず、線型同型 φ: Fn → V が与えられているとき、V の順序基底 (vi)1≤i≤n を
 vi = φ(ei) for 1 ≤ i ≤ n
で与えることができる。ただし (ei)1≤i≤n は Fn の標準基底である。
逆に、順序基底 (vi)1≤i≤n が与えられているとき、
 
で定まる φ: Fn → V が線型同型であることを見るのは難しくない。
これら二つの構成が互いに逆になっていることは明らかであるから、V の順序基底とFn から V への線型同型との間に一対一対応があることがわかる。
順序基底 (vi) によって定まる線型同型 φ の逆写像は V に「座標系」を定める。即ち、ベクトル v ∈ V に対して φ−1(v) = (a1, a2,...,an) ∈ Fn であるならば、各成分 aj = aj(v) は v = a1(v) v1 + a2(v) v2 + ... + an(v) vn と書けるという意味で v の座標を与える。
ベクトル v を各成分 aj(v) へ写す各写像は、φ−1 が線型ゆえ、V から F への線型写像になる。即ちこれらは線型汎函数であり、またこれらは V の双対空間の基底を成し、双対基底と呼ばれる。

**関連概念**

**解析学**
無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底（Georg Hamelに由来）や代数基底という用語が用いられる。（ハメル基底は R の Q-基底を意味することもある。）これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のSchauder basisおよびMarkushevich basisが挙げられる。
これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。
無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。即ち、X が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、X の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。実際、有限次元空間は定義により有限な基底を持つし、また完備でない無限次元ノルム空間で可算なハメル基底を持つものが存在する。有限個の例外を除く全ての項が 0 となる実数列全体の成す空間 c00 にノルム ‖x‖ = supn|xn| を入れたものを考えると、その標準基底は可算ハメル基底になる。
 例
 フーリエ級数論において、函数系 {1} ∪ {sin(nx), cos(nx) : n = 1, 2, 3, …} が、区間 0, 2π 上の実（または複素）数値自乗可積分函数、即ちを満たす函数全体の成す実（または複素）線型空間の「正規直交基底」となることを知るはずである。即ち、函数系 {1} ∪ {sin(nx), cos(nx) : n = 1, 2, 3, …} は線型独立系であり、かつ区間 0, 2π 上自乗可積分な任意の函数 f が適当な実（または複素）係数 ak, bk に対してを満たすという意味で当該函数系の「無限線型結合」として表される。しかし殆どの自乗可積分函数はこれら基底函数の有限線型結合としては表すことができず、したがってこの「基底」はハメル基底には「ならない」。この空間の任意のハメル基底は、この可算無限にすぎない「基底」よりもはるかに大きいのである（ハメル基底は連続の濃度をもつ）。この種の空間のハメル基底は典型的に有用でなく、一方でこれらの空間の正規直交基底はフーリエ解析において本質的である。

**アフィン幾何学**
関連の深いアフィン空間、射影空間、凸集合、錐といった空間には関連の深いアフィン基底（n-次元アフィン空間に対して一般の位置にある n+1 点のこと）、射影基底（本質的にアフィン基底と同じで、ここでは射影空間の、一般の位置にある n+1 点）、凸基底（多面体の頂点）、錐基底（多角形錐の辺上の点の集合）といった基底が定義される。

**関連項目**
 基底変換- 自由加群

**脚注**

**注釈**

**出典**

**参考文献**

**全般**
 Citation | last1=Blass | first1=Andreas | title=Axiomatic set theory  
publisher=American Mathematical Society | location=Providence, R.I. | series=Contemporary Mathematics volume 31 | mr=763890 | year=1984 | chapter=Existence of bases implies the axiom of choice | pages=31–33|isbn=0-8218-5026-1 |url= http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf-  year=1991- Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Linear algebra | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-0-387-96412-6 | year=1987

**歴史的文献**
  Citation | last1=Banach | first1=Stefan | author1-link=Stefan Banach | title=Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales (On operations in abstract sets and their application to integral equations) | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm3/fm3120.pdf | year=1922 | journal=Fundamenta Mathematicae | issn=0016-2736 | volume=3-   year=1804-   year=1969- Citation | last1=Dorier | first1=Jean-Luc | title=A general outline of the genesis of vector space theory | url=http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WG9-45NJHDR-C&_user=1634520&_coverDate=12%2F31%2F1995&_rdoc=2&_fmt=high&_orig=browse&_srch=doc-info(%23toc%236817%231995%23999779996%23308480%23FLP%23display%23Volume)&_cdi=6817&_sort=d&_docanchor=&_ct=9&_acct=C000054038&_version=1&_urlVersion=0&_userid=1634520&md5=fd995fe2dd19abde0c081f1e989af006 | mr=1347828 | year=1995 | journal=Historia Mathematica | volume=22 | issue=3 | pages=227–261 | doi=10.1006/hmat.1995.1024-   year=1822-   year=1844, reprint: Citation | other1-last=Kannenberg | other1-first=L.C. | title=Extension Theory | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-2031-5 | year=2000 | author=Hermann Grassmann. Translated by Lloyd C. Kannenberg.-   year=1905-  year=1853-   year=1827- Citation | last1=Moore | first1=Gregory H. | title=The axiomatization of linear algebra: 1875–1940 | url=http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WG9-45NJHDR-D&_user=1634520&_coverDate=12%2F31%2F1995&_rdoc=3&_fmt=high&_orig=browse&_srch=doc-info(%23toc%236817%231995%23999779996%23308480%23FLP%23display%23Volume)&_cdi=6817&_sort=d&_docanchor=&_ct=9&_acct=C000054038&_version=1&_urlVersion=0&_userid=1634520&md5=4327258ef37b4c293b560238058e21ad | year=1995 | journal=Historia Mathematica | volume=22 | issue=3 | pages=262–303 | doi=10.1006/hmat.1995.1025-   location=Turin

**外部リンク**
 title=Basis