General topology

General topology, often called point-set topology, is a fundamental branch of mathematics. It focuses on the basic set-theoretic definitions and constructions used to describe spaces. This field provides the essential foundation for many other areas of study. These include differential topology, geometric topology, and algebraic topology. By defining how points relate to one another, it allows mathematicians to study shapes and structures with technical precision.

At its core, general topology relies on the concept of an open set to define space. A topology is a specific collection of subsets of a set, called open sets. For a collection to be a topology, it must follow three strict rules. First, it must include both the empty set and the entire set itself. Second, any union of these open sets must also be an open set. Third, the intersection of any finite number of these open sets must also be an open set. A set paired with such a collection is known as a topological space.

Within these spaces, mathematicians study three primary properties: continuity, compactness, and connectedness. Continuity describes functions that take nearby points to nearby points. Compactness refers to sets that can be covered by a finite number of arbitrarily small sets. Connectedness describes sets that cannot be divided into two pieces that are far apart. Because the definition of "nearby" or "far apart" depends entirely on the choice of open sets, changing the topology changes these fundamental properties. This flexibility allows for many different types of topological spaces to exist on the same set.

One important way to build a topology is through a basis. A basis is a collection of open sets that can be used to generate every other open set in the topology through unions. Many complex topologies are defined this way because it simplifies many mathematical proofs. Other ways to create spaces include subspaces and quotient spaces. A subspace topology is formed by looking at the intersections of a larger space's open sets with a subset. A quotient space is created using a surjective function to group elements together, resulting in a new structure.

History shows that general topology emerged from several distinct mathematical paths. It grew from the study of subsets of the real line, once called the topology of point sets. It also developed through the introduction of the manifold concept and the study of metric spaces. Metric spaces are a special class of topological spaces where a real, non-negative distance, called a metric, can be defined between points. This field assumed its modern, unified form around 1940. It now provides a technically adequate way to apply the intuition of continuity to any area of mathematics.

There are many different types of topologies that can be applied to a single set. A discrete topology is one where every possible subset is considered open. In contrast, a trivial or indiscrete topology is one where only the empty set and the whole space are open. In a trivial topology, limits of sequences are not unique, as every sequence converges to every point. Other examples include the cofinite topology, where open sets have finite complements, and the cocountable topology. Even the real numbers can be given different topologies, such as the standard topology or the lower limit topology.

Continuity is a central concept that can be understood through neighborhoods or limits. A function is continuous if, for any neighborhood of a point's image, there is a corresponding neighborhood of the original point that maps inside it. In metric spaces, this is equivalent to the familiar epsilon-delta definition used in calculus. In more complex spaces, mathematicians use sequences or even more general structures called nets to describe limits. While every continuous function preserves the limits of sequences, some spaces require nets to fully characterize continuity. This deep connection between points, sets, and limits makes general topology a vital tool for modern mathematics.