47
$\begingroup$

I know there are already some questions similar to this, which all give an answer that a topological space creates some structure on a set which is an abstraction of distance and makes it possible to define other concepts like connectedness, compactness, metrizability asf. I understand this in theory, but when I create a simple example I fail to grasp what distance/closeness means in a topological space.

For example, when I have the following set $X$ and a set of subsets $\tau_1$ which does not satisfy the axioms of a topological space: $$ X=\{a,b,c\},\tau_1=\{X,\emptyset,\{a,b\},\{b,c\} \} $$

now I make this into a topological space by adding the sets $\{c\}$ and $\{b\}$

$$ X=\{a,b,c\}, \tau_2=\{X,\emptyset,\{a,b\},\{c\},\{b,c\},\{b\} \} $$

What is "better" now and how is this related to some notion of distance or closeness?

In other words, what did I gain by adding the subsets $\{c\}$ and $\{b\}$ to $\tau_2$?

More over what can I do with $\tau_2$ I can't do with $\tau_1$?

$\endgroup$
  • 3
    $\begingroup$ Only adding $\{b\}$ is enough to satisfy the axioms. $\endgroup$ – Henno Brandsma May 22 '16 at 17:17
  • 24
    $\begingroup$ I think a topological space is the minimal structure you need to define continuous mappings. $\endgroup$ – littleO May 22 '16 at 21:11
  • 2
    $\begingroup$ @littleO That's a great one liner. It's certainly true historically, although nowadays one could argue that topology is an essential giver of meaning to several notions distinct from continuity. $\endgroup$ – WetSavannaAnimal May 23 '16 at 1:21
  • 23
    $\begingroup$ It is really a very bad idea to try to gain intuition about what topological spaces are by looking at finite spaces, really. For examples, consider intervals, spaces of continuous functions, geometric objects like surfaces and polyhedra, and so on. $\endgroup$ – Mariano Suárez-Álvarez May 23 '16 at 4:46
  • 2
    $\begingroup$ as it has been answered already, thought I would add what my son said: "For sensible mice to live in should be the answer!" declared as a sudden revelation. (Topo:mouse in Italian) $\endgroup$ – GMasucci May 23 '16 at 11:20
48
$\begingroup$

I like to think of topological spaces as defining "semidecidable properties". Let me explain.

Imagine I have an object that I think weighs about one kilogram. Suppose that, as a matter of fact, the object weighs less than one kilogram. Then I can, using a sufficiently accurate scale, determine that the object weighs less than one kilogram. Even if the object weighs, say, 0.9999996 kilograms, all I need to do is find a scale that's accurate to within, say, 0.0000002 kilograms, and that scale will be able to tell me that the object weighs less than one kilogram.

This means that "weighing less than one kilogram" is a semidecidable property: if an object has the property, then I can determine that it has the property.

Suppose, on the other hand, that the object actually weighs exactly one kilogram. There's no way I can measure the object and determine that it weighs exactly one kilogram, because no matter how precisely I measure it, it's still possible that there's some amount of error which I haven't discovered yet. So "weighing exactly one kilogram" is not a semidecidable property.

What does this have to do with topological spaces? Well, an open set in a topological space corresponds to a semidecidable property of that space. This is why in the topological space of real numbers, the set $\{x : x \in \mathbb{R}, x < 1\}$ is an open set, but the set $\{x : x \in \mathbb{R}, x = 1\}$ is not.

So, consider the "topological space" $X = \{a, b, c\}$ with open sets $\emptyset$, $\{a, b\}$, $\{b, c\}$, and $\{a, b, c\}$. In this "topological space", you are asserting that

  • (since $\{a, b\}$ is open) if you have a point which is either $a$ or $b$, then it is possible to measure it and determine that it is either $a$ or $b$ (though it is not necessarily possible to determine which one it is);
  • (since $\{b, c\}$ is open) if you have a point which is either $b$ or $c$, then it is possible to determine that it is either $b$ or $c$; but
  • (since $\{b\}$ is not open) if you have the point $b$, it is not possible to determine that it is $b$.

However, these assertions contradict each other. Suppose that you have the point $b$. Because of the first bullet point, there is some measurement you can make which will tell you that the point is either $a$ or $b$. And because of the second bullet point, there is another measurement you can make which will tell you that the point is either $b$ or $c$. If you simply make both of these two measurements, then you will have successfully determined that the point is (either $a$ or $b$, and either $b$ or $c$)—in other words, that the point is $b$. But the third bullet point asserts that this is impossible!

