Exercice en espace vectoriel
dans Algèbre
Svp je n'arrive pas à résoudre cet exercice en e.v.
Soient $E$ un $K$-espace vectoriel et $F$ est un s.e.v de $E$.
Monter que si $F \subsetneq E$ (strictement), alors $Vect(E\setminus F)=E$.
Merci d'avance.
Soient $E$ un $K$-espace vectoriel et $F$ est un s.e.v de $E$.
Monter que si $F \subsetneq E$ (strictement), alors $Vect(E\setminus F)=E$.
Merci d'avance.
Réponses
-
Qu'as-tu essayé ?
-
On peut procéder de la façon suivante.
On considère un supplémentaire $G$ de $F$ dans $E$: $E=F\oplus G$. L'hypothèse sur $F$ entraîne que $G$ est non nul.
Je te suggère de regarder le sous-espace engendré par les vecteurs $g+f,$ avec $g\in G\setminus\{0\}$ et $f\in F$. -
Plus généralement, le sous-groupe engendré par le complémentaire d'un sous-groupe strict d'un groupe $G$ vaut $G$ tout entier.
-
@killersmile : passer par des supplémentaires pour un truc aussi élémentaire... :-D
Je préfère l'approche de Poirot, dans laquelle on voit que ça n'a rien de spécifique aux espaces vectoriels (et qui donne une idée de la preuve puisque ce sont essentiellement les hypothèses "minimales") -
On remarque que $Vect(E\setminus F)$ contient $E \setminus F$.
Il reste donc à montrer que $Vect(E\setminus F)$ contient $F$.
Soit $f \in F$. On sait qu'il existe $e \in E$, tel que $e \not\in F$.
Peut-on écrire $f$ comme combinaison linéaire d'éléments n'appartenant pas à $F$ en utilisant $e$ ?
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K 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
- 62 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
- 312 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