markdown
Calculation rules for the determinantmd d6f7b35
lecture/math/linear-algebra/determinant-computation-rules.lecture.n.md
Download PDF

Calculation rules for the determinant行列式ぎょうれつしき

date2026-07-14document_iddoc_2d05fd229053bef87a3ff31380604d15description行列式を計算するための基本規則を、置換定義から得た多重線型性・交代性と、行基本変形・列基本変形への影響から整理する講義である。prerequisites正方行列 / 置換による行列式の定義 / 行基本変形 / 列基本変形 / 行列の基本演算type講義content_typelecturestatusactiverelateddata/lecture/math/linear-algebra/determinants.lecture.n.md / data/lecture/math/linear-algebra/determinants-by-permutations.lecture.n.md / data/lecture/math/linear-algebra/elementary-row-operations.lecture.n.md / data/lecture/math/linear-algebra/elementary-column-operations.lecture.n.md / data/lecture/math/linear-algebra/cofactor-expansion-and-invertibility.lecture.n.md / data/lecture/math/linear-algebra/inverse-matrix-basics.lecture.n.md / data/exercise/math/linear-algebra/determinants-and-invertibility.exercise.n.md
mathlinear-algebraundergraduatelecture

1Introduction

The determinant行列式ぎょうれつしき is defined for square matrices正方行列せいほうぎょうれつ and detects invertibility可逆性かぎゃくせい and oriented volume scaling体積の伸縮率. For computation, the key is to track how elementary row operations行基本変形ぎょうきほんへんけい and elementary column operations列基本変形れつきほんへんけい change the determinant行列式ぎょうれつしき.

2Terms and definition

The determinant行列式ぎょうれつしき is a number detA associated with a square matrix正方行列せいほうぎょうれつ A. For a 2×2 matrix行列ぎょうれつ,

det(abcd)=ad-bc.

For the general n×n definition, the permutation formula chooses one entry from each row and one entry from each column. The calculation rules below are consequences of multilinearity and alternation.

data/lecture/math/linear-algebra/determinants-by-permutations.lecture.n.md

3Strategy

For a 2×2 matrix, compute the difference of diagonal products. For 3×3 and larger matrices, choose cofactor expansion, elementary row operations行基本変形ぎょうきほんへんけい, or elementary column operations列基本変形れつきほんへんけい according to which method creates zeros most easily.

data/lecture/math/linear-algebra/elementary-row-operations.lecture.n.md data/lecture/math/linear-algebra/elementary-column-operations.lecture.n.md

4Intuitive explanation

The determinant行列式ぎょうれつしき measures how much a matrix stretches area or volume. If the value is zero, area or volume collapses to zero, information is lost, and an inverse matrix逆行列ぎゃくぎょうれつ does not exist.

5Rigorous explanation

For

A=(abcd),

we have detA=ad-bc. For 3×3 matrices, cofactor expansion reduces the computation to 2×2 determinants.

The effects of row and column operations are as follows.

OperationEffect on the determinant行列式ぎょうれつしき
Swap two rows or two columnsThe sign changes
Multiply one row or one column by cThe determinant is multiplied by c
Add a multiple of one row or column to anotherThe determinant does not change

5.1Why column operations obey the same rules

View the determinant as a function of its columns:

D(C1,[PARSE ERROR: Undefined("Command(\"dots\")")],Cn)=det[C1Cn].

The determinant is linear in each column and becomes zero when two columns are equal. Therefore,

D(C1,[PARSE ERROR: Undefined("Command(\"dots\")")],λCi,[PARSE ERROR: Undefined("Command(\"dots\")")],Cn)=λD(C1,[PARSE ERROR: Undefined("Command(\"dots\")")],Ci,[PARSE ERROR: Undefined("Command(\"dots\")")],Cn),

and

\begin{aligned} D(C_1,\dots,C_i+\lambda C_j,\dots,C_j,\dots,C_n) &=D(C_1,\dots,C_i,\dots,C_j,\dots,C_n)\\ &\quad+\lambda D(C_1,\dots,C_j,\dots,C_j,\dots,C_n). \end{aligned}

The second term is zero because two columns are equal, so column addition does not change the determinant. Swapping two columns reverses orientation, and algebraically follows from alternation.

6Worked examples

det(2153)=2·3-1·5=1.

Therefore this matrix行列ぎょうれつ is invertible可逆かぎゃく.

Also,

det(1236)=6-6=0.

The second row is three times the first row, so the rows are linearly dependent一次従属いちじじゅうぞく and area collapses to zero.

6.1Checking by elementary column operations

Let

A=(abcd).

If the columns are swapped, then

A=(badc),

so

detA=bc-ad=-(ad-bc)=-detA.

If the first column is multiplied by λ, then

A=(λabλcd),

and

detA=(λa)d-b(λc)=λ(ad-bc)=λdetA.

If λ times the first column is added to the second column, then

A=(ab+λacd+λc),

and

\begin{aligned} \det A' &= a(d+\lambda c)-c(b+\lambda a)\\ &= ad+\lambda ac-bc-\lambda ac\\ &= ad-bc\\ &= \det A. \end{aligned}

7Common misunderstandings

  • The determinant行列式ぎょうれつしき is not defined for arbitrary rectangular matrices; it belongs to square matrices正方行列せいほうぎょうれつ.
  • The determinant is not merely a formula; it records invertibility and volume scaling.
  • If changes to the determinant during row operations are not recorded, the final value will be wrong.
  • Column operations can compute determinants, but they do not directly preserve the solution set of a system of linear equations連立一次方程式れんりついちじほうていしき.

8Scope

Here the focus is on calculation rules. For a general n×n matrix, the determinant行列式ぎょうれつしき is characterized by multilinearity in rows or columns, alternation交代性こうたいせい, and detI=1.

9Final forms

[PARSE ERROR: Undefined("Command(\"boxed\")")]det(abcd)=ad-bc
[PARSE ERROR: Undefined("Command(\"boxed\")")]roworcolumnadditionleavesdetAunchanged
[PARSE ERROR: Undefined("Command(\"boxed\")")]detA0Aisinvertible

10Theorem and proof: why column addition does not change the determinant行列式ぎょうれつしき

The determinant is linear in each column and becomes zero when two columns are equal. These two facts imply that

CiCi+λCj(ij)

does not change the determinant.

Proof. Write D(C1,,Cn)=det[C1Cn]. Linearity in the i-th column gives

D(,Ci+λCj,,Cj,)=D(,Ci,,Cj,)+λD(,Cj,,Cj,).

The second term is zero because two columns are equal. Therefore the determinant is unchanged. This proof derives the calculation rule from multilinearity rather than treating it as a memorized trick.

11Exercise links

data/exercise/math/linear-algebra/determinants-and-invertibility.exercise.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
タブを全て閉じる