New entries operator topology (for now redirecting also strong operator topology etc.) and unitary representation. Changes at projection measure (the sigma algebra does not need to be the sigma algebra of Borel subsets on a topological space!) and spectral measure. At some point one should add some crosslinks from/to other entries in functional analysis but I am on slow/expensive connection now, hence will restrain to more substantial (in content sense) edits.

]]>