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

Components of the set where the trace is non-zero

#connected components#trace#half-spaces

Statement

How many connected components does {A∈Mn(R):tr⁡A≠0}\{A\in M_n(\mathbb{R}):\operatorname{tr}A\neq0\} have?

Hint

The trace is a continuous *linear* map to R\mathbb{R}.

Show solutionHide solution

Solution

Answer. Exactly two.

Idea. The set is the union of two open half-spaces, each convex, hence connected.

Step 1: the two pieces. Let H+={tr⁡>0}H_+=\{\operatorname{tr}>0\} and H−={tr⁡<0}H_-=\{\operatorname{tr}<0\}. They are open (preimages of open sets under the continuous map tr⁡\operatorname{tr}), disjoint, non-empty (they contain II and −I-I since tr⁡(±I)=±n\operatorname{tr}(\pm I)=\pm n), and their union is the set in question.

Step 2: each piece is connected. tr⁡\operatorname{tr} is linear, so if tr⁡A>0\operatorname{tr}A>0 and tr⁡B>0\operatorname{tr}B>0 then tr⁡((1−t)A+tB)=(1−t)tr⁡A+ttr⁡B>0\operatorname{tr}((1-t)A+tB)=(1-t)\operatorname{tr}A+t\operatorname{tr}B>0. So H+H_+ is convex, hence path connected (Problem 1); likewise H−H_-.

Step 3: conclusion. The set is a disjoint union of two non-empty open connected sets, so these are precisely its two components.

Remark. The same argument applies to the complement of any hyperplane: {φ≠0}\{\varphi\ne0\} for a non-zero linear form φ\varphi always has two components. The complement of a subspace of codimension ≥2\ge2, on the other hand, is connected (Problem 13).