Procedí de la siguiente manera.
Sea $U$ denotan el conjunto de operadores normales sobre $V$ . Es evidente que $U$ es un subconjunto de $L(V)$ y que $0\in U$ (ya que $0$ es autoadjunto). Además, para todos los escalares $\lambda\in\mathbb{F}$ tenemos $(\lambda S)(\lambda S)^*=(\lambda S)(\bar{\lambda }S^*)= \lambda \bar{\lambda }SS^*= \lambda \bar{\lambda }S^*S=(\bar{\lambda }S^*)(\lambda S)= (\lambda S)^*(\lambda S)$ Así que $U$ es cerrado bajo multiplicación escalar. Por tanto, podemos concluir de la prueba de un subespacio que es la condición aditiva la que falla. Ahora, utilizando propiedades básicas de la suma de operadores y el adjunto, se puede demostrar que $S+T$ es normal si $ST^* +TS^*= S^*T +T^*S$ .
Es aquí donde estoy atascado. Para un espacio vectorial f-d general con $\dim V\geq 2$ ¿cómo construyo dos operadores de forma que no se cumpla esta condición?
La pregunta procede de la sección 7A del libro de Axler "Linear Algebra Done Right" (#10)