Topological space

In mathematics, a topological space is a special kind of geometrical space where we can talk about what it means for things to be close to each other, but we might not be able to measure that closeness with numbers like distance. Think of it like this: you know when two things are near each other, but you can't always say exactly how far apart they are.

A topological space has two main parts: a collection of points and something called a topology. The topology helps us decide which points are close by using groups called neighbourhoods. These neighbourhoods must follow certain rules, called axioms, to make sure our idea of closeness makes sense.

Topological spaces are very important in math because they let us talk about ideas like limits, continuity, and connectedness in many different types of spaces. Some common examples include Euclidean spaces, metric spaces, and manifolds. Studying these spaces on their own is a part of math called general topology.

History

In the 1700s, a mathematician named Leonhard Euler found a special rule that connects the corners, edges, and faces of shapes. This helped people study shapes in new ways.

Later, mathematicians like Carl Friedrich Gauss and Bernhard Riemann began to think about shapes from a different angle, looking at how points are close to each other without measuring exact distances.

Finally, in the early 1900s, a mathematician named Felix Hausdorff gave these ideas a clear name and rules, creating what we now call a "topological space."

Definitions

Main article: Axiomatic foundations of topological spaces

There are many ways to describe what we call a "topology" in math. The most common way uses something called "open sets," but another way uses "neighbourhoods." We'll start with neighbourhoods because it might feel easier to understand.

Definition via neighbourhoods

This idea comes from a mathematician named Felix Hausdorff. Imagine you have a group of points — these could be anything, like numbers or shapes. For each point, we can think about what it means to be "close" to that point. We do this by creating "neighbourhoods" around each point. These neighbourhoods are collections of points that are close to our chosen point.

There are some rules these neighbourhoods must follow:

1. Every point is part of its own neighbourhoods.
2. If a neighbourhood includes a point, then any bigger group that contains that neighbourhood is also a neighbourhood.
3. If you take two neighbourhoods of the same point, their overlap is also a neighbourhood.
4. Each neighbourhood contains smaller neighbourhoods around each of its points.

When these rules are followed, the whole setup — the points and their neighbourhoods — is called a topological space.

Definition via open sets

Another common way to define a topology uses "open sets." These are special groups of points that follow three rules:

1. The whole group of points and the empty group (nothing at all) are open sets.
2. If you combine any number of open sets, the result is also open.
3. If you only combine a few open sets, their overlap is also open.

When we list all these open sets for a group of points, we call that list a topology. The open sets help us understand what it means for points to be close together.

Examples of topologies

1. For a group of points like {1, 2, 3, 4}, the simplest topology only includes the whole group and nothing at all.
2. Another topology for the same group might include a few more groups of points, like just {2} or {1, 2}.
3. The most detailed topology for this group would include every possible group of points.

Comparison of topologies

Main article: Comparison of topologies

Many different ways to describe "closeness" can be used for the same group of points. If one way includes all the "close" pairs of another way, we say the first way is more detailed than the second. The second way is then less detailed.

When we look at all the possible ways to describe closeness for a fixed group of points, they fit together in a special order, like layers that can be combined or reduced.

Continuous functions

Main article: Continuous function

A function between two places in math is called continuous if small changes in one place lead to small changes in the other. This idea helps us understand how things change smoothly without sudden jumps.

In math, two spaces are considered the same if we can switch one for the other perfectly while keeping everything smooth. This idea helps mathematicians study shapes and spaces in new ways.

Examples of topological spaces

See also: List of topologies

In math, a topological space is a set of points with a special rule that tells us what it means for points to be "close" to each other, without needing exact distances.

We can give the same set many different rules. For example, we can use a rule where every possible group of points is considered close — this is called the discrete topology. Or we can use a rule where only the whole set and nothingness are considered close — this is called the trivial or indiscrete topology.

We can also create special rules for finite sets, real numbers, and even shapes like spheres and cubes. These rules help mathematicians study patterns and relationships in many different kinds of spaces.

Classification of topological spaces

Main article: Topological property

Topological spaces can be grouped based on special qualities they share. These qualities stay the same even if the spaces look different in shape. To show that two spaces are different, you can find a quality that one has but the other does not. Some of these qualities include being connected, being compact, and meeting certain rules about how close points can be. For more about math ideas linked to shapes, see algebraic topology.