Maths WorkshopMaths problems with full solutions
Exercise 1386Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026

The cone of rank-one matrices

#rank one#closed cone#connectedness#minors

Statement

Let R1={A∈Mn(R):rank⁡A≤1}\mathcal{R}_1=\{A\in M_n(\mathbb{R}):\operatorname{rank}A\le1\}.

  1. Show that R1={xyT:x,y∈Rn}\mathcal{R}_1=\{xy^T:x,y\in\mathbb{R}^n\} and that it is closed and stable under multiplication by scalars.
  2. Show that {rank⁡A=1}\{\operatorname{rank}A=1\} is connected when n≥2n\ge2.
Hint

For part 1, a rank-one matrix has one-dimensional column space. For part 2, the set is the image of the connected set (Rn∖{0})2(\mathbb{R}^n\setminus\{0\})^2 under a continuous map.

Show solutionHide solution

Solution

1. Description. If A=xyTA=xy^T then every column is a multiple of xx, so rank⁡A≤1\operatorname{rank}A\le1. Conversely if rank⁡A=1\operatorname{rank}A=1, pick a nonzero column space generator xx; each column of AA is yjxy_jx for a scalar yjy_j, so A=xyTA=xy^T (and A=0=0⋅0TA=0=0\cdot0^T if the rank is 00).

Closedness. rank⁡A≤1\operatorname{rank}A\le1 iff all 2×22\times2 minors aijakl−ailakja_{ij}a_{kl}-a_{il}a_{kj} vanish. These are polynomials, so R1\mathcal{R}_1 is the common zero set of continuous functions and is closed. It is stable under A↦tAA\mapsto tA.

(Alternative: a limit of xjyjTx_jy_j^T need not obviously be of this form if xj,yjx_j,y_j blow up; the minor characterisation avoids this issue.)

2. Connectedness of rank exactly 11. The map Φ:(Rn∖{0})2→Mn(R)\Phi:(\mathbb{R}^n\setminus\{0\})^2\to M_n(\mathbb{R}), (x,y)↦xyT(x,y)\mapsto xy^T is continuous, and its image is exactly the rank-one matrices (by part 1, a nonzero xyTxy^T requires both x,y≠0x,y\ne0). For n≥2n\ge2, Rn∖{0}\mathbb{R}^n\setminus\{0\} is path connected (it is homotopy equivalent to Sn−1S^{n-1}, which is connected), hence so is the product, hence so is its continuous image.

Remark. For n=1n=1, "rank exactly 11" is R∖{0}\mathbb{R}\setminus\{0\}, which is disconnected. In general {rank⁡=r}\{\operatorname{rank}=r\} is connected for 1≤r≤n−11\le r\le n-1 and splits into two components (det⁡>0\det>0 and det⁡<0\det<0) for r=nr=n.