Densité de fonctions de classe C1
Bonsoir,
Munissons $E=C_b(\mathbb{R},\mathbb{R}) $ (espace des fonctions continues bornées sur $\mathbb{R}$) de la norme infinie $||.||_{\infty}$.
Est-ce que l'espace des fonctions de classe $C^1$ bornées est dense dans $E$?
J'ai essayé d'exploiter le théorème de Weierstrass, mais le problème c'est qu'une fonction continue peut avoir beaucoup de points de non dérivabilité.
Munissons $E=C_b(\mathbb{R},\mathbb{R}) $ (espace des fonctions continues bornées sur $\mathbb{R}$) de la norme infinie $||.||_{\infty}$.
Est-ce que l'espace des fonctions de classe $C^1$ bornées est dense dans $E$?
J'ai essayé d'exploiter le théorème de Weierstrass, mais le problème c'est qu'une fonction continue peut avoir beaucoup de points de non dérivabilité.
Réponses
-
Au pire on doit pouvoir approcher par une fonction sympa sur tous les $[n,n+1]$ puis recoller (pas sympa mais pas démoniaque non plus) les bords. Non ?
-
On peut aussi commencer par se donner une famille $(\phi_n)_n$ de fonctions $C^1$ où chaque $\phi_n$ est à support dans $[n-1,n+1}$ et où la somme des $\phi_n$ est constante égale à $1$ (et où elles sont positives aussi tant qu'à faire).
-
J'avais pensé à faire ça, mais le problème c'est qu'il y a une infinité de tels segments, donc je n'ai pas réussi à faire un truc propre.
Je n'ai pas compris l'utilité de la suite de fonctions de ton 2eme message...? -
La limite uniforme d'une suite de fonctions $C^1$ est au moins continue, donc il n'y a aucune chance que ce soit dense dans $C_b(\mathbb{R},\mathbb{R})$ ...
EDIT: je n'avais pas vu que $C_b(\mathbb{R},\mathbb{R})$ consistait uniquement de fonctions continues ! Message à oublier donc. -
1) Qu'il y ait une infinité de segments n'est pas une difficulté : le recollement est local. Pour tout $n$, tu te places sur un truc du style $[n-\eta,n+\eta]$ pour un petit $\eta$.
2) Si pour tout $n$ on a, pour tout $x$ dans $[n-1,n+1], |\psi_n(x)-f(x)| \le \epsilon$, tu peux considérer la fonction $\sum \phi_n \psi_n$. -
Merci H, bien vu.
-
poltaj a écrit:bien vu
Ou plutôt, déjà vu Par exemple :
http://fr.wikipedia.org/wiki/Partition_de_l'unité
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 63 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres