exo7 6229

Pour tout k>0k>0 on note HkH_k le sous-espace de C([0,1])C([0,1]) constitué des fonctions lipschitziennes de constante kk ie des fonctions ff vérifiant ∣f(x)−f(y)∣≤k∣x−y∣\vert f(x)-f(y)\vert\leq k\vert x-y\vert pour tous xx et yy dans [0,1][0,1]. On pose aussi H=⋃k>0HkH=\bigcup_{k>0}H_k.

1

Montrer que HH contient les fonctions de classe C1C^1 sur [0,1][0,1], mais que la fonction x\sqrt x n’est pas dans HH.

2

Montrer que pour tout kk, HkH_k est un espace de Banach pour la norme uniforme.

3

Montrer qu’il existe une suite de fonction de HH qui converge uniformément sur [0,1][0,1] vers x\sqrt x. En déduire que HH n’est pas complet pour la norme uniforme.

4

Montrer que si on pose ∥f∥=sup⁡x≠y∣f(x)−f(y)∣∣x−y∣+∣f(0)∣,\Vert f\Vert=\sup_{x\neq y}{{\vert f(x)-f(y)\vert}\over{\vert x-y\vert}} +\vert f(0)\vert, on définit ainsi une norme sur l’espace EE, pour laquelle l’espace est complet.

Exercice swPF

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?