ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Espaces de dimension finie
Exercice 5
1. Soit une famille génératrice de . Montrer que est libre.
2. Pour , on pose , dont les dernières coordonnées sont nulles. Montrer que est une base de .
Corrigé
1. Une famille génératrice de vecteurs de est une base (théorème 4), donc libre, et sa sous-famille aussi.
2. Si , la -ième coordonnée vaut , car seul a une -ième coordonnée non nulle, égale à ; donc . La -ième coordonnée vaut alors , et ainsi de suite : la famille est libre, donc une base, puisqu'elle a éléments.