5.2 内积空间中的正交与投影.docVIP

5.2 内积空间中的正交与投影 5.2.1 正交和投影 5.2.1 设是内积空间，，若，则称与正交，记作. 设，当与中所有向量都直交时，称与正交，记作. 设，若对，都有，则称与正交，记作. 设，记，并称之为的正交补（集）。 注 . 正交性质： (1) 若，则； (2) 若，则 ; (3) 若，则； (4) 对，恒有； 注 不意味着. (5) 勾股弦定理：当时，. 引理5.2.1 设是内积空间，，则是的闭线性子空间。 证 （自证！） 注 因为未必是的闭线性子空间，所以一般地，，但有. 若是的闭线性子空间，则. 推论 设，若是张成的闭线性子空间，则 . 证 因为，所以. 反过来，若，即，这时. 由引理5.2.1知：是的闭子空间, 而是包含的最小的闭集，所以 或 得：. 综上所述，有. 证毕！ 定义5.2.2 设是内积空间，是的两个线性子空间，若，则称 为与的正交和，记作. 命题5.2.1 设内积空间能分解为与的线性和 则它为正交和 . In fact, “”设，则由定义5.2.3知：. 于是 ， 故 . 同理可证. ”设，往证. 因为已经分解为与的线性和： ， 所以，要证明，只需证明. 因为 ，所以显然有 . 证毕！ 定义5.2.3 设是内积空间的线性子空间，. 若存在，使得