Difference between revisions of "Complex number"
(Define the operations -- they're too important to be left in a different article.) |
(Fundamental theorem of algebra) |
||
| Line 43: | Line 43: | ||
This division will fail if and only if <math>c^2 + d^2 = 0\,</math>, that is, <math>c\,</math> and <math>d\,</math> are both zero, that is, the complex denominator <math>z\,</math> is exactly zero (both components zero). This is exactly analogous to the rule that real division fails if the denominator is exactly zero. | This division will fail if and only if <math>c^2 + d^2 = 0\,</math>, that is, <math>c\,</math> and <math>d\,</math> are both zero, that is, the complex denominator <math>z\,</math> is exactly zero (both components zero). This is exactly analogous to the rule that real division fails if the denominator is exactly zero. | ||
| + | |||
| + | ==Fundamental theorem of algebra== | ||
| + | The complex numbers form an [[algebraic closure|algebraically closed]] field. This means that any <math>n^{th}\,</math> degree polynomial can be factored into n first degree (linear) polynomials. Equivalently, such a polynomial has n roots (though one has to count all multiple occurrences of repeated roots. This statement is the Fundamental Theorem of Algebra, first proved by [[Gauss|Carl Friedrich Gauss]] around 1800. The theorem is ''not true'' if the roots are required to be real. But when the roots are allowed to be complex, the theorem applies even to polynomials with complex coefficents. | ||
| + | |||
| + | The simplest polynomial with no real roots is <math>x^2 + 1\,</math>, since -1 has no real square root. But if we look for roots of the form <math>a + bi\,</math>, we have: | ||
| + | :<math>(a + bi)^2 + 1 = a^2 - b^2 + 1 + 2abi = 0\,</math> | ||
| + | For the imaginary part to be zero, one of a or b must be zero. For the real part to be zero, a must be zero and <math>b^2\,</math> must be 1. This means that <math>b = \pm 1\,</math>, so the roots are <math>(0, 1)\,</math> and <math>(0, -1)\,</math>, or <math>\pm{}i\,</math>. | ||
| + | |||
| + | These two numbers, <math>i\,</math> and <math>-i\,</math>, are the square roots of -1. | ||
| + | |||
| + | Similar analysis shows that, for example, 1 has three cube roots: | ||
| + | *<math>1\,</math> | ||
| + | *<math>-\frac{1}{2} + \frac{\sqrt{3}}{2}i\,</math> | ||
| + | *<math>-\frac{1}{2} - \frac{\sqrt{3}}{2}i\,</math> | ||
| + | One can verify that | ||
| + | <math>(x-1) (x + \frac{1}{2} - \frac{\sqrt{3}}{2}i) (x + \frac{1}{2} + \frac{\sqrt{3}}{2}i) = x^3 - 1\,</math> | ||
It is a common belief that complex numbers have a weaker connection to physical reality than real numbers. Observables in [[Physics]] for example weight, energy, pressure etc. are usually represented as [[real]] [[numbers]], and the SI system of units relies on real numbers. However, the transformation between a SI base unit, e.g. an inductance/capacitance/resistance value and a complex impedance is arbritrary and set by convention, and the "natural" representation depends on the measurement method. As a matter of fact, a number of measurement devices (network analysers, lock in amplifiers) directly output real and imaginary component (where the imaginary component is obviously a real voltage/current value). Also, the [[index of refraction]] is often expressed as a complex number whose imaginary component indicates [[absorption]] loss as light propagates through the medium. | It is a common belief that complex numbers have a weaker connection to physical reality than real numbers. Observables in [[Physics]] for example weight, energy, pressure etc. are usually represented as [[real]] [[numbers]], and the SI system of units relies on real numbers. However, the transformation between a SI base unit, e.g. an inductance/capacitance/resistance value and a complex impedance is arbritrary and set by convention, and the "natural" representation depends on the measurement method. As a matter of fact, a number of measurement devices (network analysers, lock in amplifiers) directly output real and imaginary component (where the imaginary component is obviously a real voltage/current value). Also, the [[index of refraction]] is often expressed as a complex number whose imaginary component indicates [[absorption]] loss as light propagates through the medium. | ||
Revision as of 01:03, October 2, 2009
A complex number is a number composed of two parts - a real component and an imaginary component, of the form Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a + bi} , where a and b are real numbers and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^2 = -1} .
Whereas the real numbers can be represented as all the possible points on an infinitely extended number line, to represent all the complex numbers requires the use of a two dimensional coordinate system, usually with the real components on the horizontal axis (the abscissa) and the imaginary components on the vertical axis (the ordinate). This representation is known as the Argand diagram.
The complex numbers form an algebraically closed field but do not permit a non-trivial ordering that is preserved under operations. They are the algebraic closure of the real numbers. One notable consequence, and a very natural way of seeing the necessity of complex numbers is the fact that all matrices of full rank over a vector space over real numbers repesent transformations, which, after a base transformation, are equivalent to a diagonal matrix of the same size with complex entries on the diagonal. Thus, any linear linear equation of motion of arbitrary order and dimension of real numbers can be represented in this way and be decomposed into eigenvectors (or modes). The evolution of the system is fully described by the complex amplitudes.
Many functions used in real analysis can be extended in to complex numbers using Taylor series. This is the subject of complex analysis.
The complex numbers are defined as a 2-dimensional vector space over the real numbers. That is, a complex number is an ordered pair of numbers: (a, b). The familiar real numbers constitute the complex numbers with second component zero. That is, x corresponds to (x, 0).
The second component is called the imaginary part. Its unit basis vector is called Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} . The first component is called the real part. Its unit basis vector is just 1. Thus, the complex number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a, b)\,} can also be written Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a + bi\,} .
The complex numbers form a field, with the mathematical operations defined as shown below.
Arithmetic operations
The field operations are defined as follows:
Addition
Addition is just the standard addition on the 2-dimensional vector space. That is, add the real parts (first components), and add the imaginary parts (second components).
Letting the complex numbers w and z be defined by their respective components:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z = (c, d) = c + di\,}
we have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w + z = (a+c, b+d) = a+c + (b+d)i\,}
Multiplication
Multiplication has a special definition. It is this definition that gives the complex numbers their important properties.
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w * z = (a*c - b*d) + (a*d + b*c)i\,}
- When we multiply Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0+1i)*(0+1i)\,} , this definition gives Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^2 = -1\,}
Writing out the product Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w * z\,} in the obvious way, we get the same answer:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a + bi) * (c + di) = a*c + b*d*i^2 + (a*d + b*c)i = (a*c - b*d) + (a*d + b*c)i\,}
This means that, using Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^2 = -1\,} , one can perform arithmetic operations in a completely natural way.
Division
Division requires a special trick. We have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{w}{z} = \frac{a + bi}{c + di}\,}
To get the individual components, the denominator needs to be real. This can be accomplished by multiplying both numerator and denominator by Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (c - di)\,} . We get:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{w}{z} = \frac{(a + bi)*(c - di)}{(c + di)*(c - di)} = \frac{(a*c + b*d) + (b*c - a*d)i}{c^2 + d^2}\,}
This division will fail if and only if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c^2 + d^2 = 0\,} , that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d\,} are both zero, that is, the complex denominator Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z\,} is exactly zero (both components zero). This is exactly analogous to the rule that real division fails if the denominator is exactly zero.
Fundamental theorem of algebra
The complex numbers form an algebraically closed field. This means that any Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^{th}\,} degree polynomial can be factored into n first degree (linear) polynomials. Equivalently, such a polynomial has n roots (though one has to count all multiple occurrences of repeated roots. This statement is the Fundamental Theorem of Algebra, first proved by Carl Friedrich Gauss around 1800. The theorem is not true if the roots are required to be real. But when the roots are allowed to be complex, the theorem applies even to polynomials with complex coefficents.
The simplest polynomial with no real roots is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2 + 1\,} , since -1 has no real square root. But if we look for roots of the form Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a + bi\,} , we have:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a + bi)^2 + 1 = a^2 - b^2 + 1 + 2abi = 0\,}
For the imaginary part to be zero, one of a or b must be zero. For the real part to be zero, a must be zero and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b^2\,} must be 1. This means that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b = \pm 1\,} , so the roots are Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0, 1)\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0, -1)\,} , or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pm{}i\,} .
These two numbers, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i\,} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -i\,} , are the square roots of -1.
Similar analysis shows that, for example, 1 has three cube roots:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\frac{1}{2} + \frac{\sqrt{3}}{2}i\,}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\frac{1}{2} - \frac{\sqrt{3}}{2}i\,}
One can verify that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x-1) (x + \frac{1}{2} - \frac{\sqrt{3}}{2}i) (x + \frac{1}{2} + \frac{\sqrt{3}}{2}i) = x^3 - 1\,}
It is a common belief that complex numbers have a weaker connection to physical reality than real numbers. Observables in Physics for example weight, energy, pressure etc. are usually represented as real numbers, and the SI system of units relies on real numbers. However, the transformation between a SI base unit, e.g. an inductance/capacitance/resistance value and a complex impedance is arbritrary and set by convention, and the "natural" representation depends on the measurement method. As a matter of fact, a number of measurement devices (network analysers, lock in amplifiers) directly output real and imaginary component (where the imaginary component is obviously a real voltage/current value). Also, the index of refraction is often expressed as a complex number whose imaginary component indicates absorption loss as light propagates through the medium.
Polar notation
The complex number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a+bi} can also be written in the form Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho e^{i\theta}} , where
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho^2=a^2+b^2} is the square of the number's magnitude
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tan\theta=\frac{b}{a}} ,where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta} is the phase
If a line is drawn on the complex plane (also known as an 'Argand diagram' or the 'Argand plane') from the origin to a given complex number, the length of that line will be Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho} and the angle it makes to the real (horizontal) axis will be Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta} . This leads to a straight-forward geometric interpretation for multiplication by a complex number: multiplying a complex number by Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{i\theta}} is equivalent to an anticlockwise rotation through an angle Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta} in the complex plane.
Complex Numbers as Matrices
The field F on complex numbers is isomorphic to the field F' of 2x2 matrices of the form
- [a -b]
- [b a],
with Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a+bi} mapping as a function f to the above matrix. We can see that F and F' are isomorphic because: The function f is clearly 1-to-1 and onto, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x+y)=f(x)+f(y)} , and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x*y)=f(x)*f(y)} .