markdown
逆行列の計算手順md e91ced5
lecture/math/linear-algebra/computing-inverse-matrices.lecture.n.md
Download PDF

逆行列ぎゃくぎょうれつinverse matrix計算手順けいさんてじゅん

date2026-07-14document_iddoc_e94951a4026c5a7c233a09b03d3d38f9description逆行列を掃き出し法で計算する手順を、拡大行列 (A|I) から (I|A^{-1}) へ変形する操作として説明する講義である。prerequisites行基本変形 / 単位行列 / 行列の積type講義content_typelecturestatusactiverelateddata/lecture/math/linear-algebra/inverse-matrix-basics.lecture.n.md / data/lecture/math/linear-algebra/elementary-row-operations.lecture.n.md / data/lecture/math/linear-algebra/row-echelon-and-reduced-row-echelon-forms.lecture.n.md / data/lecture/math/linear-algebra/determinant-computation-rules.lecture.n.md / data/exercise/math/linear-algebra/elementary-operations-and-linear-systems.exercise.n.md
mathlinear-algebraundergraduatelecture

Procedure for computing an inverse matrix逆行列ぎゃくぎょうれつ

1導入どうにゅう

この講義こうぎ重要じゅうようなのは、逆行列ぎゃくぎょうれつinverse matrix計算けいさんは、A単位行列たんいぎょうれつidentity matrix変形へんけいする行基本変形ぎょうきほんへんけいelementary row operationを、右側みぎがわI にも同時どうじ作用さようさせる操作そうさoperationであるということである。

逆行列ぎゃくぎょうれつinverse matrix公式こうしきだけで処理しょりすると、なぜしでもとまるのかが不明瞭ふめいりょうになる。左側ひだりがわI変形へんけいする操作そうさoperation合成ごうせいが、まさに A-1 である。

1Introduction

The standard computation of A-1 uses row reduction on the augmented matrix拡大行列かくだいぎょうれつ [AI]. Row operations record reversible changes to the equations, and when the left side becomes I, the right side has become A-1.

2用語ようご定義ていぎ

A正方行列せいほうぎょうれつsquare matrixとする。AA-1=A-1A=Iたす行列ぎょうれつmatrix A-1逆行列ぎゃくぎょうれつinverse matrixという。

計算けいさんでは拡大行列かくだいぎょうれつaugmented matrix

(AI)

つくり、行基本変形ぎょうきほんへんけいelementary row operation

(AI)(IA-1)

目指めざす。

3方針ほうしん

AI変形へんけいできるかを確認かくにんする。できる場合ばあいおな行基本変形ぎょうきほんへんけいelementary row operationI適用てきようした結果けっかA-1 になる。できない場合ばあいA可逆かぎゃくinvertibleでない。

data/lecture/math/linear-algebra/inverse-matrix-basics.lecture.n.md

4直感的ちょっかんてき説明せつめい

行基本変形ぎょうきほんへんけいelementary row operationひだりから可逆行列かぎゃくぎょうれつinvertible matrixける操作そうさoperation対応たいおうする。いくつかの行基本変形ぎょうきほんへんけいelementary row operation合成ごうせいして AI になるなら、その合成操作ごうせいそうさE として

EA=I

である。したがって E=A-1 である。右側みぎがわIおな操作そうさoperation適用てきようすると Eあらわれるため、右側みぎがわA-1られる。

5厳密げんみつ説明せつめい

A正方行列せいほうぎょうれつsquare matrixとする。拡大行列かくだいぎょうれつaugmented matrix

\left(\begin{array}{c|c} A&I \end{array}\right)

行基本変形ぎょうきほんへんけいelementary row operationほどこすことは、ひだりから可逆行列かぎゃくぎょうれつinvertible matrixけることに対応たいおうする。行基本変形ぎょうきほんへんけいelementary row operation合成ごうせいした行列ぎょうれつmatrixE とすると、

\left(\begin{array}{c|c} A&I \end{array}\right) \longmapsto \left(\begin{array}{c|c} EA&E \end{array}\right)

