Bourbaki

习题 12, § 4

标签 0CFP,永久不变。引用为 [Bourbaki, Tag 0CFP]。

一般拓扑, X

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

a) 令 XX 为紧致空间,并令 f:X→Yf : X \to Y 为 XX 到紧致空间 YY 的连续射影。显示映射

(*) 对于XX是不可度量紧致空间βN\beta \mathbf{N}且YY是闭集合βN−N\beta \mathbf{N} - \mathbf{N}的情况,此结果不扩展。

af : u \to u \circ f of C(Y;R)\mathscr{C}(Y; \mathbf{R}) into C(X;R)\mathscr{C}(X; \mathbf{R}) 是C(Y;R)\mathscr{C}(Y; \mathbf{R}) 的(范数保持)同构到C(X;R)\mathscr{C}(X; \mathbf{R}) 包含单位元素的闭子代数。

b) 相反,令AA为C(X;R)\mathscr{C}(X; \mathbf{R})包含单位元素的闭子代数。证明存在 XX 到紧致空间 YY 上的连续满射 ff,使得 afaf 是 C(Y;R)\mathscr{C}(Y; \mathbf{R}) 到 AA 的同构。 {如果(uλ)λ∈L(u_\lambda)_{\lambda \in L}是AA密集的族,则考虑XX的连续映射x→(uλ(x))x \to (u_\lambda(x))进入RL\mathbf{R}^L并使用Weierstrass-Stone定理。}

c) 从 b) 中推导出,对于 C(X;R)\mathscr{C}(X; \mathbf{R}) 的元素的每个序列 (un)(u_n),存在一个*可度量*紧致空间 YY 和一个连续满射映射 f:X→Yf : X \to Y,使得 unu_n afaf下C(Y;R)\mathscr{C}(Y; \mathbf{R})的属于至像。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。