(adsbygoogle = window.adsbygoogle || []).push({}); Extending complex functions f:C-->C into f^:C^-->C^

Hi, All:

I have a function f: ℂ-->ℂ' , i.e., a complex-valued function (use ℂ,ℂ' to make a distinction between the complexes as domain and codomain respectively), and i want to extend it into

the Riemann Sphere ℂ^, i.e., I am looking for f^ such that f^|_{ℂ}=f. If I remember correctly, a necessary and sufficient condition for extensibility is

that f must be a proper function, i.e., that for every K compact in ℂ' is sent to a compact

set in ℂ, i.e., f^{-1}(K) is compact in ℂ? I think this somehow had to see with

ℂ^ being the 1-pt compactification of ℂ; is this correct? If so, anyone have a ref. for the

proof, if not, could someone please let me know what the correct result is?

Thanks.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Extending complex functions f:C->C into f^:C^->C^

**Physics Forums | Science Articles, Homework Help, Discussion**