Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

une citation de Baire

Posté par
robby3
01-09-09 à 19:31

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!

Posté par
elhor_abdelali Correcteur
re : une citation de Baire 01-09-09 à 19:34

je dirai plutôt d'une fonction dérivée ...

Posté par
robby3
re : une citation de Baire 01-09-09 à 19:36

oui pardon,Elhor.

Posté par
Arkhnor
re : une citation de Baire 01-09-09 à 20:08

Salut.

C'est un corollaire du théorème de la limite simple de Baire : si f est une fonction de \mathbb R 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)

Posté par
robby3
re : une citation de Baire 01-09-09 à 20:46

Citation :
Tu peux trouver la démonstration dans un livre de topologie.

pas de topologie au capes de maths, donc pour ma part, ça restera juste une lecture...
j'ai encore bien d'autres choses à voir!

Merci de ces informations Arkhnor

Posté par
Arkhnor
re : une citation de Baire 01-09-09 à 20:52

pas de topologie au capes de maths
Même pas dans le cadre des espaces métriques ou des evn ?

Posté par
robby3
re : une citation de Baire 01-09-09 à 20:56

si mais vraiment trés trés peu...

ici,y'a un exercice qui permet d'arriver au théorème en question...et ça me semble pas si évident (pour moi) que ça.

Posté par
Arkhnor
re : une citation de Baire 02-09-09 à 08:10

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 ^^)

Posté par
robby3
re : une citation de Baire 02-09-09 à 10:57

Comment montre t-on que \Omega_{\epsilon} est dense?
(par exemple, parce que j'ai tellement de questions qu'il faut bien commencer par quelque chose )

Posté par
Arkhnor
re : une citation de Baire 02-09-09 à 11:46

Il faut utiliser le lemme de Baire, qui peut s'énoncer ainsi : une union dénombrables de fermés d'intérieurs vides de 3$ \mathbb R est d'intérieur vide.

Pour montrer que 3$ \Omega_\epsilon est dense, tu peux montrer que pour tout 3$ x \in \mathbb R, et tout 3$ \delta > 0, 3$ \Omega_\epsilon \cap [x-\delta, x+\delta] \neq \emptyset.
Pour cela, considère la suite de fermés 3$ F_{\epsilon, n} \cap [x-\delta, x+\delta],et applique lui le lemme de Baire.

Posté par
Arkhnor
re : une citation de Baire 05-09-09 à 15:34

Du nouveau ?

Posté par
robby3
re : une citation de Baire 05-09-09 à 15:36

non,j'ai lâché l'affaire

Posté par
Arkhnor
re : une citation de Baire 05-09-09 à 15:47

Dommage.

A la limite, tu peux trouver une démonstration sur Wikipédia :

Posté par
robby3
re : une citation de Baire 05-09-09 à 15:51

je regarderais ça... un jour

merci



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !