Suma (algebra liniowa)
Z Wikipedii
Suma - w algebrze liniowej:
Niech
- V i W będą przestrzeniami liniowymi nad ciałem K.
- V = lin(a(1), ..., a(k))
- W = lin(b(1), ..., b(n))
wtedy V+W = lin(a(1), ..., a(k), b(1), ..., b(k))
Jeżeli każdy wektor z V+W można jednoznacznie przedstawić jako sumę wektorów z V i W, to sumę taką nazywamy sumą prostą i oznaczamy ją symbolem 
. Sytuacja taka ma miejsce wtedy i tylko wtedy, gdy częścią wspólną V i W jest zbiór zawierający tylko wektor zerowy.
Zachodzi twierdzenie: dim(V+W) + dim(V∩W)= dim(V) + dim(W).
Stąd widać, że jeżeli 
, to zachodzi: dim(V)+dim(W)=dim(X).
