Bourbaki marks this one as harder than the rest.
令 X 为紧致空间,令 A 表示规范化的代数 C(X;R)。对于A的每个子集M,令V(M)表示所有x∈X的集合,使得u(x)=0代表所有u∈M。对于X的每个子集Y,让J(Y)表示所有u∈A的集合,这样u(x)=0代表所有x∈Y。
a) V(M) 是X 的封闭子空间,J(Y) 是A 的封闭理想。如果a是A的子集M生成的A的理想,则V(M)=V(a); V和I是顺序颠倒的映射(相对于包含的序关系),A的每一个单位u都有V{0}=X; V(A)=∅; V({u})=∅;
V(λ∈L⋃Mλ)=V(λ∈L∑Mλ)=λ∈L⋂V(Mλ)
对于每个家庭(Mλ)λ∈L子集A; V(M.M′)=V(M)∪V(M′); J(X)={0}; J(C)=A; J(⋃λ∈LYλ)=⋂λ∈LJ(Yλ)为每个家庭(Yλ)λ∈L子集X。
b) 证明如果a是A的任意理想,则J(V(a))=a,并且如果Y是X的任意子集,则V(J)(Y)=Y。 (对于第一个关系,观察V(a)=V(a),因此我们可以假设a闭合;注,如果x,y是X−V(a)的两个不同的点,则存在u∈a使得u(x)=u(y)和应用命题 no. 2 中的 4 个。要证明第二个关系,请使用 Urysohn 的定理。)
c) 从b)推导出x→J({x})是X的双射到A最大理想的集合,因此是封闭的。当且仅当最大理想为交时,A 的理想是封闭的。 环 A 没有部首。
d) 证明映射e→V({e})是A的集合的双射到X的子集的集合,它们都是开闭的。
当且仅当最大理想 J({x}) 为主时,点 x∈X 是孤立的。