Composée d'applications
dans Algèbre
Bonsoir et désolé pour le dérangement... Je bloque sur un exercice d'algèbre.
Soient $E, F, G$ [des ensembles et $f,g,h$] trois applications [telles que] $$
\xymatrix{ E\ar[rr]^{f} & & F \ar[dl]^{g}\\&G\ar[lu]^{h}}
$$Établir que si $h\circ g\circ f$ est injective et que $g\circ f\circ h$ et $f\circ h\circ g$ sont surjectives alors $f, g , h$ sont [toutes trois] bijectives.
J'arrive à faire pour deux applications mais je bloque pour trois applications.
Merci d'avance.
Soient $E, F, G$ [des ensembles et $f,g,h$] trois applications [telles que] $$
\xymatrix{ E\ar[rr]^{f} & & F \ar[dl]^{g}\\&G\ar[lu]^{h}}
$$Établir que si $h\circ g\circ f$ est injective et que $g\circ f\circ h$ et $f\circ h\circ g$ sont surjectives alors $f, g , h$ sont [toutes trois] bijectives.
J'arrive à faire pour deux applications mais je bloque pour trois applications.
Merci d'avance.
Réponses
-
Tu peux commencer par montrer que $f$ est bijective, et pour ça, tu peux montrer grâce aux hypothèses qu'elle est injective et surjective. Bon travail !
-
Merci poirot c'est gentille ^^
-
C'est une conséquence d'un exercice lemme de celui-ci :
Si $f \circ g$ est injective alors f est injective.
Si $f \circ g$ est surjective alors g est surjective.Algebraic symbols are used when you do not know what you are talking about.
-- Schnoebelen, Philippe -
Ne serais-ce pas plutôt
$f \circ g$ injective implique $g$ injective -
Oui, et de même, c'est f qui est surjective.
pas toujours facile de se souvenir de l'ordre, mais comme pour $f\circ g$ surjective de E dans G, tout élément de G est un f(g(x)), c'est un f(y).
Je soupçonne que Nicolas s'est fait plutôt piéger par l'inversion de l'ordre : Dans le schéma de Stef_ntic, c'est $g\circ f$, pas $f\circ g$ qui intervient.
Cordialement.
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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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