A discrete cyclic subgroup of the general linear group
Statement
Let . Show that is closed and discrete in (indeed in ).
Hint
Show that and that distinct powers are at distance at least from each other.
Show solutionHide solution
Solution
Computation. for .
Uniformly discrete. Use the max-entry distance (any norm on is at least a constant times it; for the operator or Frobenius norm this distance is a lower bound). Let .
- If : .
- If : .
- If : .
So for all . In particular every point of is isolated: is discrete.
Closed. Suppose in . A convergent sequence is Cauchy, so for large we would have , which forces . So the sequence is eventually constant and . Hence is closed in , and therefore in .
Remark. Contrast with in the previous problem, which can be dense: powers of a matrix with eigenvalues of modulus escape to infinity, while eigenvalues of modulus can make the powers accumulate. Lesson. Uniform discreteness gives closedness for free.