Topologie et approximation de fonctions caractéristiques

On trouvera ici des lemmes qui seront des outils utiles pour les démonstrations ultérieures. On peut se référer au livre "analyse réelle et complexe" de Rudin.

• Intercalation d'ouverts relativement compacts entre un ouvert et un compact
• Séparation d'un compact et d'un fermé
• Approximation d'un ensemble mesurable par une fonction
• Lemme d'Urysohn
• Partition de l'unité