Topological space

A topological space is a fundamental mathematical structure used to study the concept of closeness. In many geometric spaces, we use a ruler to measure the exact distance between points. However, a topological space does not require a numeric distance to define how points relate to one another. Instead, it uses a collection of subsets to establish a sense of proximity. This allows mathematicians to define essential properties like limits, continuity, and connectedness. Because it is so general, the study of these spaces, known as general topology or point-set topology, is used in almost every branch of modern mathematics.

There are several equivalent ways to define a topology, allowing mathematicians to choose the method that best fits their specific problem. One common method uses neighborhoods, a concept formalized by Felix Hausdorff. In this view, a topology is a function that assigns a set of neighborhoods to every point in a set. For a collection of neighborhoods to be valid, they must follow specific axioms. Every point must belong to all its own neighborhoods. If a set contains a neighborhood of a point, it is also a neighborhood of that point. Additionally, the intersection of two neighborhoods must be a neighborhood of the shared point. A fourth axiom links the neighborhoods of different points together to create a cohesive structure.

Another widely used definition relies on the concept of open sets. In this framework, a topology is a collection of subsets of a set, where these subsets are called open sets. These collections must satisfy three specific rules. First, both the empty set and the entire set must be included. Second, any union of open sets, whether finite or infinite, must also be an open set. Third, the intersection of any finite number of open sets must be an open set. A subset is considered closed if its complement is an open set. Some sets, known as clopen sets, are both open and closed at the same time.

Topology has a rich history of discovery involving many famous mathematicians. Around 1735, Leonhard Euler discovered a formula relating the vertices, edges, and faces of convex polyhedra. Later, Cauchy and L'Huilier worked to generalize this formula, which helped advance the study of topology. In 1827, Carl Friedrich Gauss published work on curved surfaces that touched on topological ideas. However, surfaces were usually studied locally until Riemann's work in the early 1850s. The term "topology" was introduced by Johann Benedict Listing in 1847, replacing the older term "Analysis situs." Finally, Henri Poincaré established the true foundation of the science with his first article on the topic in 1894.

Different types of topological spaces exist depending on the rules applied to the set. A metric space is a specific type where distance is defined, a term popularized by Felix Hausdorff following Maurice Fréchet's work in 1906. A discrete space is a topology where every possible subset is considered an open set. Conversely, a trivial or indiscrete topology is one where only the empty set and the whole space are open. There are also manifolds, which are spaces that look like a Euclidean plane when viewed locally. Mathematicians also study finite topological spaces, which are often used to provide examples or counterexamples to complex theories.

One of the most important goals in topology is determining if two spaces are essentially the same. This is done by looking for invariants, which are properties that do not change even if the space is transformed. If there is a continuous, one-to-one mapping between two spaces whose inverse is also continuous, the spaces are called homeomorphic. From a topological perspective, homeomorphic spaces are considered identical. Felix Klein described the subject in his 1872 Erlangen Program as the study of geometric invariants under continuous transformations. This allows scientists to classify shapes based on their deep structure rather than their exact measurements.

Topology connects to many broader mathematical fields and advanced theories. In category theory, the study of topological spaces is represented by the category Top, where the objects are spaces and the morphisms are continuous functions. This has motivated research into complex areas like homotopy theory, homology theory, and K-theory. The study of how one topology compares to another can also be categorized by terms like "finer" or "coarser." This hierarchy helps mathematicians understand the relationship between different ways of defining closeness on the same set of points.