Da ist viel zu tun:
Du musst erst mal definieren was Addition und s-Multiplikation in VxW bedeuten sollen.
Vermutlich so
Für (x1/y1) und (x2/y2) aus VxW ist (x1/y1) + (x2/y2) = (x1+x2/y1+y2)
Für (x1/y1) aus VxW und a aus K (oder IR, wenn es IR-vektorräume sind) ist
a*(x1/y1)= (a*x1/ a*x2)
Damit kannst du dann die VR - Axiome alle nachprüfen.
Das ist viel Schreibarbeit aber nicht schwierig.