markdown
Basics of the inverse matrixmd c5a3810
lecture/math/linear-algebra/inverse-matrix-basics.lecture.n.md
Download PDF

Basics of the inverse matrix逆行列ぎゃくぎょうれつ

date2026-07-02document_iddoc_5f05a5a551e370672790903b94eee043description逆行列を、線型写像を一意に復元できる条件として導入し、階数・核・行列式・連立一次方程式との同値条件を整理する講義である。prerequisites連立一次方程式と掃き出し法 / 線型写像と行列 / 行列の積type講義content_typelecturestatusactiverelateddata/lecture/math/linear-algebra/linear-algebra-portal.lecture.n.md / data/lecture/math/linear-algebra/linear-systems-and-gaussian-elimination.lecture.n.md / data/lecture/math/linear-algebra/rank-basics.lecture.n.md / data/lecture/math/linear-algebra/rank-and-nullity-of-linear-maps.lecture.n.md / data/lecture/math/linear-algebra/determinants.lecture.n.md / data/lecture/math/linear-algebra/pseudoinverse-basics.lecture.n.md / data/exercise/math/linear-algebra/determinants-and-invertibility.exercise.n.md
mathlinear-algebraundergraduatelecture

1Introduction

The most important point in this lecture is that an inverse matrix逆行列ぎゃくぎょうれつ is not merely a formula to memorize. It should be understood as the question of whether the map represented by a matrix can be recovered.

If a matrix行列ぎょうれつ A sends an input to an output, then A-1 recovers the original input uniquely from that output. When information is lost, no inverse matrix exists.

2Terms and definitions

An inverse matrix逆行列ぎゃくぎょうれつ of a square matrix正方行列せいほうぎょうれつ A is a matrix satisfying

AA-1=A-1A=I.

The essential point is that it is a two-sided inverse: multiplication from both the left and the right gives the identity matrix単位行列たんいぎょうれつ. The identity matrix is the matrix I that changes nothing when multiplied.

3Strategy

First interpret an inverse matrix逆行列ぎゃくぎょうれつ as the map that recovers the input from the output. Then check that the process of using Gaussian elimination to transform A into I is exactly the process that constructs A-1.

4Intuitive explanation

A pure expansion can be reversed by shrinking, and a pure rotation can be reversed by rotating in the opposite direction. But a map that collapses a plane onto a single line loses information, so it cannot be recovered. This is the situation in which no inverse matrix逆行列ぎゃくぎょうれつ exists.

5Rigorous explanation

5.11. Definition

Let A be an n×n square matrix正方行列せいほうぎょうれつ. If A-1 exists, then

AA-1=I,A-1A=I.

For a rectangular matrix, the left and right sizes do not match, so an inverse matrix in this two-sided sense is not defined.

5.22. Computing by elimination

Form (AI) and use elimination to turn the left side into I. Then the right side becomes A-1.

5.33. When no inverse exists

If a pivot cannot be secured during elimination and the rank階数かいすう is deficient, then no inverse matrix逆行列ぎゃくぎょうれつ exists.

5.44. Equivalent criteria

For an n×n matrix A, the following conditions are equivalent.

The determinant criterion is a preview of the later determinant lectures. The main criteria used in this page are elimination, rank, kernel, and uniqueness of solutions.

  1. A-1 exists.
  2. rank(A)=n.
  3. ker(A)={0}.
  4. A:KnKn is injective and surjective.
  5. For every bKn, Ax=b has a unique solution.
  6. detA0 (the determinant criterion introduced later).
  7. Elimination has a pivot in every column.

This list shows that an inverse matrix is the intersection of several tests saying that no information is lost. The condition ker(A)={0} means different inputs do not collapse to the same output, so any existing solution of Ax=b is unique. In finite dimension, rank-nullity then gives rank(A)=n, so the image is all of Kn and a solution exists for every b. Sending b to that unique solution defines A-1.

data/lecture/math/linear-algebra/rank-and-nullity-of-linear-maps.lecture.n.md

5.55. One-sided inverses for rectangular matrices

If A is an m×n matrix, one-sided inverses can be considered instead. A left inverse L satisfies LA=In and exists when rank(A)=n. A right inverse R satisfies AR=Im and exists when rank(A)=m.

One-sided inverses need not be unique. When columns or rows are missing, a criterion is needed to choose a least-squares solution or a minimum-norm solution. The pseudoinverse擬似逆行列ぎじぎゃくぎょうれつ provides that standard criterion.

The pseudoinverse is a later advanced topic. At this point, the important distinction is that rectangular matrices do not have the same two-sided inverse as square matrices.

data/lecture/math/linear-algebra/pseudoinverse-basics.lecture.n.md

6Decision criteria

  • Use an inverse matrix逆行列ぎゃくぎょうれつ when you want to recover a map or solve Ax=b all at once.
  • The existence test is whether elimination can turn the left side into I.
  • detA0, rank(A)=n, and ker(A)={0} are the same invertibility condition read from different angles.
  • Kernel, rank, unique solutions for every right-hand side, and the existence of an inverse map all express that no information is lost.

7Final forms

[PARSE ERROR: Undefined("Command(\"boxed\")")]AA-1=A-1A=I
[PARSE ERROR: Undefined("Command(\"boxed\")")](AI)(IA-1)
[PARSE ERROR: Undefined("Command(\"boxed\")")]Aisinvertiblerank(A)=nker(A)={0}detA0
[PARSE ERROR: Undefined("Command(\"boxed\")")]Forrectangularmatricesdistinguishone-sidedinversesandthepseudoinverse.[PARSE ERROR: Undefined("RBrace")]

Determinants and pseudoinverses are developed later. The direct criteria in this page are elimination, rank, kernel, and unique solvability.

8Theorem and proof: the inverse is unique

Let B and C both be inverses of a square matrix A. That is,

AB=BA=I,AC=CA=I.

Then B=C. The proof is

B=BI=B(AC)=(BA)C=IC=C.

This uses associativity of matrix multiplication. The proof shows not only that an inverse may or may not exist, but also that if it exists, it is determined uniquely.

9Exercise links

data/exercise/math/linear-algebra/determinants-and-invertibility.exercise.n.md

10In one sentence

  • An inverse matrix逆行列ぎゃくぎょうれつ exists exactly when the transformation represented by the matrix can be recovered.

11Related links

data/lecture/math/linear-algebra/rank-basics.lecture.n.md data/lecture/math/linear-algebra/rank-and-nullity-of-linear-maps.lecture.n.md data/lecture/math/linear-algebra/determinants.lecture.n.md data/lecture/math/linear-algebra/pseudoinverse-basics.lecture.n.md
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
タブを全て閉じる