- #1

binbagsss

- 1,265

- 11

## Homework Statement

[/B]

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\} ##.

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?

## Homework Equations

see above

## The Attempt at a Solution

see above

[/B]

#### Attachments

Last edited: