MHB What is the Branch Cut for log(z)?

Click For Summary
The branch cut for the logarithm function log(z) is typically defined along the negative real axis, where the argument of z is constrained to the range -π < arg(z) < π. This restriction ensures that the exponential function e^z remains one-to-one within the specified domain. The branch point of log(z) occurs at z=0, marking the point from which multiple branches of the function emerge. The principal logarithm is expressed as log(z) = ln|z| + i arg(z), with arg(z) limited to the defined range. Understanding these concepts is crucial for correctly applying the logarithm in complex analysis.
Amer
Messages
259
Reaction score
0
What is the Branch cut for the log(z) ?

Correct me if I am wrong.
I know that the function $f(z) = e^z$ , is periodic function with period $2 \pi $
so to define the function $\log(z) $ we have to restrict the domain of $e^z$
for example taking the points $D : z \in \mathbb{C} $ such that $-\pi < arg (z) < \pi $
$e^z $ is one to one in D
Now define the function $g(z)= \log (z) $ which has the range D
The branch cut of $\log (z) $ describe the range not the domain of log ?

Thanks
 
Physics news on Phys.org
Amer said:
What is the Branch cut for the log(z) ?

Correct me if I am wrong.
I know that the function $f(z) = e^z$ , is periodic function with period $2 \pi $
so to define the function $\log(z) $ we have to restrict the domain of $e^z$
for example taking the points $D : z \in \mathbb{C} $ such that $-\pi < arg (z) < \pi $
$e^z $ is one to one in D
Now define the function $g(z)= \log (z) $ which has the range D
The branch cut of $\log (z) $ describe the range not the domain of log ?

Thanks

The branch point of a multivalued function is a point in the complex plane from which several branchs of the function depart. The function f(z) = ln z has only one branch point in z=0...

Kind regards$\chi$ $\sigma$
 
$w=e^z$ then if $-\pi <Im(z) < \pi $ the function $w$ is one to one. Now assume the following

$$z=e^w$$ and we want to find $w$ satisfiying the property then $|z|=e^u$ implies that $u = \ln |z|$ and $v=arg(e^z)=arg(z) \in (-\pi ,\pi ) $. Hence we have

$$w=\log(z) = \ln|z|+iarg(z) \,\,\,;\, arg(z) \in (-\pi , \pi ) $$

Hence defining the principle logarithm with branch cut on the negative real axis.
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
Replies
3
Views
3K
  • · Replies 17 ·
Replies
17
Views
10K