The Wayback Machine - https://web.archive.org/web/20140327231833/http://mathworld.wolfram.com/TopologicalSpace.html
Topology > Spaces >

Topological Space

EXPLORE THIS TOPIC IN the MathWorld Classroom

A topological space, also called an abstract topological space, is a set X together with a collection of open subsets T that satisfies the four conditions:

1. The empty set emptyset is in T.

2. X is in T.

3. The intersection of a finite number of sets in T is also in T.

4. The union of an arbitrary number of sets in T is also in T.

Alternatively, T may be defined to be the closed sets rather than the open sets, in which case conditions 3 and 4 become:

3. The intersection of an arbitrary number of sets in T is also in T.

4. The union of a finite number of sets in T is also in T.

These axioms are designed so that the traditional definitions of open and closed intervals of the real line continue to be true. For example, the restriction in (3) can be seen to be necessary by considering  intersection _(n=1)^infty(-1/n,1/n)={0}, where an infinite intersection of open intervals is a closed set.

In the chapter "Point Sets in General Spaces" Hausdorff (1914) defined his concept of a topological space based on the four Hausdorff axioms (which in modern times are not considered necessary in the definition of a topological space).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computable Document Format »

The format that makes Demonstrations (and any information) easy to share and interact with.

STEM initiative »

Programs & resources for educators, schools & students.

Computerbasedmath.org »

Join the initiative for modernizing math education.