Der Prozess, eine Basis zu finden, in der ein linearer Operator oder eine Matrix durch eine Diagonalmatrix dargestellt wird; äquivalent zur Existenz einer vollständigen Menge von Eigenvektoren, so dass der Operator auf jeden Basisvektor skalar wirkt.

Prinzip

Ein linearer Operator ist über einem Körper diagonalisierbar genau dann, wenn der Vektorraum eine Basis aus Eigenvektoren besitzt; algebraisch entspricht dies häufig dem Faktorisieren des Minimal- oder Charakteristischen Polynoms in Linearfaktoren mit geometrischen Vielfachheiten, die den algebraischen Vielfachheiten entsprechen, wobei der Grundkörper entscheidend ist.

Demonstration

Die Matrix [[2,0],[0,3]] ist bereits diagonal und damit diagonalisierbar mit Eigenwerten 2 und 3. Der Jordan-Block [[1,1],[0,1]] ist über keinem Körper diagonalisierbar, da es an zwei unabhängigen Eigenvektoren fehlt. Eine reelle symmetrische Matrix ist mittels orthogonaler Basiswechsel diagonalisierbar.

Fehlanwendung

Zu glauben, eine Matrix sei über R diagonalisierbar, obwohl ihre Eigenwerte komplex sind, oder Diagonalisierbarkeit mit Symmetrie zu verwechseln: Symmetrie impliziert Diagonalisierbarkeit (über R), aber Diagonalisierbarkeit impliziert nicht Symmetrie; Defekte in Vielfachheiten als unproblematisch zu behandeln ist fehlerhaft.

Konsequenz

Ist ein Operator diagonalisierbar, vereinfachen sich viele Aufgaben: Potenzen und Exponentiale der Matrix berechnen sich durch skalare Operationen auf den Eigenwerten; Systeme entkoppeln sich in unabhängige skalare Gleichungen; spektrale Zerlegungen klären Dynamik und Stabilität.

Umkehrung

Fehlt die Diagonalisierbarkeit, führt dies zur Jordan-Normalform oder zu anderen kanonischen Dreiecksformen; Triangulierung ist eine schwächere Normalform, die über algebraisch abgeschlossenen Körpern stets existiert, aber Kopplungen zwischen verallgemeinerten Eigenräumen beibehält.

Abgrenzung

Diagonalisierbarkeit hängt vom Grundkörper und von der Existenz einer vollständigen Eigenbasis ab; Vielfachheitsdefekte, inseparable Polynome in positiver Charakteristik und nicht algebraisch abgeschlossene Körper können Diagonalisierbarkeit verhindern. Selbst wenn sie existiert, ist die diagonale Form bis auf Permutation der Diagonaleinträge und Skalierung der Eigenvektoren bestimmt.

Semantische Spannung

Spannung zwischen algebraischer Diagonalisierbarkeit und spektraler Zerlegung mit Orthogonalitäts- oder Unitärstruktur: normale oder symmetrische Operatoren besitzen orthonormale Eigenbasen und damit stärkere Aussagen; allgemeine Diagonalisierbarkeit kann nichtorthogonale Basen erfordern.

Synthese

Diagonalisierung findet ein Koordinatensystem aus Eigenvektoren, in dem ein linearer Operator durch einfache skalare Aktionen dargestellt wird und damit die Analyse stark vereinfacht; ist dies nicht möglich, offenbaren Jordan- oder Dreiecksformen die verbleibenden Kopplungen der verallgemeinerten Eigenvektoren.