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.

Could anyone tell me how to show that, for any $g\in GL_n(\mathbb{C})$, $\exists$ $R$ a hermitian matrix with positive eigenvalues and $U$ an unitary matrix such that $g=RU$?

And (I am not sure) can we use this to prove that $GL_n(\mathbb{C})$ is connected?Is the set of hermitian matrices with positive eigen values are path connected?

share|improve this question
    
See also this question about the path-connectedness of $GL_n(\mathbb C)$. –  joriki May 2 '12 at 17:35
4  
Sounds like the polar decomposition of a matrix... –  J. M. May 2 '12 at 17:36
    
Dear joriki, actually I need to prove the result, I know the path connectedness of inveritble complex matrices. –  El Angel Exterminador May 2 '12 at 17:52
    
@Makuasi: I know you know, since you asked that question; but others might not know; it would have made sense to link to that question in this question. –  joriki May 2 '12 at 19:55

1 Answer 1

up vote 3 down vote accepted

1) the set of diagonal matrices is path connected: if $A=\sum a_j E_{jj}$, $B=\sum b_j E_{jj}$ we take the map $t\mapsto \sum (ta_j+(1-t)b_j) E_{jj}$, $t\in[0,1]$.

2) The set of unitaries is path connected. If $U,V$ are two unitaries, we can always write them as $U=e^{iA}$, $V=e^{iB}$ with $A,B$ hermitian. Then we can consider the map $t\mapsto e^{itA}e^{i(1-t)B}$, $t\in[0,1]$ which gives a path from $U$ to $V$ within the unitary group.

3) The set of invertible hermitian matrices with positive eigenvalues is path connected. If $A,B$ are like that, then $A=UD_AU^*$, $B=VD_BV^*$. By parts 1) and 2), there exist continuous $f,g:[0,1]\to M_n(\mathbb{C})$ with $f(0)=D_A$, $f(1)=D_B$, $g(0)=U$, $g(1)=V$. Then $t\mapsto g(t)f(t)g(t)^*$ is continuous and takes $A$ to $B$. Note that the way that $f$ is defined guarantees that $f(t)$ will have positive eigenvalues for all $t\in[0,1]$.

4) GL$_n(\mathbb{C})$ is connected: Given $A,B$ invertible, we can write them as $A=RU$, $B=SV$ with $R,S$ hermitian and positive, and $U,V$ unitaries. By 3) and 2) we can find continuous functions $f,g:[0,1]\to M_n(\mathbb{C})$ with $f(0)=R$, $f(1)=S$, $g(0)=U$, $g(1)=V$. Then the map $t\mapsto f(t)g(t)$ is a continuous path from $A$ to $B$ (note that $f(t)$ and $g(t)$ are invertible for every $t\in[0,1]$ and then so is their product).

It only remains to justify the polar decomposition $A=RU$. An easy way to see this is by using the singular value decomposition. We write $A=WDV$, with $W,V$ unitaries and $D$ diagonal with non-negative entries (positive if $A$ is invertible). Then we can write $$ A=(WDW^*)WV=RU, $$ where $R=UDU^*$ is hermitian with positive eigenvalues (because $D$ is), and $U=WV$ is a unitary.

share|improve this answer
    
I just added an explanation for the polar decomposition. –  Martin Argerami May 2 '12 at 19:16
    
thanx and great pleasure dear sir, i just want to know about 2)..how unitaries can be written as exponential hermitian? –  El Angel Exterminador May 2 '12 at 19:18
    
oh! I dont know about singular value decomposition, could you give me some reference to study about that? –  El Angel Exterminador May 2 '12 at 19:20
1  
@Makuasi: "singular value decomposition" is a well-known linear algebra theorem. It should be in any book about matrices. –  Martin Argerami May 2 '12 at 19:27
1  
For the unitaries, the argument is like this: any unitary $U$ is normal, so it is diagonalizable by a unitary: there exists $V$ unitary, $D$ diagonal with $U=VDV^*$. From $U^*U=I$ one sees that $D^*D=I$, i.e. each entry $D_{jj}$ is a complex number of modulus $1$; these can be written as $D_{jj}=e^{i F_{jj}}$ for real numbers $F_{jj}$. So $D=e^{iF}$ if we complete $F$ with zeroes off the diagonal. Finally, $U=VDV^*=Ve^{iF}V^*=e^{iVFV^*}$. –  Martin Argerami May 2 '12 at 19:31

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.