Continuité Automatique

Le lemme de Baire permet de montrer que certaines applications sont continues :

• Applications du théorème de Banach-Steinhaus
• Théorèmes de l'application ouverte, du graphe fermé, de l'isomorphisme de Banach
• Limite simple de fonctions continues
• Homéomorphisme entre quotient et orbite pour une action de groupe localement compact