Ethaniel (./49) :
Ah OK.
Donc si on accepte l'hypothèse du continu, on a « aleph₁ = 2^aleph₀ », et si on la refuse, on a « aleph₁ < 2^aleph₀ », c'est bien ça ?

Oui c'est ça
(Tiens, si je me souviens bien, on peut prendre comme axiome que 2^aleph_0 est égal à ce qu'on veut tant que ça dépasse pas Aleph_omega - à vérifier quand même)

Exemples ?

Tu peux prendre une norme qui a pour boule unité un octogone (ou tout polygone qui te plait).
En fait tu peux choisir la boule unité que tu veux, du moment que c'est convexe, borné, d'intérieur non vide, fermé et symétrique par rapport à 0