MetMat

Comment montrer qu'une famille est une base ?

En montrant qu'elle est libre et de cardinal égal à la dimension

L'objectif

Prouver qu'une famille est une base de FF lorsque dimF\dim F est connue, en se contentant de prouver sa liberté.

Le principe

Soit FF un espace vectoriel de dimension finie nn ; toute famille libre de FF ayant nn éléments est une base de FF.

La méthode
  1. 1
    Je détermine ou rappelle dimF=n\dim F = n.
  2. 2
    Je vérifie que la famille F=(v1,,vp)\mathcal{F} = (v_1, \ldots, v_p) contient exactement p=np = n vecteurs.
  3. 3
    Je montre que F\mathcal{F} est libre (par résolution directe ou par calcul de rang).
    Voir
  4. 4
    Je conclus : F\mathcal{F} est une base de FF par le théorème ci-dessus.

Exemple corrigé

Difficulté croissante de 1 à 3

Exercices aujourd'hui0 / 3

Prêt à t'entraîner ?

Génère un exercice personnalisé sur cette méthode et entraîne-toi avec la correction IA.