Bonjour tout le monde,
j'ai lu ceci:
"L'ensemble des points de continuité d'une fonction dérivable est dense".
Comment le montrer?A quoi ça sert?
Merci d'avance de vos idées!
Salut.
C'est un corollaire du théorème de la limite simple de Baire : si f est une fonction de dans lui même, et est limite simple d'une suite de fonctions continues, alors l'ensemble des points de continuité de f est dense. (le véritable énoncé est dans le cadre des espaces métriques)
Ensuite, on peut facilement, dans le cas qui nous intéresse, exprimer f' comme une limite simple de fonctions continues. (utiliser la définition de la dérivée)
Le point délicat, c'est la démonstration de ce fameux théorème : c'est une conséquence du lemme de Baire.
Tu peux trouver la démonstration dans un livre de topologie.
Si tu veux, je peux donner l'énoncé d'un exercice qui démontre ce théorème. (c'est comme ça que je l'ai connu)
Il y a de très jolis exos sur ce lien, de grands classiques.
C'est bien de lui dont je parlais, si tu as des difficultés, tu peux poser des questions. (et je n'ai pas dit que c'était évident ^^)
Comment montre t-on que est dense?
(par exemple, parce que j'ai tellement de questions qu'il faut bien commencer par quelque chose )
Il faut utiliser le lemme de Baire, qui peut s'énoncer ainsi : une union dénombrables de fermés d'intérieurs vides de est d'intérieur vide.
Pour montrer que est dense, tu peux montrer que pour tout , et tout , .
Pour cela, considère la suite de fermés ,et applique lui le lemme de Baire.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :