Für einen linearen Endomorphismus eines endlichdimensionalen Vektorraums (oder einen spurklassigen Operator in analytischen Kontexten) ist die Spur der Skalar, der als Summe der Diagonaleinträge jeder Matrix, die den Endomorphismus in einer Basis darstellt, gegeben ist; sie ist unter Ähnlichkeit invariant und gleich der Summe der Eigenwerte mit algebraischer Vielfachheit.

Prinzip

Die Spur ist ein linearer Funktional tr: End(V) → k mit der zyklischen Eigenschaft tr(AB) = tr(BA), basisunabhängig, und stellt in endlichen Dimensionen eine nichtentartete Paarung zwischen Endomorphismen und Formen dar; sie verhält sich funktoriell hinsichtlich direkten Summen und Tensorprodukten nach üblichen Regeln.

Demonstration

Für die 2×2-Matrix [[a,b],[c,d]] ist die Spur a + d; die Spur der Identität auf einem n-dimensionalen Vektorraum ist n; nilpotente Matrizen haben Spur null, und die Spur einer Projektion stimmt mit dem Rang der Projektion überein, wenn diese diagonalisi erbar mit Eigenwerten 0 und 1 ist.

Fehlanwendung

Zu behaupten, Spur null impliziere Nilpotenz (allgemein falsch), die Summe der Diagonaleinträge unreflektiert zu verwenden ohne Basisunabhängigkeit zu prüfen, oder endliche Spuridentitäten auf Operatoren anzuwenden, die in unendlichdimensionalen Hilberträumen nicht spurklassig sind.

Konsequenz

Die Spur liefert Charaktere von Darstellungen, lineare Invarianten zur Unterscheidung von Konjugationsklassen und Koeffizienten charakteristischer Polynome (die Spur ist bis auf Vorzeichen der Koeffizient von Grad n−1); analytisch erweitert tritt sie in Indexsätzen und geometrischen Invarianten auf.

Umkehrung

Die Determinante ist das multiplikative Gegenstück: während die Spur Eigenwerte aufsummiert, multipliziert die Determinante sie; die Fokussierung auf die Determinante betont Volumenverhalten und multiplikative Invarianten statt additiver Zusammenfassungen.

Abgrenzung

Die übliche Spur ist für Endomorphismen endlichdimensionaler Vektorräume und für spurklassige Operatoren in der Analyse definiert; über nichtkommutativen Ringen oder für allgemeine linear Operatoren unendlichen Rangs existiert eine naive Diagonalsumme möglicherweise nicht oder ist nicht invariant, Erweiterungen erfordern Vorsicht (Hattori–Stallings-Spur, von-Neumann-Spur usw.).

Semantische Spannung

Die Spur konkurriert mit verwandten Konzepten: Matrizenspur (elementar), kategoriale Spur (abstrakte Dualität) und Operator-Traces (analytische Regularität); es muss klar sein, ob der Kontext algebraisch, kategorisch oder analytisch ist, um Definitions- und Existenzverwechslungen zu vermeiden.

Synthese

Die Spur gewinnt das kanonische additive Invariant eines Endomorphismus — die Summe der Eigenwerte oder Diagonaleinträge, invariant unter Ähnlichkeit — und liefert eine lineare Abbildung von Endomorphismen in Skalare, die Charaktere, Polynomkoeffizienten und viele Indextyp-Formeln untermauert.