dimension d'un vecteur \(\vec u\) : nombre de coordonnées de \(\vec u\)
Définition : $$\operatorname{dim}\{ {{0_E}}\}={{0}}$$
Dimension : nombre d'éléments dans une base
Théorème :
Soit \(F\) un sous-espace vectoriel de \(E\)
Si \(E\) est de dimension finie, alors \(F\) est de dimension finie
Dimension des sous-espaces vectoriels :
Pour tout espace vectoriel \(F\subset E\), $$\operatorname{dim}F\leqslant \operatorname{dim}E$$