实的要求对应的是欧式空间,所以你的定理叙述有问题.
如果是复数域上的酉空间,则对称变换在标准正交基下的矩阵为埃尔米特矩阵