独立方程组

代数

dú lì fāng chéng zǔ

独立方程组恰好有一个解,对应着恰好相交于一点的两条直线。

Visualization

Definition

独立方程组恰好有一个解:各个方程都携带着独一无二的信息,合在一起就能锁定一个唯一答案,此时各直线既不平行也不重合,恰好相交于一点。用代数方法求解会得到每个变量的唯一取值,而不是矛盾或恒等式。对 $2 \times 2$ 线性方程组而言,独立性对应于 $\det(A) \neq 0$,意味着 $A$ 可逆,唯一解为 $x = A^{-1}b$;更一般地,一个相容方程组独立当且仅当 $\text{rank}(A) = n$(未知数个数),也就是说各方程定义的超平面恰好相交于一点。

Example

对于 $y = x + 2$ 与 $y = 3x - 4$,令二者相等得到 $x + 2 = 3x - 4$,所以 $x = 3$,$y = 5$,是唯一的解。对于 $2x + y = 7$ 与 $x - y = 2$,相加得到 $3x = 9$,所以 $x = 3$,$y = 1$,这是唯一的交点,两个方程互不为对方的倍数。对 $A = [[3,1],[1,-2]]$ 而言,$\det(A) = -6 - 1 = -7 \neq 0$,所以 $A$ 可逆,解为 $x = A^{-1}b$。

Key Insight

"独立"意味着各方程提供了不同的信息,合在一起就能把答案锁定到恰好一个点上,这也是大多数现实系统运作的方式:两个不同的条件共同确定一个唯一的结果,就像经济学中寻找供给与需求恰好相等的那一点。$\det(A) \neq 0$ 这一条件恰恰是克莱姆法则可以应用、矩阵可逆的临界条件;失去独立性($\det = 0$)的方程组正处于唯一可解与退化之间的边界上。