For more explanation of this idea, see these two answers:

$\endgroup$
  • $\begingroup$ This is an interesting answer, thank you :). $\endgroup$ – holistic May 23 '16 at 11:40
  • $\begingroup$ This story explains why finite intersections are required. But arbitrary unions? $\endgroup$ – zyx May 23 '16 at 20:15
  • 2
    $\begingroup$ Suppose you have a collection of open sets $A, B, C, \ldots$. You have a point, and you want to see if you can measure it and determine if it's in at least one of these sets. You can do this by trying to determine that it's in $A$, and simultaneously trying to determine that it's in $B$, and trying to determine that it's in $C$, and so forth. If, in fact, the point is in one of these sets, then you'll eventually succeed in determining that this is the case. $\endgroup$ – Tanner Swett May 23 '16 at 20:22
  • 1
    $\begingroup$ By the way, the collection of recursively enumerable sets of natural numbers is "almost" a topology for the natural numbers. (The only "problem" is that instead of being able to take unions of arbitrary collections of sets, you can only take unions of recursively enumerable collections of sets.) Even though this isn't really a topological space, I like it as an example. If I'm not mistaken, the computable functions on the natural numbers are exactly the continuous functions from this "topological space" to itself. $\endgroup$ – Tanner Swett May 23 '16 at 20:29
  • 3
    $\begingroup$ The notion of an arbitrarily large (uncountable) number of simultaneous tests means that the motivating idea of "decidability" has been changed during the argument. Normally it means proof or algorithm, which are finite objects that are closed only under finite combinations and not necessarily more than that. $\endgroup$ – zyx May 23 '16 at 20:34
34
$\begingroup$

As usual in mathematics, the advancements and enrichments of the theory make so that the definitions become increasingly more simple, but their usefulness not so clear.

Firstly, the category of topological spaces behave extraordinarily well with respect to inducing structures. For instance, it is not clear which metric to take on a product of metric spaces (even finite), but it is clear what topology to take.

More explicitly, we have the following neat characterizations of topologies:

  • Given topological spaces $X,Y$, the product topology on $X \times Y$ is the smallest topology which makes the projections continuous. (this also holds for infinite products)
  • Given a topological space $X$ and a subset $A$, the induced topology on $A$ is the smallest topology which makes the inclusion continuous.
  • Given a topological space $X$ and an equivalence relation $\sim$ on $X$, the quotient topology on $X/\sim$ is the biggest topology which makes the projection continuous.
  • The topology induced by a metric on $X$ is the smallest topology which makes $d$ a continuous functions.
  • etc

And such characterizations are useful in other areas of mathematics. For instance,

  • The weak topology is the smallest topology on a Banach space for which the dual still consists of continuous maps.
  • The weak-star topology is the smallest topology on a dual of a Banach space for which the elements of the standard embedding of it on its bidual are still continuous maps.

Note, for instance, that there is no natural way to induce a metric on a quotient. In fact, in a lot of examples above, a metric can't be induced that would give the topology requested.

You should not try to understand topology by means of "distance". This is akin to understanding magnets in terms of rubber bands. It is an entire new concept, and you must come in terms to it as it is. Sure, analogies are fine sometimes, but that is as far as they go. They won't provide deep understanding (maybe comfort, though), and trying to grasp to them at all times can be a huge hindrance.

I'm afraid there is not much I can do other than exemplify as I did above to prove that topologies are useful. Nevertheless, it may be useful to say that topologies are to continuous maps as groups are to homomorphisms (quite literally). Metric spaces are not the best ground for continuity, they are not the natural ambient setting.

As a sidenote, a lot of useful spaces are not metrizable. For example, the weak-topology and weak-star topology are not metrizable in general, neither is the test function space on an open subset of the Euclidean space.

But even if you are dealing with metrizable spaces, treating them in terms of topological spaces can be very fruitful (due to the fact that inducing metrics is not a trivial matter). For instance, we often want to treat the torus as a square with sides glued in an appropriate manner. This has a very simple topological description, but not an obvious metric one.

To quote Bredon in the beginning of his "Topological Spaces" section:

"Although most of the spaces that will interest us in this book are metric spaces, or can be given the structure of metric spaces, we will usually only care about continuity of mappings and not the metrics themselves. Since continuity can be expressed in terms of open sets alone, and since some constructions of spaces of interest to us do not easily yield to construction of metrics on them, it is very useful to discard the idea of metrics and to abstract the basic properties of open sets needed to talk about continuity. This leads us to the notion of a general 'topological space'."

$\endgroup$
  • $\begingroup$ It's an interesting answer, thank you! Since I'm a natural scientist I'm used to understand phenomena by means of analogies. But it seems to hinder me in understanding such abstract concepts like a top. space. $\endgroup$ – holistic May 23 '16 at 11:54
24
$\begingroup$

Here's an alternative definition of "topological space".

A topological space is a set $X$ together with a relation "___ is near ___" between points and subsets of $X$. The relation satisfies:

  • No point is near the empty set
  • If $P \in A$, then $P$ is near $A$
  • $P$ is near $A \cup B$ if and only if $P$ is near $A$ or $P$ is near $B$
  • If $P$ is near $A$ and every point of $A$ is near $B$, then $P$ is near $B$

That's it — a topological space is just a set of points together with a "nearness" relation that satisfies these axioms.

Then, an open set is simply a set whose points are not near its complement.

From one point of view, the purpose of topological space is to cut out all the extraneous information — many things can be stated and proven just in these terms, such as limits. Sometimes, this makes it easier to state and prove things. Other times, it lets us generalize.

For example, consider the extended real numbers. Its underlying set $\bar{\mathbb{R}}$ and consists of the real numbers $\mathbb{R}$ along with two extra points, which we will call $+\infty$ and $-\infty$.

One basis for the topology of $\bar{\mathbb{R}}$ is intervals of the form

  • $(a,b)$ for (finite) real numers $a$ and $b$
  • $(a, +\infty]$ for (finite) real numbers $a$
  • $[-\infty, b)$ for (finite) real numbers $b$

You remember all of the different versions of "limit" you learned in introductory calculus, such as

$$ \lim_{x \to +\infty} \frac{x^2 + 1}{x + 2} = +\infty $$

? It turns out all of these are the same definition of limit, but applied to the extended real numbers rather than the ordinary real numbers.

Now, you could achieve the same thing talking only about metric spaces, but it would require inventing a new metric (e.g. $d(x,y) = |\arctan(x) - \arctan(y)|$, where we define $\arctan(\pm \infty) = \pm \pi/2$) and then you'd have to prove things about how the new metric relates to the usual metric and stuff, so it would be complicated and potentially confusing.

Topological spaces can also be applied to settings where it's not clear how to define a metric, or even when you can't even apply the notion of metric space at all.

An important example is used in algebraic geometry, one aspect of which is about studying solutions to polynomial equations. One defines the Zariski topology on the plane $\mathbb{R}^2$ to be the topology generated by a basis of open sets given by inequations of the form $f(x,y) \neq 0$, where $f$ is a polynomial in two variables.

In the Zariski topology, the set of points $$\{ P \in \mathbb{R}^2 \mid \|P\| \neq 1 \}$$ is an open set (being the solution space to $x^2 + y^2 \neq 1$), however the set of points $$\{ P \in \mathbb{R}^2 \mid \|P\| <1 \}$$ is neither open nor closed.

Nearness in the Zariski topology has nothing to do with distance; instead it has more to do with how you can extend solution sets to polynomial equations; e.g. the point $(2, 0)$ is near the line segment from $(0,0)$ to $(1,0)$, because every polynomial that vanishes on that line segment (e.g. $y$ or $3y + x^2 y$) also vanishes at the point $(2,0)$.

