Let $E = \{e_1,_{...},e_n\} , F = \{f_1,_{...},f_n\} $ be 2 orthonormal basis of V. Does $[Id]_F^E $ the transfer matrix from E to F is orthogonal ? I think that the answer is yes, thought of shoving that $||[Id]_F^E v||= ||v||$ but having difficulties with that.
thanks for helping.
Suppose
$$f_i=\sum_{k=1}^n a_{ki}e_k\;,\;\text{so that the transfer matrix is}\;\;P=(a_{ij})\implies P^t=(b_{ij})\;,\;\text{with}\;\;b_{ij}=a_{ji}$$
and from here:
$$PP^t=(a_{ij})(b_{ij})=\left(\sum_{k=1}^n a_{ik}b_{kj}\right)=\left(\sum_{k=1}^na_{ik}a_{jk}\right)$$
But we can also take the usual inner (dot) product
$$\delta_{ij}=\langle f_i,\,f_j\rangle=\sum_{k,j=1}^na_{ki}a_{ji}\langle e_k,\,e_j\rangle=\sum_{k=1}^n a_{ki}a_{kj}\;\implies\;PP^t=I\implies P\;\;\text{is orthogonal}$$