Vektorraum/Untervektorraum/Verschiebung/Äquivalenzrelation/Fakt/Beweis
Erscheinungsbild
Beweis
Wir gehen die Bedingungen einer Äquivalenzrelation durch. Die Reflexivität folgt aus , die Symmetrie folgt aus , die Transitivität ergibt sich so: Aus und folgt .