Separated setsIn topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.
Separation axiomIn topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces 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 axioms like those of set theory, but rather defining properties which may be specified to distinguish certain types of topological spaces.
T1 spaceDISPLAYTITLE:T1 space In topology and related branches of mathematics, a T1 space is a topological space in which, for every pair of distinct points, each has a neighborhood not containing the other point. An R0 space is one in which this holds for every pair of topologically distinguishable points. The properties T1 and R0 are examples of separation axioms. Let X be a topological space and let x and y be points in X. We say that x and y are if each lies in a neighbourhood that does not contain the other point.
Topological indistinguishabilityIn topology, two points of a topological space X are topologically indistinguishable if they have exactly the same neighborhoods. That is, if x and y are points in X, and Nx is the set of all neighborhoods that contain x, and Ny is the set of all neighborhoods that contain y, then x and y are "topologically indistinguishable" if and only if Nx = Ny. (See Hausdorff's axiomatic .) Intuitively, two points are topologically indistinguishable if the topology of X is unable to discern between the points.
UltrafilterIn the mathematical field of order theory, an ultrafilter on a given partially ordered set (or "poset") is a certain subset of namely a maximal filter on that is, a proper filter on that cannot be enlarged to a bigger proper filter on If is an arbitrary set, its power set ordered by set inclusion, is always a Boolean algebra and hence a poset, and ultrafilters on are usually called . An ultrafilter on a set may be considered as a finitely additive measure on .
Tychonoff's theoremIn mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology. The theorem is named after Andrey Nikolayevich Tikhonov (whose surname sometimes is transcribed Tychonoff), who proved it first in 1930 for powers of the closed unit interval and in 1935 stated the full theorem along with the remark that its proof was the same as for the special case. The earliest known published proof is contained in a 1935 article of Tychonoff, A.
Normal spaceIn 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. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces. A topological space X is a normal space if, given any disjoint closed sets E and F, there are neighbourhoods U of E and V of F that are also disjoint.
Regular spaceIn topology and related fields of mathematics, a topological space X is called a regular space if every closed subset C of X and a point p not contained in C admit non-overlapping open neighborhoods. Thus p and C can be separated by neighborhoods. This condition is known as Axiom T3. The term "T3 space" usually means "a regular Hausdorff space". These conditions are examples of separation axioms. A topological space X is a regular space if, given any closed set F and any point x that does not belong to F, there exists a neighbourhood U of x and a neighbourhood V of F that are disjoint.
Kolmogorov spaceIn topology and related branches of mathematics, a topological space X is a T0 space or Kolmogorov space (named after Andrey Kolmogorov) if for every pair of distinct points of X, at least one of them has a neighborhood not containing the other. In a T0 space, all points are topologically distinguishable. This condition, called the T0 condition, is the weakest of the separation axioms. Nearly all topological spaces normally studied in mathematics are T0 spaces. In particular, all T1 spaces, i.e.
Box topologyIn topology, the cartesian product of topological spaces can be given several different topologies. One of the more natural choices is the box topology, where a base is given by the Cartesian products of open sets in the component spaces. Another possibility is the product topology, where a base is given by the Cartesian products of open sets in the component spaces, only finitely many of which can be not equal to the entire component space. While the box topology has a somewhat more intuitive definition than the product topology, it satisfies fewer desirable properties.
