Article de reference

nombre complexe

Un nombre complexe z peut être représenté visuellement comme une paire de nombres a , b ) formant un vecteur de position (bleu) ou un point (rouge) sur un diagramme appelé diagr...

Page semi-protégée

Un nombre complexe vecteur de position (bleu) ou un point (rouge) sur un diagramme appelé diagramme d'Argand, représentant le plan complexe. Re est l'axe réel, Im est l'axe imaginaire et mathématiques , un nombre complexe est un élément d'un système de nombres qui étend les nombres réels avec un élément spécifique, noté unité imaginaire et satisfaisant l'équation i = i² + i² . Comme aucun nombre réel ne satisfait cette équation, René Descartes a nommé nombre imaginaire . Tout nombre complexe peut s'exprimer sous la forme i² + i² , où

Multiplication
Visualisation vectorielle de la multiplication des nombres complexes

Conjugué complexe, valeur absolue, argument et division

Représentation géométrique de conjugué complexe du nombre complexe « symétrie » de si et seulement s'il est égal à son propre conjugué. L' opération unaire consistant à calculer le conjugué complexe d'un nombre complexe ne peut être exprimée par les seules opérations de base d'addition, de soustraction, de multiplication et de division.

Forme polaire
On multiplie hypoténuse du triangle bleu (multiplication des deux rayons, comme indiqué dans le terme r₁ r₂ de l' équation ) .

Pour tout nombre complexe z , avec valeur absolue et argument , l'équation

Cette identité est valable. Elle est appelée la forme polaire de z . Elle est parfois abrégée en . En électronique, on représente un phaseur d'amplitude notation angulaire :

Si deux nombres complexes sont donnés sous forme polaire, c'est-à-dire identités trigonométriques des fonctions sinus et radians ). Par ailleurs, la somme des angles à l'origine des triangles rouge et bleu est respectivement égale à arctan (1/3) et arctan(1/2). Ainsi, la formule est vérifiée. Comme la fonction arctan peut être approchée de manière très efficace, des formules comme celle-ci – connues sous le nom de formules de type Machin – sont utilisées pour des approximations de haute précision de

la formule de de Moivre , qui est obtenue en appliquant de manière répétée la formule ci-dessus pour le produit : Par exemple, les premières puissances de l'unité imaginaire i sont .

Histoire

radicale (sans fonctions trigonométriques ) d'une équation cubique générale , lorsque ses trois racines sont réelles, contient des racines carrées négatives . Cette situation ne peut être résolue par factorisation, même avec le critère des racines rationnelles , si la cubique est irréductible ; c'est le cas dit « casus irreducibilis » ( Gerolamo Cardano à concevoir les nombres complexes vers 1545 dans son <i>Ars Magna </i> , bien que sa compréhension fût rudimentaire ; de plus, il a décrit plus tard les nombres complexes comme étant « aussi subtils qu'inutiles » . Cardano utilisait bien les nombres imaginaires, mais qualifiait leur usage de « torture mentale » . C'était avant l'utilisation de la représentation graphique du plan complexe. Cardano et d'autres mathématiciens italiens, notamment Scipione del Ferro , ont créé au XVIe siècle un algorithme pour résoudre les équations cubiques qui admettaient généralement une solution réelle et deux solutions contenant un nombre imaginaire. Comme ils ignoraient les solutions contenant les nombres imaginaires, Cardano les jugea inutiles.

Les travaux sur le problème des polynômes généraux ont finalement abouti au théorème fondamental de l'algèbre, qui démontre que, pour les nombres complexes, toute équation polynomiale de degré un ou supérieur admet une solution. Les nombres complexes forment ainsi un corps algébriquement clos , dans lequel toute équation polynomiale possède une racine .

De nombreux mathématiciens ont contribué au développement des nombres complexes. Les règles d'addition, de soustraction, de multiplication et d'extraction des racines des nombres complexes ont été établies par le mathématicien italien Rafael Bombelli . Un formalisme plus abstrait pour les nombres complexes a ensuite été développé par le mathématicien irlandais William Rowan Hamilton , qui a étendu cette abstraction à la théorie des quaternions .

La première mention, même fugace, des racines carrées de nombres négatifs se trouve peut-être dans l'œuvre du mathématicien grec Héron d'Alexandrie, au Ier siècle après J.-C. , où, dans ses Stereometrica, il considère, apparemment à tort, le volume d'un tronc de pyramide impossible pour arriver au terme dans ses calculs, qui se simplifierait aujourd'hui en . Les quantités négatives n'étaient pas conçues dans les mathématiques hellénistiques et Héron a simplement remplacé la valeur négative par sa valeur positive

L'intérêt pour l'étude des nombres complexes en tant que sujet à part entière remonte au XVIe siècle, lorsque les mathématiciens italiens Niccolò Fontana Tartaglia et Gerolamo Cardano découvrirent des solutions algébriques pour les racines des polynômes cubiques et quartiques . On s'aperçut rapidement (mais ce fut démontré bien plus tard) que ces formules, même en ne considérant que les solutions réelles, nécessitaient parfois la manipulation de racines carrées négatives. En effet, il fut démontré par la suite que l'utilisation des nombres complexes est inévitable lorsque les trois racines sont réelles et distinctes. Cependant, la formule générale reste applicable dans ce cas, moyennant une attention particulière à l'ambiguïté résultant de l'existence de trois racines cubiques pour des nombres complexes non nuls. Rafael Bombelli fut le premier à aborder explicitement ces solutions apparemment paradoxales des équations cubiques et à développer les règles de l'arithmétique complexe, cherchant ainsi à résoudre ces problèmes.

Le terme « imaginaire » pour ces quantités a été inventé par René Descartes en 1637, qui s’est efforcé de souligner leur nature irréelle :

... parfois seulement imaginaire, c'est-à-dire qu'on peut en imaginer autant que je l'ai dit dans chaque équation, mais parfois il n'existe aucune quantité qui corresponde à celle que nous imaginons. [ ... quelquefois seulement imaginaires c'est-à-dire que l'on peut toujours en imaginer autant que j'ai dit en chaque équation, mais qu'il n'y a quelquefois aucune quantité qui corresponde à celle qu'on imagine. ]

Une autre source de confusion résidait dans l'apparente incohérence de l'équation avec l'identité algébrique , valable pour des nombres réels non négatifs Leonhard Euler . Cette difficulté a finalement conduit à la convention d'utiliser le symbole spécial Éléments d'algèbre , il introduit ces nombres presque immédiatement et les utilise ensuite naturellement tout au long de l'ouvrage.

Au XVIIIe siècle, les nombres complexes se sont largement répandus, car on a constaté que la manipulation formelle des expressions complexes permettait de simplifier les calculs impliquant des fonctions trigonométriques. Par exemple, en 1730, Abraham de Moivre a remarqué que les identités reliant les fonctions trigonométriques d'un multiple entier d'un angle aux puissances des fonctions trigonométriques de cet angle pouvaient être réexprimées par la formule de de Moivre suivante :

La formule d'Euler relie la fonction exponentielle complexe d'un argument imaginaire, que l'on peut considérer comme décrivant un mouvement circulaire uniforme dans le plan complexe, aux fonctions cosinus et sinus, qui sont géométriquement ses projections sur les axes réel et imaginaire, respectivement.

En 1748, Euler est allé plus loin et a obtenu la formule d'Euler de l'analyse complexe :

en manipulant formellement des séries de puissances complexes et en observant que cette formule pouvait être utilisée pour réduire n'importe quelle identité trigonométrique à des identités exponentielles beaucoup plus simples.

L'idée d'un nombre complexe comme point dans le plan complexe a été décrite pour la première fois par le mathématicien dano - norvégien Caspar Wessel en 1799, bien qu'elle ait été anticipée dès 1685 dans le Traité d'algèbre de Wallis .

Les mémoires de Wessel parurent dans les Actes de l' Académie de Copenhague, mais passèrent largement inaperçus. En 1806, Jean-Robert Argand publia indépendamment une brochure sur les nombres complexes et en proposa une démonstration rigoureuse du théorème fondamental de l'algèbre . Carl Friedrich Gauss avait auparavant publié une démonstration essentiellement topologique de ce théorème en 1797, mais avait alors exprimé des doutes quant à « la véritable métaphysique de la racine carrée de −1 ». Ce n'est qu'en 1831 qu'il surmonta ces doutes et publia son traité sur les nombres complexes comme points du plan, établissant ainsi en grande partie la notation et la terminologie modernes :

Si l'on a par le passé abordé ce sujet sous un angle erroné et perçu, de ce fait, une certaine obscurité, cela est dû en grande partie à une terminologie maladroite. Si l'on n'avait pas qualifié +1, −1 d'unités positives, négatives ou imaginaires (voire impossibles), mais plutôt d'unités directes, inverses ou latérales, par exemple, il aurait été difficilement envisageable de parler d'une telle obscurité.

Au début du 19e siècle, d'autres mathématiciens ont découvert indépendamment la représentation géométrique des nombres complexes : Buée, Mourey , Français et son frère, Bellavitis .

Le mathématicien anglais GH Hardy a fait remarquer que Gauss était le premier mathématicien à utiliser les nombres complexes « d'une manière vraiment confiante et scientifique », bien que des mathématiciens tels que le Norvégien Niels Henrik Abel et Carl Gustav Jacob Jacobi les utilisaient nécessairement de manière routinière avant que Gauss ne publie son traité de 1831.

Augustin-Louis Cauchy et Bernhard Riemann ont porté ensemble les idées fondamentales de l'analyse complexe à un haut degré d'achèvement, à partir de 1825 environ dans le cas de Cauchy.

Les termes couramment utilisés dans la théorie sont principalement dus à ses fondateurs. Argand a appelé

Définitions abstraites et algébriques

Bien que les définitions concrètes ci-dessus, y compris l'addition et la multiplication, décrivent avec précision les nombres complexes, il existe d'autres approches équivalentes qui révèlent plus immédiatement la structure algébrique abstraite des nombres complexes.

Une définition des nombres complexes est qu'ils forment un corps noté corps réel engendré sur élément distingué noté . le corps de décomposition le corps lois d'addition et de multiplication sur les couples ordonnés ce modèle, l'élément correspond à l'élément quotient de l' anneau des polynômes

Puisque le corps modèles, ceux - ci ne constituent pas littéralement le même objet mathématique, mais ils sont tous isomorphes , à un isomorphisme d'anneaux près il existe un unique isomorphisme linéaire sur les nombres réels et tel que . De plus, l'isomorphisme est unique, pourvu qu'il préserve le sous-corps réel, à l'action du groupe de Galois conjugaison complexe) près.

Construction en tant qu'anneau quotient

Une approche possible consiste à utiliser des polynômes , c'est-à coefficients anneau commutatif , appelé anneau des polynômes (sur les réels). À chaque polynôme p , on peut associer le nombre complexe , c'est-à-dire la valeur obtenue en posant . Ceci définit une fonction

Cette fonction est surjective car tout nombre complexe peut être obtenu de la manière suivante : l'évaluation d'un polynôme linéaire en est . Cependant, l'évaluation du polynôme en est 0, car . Ce polynôme est irréductible , c'est-à-dire qu'il ne peut pas être écrit comme un produit de deux polynômes linéaires. Des résultats fondamentaux de l'algèbre abstraite impliquent alors que le noyau de l'application ci-dessus est un idéal engendré par ce polynôme, que le quotient par cet idéal est un corps et qu'il existe un isomorphisme .

entre l'anneau quotient et . Certains auteurs considèrent cela comme la définition de . Cette définition exprime comme une algèbre quadratique .

Le corps est algébriquement clos par le théorème fondamental de l'algèbre , et est donc la clôture algébrique de

Représentation matricielle des nombres complexes

Les nombres complexes des matrices sous-anneau de l'anneau des matrices

La représentation polaire des nombres complexes donne explicitement ces matrices comme des matrices de rotation normalisées . En particulier, le cas où r

Analyse complexe

analyse complexe et trouve de nombreuses applications pratiques en mathématiques appliquées , ainsi que dans d'autres branches des mathématiques. Souvent, les démonstrations les plus naturelles d'énoncés en analyse réelle , voire en théorie des nombres, font appel à des techniques d'analyse complexe (voir le théorème des nombres premiers pour un exemple).

Un graphe coloration du domaine de la fonction des pôlesà

Contrairement aux fonctions réelles, généralement représentées par des graphiques bidimensionnels, les fonctions complexes possèdent des graphiques à quatre dimensions et peuvent être utilement illustrées en coloriant un graphique tridimensionnel pour suggérer quatre dimensions, ou en animant la transformation dynamique du plan complexe par la fonction complexe.

Convergence

Illustration du comportement de la suite pour trois valeurs différentes de z (ayant toutes le même argument) : pour , la suite converge vers 0 (spirale intérieure), tandis qu'elle diverge pour (spirale extérieure).

Les notions de séries convergentes et de fonctions continues en analyse réelle ont des analogues naturels en analyse complexe. Une suite de nombres complexes converge si et seulement si ses parties réelle et imaginaire convergent. Ceci est équivalent à la définition (ε, δ) des limites , où la valeur absolue des nombres réels est remplacée par celle des nombres complexes. D'un point de vue plus abstrait, l'espace métrique Ω , muni de la métrique Ω est un espace métrique complet , qui inclut notamment l' inégalité triangulaire pour tous nombres complexes

Illustration de la fonction exponentielle complexe w = exp( z ) sur le plan complexe. Le plan de gauche représente un maillage carré de pas 1, où les trois nombres complexes 0, 1 et i sont mis en évidence. Les deux rectangles (magenta et vert) sont transformés en segments de cercle, tandis que les droites parallèles à l' axe des x sont transformées en rayons issus de l'origine mais ne la contenant pas. Les droites parallèles à l' axe des y sont transformées en cercles.

Comme en analyse réelle, cette notion de convergence est utilisée pour construire un certain nombre de fonctions élémentaires : la fonction exponentiellesérie infinie e<sup>z </sup>, dont on peut démontrer la convergence pour tout z : par exemple, e <sup>z</sup> est le nombre d'Euler . La formule d'Euler s'énonce : e<sup>z</sup> = e<sup>z</sup> pour tout nombre réel L'identité d'Euler en est un cas particulier.

logarithme complexe

La fonction exponentielle transforme les nombres complexes z différant d'un multiple de en un même nombre complexe w .

Pour tout nombre réel positif t , il existe un unique nombre réel x tel que . Ceci conduit à la définition du logarithme népérien comme fonction inverse de l'exponentielle. La situation est différente pour les nombres complexes, puisque

d'après l'équation fonctionnelle et l'identité d'Euler. Par exemple,

est appelé logarithme complexe de argument défini ci-dessus , et le logarithme népérien (réel) . Comme arg est une fonction multivoque , unique à un multiple de valeur principale de log est souvent obtenue en restreignant sa partie imaginaire à l' intervalle bijective prenant ses valeurs dans la bande (représentée dans l'illustration ci-dessus)

