線型方程式系

数学において線型方程式系︵せんけいほうていしきけい︶とは、同時に成立する複数の線型方程式︵一次方程式︶の組のことである。線形等の用字・表記の揺れについては線型性を参照。

複数の方程式の組み合わせを方程式系あるいは連立方程式と呼ぶことから、線型方程式系のことを一次方程式系、連立線型方程式、連立一次方程式などとも呼ぶこともある。

初等的説明

以下の式は、2変数の線型方程式系の例である。

${\begin{cases}x+2y=5\\2x+3y=8\end{cases}}$ 

左側の記号︵中括弧︶は、特に必要というわけではないが、方程式系であることを明示するためによく用いられる。 この式において、2つの線型方程式を同時に満たす (x, y) = (1, 2) が解である。

与えられた線型方程式系に属するすべての方程式を同時に満たすような変数の値のことを線型方程式系の解といい、線型方程式系の解を求めることを線型方程式系を解くという。

線型方程式系が与えられたとき、変数の数と方程式の本数を比べれば、その解は大まかに言って

(一)変数の数の方が多いならば、︵変数の数︶ − ︵方程式の本数︶の分だけ変数を自由に定めることができ、解が一つに定まらない。

(二)変数の数と方程式の本数が一致するならば、解が存在し、一つに定まる。

(三)方程式の本数の方が多いならば、制約が過剰なので、解が存在しない。

のようになっていると考えることができる。また、変数の数が多いときには、いくつかの変数を勝手な値をとることができる定数と思ってやることで、変数の数と方程式の本数が同じであると考えることができる。したがって、普段は方程式の数と変数の数が一致する方程式系を考えることが多い。

解法でよく知られたものとして以下の方法がある。いずれの方法も変数を減らしていき、一変数の方程式に帰着させることによって解く方法である。

代入法

いずれかの方程式を一つの変数について解き、他の方程式に代入することによって、変数を減らし、方程式を簡単にしてから解く方法。

等値法（等置法）

それぞれの方程式を、特定の変数について解いたときの値を等しいとして、変数を消去する方法。代入法の一種とも言える。

加減法

方程式の両辺を定数倍したり、足し引きすることによって、変数を消去する方法。

行列と線型方程式系

n 変数 m本の線型方程式系は一般に mn個の係数 a_i,j (i = 1, 2, ..., m, j= 1, 2, ..., n) および m個の定数 b₁, b₂, ..., b_mを用いて

