Compactness, connectedness of matrix Lie groups

472 Views Asked by At

I'm studying the matrix Lie groups like $GL(n,\mathbb{R}),SL(n,\mathbb{R}),O(n),SO(n),U(n),SU(n)$.

1) compactness

For example, to show the compactness of $O(n)$ one should show that it is i) closed and ii) bounded in $M(n, \mathbb{R})$.

And every proof I can find is exactly the same as this one, which argues that since $O(n)$ is the solution set of $A^TA=I$, that is, $O(n)$ is the inverse image of one point $I$ by the map $A\mapsto A^TA$ which is continuous, so it is closed. and since the rows of $O(n)$ form a orthonormal basis, every element is bounded by $1$.

But I don't understand why the map $A\mapsto A^TA$ is continuous and the row of $O(n)$ form a orthonormal basis.

Anyway from this argument, $O(n),SO(n),U(n),SU(n)$ are all compact, and $GL(n,\mathbb{R}),SL(n,\mathbb{R})$ are not. $SL(n,\mathbb{R})$ is closed by the map $A\mapsto\det A$ but is not bounded, and $GL(n,\mathbb{R})$ is open by the same map.

2) connectedness

by the map $A\mapsto\det A$, $GL(n,\mathbb{R})$ is disconnected and $SL(n,\mathbb{R})$ is connected. and $O(n),SO(n),U(n),SU(n)$ are all connected by the maps $A\mapsto A^TA$ and $A\mapsto A^*A$ provided these maps are continuous.

so the questions are, is my argument correct? and why are the maps $A\mapsto A^TA$ and $A\mapsto A^*A$ continuous? and why do the rows of $O(n)$ form a orthonormal basis(not a orthogonal basis)? and do the rows of $U(n)$ form a orthonormal basis like $O(n)$?

1

There are 1 best solutions below

9
On BEST ANSWER

1) The map is continuous beacuse it is polynomial in each entry. For instance, when $n=2$ this is the map$$\begin{pmatrix}a&b\\c&d\end{pmatrix}\mapsto\begin{pmatrix}a^2+c^2&ab+cd\\ab+cd&b^2+dd^2\end{pmatrix}.$$

The rows of $O(n)$ form an orthornormal basis because, given a square matrix $A$, asserting that $A\in O(n)$ (that is, asserting that $A^TA=\operatorname{Id}$) is equivalent to: a) each row has norm $1$; b) any two distinct rows or orthogonal. These two conditions hold together if and only if the rows form an orthonormal basis.

2) Saying that “by the map $A\mapsto\det A$ [...] $SL(n,\mathbb{R})$ is connected” makes no sense. Yes, since $\det\bigl(GL(n,\mathbb{R})\bigr)=\mathbb{R}\setminus\{0\}$ and since this is a disconnected set, it follows that $GL(n,\mathbb{R})$ is disconnected. But the image of $GL(n,\mathbb{R})$ by the map $\det^2$ is connected and you don't deduce from that the $GL(n,\mathbb{R})$ is connected, right? So, your argument is wrong.