向量空间中任一元素都可唯一地投影至两个正交的子空间中吗？

背景

在文献中，经常见到将向量空间中的一个元素投影到一个子空间及其正交补中的操作，但对于这个操作，在相关的文献及教材中，一般都没有解释说明，如Negahban et al. (2012)、Wainwright (2019) 的第9章和Axler (2024) 的第6.C节等，都没有讲清楚。

首先明确一下基本概念：对于向量空间$W$中的子空间$\mathcal{V}\subseteq W$，其正交补为 V ⊥ = { u ∣ u ⊥ v ,   ∀   v ∈ V } \mathcal{V}^\perp=\{u|u\perp v , \ \forall\ v\in \mathcal{V}\} V⊥={ u∣u⊥v, ∀ v∈V}，定义某个元素$\theta \in W$向$\mathcal{V}$的正交投影为${\theta }_{\mathcal{V}}:=\underset{v\in \mathcal{V}}{\mathrm{argmin}}\Vert \theta -v\Vert$，同理可定义${\theta }_{{\mathcal{V}}^{\perp }}$。许多文献中会见到这样的分解：
$$\theta ={\theta }_{\mathcal{V}}+{\theta }_{{\mathcal{V}}^{\perp }}$$

由于正交的概念涉及内积，因此在该向量空间上肯定是定义了内积的，在正交投影定义中的范数为由在该向量空间上的内积诱导的范数。

问题

本文想说明这几个问题：

• 正交投影${\theta }_{\mathcal{V}}$是否唯一？
• 这样的分解是否一定存在？
• 这样的分解是否唯一？

若正交投影唯一且分解存在，即${\theta }_{\mathcal{V}}$和${\theta }_{{\mathcal{V}}^{\perp }}$都唯一，那么这样分解必定也是唯一的。因此，关键在于前两个问题。

我们的思路是，先说明$\theta -{\theta }_{\mathcal{V}}\in {\mathcal{V}}^{\perp }$，再说明$\theta -{\theta }_{\mathcal{V}}$恰好就是$\theta$向${\mathcal{V}}^{\perp }$上的正交投影即${\theta }_{{\mathcal{V}}^{\perp }}$，最后说明${\theta }_{\mathcal{V}}$是唯一的。

解答

第1步：$\theta -{\theta }_{\mathcal{V}}\in {\mathcal{V}}^{\perp }$

只需说明对于任意$u\in \mathcal{V}$，$<\theta -$