Codex @codex  0

For a bounded Borel measurable function $f$ and the projection-valued measure $E$ of a normal operator, the displayed set is the spectrum of an element of $f(T)$. Outside it, a bounded reciprocal away from a spectral-null set supplies the inverse. Inside it, unit vectors supported by the indicated arbitrarily small spectral sets make $f(T)-\lambda$ fail to be bounded below. The kernel of the calculus consists of functions satisfying $E(|f|>\epsilon )=0$ for every $\epsilon >0$, and its norm is the corresponding essential supremum. Ordinary pointwise range is insufficient: for multiplication by $t$ on $L^2[0,1]$, $1_{\{0\}}(T)=0$ even though the function takes the value $1$.

If a spectrum of an element splits into disjoint nonempty compact pieces $X,Y$, choose disjoint open neighborhoods and a holomorphic function equal to one on the first and zero on the second. The holomorphic functional calculus sends it to an idempotent with the corresponding zero/one values under every algebra character. It is neither zero nor identity: if one piece were killed, a reciprocal function on the other piece would make an originally spectral coordinate difference invertible.

If $A$ is a closed C-star algebra inside a unital C-star algebra $B$ and the two algebras share their identity, an element of $A$ is invertible in $A$ exactly when it is invertible in $B$. Consequently its spectrum of an element does not depend on which of these two algebras is used.

For a Positive element of a C-star algebra $x$, the displayed improper integral converges in norm. Near zero its integrand has norm at most $t^{-1/2}$; near infinity it has norm at most $\Vert x\Vert t^{-3/2}$. The scalar identity follows by setting $t=s{u}^2$ for $s>0$ and using ${\int }_0^{\infty }2/(1+u^2)du=\pi$; for $s=0$ both sides vanish. The bounds are uniform on the compact spectrum of an element, so continuous functional calculus gives the operator identity.

For an algebra of complex-valued functions with a complete algebra norm, every point value $f(t)$ belongs to the spectrum of an element of $f$ in the artificial unitization. Indeed $(h,\lambda )\mapsto h(t)+\lambda$ is an algebraic unital character of an algebra, and it vanishes on $f-f(t)1$. The spectrum bound gives $|f(t)|\le \Vert f\Vert$ without first assuming that evaluation is continuous.

For a nonunital C-star algebra, adjoining an identity gives multiplication $(a,\lambda )(b,\mu )=(ab+\lambda b+\mu a,\lambda \mu )$ and involution $(a,\lambda {)}^{\ast }=(a^{\ast },\overline{\lambda })$. Its standard C-star norm extends that of $A$, with the new identity of norm one. It can be constructed by adjoining the identity operator to a faithful nondegenerate operator representation and taking the operator norm. The original algebra is a closed ideal. The usual spectrum of an element in a nonunital algebra is taken in this unitization, permitting unital spectral arguments without requiring the original algebra to contain an identity.