(0 )2 1436587@9BAC9EDGF4HI 7P5QHRFTSVU0DXW6F4H

F1 = {(2a2, a2, −a2) | a2 ∈ IR}
¨¥ ¨ F1
¢
(2x, x, −x) + (2y, y, −y) = (2x + 2y, x + y, −x − y)
= (2y + 2x, y + x, −y − x)
= (2y, y, −y) + (2x, x, −x)
(2x, x, −x) + ((2y, y, −y) + (2z, z, −z))
= (2x, x, −x) + (2y + 2z, y + z, −y − z)
= (2x + 2y + 2z, x + y + z, −x − y − z)
= (2x + 2y, x + y, −x − y) + (2z, z, −z)
= ((2x, x, −x) + (2y, y, −y)) + (2z, z, −z)
(2x, x, −x) + (2e, e, −e) = (2x, x, −x) =⇒ (2e, e, −e) = (0, 0, 0)
(2x, x, −x) + (−2x, −x, x) = (0, 0, 0) =⇒ − (2x, x,
−x)
(2x, x, −x)
(F1, +) ¡ ¢ ¢ ¥¤
α ((2x, x, −x) + (2y, y, −y)) = α (2x + 2y, x + y, −x − y)
= (2αx + 2αy, αx + αy, −αx − αy)
= (2αx, αx, −αx) + (2αy, αy, −αy)
= α (2x, x, −x) + α (2y, y, −y)
α (β (2x + 2y, x + y, −x − y)) = αβ (2x + 2y, x + y, −x − y)
83