Branch points of a complex function

  • Thread starter Thread starter Hill
  • Start date Start date
  • Tags Tags
    Complex function
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 1K views
Hill
Messages
867
Reaction score
658
Homework Statement
Consider the multifunction ##f(z) = \sqrt {z - 1} \sqrt[3] {z - i}##.
Where are the branch points and what are their orders?
Relevant Equations
##e^{i \frac \theta n} = e^{i \frac {\theta + 2 \pi n} n}##
My answer: one branch point is ##1## of the order 1, another is ##i## of the order 2.
My question is, how can I be sure that these are the only branch points?
 
Physics news on Phys.org
Prove by construction that, at an arbitrary point in the complex plane excluding 1 and ##i##, each branch of the function ##f## has a continuous inverse. At least one branch of a function does not have a continuous inverse at a branch point. So if every branch has a continuous inverse, it cannot be a branch point.
 
Reply
  • Like
Likes   Reactions: Hill and WWGD
andrewkirk said:
Prove by construction that, at an arbitrary point in the complex plane excluding 1 and ##i##, each branch of the function ##f## has a continuous inverse. At least one branch of a function does not have a continuous inverse at a branch point. So if every branch has a continuous inverse, it cannot be a branch point.
Yes, good point, branch point of product doesn't necessarily coincide with the intersection of the branch points. Could this be expressed in terms of the monodromy groups?
 
Reply
  • Like
Likes   Reactions: Hill
andrewkirk said:
Prove by construction that, at an arbitrary point in the complex plane excluding 1 and ##i##, each branch of the function ##f## has a continuous inverse. At least one branch of a function does not have a continuous inverse at a branch point. So if every branch has a continuous inverse, it cannot be a branch point.
If I understand this test correctly:

Let's take a simpler function, ##f(z)=\sqrt z##. It has branch point at 0.
The inverse of this function is ##z(f)=f^2##.
Isn't ##z(f)## continuous everywhere, including the branch point ##f(0)=0##?