Dejemos que HH sea un espacio de Hilbert (separable) y sea (αt)t∈R sea un grupo de automorfismos de compactos K(H) . Supongamos además que este grupo es continuo, es decir, que para cada T∈K(H) el mapa R∋t↦αt(T)∈K(H) es de norma continua.
Se sabe que los automorfismos de K(H) son implementados por unitarios, por lo que existe una familia (Ut)t∈R de los unitarios en H tal que αt(T)=UtTU∗t para cada t,T .
Tengo dos preguntas:
1) ¿Podemos elegir Ut de tal manera que (Ut)t∈R es un grupo de operadores, es decir Ut+s=UtUs ?
2) Supongamos que (Ut)t∈R es un grupo de operadores. ¿Es fuertemente continuo (para cada ξ∈H el mapa R∋t↦Utξ∈H es continua) ?
Por el resultado de von Neumann, si (Ut)t∈R es un grupo y los mapas R∋t↦⟨ξ|Utη⟩∈C son medibles entonces de hecho (Ut)t∈R es fuertemente continua.