Recently, I was working on this Undergraduate Mathematics Book , Matrix Group, which reveals the beauty of linear algebra.
At first, I was thinking of reading some books about Lie Group and Lie Algebra, that was about 3 years ago. And Lie Derivative was not easy for me to understand. Now I eventually found some key to the puzzle.
First, treat Matrix Group as some topological space equipped with a usual topology, we can define the open sets with a metric on the space. That is pretty easy. Thus, we could use our normal way to discuss the topological properties of Matrix Group, such as the compactness and connectivity.
However, it is a group, under the usual multiplication of matrices. Moreover, is a ring. We need some restriction on Matrix Group.
A subgroup which is also a close subspace is a matrix group over , surely we can substitute field with any other fields . Normally we call this subgroup a -matrix group.
A very impressive part is the Continuous Homomorphisms of Matrix Group, because for Matrix Group, it combines both topological properties and algebraic properties, this makes homomorphism a central role.
Let be two matrix groups. A homomorphism is continuous homomorphism of matrix groups if it is continuous and its image is a closed subspace of .
We come to an example:
A map ,
is a continuous surjective group homeomorphism of Matrix Group.
Here we should recall the definition, esp. the closed subspace condition. Because homeomorphisms of group do not mean of matrix group.
However, why we need to plus this restriction, it is really fantastic here. Because we shall know first, a very special function, exponential function(as well as logarithm).
which is always convergent if we treat it with Jordan blocks. This function has many good properties, the limitation of this function is the key I suppose. Well, another thing we should focus is the tangent space of Lie Algebras.
Definition: The tangent space to G at U G is
We usually use the notation , and we can assure that has an algebraic structure as a real Lie algebra(By construction), and we wonder some topological results from .
The exponential map: , we will see that
has its image in G(how to prove it?), i.e. , so we could just write .
- IF G is compact and connected, then .
- THERE is an open disc , on which is injective and gives a homemorphism(absolutely),
Here we recall the definition of topological group and any disc around the unit is the generator of the group.