HOME

TheInfoList



OR:

In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of
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 ...
s that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes called ''Tychonoff separation axioms'', after Andrey Tychonoff. The separation axioms are not fundamental
axiom An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
s like those of set theory, but rather defining properties which may be specified to distinguish certain types of topological spaces. The separation axioms are denoted with the letter "T" after the
German German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Ge ...
''Trennungsaxiom ("''separation axiom"), and increasing numerical subscripts denote stronger and stronger properties. The precise definitions of the separation axioms has varied over time. Especially in older literature, different authors might have different definitions of each condition.


Preliminary definitions

Before we define the separation axioms themselves, we give concrete meaning to the concept of separated sets (and points) in
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 ...
s. (Separated sets are not the same as ''separated spaces'', defined in the next section.) The separation axioms are about the use of topological means to distinguish
disjoint set In mathematics, two sets are said to be disjoint sets if they have no element in common. Equivalently, two disjoint sets are sets whose intersection is the empty set.. For example, and are ''disjoint sets,'' while and are not disjoint. A ...
s and distinct points. It's not enough for elements of a topological space to be distinct (that is, unequal); we may want them to be ''topologically distinguishable''. Similarly, it's not enough for subsets of a topological space to be disjoint; we may want them to be ''separated'' (in any of various ways). The separation axioms all say, in one way or another, that points or sets that are distinguishable or separated in some weak sense must also be distinguishable or separated in some stronger sense. Let ''X'' be a topological space. Then two points ''x'' and ''y'' in ''X'' are topologically distinguishable if they do not have exactly the same neighbourhoods (or equivalently the same open neighbourhoods); that is, at least one of them has a neighbourhood that is not a neighbourhood of the other (or equivalently there is an
open set In mathematics, open sets are a generalization of open intervals in the real line. In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are ...
that one point belongs to but the other point does not). That is, at least one of the points does not belong to the other's closure. Two points ''x'' and ''y'' are separated if each of them has a neighbourhood that is not a neighbourhood of the other; that is, neither belongs to the other's closure. More generally, two subsets ''A'' and ''B'' of ''X'' are separated if each is disjoint from the other's closure. (The closures themselves do not have to be disjoint.) All of the remaining conditions for separation of sets may also be applied to points (or to a point and a set) by using singleton sets. Points ''x'' and ''y'' will be considered separated, by neighbourhoods, by closed neighbourhoods, by a continuous function, precisely by a function, if and only if their singleton sets and are separated according to the corresponding criterion. Subsets ''A'' and ''B'' are separated by neighbourhoods if they have disjoint neighbourhoods. They are separated by closed neighbourhoods if they have disjoint closed neighbourhoods. They are separated by a continuous function if there exists a continuous function ''f'' from the space ''X'' to the
real line In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a poin ...
R such that the
image An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...
''f''(''A'') equals and ''f''(''B'') equals . Finally, they are precisely separated by a continuous function if there exists a continuous function ''f'' from ''X'' to R such that the
preimage In mathematics, the image of a function is the set of all output values it may produce. More generally, evaluating a given function f at each element of a given subset A of its domain produces a set, called the "image of A under (or through ...
''f''−1() equals ''A'' and ''f''−1() equals ''B''. These conditions are given in order of increasing strength: Any two topologically distinguishable points must be distinct, and any two separated points must be topologically distinguishable. Any two separated sets must be disjoint, any two sets separated by neighbourhoods must be separated, and so on.


Main definitions

