On dit que F est un sous espace vectorielle de Kⁿ si:
F ⊂ Kⁿ
0Kⁿ ∈ F
∀ 𝜆 ∈ K, ∀u,v ∈ F, 𝜆u+v ∈ F
(u1,…,up) est une famille génératrice de F si
F = Vect(u1,…,up)
(u1,…,up) est une famille libre si
∀𝜆1,…,𝜆p ∈K, (𝜆1u1+…+𝜆pup = 0 ⇒ 𝜆1=…=𝜆p=0)
une famille qui n’est pas libre est
liée
une famille d’un SEV F de Kⁿ est une base de F si et seulement si
elle est libre et génératrice de F
on dit que B est une base de F si
tout vecteur de F s’écrit d’une et une seule façon comme combinaison linéaire de u1,…,up
on appelle dimension d’un SEV F≄{0} de Kⁿ
le cardinal d’une base de F. on la note dim(F)