$\left\{{\begin{matrix}a_{1,1}x_{1}+a_{1,2}x_{2}+\cdots +a_{1,n}x_{n}&=&b_{1}\\a_{2,1}x_{1}+a_{2,2}x_{2}+\cdots +a_{2,n}x_{n}&=&b_{2}\\\vdots &\vdots &\vdots \\a_{m,1}x_{1}+a_{m,2}x_{2}+\cdots +a_{m,n}x_{n}&=&b_{m}\end{matrix}}\right.$ 

の形に表される。これを、記法を改めて

${\begin{bmatrix}a_{1,1}&a_{1,2}&\cdots &a_{1,n}\\a_{2,1}&a_{2,2}&\cdots &a_{2,n}\\\vdots &\vdots &\ddots &\vdots \\a_{m,1}&a_{m,2}&\cdots &a_{m,n}\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{bmatrix}}={\begin{bmatrix}b_{1}\\b_{2}\\\vdots \\b_{m}\end{bmatrix}}$ 

と表示したり、あるいはさらに行列やベクトルを用いて、A = [a_i j], x= [x_j], b= [b_i] などと置いてやれば

$Ax=b$ 

と記述することができる︵歴史的には、このような表記法を考えることで行列の概念が作り出されたのである︶。ここで Aをこの方程式系の係数行列、x を変数ベクトルという。また特に bが零ベクトル 0︵すべての成分が 0︶である場合に、この線型方程式は斉次︵あるいは同次、homogeneous︶であるといい、そうでないとき非斉次︵あるいは非同次、inhomogeneous︶であるという。非斉次の方程式 Ax= bが与えられたとき、b = 0 と置いて得られる斉次方程式 Ax= 0 はもとの非斉次方程式に随伴する斉次方程式であるという︵随伴という代わりに、同伴する、付随する、対応する、伴うなどともいう︶。

線型方程式系の解空間

V と Wを有限次元ベクトル空間とし、変数ベクトル xは Vの中を動くものとし、W の元 bと係数行列 Aによって定まる線型方程式系

$Ax=b$ 

を考える。また、行列 Aの定める線型写像を f_A: V→ Wと記すことにすると、この線型方程式系を解くという問題は、一点集合 {b} の f_Aによる逆像 f_A⁻¹(b) の状態︵ここで f_A⁻¹ は一般には写像にはならず、逆対応の意味である︶を記述する問題であると捉えることができる。

本項目は線型方程式の有限系を考察対象とするため、V と Wは有限次元であると仮定するが、基本的に以下の議論はベクトル空間 Vと Wが無限次元であってもほとんどの場合は、適当な読み替えのもとに成立する。一般の場合は線型方程式の項を参照されたい。

方程式系が斉次形 (b = 0) ならば、この方程式は常に零ベクトル x= 0 を解に持つ。これを斉次方程式の自明な解とよぶ。また斉次形ならば方程式の解の重ね合わせが可能である。つまり、 xと yが斉次線型方程式系の解であるとき、任意のスカラー α と β に対して、 αx + βy も同じ方程式系の解となる。したがって斉次方程式系の解全体の集合 f_A⁻¹(0) は Vの線型部分空間をなし、方程式系の解ベクトル空間あるいは省略して解空間と呼ばれる。斉次方程式の解空間 f_A⁻¹(0) は f_Aの︵あるいは Aの︶核と呼ばれるもので、斉次方程式系の解空間が部分空間をなすという事実は核

$\ker A=\ker f_{A}:=x\in V\mid Ax=\mathbf {0} \}$ 

が Vの部分空間を成すということに同じである。特に、解空間の次元は f_Aの退化次数 nul f_Aに等しい。このことはさらに、n = nul f_Aとおくと、方程式の一般解が n個の一次独立な解︵基本解︶ x₁, x₂, ..., x_nと n個の任意定数︵パラメータ︶c₁, c₂, ..., c_nによって

$c_{1}x_{1}+c_{2}x_{2}+\cdots +c_{n}x_{n}$ 

の形に表されると言い換えることができる。

方程式系が非斉次 (b ≠ 0) であるとき、b が線型写像 f_Aの像に含まれていなければ方程式系の解は存在せず、b が Aの像に属すならば少なくとも一つの解が存在する。さらに線型写像 f_Aが全射ならば、任意の b∈ Wに対して方程式系は解を持つ。列ベクトル a₁, a₂, ..., a_kによって A= (a₁, a₂, ..., a_k) と表すと、b が線型写像 f_Aの像に含まれるということは、a₁, a₂, ..., a_kの線型結合として bが表されるということであり、またこれは階数を用いれば、行列 Aと行列 B= (a₁, a₂, ..., a_k, b) の間に等式 rank A= rank Bが成立することと述べることもできる。

非斉次の線型方程式系が2つの解 xと yを持つとき、差 x− yは 写像 f_Aの線型性によって A(x − y) = 0 をみたす。したがって、非斉次の線型方程式系の二つの解は随伴する斉次方程式系の解を加える分の違いしか持たない。ゆえに非斉次方程式系の解の一つ︵特殊解︶と随伴斉次方程式系の一般解により、非斉次方程式のすべての解を記述することができる。つまり、 x₀ が Ax= bの特殊解であるならば、非斉次方程式の解の全体は

$x_{0}+\ker f_{A}:=x_{0}+v\in V\mid Av=\mathbf {0} \}$ 

で与えられる。これは ker Aに随伴したアファイン空間であり、やはり方程式系の解空間と呼ばれる。随伴斉次方程式の基本解 x₁, x₂, ..., x_nを用いれば

$x_{0}+c_{1}x_{1}+c_{2}x_{2}+\cdots +c_{n}x_{n}$ 

の形にすべての解を書くことができる。

線型方程式 Ax= bの解が一意であることは、線型写像 f_Aが単射であることを意味し、これは ker A= {0} であることと同値である。する。またこれは、階数と退化次数の関係から、f_A が非退化 (full rank) であるとも言い換えられる。またこのとき、さらに V, Wの次元が同じならば、行列式 |A| は零でない。

