S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Wed, 19 Jun 2013 09:33:51 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 3 posts ] 
Author Message
 Post subject: Invertible matricies are the exponential of another matrix
PostPosted: Thu, 1 Dec 2011 05:25:06 UTC 
Offline
Senior Member

Joined: Fri, 3 Sep 2010 09:29:45 UTC
Posts: 140
Another one that I am guessing is fairly easy

Every invertible n x n matrix A can be written as A=e^X for some X \in M_n(\mathbb{C}).

The hint is to start with A = PBP^{-1} where B is a block diagonal matrix in which each block is of the form \lambda I + N_\lambda and N_\lambda is nilpotent.

I know that if A is unipotent then \log A is nilpotent and if A is nilpotent then \log A is unipotent

So certainly e^{N_\lambda} exists, and is unipotent.

I'm not really sure where to go with this one.

Any hints?


Top
 Profile  
 
 Post subject: Re: Invertible matricies are the exponential of another matr
PostPosted: Thu, 1 Dec 2011 06:07:59 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6066
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
qwirk wrote:
Another one that I am guessing is fairly easy

Every invertible n x n matrix A can be written as A=e^X for some X \in M_n(\mathbb{C}).

The hint is to start with A = PBP^{-1} where B is a block diagonal matrix in which each block is of the form \lambda I + N_\lambda and N_\lambda is nilpotent.

I know that if A is unipotent then \log A is nilpotent and if A is nilpotent then \log A is unipotent

So certainly e^{N_\lambda} exists, and is unipotent.

I'm not really sure where to go with this one.

Any hints?


No, you want to construct your nilpotent N from a unipotent matrix, not starting with N nilpotent and show e^N is unipotent.

Recall:
  • \exp(A+B)=\exp(A)\exp(B) when AB=BA.
  • \exp(PAP^{-1})=P\exp(A)P^{-1}
  • \log(I+A)=A-\frac{1}{2}A^2+\frac{1}{3}A^3-\dots is (for those A such that the series is defined) a right inverse of \exp(B)=I+B+\frac{1}{2}B^2+\frac{1}{3!}B^3+\dots.

So conjugating to decompose \mathbb{C}^n into (irreducible) invariant subspaces of A, and obviously A|subspace commutes with A|{another subspace}. So you are down to constructing log when it is of the form \lambda I+N, nilpotent N, by upper-triangularising (e.g. Jordan normal form).

The \lambda is easy to get rid of --- just use \log(\lambda) I since it commutes with everything, so you are down to taking log of I+N', nilpotent N'=\lambda^{-1}N. That's where point (3) comes in.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
 Post subject: Re: Invertible matricies are the exponential of another matr
PostPosted: Thu, 1 Dec 2011 08:24:33 UTC 
Offline
Senior Member

Joined: Fri, 3 Sep 2010 09:29:45 UTC
Posts: 140
Thanks again outermeasure


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 3 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA