12
$\begingroup$

Here is Professor Terry Tao's proof of the Jordan curve theorem using complex analysis, I more or less followed the proof until the following paragraph (see section 4). (Actually there is no need to read everything before the following paragraph to answer the question.)

https://terrytao.wordpress.com/2016/10/02/math-246a-notes-3-cauchys-theorem-and-its-consequences/

enter image description here

enter image description here There are two things which I do not understand:

firstly, how do we know the boundary of $\Omega_\delta$ consists of one or more simple closed curves? How to rigorously demonstrate that its boundary cannot be some random collection of segments? Also, why does the fact that the union of squares is connected implies the boundary of $\Omega_\delta$ consists of exactly one simple closed curve. Also the sentence on why the boundary of $\Omega_\delta$ is simple got me confused.(last sentence of the paragraph above the picture)

secondly, what's the point of covering $N_{\epsilon/10}(\gamma([a,b]))$? Why not just cover $\gamma([a,b])$?

Any explanation would be immensely appreciated!!

Here $W$ denotes the winding number. $N_{\epsilon/10}(\gamma([a,b]))$ is the set of points $z\in\mathbb{C}$ such that $\text{distance}(z,\gamma)<\epsilon/10.$

$\endgroup$
  • $\begingroup$ I think I have figured out my first question. But I still don't understand why it is necessary to cover $N_{\epsilon/10}(\gamma([a,b]))$. $\endgroup$ – Simplyorange May 22 at 17:39
  • $\begingroup$ @Simplyorange- A cover of $N_{\epsilon/10}$ is also a cover of $\gamma$. So everything that Tao says about covering $N$ can be re-phrased as saying that we're taking covers of $\gamma$ by squares, and then assuming that the side lengths of those squares go to $0$. So essentially you're right, we could have gotten away with just talking about covering $\gamma$ also $\endgroup$ – fierydemon May 26 at 17:30

Your Answer

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

Browse other questions tagged or ask your own question.