Maths WorkshopMaths problems with full solutions
Exercise 308Topology › Topology of Mn(ℝ) › ConnectednessL2Added 7 Nov 2026

Components of the linear group

#connected components#general linear group#determinant#local connectedness

Statement

  1. Show that every connected component of GLn(R)GL_n(\mathbb{R}) is both open and closed in GLn(R)GL_n(\mathbb{R}).
  2. Show that GLn(R)GL_n(\mathbb{R}) is not connected.
Hint

For part 1, a ball in GLn(R)GL_n(\mathbb{R}) is connected. For part 2, look at the sign of the determinant.

Show solutionHide solution

Solution

Idea. Components are always closed. They are open as soon as the space is *locally connected*, and GLn(R)GL_n(\mathbb{R}) is an open subset of a normed space, so it is.

1. Components are clopen.
- *Closed.* The closure of a connected set is connected, so the closure of a component KK inside GLnGL_n is a connected set containing KK; by maximality it equals KK.
- *Open.* GLn(R)=det⁡−1(R∖{0})GL_n(\mathbb{R})=\det^{-1}(\mathbb{R}\setminus\{0\}) is open in Mn(R)M_n(\mathbb{R}) because det⁡\det is continuous (it is a polynomial in the entries). So for A∈KA\in K there is an open ball B(A,r)⊂GLn(R)B(A,r)\subset GL_n(\mathbb{R}). A ball is convex, hence connected (Problem 1). Therefore B(A,r)∪KB(A,r)\cup K is connected (two connected sets sharing the point AA), so B(A,r)⊂KB(A,r)\subset K by maximality. Thus KK is open.

2. Disconnectedness. The map det⁡:GLn(R)→R∖{0}\det:GL_n(\mathbb{R})\to\mathbb{R}\setminus\{0\} is continuous and onto: det⁡(diag⁡(c,1,…,1))=c\det(\operatorname{diag}(c,1,\dots,1))=c for any c≠0c\ne0. Hence
GLn(R)={det⁡>0}⊔{det⁡<0},GL_n(\mathbb{R})=\{\det>0\}\sqcup\{\det<0\},
a union of two disjoint non-empty open sets. So GLn(R)GL_n(\mathbb{R}) is not connected, and each component lies entirely in {det⁡>0}\{\det>0\} or in {det⁡<0}\{\det<0\}.

Remark. The next problems show that there are *exactly two* components, {det⁡>0}\{\det>0\} and {det⁡<0}\{\det<0\}. Note the contrast with GLn(C)GL_n(\mathbb{C}), which is connected: the determinant takes values in C×\mathbb{C}^\times, which is connected.