Linear Algebra
5.78 min read

Hyperplane Intersections

Each equation ai1x1++ainxn=bia_{i1} x_1 + \cdots + a_{in} x_n = b_i defines a hyperplane in Rn\mathbb{R}^n — a flat (n1)(n-1)-dimensional slice. Adding more equations means intersecting more hyperplanes.

When we add a new equation (a new row), one of three things happens: (1) the new row's vector is not in the span of the previous rows — then the solution space dimension drops by 1 (a genuine new constraint); (2) the new row is in the span of the previous rows and is consistent — the equation is redundant and the solution space is unchanged; (3) the new row is in the span of the previous rows but is inconsistent — the hyperplane misses the current solution set entirely (no solution).

This trichotomy exactly matches what we saw in Chapter 1 when studying two or three equations: the lines or planes either intersect transversally, overlap, or are parallel. Row rank gives us the rigorous version of that intuition for any number of equations in any dimension.

Formal View

Remark 5.13 — Hyperplane Intersection Trichotomy
Let SS be the current solution set (an affine space) and let a new equation add a row rt\mathbf{r}^t with right-hand side cc. Then:\begin{itemize} \item If r\mathbf{r} is NOT in the row span of the previous rows: the solution space dimension decreases by 11. \item If r\mathbf{r} IS in the row span and the equation is consistent: the equation is redundant — solution space unchanged. \item If r\mathbf{r} IS in the row span and the equation is inconsistent: the hyperplane misses SS — no solution. \end{itemize}

Why This Matters

Hyperplane intersection is the geometric heart of all systems of linear equations.

  • Linear programming: the feasible region of an LP is an intersection of half-spaces, and its vertices are intersections of boundary hyperplanes
  • Computer graphics: ray-plane intersection and clipping algorithms rely on this geometry
  • Statistics: each data constraint reduces the dimension of the parameter space by one when the constraint is independent

Quiz

Question 1

You have a system in R4\mathbb{R}^4 with solution set of dimension 2. You add a new equation. What are the possible dimensions of the new solution set?

Question 2

Adding a redundant (linearly dependent) equation to a consistent system can never change its solution set.

Common Mistakes

  • Assuming a linearly dependent row is automatically redundant — it could also be inconsistent, killing all solutions.
  • Thinking dimension can increase when you add more equations — more constraints can only maintain or reduce the solution dimension.