Complement of a subspace
Statement
Let be a real vector space of finite dimension and a linear subspace.
- If is a hyperplane (dimension ), show that has exactly two connected components.
- If , show that is path connected.
Hint
In part 2, given , look for a third point such that the segments and do not meet .
Show solutionHide solution
Solution
1. Hyperplane. Write with a non-zero linear form. Then . Both pieces are open, disjoint, non-empty (replace by ), and convex (preimages of intervals under a linear map), hence path connected. So there are exactly two components.
2. Codimension . Let .
*Which points are bad for ?* Suppose for some . Then (because ), and so with , i.e.
is a linear subspace of dimension (since ), which is . Likewise define . If the whole segment avoids and similarly for and .
*Choice of .* is not the union of two proper subspaces , (a vector space over an infinite field is never a union of finitely many proper subspaces). Pick . Then and the path (two segments) lies in .
Conclusion. is path connected.
Remark. In , the complement of the hyperplane has two components (Problem 5), whereas the complement of the subspace of scalar matrices (codimension for ) is connected. The result is false for *non-linear* sets of codimension and may fail even for codimension non-linear sets that are not "nice".