ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Systèmes et bases
Exercice 18
L'ensemble peut être vu comme un -espace vectoriel, ou comme un -espace vectoriel, la loi externe étant dans les deux cas la multiplication des complexes.
1. Justifier que ces deux structures sont bien définies.
2. Démontrer que la famille est une base du -espace vectoriel .
3. Démontrer que la famille est une base du -espace vectoriel .
4. La famille est-elle libre dans le -espace vectoriel ? Que conclure ?
Corrigé
1. L'ensemble est un groupe abélien. La multiplication des complexes fournit une application de dans , et sa restriction une application de dans . Dans les deux cas, les axiomes D, A et N sont des règles de calcul dans le corps .
2. Liberté. Si avec , alors . Caractère générateur. Tout s'écrit .
3. Liberté. Soient et réels tels que . L'unicité de la forme algébrique donne .
Caractère générateur. Tout complexe s'écrit avec et réels.
4. Dans le -espace vectoriel , les coefficients sont autorisés à être complexes, et : avec . Conclusion : la liberté d'une famille n'est pas une propriété des seuls vecteurs. Elle dépend du corps des scalaires, exactement comme l'injectivité d'une application dépendait de son ensemble de départ au chapitre 2.