Robot a écrit:Vu que h converge uniformément vers 0, on peut supposer h([0,1]) contenu dans [-1,1], tout simplement. (En raisonnant avec des suites, h_n([0,1]) est contenu dans [-1,1] pour n suffisamment grand).
C'est l'argument qu'il convenait d'ajouter.
Je corrige le raisonnement avec l'argument que vous m'avez indiqué:
La fonctions g est continue sur [0,1], alors g([0,1]) est inclus dans un compacts K_1 . De plus, vu
que h converge uniformément vers 0, on peut supposer h([0,1]) contenu dans [-1,1].
Posons

.
Puisque f est continue sur K, alors elle est uniformément continue sur K. Donc:
\in [-1, 1]^2)
- f(x, h_2)|<\epsilon)
Si on prend

, càd pour tout t dans [0,1], on a
|<\delta)
, alors
,h(t))- f(g(t), 0)|<\epsilon)
pour tout t dans [0,1]
C'est équivaut à dire que la fonction
, h(t)))
converge uniformément vers
f(g(t), 0) lorsque h converge uniformément vers 0.
C'est correct maintenant ou non?