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 an open cover with the property that every point is contained only in finitely many sets of the refining cover.

A space is countably metacompact if every countable open cover has a point finite open refinement.

Properties

The following can be said about metacompactness in relation to other properties of topological spaces:

  • Every paracompact space is metacompact. This implies that every compact space is metacompact, and every metric space is metacompact. The converse does not hold: a counter-example is the Dieudonné plank.
  • Every metacompact space is orthocompact.
  • Every metacompact normal space is a shrinking space
  • The product of a compact space and a metacompact space is metacompact. This follows from the tube lemma.
  • An easy example of a non-metacompact space (but a countably metacompact space) is the Moore plane.
  • In order for a Tychonoff space X to be compact it is necessary and sufficient that X be metacompact and pseudocompact (see Watson).

Covering dimension

A topological space X is said to be of covering dimension n if every open cover of X has a point finite open refinement such that no point of X is included in more than n + 1 sets in the refinement and if n is the minimum value for which this is true. If no such minimal n exists, the space is said to be of infinite covering dimension.

gollark: Well, yes, it'd be stupid if it didn't, but they all seem to operate on the same base thing of the "socket", which is odd.
gollark: It is part of my long term plan to undermine Golang.
gollark: Keep thinking that. or don't. or do.
gollark: My problem is that they all operate on "sockets" (well, file descriptors), despite doing entirely different things.
gollark: I don't think any of the actual individual API calls are.

See also

References
  • Watson, W. Stephen (1981). "Pseudocompact metacompact spaces are compact". Proc. Amer. Math. Soc. 81: 151–152. doi:10.1090/s0002-9939-1981-0589159-1..
  • Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (Dover reprint of 1978 ed.). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR 0507446. P.23.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.