Topologie, Volum 1

0-dimensionnel A₁ ambigu de classe axiomes B₁ Baire au sens biunivoque Cantor classe a additive classe G conséquent contient convergente Corollaire ction d'où définie définition démontrer dimension disjoints effet ensemble borelien ensemble de classe ensemble de I-re ensemble dénombrable ensemble fermé ensemble frontière ensemble G ensemble ouvert ensembles analytiques espace complet séparable espace métrique espace séparable existe un ensemble F₁ famille des ensembles fermé et ouvert fonction continue fonction f(x fonction ƒ fonction mesurable fonction propositionnelle formule Fund G₁ G₂ Hausdorff homéomorphe I-re catégorie I-re classe image continue implique indénombrable indice l'ax l'ensemble des nombres l'espace des nombres l'inclusion Lusin Math Mengenlehre mesurable B nombres irrationnels nombres réels non-dense ouvert G Posons produit cartésien propriété de Baire prouver relativement résulte Sierpiński sous-ensemble suite d'ensembles Supposons Théorème de Baire Théorie topologique transfinie variable X₁