Affine Koordinaten - LinkFang.de





Affine Koordinaten


Affine Koordinaten sind Koordinaten, die im mathematischen Teilgebiet der linearen Algebra einem Punkt eines [math]n[/math]-dimensionalen affinen Raumes bezüglich einer sogenannten affinen Punktbasis zugeordnet werden, das ist eine geordnete Menge von [math]n+1[/math] Punkten des Raumes mit bestimmten Eigenschaften (siehe weiter unten in diesem Artikel).

Man unterscheidet dann inhomogene affine Koordinaten, die gebräuchlichste Form, bei denen die Koordinaten eines Punktes eine geordnete Menge (Tupel) von [math]n[/math] Zahlen ist, und homogene Formen, bei denen diese Koordinaten ein [math]n+1[/math]-Tupel bilden.

Mit Hilfe der hier beschriebenen affinen Koordinatensysteme lässt sich eine affine Abbildung durch eine Abbildungsmatrix darstellen, dies wird im Artikel Affine Abbildung erläutert.

Affine Koordinaten stehen in engem Zusammenhang zu Teilverhältnissen: Affine Koordinaten lassen sich in Teilverhältnisse umrechnen und umgekehrt. Dieser Zusammenhang wird im Artikel „Teilverhältnis“ und dort insbesondere im Abschnitt „Teilverhältnis und affine Koordinaten“ beschrieben.

In der synthetischen Geometrie werden affine Koordinaten für affine Ebenen durch eine geometrische Konstruktion, die Koordinatenkonstruktion, eingeführt. Dabei dienen Punkte einer fest gewählten Gerade der Ebene als affine Koordinaten. Für affine Ebenen über einem Körper führt dieses geometrische Konzept zu den gleichen (inhomogenen) affinen Koordinaten, wie das im vorliegenden Artikel beschriebene Vorgehen aus der analytischen Geometrie. → Siehe zu den affinen Koordinaten in der synthetischen Geometrie den Hauptartikel „Ternärkörper“.

Definitionen

Affines Koordinatensystem im Standardmodell

Ein affiner Unterraum [math]A[/math] eines [math]n[/math]-dimensionalen Vektorraums [math]K^n[/math] über dem Körper [math]K[/math] - dem Standardmodell des [math]n[/math]-dimensionalen affinen Raumes - hat die Gestalt [math]A=v+U[/math], wobei [math]v\in K^n[/math] ein Vektor und [math]U\subset K^n[/math] ein Untervektorraum ist. Der Unterraum [math]U[/math] ist dabei eindeutig durch [math]A[/math] festgelegt (und heißt der zu [math]A[/math] gehörige Unterraum), der Vektor [math]v[/math] hingegen nicht, er kann aus [math]A[/math] beliebig gewählt werden. Die Dimension von [math]A[/math] wird als die Dimension von [math]U[/math] definiert.

Ist [math]A[/math] ein [math]n[/math]-dimensionaler affiner Raum, so heißen [math]n+1[/math] Punkte [math]p_0,\dotsc, p_n[/math] eine affine Basis, falls die Vektoren [math]p_1-p_0,\dotsc, p_n-p_0[/math] eine Basis des Untervektorraums [math]U[/math] bilden.

In diesem Fall gibt es zu jedem [math]p\in A[/math] eindeutig bestimmte [math]\lambda_0,\dotsc,\lambda_n \in K[/math] mit [math]p=\lambda_0 p_0+\dotsb + \lambda_n p_n[/math] und [math]\lambda_0 + \dotsb + \lambda_n = 1[/math].

Inhomogene, baryzentrische und homogene affine Koordinaten

In einem affinen Unterraum [math]A[/math] gibt es keinen ausgezeichneten Nullpunkt. Eine affine Basis [math]p_0,\dotsc, p_n[/math] trägt diesem Umstand Rechnung. Wählt man einen Basisvektor beliebig aus, etwa [math]p_0[/math], so ist [math]p_1-p_0,\dotsc, p_n-p_0[/math] eine Basis des zugehörigen Unterraums [math]U[/math]. Ist daher [math]p\in A[/math] beliebig, so ist [math]p-p_0 \in U[/math], das heißt, es gibt [math]\mu_1,\dotsc, \mu_n \in K[/math] mit [math]p-p_0 = \mu_1(p_1-p_0)+\dotsb +\mu_n(p_n-p_0)[/math]. Daraus folgt

[math]p= p_0 + \mu_1(p_1-p_0)+\dotsb +\mu_n(p_n-p_0) = \left(1-\sum_{i=1}^n \mu_i\right)p_0 + \mu_1 p_1 + \dotsb +\mu_n p_n[/math]

Setzt man [math]\lambda_0=1-\sum_{i=1}^n \mu_i[/math], [math]\lambda_1=\mu_1, \dotsc, \lambda_n = \mu_n[/math], so gilt [math]p=\lambda_0 p_0+\dotsb + \lambda_n p_n[/math] und [math]\lambda_0 + \dotsb + \lambda_n = 1[/math]. In dieser Darstellung sind die Basispunkte [math]p_0,\dotsc, p_n[/math] wieder gleichberechtigt, keiner der Punkte ist irgendwie ausgezeichnet.

