Exercice 14, § 4

Soit $u$ un opérateur partiel symétrique sur un espace hilbertien complexe E. L’application $\lambda \mapsto$ dim Ker($\lambda 1_E-u^*$), de $\mathbf{C}$ dans $\overline{\mathbf{N}}$, est localement constante sur l’ensemble résolvant de $u$.