Calculer la dimension d'un espace vectoriel (ou d'un sous-espace) en exhibant une base et en comptant ses vecteurs.
Choisissez une approche :
En exhibant une base de EEE et en comptant son cardinal
On construit une famille de vecteurs de EEE, on prouve qu'elle est libre et génératrice, puis la dimension est égale à son cardinal.