Operating With T0 Spaces
Examples of topological space typically studied are T0. Indeed, when mathematicians in many fields, notably analysis, naturally run across non-T0 spaces, they usually replace them with T0 spaces, in a manner to be described below. To motivate the ideas involved, consider a well-known example. The space L2(R) is meant to be the space of all measurable functions f from the real line R to the complex plane C such that the Lebesgue integral of |f(x)|2 over the entire real line is finite. This space should become a normed vector space by defining the norm ||f|| to be the square root of that integral. The problem is that this is not really a norm, only a seminorm, because there are functions other than the zero function whose (semi)norms are zero. The standard solution is to define L2(R) to be a set of equivalence classes of functions instead of a set of functions directly. This constructs a quotient space of the original seminormed vector space, and this quotient is a normed vector space. It inherits several convenient properties from the seminormed space; see below.
In general, when dealing with a fixed topology T on a set X, it is helpful if that topology is T0. On the other hand, when X is fixed but T is allowed to vary within certain boundaries, to force T to be T0 may be inconvenient, since non-T0 topologies are often important special cases. Thus, it can be important to understand both T0 and non-T0 versions of the various conditions that can be placed on a topological space.
Read more about this topic: Kolmogorov Space
Famous quotes containing the words operating and/or spaces:
“... the modern drama, operating through the double channel of dramatist and interpreter, affecting as it does both mind and heart, is the strongest force in developing social discontent, swelling the powerful tide of unrest that sweeps onward and over the dam of ignorance, prejudice, and superstition.”
—Emma Goldman (18691940)
“Though there were numerous vessels at this great distance in the horizon on every side, yet the vast spaces between them, like the spaces between the stars,far as they were distant from us, so were they from one another,nay, some were twice as far from each other as from us,impressed us with a sense of the immensity of the ocean, the unfruitful ocean, as it has been called, and we could see what proportion man and his works bear to the globe.”
—Henry David Thoreau (18171862)