Обсуждение:Теорема Стоуна о группах унитарных операторов в гильбертовом пространстве