Definition 1.1Matrix Lie groups
Matrix Lie group: a group of invertible matrices that is closed: limits of its elements (if invertible) stay inside.
Why closed? It forces to be a smooth manifold, so calculus (tangent vectors, the Lie algebra) works.
Typical test: is cut out by continuous equations such as or .
Needs: Theorem 6.6, Definition 4.6, Definition 4.9
Leads to: Definition 1.2, Theorem 3.2