線型方程式系

テンプレート:出典の明記 数学において線型方程式系（せんけいほうていしきけい）とは、同時に成立する複数の線型方程式（一次方程式）の組のことである。線形等の用字・表記の揺れについては線型性を参照。

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

初等的説明

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

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

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

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

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

1. 変数の数の方が多いならば、（変数の数） − （方程式の本数）の分だけ変数を自由に定めることができ、解が一つに定まらない。
2. 変数の数と方程式の本数が一致するならば、解が存在し、一つに定まる。
3. 方程式の本数の方が多いならば、制約が過剰なので、解が存在しない。

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

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

代入法

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

等値法（等置法）

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

加減法

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

行列と線型方程式系

テンプレート:Mvar 変数 テンプレート:Mvar 本の線型方程式系は一般に テンプレート:Mvar 個の係数 テンプレート:Mvar_{テンプレート:Mvar,テンプレート:Mvar} (テンプレート:Mvar = 1, 2, ..., テンプレート:Mvar, テンプレート:Mvar = 1, 2, ..., テンプレート:Mvar) および テンプレート:Mvar 個の定数 テンプレート:Mvar₁, テンプレート:Mvar₂, ..., テンプレート:Mvar_{テンプレート:Mvar} を用いて

$\{\begin{array}{ccc}{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\\ ⋮& ⋮& ⋮\\ a_{m,1}{x}_1+a_{m,2}{x}_2+\cdots +a_{m,n}{x}_n& =& b_m\end{array}$

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

$\left[\begin{array}{cccc}{a}_{1,1}& a_{1,2}& \cdots & a_{1,n}\\ a_{2,1}& a_{2,2}& \cdots & a_{2,n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m,1}& a_{m,2}& \cdots & a_{m,n}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\\ ⋮\\ b_m\end{array}\right]$

と表示したり、あるいはさらに行列やベクトルを用いて、テンプレート:Mvar = [テンプレート:Mvar_{テンプレート:Mvar}], テンプレート:Mvar = [テンプレート:Mvar_{テンプレート:Mvar}], テンプレート:Mvar = [テンプレート:Mvar_{テンプレート:Mvar}] などと置いてやれば

$Ax=b$

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

線型方程式系の解空間

テンプレート:Mvar と テンプレート:Mvar を有限次元ベクトル空間とし、変数ベクトル テンプレート:Mvar は テンプレート:Mvar の中を動くものとし、テンプレート:Mvar の元 テンプレート:Mvar と係数行列 テンプレート:Mvar によって定まる線型方程式系

$Ax=b$

を考える。また、行列 テンプレート:Mvar の定める線型写像を テンプレート:Mvar_{テンプレート:Mvar}: テンプレート:Mvar → テンプレート:Mvar と記すことにすると、この線型方程式系を解くという問題は、一点集合 {テンプレート:Mvar} の テンプレート:Mvar_{テンプレート:Mvar} による逆像 テンプレート:Mvar_{テンプレート:Mvar}⁻¹(テンプレート:Mvar) の状態（ここで テンプレート:Mvar_{テンプレート:Mvar}⁻¹ は一般には写像にはならず、逆対応の意味である）を記述する問題であると捉えることができる。

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

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

$\ker A=\ker f_A:=x\in V\mid Ax=\mathrm{𝟎}\}$

が テンプレート:Mvar の部分空間を成すということに同じである。特に、解空間の次元は テンプレート:Mvar_{テンプレート:Mvar} の退化次数 nul テンプレート:Mvar_{テンプレート:Mvar} に等しい。このことはさらに、テンプレート:Mvar = nul テンプレート:Mvar_{テンプレート:Mvar} とおくと、方程式の一般解が テンプレート:Mvar 個の一次独立な解（基本解） テンプレート:Mvar₁, テンプレート:Mvar₂, ..., テンプレート:Mvar_{テンプレート:Mvar} と テンプレート:Mvar 個の任意定数（パラメータ）テンプレート:Mvar₁, テンプレート:Mvar₂, ..., テンプレート:Mvar_{テンプレート:Mvar} によって

$c_1{x}_1+c_2{x}_2+\cdots +c_n{x}_n$

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

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

非斉次の線型方程式系が2つの解 テンプレート:Mvar と テンプレート:Mvar を持つとき、差 テンプレート:Mvar − テンプレート:Mvar は 写像 テンプレート:Mvar_{テンプレート:Mvar} の線型性によって テンプレート:Mvar(テンプレート:Mvar − テンプレート:Mvar) = 0 をみたす。したがって、非斉次の線型方程式系の二つの解は随伴する斉次方程式系の解を加える分の違いしか持たない。ゆえに非斉次方程式系の解の一つ（特殊解）と随伴斉次方程式系の一般解により、非斉次方程式のすべての解を記述することができる。つまり、 テンプレート:Mvar₀ が テンプレート:Mvarテンプレート:Mvar = テンプレート:Mvar の特殊解であるならば、非斉次方程式の解の全体は

$x_0+\ker f_A:=x_0+v\in V\mid Av=\mathrm{𝟎}\}$

