习题 6, § 2
标签 0BPZ,永久不变。引用为 [Bourbaki, Tag 0BPZ]。
一般拓扑, IV
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令为非空线性有序集合,赋予拓扑(章I, § 2,习题5)。证明是紧的当且仅当的每个子集至少有上界,在其他字当且仅当是一个*完全格*(*集合理论*,章III, § 1, 习题11)。 (为了证明条件是必要的,论证定理3;为了充分性,考虑在上过滤,并证明,如果是的集合下确界的集合,则至少的上界是的簇点)。
b) 给出一个完整格子的例,它在拓扑中不紧。
解答
尚未写出解答。