One of my topology students came in and pointed out (very respectfully) an error on the online course notes. I had written that is a homeomorphism between and and she pointed out that the second interval should be .

I am doing a happy jig…. ๐

One of my topology students came in and pointed out (very respectfully) an error on the online course notes. I had written that is a homeomorphism between and and she pointed out that the second interval should be .

I am doing a happy jig…. ๐

I wrote the following notes for elementary topology class here. Note: they know about metric spaces but not about general topological spaces; we just covered “connected sets”.

I’d like to make one concession to practicality (relatively speaking). When it comes to showing that a space is path connected, we need only show that, given any points there exists where is continuous and . Here is why: by maps to homeomorphically provided and so provides the required continuous function from into .

Now let us discuss the topologist’s sine curve. As usual, we use the standard metric in and the subspace topology.

Let . See the above figure for an illustration. is path connected as, given any two points in , then is the required continuous function . Therefore is connected as well.

Note that is a limit point for though .

Exercise: what other limit points does that are disjoint from ?

Now let , that is, we add in the point at the origin.

**Fact:** is connected. This follows from a result that we proved earlier but here is how a “from scratch” proof goes: if there were open sets in that separated in the subspace topology, every point of would have to lie in one of these, say because is connected. So the only point of that could lie in would be which is impossible, as every open set containing hits a point (actually, uncountably many) of .

Now we show that is NOT path connected. To do this, we show that there can be no continuous function where .

One should be patient with this proof. It will go in the following stages: first we show that any such function must include EVERY point of in its image and then we show that such a function cannot be extended to be continuous at .

First step: for every there exists where Suppose one point was missed; let denote the least upper bound of all coordinates of points that are not in the image of . By design (why: continuity and the fact that ) So cuts the image of TS into two disjoint open sets (in the subspace topology): that part with x-coordinate less than and that part with x-coordinate greater than . So and form separating open sets for which is impossible.

Note: if you don’t see the second open set in the picture, note that for all one can find and open disk that misses the part of the graph that occurs “before” the coordinate . The union of these open disks (an uncountable union) plus an open disk around forms ; remember that an arbitrary union of open sets is open.

Second step: Now we know that every point of is hit by . Now we can find the sequence and note that in . But we can also find where in . So we have two sequences in the domain converging to the same number but going to different values after applying . That is impossible if is continuous.

This gives us another classification result: and are not topologically equivalent as is not path connected.

I admit that I chuckled when a famous stand up comic said: “”New Rule: Any teacher that says, ‘I learn as much from my students as they learn from me,’ is a sh***y teacher and must be fired.””

Yes, I assure you, when it comes to subject matter, my students had bloody well learn more from me than I do from them. ๐

BUT: when it comes to class preparation, I find myself learning a surprising amount of material, even when I’ve taught the class before.

For example, teaching third semester calculus (multi-variable) lead me to thinking about some issues and to my rediscovering some theorems presented a long time ago and often not used in calculus/advanced calculus books. THAT lead to a couple of published papers.

And, given that my teaching specialty has morphed into applied mathematics, teaching numerical analysis has lead me to learn some interesting stuff for the first time; it has filled some of the “set of measure infinity” gaps in my mathematical education.

So, ok, this semester I am teaching elementary topology. Surely, I’d learn nothing new though I’d enjoy myself. It turns out: that isn’t the case. Very often I find myself starting to give a proof of something and find myself making (correct) assumptions that, well, I last proved 30 years ago. Then I ask myself: “now, just why is this true again?”

One of the fun projects is showing that the topologist’s sine curve is connected but not path connected (if one adds the vertical segment at x = 0). It turns out that this proof is pretty easy, BUT…I found myself asking “why is this detail true?” a ton of times. I drove myself crazy.

Note: later today I’ll give my favorite proof; it uses the sequential definition of continuity and the subspace topology; both of these concepts are new to my students and so it is helpful to find reasons to use them, even if these aren’t the most mathematically elegant ways to do the proof.

This is why I proved the Intermediate Value Theorem using the “least upper bound” concept instead of using connectivity. The more they use a new concept, the better they understand it.

I am teaching undergraduate topology this semester; you can see some stuff that I’ve posted for undergraduates here.

I took the “start with metric spaces and topology of approach and am going slower than I’d like. But it takes some time to absorb the stuff.

So, we are finally gotten up to homeomorphisms (still in basic metric spaces) and so I figured that we were finally ready to show something like: is not homeomorphic to (the unit circle). Fine: suppose a homeomorphism exists and decompose where

Not a problem so far…so now pull back the disjoint open sets to the unit circle minus one point…and….then…I ….realized….that…I have not proven that the interval is a connected set; in fact I haven’t even defined “connected set”. &^%$#. Now, that isn’t that hard to do, but it does take time and one has to do some setting up.

And that is one problem with teaching this course: you have to do so much elementary stuff to even begin to prove something elementary.

I mentioned that I’d be teaching undergraduate topology for the first time ever. Yes, I’ve taught “proof required” courses before: on two separate occasions between 1991 and now. But in each case, I taught a senior level abstract algebra course in which every student came in having taken a course that required proof.

Technically speaking, this course doesn’t require a previous “proof” course.

Then there is how long I’ve been doing this; my first published paper appeared in 1991 (I did the work in 1989). That was well before any student in my class was born!!!

So, this process is going to be a bit like a native language speaker trying to teach someone else a new language.

This means: I’ll have to slow down; this book I’ve chosen won’t be too easy after all. ๐ I am going to have to back way off of the pace. After all, I am teaching both the material AND proof writing.