Register to reply

Extending Analytic Functions f:C->C , to f^:C^->C^; C^=Riemann Sphere

Share this thread:
Feb13-09, 12:51 AM
P: 595
Hi, everyone:
I am trying to see if it is true that if we are given f:C-->C analytic ; C complex plane,
then, to extend f to a function defined on C^ (Riemann Sphere) , i.e, to get:

f^: C^ -->C^

with f^|_C =f

i.e., the restriction of f^ to the complex plane agrees with f ,

If we need to define f(oo) =oo .

I think the answer is yes. Here's what I have:

We consider a 'hood ('hood:=neighborhood.) W of oo in C^ , which are complements
of compact 'hoods K in C , together with {oo}, i.e., W=C\K U {oo} , for K compact in C.

By Liouville's thm., |f|-->oo on balls B(0;r) , as r-->oo . And then by continuity,
it would seem that we need f(oo)=oo, since W= C-B(0;r) is a 'hood of oo.

Alternatively, if we had an analytic map f on C , f would go to oo on balls B(0;r)
as r->oo . Then if we used the stereo projection S: C-->C^ , and push f
forward by this projection, we would have Sof (composition)-->oo .

But this is still not rigorous-enough.

Any Ideas?.


P.S: If it bothers people to use regular ASCII, please let me know. I use ASCII
as a way to force myself to keep things clear . But I can change if neccessary.
Phys.Org News Partner Science news on
Flapping baby birds give clues to origin of flight
Prions can trigger 'stuck' wine fermentations, researchers find
Socially-assistive robots help kids with autism learn by providing personalized prompts

Register to reply

Related Discussions
Where are these functions analytic? Calculus & Beyond Homework 1
Analytic functions Calculus & Beyond Homework 1
Mapping Analytic Functions Calculus & Beyond Homework 3
Geometry of Analytic Functions General Math 0
Analytic functions proofs. Calculus & Beyond Homework 5