bounded selfadjoint operator; Hilbert space; continuous function; Banach algebra; family of projections