である。もし左側ひだりがわ単位行列たんいぎょうれつidentity matrixにできるなら、

EA=I

である。したがって EA左逆行列ひだりぎゃくぎょうれつである。正方行列せいほうぎょうれつsquare matrixでは、左逆行列ひだりぎゃくぎょうれつ存在そんざいすれば可逆かぎゃくinvertibleであり、E=A-1 になる。よって

\left(\begin{array}{c|c} A&I \end{array}\right) \longmapsto \left(\begin{array}{c|c} I&A^{-1} \end{array}\right)

正当化せいとうかされる。

この議論ぎろん使つかっている事実じじつは、行基本変形ぎょうきほんへんけいelementary row operationひだりから可逆行列かぎゃくぎょうれつinvertible matrixける操作そうさoperationであることと、単位行列たんいぎょうれつidentity matrix合成ごうせいしてもなにえない基準きじゅんであることである。

data/lecture/math/linear-algebra/elementary-row-operations.lecture.n.md data/lecture/math/linear-algebra/identity-zero-and-transpose-matrices.lecture.n.md

2Terms and definitions

Let A be a square matrix正方行列せいほうぎょうれつ. A matrix A-1 satisfying

AA-1=A-1A=I

is called the inverse matrix逆行列ぎゃくぎょうれつ of A.

For computation, form the augmented matrix拡大行列かくだいぎょうれつ

(AI)

and aim, by elementary row operations行基本変形ぎょうきほんへんけい, for

(AI)(IA-1).

3Strategy

Check whether A can be transformed into I. If it can, applying the same row operations to the right block I gives A-1. If it cannot, then A is not invertible可逆かぎゃく.

data/lecture/math/linear-algebra/inverse-matrix-basics.lecture.n.md

4Intuitive explanation

An elementary row operation行基本変形ぎょうきほんへんけい corresponds to multiplying by an invertible matrix可逆行列かぎゃくぎょうれつ on the left. If the combined row operation is E and it changes A into I, then

EA=I.

Therefore E=A-1. Applying the same operations to the right-side I reveals E, so the right block becomes A-1.

5Precise explanation

Applying row operations to

\left(\begin{array}{c|c} A&I \end{array}\right)

is the same as multiplying on the left by an invertible matrix. If the product of the elementary matrices is E, then

\left(\begin{array}{c|c} A&I \end{array}\right) \longmapsto \left(\begin{array}{c|c} EA&E \end{array}\right).

If the left block becomes I, then EA=I. For square matrices, the existence of a left inverse implies invertibility, and E=A-1. Hence

\left(\begin{array}{c|c} A&I \end{array}\right) \longmapsto \left(\begin{array}{c|c} I&A^{-1} \end{array}\right).

The key facts are that elementary row operations are invertible left multiplications and that the identity matrix is the neutral element for composition.

data/lecture/math/linear-algebra/elementary-row-operations.lecture.n.md data/lecture/math/linear-algebra/identity-zero-and-transpose-matrices.lecture.n.md

6手順てじゅん成立せいりつする理由りゆう

かく行基本変形ぎょうきほんへんけいelementary row operationは、ひだりから可逆かぎゃくinvertible基本行列きほんぎょうれつけることに対応たいおうする。行操作ぎょうそうさ合成ごうせいE とすると、

E[AI]=[EAE]

である。EA=I になったとき、E=A-1 である。したがって右側みぎがわのブロックがまさ逆行列ぎゃくぎょうれつinverse matrixになる。

7具体例ぐたいれい

A=(1237)

とする。拡大行列かくだいぎょうれつaugmented matrix

\left(\begin{array}{cc|cc} 1&2&1&0\\ 3&7&0&1 \end{array}\right)

とする。第二行だいにぎょうから第一行だいいちぎょうの 3 ばいくと

\left(\begin{array}{cc|cc} 1&2&1&0\\ 0&1&-3&1 \end{array}\right)

である。さらに第一行だいいちぎょうから第二行だいにぎょうの 2 ばいくと

