Tapp教材习题：判断有限维内积空间中酉矩阵对应标准正交基下的单位圆？

首先得先明确这个命题里的表述歧义——原命题说“任意酉矩阵在标准正交基下对应单位圆”，这个表述有点模糊，但我们可以从酉变换的核心性质出发拆解分析：

• 先回到基础定义：有限维内积空间上的线性变换$U$对应的矩阵是酉矩阵，当且仅当该矩阵满足$A^A = AA^ = I$（共轭转置等于逆），而酉变换的核心特性是保持内积：对任意向量$x,y$，$\langle Ux, Uy \rangle = \langle x, y \rangle$。
• 由内积的保持性直接能推出模长不变：对任意向量$x$，$|Ux| = \sqrt{\langle Ux, Ux \rangle} = \sqrt{\langle x, x \rangle} = |x|$。

如果我们把命题理解为酉变换（酉矩阵对应的线性变换）作用于二维内积空间中的单位圆时，其像仍是单位圆，那这个结论是完全正确的：

• 单位圆是所有模长为1的向量的集合，酉变换把每个模长1的向量映射为另一个模长1的向量；
• 同时酉变换是可逆的（酉矩阵可逆），所以它的像会覆盖整个单位圆，不会只是其中一部分。

但如果原命题的表述是“酉矩阵本身对应单位圆”，那这个说法就不成立了——酉矩阵是一个数值阵列，和作为几何图形的单位圆不属于同一类对象，这种对应关系是不成立的。

总结一下：命题的表述存在歧义，但如果是指酉变换对单位圆的保持性，那结论为真；如果是字面意义上的“矩阵对应单位圆”，则为假。从线性代数习题的常规语境来看，应该是指前者，即酉变换保持单位圆（二维）/单位球面（高维）。

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