Petites Parties

Être de 1^re catégorie signifie être petit topologiquement.

Cet argument permet entre autres de montrer que certains objet existent :

• Fonctions continues nulle-part dérivables
• series de Fourier pas cool
• …

Une "notion de petitesse" doit être stable par sous-ensemble et union dênombrable (un {$\sigma$}-ideal).

Dualité avec d'autres notions de petitesse

Petit par la mesure

Il y a une dualité avec les enembles de mesure nulle. En attendant, voici une référence mythique :

• J. C. Oxtoby, Measure and Category, Springer-Verlag, 1980, second edition.

Petit par le cardinal

Il y a une autre dualité avec des questions de dénombrement (dans un ensemble non-dénombrable, les parties dénombrables peuvent être considerées comme petites), dans ce contexte, c'est souvent le principe des tiroirs de Dirichlet qui remplace le lemme de Baire :

• Caractérisation des Diracs
• Sous-espaces vectoriels stricts

Là encore, on prouve à peu de frais l'existence d'objets divers (nombres transcendants par exemple).

Remarque : une version finitiste de cette approche a été mise au point par Paul Erdös : la méthode probabiliste.