$\endgroup$
  • $\begingroup$ This is interesting. Is there a textbook that uses or discusses this definition of a topological space ? $\endgroup$ – littleO May 22 '16 at 22:12
  • 3
    $\begingroup$ @littleO: "A combinatorial introduction to topology" by Henle starts by defining a topological space in terms of neighborhoods, uses that to define nearness, and uses nearness to define open/closed, but near the end he mentions a few different equivalent definitions. One of those is by giving axioms for the "closure of a set" operation; the definition I gave in my post comes from rephrasing those axioms in terms of nearness. $\endgroup$ – Hurkyl May 22 '16 at 22:19
  • 1
    $\begingroup$ Oh, I should add that "$P$ is near $A$" appears in other settings as "$P$ is a limit point of $A$". $\endgroup$ – Hurkyl May 22 '16 at 22:26
  • 1
    $\begingroup$ The definition I find the most intuitive is the one stating axioms for the closure operation. If I prod my intuition a bit, I find that I'm thinking of the closure operation on input a set A as taking A and adding in all points "near" or "infinitesimally close to" A. $\endgroup$ – 6005 May 23 '16 at 21:27
  • $\begingroup$ @littleO: But I've since fixed an error I made in translating the third and fourth axioms. Also, I've redone the fourth axiom in a more nearness-flavored way. $\endgroup$ – Hurkyl May 23 '16 at 21:53
3
$\begingroup$

There is no natural distance in an abstract topological space, when there is one it is call a metric space.

The thing about a topological space is that you can take finite intersection and still remain in the topological space. For instance, with $\tau_1$, when you are interested about $\{b,c\}\cap\{a,b\}$, you don't get an open set, which isn't practical. This doesn't happen in a topological space like $\tau_2$.

Basically the purpose of topological space is to have certain properties and theorem, based on the axioms of the space. If you change the axioms, the usuals properties you always use won't work anymore. So in order to preserve what has already been proved, you must work with the rights axioms.

You can always make up your own space with your own axioms, but you will have to prove your own theorems.

$\endgroup$
2
$\begingroup$

Metric spaces generalize distance, not topological spaces.

There are spaces which are not metric spaces but on which topology can be defined. For example the "long line" $\bf{R}^2$ with the dictionary order topology. or the quotient space $\bf{Z}^2$x$\bf{R}$ where the points (0,x) and (1,x) are equivalent if x<0. (1,0) and (0,0) are distinct points but any attempt to put a metric on the space would result in these two points having distance 0 a no-no.

Topological spaces are generalizations of spaces with continuous maps, and there are many spaces which are not metrizable. For example algebraic varieties, which surfaces defined by the intersection of the zeros of complex polynomials. There are surfaces which often contain degeneracies which prevent a metric. This would preclude the whole field of algebraic geometry.

The whole point is that if you have a continuous map from one space into another space, then topological properties ( such as Hausdorfness, connectedness, paracompactness, compactness etc) are inherited by the image.

$\endgroup$
  • 1
    $\begingroup$ How can that be the whole point when the term "continuous" is not even defined without a topology in the first place? I don't see what the term "spaces with continuous maps" is supposed to mean. $\endgroup$ – Tobias Kildetoft May 24 '16 at 9:04
  • $\begingroup$ Sigh. Maps between $R^n$, $C^n$,metric spaces, manifolds to name a few ( probably some class of algebraic varieties ) canbe defined without using the word topology. So there is a whole class of spaces and continuous maps which can be generalized to topoligical spaces. $\endgroup$ – Mouse.The.Lucky.Dog May 24 '16 at 14:22
  • 1
    $\begingroup$ Well sigh right back at you. If you have examples but not a definition, then you are unifying, not generalizing. And how would you define a manifold without referring to a topology? $\endgroup$ – Tobias Kildetoft May 24 '16 at 19:14
1
$\begingroup$

As Hurkyl demonstrates, general topological spaces can be defined in several ways.

Another way is with the concept of a Derived Set. Wikipedia begins,

In mathematics, more specifically in point-set topology, the derived set of a subset $S$ of a topological space is the set of all limit points of S. It is usually denoted by ${\displaystyle S'}$.

The concept was first introduced by Georg Cantor in 1872 and he developed set theory in large part to study derived sets on the real line.

This is amazing. Perhaps we should back up a bit and ask what is the benefit of studying sets. For Georg Cantor the creation of point-set topology came as an inspirational 'package deal'.

I personally always prefers the term point-set topology over general topology. It emphasizes that instead of examining the elements in a set, we can talk about 'points' in a 'space'. This abstract and precise way of making 'spatial arguments' is something that Euclid, who developed 'point' geometry thousands of years ago, would no doubt appreciate.

I wonder if mathematicians will be throwing a big 150-year anniversary party in 2022 to recognize the astounding achievements of this man...

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.