Affiner Raum/Untervektorraum/Affiner Restklassenraum/Aufgabe

Es sei ${}E$ ein affiner Raum über dem ${}K$-Vektorraum ${}V$ und es sei  ${}U\subseteq V$  ein Untervektorraum. Wir definieren auf ${}E$ eine Relation ${}\sim$ durch

$P\sim Q{\text{ genau dann, wenn }}\exists v\in U{\text{ mit }}P=Q+v.$

a) Zeige, dass ${}\sim$ eine Äquivalenzrelation ist.

b) Zeige, dass  ${}F:=E/\sim$  ein affiner Raum über dem Restklassenraum ${}V/U$ ist.

c) Zeige, dass die kanonische Projektion

$E\longrightarrow E/\sim$

eine affine Abbildung ist.

Eine Lösung erstellen