Si n'est pas un nombre réel non positif (un nombre positif ou non réel), la valeur principale du logarithme complexe résultant est obtenue avec fonction analytique en dehors des nombres réels négatifs, mais elle ne peut pas être prolongée en une fonction continue en tout nombre réel négatif , où la valeur principale est

Contrairement aux nombres réels, les nombres complexes ne satisfont généralement pas les identités de puissance et de logarithme non modifiées, en particulier lorsqu'ils sont considérés naïvement comme des fonctions univoques ; voir l'article sur les violations des identités de puissance et de logarithme . Par exemple, ils ne satisfont pas l' équation suivante : les deux membres de l'équation sont multivoques par définition de l'exponentiation complexe donnée ici, et les valeurs à gauche sont un sous-ensemble de celles à droite.

Sinus et cosinus complexes

Les séries définissant les fonctions trigonométriques réelles fonctions hyperboliques prolongement analytique .

La valeur d'une fonction trigonométrique ou hyperbolique d'un nombre complexe peut être exprimée en fonction de ces fonctions évaluées sur les nombres réels, via des formules d'addition d'angles. Pour

Lorsque ces expressions ne sont pas bien définies, parce qu'une fonction trigonométrique ou hyperbolique s'évalue à l'infini ou qu'il y a division par zéro, elles sont néanmoins correctes en tant que limites .