These definitions all use essentially the preliminary definitions above. Many of these names have alternative meanings in some of mathematical literature; for example, the meanings of "normal" and "T4" are sometimes interchanged, similarly "regular" and "T3", etc. Many of the concepts also have several names; however, the one listed first is always least likely to be ambiguous. Most of these axioms have alternative definitions with the same meaning; the definitions given here fall into a consistent pattern that relates the various notions of separation defined in the previous section. Other possible definitions can be found in the individual articles. In all of the following definitions, ''X'' is again 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 T0, or ''Kolmogorov'', if any two distinct points in ''X'' are topologically distinguishable. (It will be a common theme among the separation axioms to have one version of an axiom that requires T0 and one version that doesn't.) * ''X'' is R0, or ''symmetric'', if any two topologically distinguishable points in ''X'' are separated. * ''X'' is T1, or ''accessible'' or ''Fréchet'', if any two distinct points in ''X'' are separated. Equivalently, every single-point set is a closed set. Thus, ''X'' is T1 if and only if it is both T0 and R0. (Although one may say such things as "T1 space", "Fréchet topology", and "suppose that the topological space ''X'' is Fréchet"; one should avoid saying "Fréchet space" in this context, since there is another entirely different notion of Fréchet space in functional analysis.) * ''X'' is R1, or ''preregular'', if any two topologically distinguishable points in ''X'' are separated by neighbourhoods. Every R1 space is also R0. * ''X'' is Hausdorff, or ''T2'' or ''separated'', if any two distinct points in ''X'' are separated by neighbourhoods. Thus, ''X'' is Hausdorff if and only if it is both T0 and R1. Every Hausdorff space is also T1. * ''X'' is T, or ''Urysohn'', if any two distinct points in ''X'' are separated by closed neighbourhoods. Every T space is also Hausdorff. * ''X'' is completely Hausdorff, or ''completely T2'', if any two distinct points in ''X'' are separated by a continuous function. Every completely Hausdorff space is also T. * ''X'' is regular if, given any point ''x'' and closed set ''F'' in ''X'' such that ''x'' does not belong to ''F'', they are separated by neighbourhoods. (In fact, in a regular space, any such ''x'' and ''F'' will also be separated by closed neighbourhoods.) Every regular space is also R1. * ''X'' is regular Hausdorff, or ''T3'', if it is both T0 and regular. Every regular Hausdorff space is also T. * ''X'' is
completely regular In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space refers to any completely regular space that is ...
if, given any point ''x'' and closed set ''F'' in ''X'' such that ''x'' does not belong to ''F'', they are separated by a continuous function. Every completely regular space is also regular. * ''X'' is Tychonoff, or ''T'', ''completely T3'', or ''completely regular Hausdorff'', if it is both T0 and completely regular.Schechter, p. 443 Every Tychonoff space is both regular Hausdorff and completely Hausdorff. * ''X'' is normal if any two disjoint closed subsets of ''X'' are separated by neighbourhoods. (In fact, a space is normal if and only if any two disjoint closed sets can be separated by a continuous function; this is Urysohn's lemma.) * ''X'' is normal regular if it is both R0 and normal. Every normal regular space is also completely regular. * ''X'' is normal Hausdorff, or ''T4'', if it is both T1 and normal. Every normal Hausdorff space is also both Tychonoff and normal regular. * ''X'' is
completely normal In topology and related branches of mathematics, a normal space is a topological space ''X'' that satisfies Axiom T4: every two disjoint closed sets of ''X'' have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. T ...
if any two separated sets are separated by neighbourhoods. Every completely normal space is also normal. * ''X'' is completely normal Hausdorff, or ''T5'' or ''completely T4'', if it is both completely normal and T1. Every completely normal Hausdorff space is also normal Hausdorff. * ''X'' is
perfectly normal ''Perfectly Normal'' is a Canadian comedy film directed by Yves Simoneau, which premiered at the 1990 Festival of Festivals, before going into general theatrical release in 1991. Simoneau's first English-language film, it was written by Eugene Li ...
if any two disjoint closed sets are precisely separated by a continuous function. Every perfectly normal space is also both completely normal and completely regular. * ''X'' is perfectly normal Hausdorff, or ''T6'' or ''perfectly T4'', if it is both perfectly normal and T0. Every perfectly normal Hausdorff space is also completely normal Hausdorff. The following table summarizes the separation axioms as well as the implications between them: cells which are merged represent equivalent properties, each axiom implies the ones in the cells to its left, and if we assume the T1 axiom, then each axiom also implies the ones in the cells above it (for example, all normal T1 spaces are also completely regular).


Relationships between the axioms

The T0 axiom is special in that it can not only be added to a property (so that completely regular plus T0 is Tychonoff) but also be subtracted from a property (so that Hausdorff minus T0 is R1), in a fairly precise sense; see Kolmogorov quotient for more information. When applied to the separation axioms, this leads to the relationships in the table to the left below. In this table, one goes from the right side to the left side by adding the requirement of T0, and one goes from the left side to the right side by removing that requirement, using the Kolmogorov quotient operation. (The names in parentheses given on the left side of this table are generally ambiguous or at least less well known; but they are used in the diagram below.) Other than the inclusion or exclusion of T0, the relationships between the separation axioms are indicated in the diagram to the right. In this diagram, the non-T0 version of a condition is on the left side of the slash, and the T0 version is on the right side. Letters are used for
abbreviation An abbreviation (from Latin ''brevis'', meaning ''short'') is a shortened form of a word or phrase, by any method. It may consist of a group of letters or words taken from the full version of the word or phrase; for example, the word ''abbrevia ...
as follows: "P" = "perfectly", "C" = "completely", "N" = "normal", and "R" (without a subscript) = "regular". A bullet indicates that there is no special name for a space at that spot. The dash at the bottom indicates no condition. Two properties may be combined using this diagram by following the diagram upwards until both branches meet. For example, if a space is both completely normal ("CN") and completely Hausdorff ("CT2"), then following both branches up, one finds he spot "•/T5". Since completely Hausdorff spaces are T0 (even though completely normal spaces may not be), one takes the T0 side of the slash, so a completely normal completely Hausdorff space is the same as a T5 space (less ambiguously known as a completely normal Hausdorff space, as can be seen in the table above). As can be seen from the diagram, normal and R0 together imply a host of other properties, since combining the two properties leads through the many nodes on the right-side branch. Since regularity is the most well known of these, spaces that are both normal and R0 are typically called "normal regular spaces". In a somewhat similar fashion, spaces that are both normal and T1 are often called "normal Hausdorff spaces" by people that wish to avoid the ambiguous "T" notation. These conventions can be generalised to other regular spaces and Hausdorff spaces. B: This diagram does not reflect that perfectly normal spaces are always regular; the editors are working on this now.


Other separation axioms

There are some other conditions on topological spaces that are sometimes classified with the separation axioms, but these don't fit in with the usual separation axioms as completely. Other than their definitions, they aren't discussed here; see their individual articles. * ''X'' is sober if, for every closed set ''C'' that is not the (possibly nondisjoint) union of two smaller closed sets, there is a unique point ''p'' such that the closure of equals ''C''. More briefly, every irreducible closed set has a unique generic point. Any Hausdorff space must be sober, and any sober space must be T0. * ''X'' is
weak Hausdorff In mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. In particular, every Hausdorff space is weak Hausdorff. As a ...
if, for every continuous map ''f'' to ''X'' from a compact Hausdorff space, the image of ''f'' is closed in ''X''. Any Hausdorff space must be weak Hausdorff, and any weak Hausdorff space must be T1. * ''X'' is semiregular if the regular open sets form a base for the open sets of ''X''. Any regular space must also be semiregular. * ''X'' is quasi-regular if for any nonempty open set ''G'', there is a nonempty open set ''H'' such that the closure of ''H'' is contained in ''G''. * ''X'' is fully normal if every open cover has an open star refinement. ''X'' is fully T4, or fully normal Hausdorff, if it is both T1 and fully normal. Every fully normal space is normal and every fully T4 space is T4. Moreover, one can show that every fully T4 space is paracompact. In fact, fully normal spaces actually have more to do with paracompactness than with the usual separation axioms. * The axiom that all compact subsets are closed is strictly between T1 and T2 (Hausdorff) in strength. A space satisfying this axiom is necessarily T1 because every single-point set is necessarily compact and thus closed, but the reverse is not necessarily true; for the
cofinite topology In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but it is countable, then one says the set is cocou ...
on infinitely many points, which is T1, every subset is compact but not every subset is closed. Furthermore, every T2 (Hausdorff) space satisfies the axiom that all compact subsets are closed, but the reverse is not necessarily true; for the
cocountable topology The cocountable topology or countable complement topology on any set ''X'' consists of the empty set and all cocountable subsets of ''X'', that is all sets whose complement in ''X'' is countable. It follows that the only closed subsets are ''X'' and ...
on uncountably many points, the compact sets are all finite and hence all closed but the space is not T2 (Hausdorff).


See also

*
General 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, geometr ...


Notes


References

* (has R''i'' axioms, among others) * (has all of the non-R''i'' axioms mentioned in the Main Definitions, with these definitions) *{{cite book , last1=Merrifield , first1=Richard E. , last2=Simmons , first2=Howard E. , authorlink2=Howard Ensign Simmons, Jr. , title=Topological Methods in Chemistry , year=1989 , publisher=Wiley , location=New York , isbn=0-471-83817-9 , url=https://archive.org/details/topologicalmetho00merr , url-access=registration (gives a readable introduction to the separation axioms with an emphasis on finite spaces)


External links


Separation Axioms at ProvenMath
from Schechter * Topology