同次連立1次方程式 - データサイエンス関連+αのメモ

Undefined control sequence: \DeclareMathOperator at position 10: % 演算子の定義
\̲D̲e̲c̲l̲a̲r̲e̲M̲a̲t̲h̲O̲p̲e̲r̲a̲t̲o̲r̲{\im}{ \text{Im…

% 演算子の定義
\DeclareMathOperator{\im}{ \text{Im} }
\DeclareMathOperator{\rank}{ \text{rank} }
\DeclareMathOperator{\span}{ \text{Span} }
\DeclareMathOperator{\ker}{ \text{Ker} }

連立1次方程式

A \boldsymbol{x} = \boldsymbol{b}, \quad (A \in \mathbb{R}^{n\times m}, \boldsymbol{x} \in \mathbb{R}^m, \boldsymbol{b} \in \mathbb{R}^n)

において $\boldsymbol{b}=\boldsymbol{0}$ であるとき、同次あるいは斉次（homogeneous）といい、

A \boldsymbol{x} = \boldsymbol{0}

の形の連立1次方程式を、 同次連立1次方程式 や 連立斉1次方程式 という。

自明な解¶

同次連立1次方程式は、明らかに解 $\boldsymbol{x}=\boldsymbol{0}$ をもつので、これを 自明な解 という。

別の表現をするなら、「連立方程式 $Ax=b$ の拡大係数行列 $(A|b)$ について\rank A = \rank (A|b)であれば解が存在する」という定理があるため、同次連立1次方程式なら\rank A= \rank(A|0)となり必ず解が存在する。

解空間¶

解全体の集合 $\left\{\boldsymbol{x} \in \mathbb{R}^m \mid A \boldsymbol{x}=\mathbf{0}\right\}$ は $\mathbb{R}^m$ の部分空間になり、これを 解空間 という。

解空間が $\{ \boldsymbol{0} \}$ であるか、それより大きい部分空間であるかに関する基本的な定理として次のものがある

もしも $|A|\neq 0$ だと $Ax=0$ の解は一意的であるから、自明な解 $x=0$ 以外の解を持たない。

$|A| = 0$ の場合については $n$ についての帰納法で証明できる。

$n=1$ のとき、 $|A|=a_{11} = 0$ であるため任意の数が解になる。

$n > 1$ のとき、もし第1列の $a_{i1}, i=1,2,\dots,n$ がすべて0であれば、任意の数 $x_1$ に対して、

\boldsymbol{x}=\left(\begin{array}{c} x_1 \\ 0 \\ \vdots \\ 0 \end{array}\right)

が解になる。

次に、ある成分 $a_{i1}$ が0でないと仮定する。方程式の第1列について前進消去した係数行列を $A'$ とすると

0 =|A| =|A^{\prime}| =\left|\begin{array}{cccc} a_{11} & a_{12} & \cdots & a_{1 n} \\ 0 & a_{22}^{\prime} & \cdots & a_{2 n}^{\prime} \\ \vdots & \vdots & & \vdots \\ 0 & a_{n 2}^{\prime} & \cdots & a_{n n}^{\prime} \end{array}\right| =a_{11} \left|\begin{array}{ccc} a_{22}^{\prime} & \cdots & a_{2 n}^{\prime} \\ \vdots & & \vdots \\ a_{n 2}^{\prime} & \cdots & a_{n n}^{\prime} \end{array}\right|

となり、仮定より $a_{11}\neq 0$ なので

\left|\begin{array}{ccc} a_{22}^{\prime} & \cdots & a_{2 n^{\prime}} \\ \vdots & & \vdots \\ a_{n 2}^{\prime} & \cdots & a_{n n}^{\prime} \end{array}\right| = 0

である。ここでこれらの係数についての $n-1$ 個の未知数 $x_2,x_3,\dots,x_n$ に関する同次連立一次方程式

\left\{\begin{array}{c} a_{22}^{\prime} x_2+\cdots+a_{2 n}^{\prime} x_n=0 \\ \vdots \\ a_{n 2}^{\prime} x_2+\cdots+a_{n n}^{\prime} x_n=0 \end{array}\right.

を考えると、係数行列の行列式が0であるから、帰納法の仮定より自明でない解をもつ。その一つを $(d_2,\dots, d_n)$ とする。これを

a_{11} x_1+a_{12} x_2+\cdots+a_{1 n} x_n=0

に代入すると、方程式

a_{11} x_1 + a_{12} d_2+\cdots+a_{1 n} d_n=0

が得られる。この $x_1$ に関する方程式は $a_{11}\neq 0$ より解を持つため、その解を $d_1$ とすると

d_1=-\frac{a_{12}}{a_{11}} d_2-\cdots-\frac{a_{1 n}}{a_{11}} d_n

で与えられる。

こうして得られた解 $(d_1, d_2,\dots, d_n)$ はもとの方程式の解であり、 $2\leq i \leq n$ について $d_i \neq 0$ であるからこの解は自明でない解である。

解空間の1組の基底をその連立1次方程式の 基本解 といい、解空間の次元を 解の自由度 という。

基本解の1次結合で書かれる一般の解を 一般解 という。

横長の係数行列は自明でない解になる¶

一意な解を持つための条件¶