盖尔范德定理

如果 是局部紧 T2-空间，则所有在 上消失于无穷远的连续复值函数的集合 (即，对于每个 ，集合 是紧的) 配备了上确界范数 是一个交换 -代数。

盖尔范德定理指出，每个交换 -代数 都具有 的形式，其中 是 的极大理想空间)。 是 单位的 当且仅当 是紧的时成立。