{"id":233,"date":"2025-08-01T14:47:47","date_gmt":"2025-08-01T13:47:47","guid":{"rendered":"https:\/\/blog.samuelgill.net\/?p=233"},"modified":"2025-08-01T14:47:47","modified_gmt":"2025-08-01T13:47:47","slug":"baking-topological-doughnut","status":"publish","type":"post","link":"https:\/\/blog.samuelgill.net\/index.php\/2025\/08\/01\/baking-topological-doughnut\/","title":{"rendered":"Baking Topological Doughnut"},"content":{"rendered":"\n\n\n

There is a common joke among mathematicians that a topologist can not tell the difference between a cup of coffee, and a doughnut, but why is this, and how does one topologically define these structures?<\/p>\n\n\n\n

What is a topology?<\/h2>\n\n\n\n

A topology is a way of looking at subsets of a larger set, using a topology we can qualify certain sets as “open”, or “closed”. In the context of a topology, the idea of an open set is fairly meaningless, a set is open as we just state that it is open. However later on we shall be working in \"\mathbb{R}^n\" where we can view open sets through the lens of a metric space, where there is a nice intuition for what we could call open.<\/p>\n\n\n\n

One example of this is in \"\mathbbl{R}\", here open sets \"U\" are such that

  <\/span>   <\/span>\"\[ \forall x \in U, \exists \epsilon >0, (x-\epsilon,x+\epsilon) \subseteq U \]\"<\/p> One way to think of this is that for every element \"x\" of the set \"U\", we can find some distance \"\epsilon\" such that all the points which are \"\epsilon\" away from \"x\" are in the set \"U\". Here we say the distance between two points \"x,y\" is given by

  <\/span>   <\/span>\"\[ d(x,y) = | x - y| \]\"<\/p>We can then naturally extend this to \"\mathbb{R}^n\" via the Euclidean distance you would normally think of.<\/p>\n\n\n\n

As a concrete example, in \"\mathbb{R}\", \"(0,1) = \{ x \in \mathbb{R} : 0 < x < 1\}\" is open as we can always find a region around x no matter how close to the edge we get, on the other hand \"[0,1] = \{ x \in \mathbb{R} : 0 \le x \le 1\}\" is not open, as at the edges, no matter how small we make our distance, we will always have some points not in the set.<\/p>\n\n\n\n

As a side note, one may think of closed as not open, but this is not true, we say a set is closed if its compliment (All points which are not in the set) is open. However this can lead to the cases where a set is neither open or closed (We could think about \"[0,1) = \{ x \in \mathbb{R} : 0 \le x < 1\}\" where there is no ball around \"0\" in the set, and no ball around \"1\" in the compliment), or where the set is both open and closed (We could look at the full space \"\mathbb{R}\", as it’s open trivially, and its compliment is the empty set, so has a ball around all it’s elements – for which there are none).<\/p>\n\n\n\n

What actually is a topology?<\/h2>\n\n\n\n

Given a set \"X\", we can define a topology \"\mathcal{T}\" as a collection of subsets of \"X\" which have the following properties.<\/p>\n\n\n\n

Given \"\{ \tau_i \in \mathcal{T} : i\in I\}\" and \"\{ \tau_j \in \mathcal{T} : j\in J\}\" with \"I\" arbitrary, and \"J\" finite, then,
<\/a>

(1) <\/span>   <\/span>\"\begin{align*}\emptyset, X &\in \mathcal{T} \\\bigcup_{i \in I} \tau_{i} &\in \mathcal{T} \label{2} \\\bigcap_{j \in J} \tau_{j} &\in \mathcal{T}. \label{3}\end{align*}\"<\/p>
But what does this mean?<\/p>\n\n\n\n

\"(1)\" tells us that our topology must contain \"\emptyset\", the empty set and \"X\", the full space.<\/p>\n\n\n\n

\"(2)\" tells us that an arbitrary union of sets in our topology must remain in our topology<\/p>\n\n\n\n

\"(3)\" tells us that a finite intersection of sets in our topology must remain in our topology.<\/p>\n\n\n\n

We can then call the elements of our topology the open sets.<\/p>\n\n\n\n

An exercise to the reader would be to show that the definition we gave of open sets in the first section obey all these rules. One could also show that we can’t extend this to an arbitrary intersection, one can find an infinite number of sets such that their intersection is not in the topology.<\/p>\n\n\n\n

Continuous maps<\/h2>\n\n\n\n

We will also use the concept of a continuous map. A map is a function from one space to another, one could for instance have \"f: \mathbb{R}^2 \rightarrow \mathbb{R}\" given by \"f(x,y) = x+y\", here map \"f\" maps from \"\mathbb{R}^2\" to \"\mathbb{R}\".<\/p>\n\n\n\n

Now there are a variety of ways to define a continuous map, in a topology the only way we can abstractly define it is to say the preimage of open sets are open. So if \"f: X \rightarrow Y\", then \"f\" is continuous if \"\forall U \subseteq Y\" open in Y, then \"f^{-1}(U) = \{ x \in X : f(x) \in U\}\" is then open in X. This is a very useful definition for proofs, however it is not very useful to visualise, so again we can find an equivalent definition in a metric space. <\/p>\n\n\n\n

Here we can say that \"f\" is continuous at \"a\" if \"\forall \epsilon >0\", \"\exists \delta >0\" such that \"\forall x \in X\" with \"d(x,a) < \delta\" implies that \"d(f(x), f(a)) < \epsilon\". We can think of this as for each ball around the point \"f(a)\", we can find some region around \"a\" such that all points in this second region land in the first ball when you apply \"f\".<\/p>\n\n\n\n

Quotient Spaces<\/h2>\n\n\n\n

Now we can start to construct our doughnut. To do this we will use the concept of a quotient space.<\/p>\n\n\n\n

Lets start with our topological space \"(X, \mathcal{T})\". We now want to get an equivalence relation on the space, I have defined these before, but for a quick recap, we can think of these as a quality between two elements. We can then say \"x \sim y\" if it’s true (said \"x\" relates to \"y\"), a relation is then equivalent if it is reflexive (\"x \sim x\" for all \"x\"), symmetric (if \"x \sim y\", then \"y \sim x\") and transitive (if \"x \sim y\" and \"y \sim z\" then \"x \sim z\"). We can then think of the equivalence class of \"x\", written \"[x]\" or \"\overline{x}\", as the set of elements which then relate to \"x\".<\/p>\n\n\n\n

Lets now have an equivalence relation \"\sim\" on \"X\", now let \"X/\sim\" denote the set of equivalence classes, we now want to construct a topology on \"X/\sim\", we do this through the concept of a collapsing map, this is the map \"p(x)\" from \"X\" to \"X/\sim\" given by \"p(x) = [x]\". We then define a topology \"\tilde{\mathcal{T}}\" where

  <\/span>   <\/span>\"\[U \in \tilde{\mathcal{T}} \Longleftrightarrow p^{-1}(U) \in {\mathcal{T}\]\"<\/p>.<\/p>\n\n\n\n

So what does this mean?<\/h2>\n\n\n\n

We can think of this as any \"U \subseteq X/\sim\" as a collection of equivalence classes, then \"p^{-1}(U)\" is then the elements in \"X\" which are in an equivalence class in \"U\". Hence \"U\" is then open if the collection of elements which are in the equivalence classes of U is open.<\/p>\n\n\n\n

Constructing our Doughnut<\/h2>\n\n\n\n

In order to get an idea of how the above construction works, lets start making our doughnut.<\/p>\n\n\n\n

Ingredients<\/h2>\n\n\n\n

To start making our doughnut, we first need an underlying space, this will be our \"X\", and in this case we will consider \"X = [0,1]^2\", which all pairs of numbers \"(x,y)\" such that \"0 \le x, y\le 1\".<\/p>\n\n\n\n

We then need a topology on our space \"X\", we will do this by saying

  <\/span>   <\/span>\"\[ U \in \mathcal{T} \Longleftrightarrow \exists V \subseteq \mathbb{R}^2 \text{ With $V$ Open in the usual sense, and } U = V\cap X\]\"<\/p><\/p>\n\n\n\n

We can think of this as \"U\" is open in \"X\" if we can find a region around each point in \"U\" of points in \"X\", note this does not include points that lie outside of \"[0,1]^2\", as we are only considering those points.<\/p>\n\n\n\n

Recipe<\/strong><\/p>\n\n\n\n

Now we also need to construct an equivalence relation on this set, in this case we will use that \"(x,y) ~ (a,b)\" if either \"x = a = 0\" and \"y=b\" or \"x = a = 1\" and \"y=b\" or the same with swapping the coordinates, so \"y = b = 0\" and \"x=a\" or \"y = b = 0\" and \"x=a\".<\/p>\n\n\n\n

We can then picture this by <\/p>\n\n\n\n

\"Rendered<\/p>\n<\/code><\/pre>\n\n\n\n
Now, we can visualise the quotient topology as sticking together these lines in such as way as we preserve the direction of the arrows, thus giving…<\/p>\n\n\n\n