[工学]线性代数§43-44.pptVIP

再设 故 也是V的一个子空间。 定义4：设向量 ， 是 的一个子空间，若对于任意 ，都有 ，就称 与子空间 正交，记作： ，设 是 的两个子空间，若对于任意 都有 就称 与 正交，记作： 如： 中 平面上的向量全体和z轴上的全体向量分别是 的二维和一维子空间，它们是两个正交的子空间。 又齐次线性方程组 的解空间 与行空间 正交。 定理5： 中与子空间W正交的向量全体构成的集合 是 的一个子空间。 证明：因为零向量与任何子空间正交，所以S是非空子集，设 于是对任意 ，都有 由内积的齐次性知： 由内积的可加性知： 故： ，所以S是 的子空间。