Relationships To Other Separation Axioms
A regular space is necessarily also preregular, i.e., any two topologically distinguishable points can be separated by neighbourhoods. Since a Hausdorff space is the same as a preregular T0 space, a regular space that is also T0 must be Hausdorff (and thus T3). In fact, a regular Hausdorff space satisfies the slightly stronger condition T2½. (However, such a space need not be completely Hausdorff.) Thus, the definition of T3 may cite T0, T1, or T2½ instead of T2 (Hausdorffness); all are equivalent in the context of regular spaces.
Speaking more theoretically, the conditions of regularity and T3-ness are related by Kolmogorov quotients. A space is regular if and only if its Kolmogorov quotient is T3; and, as mentioned, a space is T3 if and only if it's both regular and T0. Thus a regular space encountered in practice can usually be assumed to be T3, by replacing the space with its Kolmogorov quotient.
There are many results for topological spaces that hold for both regular and Hausdorff spaces. Most of the time, these results hold for all preregular spaces; they were listed for regular and Hausdorff spaces separately because the idea of preregular spaces came later. On the other hand, those results that are truly about regularity generally don't also apply to nonregular Hausdorff spaces.
There are many situations where another condition of topological spaces (such as normality, paracompactness, or local compactness) will imply regularity if some weaker separation axiom, such as preregularity, is satisfied. Such conditions often come in two versions: a regular version and a Hausdorff version. Although Hausdorff spaces aren't generally regular, a Hausdorff space that is also (say) locally compact will be regular, because any Hausdorff space is preregular. Thus from a certain point of view, regularity is not really the issue here, and we could impose a weaker condition instead to get the same result. However, definitions are usually still phrased in terms of regularity, since this condition is more well known than any weaker one.
Most topological spaces studied in mathematical analysis are regular; in fact, they are usually completely regular, which is a stronger condition. Regular spaces should also be contrasted with normal spaces.
Read more about this topic: Regular Space
Famous quotes containing the words relationships to, separation and/or axioms:
“With only one life to live we can’t afford to live it only for itself. Somehow we must each for himself, find the way in which we can make our individual lives fit into the pattern of all the lives which surround it. We must establish our own relationships to the whole. And each must do it in his own way, using his own talents, relying on his own integrity and strength, climbing his own road to his own summit.”
—Hortense Odlum (1892–?)
“... imprisonment itself, entailing loss of liberty, loss of citizenship, separation from family and loved ones, is punishment enough for most individuals, no matter how favorable the circumstances under which the time is passed.”
—Mary B. Harris (1874–1957)
“The axioms of physics translate the laws of ethics. Thus, “the whole is greater than its part;” “reaction is equal to action;” “the smallest weight may be made to lift the greatest, the difference of weight being compensated by time;” and many the like propositions, which have an ethical as well as physical sense. These propositions have a much more extensive and universal sense when applied to human life, than when confined to technical use.”
—Ralph Waldo Emerson (1803–1882)