Du musst die VR-Axiome für (V x W , + , · ) zeigen. Z.B.
1. Abgeschlossen bzgl. +:
Seien (v, w) und (v′, w′) aus V x W, dann ist die Summe
(v, w) +(v′, w′) = (v + v′, w + w′) wieder in V x W,
denn wegen der Abg. von (V,+) ist v+v' ∈ V
und entsprechend w+w' ∈ W.
2. Assoziativität von +:
Seien (v, w) und (v′, w′) und (v′', w′') aus V x W.
Dann gilt ( (v, w) +(v′, w′) ) + (v'', w'')
= (v + v′, w + w′) + (v'', w'')
= ((v + v′)+v'', (w + w′)+w'')
wegen der Ass. in V und W ist das gleich
= (v + (v′+v''), w + (w′+w'') ) Def. anwenden:
= (v,w) + (v′+v'' ,w′+w'') nochmal
= (v, w) +((v′, w′) + (v'', w'')). q.e.d.
In der Art kannst du alle VR-Axiome auf die
Gültigkeit in V und W "zurückspielen".