Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil I/Vorlesung 29/latex
\setcounter{section}{29}
\zwischenueberschrift{Affine Räume}
Untervektorräume eines Vektorraums enthalten stets die $0$. Eine Gerade
\mavergleichskette
{\vergleichskette
{ G
}
{ \subset }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die nicht durch den Nullpunkt verläuft, ist also kein Untervektorraum. Dennoch handelt es sich um ein \anfuehrung{lineares Objekt}{,} das im Rahmen der linearen Algebra studiert werden soll.
\inputdefinition
{}
{
Es sei $V$ ein
\definitionsverweis {Vektorraum}{}{.}
Unter einem \definitionswort {affinen Unterraum}{} von $V$ versteht man
\zusatzklammer {die leere Menge oder} {} {}
eine Teilmenge der Form
\mavergleichskettedisp
{\vergleichskette
{ P+U
}
{ =} { { \left\{ P+u \mid u \in U \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Untervektorraum}{}{}
und
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Vektor ist.
}
Den Punkt $P$ nennt man auch den \stichwort {Aufpunkt} {} und den Untervektorraum $U$ den \stichwort {Translationsraum} {} oder \stichwort {Verschiebungsraum} {} oder \stichwort {Parallelvektorraum} {} oder einfach den zugrunde liegenden Untervektorraum. Die Punkte im affinen Raum stellt man sich als \stichwort {Ortspunkte} {,} die Punkte aus $U$ als Verschiebungsvektoren vor. Man kann sich darüber streiten, ob man die leere Menge als affinen (Unter)raum gelten lassen möchte, die folgende Bemerkung, die Definition 29.4 und Lemma 30.1 sprechen aber dafür.
\inputbemerkung
{}
{
Die Lösungsmenge zu einem inhomogenen linearen Gleichungssystem in $n$ Variablen ist ein \definitionsverweis {affiner Unterraum}{}{} von $K^n$, und zwar ist der zugrunde liegende Vektorraum der Lösungsraum zum zugehörigen homogenen Gleichungssystem.
}
\inputbeispiel{}
{
Zu einer
\definitionsverweis {linearen Abbildung}{}{}
\maabbdisp {\varphi} {V} {W
} {}
zwischen
$K$-\definitionsverweis {Vektorräumen}{}{}
\mathkor {} {V} {und} {W} {}
und einem Element
\mavergleichskette
{\vergleichskette
{ Q
}
{ \in }{W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das
\definitionsverweis {Urbild}{}{}
zu $Q$
\zusatzklammer {die
\definitionsverweis {Faser}{}{}
zu $Q$} {} {}
\mavergleichskettedisp
{\vergleichskette
{ \varphi^{-1} (Q )
}
{ =} { { \left\{ P\in V \mid \varphi(P) = Q \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {affiner Unterraum}{}{}
von $V$. Im nichtleeren Fall kann man jeden Punkt
\mavergleichskette
{\vergleichskette
{ P_0
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi(P_0)
}
{ =} { Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als
\definitionsverweis {Aufpunkt}{}{}
verwenden. Der Verschiebungsraum ist dann gerade der
\definitionsverweis {Kern}{}{}
von $\varphi$. Durch eine lineare Abbildung wird $V$ in eine geschichtete Familie von zueinander parallelen\zusatzfussnote {Affine Unterräume heißen parallel, wenn zwischen den zugehörigen Untervektorräumen eine Inklusion besteht} {.} {}
affinen Unterräumen zerlegt.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Translation illustration.svg} }
\end{center}
\bildtext {Die Wirkungsweise einer Parallelverschiebung in der Ebene auf eine Teilmenge.} }
\bildlizenz { Translation illustration.svg } {} {Oleg Alexandrov} {Commons} {gemeinfrei} {}
Eine weitere Überlegung führt zu einem weiteren abstrakten Begriff. Den Anschauungsraum kann man mit Koordinaten versehen und dadurch mit dem $\R^3$ identifizieren. Dabei muss man insbesondere willkürlich einen Punkt des Raumes als $0$ auszeichnen. Der natürliche Anschauungsraum besitzt keine natürliche Null und auch keine natürliche Addition von Punkten. Dennoch ist der Anschauungsraum mit einem Vektorraum eng verbunden, nämlich dem Vektorraum aller \zusatzklammer {Parallel-} {} {}\stichwort {Verschiebungen} {} des Raumes. Eine solche Verschiebung ist eine elementargeometrische Konstruktion, bei der jeder Punkt des Raumes um einen bestimmten Richtungsvektor verschoben wird. Eine solche Verschiebung ist durch jeden Punkt zusammen mit seinem Bildpunkt festgelegt. Die Menge all dieser Verschiebungen bildet einen Vektorraum, wobei die Addition durch Hintereinanderausführung der Verschiebungen gegeben ist. Die Nullverschiebung ist die Identität. Wenn man einen Punkt $P$ des Raumes fixiert, so ergibt sich eine Bijektion zwischen dem Raum und dem Vektorraum der Verschiebungen, indem man den Verschiebungsvektor an $P$ anlegt. Eine solche Fixierung nennt man auch \stichwort {Wahl eines Ursprungs} {.}
\inputdefinition
{}
{
Ein
\definitionswort {affiner Raum}{}
über einem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ ist eine Menge $E$ zusammen mit einer Abbildung
\maabbeledisp {} {V \times E} {E
} {(v,P)} { P+v
} {,}
die den drei Bedingungen
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{P+0
}
{ = }{P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{(P+v)+w
}
{ = }{P+(v+w)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ v,w
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{Zu je zwei Punkten
\mavergleichskette
{\vergleichskette
{ P,Q
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es genau einen Vektor
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{P+v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
genügt.
}
Diese Addition nennt man \stichwort {affine Addition} {} oder \stichwort {Translation} {.} Der zu zwei Punkten
\mavergleichskette
{\vergleichskette
{ P,Q
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmte \stichwort {Translationsvektor} {}
\zusatzklammer {oder \stichwort {Verschiebungsvektor} {} oder \stichwort {Verbindungsvektor} {}} {} {}
wird mit
\mathl{\overrightarrow{ P Q }}{} bezeichnet. Es gelten, neben
\mavergleichskette
{\vergleichskette
{ P+ \overrightarrow{ P Q }
}
{ = }{ Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die Regeln
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ \overrightarrow{ P P }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{ \overrightarrow{ P Q }
}
{ = }{ - \overrightarrow{ Q P }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ P,Q
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{ \overrightarrow{ P Q } + \overrightarrow{ Q R }
}
{ = }{ \overrightarrow{ P R }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ P,Q,R
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
wobei dies Identitäten im Vektorraum $V$ sind, siehe
Aufgabe 29.8.
Die Gesamtabbildung
\maabbdisp {+} {V \times E} {E
} {}
kann man unter verschiedenen Aspekten betrachten. Zu jedem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Abbildung
\maabbeledisp {} { V } { E
} { v } { P+v
} {,}
eine Bijektion zwischen dem zugrunde liegenden Vektorraum und dem affinen Raum. Diese Bijektion ist aber nicht kanonisch, da sie von dem gewählten Punkt abhängt. Jeder Vektor
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert die Abbildung
\maabbeledisp {} { E } { E
} { P } { P+v
} {,}
die die \stichwort {Translation} {} oder \stichwort {Verschiebung} {} auf $E$ um den Vektor $v$ heißt. Die Abbildung
\maabbeledisp {} { E \times E} {V
} {(P,Q) } { \overrightarrow{ P Q }
} {,}
ordnet einem Punktepaar ihren
\zusatzklammer {eindeutig bestimmten} {} {}
Verbindungsvektor zu. Statt
\mathl{\overrightarrow{ P Q }}{} schreibt man manchmal auch
\mathl{Q-P}{.}
Jeder Vektorraum $V$ ist auch ein affiner Raum über sich selbst mit der Vektorraumaddition als Addition. Ein affiner Unterraum
\mavergleichskette
{\vergleichskette
{ P+U
}
{ \subseteq }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
im Sinne von
Definition 29.1
ist ein affiner Raum über $U$.
\inputbeispiel{}
{
Die homogene
\definitionsverweis {lineare Gleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{7x-3y+4z
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hat den Lösungsraum
\mavergleichskettedisp
{\vergleichskette
{U
}
{ =} { \langle \begin{pmatrix} 3 \\7\\ 0 \end{pmatrix} ,\, \begin{pmatrix} 0 \\4\\ 3 \end{pmatrix} \rangle
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die inhomogene lineare Gleichung
\mavergleichskettedisp
{\vergleichskette
{7x-3y+4z
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
hat die Lösungsmenge
\mavergleichskettedisp
{\vergleichskette
{E
}
{ =} { \begin{pmatrix} 0 \\0\\ { \frac{ 1 }{ 2 } } \end{pmatrix} + U
}
{ =} { \begin{pmatrix} 0 \\0\\ { \frac{ 1 }{ 2 } } \end{pmatrix} + \langle \begin{pmatrix} 3 \\7\\ 0 \end{pmatrix} ,\, \begin{pmatrix} 0 \\4\\ 3 \end{pmatrix} \rangle
}
{ } {
}
{ } {
}
}
{}{}{.}
Die
\definitionsverweis {affine Addition}{}{}
ist die Abbildung
\maabbeledisp {} {U \times E} {E
} {(u,P)} { (u+P)
} {,}
die einem Paar bestehend aus einer Lösung der homogenen Gleichung und einer Lösung der inhomogenen Gleichung ihre Summe zuordnet, die eine Lösung der inhomogenen Gleichung ist. Zu zwei Lösungen der inhomogenen Gleichung ist die Differenz eine Lösung der homogenen Gleichung. Zu
\mavergleichskettedisp
{\vergleichskette
{u
}
{ =} { - 2 \begin{pmatrix} 3 \\7\\ 0 \end{pmatrix} + 3\begin{pmatrix} 0 \\4\\ 3 \end{pmatrix}
}
{ =} { \begin{pmatrix} -6 \\- 2\\ 9 \end{pmatrix}
}
{ \in} {U
}
{ } {
}
}
{}{}{}
ist beispielsweise
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 0 \\0\\ { \frac{ 1 }{ 2 } } \end{pmatrix} + \begin{pmatrix} -6 \\- 2\\ 9 \end{pmatrix}
}
{ =} { \begin{pmatrix} -6 \\ 2\\ { \frac{ 19 }{ 2 } } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine weitere Lösung aus $E$. Die beiden Lösungen
\mathkor {} {\begin{pmatrix} 1 \\3\\ 1 \end{pmatrix}} {und} {\begin{pmatrix} 2 \\4\\ 0 \end{pmatrix}} {}
aus $E$ werden durch den Verbindungsvektor
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 2 \\4\\ 0 \end{pmatrix} - \begin{pmatrix} 1 \\3 \\ 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 \\1 \\ - 1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ineinander überführt.
}
\zwischenueberschrift{Affine Basen}
Für die folgenden Begriffe darf man für die Indexmenge $I$ stets eine endliche Menge nehmen. Im nichtendlichen Fall ist ein Koeffiziententupel so zu interpretieren, dass mit endlich vielen Ausnahmen alle Einträge gleich $0$ sind.
\inputdefinition
{}
{
Eine Familie von Punkten
\mathbed {P_i \in E} {}
{i \in I} {}
{} {} {} {,}
in einem
\definitionsverweis {affinen Raum}{}{}
$E$ über einem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ heißt eine
\definitionswort {affine Basis}{}
von $E$, wenn zu einem
\mavergleichskette
{\vergleichskette
{ i_0
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Vektorfamilie
\mathbeddisp {\overrightarrow{ P_{i_0} P_i }} {}
{i \in I \setminus \{ i_0\}} {}
{} {} {} {,}
eine
\definitionsverweis {Basis}{}{}
von $V$ ist.
}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ \overrightarrow{ P_{i_0} P_{i} }
}
{ =} { \overrightarrow{ P_{i_0} P_{i_1} } + \overrightarrow{ P_{i_1} P_{i} }
}
{ =} { - \overrightarrow{ P_{i_1} P_{i_0} } + \overrightarrow{ P_{i_1} P_{i} }
}
{ } {
}
{ } {
}
}
{}{}{}
kann man die Basisvektoren
\mathl{\overrightarrow{ P_{i_0} P_{i} }}{} zum Ursprungspunkt $P_{i_0}$ als
\definitionsverweis {Linearkombination}{}{}
durch die Vektoren zu einem beliebigen anderen Ursprungspunkt $P_{i_1}$ der Familie ausdrücken. Daher ist die Eigenschaft, eine affine Basis zu sein, unabhängig von dem gewählten
\mathl{P_{i_0}}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Barycentric coordinates 1.png} }
\end{center}
\bildtext {Die baryzentrischen Koordinaten in der Ebene, wobei die affinen Basispunkte die Eckpunkte eines Dreiecks bilden.} }
\bildlizenz { Barycentric coordinates 1.png } {} {Gandalf61} {en.wikipedia} {GFDL} {}
\inputdefinition
{}
{
Zu einer Familie
\mathbed {P_i} {}
{i \in I} {}
{} {} {} {,}
von Punkten in einem
\definitionsverweis {affinen Raum}{}{}
$E$ und einem Zahltupel
\mathbed {a_i} {}
{i \in I} {}
{} {} {} {,}
mit
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i \in I} a_i
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {bei unendlichem $I$ ist dies so zu verstehen, dass nur endlich viele der $a_i$ von $0$ verschieden sein können} {} {}
heißt die Summe
\mathl{\sum_{i \in I} a_i P_i}{} \stichwort {baryzentrische Kombination} {} der $P_i$. Der zugehörige Punkt in $E$ ist durch
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i \in I} a_iP_i
}
{ =} { Q + \sum_{i \in I} a_i\overrightarrow{ Q P_i }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben, wobei $Q$ ein beliebiger Punkt aus $E$ ist.
}
{Affiner Raum/Punktmenge/Baryzentrische Kombination/Punkt/Fakt}
{Lemma}
{}
{
\faktsituation {Zu einer Familie
\mathbed {P_i} {}
{i \in I} {}
{} {} {} {,}
von Punkten in einem
\definitionsverweis {affinen Raum}{}{}
$E$ ist durch eine
\definitionsverweis {baryzentrische Kombination}{}{}
\mathdisp {\sum_{i \in I} a_iP_i} { }
}
\faktfolgerung {ein eindeutiger Punkt in $E$ definiert.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 29.12. }
\inputfaktbeweis
{Affiner Raum/Affine Basis/Baryzentrische Koordinaten/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mathbed {P_i} {}
{i \in I} {}
{} {} {} {,}
eine
\definitionsverweis {affine Basis}{}{}
in einem
\definitionsverweis {affinen Raum}{}{}
$E$ über dem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$.}
\faktfolgerung {Dann gibt es für jeden Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine eindeutige
\definitionsverweis {baryzentrische Darstellung}{}{}
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { \sum_{i \in I} a_i P_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ i_0
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Es gibt dann in $V$ eine eindeutige Darstellung
\mavergleichskettedisp
{\vergleichskette
{ \overrightarrow{ P_{i_0} P }
}
{ =} { \sum_{ i \in I \setminus \{i_0\} } a_i \overrightarrow{ P_{i_0} P_i }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir setzen
\mavergleichskettedisp
{\vergleichskette
{a_{i_0}
}
{ \defeq} { 1 - \sum_{ i \in I \setminus \{i_0\} } a_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{ \sum_{ i \in I } a_i
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettealign
{\vergleichskettealign
{ P
}
{ =} { P_{i_0} + \overrightarrow{ P_{i_0} P }
}
{ =} { P_{i_0} + \sum_{ i \in I \setminus \{i_0\} } a_i \overrightarrow{ P_{i_0} P_i }
}
{ =} { P_{i_0} + a_{i_0} \overrightarrow{ P_{i_0} P_{i_0} } + \sum_{ i \in I \setminus \{i_0\} } a_i \overrightarrow{ P_{i_0} P_i }
}
{ =} { P_{i_0} + \sum_{ i \in I } a_i \overrightarrow{ P_{i_0} P_i }
}
}
{}
{}{.}
Es gibt also eine solche Darstellung mit $P_{i_0}$ als Ursprung. Die Eindeutigkeit folgt daraus, dass die
\mathbed {a_i} {}
{i \neq i_0} {}
{} {} {} {,}
durch die eindeutig bestimmten Koeffizienten der Vektorraumbasis festgelegt sind und dass $a_{i_0}$ durch die baryzentrische Bedingung festgelegt ist.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Barycentric RGB.png} }
\end{center}
\bildtext {Die Farben bei additiver Farbmischung mit den Primärfarben Rot, Blau und Grün
\zusatzklammer {dies entspricht den drei Zapfen im menschlichen Auge} {} {.}
Da es für das Auge nur auf das Mischverhältnis der drei Farben ankommt, kann man sich auf Linearkombinationen
\mathl{(r,g,b)}{} mit
\mavergleichskette
{\vergleichskette
{r+g+b
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {und nichtnegativen Koeffizienten} {} {}
beschränken. Farben werden also durch baryzentrische Koordinaten beschrieben, dadurch spart man eine Dimension.} }
\bildlizenz { Barycentric RGB.png } {} {RokerHRO} {Commons} {gemeinfrei} {}
\inputdefinition
{}
{
Es sei
\mathbed {P_i} {}
{i \in I} {}
{} {} {} {,}
eine
\definitionsverweis {affine Basis}{}{}
in einem
\definitionsverweis {affinen Raum}{}{}
$E$ über dem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$. Dann nennt man die zu einem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmten Zahlen
\mathdisp {(a_i, i \in I) \text{ mit } \sum_{i \in I} a_i =1} { }
mit
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { \sum_{i \in I} a_i P_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionswort {baryzentrischen Koordinaten}{}
von $P$.
}
\inputbeispiel{}
{
Es sei
\mathbed {P_i} {}
{i \in I} {}
{} {} {} {,}
eine
\definitionsverweis {affine Basis}{}{}
in einem
\definitionsverweis {affinen Raum}{}{}
$E$ über dem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$. Dann besitzt der Punkt $P_j$
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ j
}
{ = }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
die
\definitionsverweis {baryzentrischen Koordinaten}{}{}
\mathl{(0 , \ldots , 0,1,0 , \ldots , 0)}{,} wobei die $1$ an der $j$-ten Stelle steht
\zusatzklammer {und $I$ als endlich und geordnet angenommen wird} {} {.}
}
\inputdefinition
{}
{
Es sei $E$ ein
\definitionsverweis {affiner Raum}{}{}
mit einer
\definitionsverweis {affinen Basis}{}{}
\mathdisp {P_1,P_2 , \ldots , P_n ,P_{n+1}} { . }
Dann nennt man $n$ die
\definitionswort {Dimension}{}
von $E$.
} Damit ist die Dimension von einem nichtleeren affinen Raum gleich der Dimension des zugrunde liegenden Translationsraumes. Dies zeigt zugleich, dass diese Zahl wohldefiniert ist. Der leere affine Raum erhält die Dimension $-1$.
\zwischenueberschrift{Affine Unterräume}
\inputdefinition
{}
{
Es sei $E$ ein
\definitionsverweis {affiner Raum}{}{}
über dem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$. Eine Teilmenge
\mavergleichskette
{\vergleichskette
{F
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {affiner Unterraum}{,}
wenn
\zusatzklammer {$F$ leer ist} {} {}
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} {P+U
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, mit einem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem
$K$-\definitionsverweis {Untervektorraum}{}{}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} Diese Definition deckt sich mit der eingangs erwähnten Definition von affinen Unterräumen in einem Vektorraum.
\inputfaktbeweis
{Affiner Raum/Affiner Unterraum/Charakterisierung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $E$ ein
\definitionsverweis {affiner Raum}{}{}
über dem
$K$-\definitionsverweis {Vektorraum}{}{}
$V$.}
\faktuebergang {Für eine Teilmenge
\mavergleichskette
{\vergleichskette
{F
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind äquivalent.}
\faktfolgerung {\aufzaehlungdrei{$F$ ist ein
\definitionsverweis {affiner Unterraum}{}{}
von $E$.
}{Zu
\mavergleichskette
{\vergleichskette
{ P_1 , \ldots , P_n
}
{ \in }{ F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und Zahlen
\mathl{a_1 , \ldots , a_n}{} mit
\mavergleichskette
{\vergleichskette
{ \sum_{i = 1}^n a_i
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ \sum_{i = 1}^n a_i P_i
}
{ \in }{ F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Mit je zwei Punkten
\mavergleichskette
{\vergleichskette
{ P,Q
}
{ \in }{ F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ r,s
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r+s
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ rP+sQ
}
{ \in }{ F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Im leeren Fall sind alle drei Bedingungen erfüllt, sei also $F$ nicht leer.
$(1) \Rightarrow (2)$. Es sei
\mavergleichskette
{\vergleichskette
{F
}
{ = }{P+U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem
\definitionsverweis {Untervektorraum}{}{}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{P_i
}
{ = }{ P+u_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem
\mavergleichskette
{\vergleichskette
{ u_i
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nach Definition einer baryzentrischen Kombination ist
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n a_i P_i
}
{ =} { P + \sum_{i = 1}^n a_i \overrightarrow{ P P_i }
}
{ =} { P + \sum_{i = 1}^n a_i u_i
}
{ } {
}
{ } {
}
}
{}{}{}
ein Element von $F$.
$(2) \Rightarrow (3)$. Dies ist eine Abschwächung.
$(3) \Rightarrow (1)$. Wir wählen einen Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und betrachten
\mavergleichskettedisp
{\vergleichskette
{U
}
{ \defeq} { { \left\{ \overrightarrow{ P Q } \mid Q \in F \right\} }
}
{ \subseteq} {V
}
{ } {
}
{ } {
}
}
{}{}{.}
Es ist
\mavergleichskette
{\vergleichskette
{ 0
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zu
\mavergleichskette
{\vergleichskette
{ Q,Q'
}
{ \in }{ F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gehören nach Voraussetzung auch
\mathl{-P+2Q}{} und
\mathl{-P+2Q'}{} zu $F$. Damit gehört wiederum auch
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } { \left( -P+2Q \right) } + { \frac{ 1 }{ 2 } } { \left( -P+2Q' \right) }
}
{ =} { -P +Q+Q'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu $F$, wobei die Gleichheit auf
Aufgabe 29.15
beruht. Dieser Punkt ist aber gleich
\mavergleichskettedisp
{\vergleichskette
{ P - \overrightarrow{ P P } + \overrightarrow{ P Q } + \overrightarrow{ P Q' }
}
{ =} { P + \overrightarrow{ P Q } + \overrightarrow{ P Q' }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
sodass
\mathl{\overrightarrow{ P Q } + \overrightarrow{ P Q' }}{} zu $U$ gehört. Somit ist $U$ abgeschlossen unter der Vektoraddition. Es sei
\mavergleichskette
{\vergleichskette
{ Q
}
{ \in }{ F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ s
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gehört nach Voraussetzung auch
\mavergleichskettedisp
{\vergleichskette
{ (1-s)P+sQ
}
{ =} { P + s \overrightarrow{ P Q }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu $F$ und damit gehört
\mathl{s \overrightarrow{ P Q }}{} zu $U$. Also ist
\mavergleichskette
{\vergleichskette
{F
}
{ = }{P+U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem Untervektorraum $U$.