Topological space

Topological spaces are structures which allow one to formalize concepts such as convergence, connectedness and continuity. They appear in all branches of modern mathematics and can be seen as a central unifying notion. The branch of mathematics which studies topological spaces in their own right is called topology.

Formally, a topological space is a set X together with a set T of subsets of X (i.e., T is a subset of the power set of X) satisfying:

1. The union of any collection of sets in T is also in T.
2. The intersection of any pair of sets in T is also in T.
3. X and the empty set are in T.

The set T is also called a topology on X. The sets in T are referred to as open sets, and their complements in X are called closed sets. Roughly speaking, open sets are thought of as neighborhoods of points; two points are "close together" if there are many open sets that contain both of them.

A function between topological spaces is said to be continuous if the inverse image of every open set is open. This is an attempt to capture the intuition that points which are "close together" get mapped to points which are "close together".

Examples of topological spaces

• The real numbers R: the open sets are unions of (possibly infinitely many) open intervals. This is in many ways the most basic topological space and the one that guides most of our human intuition.
• More generally, every interval in R is a topological space, and so are the Euclidean spaces Rⁿ.
• The complex numbers C: the open sets are unions of open discs.
• Any metric space turns into a topological space if we define a set to be open if it is a (possibly infinite) union of open balls. This includes useful infinite dimensional spaces like the Banach spaces and Hilbert spaces studied in functional analysis.
• Manifolds. In particular, surfaces.
• A simplex. Convex objects that are very useful in computational geometry. In 0, 1, 2 and 3 dimensional space the simplexes are the point, line segment, triangle and tetrahedron, respectively.
• Simplicial complexes. A simplicial complex is made up of many simplices. Many geometric objects can be modeled by simplicial complexes -- see also Polytope.
• CW complexes[?]. Glued together cells that inherit essentially the quotient topology.
• The Zariski topology. A purely algebraically defined topology on the spectrum of a ring or an algebraic variety. On Rⁿ or Cⁿ the closed sets of the Zariski topology are the solution sets of systems of polynomial equations.
• The weak topology. A useful topology for operators studied in functional analysis.

• Any set with the discrete topology (i.e., every set is open, which has the effect that no two points are "close" to each other).
• Any set with the trivial topology (i.e., only the empty set and the whole space are open, which has the effect of "lumping all points together").
• Any infinite set with the cofinite topology (i.e., the open sets are the empty set and the sets whose complement is finite). This is the smallest T₁ topology on the set.

Constructing new topological spaces from given ones

• A subset of a topological space. The open sets are the intersections of the open sets of the larger space with the subset. This is also called a subspace.
• Products of topological spaces. For finite products, the open sets are the sets that are unions of products of open sets.
• Quotient spaces. If f: X → Y is a function and X is a topological space, then Y gets a topology where a set is open if and only if its inverse image[?] is open. A common example comes from an equivalence relation defined on the topological space X: the map f is then the natural projection on the set of equivalence classes.
• The Vietoris topology on the set of all non-empty subsets of a topological space X is generated by the following basis: for every n-tuple U₁,....,U_n of open sets in X we construct a basis set consisting of all subsets of the union of the U_i which have non-empty intersection with each U_i.

Classification of topological spaces

Topological spaces can be broadly classified according to their degree of connectedness, their size, their degree of compactness and the degree of separation of their points. A great many terms are used in topology to achieve these distinctions. These terms and definitions are collected together in the Topology Glossary.

Alternative definitions

There are many other equivalent ways to define a topological space. Instead of defining open sets, it is possible to define first the closed sets, with the properties that the intersection of arbitrarily many closed sets is closed, the union of a finite number of closed sets is closed, and X and the empty set are closed. Open sets are then defined as the complements of closed sets. Another method is to define the topology by means of the closure operator. The closure operator is a function from the power set of X to itself which satisfies the following axioms (called the Kuratowski closure axioms): the closure operator is idempotent, every set is a subset of its closure, the closure of the empty set is empty, and the closure of the union of two sets is the union of their closures. Closed sets are then the fixed points of this operator. A topology on X is also completely determined if for every net in X the set of its limits is specified.

History

Metric spaces were defined and investigated by Fréchet in 1906, Hausdorff spaces by Felix Hausdorff in 1914 and the current concept of topological space was described by Kuratowski in 1922.

Topological spaces with algebraic structure

It is almost universally true that all "large" algebraic objects carry a natural topology which is compatible with the algebraic operations. In order to study these objects, one typically has to take the topology into account. This leads to concepts such as topological groups, topological vector spaces and topological rings.

Common misspelling and questions (FAQ)

