MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{H}$ be a Hilbert space and $E:\Sigma\to\mathcal{L}(\mathcal{H})$ be a compactly supported spectral on the Borel $\sigma$-algebra $\Sigma$ of $\mathbb{C}$. Then we can form the bounded, normal operator $$A=\int \operatorname{id}_\mathbb{C}\;dE\in\mathcal{L}(\mathcal{H})$$ Do you know a proof for the fact, that $E(\operatorname{spec} A)=\operatorname{id}_H$?

share|cite|improve this question
By "spectral" do you mean a projection-valued measure? Because if so, then doesn't this hold just by definition? – Branimir Ćaćić Dec 20 '12 at 12:32
Yes, I mean a projection valued measure. By definition, $E(\mathbb{C})=id_H$, and also if $E$ is defined as the spectral measure associated to a given normal operator $A$, this is essentially true by definition. However, in our situation we start with a generic spectral measure $E$ from wich it is only known that there is some compact $K\subset\mathbb{C}$ such that $E(K)=id_H$ and define $A$ by the above formula. One can then show that the spectral measure associated to this $A$ is exactly $E$, but this is not obvious and actually the crucial point is to show that $E(spec A)=id_H$ – Robert Rauch Dec 20 '12 at 13:23
Yes, you're absolutely right. I imagine that the result you want is precisely the theorem on Page 7 of, namely, that the support of a compactly-supported projection-valued measure is one and the same as the spectrum of the associated normal operator. – Branimir Ćaćić Dec 20 '12 at 14:15
Although I have already looked over your reference a couple of days ago, I did not realize that a nice answer to my question is hidden therein. Thanks a lot pointing that out! – Robert Rauch Dec 20 '12 at 15:26

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.