1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Q about the proof of periods of non-constant meromorphic functions

  1. Jan 28, 2017 #1
    1. The problem statement, all variables and given/known data

    Theorem attached.

    I know the theorem holds for a discrete subgroup of ##C## more generally, ##C## the complex plane, and that the set of periods of a non-constant meromorphic function are a discrete subset.

    I have a question on part of the proof (showing the second type, integral muliples ##nw##)

    On proving the second case ##\Omega##, the set of periods ##\Omega = nw ## , ##\Omega \neq \{0\}## is considered and we show that exists ##w_1 \in \Omega /\{0\} ## with the least value of ##|w_1|##. A step of doing this in my text is, and this is my problem:

    Since ##\Omega ## is discrete, there is some ##\epsilon > 0 ## st for any disc ##|z| < \epsilon ## contains no elements of ##\Omega / \{0\}##, it follows that for any ##w \in \Omega ##, the disc ##|z-w|< \epsilon ## contains no elements of ##\Omega / \{w\} ##.


    I don't understand why/ how this follows from the fact that is a group, why this 'translation' is possible with the same radius ##\epsilon## follows from the fact it is a group?

    No idea where to start, any help much appreciated, but my guess would be that the proof will depend on what the operation of the group is, but this isn't specified in the theorem? or is just assumed to be addition?


    2. Relevant equations
    see above

    3. The attempt at a solution
    see above
     

    Attached Files:

    Last edited: Jan 28, 2017
  2. jcsd
  3. Jan 31, 2017 #2
    bumpp, thank you
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Q about the proof of periods of non-constant meromorphic functions
Loading...