Vektorraum

Ein Vektorraum ist eine Menge, deren Elemente addiert und mit Elementen eines Körpers skaliert werden können. Er ist das zentrale Objekt der linearen Algebra und das Modell der linearen Struktur in der gesamten Mathematik.

Definition

Ein Vektorraum über einem Körper ist eine abelsche Gruppe von Vektoren zusammen mit einer Skalarmultiplikation mit Körperelementen, die Distributivitäts-, Assoziativitäts- und Einheitsaxiome erfüllt, welche die beiden Operationen kompatibel machen.

Scope

Dieses Thema behandelt die Axiome eines Vektorraums, Unterräume, lineare Unabhängigkeit, Erzeugendensysteme, Basen und Dimension, Koordinaten, direkte Summen und Quotientenräume sowie Dualräume. Es etabliert den Rahmen, in dem lineare Transformationen und Matrizen untersucht werden.

Core questions

• Welche Axiome machen eine Menge zu einem Vektorraum?
• Was ist eine Basis, und warum hat jeder Vektorraum eine?
• Warum ist die Dimension eine wohldefinierte Invariante eines Vektorraums?
• Wie zerlegen Unterräume, direkte Summen und Quotientenräume einen Vektorraum?

Key theories

Existenz einer Basis

Jeder Vektorraum besitzt eine Basis, ein linear unabhängiges Erzeugendensystem, sodass jeder Vektor eine eindeutige endliche Linearkombination von Basisvektoren ist; im endlichdimensionalen Fall folgt dies aus elementaren Austauschargumenten.

Invarianz der Dimension

Beliebige zwei Basen eines Vektorraums haben die gleiche Kardinalität, sodass die Dimension eine wohldefinierte Invariante ist, die Vektorräume über einem festen Körper bis auf Isomorphie klassifiziert.

Unterräume, Quotienten und Dualräume

Unterräume, direkte Summen, Quotientenräume und der Dualraum linearer Funktionale sind die grundlegenden Konstruktionen, die Vektorräume aufbauen und analysieren und der Theorie linearer Abbildungen zugrunde liegen.

Clinical relevance

Vektorräume modellieren eine enorme Bandbreite von Phänomenen: Lösungsmengen linearer Gleichungen und Differentialgleichungen, Funktionenräume in der Analysis, Zustandsräume in der Quantenmechanik und Merkmalsräume in der Datenwissenschaft und im maschinellen Lernen sind alles Vektorräume, was die lineare Algebra universell anwendbar macht.

History

Grassmann führte 1844 einen abstrakten Kalkül erweiterter Größen ein, der Vektorräume vorwegnahm, und Peano gab 1888 eine axiomatische Definition. Der Begriff wurde im zwanzigsten Jahrhundert Standard, wobei unendlichdimensionale Räume von Hilbert und Banach in der Funktionalanalysis entwickelt wurden.

Key figures

• Hermann Grassmann
• Giuseppe Peano
• David Hilbert
• Stefan Banach

Seminal works

• hoffman1971
• roman2008
• lang2002

Frequently asked questions

Hat jeder Vektorraum eine Basis?

Ja. Endlichdimensionale Räume haben eine Basis durch elementare Argumente, und beliebige Vektorräume haben eine unter Annahme des Auswahlaxioms. Eine Basis ermöglicht es, jeden Vektor eindeutig als Kombination von Basisvektoren zu schreiben.

Wie unterscheidet sich ein Vektorraum von einem Modul?

Ein Vektorraum ist ein Modul, dessen Skalare aus einem Körper stammen. Über einem Körper hat jedes Modul eine Basis und verhält sich einheitlich; über einem allgemeinen Ring ist dies nicht der Fall, was die Modultheorie von der linearen Algebra unterscheidet.