How do I prove that "if $(e_1, ..., e_k)$ is an orthonormal basis for a subspace $L$, then so is $(Ue_1, ..., Ue_k)$" implies that the matrix of $U$ satisfies $UU^{*}=I=U^{*}U$? The columns have to be linearly independent and the vectors that columns form should be of length one, but that's where I get stuck. Also one direction $UU^{*} = I$ looks to be easier to prove than $U^{*}U=I$.
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
Take the standard basis $\{e_1, ..., e_n\}$ for $\mathbb{C}^n$. This is orthonormal. Then the columns of the matrix representing $U$ in the standard basis are given by $$ U = [Ue_1 ... Ue_n]$$ By the definition of matrix multiplication for any matrix $A$ we have $(A^*A)_{ij} = \langle A_i, A_j \rangle$ where $A_i$ is the $i$-th column of $A$. But since these are orthonormal in the case of $U$ by assumption we get $(U^*U)_{ij} = \delta_{ij}$, and thus $U^*U = I$. |
|||
|