Can functions with infinite derivatives at infinity be local homeomorphisms?

  • Context: Graduate 
  • Thread starter Thread starter bdeln
  • Start date Start date
  • Tags Tags
    Homeomorphism Local
Click For Summary
SUMMARY

The discussion centers on the properties of holomorphic functions on the extended complex plane, particularly regarding local homeomorphisms and the behavior of derivatives at infinity. It is established that a holomorphic function f is not a local homeomorphism if f'(z) = 0, as per the open mapping theorem. The user raises questions about scenarios where f'(z) approaches infinity or is undefined at infinity, using the example of f(z) = z^2, which is not differentiable at infinity. The conclusion is that f(z) = z^2 does not qualify as a local homeomorphism at infinity due to its behavior near that point.

PREREQUISITES
  • Understanding of holomorphic functions
  • Familiarity with the concept of local homeomorphisms
  • Knowledge of the open mapping theorem
  • Basic concepts of complex analysis on the extended complex plane
NEXT STEPS
  • Study the open mapping theorem in detail
  • Explore the properties of rational functions on the extended complex plane
  • Learn about differentiability at infinity in complex analysis
  • Read "Analysis on Riemann Sphere" for advanced insights
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the properties of holomorphic functions and their behavior at infinity.

bdeln
Messages
7
Reaction score
0
I've just been reading about how complex functions can be defined on the extended complex plane. They start with rational functions as examples, and defining them at oo so they're continuous at oo in a sense. Eg, 1/z would be defined to be 0 at z = oo.

I understand that given a holomorphic function f, then f is not a local homeomorphism whenever f'(z) = 0 (open mapping theorem right?), but I'm wondering, what if f'(z) = oo now? Or what if I get a situation where f'(z) isn't even defined at oo, which seems to happen a lot? For example, f(z) = z^2 isn't differentiable at oo if I understand this stuff correctly, but is differentiable everywhere else. I get the feeling that, since oo is a fixed point of z^2, and z^2 is going to be covering everything twice near oo, it's not going to be a local homeomorphism there either .. but I'm wondering if anyone could clear this up for me properly, or point me in the direction of some notes/books that deal with this stuff nicely.

Thanks.
 
Physics news on Phys.org

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 22 ·
Replies
22
Views
5K