基底 (線型代数学)
線型代数学における基底（きてい、）は、線型独立なベクトルから成る集合で、そのベクトルの（有限個の）線型結合として、与えられたベクトル空間の全てのベクトルを表すことができるものを言う。もう少し緩やかな言い方をすれば、基底は（基底ベクトルに決まった順番が与えられたものとして）「座標系」を定めるようなベクトルの集合である。硬い表現で言うならば、基底とは線型独立な生成系のことである。
ベクトル空間に基底が与えられれば、その空間の元は必ず基底ベクトルの線型結合としてただ一通りに表すことができる。全てのベクトル空間は必ず基底を持つ（ただし、無限次元ベクトル空間に対しては、一般には選択公理が必要である）。また、一つのベクトル空間が有するどの基底も、必ず同じ決まった個数（濃度）のベクトルからなる。この決まった数を、そのベクトル空間の次元と呼ぶ。
（実数全体 R や複素数全体 C のような）体 F 上の線型空間 "V" の基底 "B" とは、"V" の線型独立な部分集合で、"V" を張る（生成する）ものを言う。より具体的には、"B" = {"v", …, "v"} をベクトル空間 "V" の有限部分集合とするとき、"B" が基底であるとは、条件として
を何れも満足することを言う。最後の等式における係数 "a" は基底 "B" に関する "x" の座標と呼ばれ、線型独立性により座標は一意的に定まることが分かる。
上記の条件を満たす整数"n"が存在するとき、その線形空間は有限次元であるという。そのような"n"が存在しないときは無限次元であるという。無限次元線形空間を扱うには、上記定義を一般化して、基底が無限集合となる場合も認めなければならない。すなわち、（有限または無限の）部分集合 "B" ⊂ "V" が基底であるとは、
の二条件を満たすことを言う。最後の式の和は必ず有限和であることに注意。これは、代数的なベクトル空間の公理だけからは（適当な構造を追加しない限り）極限操作に関する議論が展開できず、無限和に意味を持たせることができないことによるものである。無限和の場合を許した、別な種類の基底の概念が定義される場合については後述。
基底ベクトルを特定の「順序」で並べることが便利なことがよくある（例えば、線型写像の基底に関する変換行列を考える場合など）。そこで、基底を "V" を張る線型独立なベクトルの（集合と考える代わりに）列（あるいは"n"-組）と見た、順序付けられた基底 ("ordered basis") がしばしば用いられる（短く「順序基底」や「順序付き基底」などともいう）。これについても後述。
ベクトル空間 "V" の部分集合 "S" に対して「"S" を基底に延長（拡張）する」というのは、"S" を部分集合として含むような基底 "B" を求めることを意味する。これが可能となる必要十分条件は "S" が線型独立性を持つことである。このような "B" はほとんど常に複数存在し、一意的に決まることは稀（例えば "S" が既に基底である場合、"S" が空集合である場合、"V" が二元集合である場合など）である。
同様の問題として「どのような部分集合 "S" が基底を含むか」ということを考えることができるが、これには "S" が "V" を張ることが必要十分である。この場合、"S" は複数の異なる基底を含むのが普通である。
ベクトル空間 "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 の基底を成すことの証明を三通りほど挙げてみる。
全域的かつ線型独立なベクトルからなる集合を標準基底から無数に作ることができる。
基底はベクトルの成す「集合」に過ぎないのであって、基底ベクトルは順序付けられてはいないが、目的によっては順序付けられた基底 (ordered basis) を用いるほうが有効であることも少なくない。例えば、ベクトルを座標表現して扱うとき、「第一座標」・「第二座標」のようなお決まりの表現を用いるには、基底に特定の順序付けがされていないと意味を成さない。有限次元ベクトル空間ならば、最初の "n"-個の自然数を添字に用いて ("v", …, "v") のようにするのが典型的である。順序付けられた基底は、標構 あるいは枠 ("frame") とも呼ばれる。
"V" は体 F 上の "n"-次元ベクトル空間であるものとする。"V" の順序基底を一つ選ぶことは、座標空間 F から "V" への線型同型写像 φ を一つ選ぶことと等価である。これを見るのに F の標準基底が順序基底であることが利用できる。
まず、線型同型 φ: F → "V" が与えられているとき、"V" の順序基底 ("v") を
で与えることができる。ただし (e) は F の標準基底である。
逆に、順序基底 ("v") が与えられているとき、
で定まる φ: F → "V" が線型同型であることを見るのは難しくない。
これら二つの構成が互いに逆になっていることは明らかであるから、"V" の順序基底とF から "V" への線型同型との間に一対一対応があることがわかる。
順序基底 ("v") によって定まる線型同型 φ の逆写像は "V" に「座標系」を定める。即ち、ベクトル "v" ∈ "V" に対して φ("v") = ("a", "a"...,"a") ∈ F であるならば、各成分 "a" = "a"("v") は "v" = "a"("v") "v" + "a"("v") "v" + ... + "a"("v") "v" と書けるという意味で "v" の座標を与える。
ベクトル "v" を各成分 "a"("v") へ写す各写像は、φ が線型ゆえ、"V" から F への線型写像になる。即ちこれらは線型汎函数であり、またこれらは "V" の双対空間の基底を成し、双対基底と呼ばれる。
無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底（ゲオルク・ハメルに由来）や代数基底という用語が用いられる。（ハメル基底は R の Q-基底を意味することもある。）これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のシャウダー基底およびマルクシェヴィチ基底が挙げられる。
これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。
無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。即ち、"X" が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、"X" の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。実際、有限次元空間は定義により有限な基底を持つし、また完備でない無限次元ノルム空間で可算なハメル基底を持つものが存在する。有限個の例外を除く全ての項が 0 となる実数列全体の成す空間 "c" にノルム ‖"x"‖ = sup|"x"| を入れたものを考えると、その標準基底は可算ハメル基底になる。関連の深いアフィン空間、射影空間、凸集合、錐といった空間には関連の深いアフィン基底（"n"-次元アフィン空間に対して一般の位置にある "n"+1 点のこと）、射影基底（本質的にアフィン基底と同じで、ここでは射影空間の、一般の位置にある "n"+1 点）、凸基底（多面体の頂点）、錐基底（多角形錐の辺上の点の集合）といった基底が定義される。