Complex number
A complex number is a mathematical object being used to define additional solutions in some equation S and with which the four usual operations extend from the real numbers. The complex numbers were introduced at the 16th century by the Italian mathematicians Jerome Cardan, Raphaël Bombelli and Nicolo Fontana, said Tartaglia, in order to express the solutions with the cubic equations in any general information by the Formules of Cardan joint, by using numbers of in particular square negative.
The whole of the sums and products of real numbers and the Imaginary number satisfies the properties of a structure of commutative body which contains the body of realities. It is called body of the complex numbers and notes . It is provided with the application module which generalizes the absolute Value of the real numbers but completely ordered in a compatible way with its structure of body cannot be .
It is only as from the 19th century that develops the geometrical aspect of the complex numbers, seen like elements or transformations of the plan, under the impulse of the Buée abbot and of Jean-Robert Argand (plane of Argand), then with work of Gauss and Cauchy.
In algebra, the Théorème of Alembert-Gauss identifies the degree of a complex Polynôme not no one with the number of its roots taken into account their order of multiplicity. The body of the complex numbers is thus algebraically closed.
In analysis, the exponential complexes makes it possible to simplify the study of the Fourier series then to define the Transformée of Fourier.
The branch of the Analyze complexes relates to the study of the derivable functions with the complex direction, called holomorphic functions .
In physics, the complex numbers are used to describe the behavior of oscillating electric or the undulatory phenomena in electromagnetism.
Description
Notations of the complex numbers
The complex numbers, usually noted , can thus be presented several manners:- Cartesian form,
- algebraic:
- or vectorial:
- form in polar coordinates:
- geometrical
- or vectorial:
- or trigonometrical:
Cartesian form
A complex number in general presents in Cartesian Coordonnées, like a sum , where has and B is unspecified Real numbers and (the imaginary Unité) is a particular number such as .Reality has is called left real Z and notes or , reality B is its imaginary Partie and notes or .
Two complex numbers are equal if and only if they have the same real part and the same part imaginaire.
A complex number Z is known as pure Imaginaire or completely imaginary if its real part is null, in this case it is written in the form Z = Bi .
A complex number of which the imaginary part is worth 0 is compared to a number réel.
The real number 0 is the only one which is at the same time real and imaginary pure, but the majority of the complex numbers are neither real nor imaginary pure.
The addition and the multiplication on the complex numbers have the same properties of Associativité, Commutativité and Distributivité that on the real numbers. The rules of calculation are thus written:
- *;
- *.
In particular, this formula makes it possible to obtain the following equality:
Since the sum a2+b2 of two squares of real numbers is a strictly positive real number (except if has = B = 0 ), it exists a reverse with any complex number not no one with the equality:
This fraction reveals two important expressions for the complex number :
- * its Combined is also a complex number;
- * its module is a positive real number.
The application of conjugation is a involutive Automorphisme : , and .
The module application is a absolute value because it is strictly positive apart from 0, under-additive and multiplicative .
Realities are the only complex numbers which equal to their are combined.
Positive realities are the only complexes equal to their module.
Number 0 is the only complex number whose module is worth 0.
Polar form
Complex plan
In a Plan provided with a reference mark orthonormé , the image of a complex number is the point M coordinates (has, b) , its vectorial image is the vector . The number Z is called affix point M or vector .
The module is then the Length segment .
If Z is different from 0, its image is distinct from the origin O reference mark. One then calls argument of Z and one notes any measurement of the Angle , well defined except for a multiple of .
For example, strictly positive realities have a multiple argument of , strictly negative realities have as an argument an odd multiple of .
imaginary pure the nonnull ones have an adequate argument with or modulo , according to the sign of their imaginary part.
The plan , provided with its orthonormé reference mark and the actions of the complex numbers by addition and multiplication, is called plane complex . Since all the complex plans are Canonique lies isomorphous, one speaks about the plan complexes without specifying more.
Polar coordinates
The module and the argument of a complex number correspond to the polar Coordonnées of its image in the complex plan. By writing the Cartesian coordinates starting from the polar coordinates, any complex number not no one can thus be written under a trigonometrical form with .
The Formula of Euler makes it possible to compact this writing under a exponential form
.
Combined simply .
This writing moreover is adapted to the calculation of the product of two complex numbers because of the multiplicative properties of the function Exponentielle:
- ,
- .
Geometrical interpretation of the operations
That is to say Z and z' two complex number of respective images and .- the image of the sum is defined by the relation .
the action of a complex number per addition is interpreted geometrically like a translation according to the vector image. - Is a real number, the image of the product is defined by the relation .
the action of the real number by scalar multiplication is interpreted geometrically like a Homothétie of center O and report/ratio on the complex level. - If Z is of module 1 and argument , the image of the product is defined by the relations lengths and of angles .
the action of a complex number of module 1 by multiplication is geometrically interpreted like a Rotation of center the origin and angle the argument. - By composition of a homothety and a rotation, the action of a complex number Z not no one by multiplication is geometrically interpreted like a direct similarity of center the origin, of and of angle .
- the image of combined of is the symmetrical of compared to the x-axis.
Construction
See also: Construction of the complex numbers
There exist several current manners to build the body of the complex numbers starting from the unit of the real numbers and its elementary arithmetic operations. In addition to the objects all thus defined are isomorphous, constructions presented hereafter clarify three important characteristics:
- the body of realities is clearly identified like a subset of the body of the complexes and the operations of addition and multiplication are preserved in the new structure. Real number 1 remains neutral for the multiplication.
- There canonically exists a complex number whose square is worth , although its opposite checks also this property.
- Two real parameters are necessary and sufficient to describe all the complex numbers, which underlines the structure of real vector space of dimension 2 with a bases canonical.
Vector of the Euclidean plan
One can define a complex number as a vector of the plan provided with his canonical base.
Each complex number is thus represented by a couple number réels.
The addition corresponds to that of the vectors, i.e. the addition of the coordinates term in the long term:
- .
- .
This definition has the advantage of simplicity, since it requires few prérequis mathematical. It moreover is adapted to the geometrical representation of the complex numbers. On the other hand, the Associativeness of the multiplication and the existence of a Inverse are tiresome to show.
Stamp similarity
It is interesting to define a complex number as a matrix of direct similarity with real coefficients, because the matric operations precisely induce the desired algebraic structure. Moreover, the module and the argument become respectively the report/ratio and a measurement of the angle of the similitude. It should however be checked that the whole of these matrices is Stable by product:- ,
The whole of realities is identified then with the whole of the diagonal matrices of the form , the unit being represented by the matrix identity. The element indicates classically the matrix .
The determinant corresponds to the square of the module, which involves that all the nonnull elements are invertible and the method of the cofacteurs shows stability by reverse.
This point of view provides a natural construction which can be adapted to obtain the real algebra of the Quaternion S. It gives moreover a geometrical interpretation of the multiplication of the complex numbers like composition of similarities of the plan. The conjugation is finally represented by the transposition of matrices.
Classify equivalence of polynomials
A complex number can finally be seen like a Polynôme real of unspecified , where the square is identified with the constant polynomial of value -1, therefore with the identifications , …Formally, that amounts comparing the whole of the complex numbers to the Espace quotient , in which two polynomials belong to same the Classe of equivalence if and only if they have the same remainder of Euclidean Division by X ² + 1.
The irreducible character of the polynomial X ² + 1 ensures the structure of body directly. Realities are represented by the constant polynomials and degree 2 of the dividing polynomial is the dimension of the whole like real vector space.
This very seemingly sophisticated design is perhaps that which describes best the invention of the complex numbers, far from the geometry, starting from one only algebraic generator and of only one relation. The formalism (more recent) of the quotient of a Euclidean ring (here the ring of the real polynomials to unspecified) by one of its ideal irreducible is at the base of the construction of the algebraic extensions of body.
Structure of the body of the complexes
The square roots of a complex number are written easily when this one is in trigonometrical form: those of are and and is opposite one of the autre.The existence of two square roots, in the body of the complex numbers, for any complex number not no one (including for any strictly negative reality) is a property which is not checked by restriction on the body of realities, since no strictly negative reality can be obtained like the square of a real number .
See also: Root of complex number
More generally, all Polynôme with coefficients complex (thus, in particular, any polynomial with whole coefficients or rational), nonconstant, admits at least a root (what implies that he admits some as much as his degree, by taking into account them their multiplicities). It is said that the body of the complexes is algebraically closed . This result is known in France under the name of Théorème of Alembert-Gauss, in other countries under the name of fundamental theorem of the algebra.
- Article principal : Theorem of Alembert-Gauss
In fact, the body of the complexes is the algebraic Clôture body of realities, i.e. the smallest body which contains the body of realities and which is algebraically closed. From the point of view of the Theory of Welshman, one can consider the automorphisms of the body of the complexes: the identity and the conjugation are its only continuous automorphisms (one can replace the assumption “continuous” by, with the choice, “measurable” or “such as the image of any reality is a reality”). By supposing the axiom of the choice one can build “exotic” automorphisms of this body: to see Automorphisms of noncontinuous bodies of C.
Developments in mathematics
Complex analysis
- Article principal : Analyze complexes.
In theory of integration, by using the concept of integral along a way, one obtains the integral Théorème of Cauchy, which ensures that the integral of a holomorphic function, on a field checking certain topological properties, along a closed loop, is null. This crucial property makes it possible to obtain the concept of primitive of a holomorphic function, always on an adapted field. Some of these topological conditions can be abandoned, thanks to the concept of Point singular, leading to the Remainder theorem.
Holomorphic dynamics
See also: Dynamic holomorphic
Holomorphic dynamics with a variable consists of the study of the behavior of reiterated of a holomorphic function definite on a Surface of Riemann. One distinguishes two types of points on these surfaces: those where the family of reiterated is normal, in these points the dynamics is rather simple (basins of attractions of periodic cycles of points), whose whole is called Ensemble of Fatou of , then those where the behavior is chaotic and whose whole is called Ensemble of Julia of .
The properties of these reiterated are particularly well-known within the framework of the Sphère of Riemann: complete classification of the related components of the whole of Fatou according to the properties of , properties of the whole of Julia, study of the Spaces to parameters of polynomials…
One studies also holomorphic dynamics with several variables, for example in complex projective spaces where new difficulties compared to a variable such as the presence of whole of points appear where is not defined.
Differential equations in the complex field
The study of the holomorphic differential equations has the same basic results as that of the equations on functions of real variable, and in particular the Théorème of Cauchy-Lipschitz, which gives the existence and the unicity of a solution to a problem of Cauchy; or results of linear algebra on spaces of solutions of the linear differential equations.However, the study of the equations at the singular points is definitely more fertile than the simple studies of connection of the real case: the topology of the plan complexes in the vicinity of a singular point makes that there is an infinity in manner of approaching it, and the study of the connections of the solutions obtained with all the methods of pleasing approach to the concept of Monodromie. This concept is then used within a more general framework: the differential Theory of Welshman.
Analyzes of Fourier
August 1st
Hypercomplexes numbers
See also: Number hypercomplexe
In topology
- By identifying the vector space with the vector space , the multiplication by defines an application without Point fixes on the Sphère S of odd size.
- the addition of a point “ad infinitum” to the complex plan defines the homeomorphic Sphère of Riemann in the usual sphere S2, which can be seen like the first projective Espace complexe.
projection of the S3 sphere, seen like sphere unit of space , on the sphere of Riemann by quotient of the action of the Cercle unit S1 then constitutes the Fibration of Hopf. - complex projective spaces of even size generate rationally the ring of Cobordisme directed.
Uses in physics and engineering
Representation of the periodic phenomena and analyzes of Fourier
Then, the trigonometrical form made it possible to simplify the modeling and the writing of many phenomena, for example the undulatory phenomena (in particular in connection with the electromagnetic waves, or in electronic and more precisely in the field of the electronic analysis of the circuits containing of self-inductances (coils or reels) noted L, of the noted capacities C and noted resistances R (examples, R+jLw or R-j/Cw and w=2πF, here one has (R, L respectively) and (R, C) in series and with the diagram in series: R*R + (jLw - j/Cw) * (jLw-j/Cw) = Z*Z from where Z = SQR (R*R + (jLw-j/Cw) * (jLw-j/Cw)) and with tangent of the angle = (Lw-1/Cw) /R).In the field of electronics, I representing the imaginary one in mathematics, becomes J for the physicists and one can plot the diagram of Fresnel then and, this, some is the expression.
Indeed, let us take an unspecified parameter, has ( T ), which depends on time in a sinusoidal way. That means that the value of has varies between has and - has , with always the same period, say, ω1, and that one can write has = has .cos (ω1 T ). If one multiplies the value of has by the value of B ( T ), a parameter of the same form, but of different period ω2, we obtain:
what is very pretty, but not easy to handle… but in exponential writing, we obtain:
what is much simpler to handle… But C ′, is not the product of has by B ! It is the real part of C ′! Implicitly, we transformed has and B in complexes, and handled them (, multiplied here). While taking the real part of C ′, we return in the body of realities. The complexes then have no physical reality.
In fact, one is useful oneself owing to the fact that contains to simplify the writings. Indeed, if one must write that a parameter is worth R cos (θ), one needs two realities, R and θ. But with complexes, it is enough to a number, which is much simpler.
In electromagnetism always, but in a different context, one can write the electromagnetic field like a complex combination of the electric field and magnetic field. Pure artifice of calculation, one can associate one or the other of these fields with the “imaginary” part of the complex field obtained: that simplifies the operations largely.
One also uses the complexes for the analyzes of Fourier, very much used in many fields, like the treatment of the signal.
Mechanics of the fluids in the plan
In Mechanical of the fluids (hydro/aerodynamic), one reveals complex potentials and speeds. Indeed, for a flow with two dimensions, one can break up the speed of the fluid into vx and vy . However, it is shown that:
To satisfy these conditions (conditions of Cauchy - Riemann) is equivalent saying that there exists an analytical function such as
One calls F ( Z ) the potential complex , and its derivative compared to Z , the speed complexes . Thanks to this function, one directly obtains the module of speed, and his direction (by taking the trigonometrical form). Especially, one can simply model a flow around an obstacle, in a simple and compact way. The function ψ must be constant along the profile of this obstacle, which allows a simple resolution of F , thanks to simple results of complex analysis.
Quantum mechanics
Another simplification for physicists: the quantum Mécanique requires the complex numbers. The quantum functions of waves are thus all complex (see Postulats of quantum mechanics). In this case, however, it is possible (according to nonquantum theories) that corresponds to the real structure of the universe: either with 4 dimensions (space time), but of 5 and more - in certain theories up to 11 - on quantum scales (small). In spite of our perception (adapted on larger scales), imaginary dimension could thus extremely well also correspond to a “reality physique ” and not to represent only one convenience of writing.If as well is besides as one takes place to establish a difference, because it is noticed that the effective notations to generate objects are it as much to describe them with precision then (see Fractale, Complexité of Kolmogorov, Compression, Entropie of Shannon and even neumatic Notation in music.
History
The first allusion to the roots of the negative numbers appears with work of the Greek and inventive Mathématicien Héron of Alexandria at first century BC, when it is interested in volume of the impossible trunk of a Pyramide, and this in spite of the fact that with the hellenistic time the negative numbers are inconceivable.The complex numbers appear more clearly at the 16th century, when is established a formula to calculate for the polynomial roots of the cubic equations and polynomial quartics by the Italian mathematicians Niccolo Fontana Tartaglia and Gerolamo Cardano. It is carried out very early sometimes that these formulas, even if one is not interested whereas in the real solutions, require to handle the square root of negative numbers. For example, the cubic formula of Tartaglia gives the following solution to the equation X ³ − X = 0:
At first sight that seems a nonsense. Although formal calculation with the complex numbers shows that the equation Z ³ = I has as a solution − I , and . In substituent these results in the cubic formula of Tartaglia and while simplifying, one obtains 0,1 and − 1 as solutions of X ³ − X = 0.
This result is doubly astonishing because the concept even of negative numbers is not validated yet at the time. Name Imaginary number for these quantities is introduced by Rene Descartes in 1637, term qualified of “pejorative” so much their reality is contestable. An additional source of confusion lies in the fact that the equation gives at the same time an algebraic identity , valid with positive realities has and B , but also with complex numbers of which one of the members (' or B has) is positive and the other negative one. The incorrect use of this identity (and the dependant identity ) if at the same time has and B is negative holds in particular Euler in failure. It is this difficulty which carries out the mathematicians of the time to agree to use the special symbol I in the place of to preserve EC error.
At the 18th century, in 1730, Abraham de Moivre states the well-known formula which door are name (Formule of Moivre):
Little time after, in 1748, Leonhard Euler gives, as for him, the following formula (Formule of Euler) used in Analyze complexes:
| Random links: | Vibraphone | Ti year Dispac' H | Maurice Allard | Yoke of the Eagle | Narcisse of Jesus Martillo Morán |