Théorèmes de König (théorie des ensembles)
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Il existe deux théorèmes de König qui sont dus au mathématicien hongrois Julian König (1849-1913).
[modifier] Premier théorème de König
Il s'énonce ainsi :
-
- Soit deux suites de cardinaux
et 
telles que 
. On a alors :
- Soit deux suites de cardinaux
[modifier] Deuxième théorème de König
Il s'énonce ainsi :
-
- La puissance du continu n'est pas la somme d'une famille dénombrable de cardinaux strictement plus petits.
Dans le système d'axiomes de Zermelo-Fraenkel de la théorie des ensembles, ce théorème est le résultat le plus fin concernant la taille du continu.
