Bourbaki

习题 13, § 4

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

一般拓扑, X

Bourbaki marks this one as harder than the rest.

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

令 XX 为紧致空间,令 AA 表示规范化的代数 C(X;R)\mathscr{C}(X; \mathbf{R})。对于AA的每个子集MM,令V(M)V(M)表示所有x∈Xx \in X的集合,使得u(x)=0u(x) = 0代表所有u∈Mu \in M。对于XX的每个子集YY,让J(Y)\mathfrak{J}(Y)表示所有u∈Au \in A的集合,这样u(x)=0u(x) = 0代表所有x∈Yx \in Y。

a) V(M)V(M) 是XX 的封闭子空间,J(Y)\mathfrak{J}(Y) 是AA 的封闭理想。如果aa是AA的子集MM生成的AA的理想,则V(M)=V(a)V(M) = V(a); VV和II是顺序颠倒的映射(相对于包含的序关系),AA的每一个单位uu都有V{0}=X; V(A)=∅; V({u})=∅V\{0\} = X; \ V(A) = \varnothing; \ V(\{u\}) = \varnothing;

V(⋃λ∈LMλ)=V(∑λ∈LMλ)=⋂λ∈LV(Mλ) V\left( \bigcup_{\lambda \in L} M_\lambda \right) = V\left( \sum_{\lambda \in L} M_\lambda \right) = \bigcap_{\lambda \in L} V(M_\lambda)

对于每个家庭(Mλ)λ∈L(M_\lambda)_{\lambda \in L}子集AA; V(M.M′)=V(M)∪V(M′)V(M.M') = V(M) \cup V(M'); J(X)={0}; J(C)=A; J(⋃λ∈LYλ)=⋂λ∈LJ(Yλ)\mathfrak{J}(X) = \{0\}; \ \mathfrak{J}(\mathscr{C}) = A; \ \mathfrak{J}\left( \bigcup_{\lambda \in L} Y_\lambda \right) = \bigcap_{\lambda \in L} \mathfrak{J}(Y_\lambda)为每个家庭(Yλ)λ∈L(Y_\lambda)_{\lambda \in L}子集XX。

b) 证明如果aa是AA的任意理想,则J(V(a))=a‾\mathfrak{J}(V(a)) = \overline{a},并且如果YY是XX的任意子集,则V(J)(Y)=Y‾V(\mathfrak{J})(Y) = \overline{Y}。 (对于第一个关系,观察V(a‾)=V(a)V(\overline{a}) = V(a),因此我们可以假设aa闭合;注,如果x,yx, y是X−V(a)X - V(a)的两个不同的点,则存在u∈au \in a使得u(x)≠u(y)u(x) \neq u(y)和应用命题 no. 2 中的 4 个。要证明第二个关系,请使用 Urysohn 的定理。)

c) 从b)推导出x→J({x})x \to \mathfrak{J}(\{x\})是XX的双射到AA最大理想的集合,因此是封闭的。当且仅当最大理想为交时,AA 的理想是封闭的。 环 AA 没有部首。

d) 证明映射e→V({e})e \to V(\{e\})是AA的集合的双射到XX的子集的集合,它们都是开闭的。

当且仅当最大理想 J({x})\mathfrak{J}(\{x\}) 为主时,点 x∈Xx \in X 是孤立的。

解答

尚未写出解答。

被以下引用

引用了

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