Orthocompact space

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 0824718399. Chap.V.

This topology-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Compactness (mathematics) Properties of topological spaces Topology stubs Wikimedia Foundation. 2010. Игры ⚽ Нужен реферат? Bivalent (engine) John "Jay" Traynor Look at other dictionaries: Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… …   Wikipedia Paracompact space — In mathematics, a paracompact space is a topological space in which every open cover admits a locally finite open refinement. Paracompact spaces are sometimes also required to be Hausdorff. Paracompact spaces were introduced by Dieudonné (1944).… …   Wikipedia Metacompact space — In mathematics, in the field of general topology, a topological space is said to be metacompact if every open cover has a point finite open refinement. That is, given any open cover of the topological space, there is a refinement which is again… …   Wikipedia Mesocompact space — In mathematics, in the field of general topology, a topological space is said to be mesocompact if every open cover has a compact finite open refinement.[1] That is, given any open cover, we can find an open refinement with the property that… …   Wikipedia List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”