Kommutativgesetz

Schreibe morgen Mathe und brauche hilfe bei folgender Aufgabe:
Zeigen Sie, dass für einen Vektorraum gilt:
Die Kommutativität der Gruppe (V,+) folgt schon aus dem Assoziativgesetz und dem Distributivgesetz.

Hallo erstmal.

Schreibe morgen Mathe und brauche hilfe bei folgender Aufgabe:
Zeigen Sie, dass für einen Vektorraum gilt:
Die Kommutativität der Gruppe (V,+) folgt schon aus dem
Assoziativgesetz und dem Distributivgesetz.

Eine kleine Suche mit der bösen Suchmaschine @ „(V,+)“ +Kommutativität +assoziativgesetz ergibt so einiges: /t/vektorraeume/961662
http://matheplanet.com/default3.html?call=viewtopic…
http://fara.cs.uni-potsdam.de//wiki-upload/studium/s…

HTH
mfg M.L.

Zeigen Sie, dass für einen Vektorraum gilt:
Die Kommutativität der Gruppe (V,+) folgt schon aus dem
Assoziativgesetz und dem Distributivgesetz.

Das ist eine lustige kleine Denksportaufgabe.

**x** , **y** sind Vektoren 
**o** = Nullvektor 
0 = die reelle Zahl 0 
1 = die reelle Zahl 1 
/ = die reelle Zahl -1
\* = s-Multiplikation


**x** + **y** = ( **x** + **y** ) + **o**
 | |
 | = 0 \* ( **y** + **x** )
 | |
 | = (/ + 1) \* ( **y** + **x** )
 | |
 | = / \* ( **y** + **x** ) + 1 \* ( **y** + **x** )
 | |
 | = / \* ( **y** + **x** ) + ( **y** + **x** )
 |
 |
 = ( **x** + **y** ) + (/ \* ( **y** + **x** ) + ( **y** + **x** ))
 |
 | vom Assoziativgesetz Gebrauch machen
 |
 = (( **x** + **y** ) + / \* ( **y** + **x** )) + ( **y** + **x** )
 | ---------------------
 | |
 | = ( **x** + **y** ) + (/ \* **y** + / \* **x** )
 | |
 | | vom Assoziativgesetz Gebrauch machen
 | |
 | = (( **x** + **y** ) + / \* **y** ) + / \* **x**
 | |
 | | vom Assoziativgesetz Gebrauch machen
 | |
 | = ( **x** + ( **y** + / \* **y** )) + / \* **x**
 | | ---------
 | | |
 | | = **y** \* (1 + /)
 | | |
 | | = **y** \* 0
 | | |
 | | = **o**
 | |
 | |
 | = ( **x** + **o** ) + / \* **x**
 | |
 | = **x** + / \* **x**
 | |
 | = (1 + /) \* **x**
 | |
 | = 0 \* **x**
 | |
 | = **o**
 |
 |
 = **o** + ( **y** + **x** )
 |
 | vom Assoziativgesetz Gebrauch machen
 |
 = ( **o** + **y** ) + **x**
 |
 = **y** + **x**