2 definitions for argument, why?

  • Context: Undergrad 
  • Thread starter Thread starter Jhenrique
  • Start date Start date
  • Tags Tags
    Argument Definitions
Click For Summary

Discussion Overview

The discussion revolves around the existence of two definitions for the argument of a complex number, as presented in different Wikipedia entries. Participants explore the implications of these definitions and their relationships, focusing on theoretical aspects of complex analysis.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant notes a definition of the argument related to the exponential form of complex numbers, questioning how it relates to another definition found in a different context.
  • Another participant elaborates on the first definition, indicating that it does not yield the argument for all complex numbers, particularly when the modulus is not equal to one.
  • This participant also presents the second definition, asserting that it provides the argument for any non-zero complex number, contingent on the correct branch of the logarithm being chosen.
  • A third participant expresses appreciation for the previous contributions, indicating engagement with the discussion.
  • A fourth participant suggests that there are often multiple ways to express the same mathematical concept, emphasizing creativity in mathematical reasoning.

Areas of Agreement / Disagreement

Participants do not reach a consensus on why there are two definitions for the argument or how they are related, indicating ongoing debate and exploration of the topic.

Contextual Notes

Participants highlight the importance of branch choices in complex logarithms and the conditions under which each definition applies, suggesting that the definitions may depend on specific contexts or assumptions.

Jhenrique
Messages
676
Reaction score
4
In the wiki, I found this definition for the argument:

c3b660fcef985a8d0781f6bfb6659a76.png


http://en.wikipedia.org/wiki/List_of_trigonometric_identities#Exponential_definitions

However, in other page of the wiki (http://en.wikipedia.org/wiki/Complex_conjugate#Use_as_a_variable), I found this definition for argument:\arg(z) = \ln(\sqrt[2 i]{z \div \bar{z} }) = \frac{ln(z) - ln(\bar{z})}{2 i}I don't understand why exist 2 defitions for the argument and how those 2 defitions are related.
 
Physics news on Phys.org
Jhenrique said:
In the wiki, I found this definition for the argument:

c3b660fcef985a8d0781f6bfb6659a76.png
This gives the inverse of \mathrm{cis}\,\theta = \cos \theta + i \sin \theta = e^{i\theta}. It is not a definition of the argument, but reflects the fact that if z = e^{i\theta} then
<br /> -i \log e^{i\theta} = -i(i \theta) = \theta = \arg z.<br />
It doesn't give \arg z if |z| = R \neq 1:
<br /> -i \log (Re^{i\theta}) = -i \log R + \theta \neq \arg z<br />

However, in other page of the wiki (http://en.wikipedia.org/wiki/Complex_conjugate#Use_as_a_variable), I found this definition for argument:\arg(z) = \ln(\sqrt[2 i]{z \div \bar{z} }) = \frac{ln(z) - ln(\bar{z})}{2 i}I don't understand why exist 2 defitions for the argument and how those 2 defitions are related.

This gives \arg z for any z \neq 0 (if you choose the correct branch of z^{1/(2i)}).
 
  • Like
Likes   Reactions: 1 person
I liked your answer!
 
There is almost always an alternative way of expressing the same mathematical argument, with a little imagination. It's not always obvious.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 23 ·
Replies
23
Views
4K
  • · Replies 13 ·
Replies
13
Views
6K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K