IR^n est un espace vectoriel de dimension n 
IR^n={(x1,x2,..,xn)/x1,x2,..,xn€R} = {x1(1,0,..,0) + x2(0,1,..,0) + .. + xn(0,0,..,1)/x1,x2,..,xn € R}
soit F={e1,e2,..,en} une famille de n vecteurs de R^n avec e1=(1,0,..,0),.., en=(0,0,..,1)
alors IR^n est un espace vectoriel engendré par F c´est à dire que tout élément de IR^n peut s´écrire comme une combinaison linéaire des élements de F, ce qui se note: IR^n=Vect(F)
F est donc une famille génératrice de IR^n, de plus les éléments de F étant linéairement indépendants (i.e. pour tout aj€R a1e1+a2e2+..+anen=O^n => pour tout j aj=0), F est une famille libre. F étant libre et génératrice de IR^n, F est une base de IR^n
on en déduit la dimension de IR^n (égale au nombre d´éléments de la base):
dim IR^n=Card(F)=n
c´est à dire que tout élément ou vecteur de IR^n peut s´écrire de manière unique comme une combinaison linéaire des n vecteurs formant la base F.
