Version: Test
©Raddy 2000

Vektorräume VI                                         ZURÜCK

2.Teil Beweis:
Gleichheit von
Nebenklassen
a-absatz.pcx (280 Byte)2.Teil des Beweis
       Nun müssen wir noch "in die andere Richtung" beweisen, d.h. wir
       wollen beweisen: Wenn v-wm-elem.pcx (209 Byte)U, dann gilt: v+U = w+U

       a-kreis1.pcx (176 Byte)  Laut Voraussetzung ist v-wm-elem.pcx (209 Byte)U, d.h. es gibt ein u0 mit v-w=u0
           Indem wir die diese Formel umstellen, können wir die
           Voraussetzung auch anders schreiben: v = u0+w

       a-kreis1.pcx (176 Byte)
Nun zum Beweis: Die Nebenklasse v+U kann man
           auch folgendermaßen schreiben:
 
      v+u       mit: um-elem.pcx (209 Byte)U
 
  Den Vektor v dürfen wir nach Voraussetzung
  durch u0+w ersetzen:
 
      u0+w+u     mit: um-elem.pcx (209 Byte)U
 
  Die Menge u0+w+u mit: um-elem.pcx (209 Byte)U ist Teilmenge von w+U,
  denn jeder Vektor u0+u ist wegen der "Abgeschlossenheit"
  des Unteraumes U ein Vektor aus U:  
 
      w+u0+u m-teil.pcx (203 Byte) w+U    mit: um-elem.pcx (209 Byte)U
 
  Den Vektor w+u0 dürfen wir nach Voraussetzung
  wieder durch v ersetzen:
 
       v+u m-teil.pcx (203 Byte) w+U mit: um-elem.pcx (209 Byte)U
 
  Das kann man nun wiederum so schreiben:
 
       v+U m-teil.pcx (203 Byte) w+U

       a-kreis1.pcx (176 Byte) Wir haben soeben bewiesen: Aus v-wm-elem.pcx (209 Byte)U folgt   v+Um-teil.pcx (203 Byte) w+U .
            Genauso könnte man beweisen: Aus w-vm-elem.pcx (209 Byte)U folgt w+Um-teil.pcx (203 Byte) v+U
            Wenn aber gilt v+Um-teil.pcx (203 Byte) w+U  und  w+Um-teil.pcx (203 Byte) v+U , dann gilt
            v+U=w+U, was wir auf dieser Seite beweisen wollten.