子空间的维数
定理 1. 在
证明. 可以给出一个看似简短的定理证明,步骤如下。 中的任意 个向量构成的集合都是线性相关的,因此对于 也是如此;因此,特别地, 的每个基中的元素个数都 ,证毕。
这个论证的问题在于,我们定义维度 时,首先要求存在一个有限基,然后要求这个基恰好包含 个元素。上述证明仅说明了没有任何基可以包含超过 个元素;它并没有说明存在任何基。然而,一旦注意到这个困难,就很容易填补这一空白。如果 ,那么 是 维的,证明完成。如果 包含一个非零向量 ,设 ( )为由 张成的子空间。如果 ,那么 是 维的,证明完成。如果 ,设 是 中不包含在 中的一个元素,并设 为由 和 张成的子空间;依此类推。现在我们可以合理地使用上面给出的论证;在进行不超过 步此类步骤后,该过程就会结束,因为(根据 章节:维度 ,定理 2)我们无法找到 个线性无关的向量。 ◻
∎以下结果是定理 1 的这第二个且正确的证明的一个重要推论。
定理 2. 给定 维向量空间 中的任意 维子空间 ,我们可以在 中找到一个基 ,使得 在 中,并因此构成 的一个基。
我们将用符号 来表示向量空间 的维度。在这种记法下,定理 1 断言,如果 是有限维向量空间 的子空间,那么 。
练习
练习 1. 如果 和 是具有相同维度的有限维子空间,且 ,那么 。
练习 2. 如果 和 是向量空间 的子空间,且 中的每个向量要么属于 ,要么属于 (或两者皆属于),那么要么 ,要么 (或两者皆是)。
练习 3. 如果 、 和 是满足 的向量,那么 和 张成的子空间与 和 张成的子空间相同。
练习 4. 假设 和 是向量,且 是向量空间 中的一个子空间;设 是由 和 张成的子空间,设 是由 和 张成的子空间。证明:如果 在 中但不在 中,那么 在 中。
练习 5. 假设 、 和 是某个向量空间的子空间。
- 说明等式 不一定成立。
- 证明
练习 6.
- 向量空间 的一个非平凡子空间(即不同于 和 的子空间)是否可能拥有唯一的补空间?
- 如果 是 维向量空间中的一个 维子空间,那么 的每个补空间都具有维度 。
练习 7.
- 证明:如果 和 都是五维向量空间的三维子空间,那么 和 不是不相交的。
- 如果 和 是向量空间的有限维子空间,那么
练习 8. 如果多项式 对所有的 恒满足 ,则称其为偶多项式(参见 章节:子空间 ,(3)),如果满足 ,则称其为奇多项式。
(a) 偶多项式类 和奇多项式类 都是所有(复)多项式空间 的子空间。
(b) 证明 和 互为补空间。