Salut,
Le critère de Cauchy de convergence uniforme pour une suite
de fonctions de X dans R, c'est :
La négation c'est bêtement ça :
qui te dit très précisément qu'il existe un réel
, deux suites d'entiers
,
et une suite
d'éléments de X tels que, pour tout
, on ait
et
.
Par contre (et évidement...) il ne faut pas écrire comme tu le fait que
vu que ça signifierais que
la limite existe et quelle est non nulle alors que tout ce qu'on peut dire, c'est que
ne tend pas vers 0, c'est à dire qu'il tend vers autre chose que 0,
ou bien qu'il n'y a pas de limite. Bref, la négation de "avoir une limite nulle", c'est évidement pas "avoir une limite non nulle".
Donc modulo l'écriture finale incohérente, oui, le résultat est on ne peut plus correct et c'est du "bête et méchant" vu que c'est stricto sensu la négation même du critère en question.
@aviateur : Ça m'étonnerais fort que la série des sin(nx)/n puisse converger uniformément sur [0,pi] vu qu'elle converge vers une fonction discontinue (a savoir (pi-x)/2 sur ]0,pi] et 0 en 0).