(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 - The Fusion of Science and Community**

Dismiss Notice

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^

Loading...

Similar Threads - Extending complex functions | Date |
---|---|

Extended divergence theorem | Sep 18, 2013 |

Extending Taylor expansions | Oct 29, 2012 |

Extending radius of convergence by analytic continuation | Mar 1, 2012 |

Definition of compactness in the EXTENDED complex plane? | Apr 28, 2010 |

Boundedness in extended complex plane | Oct 31, 2006 |

**Physics Forums - The Fusion of Science and Community**