正交变换下实内积空间k维子空间存在性证明问询

首先明确核心问题：已知$W$是维数为$2k$的实内积空间，$T$是$W$上满足$T^2=-I$（$I$为单位变换）的正交变换，需要证明存在维数为$k$的子空间$P\subset W$。

你提到的正交投影分解思路完全可行，而且可以结合$T$的特殊性质（$T^2=-I$+正交性）顺利推进推导，给你几个具体的后续推导提示：

• 第一步：分析$T$作用下的二维子空间性质
  任取$W$中非零向量$v$，考虑子空间$V_v = \text{span}{v, Tv}$。因为$T^2=-I$，所以$T(Tv)=-v$，这说明$V_v$是$T$的不变子空间；同时因为$T$是正交变换，$\langle v, Tv\rangle = \langle Tv, T^2v\rangle = \langle Tv, -v\rangle = -\langle v, Tv\rangle$，由此可得$\langle v, Tv\rangle=0$——也就是说$v$和$Tv$是正交的，$V_v$是一个二维正交子空间。

• 第二步：将$W$分解为两两正交的二维不变子空间直和
  利用归纳法或内积空间的正交分解性质，可以把$W$拆成$k$个这样的二维子空间的正交直和：
  $$W = V_1 \oplus V_2 \oplus \dots \oplus V_k$$
  其中每个$V_i = \text{span}{v_i, Tv_i}$，且不同的$V_i$之间两两正交，$T(V_i)=V_i$。

• 第三步：构造目标k维子空间$P$
  从每个二维子空间$V_i$中选取一个非零向量$v_i$，定义$P = \text{span}{v_1, v_2, \dots, v_k}$。接下来可以验证：

  1. $P$的维数是$k$：因为所有$v_i$来自两两正交的子空间，所以它们线性无关；
  2. 结合正交投影的定义，$W$中的任意向量$w$都可以唯一表示为$w = p + q$，其中$p\in P$，$q\in P^{\perp$（而$P}\perp$恰好就是$\text{span}{Tv_1, Tv_2, \dots, Tv_k}$），完美契合你一开始的正交分解思路。

• 额外补充：如果想从投影算子的角度出发，可以定义投影到$P$上的算子$\Pi$，满足$\Pi(v_i)=v_i$，$\Pi(Tv_i)=0$。结合$T$的正交性，可以证明$\Pi$是正交投影算子，而$P$就是这个投影算子的像空间，完全符合正交投影的定义要求。

内容的提问来源于stack exchange，提问作者user522841