ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Systèmes et bases

Exercice 18

Démonstration

L'ensemble ℂ\mathbb{C} peut être vu comme un ℂ\mathbb{C}-espace vectoriel, ou comme un ℝ\mathbb{R}-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 (1)(1) est une base du ℂ\mathbb{C}-espace vectoriel ℂ\mathbb{C}.

3. Démontrer que la famille (1 ;i)(1\,;\mathrm{i}) est une base du ℝ\mathbb{R}-espace vectoriel ℂ\mathbb{C}.

4. La famille (1 ;i)(1\,;\mathrm{i}) est-elle libre dans le ℂ\mathbb{C}-espace vectoriel ℂ\mathbb{C} ? Que conclure ?

Corrigé

1. L'ensemble (ℂ ;+)(\mathbb{C}\,;+) est un groupe abélien. La multiplication des complexes fournit une application de ℂ×ℂ\mathbb{C} \times \mathbb{C} dans ℂ\mathbb{C}, et sa restriction une application de ℝ×ℂ\mathbb{R} \times \mathbb{C} dans ℂ\mathbb{C}. Dans les deux cas, les axiomes D, A et N sont des règles de calcul dans le corps ℂ\mathbb{C}. ℂ est aˋ la fois un ℂ-espace vectoriel et un ℝ-espace vectoriel.\boxed{\mathbb{C} \text{ est à la fois un } \mathbb{C}\text{-espace vectoriel et un } \mathbb{R}\text{-espace vectoriel.}}

2. Liberté. Si λ⋅1=0\lambda \cdot 1=0 avec λ∈ℂ\lambda \in \mathbb{C}, alors λ=0\lambda=0. Caractère générateur. Tout z∈ℂz \in \mathbb{C} s'écrit z=z⋅1z=z \cdot 1. (1) est une base du ℂ-espace vectoriel ℂ.\boxed{(1) \text{ est une base du } \mathbb{C}\text{-espace vectoriel } \mathbb{C}.}

3. Liberté. Soient aa et bb réels tels que a⋅1+b⋅i=0a \cdot 1+b \cdot \mathrm{i}=0. L'unicité de la forme algébrique donne a=b=0a=b=0.

Caractère générateur. Tout complexe zz s'écrit z=a+ibz=a+\mathrm{i}b avec aa et bb réels. (1 ;i) est une base du ℝ-espace vectoriel ℂ.\boxed{(1\,;\mathrm{i}) \text{ est une base du } \mathbb{R}\text{-espace vectoriel } \mathbb{C}.}

4. Dans le ℂ\mathbb{C}-espace vectoriel ℂ\mathbb{C}, les coefficients sont autorisés à être complexes, et : i⋅1+(−1)⋅i=i−i=0\mathrm{i} \cdot 1+(-1) \cdot \mathrm{i}=\mathrm{i}-\mathrm{i}=0 avec (i ;−1)≠(0 ;0)(\mathrm{i}\,;-1) \neq (0\,;0). La famille (1 ;i) est lieˊe sur ℂ, alors qu’elle est libre sur ℝ.\boxed{\text{La famille } (1\,;\mathrm{i}) \text{ est liée sur } \mathbb{C}, \text{ alors qu'elle est libre sur } \mathbb{R}.} 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.

Dans l'édifice

Thèmes

espaces vectoriels, axiomes, familles libres, bases

Notions

espace vectoriel, famille libre, base (algèbre linéaire)

Ouvrir dans l'atlas interactif →