13
$\begingroup$

We know that the the general linear group is defined as the set $\{A\in M_n(R): \det A \neq 0\}$. I have a homework on how to prove that it is a smooth manifold. So far my only idea is that we can think of each matrix, say $A$, in that group as an $n^2-$dimensional vector. So i guess that every neighborhood of $A$ is homeomorphic to an open ball in $\mathbb{R}^{n^2}$ (However, i don't know how to prove this.)

Now, I'm asking for help if anyone could give me a hint on how to prove that the general linear group is a smooth manifold since I really don't have an idea on how to do this. (By the way, honestly, I don't really understand what a $C^{\infty}-$smooth structure means which is essential to the definition of a smooth manifold.) Your help will be greatly appreciated. :)

  • 0
    What properties must be fulfilled for the GL to be a smooth manifold? Maybe it helps to consider the cases $\det{A}>0$ and $\det{A}<0$?2012-07-26
  • 0
    I'm not sure with this but GL must have a smooth structure, that is, it must have a maximal atlas. Hmmm, for those cases, I still don't have an idea on what to do with them. :(2012-07-26

2 Answers 2

14

Construct a map $f:M_n(\mathbb{R}) \rightarrow \mathbb{R}$ by taking each matrix to its determinant, where $M_n(\mathbb{R})$ is the set of all $n \times n$ matrices. $f^{-1}(\mathbb{R}\backslash\{0\})=GL_n(\mathbb{R})$, and $\mathbb{R}\backslash\{0\}$ is an open subset of $\mathbb{R}$. Therefore, $GL_n(\mathbb{R})$ is an open subset of $M_n(\mathbb{R})$. I'll leave the rest to you.

  • 0
    Thanks for the hint! Maybe all I need is to sit this one down and focus to get the right proof. :)2012-07-26
16

Here are some hints:

  • $\mathbb{R}^{n^2}$ is trivially a smooth manifold.

  • The determinant map $$\det: \mathbb{R}^{n^2} \longrightarrow \mathbb{R},$$ which we define by considering elements of $\mathbb{R}^{n^2}$ as $n \times n$ matrices, is continuous (it is a polynomial in the entries of the matrix). Then $$\mathrm{GL}(n; \mathbb{R}) = \mathrm{det}^{-1}(\mathbb{R}\setminus\{0\})$$ is an open subset of $\mathbb{R}^{n^2}$.

  • Now show that an open subset of a smooth manifold is itself a smooth manifold with the obvious smooth structure.

If you need more clarification, let me know.

  • 0
    I have to go for now, but I will add some explanation on smooth structures when I am back.2012-07-26
  • 0
    Okay, for clarification, is it the standard smooth structure that you're talking about for GL?2012-07-26
  • 0
    @JohnThompson he's talking about the smooth structure of $M_n(\mathbb{R})$2013-09-27
  • 0
    @HenryT.Horton Can I ask why is $\mathbb{R}^{n^2}$ a smooth manifold?2016-02-17
  • 0
    @Joe It is Hausdorff and second countable (known facts about topological spaces of the type $\mathbb{R}^{m}$). Also, each point has an open neighborhood $U$ homeomorphic to $\mathbb{R}^{n^{2}}$: just take $U=\mathbb{R}^{n^{2}}$ and the identity map as the homeomorphism. Hence, it is a topological manifold. Notice that this homeomorphism covers the whole $U=\mathbb{R}^{n^{2}}$, so an atlas would be $(id, \mathbb{R}^{n^{2}})$. The changes of basis are vacuously smooth. Done.2017-02-21