Take the 2-minute tour ×
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.

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$.

share|improve this question
add comment

1 Answer

up vote 1 down vote accepted

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$.

share|improve this answer
    
@jackdevilo $UU^* = I$ tells you that $U^* = U^{-1}$ hence it follows immediately that $U^*U=I$. –  user13838 Oct 10 '11 at 14:31
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.