Sea H=L2(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↦St de [0,1] a U(H) . ¿Existen mapas continuos (o al menos de Borel) t↦λt y t↦ft el primero con valores en S1 y el segundo con valores en H∖{0} tal que Stft=λtft ?