théorème de König – théorie des ensembles –

FONDEMENTS DES MATHEMATIQUES

Dû au mathématicien hongrois Julius König , c’est un théorème de théorie des ensembles, équivalent à l’axiome du choix et qui s’énonce :
Soient (ai)i∈I et (bi)i∈I deux familles de cardinaux indexées par un même ensemble telles que pour tout élément i de I, ai < bi . On a alors : ∑ ai < ∏ bi
.