Die Koordinaten [math](\mu_1;\dotsc;\mu_n)\in K^n[/math] heißen inhomogene affine Koordinaten, [math](\lambda_0;\dotsc;\lambda_n) \in K^{n+1}[/math] heißen baryzentrische affine Koordinaten von [math]p[/math] bezüglich der Basis [math]p_0,\dotsc, p_n[/math]. Die baryzentrischen Koordinaten liefern im Gegensatz zu den inhomogenen Koordinaten auch dann formal die gleiche Darstellung des Punktes [math]p[/math], wenn der Vektor [math]p_0[/math] nicht der Nullvektor des Vektorraums ist.

Als homogene affine Koordinaten bezeichnet man die [math]n+1[/math]-Tupel [math](\mu_1;\dotsc; \mu_n;1)\in K^{n+1}[/math]. (In der Literatur wird auch häufig [math](1;\mu_1;\dotsc; \mu_n)\in K^{n+1}[/math] verwendet). Hierbei wird der [math]n[/math]-dimensionale affine Punktraum mit der Hyperebene mit der Gleichung [math]x_{n+1}=1[/math] im Vektorraum [math]K^{n+1}[/math] identifiziert. Man kann diese homogenen Koordinatenvektoren aber auch als Punkte des projektiven Raumes [math]KP^n[/math] auffassen. Dann beschreiben die Koordinaten [math](r\cdot\mu_1;\dotsc; r\cdot\mu_n;r)\in K^{n+1}[/math] für [math]r\in K\setminus\lbrace 0\rbrace[/math] denselben affinen Punkt, [math](\mu_1;\dotsc; \mu_n;0)\in K^{n+1}\setminus\lbrace 0\rbrace[/math] beschreiben Fernpunkte (Richtungen) des affinen Raumes. Die Darstellung durch homogene Koordinaten kann unter anderem verwendet werden, um beliebige affine Abbildungen mit einer (erweiterten) Abbildungsmatrix ohne Translationsvektor zu beschreiben (→ zu dieser Koordinatendarstellung siehe Hauptartikel Homogene Koordinaten, zur erweiterten Abbildungsmatrix siehe Affine Abbildung: Erweiterte Abbildungsmatrix).

Affines Koordinatensystem im affinen Punktraum

Ein affiner Punktraum ist eine Menge [math]A[/math] zusammen mit einem Vektorraum [math]V_A[/math] von sogenannten Translationen und einer Abbildung [math]A\times A\rightarrow V_A, (P,Q)\mapsto \overrightarrow{PQ}[/math], die jedem Punktepaar einen Verschiebungsvektor so zuordnet, dass gewisse Eigenschaften erfüllt sind (siehe Artikel affiner Raum). Dieser Zugang macht besonders deutlich, dass kein Punkt aus [math]A[/math] ausgezeichnet ist.

Eine affine Basis (auch affine Punktbasis) von [math]A[/math] ist dann eine Menge von Punkten [math]P_0,\dotsc, P_n \in A[/math], so dass die Vektoren [math]\overrightarrow{P_0P_1},\dotsc,\overrightarrow{P_0P_n}[/math] eine Basis von [math]V_A[/math] bilden. Der Punkt [math]P_0[/math] heißt Ursprung des affinen Koordinatensystems, das durch diese Punktbasis bestimmt ist. Die Dimension von [math]V_A[/math] wird auch die Dimension von [math]A[/math] genannt. Die Dimension von [math]A[/math] ist genau dann [math]n[/math], wenn es eine affine Basis aus [math]n+1[/math] Punkten gibt.

Der affine Raum [math]A=K^n[/math] mit [math]V_A=K^n[/math] und [math]\overrightarrow{PQ}:=P-Q[/math] ist ein Beispiel, und es kann gezeigt werden, dass dies bis auf Affinität der allgemeinste affine Raum der Dimension [math]n[/math] ist, wobei eine Affinität zwischen zwei affinen Räumen [math]A_1[/math] und [math]A_2[/math] eine Abbildung [math]f:A_1\rightarrow A_2[/math] ist, zu der es eine bijektive lineare Abbildung [math]T:V_{A_1}\rightarrow V_{A_2}[/math] mit [math]\overrightarrow{f(P)f(Q)} = T(\overrightarrow{PQ})[/math] für alle [math]P,Q\in A_1[/math] gibt.

