In
mathematics, more specifically
point-set 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 Moore space is a
developable regular Hausdorff space
In topology and related fields of mathematics, a topological space ''X'' is called a regular space if every closed subset ''C'' of ''X'' and a point ''p'' not contained in ''C'' admit non-overlapping open neighborhoods. Thus ''p'' and ''C'' can b ...
. That is, 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 ...
''X'' is a Moore space if the following conditions hold:
* Any two distinct points can be
separated by neighbourhoods
In topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets ...
, and any
closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric spac ...
and any point in its
complement
A complement is something that completes something else.
Complement may refer specifically to:
The arts
* Complement (music), an interval that, when added to another, spans an octave
** Aggregate complementation, the separation of pitch-clas ...
can be separated by neighbourhoods. (''X'' is a
regular Hausdorff space
In topology and related fields of mathematics, a topological space ''X'' is called a regular space if every closed subset ''C'' of ''X'' and a point ''p'' not contained in ''C'' admit non-overlapping open neighborhoods. Thus ''p'' and ''C'' can b ...
.)
* There is a
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 ...
collection of
open cover
In mathematics, and more particularly in set theory, a cover (or covering) of a set X is a collection of subsets of X whose union is all of X. More formally, if C = \lbrace U_\alpha : \alpha \in A \rbrace is an indexed family of subsets U_\alph ...
s of ''X'', such that for any closed set ''C'' and any point ''p'' in its complement there exists a cover in the collection such that every neighbourhood of ''p'' in the cover is
disjoint
Disjoint may refer to:
*Disjoint sets, sets with no common elements
*Mutual exclusivity, the impossibility of a pair of propositions both being true
See also
*Disjoint union
*Disjoint-set data structure
{{disambig