で与えられる。これは ker テンプレート:Mvar に随伴したアファイン空間であり、やはり方程式系の解空間と呼ばれる。随伴斉次方程式の基本解 テンプレート:Mvar₁, テンプレート:Mvar₂, ..., テンプレート:Mvar_{テンプレート:Mvar} を用いれば

$x_0+c_1{x}_1+c_2{x}_2+\cdots +c_n{x}_n$

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

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

解法

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

$x=A^{-1}b$

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

• ガウスの消去法
• 行列の基本変形

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

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

具体例

テンプレート:Mvar が2次正方行列のとき

$\left[\begin{array}{cc}{a}_{11}& a_{12}\\ a_{21}& a_{22}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\end{array}\right]$

の解は次のようになる。

$a_{11}{a}_{22}-a_{12}{a}_{21}\ne 0$ のとき

$\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\frac{1}{a_{11}{a}_{22}-a_{12}{a}_{21}}\left[\begin{array}{c}{a}_{22}{b}_1-a_{12}{b}_2\\ -a_{21}{b}_1+a_{11}{b}_2\end{array}\right]$

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

$\left[\begin{array}{cc}{a}_{11}& a_{12}\\ k{a}_{11}& k{a}_{12}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\end{array}\right],k=\frac{\overline{a_{11}}{a}_{21}+\overline{a_{12}}{a}_{22}}{|a_{11}{|}^2+|a_{12}{|}^2}$

と書けて、$b_2\ne k{b}_1$のとき解なし。$b_2=k{b}_1$のとき

$\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\frac{b_1}{|a_{11}{|}^2+|a_{12}{|}^2}\left[\begin{array}{c}\overline{a_{11}}\\ \overline{a_{12}}\end{array}\right]+t\left[\begin{array}{c}-a_{12}\\ a_{11}\end{array}\right],(t\in ℂ)$

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

$\left[\begin{array}{cc}0& 0\\ a_{21}& a_{22}\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\left[\begin{array}{c}{b}_1\\ b_2\end{array}\right]$

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

$\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\frac{b_2}{|a_{21}{|}^2+|a_{22}{|}^2}\left[\begin{array}{c}\overline{a_{21}}\\ \overline{a_{22}}\end{array}\right]+t\left[\begin{array}{c}-a_{22}\\ a_{21}\end{array}\right],(t\in ℂ)$

となる。 $|a_{21}{|}^2+|a_{22}{|}^2=0$のとき、$|b_1{|}^2+|b_2{|}^2\ne 0$のとき解なし。 $b_1=b_2=0$のとき

$\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=s\left[\begin{array}{c}1\\ 0\end{array}\right]+t\left[\begin{array}{c}0\\ 1\end{array}\right],(s,t\in ℂ)$

となる。

応用

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

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

関連項目

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

脚注

テンプレート:Linear algebra テンプレート:Authority control