casting 2x2 matrix with unit determinant in another form


by ivl
Tags: decomposition, rotation matrix, special linear group
ivl
ivl is offline
#1
Feb25-12, 08:57 AM
P: 27
Dear all,

I have a simple question for you. Any help will be very appreciated.

==Assumptions===
I have a 2x2 matrix, with real entries:

|A B|
|C D|

Such matrix has unit determinant, AD-BC=1.
(For those of you in group theory: the above is a representative of SL(2,R)).

==Question===
The above matrix, due to the unit-determinant condition, has 3 independent parameters.
So, I would like to represent the 2x2 real matrix with unit determinant in a more convenient form: a form which depends on only 3 parameters.

For instance, I could try and relate the above matrix to a rotation matrix, that is, one of the independent parameters would be a rotation angle.

Any ideas on a convenient "minimal" representation?

=========

Thanks a lot!
IVL
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
morphism
morphism is offline
#2
Feb25-12, 10:42 AM
Sci Advisor
HW Helper
P: 2,020
There are several such decompositions. Perhaps the most aesthetically pleasing one is the Iwasawa decomposition (also known as the KAN decomposition), which says that any A in SL(2,R) can be written as a product
[tex]A = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \begin{pmatrix} a & 0 \\ 0 & a^{-1}\end{pmatrix} \begin{pmatrix} 1 & n\\ 0 & 1\end{pmatrix},[/tex] where [itex]\theta \in [0, 2\pi)[/itex], [itex]a > 0[/itex] and [itex]n \in \mathbb R[/itex] are uniquely determined by A.
ivl
ivl is offline
#3
Feb25-12, 11:05 AM
P: 27
Wow! Thanks Morphism, that is precisely what I was looking for.

Do you have any good reference on the Iwasawa decomposition?

Cheers
IVL

Message to other users: for the sake of completeness, if you think there are other decompositions worth being mentioned, please add them to the thread. Thanks.

morphism
morphism is offline
#4
Feb25-12, 01:31 PM
Sci Advisor
HW Helper
P: 2,020

casting 2x2 matrix with unit determinant in another form


For the Iwasawa decomp of SL(2,R), these notes of Keith Conrad are nice.

I should mention that what's going on here is part of a bigger picture: the Iwasawa decomposition is really a statement about decomposing certain types of groups (e.g. semisimple Lie groups) of which SL(2,R) is an example.

For an example of another decomposition, you can refine the polar decomposition that you learned in linear algebra to obtain the so-called KAK decomposition, which also applies to a broad class of Lie groups. For SL(2,R), this states that any A can be written as
[tex]A = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \begin{pmatrix} a & 0 \\ 0 & a^{-1}\end{pmatrix} \begin{pmatrix} \cos\psi & -\sin\psi \\ \sin\psi & \cos\psi \end{pmatrix},[/tex]
where [itex]\theta,\psi \in [0,2\pi)[/itex] and [itex]a>0[/itex] are uniquely determined by A.

Yet another example is the Bruhat decomposition, which states that [itex]A \in \text{SL}(2,\mathbb R)[/itex] is either upper-triangular, or else can be decomposed as
[tex]\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} 1 & ac^{-1} \\ 0 & 1 \end{pmatrix} \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} c & d \\ 0 & c^{-1} \end{pmatrix}.[/tex] Note that c is nonzero since we're assuming A is not upper-triangular, so it makes sense to invert it. Also note that b appears to have vanished, but of course it's still there as [itex]b = (ad-1)c^{-1}[/itex].
ivl
ivl is offline
#5
Feb25-12, 02:07 PM
P: 27
Veeery nice!

Thanks a lot!
ivl
ivl is offline
#6
Feb26-12, 04:31 PM
P: 27
Dear Morphism, and dear all,

thinking more on the above, I have two questions:

1. Doers there exist an AKA decompostion? (where A and K take the same meaning as in the KAK decomposition)

2. I am very interested in the Bruhat decomposition. Can anyone recommend a good reference for that?

For some reason, the matrix equations do not appear any more on the blog's page. Is anyone experiencing the same problem?

Cheers
IVL
morphism
morphism is offline
#7
Feb28-12, 04:56 PM
Sci Advisor
HW Helper
P: 2,020
1. No, there can be no such decomposition. If there were, we would be able to write
[tex]\begin{pmatrix}1 & 1 \\ 0 & 1\end{pmatrix} = \begin{pmatrix}a & 0 \\ 0 & a^{-1}\end{pmatrix}\begin{pmatrix}\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta\end{pmatrix}\begin{pmatrix}b & 0 \\ 0 & b^{-1}\end{pmatrix} = \begin{pmatrix}ab\cos\theta & -ab^{-1}\sin\theta \\ a^{-1}b\sin\theta & a^{-1}b^{-1}\cos\theta\end{pmatrix}.[/tex] Equate the bottom left corners to get $$a^{-1}b\sin\theta = 0 \implies \sin\theta=0.$$ But then the top right corners imply that $$1 = a^{-1}b\sin\theta = 0.$$

2. There isn't really much to say about the Bruhat decomposition for SL(2,R) besides what I had already mentioned. If you're interested in the Bruhat decomposition for a general semisimple/reductive group, then if you tell me what your representation theory background looks like, I might be able to suggest a suitable reference.


Register to reply

Related Discussions
NxN-complex matrix, identified 2Nx2N-real matrix, determinant Linear & Abstract Algebra 2
Finding determinant given determinant of another matrix Calculus & Beyond Homework 3
Help finding a transition matrix between the Jordan form and a general form Calculus & Beyond Homework 5
Unit of the Determinant of a 2-space Matrix Precalculus Mathematics Homework 4
Determinant of a matrix using reduced echelon form Precalculus Mathematics Homework 7