Aksioma 7
k(u ⃗+v ⃗ )=ku ⃗+kv ⃗
Bukti kiri:
k(u ⃗+v ⃗ )=k[(x,y)+(x^',y')]
=k(x+x'+1 , y+y'+1)
=(k(x+x'+1) , k(y+y'+1))
Bukti kanan:
ku ⃗+kv ⃗=k(x,y)+k(x',y')
= (kx,ky)+(kx',ky')
= (kx+kx'+1,ky+ky'+1)
Bukti kiri ≠ bukti kanan sehingga TIDAK MEMENUHI/GAGAL
Aksioma 8
(k+m) u ⃗ =ku ⃗ + mu ⃗
Bukti kiri:
(k+m) u ⃗ =(k+m)(x,y)
=[(k+m)x,(k+m)y]
Bukti kanan :
ku ⃗ + mu ⃗ =k(x,y)+m(x,y)
=(kx,ky)+(mx,my)
= (kx+mx+1,ky+my+1)
= [(k+m)x+1,(k+m)y+1]
Bukti kiri ≠ bukti kanan sehingga TIDAK MEMENUHI/GAGAL
Aksioma 10
1.u ⃗=u ⃗
Bukti:
1.u ⃗=1.(x,y)=(1.x,1.y)=(x,y)=u ⃗ (MEMENUHI)
Aksioma 7
k(u ⃗+v ⃗ )=ku ⃗+kv ⃗
Bukti kiri:
k(u ⃗+v ⃗ )=k[(x,y)+(x^',y')]
=k(x+x'+1 , y+y'+1)
=(k(x+x'+1) , k(y+y'+1))
Bukti kanan:
ku ⃗+kv ⃗=k(x,y)+k(x',y')
= (kx,ky)+(kx',ky')
= (kx+kx'+1,ky+ky'+1)
Bukti kiri ≠ bukti kanan sehingga TIDAK MEMENUHI/GAGAL
Aksioma 8
(k+m) u ⃗ =ku ⃗ + mu ⃗
Bukti kiri:
(k+m) u ⃗ =(k+m)(x,y)
=[(k+m)x,(k+m)y]
Bukti kanan :
ku ⃗ + mu ⃗ =k(x,y)+m(x,y)
=(kx,ky)+(mx,my)
= (kx+mx+1,ky+my+1)
= [(k+m)x+1,(k+m)y+1]
Bukti kiri ≠ bukti kanan sehingga TIDAK MEMENUHI/GAGAL