The groups GL_n and SL_n: open and closed
Statement
Show that is open and is closed in .
Hint
Write each set as the preimage of a simple subset of under the map . Then use: the preimage of an open (resp. closed) set under a continuous map is open (resp. closed).
Show solutionHide solution
Solution
Idea. Both sets are defined by a condition on the single number , and is continuous. Topology then does all the work.
Step 1: is continuous. By the Leibniz formula
is a polynomial in the entries of . The coordinate functions are continuous (for any norm on ), and sums and products of continuous functions are continuous. Hence is continuous.
Step 2: is open. A matrix is invertible iff , so
The set is open in , so its preimage under the continuous map is open.
Step 3: is closed. By definition
and is closed in , so the preimage is closed.
Remark.
- Concretely, the openness of says: if is invertible and is close enough to , then is invertible. A quantitative version is in the "Inverse stability" problem of Part 1: it suffices that .
- is closed but not open (it has empty interior, since leaves the value as soon as , , and as ).
- is also unbounded for : for all . Closed does not mean compact.