蓋爾範德定理

如果 是區域性緊 T2-空間，則所有在 上消失於無窮遠的連續復值函式的集合 (即，對於每個 ，集合 是緊的) 配備了上確界範數 是一個交換 -代數。

蓋爾範德定理指出，每個交換 -代數 都具有 的形式，其中 是 的極大理想空間)。 是 單位的 當且僅當 是緊的時成立。