General topology

In mathematics, general topology (or point set topology) is the branch of topology that focuses on the basic set-theoretic ideas and tools used across many areas of topology. It forms the groundwork for other important areas like differential topology, geometric topology, and algebraic topology.

The key ideas in point-set topology include continuity, compactness, and connectedness. Continuous functions are those that move nearby points to nearby points. Compact sets are special sets that can be covered by only a few small sets. Connected sets are sets that can't be split into two distant pieces.

These ideas rely on the precise meaning of "nearby," "small," and "far apart," which are defined using open sets. By changing the definition of an open set, we change what it means for functions to be continuous, sets to be compact, or sets to be connected. Each choice of definition for an open set creates a new kind of structure called a topology. A set equipped with a topology is known as a topological space.

One important type of topological space is a metric space, where we can measure the distance between any two points. This distance, called a metric, makes many proofs easier and applies to many common examples of topological spaces.

History

General topology developed from several areas of mathematics. It grew from studying parts of the real line, from the idea of a manifold, and from exploring metric spaces, especially those used in functional analysis.

By around 1940, general topology took its current shape. It helps us understand the idea of continuity in a way that works for all kinds of math problems.

A topology on a set

Main article: Topological space

In mathematics, a topology on a set is a way to define which parts of the set are "open." This helps us understand concepts like closeness and continuity. For a set to have a topology, it must include the whole set and the empty set, and it must also be closed under unions and intersections of its parts.

Topologies help us describe spaces in a general way. For example, on the real numbers, the usual topology uses open intervals as its basic open sets. This means a set is open if, around every point in it, there’s a tiny interval that stays inside the set. Similar ideas apply to complex numbers and higher-dimensional spaces.

Continuous functions

Main article: Continuous function

In math, a continuous function is one where nearby points stay nearby. Imagine you have a function that takes points from one place to another. If the function is continuous, moving a little bit in the starting place will only move a little bit in the ending place. This idea helps us understand how things change smoothly without any sudden jumps.

There are different ways to think about continuity. One way uses neighborhoods — small areas around points. A function is continuous if, for every tiny area around a point in the ending place, there’s a matching tiny area around the starting point that maps inside that ending area. Another way looks at sequences of points. If the function takes limits of sequences to limits of sequences, it’s continuous. These ideas help us study how shapes and spaces behave when we move or change them.

Compact sets

Main article: Compact space

A compact set is a special group of points in space that has a neat and tidy property. Imagine you have a big blanket that covers every point in a space. If you can always find a smaller, finite number of pieces from that blanket to still cover everything, then the space is called compact. This idea helps mathematicians understand how spaces behave.

In simple cases, like a closed line segment on a number line, the set is compact. This property stays the same even when we "map" the set through smooth, continuous changes. Compact sets also have useful relationships with other types of spaces, making them a key idea in many areas of math.

Connected sets

Main article: connected space

In general topology, we study how points in a space can be linked together. A space is connected if it cannot be split into two separate pieces. For example, a line or a circle is connected because you cannot separate them into two non-overlapping parts without breaking them.

We also talk about path-connected spaces, where you can draw a continuous path between any two points. All path-connected spaces are connected, but not all connected spaces have paths between every pair of points. For simple shapes like lines or circles, being connected and path-connected mean the same thing.

Products of spaces

Main article: Product topology

When we combine many spaces together, we can create a new space using something called the product topology. This helps us understand how the pieces fit together.

The product topology makes sure that when we look at pieces of our combined space, they behave nicely and stay close to each other, just like in the spaces we started with. This idea is very useful in many areas of mathematics.

Separation axioms

Main article: Separation axiom

Separation axioms are rules that help us understand how points in a space can be kept apart or separated. These rules are important in topology, a branch of mathematics that studies spaces and their properties.

In these axioms, we look at how points in a space can be separated by neighborhoods or other methods. For example, a Hausdorff space ensures that any two different points can be separated by neighborhoods that don’t overlap. Other axioms, like regular or normal spaces, have similar ideas but with different conditions. These concepts help mathematicians study the structure and behavior of spaces in a precise way.

Countability axioms

Main article: axiom of countability

Countability axioms are rules that help us understand special types of spaces in mathematics. These axioms tell us when we can use countable sets—sets that can be listed out, like the numbers 1, 2, 3, and so on—to describe important features of a space.

Some important countability axioms include:

• Sequential space: a set where certain sequences behave in a specific way.
• First-countable space: every point has a countable set of nearby points.
• Second-countable space: the space has a countable basic set of open sets.
• Separable space: there is a countable set that comes close to covering the whole space.
• Lindelöf space: every open covering has a countable smaller covering.
• σ-compact space: the space can be covered by countably many compact sets.

These axioms help us connect different ideas in topology and understand how spaces are built.

Metric spaces

Main article: Metric space

A metric space is a special kind of space that helps us understand distances between points. It has a set of points and a rule to measure the distance between any two points. This rule, called a distance function, must follow a few simple ideas: distances are always zero or more, the distance from a point to itself is zero, the distance from point A to point B is the same as from B to A, and going directly from A to C is never longer than going from A to B and then to C. These ideas help us study shapes and spaces in a clear and organized way.

Baire category theorem

Main article: Baire category theorem

The Baire category theorem is an important idea in mathematics. It helps us understand special kinds of spaces, like complete metric spaces or locally compact Hausdorff spaces. The theorem tells us that in these spaces, if we combine countably many sets that don’t take up much room (nowhere dense sets), their combined inside will still be empty. This means that these special spaces are “big” in a certain way. Also, any open part of a Baire space remains a Baire space itself.

Main areas of research

Continuum theory

Main article: Continuum (topology)

A continuum is a special kind of space that is both compact (meaning it doesn’t stretch out forever) and connected (meaning you can draw lines between any two points without leaving the space). Continuum theory studies these spaces, which appear often in many parts of mathematics and help us understand shapes and sizes in a general way.

Dynamical systems

Main article: Topological dynamics

Dynamical systems look at how spaces and their parts change over time when they are altered in a smooth way. This helps us understand real-world systems like fluid movement, patterns that repeat in nature (fractals), and how certain shapes behave in complex mathematical settings.

Pointless topology

Main article: Pointless topology

Pointless topology is a way of studying shapes and spaces without focusing on individual points. Instead, it looks at larger regions and their relationships, similar to how we might think about areas on a map without naming every single spot.

Dimension theory

Main article: Dimension theory

Dimension theory studies how we can measure the “dimension” of a space — for example, whether something is one-dimensional like a line, two-dimensional like a flat surface, or three-dimensional like a solid object. This helps us understand the basic structure of different spaces.

Topological algebras

Main article: Topological algebra

Topological algebras mix ideas from algebra (where we study numbers and their relationships) and topology (where we study shapes and spaces). They look at algebraic structures that also follow topological rules, helping us connect these two areas of math.

Metrizability theory

Main article: Metrization theorem

Metrizability theory asks whether a space can be described using distances — just like how we measure distance on a map. If a space can be “metrized,” it means we can use distance rules to understand its structure and properties.

Set-theoretic topology

Main article: Set-theoretic topology

Set-theoretic topology combines ideas from set theory (the study of collections of objects) and topology. It looks at questions that depend on the rules of set theory, helping us understand the limits of what we can prove in topology.