Sea $\mathcal{B}(F)$ el álgebra de todos los operadores lineales acotados en un espacio de Hilbert complejo $F$ .
$S=(S_1,S_2)$ se llama normal si $S_1S_2=S_2S_1$ y ambos $S_1$ y $S_2$ son normales.
Supongamos que $F$ es un espacio de Hilbert complejo de dimensión infinita.
Busco un ejemplo de dos operadores normales $S_1$ y $S_2$ (que no son múltiplos escalares de la identidad) tales que $S_1S_2=S_2S_1$ y $S_1\neq S_2$ .