Difference between revisions of "Motivation for quotient topology"

Latest revision as of 10:33, 7 April 2015

This page will discuss informally the motivation for the Quotient topology

Quotients (for example [ilmath]X/\sim[/ilmath] should already mean "gluing" or "associating" things together (like with an equivalence relation, [ilmath]\sim[/ilmath])

We will use this to talk about the topology of the torus [ilmath]T[/ilmath], from the real plane [ilmath]\mathbb{R}^2[/ilmath]

Convincing yourself the torus is a quotient map

Imagine you're playing one of those old arcade games with a square, and if you go out of the top of the square you magically appear at the bottom, and if you go off the left side, you appear at the right, this is a torus. If you're on a doughnut and go "up" you'll go around and end up (eventually) back where you started, same for going left (around the torus)

How is this "gluing", well you can take a square and glue as this diagram shows:

After gluing [ilmath]A\leftrightarrow A[/ilmath] one clearly has a tube, by wrapping that tube around and gluing [ilmath]B\leftrightarrow B[/ilmath] - a torus results.

Gluing [ilmath]A\leftrightarrow A[/ilmath]

This means associating the point [ilmath](x,1)[/ilmath] with [ilmath](x,0)[/ilmath] - this is clearly Equivalence relation territory, but what does that mean for the point [ilmath](x,1.5)[/ilmath] say? Well this is [ilmath]0.5[/ilmath] up from [ilmath](x,1)\sim(x,0)[/ilmath] so is also [ilmath]0.5[/ilmath] up from [ilmath](x,0)[/ilmath] - thus we have [ilmath](x,1.5)\sim(x,0.5)[/ilmath]

Going forward with this logic, we see after gluing [ilmath]A\leftrightarrow A[/ilmath] that we have:

[math](x,y)\sim_A(x',y')\iff[(\exists m\in\mathbb{Z}:y=y'-m)\wedge x=x'][/math]

Gluing [ilmath]B\leftrightarrow B[/ilmath]

Using the same logic as above, [math](x,y)\sim_B(x',y')\iff[(\exists m\in\mathbb{Z}:x=x'-m)\wedge y=y'][/math]

Gluing [ilmath]B\leftrightarrow B[/ilmath] AND [ilmath]A\leftrightarrow A[/ilmath]

We must now combine:

• [math](x,y)\sim_A(x',y')\iff[(\exists m\in\mathbb{Z}:y=y'-m)\wedge x=x'][/math]
• [math](x,y)\sim_B(x',y')\iff[(\exists m\in\mathbb{Z}:x=x'-m)\wedge y=y'][/math]

Which is simply: [math](x,y)\sim(x',y')\iff\exists m,n\in\mathbb{Z}:[x=x'-m\wedge y=y'-n][/math]

(We cannot simply do "and" because of the part of [ilmath]\sim_A[/ilmath] for example, we could use the fact we have an orthagonal basis, but that ruins the topology part, so just simply take this as "common sense")

Mapping from the plane to the torus

Lets use [ilmath]p:\mathbb{R}^2\rightarrow\tfrac{\mathbb{R}^2}{\sim} [/ilmath] for the projection map that'll project our point on the plane to a point in [ilmath]\mathbb{R}^2/\sim[/ilmath], we can give [ilmath]p[/ilmath] explicitly as [ilmath]p:(x,y)\mapsto[(x,y)][/ilmath] where [ilmath][(x,y)][/ilmath] denotes an Equivalence class - as usual.

The larger the topology the more "information" we are carrying over. For example suppose we had:

• [math]p:(\mathbb{R}^2,\mathcal{J})\rightarrow(\tfrac{\mathbb{R}^2}{\sim},\{\emptyset,\tfrac{\mathbb{R}^2}{\sim}\}[/math] (where [ilmath]\mathcal{J} [/ilmath] is the usual topology on [ilmath]\mathbb{R}^2[/ilmath] - you know involving open balls and such, and the topology on [ilmath]\tfrac{\mathbb{R}^2}{\sim} [/ilmath] is the indiscreet topology)

Well this is continuous ( [math]\forall U\in\{\emptyset,\tfrac{\mathbb{R}^2}{\sim}\}[/math] we have [math]p^{-1}(U)\in\mathcal{J}[/math] as indeed [ilmath]p^{-1}(\emptyset)=\emptyset\in\mathcal{J}[/ilmath] and [ilmath]p^{-1}(\tfrac{\mathbb{R}^2}{\sim})=\mathbb{R}^2\in\mathcal{J}[/ilmath])

But it isn't very useful!

Largest topology

A very natural thing to say would be "okay, we'll say that [math]U\subseteq\tfrac{\mathbb{R}^2}{\sim}[/math] is open, if [ilmath]p^{-1}(U)[/ilmath] is open (in [ilmath]\mathbb{R}^2[/ilmath])"