Constante ou pas constante ?
Bonjour
Abordant pour la $n$-ème fois mon cours sur la dérivabilité des fonctions à valeurs vectorielles, je me suis posé une question entre le train et le lycée.
Si $f$ est une fonction dérivable sur un intervalle $I$ non trivial de $\R$ à valeurs dans un espace vectoriel normé $E$ de dimension infinie dont la dérivée est nulle sur cet intervalle, la fonction $f$ est-elle constante sur $I$ ?
Abordant pour la $n$-ème fois mon cours sur la dérivabilité des fonctions à valeurs vectorielles, je me suis posé une question entre le train et le lycée.
Si $f$ est une fonction dérivable sur un intervalle $I$ non trivial de $\R$ à valeurs dans un espace vectoriel normé $E$ de dimension infinie dont la dérivée est nulle sur cet intervalle, la fonction $f$ est-elle constante sur $I$ ?
En effet, je sais le démontrer sans difficulté lorsque $E$ est de dimension finie, puisqu'il suffit de montrer que les fonctions coordonnées dans une base quelconque sont constantes.
Je sais également faire lorsque la norme dérive d'un produit scalaire sur $E$ puisque dans ce cas, on fixe un $a\in I$ et il suffit de vérifier que la fonction de $\R$ dans lui-même qui $x\in I$ associe $\|f(x)-f(a)\|^2$ est dérivable et de dérivée nulle.
J'imagine que c'est encore vrai sur un espace de Banach bien que je n'ai pas encore pris le temps de l'écrire.
Est-ce que ça peut être faux ?
Ou bien les espaces que l'on considère en analyse sont-ils tous faits de telle sorte que justement ce soit vrai ?
Ou bien les espaces que l'on considère en analyse sont-ils tous faits de telle sorte que justement ce soit vrai ?
Réponses
-
Pour toute forme linéaire continue $h$, la fonction $h\circ f$ a une dérivée nulle, donc est constante. On conclut grâce au théorème de Hahn-Banach.
-
On peut également appliquer , pour tout $a\in I$, l'inégalité des accroissements finis à la fonction $x\mapsto f(x)-f(a)$.
Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$. -
Sauf erreur de ma part, c'est toujours vrai car l'inégalité des accroissements finis reste vraie dans un cadre très général : https://les-mathematiques.net/vanilla/index.php?p=/discussion/1455162/inegalite-des-accroissements-finis
Edit : désolé, je n'avais pas vu que tout le monde avait déjà répondu ...
Edit 2 : mon icône de profil a changé toute seule et on dirait que je fais la gueule dessus ... -
Comme le dit Bourvil dans La Grande Vadrouille : « cette fois-ci c’est pas moi ! ».
-
Mais oui, bon sang, l'inégalité des accroissements finis généralisée !Cette fois-ci, je la mets dans mon cours pour ne plus l'oublier.Merci Guego, Chalk, et les autres.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres