Bourbaki

习题 4, § 4

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

一般拓扑, IX

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

每个具有拓扑 O+(X),O−(X)\mathscr{O}_+(X), \mathscr{O}_-(X) (章 I, §2§ 2, 习题 5) 的线性有序集合 XX 都是完全正规的。 (如果AA和BB是XX中的两个子集,则每个x∈Ax \in A有xx的A∩B‾=B∩A‾=∅A \cap \overline{B} = B \cap \overline{A} = \varnothing、定义邻域VxV_x,以及邻域WyW_y yy 对于每个 y∈By \in B,这样 Vx∩Wy=∅V_x \cap W_y = \varnothing 对于所有 x∈Ax \in A 和所有 y∈By \in B。)

解答

尚未写出解答。

被以下引用

引用了

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