复习笔记 Day58(5)

和上面写的一样，现在想证明，因为，所以。又因为是正交变换，所以，进而可知，那么，但是，这说明，所以只能有，从而，即

最开始那段证明的错误就在于认为从可以推出，但是实际上这是不一定的，如果是非平凡子空间的话，满足的是有无穷多个的，同样的道理，从是不能推出的，进一步如果果是非平凡子空间的话，还可以证明