Topological space

In mathematics, a topological space is a special kind of geometrical space. It helps us understand when things are close to each other, even if we can't measure the distance with numbers.

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. They help 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 discovered a special rule about shapes. This helped people study shapes in new ways.

Later, mathematicians like Carl Friedrich Gauss and Bernhard Riemann started thinking about shapes differently. They looked at how points are close to each other without measuring exact distances.

Finally, in the early 1900s, a mathematician named Felix Hausdorff named these ideas and made rules for them. This created 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 ways can be used to describe what "closeness" means 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. 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 group of points with a special rule. This rule tells us what it means for points to be "close" to each other, without using exact distances.

We can use different rules for the same group of points. For example, one rule says every group of points is close — this is called the discrete topology. Another rule says only the whole group and nothing are close — this is called the trivial or indiscrete topology.

We can also make special rules for small groups of points, real numbers, and shapes like spheres and cubes. These rules help mathematicians study patterns and relationships in many kinds of spaces.

Classification of topological spaces

Main article: Topological property

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