Позже я встречал значительно более общее утверждение:
Каждое пространство

изометрически изоморфно пространству

где

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

-алгебра с единицей. Категория таких алгебр эквивалентна категории компактных хаусдорфовых пространств.