opological-space  tpological-space  toological-space  toplogical-space  topoogical-space  topolgical-space  topoloical-space  topologcal-space  topologial-space  topologicl-space  topologica-space  topologicalspace  topological-pace  topological-sace  topological-spce  topological-spae  topological-spac  otpological-space  tpoological-space  tooplogical-space  toploogical-space  topoolgical-space  topolgoical-space  topoloigcal-space  topologcial-space  topologiacl-space  topologicla-space  topologica-lspace  topologicals-pace  topological-psace  topological-sapce  topological-spcae  topological-spaec  topological-spac  ttopological-space  toopological-space  toppological-space  topoological-space  topollogical-space  topoloogical-space  topologgical-space  topologiical-space  topologiccal-space  topologicaal-space  topologicall-space  topological--space  topological-sspace  topological-sppace  topological-spaace  topological-spacce  topological-spacee  5opological-space  ropological-space  fopological-space  6opological-space  gopological-space  6opological-space  yopological-space  gopological-space  t9pological-space  tipological-space  tkpological-space  t0pological-space  tlpological-space  t0pological-space  tppological-space  tlpological-space  to0ological-space  tooological-space  tolological-space  to-ological-space  to;ological-space  to-ological-space  to[ological-space  to;ological-space  top9logical-space  topilogical-space  topklogical-space  top0logical-space  topllogical-space  top0logical-space  topplogical-space  topllogical-space  topooogical-space  topokogical-space  topo,ogical-space  topopogical-space  topo.ogical-space  topopogical-space  topo;ogical-space  topo.ogical-space  topol9gical-space  topoligical-space  topolkgical-space  topol0gical-space  topollgical-space  topol0gical-space  topolpgical-space  topollgical-space  topolotical-space  topolofical-space  topolovical-space  topoloyical-space  topolobical-space  topoloyical-space  topolohical-space  topolobical-space  topolog8cal-space  topologucal-space  topologjcal-space  topolog9cal-space  topologkcal-space  topolog9cal-space  topologocal-space  topologkcal-space  topologidal-space  topologixal-space  topologifal-space  topologifal-space  topologival-space  topologicql-space  topologicwl-space  topologiczl-space  topologicwl-space  topologicsl-space  topologiczl-space  topologicao-space  topologicak-space  topologica,-space  topologicap-space  topologica.-space  topologicap-space  topologica;-space  topologica.-space  topological0space  topologicalpspace  topological[space  topological-wpace  topological-apace  topological-zpace  topological-epace  topological-xpace  topological-epace  topological-dpace  topological-xpace  topological-s0ace  topological-soace  topological-slace  topological-s-ace  topological-s;ace  topological-s-ace  topological-s[ace  topological-s;ace  topological-spqce  topological-spwce  topological-spzce  topological-spwce  topological-spsce  topological-spzce  topological-spade  topological-spaxe  topological-spafe  topological-spafe  topological-spave  topological-spac3  topological-spacw  topological-spacs  topological-spac4  topological-spacd  topological-spac4  topological-spacr  topological-spacd  topologycal-space  yopological-space  tyopological-space  topological-spaces 


rutschte mit tiefen Verbeugungen ins Zimmer, "ich unterbreche unglückliche Freund; "setzen Sie sich und verschmähen Sie nicht nichts; alles Bitten ist umsonst. Ich will Ihnen nur gestehen, ich gebracht, daß sie mir feierlich gelobte, heiser zu werden; da führt vom.... ner Theater, bittet die allerhöchste Theaterdirektion um Sonntag 'Othello' zu. Ich habe beinahe geweint, wie es mir angezeigt schreckliche Ahnungen!" "Alter Herr!" rief der Graf, der indessen Zeit gehabt hatte, sich zu Sie versichern, es soll keiner der allerhöchsten Personen ein Haar der erwürgten Desdemona zeigen, mache ihr meine Aufwartung und bitte sie dann nur einen Grafen und kein fürstliches Blut; doch einer kann Sie das Unglück mit hinabziehen! Mit solchen Dingen ist nicht Trauerzug mit Fackeln gesehen, wie man Fürsten zu begraben pflegt." "Schreckliche Visionen, guter Herr!" lachte der Major. "Haben Sie natürlicher, als daß Sie solches Zeug träumen, da Sie den ganzen Tag Sie, verehrter Herr, sollten nicht Spott damit treiben", sagte er. Herrn Grafen besuchten, und doch gingen wir beide heute nacht kommen, um mit Ihnen, lieber Mann, im Traume spazieren zu gehen!" "Brechen wir ab", erwiderte jener, "was kommen muß, wird kommen, und .