空间正交基的定义_【泛函基础 3.2】 正交补及正交投影

一、正交和正交补

【定义：元素正交】设 X 为内积空间，对于

，若

，则称 x 和 y 正交，记做

。

【定义：元素和集合正交】设 X 为内积空间，对于

，若

，则 x 和 M 正交，记做

。

【定义：正交补】设 X 为内积空间，对于

，称

为 M 的正交补。

【定义：集合正交】设 X 为内积空间，对于

，若

，则 M 和 N 正交，记做

。

【性质：零元素的正交性】0 与所有元素都正交，

。

【性质：正交补为闭线性子空间】

总为 X 的闭线性子空间。

• 【证明】对于
  中的任意两个元素 x、y，可以证明它们的线性组合也正交于 M，因此
  为 X 的线性子空间。同时在
  中找一个数列，利用内积的连续性，可以说明该数列的极限也正交于 M，因此
  为闭子集。

【定义：凸集】设 X 为线性空间，C 为 X 的非空子集，并且对于任意的