Codénombrabilité
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Cet article est orphelin. Moins de trois articles lui sont liés ().
Vous pouvez aider en ajoutant des liens vers [[Codénombrabilité]] dans les articles relatifs au sujet.
En mathématiques, un sous-ensemble codénombrable d'un ensemble X est un sous-ensemble Y dont le complémentaire dans X est un ensemble dénombrable. En d'autres termes, Y contient presque tous les éléments de X. Par exemple, l'ensemble des rationnels ℚ est un sous-ensemble dénombrable de ℝ donc l'ensemble des irrationnels ℝ\ℚ est un sous-ensemble codénombrable des réels. Si le complémentaire est fini, alors on dit que Y est cofini .
σ-algèbres
L'ensemble de tous les sous-ensembles de X qui sont dénombrables ou codénombrables forme une σ-algèbre, c'est-à-dire qu'il n'est pas vide, est stable par passage au complémentaire et stable par union dénombrable. Cette σ-algèbre est l'algèbre dénombrable-codénombrable sur X. C'est la plus petite σ-algèbre contenant tous les singletons .
Topologie
La topologie codénombrable (également appelée "topologie du complément dénombrable") sur tout ensemble X se compose de l'ensemble vide et de tous les sous-ensembles codénombrables de X.
