u + v = v + u

Bukti :
u + v = (u
1
, u
2
, u
3
) + (v
1
, v
2
, v
3
)
= (u
1
+ v
1
, u
2
+ v
2
, u
3
+ v
3
)
= (v
1
+ u
1
, v
2
+ u
2
, v
3
+ u
3
) [sifat
komutatif bil.riil]
= (v
1
, v
2
, v
3
) + (u
1
, u
2
, u
3
)
= v + u
u + v) + w = u + (v + w)
Bukti :
(u + v) + w = [(u
1
, u
2
, u
3
) + (v
1
, v
2
, v
3
)] + (w
1
, w
2
,
w
3
)
= (u
1
+ v
1
, u
2
+ v
2
, u
3
+ v
3
) + (w
1
,
w
2
, w
3
)
= ([u
1
+ v
1
] + w
1
, [u
2
+ v
2
] + w
2
,
[u
3
+ v
3
] + w
3
)
= (u
1
+ [v
1
+ w
1
], u
2
+ [v
2
+ w
2
], u
3

+ [v
3
+ w
3
]) [sifat asosiatif bil.riil]
= (u
1
, u
2
, u
3
) + (v
1
+ w
1
, v
2
+ w
2
,
v
3
+ w
3
)
= (u
1
, u
2
, u
3
) + [(v
1
, v
2
, v
3
) + (w
1
,
w
2
, w
3
)]
= u + (v + w)
u + 0 = 0 + u = 0
Bukti :
u + 0 = (u
1
, u
2
, u
3
) + (0, 0, 0)
= (u
1
+ 0, u
2
+ 0, u
3
+ 0)
= (0 + u
1
, 0 + u
2
, 0 + u
3
) [sifat komutatif
bil.riil]
= (0, 0, 0) + (u
1
, u
2
, u
3
)
= 0 + u
0 + u = (0, 0, 0) + (u
1
, u
2
, u
3
)
= (0 + u
1
, 0 + u
2
, 0 + u
3
)
= (u
1
, u
2
, u
3
) [sifat penjumlahan bilangan
nol]
= u
u + 0 = 0 + u = u
u + (-u) = 0
Bukti :
u + (-u) = (u
1
, u
2
, u
3
) + (-u
1
, -u
2
, -u
3
)
= (u
1
u
1
, u
2
u
2
, u
3
u
3
)
= (0, 0, 0) [sifat pengurangan bil.riil]
= 0
(lu) = (kl)u
Bukti :
k(lu) = k[l(u
1
, u
2
, u
3
)]
= k(lu
1
, lu
2
, lu
3
)
= (k[lu
1
], k[lu
2
], k[lu
3
])
= ([kl]u
1
, [kl]u
2
, [kl]u
3
) [sifat asosiatif
bil.riil]
= (kl)(u
1
, u
2
, u
3
)
= (kl)u
u + v) = ku + kv
Bukti :
k(u + v) = k[(u
1
, u
2
, u
3
) + (v
1
, v
2
, v
3
)]
= k(u
1
+ v
1
, u
2
+ v
2
, u
3
+ v
3
)
= (k[v
1
+ u
1
], k[v
2
+ u
2
], k[v
3
+ u
3
])
= (ku
1
+ kv
1
, ku
2
+ kv
2
, ku
3
+ kv
3
)
[sifat distributif bil.riil]
= (ku
1
, ku
2
, ku
3
) + (kv
1
, kv
2
, kv
3
)
= k(u
1
, u
2
, u
3
) + k(v
1
, v
2
, v
3
)
= ku + kv
u = ku + lu
Bukti :
(k + l)u = (k + l)(u
1
, u
2
, u
3
)
= ([k + l]u
1
, [k + l]u
2
, [k + l]u
3
)
= (ku
1
+ lu
1
, ku
2
+ lu
2
, ku
3
+ lu
3
) [sifat
distributif bil.riil]
= (ku
1
, ku
2
, ku
3
) + (lu
1
, lu
2
, lu
3
)
= ku + lu
u = u
Bukti :
1u = 1(u
1
, u
2
, u
3
)
= (1u
1
, 1u
2
, 1u
3
)
= (u
1
, u
2
, u
3
) [sifat identitas perkalian bil.rill]
= u