Skip to content
Home

Topology: the mathematical study of space, continuity and shape

An introduction to topology: its basic concepts, main branches (point-set, algebraic, differential), history, examples, and applications across mathematics and science.

Author: Created: Updated:

Topology is a branch of mathematics concerned with the properties of space that are preserved under continuous deformations such as stretching and bending, but not tearing or gluing. It formalizes intuitive ideas about nearness, continuity and connectedness and provides a language to compare shapes and spaces at an abstract level. For a broad overview see topology.

Image gallery

6 Images
Möbius strip
simple.wikipedia.org · CC BY-SA 3.0

Fundamental concepts

At the heart of topology is the notion of a topological space: a set together with a collection of subsets called open sets that satisfy axioms governing unions, intersections and inclusion of the whole set and the empty set. This basic framework captures the idea of continuity without reference to distance. Related, more concrete objects include topological spaces defined by metrics (metric spaces) and smooth structures that lead to manifolds (manifolds).

Key properties and notions treated in topology include:

  • Continuity — maps that send nearby points to nearby points.
  • Homeomorphism — a bijective continuous map with continuous inverse, expressing when two spaces are topologically the same.
  • Connectedness and compactness — qualitative restrictions on the way a space can be broken into pieces or covered by open sets.
  • Convergence, separation axioms, bases for a topology, and countability conditions that classify different flavors of topological behavior.

Major branches

Topology has specialized subfields that emphasize different techniques and goals:

  1. Point-set (general) topology — develops the language of topological spaces and studies continuity, compactness, connectedness and convergence.
  2. Algebraic topology — assigns algebraic invariants (groups, rings) such as homotopy and homology groups to spaces to detect features like holes and higher-dimensional loops.
  3. Differential topology — studies smooth manifolds and smooth maps, focusing on properties invariant under smooth deformations.
  4. Geometric and low-dimensional topology — examines specific geometric structures on manifolds, knot theory and the topology of surfaces and 3‑manifolds.

Historical development

Ideas later recognized as topological arose from classical analysis and geometry. Leonhard Euler's solution of the Seven Bridges of Königsberg and nineteenth-century work on continuity and convergence contributed foundations. In the late 19th and early 20th centuries, mathematicians such as Riemann, Cantor and Poincaré helped consolidate concepts that became modern topology. The subject evolved by blending rigorous set-theoretic definitions with geometric intuition.

Examples and illustrations

The popular "rubber-sheet" analogy captures the informal idea of topology: a circle and a square are equivalent because one can be continuously deformed into the other, while a figure-eight (with a self-intersection) is not equivalent to a simple circle without cutting. More formal examples include the real line, the plane, spheres, tori (donut shapes), and exotic constructions that challenge geometric intuition.

Applications and significance

Topology connects broadly with other areas of math and science. It underpins modern analysis, differential equations and geometry, and provides tools for classifying manifolds in physics and cosmology. In applied settings, topological ideas are used in data analysis (topological data analysis identifies shape in high-dimensional data), robotics (motion planning uses configuration spaces), and materials science (studies of defects and phases). Algebraic invariants make qualitative features computable and robust under noise.

Distinctions and notable facts

Unlike geometry, which depends on distances and angles, topology focuses on properties invariant under continuous change. This leads to powerful but sometimes counterintuitive results: many geometric measures disappear while coarse, qualitative invariants remain. The field continues to grow, blurring boundaries between pure theory and practical application.

Cup and solid torus are homeomorphic to each other. Remark: A homeomorphism is a direct mapping between the points of the cup and the solid torus, the intermediate steps in the temporal course serve only to illustrate the continuity of this mapping. .
Cup and solid torus are homeomorphic to each other. Remark: A homeomorphism is a direct mapping between the points of the cup and the solid torus, the intermediate steps in the temporal course serve only to illustrate the continuity of this mapping. .

History

The term "topology" is first found around 1840 by Johann Benedict Listing; however, the older term analysis situs (roughly 'positional investigation') remained in common use for a long time, with a focus of meaning beyond the more recent, "set-theoretic" topology.

