Classe (mathématiques)

Carte Commune · n° 212798

En mathématiques, la notion de classe généralise celle d'ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu comme une collection d'objets, mais aussi comme un objet mathématique, qui en particulier peut lui-même appartenir à un autre ensemble. Ce n'est pas forcément le cas d'une classe, qui est une collection d'objets que l'on peut définir, dont on peut donc parler, mais qui ne forme pas nécessairement un ensemble. Quand une classe n'est pas un ensemble, elle est appelée classe propre. Elle ne peut alors pas être élément d'une classe (ni, a fortiori, d'un ensemble). Les paradoxes de la théorie des ensembles, comme le paradoxe de Russell, montrent la nécessité d'une telle distinction. Ainsi la propriété « ne pas appartenir à soi-même » (x ∉ x) définit une classe mais pas un ensemble. L'existence d'un tel ensemble mènerait à une contradiction. À l'aube du XXe siècle, certains logiciens et mathématiciens...

Lire sur Wikipédia