请输入您要查询的字词:

 

单词 CompactPavingsAreClosedSubsetsOfACompactSpace
释义

compact pavings are closed subsets of a compact space


Recall that a paving 𝒦 is compactPlanetmathPlanetmath if every subcollection satisfying the finite intersection property has nonempty intersectionMathworldPlanetmath. In particular, a topological spaceMathworldPlanetmath is compact (http://planetmath.org/Compact) if and only if its collectionMathworldPlanetmath of closed subsets forms a compact paving. Compact paved spaces can therefore be constructed by taking closed subsets of a compact topological space. In fact, all compact pavings arise in this way, as we now show.

Given any compact paving 𝒦 the following result says that the collection 𝒦 of all intersections of finite unions of sets in 𝒦 is also compact.

Theorem 1.

Suppose that (K,K) is a compact paved space. Let K be the smallest collection of subsets of X such that KK and which is closed under arbitrary intersections and finite unions.Then, K is a compact paving.

In particular,

𝒯{KC:C𝒦}{,K}

is closed under arbitrary unions and finite intersections, and hence is a topology on K.The collection of closed sets defined with respect to this topology is 𝒦{,K} which, by Theorem 1, is a compact paving. So, the following is obtained.

Corollary.

A paving (K,K) is compact if and only if there exists a topology on K with respect to which K are closed sets and K is compact.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 2:05:56