Sea $X$ denota un complejo $C^*$ -y $\{Z(t)\}_{t\geq 0}$ est un $C_0$ -Semigrupo de operadores sobre $X$ . Si por $x\in X$ Tengo $x=x^*$ (x es autoadjunto), y su espectro $\sigma(x)\subset [0,\infty)$ .
Entonces, ¿en qué condiciones $[Z^*(t)]=[Z(t)]$ y $\sigma(Z(t)x)\subset [0,\infty)$ . ??