Estoy leyendo esta obra expositiva Numerical Range of Operators de Paul Skoufranis ( ver esto ). He aquí el teorema y la prueba en los que estoy trabajando:
Teorema 2.11 Sea $N \in B(\mathcal{H})$ sea un operador normal. Entonces $\overline{W(N)} = conv(\sigma(N))$
Prueba: Por el Teorema de Berg de Weyl-von Neumann, existe un operador diagonal normal $D$ tal que $N$ y $D$ son aproximadamente equivalentes unitariamente y $\sigma (N) = \sigma (D)$ . Por lo tanto, por el teorema 2.10, $\overline{W(N)} = \overline{W(D)}$ . Sin embargo, según el ejemplo 2.7, $W(D)$ es el casco convexo de los valores propios $\{a_n\}_{n \ge 1}$ de $D$ . Dado que los valores propios de $D$ son densos en el espectro de $D$ es evidente que $$\overline{W(D)} = \overline{conv (\{a_n\}_{n \ge 1})} = \overline{conv(\sigma (N))} = conv(\sigma (N))$$ como $\sigma(N)$ es un subconjunto compacto de $\Bbb{C}$ por lo que su casco convexo es cerrado. Por lo tanto, el resultado es completo.
En primer lugar, ¿alguien sabe de una buena declaración de la Weyl-von Neumann Berg-Teorema y prueba de la misma (referencias sería apreciada). En segundo lugar, ¿por qué los valores propios de $D$ denso en $\sigma (D)$ ?