设 是数域 上的线性空间 的子空间，且 。对任意 有唯一分解 。定义 的线性变换 ...

李老师

设 是数域 上的线性空间 的子空间，且 。对任意 有唯一分解  。定义 的线性变换  。证明： 是 的一个线性变换。