Espace vectoriel et familles
Bonjour,j'espère que vous allez bien !
J'ai la question suivante.
Si on a $(E,+,\times )$ un $\mathbb{C}$ espace vectoriel
Une famille finie de $E, \mathbb{R}$-génératrice est-elle $\mathbb{C}$-génératrice ? Et la réciproque de cela ?
(ici $\mathbb R$-génératrice veut dire que le corps de l'espace vectoriel $E$ est $\mathbb R$).
Pour la première, j'ai utilisé la définition d'une famille génératrice $\forall x\in E,\ \exists (\lambda _{1},\lambda _{2},\ldots ,\lambda _{n})\in \mathbb{R}^{n},\ x=\sum _{{k=1}}^{n}\lambda _{k}f_{k}$ et puisque $\mathbb{R} \subset \mathbb{C}$ donc $\forall x\in E,\ \exists (\lambda _{1},\lambda _{2},\ldots ,\lambda _{n})\in \mathbb{C}^{n},\ x=\sum _{{k=1}}^{n}\lambda _{k}f_{k}$
et donc La famille est $\mathbb C$-génératrice .
J'ai encore des doutes sur mon raisonnement et pour la réciproque je n'ai pas d'idée.
Merci pour vos réponses.
J'ai la question suivante.
Si on a $(E,+,\times )$ un $\mathbb{C}$ espace vectoriel
Une famille finie de $E, \mathbb{R}$-génératrice est-elle $\mathbb{C}$-génératrice ? Et la réciproque de cela ?
(ici $\mathbb R$-génératrice veut dire que le corps de l'espace vectoriel $E$ est $\mathbb R$).
Pour la première, j'ai utilisé la définition d'une famille génératrice $\forall x\in E,\ \exists (\lambda _{1},\lambda _{2},\ldots ,\lambda _{n})\in \mathbb{R}^{n},\ x=\sum _{{k=1}}^{n}\lambda _{k}f_{k}$ et puisque $\mathbb{R} \subset \mathbb{C}$ donc $\forall x\in E,\ \exists (\lambda _{1},\lambda _{2},\ldots ,\lambda _{n})\in \mathbb{C}^{n},\ x=\sum _{{k=1}}^{n}\lambda _{k}f_{k}$
et donc La famille est $\mathbb C$-génératrice .
J'ai encore des doutes sur mon raisonnement et pour la réciproque je n'ai pas d'idée.
Merci pour vos réponses.
Réponses
-
Bonjour.
Ton raisonnement est correct. Plus littérairement, si tout élément de E est combinaison linéaire à coefficients réels des $f_k$, alors tout élément de E est combinaison linéaire à coefficients complexes des $f_k$. Donc la famille est génératrice. On ne fait qu'utiliser le fait que les réels sont dans $\mathbb C$.
Pour la réciproque prends le $\mathbb C$-espace vectoriel $\mathbb C$ et la famille à un seul élément $1$ (elle est génératrice, c'est même une base).
Cordialement -
Bonjour Gerard0, merci pour la réponse rapide . tout est clair maintenant .
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 64 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres