向量空间的维数

数学中, 向量空间 V 的维数是 V 的基底的势或基数. 有时也被称作哈梅尔维数或代数维数以便与其他类型的维数相区别. 向量空间中的所有基底具有相等的势 (参阅向量空间的维数定理) , 所以向量空间的维数是唯一确定的. 域 F 上的向量空间 V 的维数可记为 dim_F(V) 或 [V : F], 读作 " V 在 F 上的维数". 当文中 F 确定时, 通常记为 dim(V) .

例子

向量空间 R³ 的基底为

$\left \{ \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} , \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} , \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} \right \}$

, 因此有 dim_R(R³) = 3. 更一般的, dim_R(Rⁿ) = n, 更一般的, dim_F(Fⁿ) = n 对任何的域 F.

复数 C 既是实向量空间又是复向量空间; dim_R(C) = 2 以及 dim_C(C) = 1. 所以向量空间的维数取决于构成向量空间的域.

只有一个零向量构成的向量空间 {0} 的维数是 0.

一些事实

如果 W 是 V 的线性子空间, 那么 dim(W) ≤ dim(V).

为证明两个有限维向量空间相等, 通常使用下面的准则: 如果 V 是有限维向量空间, W 是 V 的线性子空间, 并且 dim(W) = dim(V), 那么 W = V.

Rⁿ 有标准基底 {e₁, ..., e_n}, 其中 e_i 是单位矩阵的第 i 列.

域 F 上的任何两个向量空间是同构的. 任何他们基底之间的双射能够唯一的扩展到整个向量空间上的线性双射.

参阅

• 基底
• 拓扑维数, 也被称为勒贝格覆盖维数
• 分形维数, 也被称为豪斯多夫维数
• 科鲁尔维数

参考资料

• Gannon, Terry, Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics. 2006, ISBN 0-521-83531-3 

外部链接

• MIT Linear Algebra Lecture on Independence, Basis, and Dimension at Google Video, from MIT OpenCourseWare