The solution of the seven-bridge problem of Königsberg by Leonhard Euler in 1736 is considered to be the first topological and at the same time the first graph-theoretical work in the history of mathematics. Another contribution of Euler to the so-called analysis situs is the polyhedron theorem of 1750 named after him. If one denotes with the enumber of vertices, with that of kedges and with fthat of faces of a polyhedron (which still satisfies conditions to be specified), then e-k+f=2. It was not until 1860, when a copy (made by Gottfried Wilhelm Leibniz) of a lost manuscript by René Descartes became known, that the latter had already known the formula.

Maurice Fréchet introduced metric space in 1906. Georg Cantor dealt with the properties of open and closed intervals, investigated boundary processes, and at the same time founded modern topology and set theory. Topology is the first branch of mathematics to be consistently formulated in terms of set theory - and, conversely, gave impetus to the development of set theory.

A definition of topological space was first established by Felix Hausdorff in 1914. According to today's usage, he defined there an open ambient basis, but not a topology, which was introduced only by Kazimierz Kuratowski and Heinrich Tietze, respectively, around 1922. The axioms were then popularized in this form by the textbooks of Kuratowski (1933), Alexandroff/Hopf (1935), Bourbaki (1940), and Kelley (1955). It turned out that many mathematical insights could be applied to this conceptual basis. For example, it was recognized that for a fixed basic set there exist different metrics that led to the same topological structure on that set, but also that different topologies are possible on the same basic set. On this basis, set-theoretic topology developed into an independent field of research, which in a certain sense spun off from geometry - or rather, is closer to calculus than to geometry proper.

One goal of topology is to develop invariants of topological spaces. These invariants can be used to distinguish topological spaces. For example, the gender of a compact, connected orientable surface is one such invariant. The sphere with gender zero and the torus with gender one are distinct topological spaces. Algebraic topology arose from thoughts of Henri Poincaré on the fundamental group, which is also an invariant in topology. Over time, topological invariants such as the Betti numbers studied by Henri Poincaré were replaced by algebraic objects such as homology and cohomology groups.

Basic Terms

Topological space

→ Main article: Topological space

Topology (as a branch of mathematics) deals with properties of topological spaces. If an arbitrary basic set is provided with a topology (a topological structure), then it is a topological space, and its elements are understood as points. The topology of the space is then determined by the fact that certain subsets are distinguished as open. The identical topological structure can be specified in terms of their complements, but these then represent the closed subsets. Usually, topological spaces are defined in textbooks in terms of the open sets; more precisely, the set {\mathcal {O}}open sets is called the topology of the topological space . (X,\mathcal{O})

Starting from open or closed sets, respectively, numerous topological notions can be defined, such as those of the neighborhood, continuity, touch point, and convergence.

Open quantities

→ Main article: Open set

Topology (over open sets): a topological space is a set of points Xprovided with a set {\displaystyle {\mathcal {O}}\subset {\mathcal {P}}\left(X\right)}of subsets (the open sets) satisfying the following conditions:

  • {\displaystyle X\in {\mathcal {O}}}and {\displaystyle \emptyset \in {\mathcal {O}}}.
  • For any index sets Iwith {\displaystyle O_{i}\in {\mathcal {O}}}for all i\in Iholds.

{\displaystyle \textstyle \bigcup _{i\in I}O_{i}\in {\mathcal {O}}}.

(Association)
  • For finite index sets Iwith {\displaystyle O_{i}\in {\mathcal {O}}}for all i\in Iholds.

{\displaystyle \textstyle \bigcap _{i\in I}O_{i}\in {\mathcal {O}}}.

(average)

We call the pair (X, \mathcal{O})a topological space and {\mathcal {O}}the topology of this topological space.

The most important notion defined by open sets is that of environment: a set is environment of a point if it includes an open set containing the point. Another important notion is that of continuity: a mapping

f\colon X\to Y

