Deje r<nZ_r=\{A\in M_n(\mathbb{R}); rank(A)=r\}. .
\textbf{Proposition 1.} Z_r es un arcwise conjunto conectado.
\textbf{Proof.} Deje A\in M_n(\mathbb{R}). A continuación, rank(A)=r fib hay P=\begin{pmatrix}P_{r,r}&P_{r,n-r}\\P_{n-r,r}&P_{n-r,n-r}\end{pmatrix},Q=\begin{pmatrix}Q_{r,r}&Q_{r,n-r}\\Q_{n-r,r}&Q_{n-r,n-r}\end{pmatrix} invertible s.t. A=Pdiag(I_r,0_{n-r})Q.
Tenga en cuenta que P_{r,n-r},P_{n-r,n-r} (segundo bloque de la columna de P) y Q_{n-r,r},Q_{n-r,n-r} (segundo bloque de la fila de Q) son casi arbitraria.
Si \det(P)<0, en cambio la última columna de P con su opuesto.Si \det(Q)<0, luego cambiar a la última fila de Q con su opuesto. Entonces podemos suponer que la P,Q\in GL_n^+, un arcwise conjunto conectado, y hemos terminado. \square
\textbf{Proposition 2.} Deje I ser un subconjunto de a[[0,n-1]]Z_I=\{A\in M_n(\mathbb{R}); rank(A)\in I\}. A continuación, Z_I es un arcwise conjunto conectado.
\textbf{Proof.} Deje U,V s.t. rank(U)=u<rank(V)=v. Hay dos arcos que unen U,diag(I_u,0_{n-u}) V,diag(I_v,0_{n-v}) a través deZ_uZ_v. Por otra parte, el segmento de t\in [0,1]\rightarrow (1-t)diag(I_v,0_{n-v})+tdiag(I_u,0_{n-u}) está incluido en Z_u\cup Z_v. \square