Math 2.0

statement proposition

Principal value of the argument

Statement

Let zz be a complex number with z≠0z \neq 0. Then zz has exactly one argument θ\theta with −π<θ≤π-\pi < \theta \le \pi. This argument is the principal value of the argument, written Arg⁡z\operatorname{Arg} z.

Remarks

Proof: the arguments of zz form a set θ0+2πZ\theta_0 + 2 \pi \mathbb{Z}, and each interval (−π,π](-\pi, \pi] of length 2π2\pi contains exactly one element of such a set. For example, Arg⁡(−1)=π\operatorname{Arg}(-1) = \pi, Arg⁡(−i)=−π/2\operatorname{Arg}(-i) = -\pi/2 and Arg⁡x=0\operatorname{Arg} x = 0 for real x>0x > 0. Some authors use the interval [0,2π)[0, 2\pi) 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 −180-180 and 180180 degrees, with 180180 allowed and −180-180 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.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Real numbers object
  3. Set bounded above definition
  4. Real and imaginary parts definition
  5. Supremum definition
  6. Completeness axiom statement
  7. Existence of square roots of nonnegative reals statement
  8. Square root definition
  9. Modulus of a complex number definition
  10. Argument of a complex number definition
  11. Principal value of the argument statement

What depends on this

11 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Argument_(complex_analysis), Principal value