a) 令 X 为紧致空间,并令 f:X→Y 为 X 到紧致空间 Y 的连续射影。显示映射
(*) 对于X是不可度量紧致空间βN且Y是闭集合βN−N的情况,此结果不扩展。
af : u \to u \circ f of C(Y;R) into C(X;R) 是C(Y;R) 的(范数保持)同构到C(X;R) 包含单位元素的闭子代数。
b) 相反,令A为C(X;R)包含单位元素的闭子代数。证明存在 X 到紧致空间 Y 上的连续满射 f,使得 af 是 C(Y;R) 到 A 的同构。 {如果(uλ)λ∈L是A密集的族,则考虑X的连续映射x→(uλ(x))进入RL并使用Weierstrass-Stone定理。}
c) 从 b) 中推导出,对于 C(X;R) 的元素的每个序列 (un),存在一个*可度量*紧致空间 Y 和一个连续满射映射 f:X→Y,使得 un af下C(Y;R)的属于至像。