MHB What Does the Branch of the Cube Root Function Mean?

  • Thread starter Thread starter alexmahone
  • Start date Start date
  • Tags Tags
    Branch Cube Root
Click For Summary
The discussion explains the concept of branches and branch cuts in the context of the cube root function, specifically for the function f(z) = z^{1/3}. It highlights that complex numbers have infinitely many arguments, necessitating the use of branch cuts to ensure a single-valued function. The defined branch cut for this function is along the ray θ = 0, excluding the positive real axis. To find f(-i), one must first evaluate the argument of -i, then apply it to the formula f(z) = e^{(1/3)arg(z)}. This approach clarifies how to uniquely determine the cube root for complex numbers within the specified domain.
alexmahone
Messages
303
Reaction score
0
Let $f(z)=z^{1/3}$ be the branch of the cube root whose domain of definition is given by $0<\theta<2\pi$, $z\neq 0$ (i.e. the branch cut is along the ray $\theta=0$.) Find $f(-i)$.

Could someone please help me understand the question? I'm not too clear on "branches" and "branch cuts".
 
Physics news on Phys.org
Hi Alexmahone,

Recall that a nonzero complex number has infinitely many arguments. In fact, any two arguments of a complex number differ by an integer multiple of $2\pi$. This is why we consider branches of the cube root; the cube root function is generally multi-valued, and the branch cuts allows us to define the cube root so that it is single-valued (so for every $z$ in the domain there is a unique argument of $z$).

In your situation, $f$ is defined on the complement of the $[0,\infty)$, and is determined by the equation

$$f(z) = e^{(1/3)\operatorname{arg}(z)} \qquad (0 < \operatorname{arg}(z) < 2\pi)$$

Evaluate $\arg(-i)$ first, then plug it into the formula for $f(z)$ to get the answer.
 
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 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 17 ·
Replies
17
Views
10K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
3
Views
3K
Replies
8
Views
3K
Replies
3
Views
2K