You are Here: Home >< Maths

Convergent sequence meromorphic function proof periods discrete set watch

1. The problem statement, all variables and given/known data

Hi, As part of the proof that :

the set of periods of periods of a meromorphic , an open set and , the complex plane, form a discrete set of when is a non-constant

a step taken in the proof (by contradiction) is : there exists an s.t for any open set containing , there is an contained in

Now the next step is the bit I am stuck on

By the standard trick in analysis, we can produce a sequence of periods such that and

The attempt at a solution

It's been a few years since I've done analysis, and the 'trick' has no name so I am struggling to look it up and find it in google. A proof of this to understand it's meaning is really what I'm after , what's the idea behind the construction / significance in the usual context it would arise I am also confused with the notation, does ? So the sequence converges to it's first term, or is starting from one

many thanks
2. You've used U as an open set twice: once in the initial statement, and once in the "step taken in the proof bit". Are these the same sets, or different ones?

If it would be equally correct to say:

there exists an s.t for any open set containing , there is an contained in

then it's basically trivial. (just take W_n to be the set , then the corresponding w_n's form a sequence that works).

If it's the same U, I'm not sure it's enough to deduce the result.

In either case, I'm not sure what the "standard trick in analysis" is supposed to be here.
3. (Original post by DFranklin)

then it's basically trivial. (just take W_n to be the set , then the corresponding w_n's form a sequence that works).

.
thanks but I don't understand why the generating by this are periods? So by our assumption we have , for a single value of . We have defined the open ball , if was continous we could argue that we can find an such that and then taking the limit would give the definition of a period, however holomorphic implies cts at every point but in this theorem the function f is mermorphic so this doesn't work?
4. (Original post by xfootiecrazeesarax)
thanks but I don't understand why the generating by this are periods?
Each w_n is a member of , so it's a period, no?

So by our assumption we have , for a single value of . We have defined the open ball , if was continous we could argue that we can find an such that and then taking the limit would give the definition of a period, however holomorphic implies cts at every point but in this theorem the function f is mermorphic so this doesn't work?
None of this has anything to do with what you said you wanted to know. You said that:

a step taken in the proof (by contradiction) is : there exists an s.t for any open set containing , there is an contained in

Now the next step is the bit I am stuck on

By the standard trick in analysis, we can produce a sequence of periods such that and
I have explained to you why the 2nd statement follows from the first. Neither statement mentions f (besides the definition of ) and f is not used or needed in any way in the proof.

Related university courses

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: January 24, 2017
Today on TSR

Summer Bucket List is Back!

Start yours and you could win £150!

Poll
Useful resources

Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

How to use LaTex

Writing equations the easy way

Study habits of A* students

Top tips from students who have already aced their exams

Chat with other maths applicants