In topology and related areas of mathematics , one often does not consider all topological spaces , but rather sets certain conditions that should be met by the spaces of interest. Some of these conditions are called axioms of separation or separation properties . After Andrei Nikolajewitsch Tichonow they are sometimes also referred to as Tichonow separation axioms (or in an older transcription Tychonoff separation axioms ).
The axioms of separation are axioms in the sense that when defining a topological space, some of these conditions can be additionally required in order to obtain a more restricted concept of topological space. The modern approach consists in fixing the axioms of topological space once and for all (as given in the article on topological space ) and then speaking of certain kinds of topological spaces. The name “separation axiom” for these conditions has been preserved to this day. Many axioms of separation are denoted by the letter "T" (for "separation").
The exact meaning of the terms that appear in the axioms of separation has changed over time. So when reading older literature, one should be careful to know the definition used by the author.
To formulate the axioms of separation we need some terms, which are defined below.
Separate sets and topologically distinguishable points
The axioms of separation make statements about how points and sets can be distinguished using topological means. It is often not enough that two points in a topological space are different; one wants to be able to distinguish them topologically . Likewise, it is often not enough that two sets are disjoint ; we want to be able to separate them topologically (in the most varied of ways) . All axioms of separation require that points or sets that are distinguishable in a certain weak sense are also distinguishable in a stronger sense.
Be a topological space. Two subsets and separated from hot if each of the two is disjoint to the closed hull of the other. Separate sets are always disjoint.
There are other, stronger forms of separation of sets: separated by surroundings ; separated by closed environments ; separated by a function ; sharply separated by a function . All of these are defined and explained in the article separate quantities .
If one applies the terminology of separate sets to points and , one means the one-element sets . If and are open disjoint sets, then they are separated by surroundings: take and as surroundings. For this reason, many axioms of separation apply specifically to closed sets.
Two points and are called topologically distinguishable if they do not have exactly the same surroundings. Two topologically distinguishable points are necessarily different. If and are separate (that is, and are separate sets), then they are topologically distinguishable.
Definition of the axioms of separation
Many of the names have changed their meanings over time, and many of these concepts have multiple names. In this encyclopedia none of these names are usually preferred, so the order is arbitrary (and taken from the English article).
Most of the axioms can be defined in different ways with the same meaning, the one given here first referring to the concepts of separation in the previous section.
In the following, always be a topological space.
- is a Kolmogoroff space if it fulfills the axiom T 0 : Any two different points of are topologically distinguishable, i. that is, there is an open set that contains one point but not the other. Among the other axioms of separation, there is often a variant that requires T 0 and another that does not.
- is an R 0 -space , or symmetrical space , if two topologically distinguishable points are separated, i.e. if the closed envelope of each of the two points does not contain the other.
- is a T 1 space , or has a Fréchet topology , if two different points are separated. The axiom T 1 therefore consists of T 0 and R 0 . The condition that every single-element set is closed is equivalent . The term " Fréchet room ", which is a term used in functional analysis , should be avoided here .
- is a pre-regular space if it fulfills the axiom R 1 : Two topologically distinguishable points are separated by neighborhoods. The axiom R 1 includes R 0 .
- is a Hausdorff space if it fulfills the axiom T 2 : Two different points are separated by neighborhoods. The axiom T 2 therefore consists of T 0 and R 1 . It includes the condition T 1 . The condition that two different points have disjoint neighborhoods is equivalent.
- is a sober space (engl. sober space ), if any irreducible closed set degree is exactly one dot. Hausdorff rooms are sober and sober rooms are T 0 .
- is a Urysohn space if it fulfills the axiom T 2½ : Two different points are separated by closed neighborhoods. The axiom T 2½ includes T 2 , so a Urysohn space is Hausdorffian.
- is a complete Hausdorff space or also complete T 2 , if any two points are separated by a function. Every completely Haussdorffian room is a T 2½ room.
- is a regular space if every point of every closed set that does not contain is separated by neighborhoods. In a regular room, and even separated by closed environments. Every regular room is pre-regular, and every regular T 0 room is Hausdorffian.
- is a regular Hausdorff space or also T 3 space , if it satisfies T 0 and is regular. A T 3 space is always a T 2½ space.
- is a completely regular space if every closed set and every point not lying in is separated by a continuous function. Any fully regular room is regular.
- is a Tychonoff space or a T 3½ space or a T 3a space or a complete T 3 space or a completely regular Hausdorff space if it is a T 0 space that is also completely regular. A Tychonoff room is both regular Hausdorffsch and completely Hausdorffsch.
- There are two conventions for the axiom of separation T 4 and the concept of normal space :
- either T 4 says that every two closed disjoint subsets have disjoint open neighborhoods, and a normal space is a space that satisfies T 2 and T 4
- or a space is called normal if each two closed disjoint subsets have disjoint open neighborhoods, and a space satisfies T 4 if it is normal and Hausdorffian (i.e. also satisfies T 2 ). We'll use this definition for the rest of the article.
- is a completely normal space if two separate sets are always separated by surroundings. A perfectly normal room is always normal.
- is a completely normal Hausdorff space or a T 5 space or a complete T 4 space if both is completely normal and T 1 is satisfied. Every T 5 space is also a T 4 space.
- is a perfectly normal space if two disjoint closed sets are sharply separated by a function. Any perfectly normal room is completely normal.
- is a perfectly normal Hausdorff room or a perfect T 4 room if is perfectly normal and fulfills T 1 . Every perfect T 4 room is a T 5 room.
- is a locally compact space if Hausdorff is and every point has a compact neighborhood.
- Boto von Querenburg : Set theoretical topology (= Springer textbook ). 3rd, revised and expanded edition. Springer, Berlin et al. 2001, ISBN 3-540-67790-9 .