\left(\begin{array}{cc|cc} 1&0&7&-2\\ 0&1&-3&1 \end{array}\right)

となる。したがって

A-1=(7-2-31)

である。

6Why the procedure works

Each row operation is left multiplication by an invertible可逆かぎゃく elementary matrix. If the combined product of all row-operation matrices is E, then

E[AI]=[EAE].

When EA=I, we have E=A-1. Thus the right block is exactly the inverse.

7Worked example

Let

A=(1237).

Start with the augmented matrix拡大行列かくだいぎょうれつ

\left(\begin{array}{cc|cc} 1&2&1&0\\ 3&7&0&1 \end{array}\right).

Subtract three times the first row from the second row:

\left(\begin{array}{cc|cc} 1&2&1&0\\ 0&1&-3&1 \end{array}\right).

Then subtract two times the second row from the first row:

\left(\begin{array}{cc|cc} 1&0&7&-2\\ 0&1&-3&1 \end{array}\right).

Therefore

A-1=(7-2-31).

8失敗しっぱい確認かくにん

左側ひだりがわ単位行列たんいぎょうれつidentity matrixになるまえ零行ぜろぎょうあらわれるなら、Aれつcolumn一次従属いちじじゅうぞくlinear dependenceであり、A可逆かぎゃくinvertibleでない。その場合ばあい拡大行列かくだいぎょうれつ計算けいさんは「逆行列ぎゃくぎょうれつinverse matrix存在そんざいしない」という結論けつろんまる。

9よくある誤解ごかい

  • 逆行列ぎゃくぎょうれつinverse matrix正方行列せいほうぎょうれつsquare matrixたいする両側逆りょうがわぎゃくである。長方行列ちょうほうぎょうれつではおな意味いみ逆行列ぎゃくぎょうれつinverse matrix存在そんざいしない。
  • 左側ひだりがわだけを操作そうさoperationしてはならない。右側みぎがわI にも同一どういつ行基本変形ぎょうきほんへんけいelementary row operation適用てきようする。
  • 途中とちゅうで pivot が確保かくほできない場合ばあい逆行列ぎゃくぎょうれつinverse matrix存在そんざいしない。

8Failure check

If a row of zeros appears on the left before the identity can be formed, the columns of A are dependent and A is not invertible可逆かぎゃく. In that case the augmented computation must stop with the conclusion that no inverse exists.

9Common misunderstandings

  • Row operations must be applied to both blocks of [AI].
  • The right block is not the inverse until the left block is exactly I.
  • Column operations are not the standard inverse algorithm unless variable changes are also tracked.

10どこまで成立せいりつするか

この手順てじゅん正方行列せいほうぎょうれつsquare matrixたいする逆行列ぎゃくぎょうれつinverse matrix計算けいさんである。階数落かいすうおちの行列ぎょうれつmatrix長方行列ちょうほうぎょうれつでは、擬似逆行列ぎじぎゃくぎょうれつpseudoinverse matrix最小二乗法さいしょうにじょうほうleast squares methodもちいる。

11最終形さいしゅうけい

[PARSE ERROR: Undefined("Command(\"boxed\")")](AI)(IA-1)
[PARSE ERROR: Undefined("Command(\"boxed\")")]左側をIにできないならA-1は存在しない

10Scope

This procedure computes the inverse matrix of a square matrix正方行列せいほうぎょうれつ. For rank-deficient matrices or rectangular matrices, one uses the pseudoinverse matrix擬似逆行列ぎじぎゃくぎょうれつ or the least squares method最小二乗法さいしょうにじょうほう instead.

11Final forms

[PARSE ERROR: Undefined("Command(\"boxed\")")][AI][IA-1]
[PARSE ERROR: Undefined("Command(\"boxed\")")]TheleftblockmustreducetoI.
[PARSE ERROR: Undefined("Command(\"boxed\")")]IftheleftblockfailstobecomeI,noinverseexists[PARSE ERROR: Undefined("RBrace")]
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる