対角化 ― 基底を選んで行列を最も簡単にする

対角化可能の定義と必要十分条件を証明し，対角化の手順を体系的に解説する．A^n の計算法と三角化への拡張も扱う．

2026年2月27日

1 対角化の定義

定義 1 (対角化可能).

n

次正方行列

A

が対角化可能（diagonalizable）であるとは，ある正則行列

P

が存在して

P^{- 1} A P = λ_{1} O ⋱ O λ_{n}

が対角行列になることをいう．

注意 2.

これは「

A

を適切な基底で表現すると対角行列になる」ことと同値である．対角行列の列は固有ベクトルを並べた行列

P

で，対角成分は対応する固有値である．

2 対角化可能条件

定理 3 (対角化可能の必要十分条件).

n

次正方行列

A

が対角化可能であるための必要十分条件は，次のいずれか（すべて同値）：

$A$ が $n$ 個の線形独立な固有ベクトルを持つ
すべての固有値 $λ_{i}$ について，幾何的重複度 $=$ 代数的重複度
固有多項式 $p_{A} (λ)$ が $K$ 上で一次式の積に分解し，かつ各固有値の幾何的重複度が代数的重複度に等しい

証明.

(1 \Leftrightarrow

対角化可能

)

：

P^{- 1} A P = D

⇔

A P = P D

．

P = (v_{1} \dots v_{n})

とすると

A v_{i} = λ_{i} v_{i}

（各

i

）．

P

が正則 ⇔

v_{1}, \dots, v_{n}

が線形独立．

(1 \Leftrightarrow 2)

：異なる固有値の固有空間の直和の次元は各固有空間の次元の和に等しい．全体で

n

になるためには，各固有空間の次元（幾何的重複度）が代数的重複度に等しいことが必要十分． □

例 4 (対角化可能).

A = (41 - 2 1)

の固有多項式：

p_{A} (λ) = λ^{2} - 5 λ + 6 = (λ - 2) (λ - 3)

．

固有値

λ_{1} = 2

，

λ_{2} = 3

．異なる2つの固有値を持つので対角化可能．

λ_{1} = 2

：

v_{1} = (1, 1)^{T}

．

λ_{2} = 3

：

v_{2} = (2, 1)^{T}

．

P = (1121), P^{- 1} A P = (2003)

例 5 (対角化不可能).

A = (2012)

の固有多項式：

p_{A} (λ) = (λ - 2)^{2}

．固有値

λ = 2

（代数的重複度

2

）．

dim V_{2} = 1

（幾何的重複度

1

）．

1 < 2

なので対角化不可能．

3 対角化の手順

$n$ 次正方行列 $A$ を対角化する手順：

固有多項式 $p_{A} (λ) = det (A - λ I)$ を計算する
$p_{A} (λ) = 0$ を解いて固有値 $λ_{1}, \dots, λ_{k}$ と代数的重複度を求める
各固有値 $λ_{i}$ に対して固有空間 $V_{λ_{i}} = ker (A - λ_{i} I)$ の基底を求める
各固有空間の幾何的重複度が代数的重複度に等しいことを確認（等しくなければ対角化不可能）
固有ベクトルを列に並べて $P$ を構成し， $D = P^{- 1} A P$

4 $A^{n}$ の計算

$A$ が対角化可能のとき $A = P D P^{- 1}$ であり

A^{n} = P D^{n} P^{- 1} = P λ_{1}^{n} O ⋱ O λ_{k}^{n} P^{- 1}

例 6.

A = (41 - 2 1)

で

A^{n}

を求める．

P = (1121)

，

P^{- 1} = (- 1 1 2 - 1)

より

A^{n} = (1121) (2^{n} 0 0 3^{n}) (- 1 1 2 - 1) = (- 2^{n} + 2 \cdot 3^{n} - 2^{n} + 3^{n} 2^{n + 1} - 2 \cdot 3^{n} 2^{n + 1} - 3^{n})

5 三角化

定理 7 (Schur の三角化定理).

K = C

のとき，任意の

n

次正方行列

A

はユニタリ行列で三角化できる．すなわち，あるユニタリ行列

U

が存在して

U^{*} A U

が上三角行列になる．

注意 8.

対角化できない行列でも三角化は常に可能である（

K

が代数的閉体の場合）．三角行列の対角成分は固有値であるから，

tr A = \sum λ_{i}

，

det A = \prod λ_{i}

が再確認される．

定理 9.

A

が三角化されて

T = P^{- 1} A P

が上三角行列のとき，

T^{n}

は各対角成分が

λ_{i}^{n}

の上三角行列であるから，

A^{n} = P T^{n} P^{- 1}

は対角化できない行列についても行列のべき乗を計算する一つの方法を与える．

対角化 ― 基底を選んで行列を最も簡単にする

1 対角化の定義

2 対角化可能条件

3 対角化の手順

4 $A^{n}$ の計算

5 三角化

関連する「教科書の行間」記事

あなたの専門知識を世界に発信しよう

Folio公式の他の記事

Folio LaTeXの基本 ― 標準LaTeXとの違いと始め方

カタラン数はなぜどこにでも現れるのか ― 括弧列・二分木・格子経路の不思議な一致

漸化式と母関数 ― 数列を「関数」にすると何が見えるか

包除原理はなぜ「足して引いて」を繰り返すのか ― ベン図からメビウス関数へ

1 対角化の定義

2 対角化可能条件

3 対角化の手順

4 Anの計算

5 三角化

関連する「教科書の行間」記事

あなたの専門知識を世界に発信しよう

Folio公式の他の記事

Folio LaTeXの基本 ― 標準LaTeXとの違いと始め方

カタラン数はなぜどこにでも現れるのか ― 括弧列・二分木・格子経路の不思議な一致

漸化式と母関数 ― 数列を「関数」にすると何が見えるか

包除原理はなぜ「足して引いて」を繰り返すのか ― ベン図からメビウス関数へ

4 $A^{n}$ の計算