请输入您要查询的百科知识:

 

词条 Orthocompact space
释义

  1. References

In mathematics, in the field of general topology, a topological space is said to be orthocompact if every open cover has an interior preserving open refinement. That is, given an open cover of the topological space, there is a refinement which is also an open cover, with the further property that at any point, the intersection of all open sets in the refinement containing that point, is also open.

If the number of open sets containing the point is finite, then their intersection is clearly open. That is, every point finite open cover is interior preserving. Hence, we have the following: every metacompact space, and in particular, every paracompact space, is orthocompact.

Useful theorems:

  • Orthocompactness is a topological invariant; that is, it is preserved by homeomorphisms.
  • Every closed subspace of an orthocompact space is orthocompact.
  • A topological space X is orthocompact if and only if every open cover of X by basic open subsets of X has an interior-preserving refinement that is an open cover of X.
  • The product X × [0,1] of the closed unit interval with an orthocompact space X is orthocompact if and only if X is countably metacompact. (B.M. Scott) [1]
  • Every orthocompact space is countably orthocompact.
  • Every countably orthocompact Lindelöf space is orthocompact.

References

1. ^ B.M. Scott, Towards a product theory for orthocompactness, "Studies in Topology", N.M. Stavrakas and K.R. Allen, eds (1975), 517–537.
  • P. Fletcher, W.F. Lindgren, Quasi-uniform Spaces, Marcel Dekker, 1982, {{isbn|0-8247-1839-9}}. Chap.V.
{{topology-stub}}

2 : Compactness (mathematics)|Properties of topological spaces

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/29 20:22:35