Maths WorkshopMaths problems with full solutions
Exercise 695Topology › Topology of Mn(ℝ) › Applications and the case n = 2L2Added 10 Nov 2026

Square-zero matrices form a path connected set

#nilpotent matrices#star-shaped sets#path connectedness#cones

Statement

Show that N2={A∈Mn(R):A2=0}\mathcal N_2=\{A\in M_n(\mathbb{R}):A^2=0\} is path connected. Is it convex?

Hint

If A2=0A^2=0, what is (tA)2(tA)^2?

Show solutionHide solution

Solution

Idea. The set is a cone: stable under multiplication by scalars. Every point can be joined to the vertex 00 by a straight segment inside the set.

Step 1: stability under scaling. For A∈N2A\in\mathcal N_2 and t∈Rt\in\mathbb{R}, (tA)2=t2A2=0(tA)^2=t^2A^2=0, so tA∈N2tA\in\mathcal N_2.

Step 2: path. For A∈N2A\in\mathcal N_2 the map γ(t)=(1−t)A\gamma(t)=(1-t)A, t∈[0,1]t\in[0,1], is continuous, with γ(0)=A\gamma(0)=A, γ(1)=0\gamma(1)=0, and stays in N2\mathcal N_2 by Step 1.

Step 3: any two points. Given A,B∈N2A,B\in\mathcal N_2, join AA to 00 and then 00 to BB (reverse path). The concatenation is a path in N2\mathcal N_2 from AA to BB. Hence N2\mathcal N_2 is path connected, indeed *star-shaped* with respect to 00.

Not convex. For n≥2n\ge2 let A=E12A=E_{12}, B=E21B=E_{21}. Then A2=B2=0A^2=B^2=0 but
(A+B2)2=14(E12+E21)2=14(E11+E22)≠0.\Bigl(\frac{A+B}2\Bigr)^2=\frac14(E_{12}+E_{21})^2=\frac14(E_{11}+E_{22})\ne0.
So the midpoint of AA and BB is not in N2\mathcal N_2 and N2\mathcal N_2 is not convex.

Remark. The same proof shows that {A:Ak=0}\{A:A^k=0\} (nilpotent of index ≤k\le k), the nilpotent cone {A:An=0}\{A:A^n=0\}, and in fact every set of the form {A:f(A)=0}\{A:f(A)=0\} with ff homogeneous (such as the singular matrices det⁡=0\det=0 or the rank ≤r\le r matrices) is star-shaped with respect to 00, hence connected. The set N2\mathcal N_2 is closed (polynomial equations) and unbounded: ∥sE12∥=∣s∣\|sE_{12}\|=|s|.

Lesson. A cone, i.e. a set stable under A↦tAA\mapsto tA for t∈[0,1]t\in[0,1], is automatically contractible to its vertex, hence path connected.