Functions of a complex variable Proposition
Principal value of the argument
Builds on Argument of a complex number
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.
Reading path
To understand this page from the ground up, read these 11 pages in order. The foundations come first.
Show the path as a graph
- 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
Where this leads
11 pages build on this one.
- Arguments add under multiplication
- The nth roots of unity
- Power series of the complex logarithm
- Polar form
- exp(2 pi i/n) is a primitive root of unity
- Number of nth roots of unity
- Quadratic formula
- The principal logarithm is holomorphic off the branch cut
- Principal branch
- Existence of nth roots of complex numbers
- Complex power
Further reading
- Web https://en.wikipedia.org/wiki/Argument_(complex_analysis), Principal value
About this page
| Tag | 0SQSQP748R |
|---|---|
| URI | m2://0SQSQP748R |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 30A99 |
| Status | This copy of the site has no build data. Run m2 status 0SQSQP748R. |
| Uses | Argument of a complex number |
Markdown · JSON · Edit on GitHub
What this page 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 page is. They do not measure its truth.