Sea $H=L^2(X)$ para algún espacio compacto $X$ . Denotamos por $U(H)$ el espacio de operadores unitarios sobre $H$ con la topología inducida por la norma del operador.
Dado un mapa continuo $t\mapsto S_t$ de $[0,1]$ a $U(H)$ . ¿Existen mapas continuos (o al menos de Borel) $t\mapsto \lambda_t$ y $t\mapsto f_t$ el primero con valores en $S^1$ y el segundo con valores en $H\backslash\{0\}$ tal que $S_t f_t =\lambda_t f_t$ ?