In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, in the field of
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
, a
topological space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
is said to be pseudonormal if given two disjoint
closed set
In geometry, topology, and related branches of mathematics, a closed set is a Set (mathematics), set whose complement (set theory), complement is an open set. In a topological space, a closed set can be defined as a set which contains all its lim ...
s in it, one of which is
countable
In mathematics, a Set (mathematics), set is countable if either it is finite set, 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 fro ...
, there are disjoint open sets containing them.
Note the following:
* Every
normal space
Normal(s) or The Normal(s) may refer to:
Film and television
* Normal (2003 film), ''Normal'' (2003 film), starring Jessica Lange and Tom Wilkinson
* Normal (2007 film), ''Normal'' (2007 film), starring Carrie-Anne Moss, Kevin Zegers, Callum Keit ...
is pseudonormal.
* Every pseudonormal space is
regular.
An example of a pseudonormal
Moore space that is not
metrizable
In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \tau) is said to be metrizable if there is a metric d : X \times X \to , \infty) suc ...
was given by , in connection with the conjecture that all normal Moore spaces are metrizable.
[.]
References
Topology
Properties of topological spaces
{{topology-stub