of the topological spaces {\displaystyle (X,T_{X})}and {\displaystyle (Y,T_{Y})}is continuous if and only if, if the primal images {\displaystyle f^{-1}(O_{Y})}open sets {\displaystyle O_{Y}\in T_{Y}}are open in {\displaystyle (X,T_{X})}so {\displaystyle f^{-1}(O_{Y})\in T_{X}}holds.

Closed quantities

Starting from the open sets, the closed sets can be defined as those subsets of the space whose complements are open, that is, for any open set , Othe points {\displaystyle A:=X\!\setminus \!O}that are not contained in it form a closed set.

This immediately results in the

Topology (over closed sets): A topological space is a set of points Xprovided with a set {\displaystyle {\mathcal {A}}\subset {\mathcal {P}}\left(X\right)}of subsets of X(the closed sets; \mathcal{P}\left(X\right)is the power set of X) satisfying the following conditions:

  • X\in {\mathcal {A}}and {\displaystyle \emptyset \in {\mathcal {A}}}.
  • For arbitrary index sets Iwith {\displaystyle A_{i}\in {\mathcal {A}}}for all i\in Iholds.

{\displaystyle \textstyle \bigcap _{i\in I}A_{i}\in {\mathcal {A}}}.

(average)
  • For finite index sets Iwith {\displaystyle A_{i}\in {\mathcal {A}}}for all i\in Iholds.

{\displaystyle \textstyle \bigcup _{i\in I}A_{i}\in {\mathcal {A}}}.

(Association)

The equivalence to the previous definition over open sets follows immediately from De Morgan's laws: from {\displaystyle \textstyle \bigcap }becomes {\displaystyle \textstyle \bigcup }and vice versa.

Closed sets can be thought of as sets of points that contain their edge, or in other words, whenever there are points of the closed set that are arbitrarily close to another point (a touch point), that point is also contained in the closed set. One considers what basic properties should be contained in the notion of closed set and then, abstracting from specific definitions of closedness, such as from calculus, calls any set provided with closed subsets (satisfying these conditions) a topological space. First of all, the empty set should be closed, because it does not contain any points that could touch others. Similarly, the set of all points should be closed, because it already contains all possible touch points. If any set of closed sets is given, then the intersection, that is, the set of points contained in all these sets, should also be closed, for if the intersection had touch points lying outside of it, then already one of the sets to be intersected would not have to contain this touch point, and could not be closed. Moreover, the union of two (or finitely many) closed sets is again said to be closed; thus, in the union of two closed sets, no touchpoints are added. The union of infinitely many closed sets, on the other hand, is not required to be closed, because they could "keep approaching" another point and thus touch it.

Further definitions

→ Main article: Axiom systems of general topology

Homeomorphism

→ Main article: Homeomorphism

A homeomorphism is a bijective mapping between two topological spaces, such that by pointwise transferring the open sets, a bijection between the topologies of the two spaces also comes about; in the process, each open set must be mapped to an open set. Two topological spaces between which there is a homeomorphism are called homeomorphic. Homeomorphic spaces do not differ with respect to topological properties in the strict sense. The homeomorphisms can be taken as the isomorphisms in the category of topological spaces.

Terms not related to topological spaces

Topological spaces can be equipped with additional structures, for example one investigates uniform spaces, metric spaces, topological groups or topological algebras. Properties which rely on such additional structures are no longer necessarily preserved under homeomorphisms, but are also partly the object of investigation of various subfields of topology.

Generalizations of the concept of topological space also exist: In point-free topology, instead of a set of points with sets labeled as open, one considers only the structure of the open sets as a lattice. Convergence structures define against which values each filter converges on an underlying set of points. Under the catchword Convenient Topology one tries to find classes of spaces similar to topological or uniform spaces, but with more "pleasant" category-theoretic properties.

Related articles

Author

AlegsaOnline.com Topology: the mathematical study of space, continuity and shape

URL: https://en.alegsaonline.com/art/100658

Share