Metacompact spaceIn the mathematical 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 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 open cover has a point-finite open refinement.
Point-finite collectionIn mathematics, a collection or family of subsets of a topological space is said to be point-finite if every point of lies in only finitely many members of A metacompact space is a topological space in which every open cover admits a point-finite open refinement. Every locally finite collection of subsets of a topological space is also point-finite. A topological space in which every open cover admits a locally finite open refinement is called a paracompact space. Every paracompact space is therefore metacompact.
Glossary of topologyThis 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 fundamental to algebraic topology, differential topology and geometric topology. All spaces in this glossary are assumed to be topological spaces unless stated otherwise. Absolutely closed See H-closed Accessible See . Accumulation point See limit point.
Cover (topology)In mathematics, and more particularly in set theory, a cover (or covering) of a set is a family of subsets of whose union is all of . More formally, if is an indexed family of subsets (indexed by the set ), then is a cover of if . Thus the collection is a cover of if each element of belongs to at least one of the subsets . A subcover of a cover of a set is a subset of the cover that also covers the set. A cover is called an open cover if each of its elements is an open set. Covers are commonly used in the context of topology.
Lebesgue covering dimensionIn mathematics, the Lebesgue covering dimension or topological dimension of a topological space is one of several different ways of defining the dimension of the space in a topologically invariant way. For ordinary Euclidean spaces, the Lebesgue covering dimension is just the ordinary Euclidean dimension: zero for points, one for lines, two for planes, and so on. However, not all topological spaces have this kind of "obvious" dimension, and so a precise definition is needed in such cases.
Paracompact spaceIn 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 normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact.
Second-countable spaceIn topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space is second-countable if there exists some countable collection of open subsets of such that any open subset of can be written as a union of elements of some subfamily of . A second-countable space is said to satisfy the second axiom of countability. Like other countability axioms, the property of being second-countable restricts the number of open sets that a space can have.