W={(a,b,c):a+b+c=0} kümesi için
i) W nin R3 vektör uzayının bir alt uzayı olması için
a) W boş olmamalı,
(0,0,0)∈W olduğundan W boş değil.
b) x,y∈W için x+y∈W olmalı,
x=(a1,b1,c1) , y=(a2,b2,c2)
x+y=(a1+a2,b1+b2,c1+c2)
(a1+a2)+(b1+b2)+(c1+c2)=(a1+b1+c1)+(a2+b2+c2)=0
olduğundan x+y∈W
c) x=(a,b,c)∈W ve k∈R için kx∈W olmalı
kx=k(a,b,c)=(ka,kb,kc)
ka+kb+kc=k(a+b+c)=k.0=0
olduğundan kx∈W
dolayısıyla W, R3 ün bir alt uzayıdır.
ii) W nin bir bazını ve boyutunu bulalım.
W={(a,b,c):a+b+c=0}
={(a,b,c):a=−b−c}
={(−b−c,b,c):b,c∈R}
={b(−1,1,0)+c(−1,0,1):b,c∈R}
Yani W nin bir bazı {(−1,1,0),(−1,0,1)} dir. İçindeki vektörler doğrusal bağımsız olduğundan W nin boyutu 2 dir.
iii) ii) de bulduğumuz bazı R3 için bir baz olacak şekilde genişletirsek, {(−1,1,0),(−1,0,1),(1,0,0)} kümesi R3 için bir baz olur.