解法

方程式の数と変数の数が一致する場合において、A が正則行列ならば、A の逆行列と呼ばれる行列 A⁻¹ を用いて、この線型方程式系の解を

$x=A^{-1}b$ 

と求めることが︵論理的には︶可能である。しかし、逆行列を計算することは一般に困難であり、数値計算的には別の解法が各種提案されている。 以下の2つは、線型代数学に重要な解法である。

●ガウスの消去法

●行列の基本変形

実用上に出てくる問題は、問題の規模︵方程式の本数や変数の数︶が小さく、係数行列 Aが密なものか、問題の規模は大きいものの、行列 Aは疎でなおかつ性質があるものが多い(疎行列)。また行列 Aは変わらず、定数ベクトル bをいくつも変えて計算する必要も生じる。従って、それぞれの状況に適した解法を選ぶ必要がある。

• LU分解
• 特異値分解
• 共役勾配法

具体例

A が2次正方行列のとき

${\begin{bmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\begin{bmatrix}b_{1}\\b_{2}\end{bmatrix}}$ 

の解は次のようになる。

$a_{11}a_{22}-a_{12}a_{21}\neq 0$  のとき

${\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\frac {1}{a_{11}a_{22}-a_{12}a_{21}}}{\begin{bmatrix}a_{22}b_{1}-a_{12}b_{2}\\-a_{21}b_{1}+a_{11}b_{2}\end{bmatrix}}$ 

である。 $a_{11}a_{22}-a_{12}a_{21}=0$  のとき、$|a_{11}|^{2}+|a_{12}|^{2}\neq 0$ のときは、方程式が

${\begin{bmatrix}a_{11}&a_{12}\\ka_{11}&ka_{12}\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\begin{bmatrix}b_{1}\\b_{2}\end{bmatrix}},\quad k={\frac {{\overline {a_{11}}}a_{21}+{\overline {a_{12}}}a_{22}}{|a_{11}|^{2}+|a_{12}|^{2}}}$ 

と書けて、$b_{2}\neq kb_{1}$ のとき解なし。$b_{2}=kb_{1}$ のとき

${\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\frac {b_{1}}{|a_{11}|^{2}+|a_{12}|^{2}}}{\begin{bmatrix}{\overline {a_{11}}}\\{\overline {a_{12}}}\end{bmatrix}}+t{\begin{bmatrix}-a_{12}\\a_{11}\end{bmatrix}},\quad (t\in \mathbb {C} )$ 

となる。 $|a_{11}|^{2}+|a_{12}|^{2}=0$ のときは、方程式は

${\begin{bmatrix}0&0\\a_{21}&a_{22}\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\begin{bmatrix}b_{1}\\b_{2}\end{bmatrix}}$ 

であり、 $|a_{21}|^{2}+|a_{22}|^{2}\neq 0$ のとき、$b_{1}\neq 0$ のとき解なし。$b_{1}=0$ のとき

${\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}={\frac {b_{2}}{|a_{21}|^{2}+|a_{22}|^{2}}}{\begin{bmatrix}{\overline {a_{21}}}\\{\overline {a_{22}}}\end{bmatrix}}+t{\begin{bmatrix}-a_{22}\\a_{21}\end{bmatrix}},\quad (t\in \mathbb {C} )$ 

となる。 $|a_{21}|^{2}+|a_{22}|^{2}=0$ のとき、$|b_{1}|^{2}+|b_{2}|^{2}\neq 0$ のとき解なし。 $b_{1}=b_{2}=0$ のとき

${\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}=s{\begin{bmatrix}1\\0\end{bmatrix}}+t{\begin{bmatrix}0\\1\end{bmatrix}},\quad (s,\,t\in \mathbb {C} )$ 

となる。

応用

線型方程式系は、数学において伝統的な問題である。またさまざまな応用がある。

• 信号処理
• 線型計画問題
• 線型近似（たとえばニュートン法、有限要素法等）

関連項目

• 線型方程式
• 線型代数学
• 行列
• クラメルの公式
• 疎行列
• 非線型方程式系