Theorem
Soient un -espace vectoriel de dimension finie et un sous-espace de , alors
- Le sous-espace vectoriel est de dimension finie
- La dimension satisfait
- Si , alors on a
Theorem
Soient un -espace vectoriel de dimension finie et un sous-espace de , alors
- Le sous-espace vectoriel est de dimension finie
- La dimension satisfait
- Si , alors on a