in mathematics, the continuous functional calculus of operator theory and c*-algebra theory allows applications of continuous functions to normal elements of a c*-algebra. ==theorem == theorem. let x be a normal element of a c*-algebra a with an identity element e; then there is a unique mapping Ï : f â f(x) defined for f a continuous function on the spectrum sp(x) of x such that Ï is a unit-preserving morphism of c*-algebras such that Ï(1) = e and Ï(Î¹) = x, where Î¹ denotes the function z â z on sp(x).theorem vii.1 p.&nbsp;222 in modern methods of mathematical physics, vol. 1, reed m., simon b. the proof of this fact is almost immediate from the gelfand representation: it suffices to assume a is the c*-algebra of continuous functions on some compact space x and define : \pi(f) = f \circ x. uniqueness follows from application of the stone-weierstrass theorem. in particular, this implies that bounded normal operators on a hilbert space have a continuous functional calculus. ==related theorems == for the case of self-adjoint operators on a hilbert space (incl. unbounded operators) the borel functional calculus is of greater interest. the latter has various formulations, and is also known as spectral theorem. if one wants to stick to an abstract algebraic formation as opposed to operators on a given hilbert space, the borel functional calculus holds in the context of von neumann algebras. one may also cite the holomorphic functional calculous that holds for an arbitrary element of a c*-algebra or riesz functional calculus for elements of an unital banach algebra.a course in functional analysis, conway j., 4.7 p.&nbsp;201 ==see also== *measurable functional calculus == references==   
C*-algebras Continuous_mappings Functional_calculus