In mathematics, specifically in the field of topology, a monotonically normal space is a particular kind of normal space, defined in terms of a monotone normality operator. It satisfies some interesting properties; for example metric spaces and linearly ordered spaces are monotonically normal, and every monotonically normal space is hereditarily normal.
Definition A topological space X {\displaystyle X} is called monotonically normal if it satisfies any of the following equivalent definitions:
Definition 1 The space X {\displaystyle X} is T1 and there is a function G {\displaystyle G} that assigns to each ordered pair ( A , B ) {\displaystyle (A,B)} of disjoint closed sets in X {\displaystyle X} an open set G ( A , B ) {\displaystyle G(A,B)} such that:
(i) A ⊆ G ( A , B ) ⊆ G ( A , B ) ¯ ⊆ X ∖ B {\displaystyle A\subseteq G(A,B)\subseteq {\overline {G(A,B)}}\subseteq X\setminus B} ; (ii) G ( A , B ) ⊆ G ( A ′ , B ′ ) {\displaystyle G(A,B)\subseteq G(A',B')} whenever A ⊆ A ′ {\displaystyle A\subseteq A'} and B ′ ⊆ B {\displaystyle B'\subseteq B} . Condition (i) says X {\displaystyle X} is a normal space, as witnessed by the function G {\displaystyle G} . Condition (ii) says that G ( A , B ) {\displaystyle G(A,B)} varies in a monotone fashion, hence the terminology monotonically normal. The operator G {\displaystyle G} is called a monotone normality operator. One can always choose G {\displaystyle G} to satisfy the property
G ( A , B ) ∩ G ( B , A ) = ∅ {\displaystyle G(A,B)\cap G(B,A)=\emptyset } , by replacing each G ( A , B ) {\displaystyle G(A,B)} by G ( A , B ) ∖ G ( B , A ) ¯ {\displaystyle G(A,B)\setminus {\overline {G(B,A)}}} .
Definition 2 The space X {\displaystyle X} is T1 and there is a function G {\displaystyle G} that assigns to each ordered pair ( A , B ) {\displaystyle (A,B)} of separated sets in X {\displaystyle X} (that is, such that A ∩ B ¯ = B ∩ A ¯ = ∅ {\displaystyle A\cap {\overline {B}}=B\cap {\overline {A}}=\emptyset } ) an open set G ( A , B ) {\displaystyle G(A,B)} satisfying the same conditions (i) and (ii) of Definition 1.
Definition 3 The space X {\displaystyle X} is T1 and there is a function μ {\displaystyle \mu } that assigns to each pair ( x , U ) {\displaystyle (x,U)} with U {\displaystyle U} open in X {\displaystyle X} and x ∈ U {\displaystyle x\in U} an open set μ ( x , U ) {\displaystyle \mu (x,U)} such that:
(i) x ∈ μ ( x , U ) {\displaystyle x\in \mu (x,U)} ; (ii) if μ ( x , U ) ∩ μ ( y , V ) ≠ ∅ {\displaystyle \mu (x,U)\cap \mu (y,V)\neq \emptyset } , then x ∈ V {\displaystyle x\in V} or y ∈ U {\displaystyle y\in U} . Such a function μ {\displaystyle \mu } automatically satisfies
… excerpt ends here. Continue reading the full article.
