Affiner Teilraum

Affiner Teilraum

Der affine Raum nimmt im systematischen Aufbau der Geometrie eine Mittelstellung zwischen Euklidischem Raum und Projektivem Raum ein.

Inhaltsverzeichnis

Informelle Definitionen

Der affine Raum (=lineare Mannigfaltigkeit) im engsten Sinne ist ein mathematisches Modell für den uns vertrauten dreidimensionalen Anschauungsraum.

In einem weiteren Sinne kann ein affiner Raum, wie andere mathematische Räume auch, eine beliebige Dimension haben: Als affinen Raum kann man auch einen einzelnen Punkt, die affine Gerade, die affine Ebene sowie vier- und höherdimensionale Räume bezeichnen.

Verschiedene mathematische Disziplinen haben unterschiedliche Präzisierungen dieses Begriffs gefunden.

Definition der synthetischen Geometrie

Ein affiner Raum im Sinne der synthetischen Geometrie besteht aus den folgenden Daten:

  • einer Menge von Punkten
  • einer Menge von Geraden
  • einer Inzidenzrelation, die angibt, welche Punkte auf welchen Geraden liegen
  • einer Parallelitätsrelation, die angibt, welche Geraden parallel sind,

so dass gewisse Axiome erfüllt sind, die die Anschauung nahelegt, unter anderem Euklids berühmtes Parallelenaxiom. Für weitere Details siehe affine Geometrie.

Alternativ dazu wird die affine Geometrie im Sinne des Erlanger Programms von Felix Klein als Inbegriff der unter affinen Transformationen invarianten geometrischen Eigenschaften eingeführt.

Definition der linearen Algebra

Gegeben seien eine Menge A, deren Elemente geometrisch als Punkte aufgefasst werden, ein Vektorraum V und eine Abbildung von A \times A nach V, die zwei Punkten P, Q \in A einen Verbindungsvektor \overrightarrow{PQ} \in V zuordnet, so dass gilt:

  • für alle P, Q, R \in A gilt: \overrightarrow{PQ}+\overrightarrow{QR}=\overrightarrow{PR} (Beziehung von Chasles),
  • für alle P \in A und alle \vec{v}\in V gibt es einen eindeutigen Punkt Q \in A, so dass \vec{v}=\overrightarrow{PQ}.

Das Paar (A, V) heißt affiner Raum; wenn klar ist, welcher Vektorraum V zugrunde liegt, bezeichnet man auch A alleine als den affinen Raum.

Im affinen Raum ist eine Addition oder Translation als Abbildung von A \times V nach A dadurch definiert, dass P + \vec{v} gerade der über \vec{v}=\overrightarrow{PQ} eindeutig bestimmte Punkt Q ist.

Die Dimension des affinen Raums ist definiert als die Dimension des Vektorraums V.

Wenn P ein Punkt aus A ist und U ein Untervektorraum von V, dann ist (P+U, U) ein affiner Unterraum von (A, V). Anstelle des Begriffs Unter(vektor)raum wird auch oft die äquivalente Bezeichnung Teil(vektor)raum verwendet.

Affine Räume im Sinne der linearen Algebra sind auch affine Räume im Sinne der synthetischen Geometrie, jedoch nicht notwendigerweise umgekehrt, siehe Affine Geometrie.

Beispiele

  • Jeder Vektorraum V ist in trivialer Weise ein affiner Raum über sich selbst, wenn man die Abbildung V\times V\to V mit  (\mathbf{v},\mathbf{w})\mapsto \mathbf{w}-\mathbf{v} betrachtet.

Definition der algebraischen Geometrie

  • In der modernen algebraischen Geometrie ist der n-dimensionale affine Raum AnA über einem kommutativen Ring A mit Einselement definiert als das Spektrum des Polynomringes A[X1,…,Xn] in n Unbestimmten.
    Für eine A-Algebra B sind die B-wertigen Punkte von AnA gleich Bn.

Siehe auch

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Affiner Raum — Der affine Raum (gelegentlich auch lineare Mannigfaltigkeit genannt) nimmt im systematischen Aufbau der Geometrie eine Mittelstellung zwischen Euklidischem Raum und Projektivem Raum ein. Der affine Raum im engsten Sinne ist ein mathematisches… …   Deutsch Wikipedia

  • Affiner Unterraum — In der linearen Algebra ist ein affiner Unterraum eines Vektorraums eine Teilmenge, die durch Verschiebung aus einem Untervektorraum hervorgeht. Ein solcher affiner Unterraum ist auch ein affiner Raum im Sinne der analytischen Geometrie.… …   Deutsch Wikipedia

  • Projektives Koordinatensystem — Ein Projektives Koordinatensystem erlaubt es, die Lage eines Punktes in einem projektiven Raum eindeutig durch die Angabe eines Koordinatenvektors zu beschreiben. Dadurch können in den mathematischen Gebieten der Geometrie und der linearen… …   Deutsch Wikipedia

  • Affine Hülle — ist ein universeller Begriff aus der mathematischen Theorie der affinen Räume. Nahe verwandt ist der Begriff der linearen Hülle. Man nennt die affine Hülle auch Verbindungsraum vor allem dann, wenn die Teilmenge M selbst eine Vereinigung von zwei …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”