Первая теорема: нет коммутативных алгебр, кроме алгебр непрерывных функций!
Вторая теорема: нет $C^*$-алгебр, кроме операторных $C^*$-алгебр!(С)




Что такое Гилбертово пространство?