Wählt man eine affine Basis [math]P_0,\dotsc, P_n \in A[/math], so gibt es genau eine Affinität [math]f:K^n\rightarrow A[/math] mit [math]f(0) = P_0, f(e_1) = P_1, \dotsc, f(e_n) = P_n[/math], wobei [math]e_1,\dotsc, e_n[/math] die kanonische Basis von [math]K^n[/math] sei. Ist nun [math]P\in A[/math], so können die affinen Koordinaten von [math]f^{-1}(P)\in K^n[/math] bezüglich der affinen Basis [math]0,e_1,\dotsc, e_n[/math] im affinen Raum [math]K^n[/math] wie oben berechnet werden. Diese Zahlen heißen auch die affinen Koordinaten von [math]P[/math] bezüglich des durch [math]P_0,\dotsc, P_n \in A[/math] bestimmten affinen Koordinatensystems. Die Affinität [math]f:K^n\rightarrow A[/math] wird auch affines Koordinatensystem genannt; dem liegt die Vorstellung zu Grunde, dass [math]f[/math] die Koordinaten von [math]K^n[/math] nach [math]A[/math] trägt. In dieser Auffassung ist [math]f(0)[/math] der Ursprung und [math]f^{-1}(P)[/math] die Koordinatendarstellung des Ortsvektors eines Punktes [math]P[/math].

Beispiele

Zahlenbeispiel

Sei [math]A = \R^3[/math] der dreidimensionale reelle Koordinatenraum. Dann bilden die drei Punkte (1,0,0), (0,1,0) und (0,0,1) zusammen mit dem Ursprung (0,0,0) eine affine Basis. Für einen Punkt [math](x,y,z) \in \R^3[/math] sind die Zahlen [math]x,y,z[/math] die affinen Koordinaten bezüglich dieser Basis.

Wählt man die affine Basis aus dem Ursprung und den Punkten [math](1,0,0)[/math], [math](0,1,0)[/math] und [math](-1,1,1)[/math], so sind die affinen Koordinaten [math]\lambda, \mu, \nu[/math] zu einem Punkt [math](x,y,z) \in \R^3[/math] durch [math]\lambda=x+z,\ \mu=y-z,\ \nu = z[/math] gegeben, denn es gilt

[math](x+z) \begin{pmatrix} 1\\0\\0 \end{pmatrix} + (y-z) \begin{pmatrix} 0\\1\\0 \end{pmatrix} + z \begin{pmatrix} -1\\1\\1 \end{pmatrix} = \begin{pmatrix} x\\y\\z \end{pmatrix}. [/math]

Geradengleichung

Geraden [math]g[/math] sind eindimensionale affine Unterräume und je zwei verschiedene Punkte [math]p_0,p_1\in g[/math] bilden eine affine Basis. Die Darstellung der Punkte von [math]g[/math] in affinen Koordinaten führt zur Geradengleichung in der sogenannten Parameterform, denn es ist

[math] g=\{\lambda p_0+\mu p_1|\, \lambda, \mu \in \R, \lambda + \mu = 1\} = \{(1-\mu)p_0+\mu p_1|\, \mu \in \R\} = \{ p_0+ \mu (p_1-p_0)|\, \mu \in \R\} [/math].

Gleichungssysteme

Die Lösungsmenge eines inhomogenen linearen Gleichungssystems bildet einen affinen Raum. Ist [math]p_0[/math] eine spezielle Lösung des inhomogenen Gleichungssystems und [math]u_1,\dotsc, u_n[/math] eine Basis des Lösungsraumes des zugehörigen homogenen Systems, so bilden [math]p_0, p_1=p_0+u_1,\dotsc, p_n=p_0+u_n[/math] eine affine Basis des affinen Lösungsraums des inhomogenen Gleichungssystems. Zu jeder Lösung [math]p[/math] gibt es daher eindeutig bestimmte [math]\lambda_0,\dotsc,\lambda_n \in K[/math] mit [math]p=\lambda_0 p_0+\dotsb + \lambda_n p_n[/math] und [math]\lambda_0 + \dotsb + \lambda_n = 1[/math]. Diese Betrachtung zeigt die bekannte Tatsache, dass es für ein inhomogenes lineares Gleichungssystem keine ausgezeichnete spezielle Lösung gibt.

Konvexkombinationen

Eine Konvexkombination von [math]n+1[/math] Punkten [math]p_0,\dotsc, p_n[/math] ist eine spezielle Darstellung in baryzentrischen affinen Koordinaten [math]\lambda_0,\dotsc,\lambda_n \in \R[/math], bei der nicht nur [math]\lambda_0 + \dotsb + \lambda_n = 1[/math] sondern darüber hinaus auch [math]\lambda_i \ge 0[/math] für alle [math]i=1,\dotsc, n[/math] gilt.

Literatur

  • Gerd Fischer: Analytische Geometrie (= Rororo-Vieweg 35). Rowohlt, Reinbek bei Hamburg 1978, ISBN 3-499-27035-8.
  • Hermann Schaal, Ekkehart Glässner: Lineare Algebra und analytische Geometrie. Band 1. Vieweg, Braunschweig 1976, ISBN 3-528-03056-9.
  • Uwe Storch, Hartmut Wiebe: Lehrbuch der Mathematik. Für Mathematiker, Informatiker und Physiker. Band 2: Lineare Algebra. BI-Wissenschafts-Verlag, Mannheim 1990, ISBN 3-411-14101-8.

Kategorien: Analytische Geometrie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Affine Koordinaten (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.