space
Definition 1.
[1]Suppose is a topological space. Further, suppose thatfor any two disjointclosed sets
, there are two disjoint open sets and such that and . Then we saythat is a space.
Notes
It should be pointed out that there is no standard conventionfor separation axioms in topology. The above definition follows[1]. However, in some references (e.g. [2])the meaning of and normal are exchanged.
References
- 1 L.A. Steen, J.A.Seebach, Jr.,Counterexamples in topology,Holt, Rinehart and Winston, Inc., 1970.
- 2 J.L. Kelley, General Topology, D. van Nostrand Company, Inc., 1955.