有限ベクトル空間

線型代数学における有限ベクトル空間（ゆうげんベクトルくうかん、）は、濃度が有限（つまり有限集合）なベクトル空間を言う—そのような空間は（零ベクトル空間を除けば）有限体上の有限次元ベクトル空間に他ならない。有限ベクトル空間の基底の総数や部分空間の総数などを求めることは組合せ論に属する問題である。有限ベクトル空間上の線型代数学は有限体の分類に有効な道具立てを与える。線型符号には有限ベクトル空間の概念が応用されている。
準備.
 は体 上のベクトル空間とする。 ならば、 は適当な の生成する に等濃 である—これらの間の全単射は に属する各スカラー を の左スカラー -倍 に写す写像で与えられる。ゆえに が有限ならば も有限であり、また含むベクトルの数が有限となるには は 上有限次元でなければならない。
逆に、 が有限体 上有限 -次元ならば、 は数ベクトル空間 に同型であり、その濃度は formula_1 と評価できる。
有限ベクトル空間の基底.
 を -元体（元の数が の有限体）とし が 上 -次元とすれば、 の非零ベクトルはちょうど 個ある。 の基底— 個の線型独立なベクトルからなる族—は、以下のような手順の有限回の繰り返しで構成することができる:
ゆえに の基底の総数は formula_2 となる。同じ理由で、 個の線型独立なベクトルからなる族の総数が formula_3 で求まることもわかる。このような族は の -次元部分空間を生成し、また任意の -次元部分空間がこれらの族から生成されることが言えるが、ひとつの -次元部分空間はその基底のとり方の分だけ重複して数えられることに注意する。よって、羊飼いの補題 により の -次元部分空間の総数はガウスの二項係数 formula_4 で与えられる。