Square-zero matrices form a path connected set
Statement
Show that is path connected. Is it convex?
Hint
If , what is ?
Show solutionHide solution
Solution
Idea. The set is a cone: stable under multiplication by scalars. Every point can be joined to the vertex by a straight segment inside the set.
Step 1: stability under scaling. For and , , so .
Step 2: path. For the map , , is continuous, with , , and stays in by Step 1.
Step 3: any two points. Given , join to and then to (reverse path). The concatenation is a path in from to . Hence is path connected, indeed *star-shaped* with respect to .
Not convex. For let , . Then but
So the midpoint of and is not in and is not convex.
Remark. The same proof shows that (nilpotent of index ), the nilpotent cone , and in fact every set of the form with homogeneous (such as the singular matrices or the rank matrices) is star-shaped with respect to , hence connected. The set is closed (polynomial equations) and unbounded: .
Lesson. A cone, i.e. a set stable under for , is automatically contractible to its vertex, hence path connected.