In the
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
field of
general topology
In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geomet ...
, a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...
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 that 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
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural number ...
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
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is norm ...
is metacompact. This implies that every
compact space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
is metacompact, and every
metric space
In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general sett ...
is metacompact. The converse does not hold: a counter-example is the
Dieudonné plank.
* Every metacompact space is
orthocompact.
* Every metacompact
normal space
In topology and related branches of mathematics, a normal space is a topological space ''X'' that satisfies Axiom T4: every two disjoint closed sets of ''X'' have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space ...
is a
shrinking space
* The product of a
compact space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
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
In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space refers to any completely regular space that i ...
''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.
See also
*
Compact space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
*
Paracompact space
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is norm ...
*
Normal space
In topology and related branches of mathematics, a normal space is a topological space ''X'' that satisfies Axiom T4: every two disjoint closed sets of ''X'' have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space ...
*
Realcompact space In mathematics, in the field of topology, a topological space is said to be realcompact if it is completely regular Hausdorff and every point of its Stone–Čech compactification is real (meaning that the quotient field at that point of the r ...
*
Pseudocompact space
In mathematics, in the field of topology, a topological space is said to be pseudocompact if its image under any continuous function to R is bounded. Many authors include the requirement that the space be completely regular in the definition of pse ...
*
Mesocompact space In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in mode ...
*
Tychonoff space
In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space refers to any completely regular space that i ...
*
Glossary of topology
This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fun ...
References
*.
* P.23.
{{topology-stub
Properties of topological spaces
Compactness (mathematics)