Ein algorithmisches Verfahren, das eine endliche linear unabhängige Menge in einem Skalarproduktraum durch sukzessive orthogonale Projektion und Normierung in eine orthonormale Menge umwandelt, die denselben Unterraum aufspannt.

Prinzip

In jedem Schritt die Projektion des aktuellen Vektors auf den Spann der bereits konstruierten orthonormalen Vektoren abziehen, um Orthogonalität zu erzwingen, und dann auf Einheitsnorm skalieren.

Demonstration

Beginnt man mit zwei unabhängigen Vektoren in R^2, so ergibt das Abziehen der Projektion des zweiten auf den ersten und die anschließende Normierung ein orthonormales Paar, das mit dem ursprünglichen Spann übereinstimmt.

Fehlanwendung

Die klassische Variante in endlicher Rechenpräzision ohne Reorthogonalisierung auf nahezu linear abhängigen Eingaben anzuwenden, führt zum Verlust von Orthogonalität und numerischer Instabilität.

Konsequenz

Erzeugt eine orthonormale Basis des Spannraums, die stabile Koordinatendarstellungen, Projektionsberechnungen und die Konstruktion orthogonaler Matrixfaktorisierungen ermöglicht, sofern numerisch sorgfältig umgesetzt.

Umkehrung

Das Versagen der Orthogonalität weist auf lineare Abhängigkeit oder katastrophale Auslöschung hin; der Wechsel zu rangaufdeckenden Faktorisierungen oder stabilisierten Varianten liefert robuste orthonormale Basen zurück.

Abgrenzung

Setzt ein Skalarprodukt (oder Prä-Skalarprodukt) und nichtverschwindende Anfangsvektoren voraus; unendliche oder stetige Mengen erfordern funktionalanalytische Verallgemeinerungen und fallen nicht unter den endlichen Algorithmus.

Semantische Spannung

Verwandte Methode: Matrixfaktorisierungsansätze erzeugen äquivalente orthogonale Basen durch andere numerische Strategien; die Gram–Schmidt-Formel ist konstruktiv, kann aber numerisch weniger stabil sein als Alternativen, sofern nicht modifiziert.

Synthese

Ein konstruktiver Orthogonalisationsalgorithmus, der iterativ Komponenten entlang bereits konstruierter Richtungen entfernt und normiert, wodurch bei geeigneter Stabilisierung eine orthonormale Basis des ursprünglichen endlichdimensionalen Unterraums entsteht.