正交补与极小化问题-ZCLSPACE.PDF

正交补与极小化问题 目录 正交补 极小化问题 正交补 定义 设 是 的子集，则 的正交补 记为 是由 中与 的每个向 量都正交的那些向量组成的集合： 戽 戺 戽 戰 戨戱戮戱戩 若 是 中的直线，则 是垂直于且包含原点的平面 。若 是 中的平 面，则 是垂直于且包含原点的直线 。 定理 若 是 的子集，则 是 的子空间。 戰 戽 戽 戰 若 是 的子集，则 戽 戰 若 和 均为 的子集且 ，则 证 设 是 的子集，则对每个 均有戰 戽 戰，于是戰 设 ，若 则： 戫 戽 戫 戽 戰 因此 戫 ，所以在加法下 是封闭的。 戱 正交补 类似 的对于 ，有 戽 戽 戰这说 明 在标量乘法下是封 闭的。 所以 是 的子空间。 均有： 戰 戽 戰 ，所以戰 戽 假设 ，则 戽 戰，则 戽 戰，所以 戽 戰 假设 ，则有 戽 戰，则 戽 戰，所以 戽 戰 设 均为 的子集，则对于 ，说 明对于 ，都有 戽 戰，这表 明对于每个 ，都有 戽 戰，所以 ，所以有 若 均为 的子空 间，并且 中的每个元 都可以唯一的写成 中的一 个向量与 中的一个向量的和，则 是 和 的直和，记为 戽 定理 设 是 的有限维子空间，则 戽 证 首先证 明： 戽 戫 假设 ，并设 是 的规范正交基，则： 戽 戫 戫 戫 戨戱戮戲戩 显然 ，因为 是 的一个规范正交基，所以对每个 戽 戱 均 有： 戽 戽 戰 戨戱戮戳戩 所以正交于扳扰扡扮戨