Exo 1.1 du Félix Tanré
Soient $f_1,f_2 : X \longrightarrow Y$ homotopes et soit $g : Y \longrightarrow Z$ quelconque. Montrer que $g \circ f_1$ et $g\circ f_2$ sont homotopes.
L'exo n'est pas corrigé dans le livre. Je pense que formulé tel quel, il est faux. Si $F : X \times [0,1] \longrightarrow Y$ est l'homotopie entre $f_1$ et $f_2$, la seule homotopie potentielle que je vois c'est $g \circ F$, qui n'a aucune raison d'être continue si $g$ est quelconque. Il y a une erreur dans l'énoncé du bouquin, ou c'est moi qui n'ai pas compris un truc ?
L'exo n'est pas corrigé dans le livre. Je pense que formulé tel quel, il est faux. Si $F : X \times [0,1] \longrightarrow Y$ est l'homotopie entre $f_1$ et $f_2$, la seule homotopie potentielle que je vois c'est $g \circ F$, qui n'a aucune raison d'être continue si $g$ est quelconque. Il y a une erreur dans l'énoncé du bouquin, ou c'est moi qui n'ai pas compris un truc ?
Réponses
-
La composition de deux fonctions continues est continue.Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
-
Oui mais $g$ est supposée quelconque, justement. On est d'accord qu'il faut la supposer continue pour que ça marche ?
-
Dans les bouquins de topologie, "$g: Y\to Z$" signifie que $g$ est une application continue. Donc "$g$ quelconque" veut dire "$g$ continue quelconque".
C'est sûrement explicité quelque part au début du bouquin (quelque chose comme "sauf mention expresse du contraire, toutes les applications considérées seront continues") -
Ils précisent "continue" partout dans le bouquin quand ils veulent continue, donc ça doit être un oubli. En tout cas on est d'accord que $g$ doit être continue pour que ça marche.
-
Pour un contre-exemple lorsque $g$ est non continue, prendre $X:=Y:=\R$ avec topologie usuelle, $f_1:x\mapsto 0$, $f_2:x\mapsto \sqrt 2$ (fonctions constantes), $Z:=\{0,1\}$ avec topologie discrète et $g:=\mathbf 1_{\Q}$ (fonction caractéristique de $\Q$).
Cela dit je suis d'accord avec Maxtimax : ce genre de livre n'est consacré qu'à des fonctions continues sauf mention expresse du contraire. Pour un débutant les sous-entendus peuvent être certes problématiques.Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$. -
Je me doute bien, mais ils précisent continue tout le temps, donc je n'étais pas sûr.
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