Позже я встречал значительно более общее утверждение:
Каждое пространство
изометрически изоморфно пространству
где
— некоторый компакт.
(
Доказательство воспроизвожу по памяти, и могу что-то упустить, поскольку материалом владею недостаточно.)
— полупростая коммутативная банахова алгебра. А каждая такая алгебра изоморфна некоторой алгебре где — некоторый компакт. --- это не просто коммутативная банахова алгебра, это коммутативная
-алгебра с единицей. Категория таких алгебр эквивалентна категории компактных хаусдорфовых пространств.