Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to understand this existence of triangulation's proof in this book. I have problems to understand the lemma 8.2.6:

Let $\Gamma$ be discrete in S. Then for any region $Ω$ in $S$, $Ω \cap \Gamma$ is discrete in Ω

I didn't understand why this $\gamma$ in the proof exists.

I need help here.

Thanks

share|improve this question
add comment

1 Answer

up vote 1 down vote accepted

The set $\Gamma\cap\Omega$ is a different set of curves than $\Gamma$. One curve in $\Gamma$ could become many curves in $\Gamma\cap\Omega$. This is how we find $\gamma$.

More specifically, we have a point $x$ with a neighborhood $U$ (guaranteed by discreteness of $\Gamma$ in $S$) that meets only finitely many curves in $\Gamma$, but (by assumption toward contradiction) meets infinitely many curves in $\Gamma\cap\Omega$. Since each curve in $\Gamma\cap\Omega$ comes from some curve in $\Gamma$, there must be a curve in $\Gamma$ which induces infinitely many curves in $\Gamma\cap\Omega$. This curve is $\gamma$.

share|improve this answer
    
yes, thank you very much, now everything's clear :D –  user42912 Nov 15 '12 at 5:53
1  
Glad to hear it's clear - you're quite welcome! :) –  Neal Nov 15 '12 at 6:15
    
Look at $\gamma^{-1}\Omega$ and $\gamma^{-1}U$ in $\mathbb{R}$. Each should have countably many connected components. Pick a point from each. –  Neal Nov 15 '12 at 7:08
    
what do you mean by $\gamma^{-1}\Omega$ $\gamma^{-1}U$? –  user42912 Nov 15 '12 at 17:16
    
Since $\gamma:\mathbb{R}\to S$, we can look at the inverse images of $U$ and $\Omega$ under $\gamma$. –  Neal Nov 15 '12 at 17:45
show 3 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.