markdown
Determinantmd aab2f21
lecture/math/linear-algebra/determinants.lecture.n.md
Download PDF

1Introduction

The determinant行列式ぎょうれつしき is a number attached to a square matrix正方行列せいほうぎょうれつ. It measures the oriented scale factor of area or volume and detects whether a square linear map線型写像せんけいしゃぞう is invertible可逆かぎゃく.

2Terms and definitions

For a 2×2 matrix,

A=(abcd),

the determinant行列式ぎょうれつしき is

detA=ad-bc.

For an n×n matrix, the determinant行列式ぎょうれつしき is characterized by multilinearity in rows or columns, alternation when two rows or columns coincide, and detI=1.

3Plan

In dimension 2, we introduce the determinant行列式ぎょうれつしき from the area of a parallelogram, and then connect it to systems of linear equations連立一次方程式れんりついちじほうていしき and inverse matrices逆行列ぎゃくぎょうれつ. In higher dimensions, we characterize it by the defining principles of multilinearity多重線型性たじゅうせんけいせい, alternation, and normalization.

4Intuitive explanation

Putting two column vectorsれつベクトル side by side determines a parallelogram. The absolute value of the determinant行列式ぎょうれつしき is its area. More generally, in R2, |detA| is the area scale factor under the linear map線型写像せんけいしゃぞう xAx. In R3, it is the volume scale factor. The sign records orientation: a negative determinant行列式ぎょうれつしき reverses orientation, while a positive determinant行列式ぎょうれつしき preserves it.

Therefore, detA=0 means that area or volume collapses to zero. In dimension 2, the two columnsれつ collapse onto a single line. Some direction has been lost, so the map cannot be inverted.

5Worked examples

For

A=(2111),

we have

detA=2·1-1·1=1.

This can be read as preserving area scale by a factor of 1 while changing the shape of the unit square.

For

B=(1224),

we have

detB=1·4-2·2=0.

The columns are proportional, so the plane collapses to a line and the transformation cannot be inverted.

6Precise explanation

6.11. The 2 by 2 formula

For

A=(abcd),

we have

detA=ad-bc.

6.22. Why zero is special

If detA0, then A-1 exists and

A-1=1ad-bc(d-b-ca).

Thus when detA=0, the denominator is zero and the inverse matrix cannot be constructed.

6.33. Concrete examples

For

A=(2111),
detA=2·1-1·1=1.

This can be interpreted as preserving area while changing shape. On the other hand,

B=(1224)

has

detB=1·4-2·2=0.

Its columns are proportional, so the plane is collapsed onto a line.

7High-dimensional definition principle

For a general n×n matrix, the determinant行列式ぎょうれつしき is not merely a formal extension of the 2×2 formula ad-bc. It is the unique function of the columns that satisfies three principles: multilinearity in each column, alternation when two columns are equal or exchanged, and normalization by detI=1.

Equivalently,

detA=σSnsgn(σ)a1σ(1)a2σ(2)anσ(n).

Here Sn is the set of all permutations of {1,,n}, and sgn(σ) is the sign of the permutation. This formula encodes both multilinearity and alternation. The details are developed in the permutation-definition lecture.

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

8Another viewpoint

Geometrically, the determinant行列式ぎょうれつしき is the area or volume scale factor. Algebraically, it is the existence criterion for an inverse matrix逆行列ぎゃくぎょうれつ. From the viewpoint of systems of linear equations, it tests whether a solution is determined uniquely.

9Criteria

  • Use the determinant行列式ぎょうれつしき when invertibility, a unique solution of a square system, or area and volume scaling is at issue.
  • The determinant行列式ぎょうれつしき is also useful as a numerical test for whether the column vectors of a square matrix正方行列せいほうぎょうれつ are independent.

10Scope and limitations

In dimensions 2 and 3, formulas can be written directly. In higher dimensions, permutations or cofactor expansion provide definitions and computations. The essential meaning remains the same: determinant行列式ぎょうれつしき measures volume scaling and detects invertibility.

11Theorem preview: determinant行列式ぎょうれつしき and invertibility

For an n×n matrix A,

AisinvertibledetA0.

At this point, read this as a theorem to be proved in the following lectures. Row reduction proves it after determinant changes under elementary operations have been established. Cofactors prove it by constructing

A-1=1detAadj(A)

when detA0.

data/lecture/math/linear-algebra/determinant-computation-rules.lecture.n.md data/lecture/math/linear-algebra/cofactor-expansion-and-invertibility.lecture.n.md

12Common misunderstandings

  • Determinants are defined for square matrices, not arbitrary rectangular matrices.
  • The determinant行列式ぎょうれつしき is not just a formula; it records invertibility and volume scaling.
  • A zero determinant行列式ぎょうれつしき is structural information, not a calculation failure.

13Final forms

[PARSE ERROR: Undefined("Command(\"boxed\")")]det(abcd)=ad-bc
[PARSE ERROR: Undefined("Command(\"boxed\")")]AisinvertibledetA0
[PARSE ERROR: Undefined("Command(\"boxed\")")]|detA|=areaorvolumescalefactor
[PARSE ERROR: Undefined("Command(\"boxed\")")]detischaracterizedbymultilinearityalternation,anddetI=1[PARSE ERROR: Undefined("RBrace")]

14In one sentence

  • The determinant行列式ぎょうれつしき is a number that expresses how much a transformation collapses or stretches space.
  • When it becomes 0, the transformation cannot be reversed.

15Exercise 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
タブを全て閉じる