Catalogue Licence
L3 • Topologie
Recherche L3

Théorème de Baire et principes de l'analyse fonctionnelle

Espaces de Baire, parties maigres, Banach-Steinhaus, théorème de l'application ouverte et du graphe fermé

Point d'entrée intuitif

Comment démontrer qu'un objet aux propriétés extraordinaires existe, sans jamais le construire — et pourquoi ces objets sont-ils souvent la RÈGLE plutôt que l'exception ?

Idée en une phrase :
Dans un espace complet, une réunion dénombrable de parties d'intérieur vide ne peut pas remplir l'espace : ce qui reste est donc non vide, et même dense.
Généalogie historique du concept :

Baire démontre son théorème en 1899 dans sa thèse, pour classifier les fonctions selon leur régularité. L'outil semble d'abord technique. Banach et Steinhaus en tirent en 1927 le principe de bornitude uniforme, puis Banach le théorème de l'application ouverte : en une décennie, un lemme de topologie devient le moteur de toute l'analyse fonctionnelle. Le phénomène le plus frappant est la généricité : Banach montre en 1931 que les fonctions continues nulle part dérivables, objets que Weierstrass avait peiné à construire en 1872, forment en réalité la MAJORITÉ.

Pourquoi CETTE définition formelle :

Pourquoi définir « maigre » comme réunion DÉNOMBRABLE de parties d'intérieur vide d'adhérence, plutôt que par une simple petitesse ? Parce que la stabilité par réunion dénombrable est exactement ce dont on a besoin : elle permet de découper un espace selon un paramètre entier — le rang d'une suite, l'ordre d'une majoration — et de conclure qu'un des morceaux est gros. Sans la dénombrabilité, l'espace entier serait réunion de ses singletons, et la notion serait vide de sens.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une partie maigre est une poussière : réunion dénombrable de choses sans épaisseur. Un espace complet ne peut pas être fait uniquement de poussière.

Ce qu'elle capture :

L'analogie avec la mesure : un ensemble négligeable ne remplit rien, et une réunion dénombrable de tels ensembles reste négligeable.

⚠️ Où l'analogie ment :

Les deux notions de petitesse — maigre et négligeable — sont INDÉPENDANTES. On peut partitionner en une partie maigre et une partie de mesure nulle : ce qui est petit au sens de Baire peut être gros au sens de Lebesgue, et réciproquement.

Modèle #2

Banach-Steinhaus est un principe de contagion : si une famille d'opérateurs est bornée en chaque point pris séparément, elle l'est uniformément.

Ce qu'elle capture :

Une information PONCTUELLE — pour chaque vecteur, la famille est bornée — devient une information UNIFORME, ce qui est normalement impossible.

⚠️ Où l'analogie ment :

L'image ne dit pas que la complétude du DÉPART est indispensable. Sur un espace non complet, la conclusion est fausse, et le contre-exemple est facile à construire avec des suites à support fini.

Modèle #3

La généricité est un renversement : les objets pathologiques ne sont pas des exceptions difficiles à trouver, ce sont les objets réguliers qui sont exceptionnels.

Ce qu'elle capture :

Les fonctions continues nulle part dérivables forment un ensemble dont le complémentaire est maigre : en tirant une fonction continue « au hasard », on obtient presque sûrement un monstre.

⚠️ Où l'analogie ment :

L'image suggère qu'on peut en exhiber une facilement. Faux : la preuve est purement existentielle, elle ne construit rien. Weierstrass avait dû fournir une formule explicite, considérablement plus difficile.

Les Pièges Conceptuels Classiques

1
Le théorème de Baire construit les objets dont il prouve l'existence.

Correction :

La preuve est purement EXISTENTIELLE : elle montre qu'un complémentaire est non vide, sans jamais désigner un élément. C'est même là toute sa puissance — construire une fonction continue nulle part dérivable demanda à Weierstrass un effort considérable en 1872, alors que Baire donne leur abondance en quelques lignes.

2
Maigre et de mesure nulle sont deux façons de dire la même chose.

Correction :

Elles sont INDÉPENDANTES. On peut écrire comme réunion disjointe d'une partie maigre et d'une partie de mesure nulle : l'une est petite pour Baire et grosse pour Lebesgue, l'autre l'inverse. Aucune implication ne relie les deux notions.

3
Le théorème de Baire vaut dans tout espace métrique.

Correction :

La COMPLÉTUDE est indispensable. Dans , muni de la distance usuelle, l'espace est réunion dénombrable de ses singletons, tous d'intérieur vide : c'est un espace maigre en lui-même. La complétude est ce qui empêche cette dégénérescence, via l'emboîtement des boules fermées.

4
Banach-Steinhaus s'applique à toute famille d'applications linéaires.

Correction :

Il exige la CONTINUITÉ de chaque opérateur et la COMPLÉTUDE de l'espace de départ. Sur l'espace des suites à support fini muni de la norme du supremum, non complet, les formes sont continues, bornées en chaque point — puisque tout point a un support fini — sans être uniformément bornées.

Glossaire des Notations Mathématiques

intersection dénombrable d'ouverts denses

DENSE dans un complet ; en particulier non vide

maigre

partie maigre

réunion dénombrable de rares ; notion INDÉPENDANTE de la mesure nulle

norme d'opérateur

Banach-Steinhaus majore un supremum de ces normes à partir d'informations ponctuelles