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

Complement of a subspace

#hyperplane#codimension#connectedness#linear subspace

Statement

Let EE be a real vector space of finite dimension N≥1N\ge1 and V⊊EV\subsetneq E a linear subspace.

  1. If VV is a hyperplane (dimension N−1N-1), show that E∖VE\setminus V has exactly two connected components.
  2. If codim⁡V≥2\operatorname{codim}V\ge2, show that E∖VE\setminus V is path connected.
Hint

In part 2, given a,b∉Va,b\notin V, look for a third point cc such that the segments [a,c][a,c] and [c,b][c,b] do not meet VV.

Show solutionHide solution

Solution

1. Hyperplane. Write V=ker⁡φV=\ker\varphi with φ\varphi a non-zero linear form. Then E∖V={φ>0}⊔{φ<0}E\setminus V=\{\varphi>0\}\sqcup\{\varphi<0\}. Both pieces are open, disjoint, non-empty (replace xx by −x-x), and convex (preimages of intervals under a linear map), hence path connected. So there are exactly two components.

2. Codimension ≥2\ge2. Let a,b∈E∖Va,b\in E\setminus V.

*Which points cc are bad for aa?* Suppose (1−t)a+tc∈V(1-t)a+tc\in V for some t∈[0,1]t\in[0,1]. Then t≠0t\ne0 (because a∉Va\notin V), and so c=1t(v−(1−t)a)c=\frac1t\big(v-(1-t)a\big) with v∈Vv\in V, i.e.
c∈V+Ra.c\in V+\mathbb{R}a.
V+RaV+\mathbb{R}a is a linear subspace of dimension dim⁡V+1\dim V+1 (since a∉Va\notin V), which is ≤N−1<N\le N-1<N. Likewise define Wb=V+RbW_b=V+\mathbb{R}b. If c∉Wac\notin W_a the whole segment [a,c][a,c] avoids VV and similarly for [c,b][c,b] and WbW_b.

*Choice of cc.* EE is not the union of two proper subspaces WaW_a, WbW_b (a vector space over an infinite field is never a union of finitely many proper subspaces). Pick c∉Wa∪Wbc\notin W_a\cup W_b. Then c∉Vc\notin V and the path [a,c]∪[c,b][a,c]\cup[c,b] (two segments) lies in E∖VE\setminus V.

Conclusion. E∖VE\setminus V is path connected.

Remark. In Mn(R)M_n(\mathbb{R}), the complement of the hyperplane {tr⁡=0}\{\operatorname{tr}=0\} has two components (Problem 5), whereas the complement of the subspace of scalar matrices RI\mathbb{R}I (codimension n2−1≥2n^2-1\ge2 for n≥2n\ge2) is connected. The result is false for *non-linear* sets of codimension 11 and may fail even for codimension 22 non-linear sets that are not "nice".