1 Matching Annotations
 Aug 2023

hub.jhu.edu hub.jhu.edu

"But there's a very famous theorem in topology called the Jordan curve theorem. You have a plane and on it a simple curve that doesn't intersect and closes—in other words, a loop. There's an inside and an outside to the loop." As Riehl draws this, it seems obvious enough, but here's the problem: No matter how much your intuition tells you that there must be an inside and an outside, it's very hard to prove mathematically that this holds true for any loop that can be drawn.
How does one concretely define "inside" and "outside"? This definition is part of the missing space between the intuition and the mathematical proof.
