Affiner Raum/Endliche Punktfamilie/Affin unabhängig/Charakterisierung/Fakt

Es sei ${}E$ ein affiner Raum über einem ${}K$-Vektorraum ${}V$ und es sei

$P_{1},\ldots ,P_{n}$

eine endliche Familie von Punkten aus ${}E$. Dann sind die folgenden Aussagen äquivalent.

1. Die Punkte ${}P_{1},\ldots ,P_{n}$ sind affin unabhängig.
2. Für jedes ${}i\in {\{1,\ldots ,n\}}$ ist die Vektorfamilie

   ${\overrightarrow {P_{i}P_{1}}},\ldots ,{\overrightarrow {P_{i}P_{i-1}}},\,{\overrightarrow {P_{i}P_{i+1}}},\ldots ,{\overrightarrow {P_{i}P_{n}}}$

   linear unabhängig.

3. Es gibt ein ${}i\in {\{1,\ldots ,n\}}$ derart, dass die Vektorfamilie

   ${\overrightarrow {P_{i}P_{1}}},\ldots ,{\overrightarrow {P_{i}P_{i-1}}},\,{\overrightarrow {P_{i}P_{i+1}}},\ldots ,{\overrightarrow {P_{i}P_{n}}}$

   linear unabhängig ist.

4. Die Punkte ${}P_{1},\ldots ,P_{n}$ bilden in dem von ihnen erzeugten affinen Unterraum eine affine Basis.

Zum Beweis, Alternativen Beweis erstellen