Spaltenraum-Rechner

Ein Spaltenraum-Rechner beantwortet eine klassische Frage der linearen Algebra: Welche Vektoren spannen den Spaltenraum einer reellen Matrix auf? Geben Sie die Matrix als verschachtelte numerische Zeilen oder als Klartext mit Kommas und Zeilenumbrüchen ein; das Werkzeug führt auf einer Arbeitskopie eine Gauß-Elimination mit partieller Pivotisierung durch, ermittelt die Pivotspalten unterhalb eines festen Epsilons und liefert die zugehörigen Spalten der URSPRUNGSMATRIX als Basis zurück – weil elementare Zeilenoperationen die linearen Abhängigkeiten zwischen den Spalten bewahren, zeichnen die Pivotspalten der reduzierten Form unabhängige Spalten der Eingabe aus. Die Antwort enthält die Basisvektoren, die Dimension (gleich dem Rang), die nullbasierten Pivotspaltenindizes, die gerundete Originalmatrix, die Zeilenstufenform und die geordneten Eliminationsschritte. Hausaufgabenkontrollen, Prüfungsvorbereitung, Vorabvalidierung kleinster Quadrate und Testfälle für Programmierübungen benötigen alle diese Basis, ohne ein Computeralgebrasystem zu starten.

Was der Spaltenraum ist und warum Pivotspalten eine Basis liefern

Der Spaltenraum einer reellen m×n-Matrix A – geschrieben Col A – ist die Menge aller Linearkombinationen ihrer Spalten, also genau die Menge der Vektoren b, für die Ax = b lösbar ist. Seine Dimension ist der Rang von A, und eine Basis ist eine kleinste Menge von Spalten, die den gesamten Raum noch aufspannt. Der hier verwendete Standardsatz besagt, dass elementare Zeilenoperationen die linearen Relationen zwischen den Spalten bewahren: Ist die dritte Spalte der Zeilenstufenform das Doppelte der ersten, so gilt dies auch für die dritte Spalte der Originalmatrix.

Daher sind die Spalten von A an den Pivotpositionen der Stufenform linear unabhängig, jede andere Spalte ist eine Kombination aus ihnen, und gemeinsam bilden sie eine Basis von Col A. Beachten Sie den Feinheitenpunkt, den Studierende oft übersehen: Die Basisvektoren stammen aus der URSPRUNGSMATRIX, nicht aus der reduzierten – die Pivotspalten der Stufenform spannen im Allgemeinen einen anderen Unterraum des R^m auf, auch wenn beide Räume dieselbe Dimension haben.

Einträge, deren Betrag nach der Elimination auf oder unter ein festes Epsilon fällt, werden als exakte Nullen behandelt, damit Gleitkomma-Auslöschung bei nahezu abhängigen Spalten keine Phantom-Pivots erzeugt und die gemeldete Dimension aufbläht. Die Ausgabe listet jeden Vertauschungs- und Eliminationsschritt der Reihe nach auf, sodass Sie den Algorithmuspfad von Hand oder in einer Testsuite nachvollziehen können, ohne die Arithmetik selbst neu herleiten zu müssen.

Praktische Hinweise, Grenzen und verwandte Suchen

Halten Sie jeden Eintrag innerhalb des veröffentlichten Betragsbereichs und bevorzugen Sie verschachtelte Zahlenarrays, wenn Sie den Client kontrollieren; die Textform ist praktisch für das Einfügen aus Tabellenkalkulationen, wird aber nach denselben numerischen Regeln geparst. Ein klassisches Rechenbeispiel ist die 3×3-Matrix mit den Zeilen [1,2,3], [2,4,6], [1,0,1]: Die zweite Spalte ist das Doppelte der ersten und der Zeilenraum kollabiert, die Elimination findet Pivots nur in den Spalten null und eins, und die Basis besteht aus den ersten beiden Originalspalten mit Dimension zwei.

Die Nullmatrix ist der Randfall, den Sie in Tests bedenken sollten: Sie hat keine Pivots, der Spaltenraum ist der einelementige Nullvektor, und dieses Werkzeug liefert eine leere Basis mit Dimension null und einer erläuternden Meldung statt eines Fehlers. Wenn Spalten nahezu, aber nicht exakt abhängig sind – häufig bei Sensordaten und Designmatrizen kleinster Quadrate –, entscheidet das feste Epsilon; erwarten Sie daher, dass Grenzspalten als Kombinationen früherer Spalten verworfen werden, statt als fragile Basis vollen Rangs gemeldet zu werden.

Diese Seite richtet sich an Nutzer, die nach einem Spaltenraum-Rechner, einer Basis des Spaltenraums online oder einer Basis aus Pivotspalten suchen; es ist kein SVD-Werkzeug, kein Orthonormalisierer (die Basis ist eine Teilmenge der Originalspalten, keine Gram-Schmidt-Ausgabe) und kein Nullraum-Löser – kombinieren Sie es bei Bedarf mit einer Rang- oder Nullraum-Fähigkeit. Gegenproben sind einfach: Multiplizieren Sie die Basis mit den Abhängigkeitskoeffizienten aus der Zeilenstufenform und prüfen Sie, dass jede verworfene Spalte nach der Rundung exakt reproduziert wird; prüfen Sie außerdem, dass das Vertauschen zweier Eingabespalten die Pivotmenge vorhersagbar ändert.