超平面（hyperplane）的定义

Hyperplane - Wikipedia
Hyperplane – from Wolfram MathWorld

$a_1,a_2,\ldots,a_n$ 为一组不全为 0 的纯量，如下定义的集合 $S$ 由这样的向量构成，$x=[x_1,x_2,\ldots,x_n]^T$（$x\in \mathbb R^n$），需要满足，

$$a_1x_1+a_2x_2+\cdots+a_nx_n=c$$

$c$ 是一个常数，由满足上一等式的 $x$ 构成的 $\mathbb R^n$ 向量子空间称为一个超平面（hyperplane）。试问，这样的一个等式表达的是怎样的一个约束呢？

$\{a_i\}$ 不全为零，不妨令， $a_k$ 不为 0，则：$x_k=(c-\sum\limits_{i(\not k)}{a_ix_i})/{a_k}$，也即至少存在一个 $x_k$，可以由其他成分得以确定，如果原始空间 $\mathbb R^n$，其内的一个超平面其实是一个子空间，自由度最高为 $n-1$（$\mathbb R^{n-1}$）。

• 3 维空间，其超平面是 2 维平面；
• 2 维空间，其超平面是 1 维直线；