statement proposition
Principal value of the argument
Statement
Let be a complex number with . Then has exactly one argument with . This argument is the principal value of the argument, written .
Remarks
Proof: the arguments of form a set , and each interval of length contains exactly one element of such a set. For example, , and for real . Some authors use the interval instead.
Explanations
L1 human
Many angles describe the same direction, because full turns do not change it. The principal value picks one of them, the one between and degrees, with allowed and not.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 11 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Complex numbers object
- Real numbers object
- Set bounded above definition
- Real and imaginary parts definition
- Supremum definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Argument of a complex number definition
- Principal value of the argument statement
What depends on this
11 nodes use this node, directly or through other nodes.
- Arguments add under multiplication 01W6RKJP01
- The nth roots of unity 057BH3JC9S
- Power series of the complex logarithm 09BG0Y7SZD
- Polar form 0BRXFNQ5JV
- exp(2 pi i/n) is a primitive root of unity 0CF0XGYHNJ
- Number of nth roots of unity 0E021GF2B8
- Quadratic formula 0KYZXYDGQZ
- The principal logarithm is holomorphic off the branch cut 0XVGJE7Q04
- Principal branch 0YKY4M3KRQ
- Existence of nth roots of complex numbers 0YM6P6C206
- Complex power 0ZV9A7EV0F
Sources
- Web https://en.wikipedia.org/wiki/Argument_(complex_analysis), Principal value
What links here
Used by
- Polar form 0BRXFNQ5JV
- Principal branch 0YKY4M3KRQ