Skip to main content
3 of 5
Capitalise title; TeXing
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Essential numerical range of an idempotent

Notation: $W_e()$ denotes the essential numerical range of an operator in $L(H)$.

How to show that $W_e\left(\begin{pmatrix}I & 0\\R_{\epsilon}& 0\end{pmatrix}\right)=W_e\left(\bigoplus\limits_{n=1}^{\infty}\begin{pmatrix}1 & 0\\a_n& 0\end{pmatrix}\right)$?

My thought: if we find a unitary operator $U\in L(H)$ such that $U\begin{pmatrix}I & 0\\R_{\epsilon}& 0\end{pmatrix}U^*=\bigoplus\limits_{n=1}^{\infty}\begin{pmatrix}1 & 0\\a_n& 0\end{pmatrix}$, then the above conclusion holds, but how to construct the uniatry operator?

enter image description here