How to prove that the dimension of a hyperplane is n-1 The hyperplane $H$ defined by $$H:=\{x\in\mathbb {R}^n:a^Tx=b\}$$ is the set that has dimension $n-1$, my question is why or how can we prove that its dimension is $n-1$? Thank you to every one who provide any help or if possible the proof for that.
 A: $$\begin{eqnarray*}(a_1 a_2 \cdots a_n) \left(\begin{array} {c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array}\right)  &=& b\\a_1x_1 + a_2x_2 + \cdots + a_n x_n &=& b\\x_n&=&\frac{1}{a_n}\left(b-a_1x_1-a_2x_2-\cdots -a_{n-1}x_{n-1}\right)\end{eqnarray*}
$$
So $x\in H$ if and only if it has the form $$\left(\begin{array} {c} x_1 \\ x_2 \\ \vdots \\x_{n-1}\\ \frac{1}{a_n}\left(b-a_1x_1-a_2x_2-\cdots -a_{n-1}x_{n-1}\right) \end{array}\right)$$
Now, this is in the span of which vectors?  What is the basis?
A: We have: $a^Tx = b\iff a_1x_1+a_2x_2+\cdots + a_nx_n = b$. Let $x_1, x_2,\cdots , x_{n-1}$ be any real numbers. Then $x_n$ is uniquely determined. You can write the solution in term of $x_1, x_2,\cdots, x_{n-1}$. This means the dimension is $n-1$.
A: Hints:
(1) If $\;V_{\Bbb F}\;$ is any vector space and $\;0\neq f\in V^*\;$ is any (non-zero) linear functional, then $\;f\;$ is always onto.
(2) If $\;0\neq f\in V^*\;$ , then $\;\ker f\;$ is always a hyperplane (= a maximal proper subspace of $\;V\;$ )
(3) If $\;\dim_{\Bbb F}V=n<\infty\;$ , then with the same notation and assumptions as above $\;\dim\ker f=n-1\;$
A: First of all, I think the way you frame the question is confusing. A hyperplane is n-1 dimensional by definition. You should probably be asking "How to prove that this set- Definition of the set H goes here-  is a hyperplane, specifically, how to prove it's n-1 dimensional"
With that being said. The proof can be separated in two parts:
-First part (easy): Prove that H is a "Linear Variety"

*

*Second Part: Prove that this linear variety H is n-1 dimensional.

I hope the answer from this question would be sufficient
Help with proof: Hyperplane is an $(n-1)$-dimensional linear variety