Fonctions holomorphes

Représentation graphique en roue chromatique de la fonction holomorphe ou complexe différentiable en un point si la limite

Caractérisations, généralisations et notions connexes

Caractérisation algébrique

Ce champ possède les trois propriétés suivantes :

On peut démontrer que tout corps possédant ces propriétés est isomorphe (en tant que corps) à . Par exemple, la clôture algébrique du corps des nombres séries de Puiseux complexes . Cependant, spécifier un isomorphisme requiert l' axiome du choix . Une autre conséquence de cette caractérisation algébrique est que contient de nombreux sous-corps propres qui sont isomorphes à .

Caractérisation en tant que champ topologique

La caractérisation précédente de ne décrit que ses aspects algébriques. Autrement dit, les propriétés de proximité et de continuité , importantes en analyse et en topologie , ne sont pas abordées. La description suivante de comme corps topologique (c'est-à-dire un corps muni d'une topologie , permettant la notion de convergence) prend en compte ces propriétés topologiques. contient un sous-ensemble

De plus, possède un automorphisme involutif non trivial

Tout corps base les ensembles

Les seuls corps topologiques localement compacts connexes sont et . Ceci donne une autre caractérisation de comme un corps topologique, car peut être distingué de parce que les nombres complexes non nuls sont connexes , alors que les nombres réels non nuls ne le sont pas.

Autres systèmes de numération

Systèmes de numérationnombres rationnels