Théorème de König (théorie des ensembles)
Le théorème de Kőnig en théorie des ensembles est dû au mathématicien hongrois Julius Kőnig (1849-1913).
Pour les articles homonymes, voir Théorème de König.
Théorème de Kőnig
Il se démontre à l'aide de l'axiome du choix (auquel il est en fait équivalent) et s'énonce ainsi :
Corollaire
Corollaire — La puissance du continu n'est pas la somme d'une famille dénombrable de cardinaux strictement plus petits.
Dans le système ZFC (de Zermelo-Fraenkel avec axiome du choix), ce théorème est le résultat le plus fin concernant la taille du continu (voir également le théorème d'Easton).
- Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.