Um zu beweisen, dass es sich um Vektorräume handelt, musst du die acht Axiome einzeln beweisen (wenn es kein Vektorraum ist, würde es natürlich ausreichen, ein Axiom zu widerlegen). Bei (b) ist es hilfreich sich erst zu überlegen, welche Vektoren in dem Vektorraum sind, also für welche x,y∈ℚ die Gleichung x2=-y2 erfüllt ist. Sowohl (a) als auch (b) sind meines Erachtens Vektorräume
Als Beispiel beweise ich mal ein Axiom für (a):
$$\text{Zu zeigen: }\quad\lambda \odot \left( v_1 \oplus v_2\right) = \lambda\odot v_1 \oplus \lambda\odot v_2 \text{ für alle }\lambda \in \mathbb{R} \text{ und } v_1,v_2\in V_1$$
$$v_1 = a_1, \quad v_2 = a_2, \quad a_1,a_2 \in \mathbb{R}^+\\ \lambda \odot \left( v_1 \oplus v_2\right) =\left( a_1 \cdot a_2\right)^{\lambda}= a_1^\lambda\cdot a_2^\lambda=\lambda\odot v_1 \oplus \lambda \odot v_2$$