Bourbaki

习题 2, § 4

标签 04AN,永久不变。引用为 [Bourbaki, Tag 04AN]。

交换代数, II, 140

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

如果{x}\{x\}在XX中处处稠密,则不可约空间X中的点xx称为*泛型*。

(a) 如果X是柯尔莫戈洛夫空间(通用拓扑、章I, § 1、习题2),则它至少承认一个泛型点;如果 X 是可访问的空间 (*一般*

拓扑,章I, § 8,习题1),它不能承认一个通用的点除非它由单个点组成。

(b) 给出无限不可约可达空间的例(cf.一般拓扑、章I, § 8、习题5)。

(c) 设X,Y为两个不可约空间,每个都承认一个泛型点;还假设 Y 只承认一个泛型点 y。令f:X→Yf : X \to Y为连续的映射;为了使f(X)f(X)在Y中稠密,对于X的每个通用点x,f(x)=yf(x) = y是必要且充分的。

(d) 设(Xα,fαβ)(X_\alpha, f_{\alpha\beta})是不可约空间的逆系,其索引集合是有向的;假设每个 XαX_\alpha 都承认一个泛型点 xαx_\alpha。证明,如果 α≤β,fαβ(Xβ)\alpha \leq \beta, f_{\alpha\beta}(X_\beta) 在 XαX_\alpha 中是稠密的,则 X=lim⁡←XαX = \lim \leftarrow X_\alpha 是不可约的,并且承认单个泛型点(与习题 1 中的方法相同)。

解答

尚未写出解答。

被以下引用

无。

引用了

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