赋范线性空间4

赋范线性空间四

一、函数的最佳平方逼近

在可分¹的Hilbert空间²中，$\forall x\in X$ 都可以表示成一个完全的标准正交系的级数形式，即推广的傅里叶级数！

为了在一般的空间中使用如傅里叶级数（或傅里叶级数的部分和序列）的方式进行分析，需要先明细一些基本概念。

【定义】正交分解（投影）

设 $X$ 为一内积空间，$M$ 为 $X$ 的子空间，对于 $x\in X$，若 $x$ 可以表示为 $x=x_0+x_1$，其中 $x_0\in M$，$x_1\in M^{\perp }$³，则称上式为 $x$ 的正交分解，称 $x_0$ 为 $X$ 在 $M$ 上的投影。

【定理】投影的高

设 $M$ 是内积空间 $X$ 的子空间，$x\in X$ 在 $M$ 上的投影 $x_0$ 存在，则

• $\Vert x-x_0\Vert =\inf y\in M\Vert x-y\Vert =D(x,M)$⁴⁵

【定理】最佳逼近

设 B = { x i ∣ i = 1 , 2 , 3 ⋯ n } B=\{x_i|i=1,2,3\cdots n\} B={xi​∣i=1,2,3⋯n} 是内积空间 $X$ 中 $n$ 个线性无关的向量，则

• 对 $\forall x\in X$，$\exists M=spanB$ ⁶上的最佳逼近

【定理】 投影唯一性

设 $M$ 是内积空间 $X$ 的完备子空间，则对 $\forall x\in X$，$x$ 在 $M$ 上的投影唯一存在。

---

---

1. 【可分】设 $A,B$ 为度量空间 $X$ 中的子集，若 $B\subset \overline{A}$ ，就称 $A$ 在 $B$ 中稠密，若一个可数集 $A$ 在 $X$ 中稠密，则称 $X$ 是可分的。 ↩︎

2. 【Hilbert空间】完备的内积空间称为Hilbert空间 ↩︎

3. 设 $X,Y\subset X$，若 $\forall x\in A,y\in B$，有 $x\perp y$，就称 $A$ 与 $B$ 正交，记为 $A\perp B$，特别的 { x } ⊥ B \{x\}\perp B {x}⊥B 记为 $x\perp B$；记 A ⊥ = { x ∣ x ⊥ A } A^{\perp}=\{x|x\perp A\} A⊥={x∣x⊥A}，称 $A^{\perp }$ 为 $A$ 的正交补 ↩︎

4. 【点到集合的距离】：称 D ( x 0 , A ) = inf ⁡ { d ( x 0 , y )   ∣   y ∈ A } D(x_0,A)=\inf\{ d(x_0,y)\ | \ y\in A \} D(x0​,A)=inf{d(x0​,y) ∣ y∈A} 为 $x_0$ 到 A 的距离，简记为 $D(x_0,A)$。 ↩︎

5. 【上/下确界】sup E 称为数集 E 的上确界（supremum），inf E 称为数集 E 的下确界（infimum）。 ↩︎

6. 【span】线性空间内所有元素对于加法、数乘封闭，这些元素所有可能的线性组合记作 $Span$ ↩︎