Gelfand representation

This allows us to apply continuous functions to bounded normal operators on Hilbert space.