Théorème de la bijection continue, non-surjectivité de Fourier sur L1([0,1])
On montre ou on passe :
- le lemme de Baire
- le théorème de l'application ouverte
On en déduit
- le théorème de la bijection continue
- la non-surjectivité de Fper
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 201 | Espaces de fonctions. Exemples et applications.2026 |
Utilisateur : NgocLam
C'est trop long, mais on peut mettre l'accent sur la partie qu'on veut :
- démo du lemme de Baire (Gourdon)
- démo de l'application ouverte (Gourdon)
- la norme L1 du noyau de Dirichlet diverge, donc Fper ne peut pas être bijective'
Références :
Analyse\r - Gourdon
Calcul intégral - Candelpergher