mardi 21 avril 2020

Lemme de Jones


Selon le lemme de Jones (démontré par le mathématicien américain Floyd Burton Jones en 1937), une condition suffisante pour qu'un espace séparable ne soit pas normal est qu'il contienne un sous-espace fermé discret ayant la puissance du continu (autrement dit, un sous-espace fermé discret équipotent à l'ensemble des nombres réels). De nombreux mathématiciens ont tenté — en vain ! — d'exploiter ce lemme pour prouver la fameuse « conjecture de Doppelchor » qui affirme que « le monde tel que nous le connaissons n'est pas un espace normal, c'est le moins que l'on puisse dire ».

(Włodzisław Szczur, Mathématique du néant)