Sea ℓ∞ sea el espacio de las sucesiones acotadas dotadas de la norma supremum.
¿Existen subconjuntos estrictamente convexos de ℓ∞ que tienen un interior no vacío? (La última condición es para descartar ejemplos triviales como los singletons).
La bola unitaria de ℓ∞ no es estrictamente convexa, y ℓ∞ no es separable, por lo que no puedo utilizar este resultado .
Un conjunto estrictamente convexo C por cierto, es un conjunto convexo cuya frontera no contiene ningún segmento de línea abierto, es decir. x,y∈∂C implica {αx+(1−α)y:α∈(0,1)}⊂ int C .