# Zenbaki konplexu

* Zenbakiak matematikan
* Zenbaki multzoak
* $\mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} \subset \mathbb {C}$
* Zenbaki arruntak $\mathbb {N}$
* Zenbaki osoak $\mathbb {Z}$
* Zenbaki arrazionalak $\mathbb {Q}$
* Zenbaki irrazionalak
* Zenbaki errealak $\mathbb {R}$
* Zenbaki konplexuak $\mathbb {C}$
* Zenbaki aljebraikoak
* Zenbaki transzendenteak
* Konplexuen hedadurak
* Koaternioiak $\mathbb {H}$
* Oktonioiak $\mathbb {O}$
* Zenbaki hiperkonplexuak
* Bestelakoak
* Zenbaki kardinalak
* Zenbaki ordinalak
* Zenbaki lehenak
* π = 3.141592654…
* e = 2.718281828…
* i unitate irudikaria
* ∞ infinitua
* Φ = 1,6180339887...
* Zenbaki-sistemak
* Zenbaki-sistema hamartarra
* Zenbaki-sistema bitarra
* Zenbaki-sistema hamaseitarra
* Zenbaki-sistema zortzitarra
Zenbaki konplexuak zenbaki erreal pare batez osatutako zenbakiak dira, hurrengo eran idatz daitezkeenak:
$a+ib\,$, non i unitate irudikaria $i^{2}=-1$ propietatea betetzen duena den. $z=a+ib\,$ z zenbaki konplexuaren adierazpen binomikoa da. $a$ eta $b$ bi zenbaki erreal dira, a: z-ren zati erreala eta b: z-ren zati irudikaria direla diogu eta $a=Rez$, $y=Imz$ idatzi ohi da.
Adibidez, hau zenbaki konplexua da: $z={\sqrt {2}}+{\sqrt {3}}i$, non ${\sqrt {2}}$ parte erreala eta ${\sqrt {3}}$ parte irudikaria den.
Zenbaki errealen multzoa zenbaki konplexuen parte dira. Zenbaki konplexuen multzoa ${\displaystyle \mathbb {C} }$ ikurarren bidez adieraziko dugu, eta honela definitu:
${\displaystyle \mathbb {C} }=\{x+yi:x,y\in \mathbb {R} \}$
Zenbaki errealen hedapen gisa, horien eragiketak betetzen dituzte, eta beste propietate garrantzitsu batzuk ere betetzen dituzte. Adibidez, zenbaki errealetan ez bezala, polinomio orok ebazpena dauka zenbaki konplexuen multzoan.
Zenbaki konplexuak, ($\mathbb {C}$) notazioaren bidez izendatuak, ($\mathbb {R}$) zenbaki errealen luzapen bat dira, eta aljebraikoki itxitako gorputz bat osatzen dute. Bi zenbaki-multzoen artean, $\mathbb {R} \subset \mathbb {C}$ betetzen da, hau da: $\mathbb {R}$ hertsiki edukia dago $\mathbb {C}$-en. Zenbaki konplexuek polinomioen erro guztiak hartzen dituzte bere baitan, errealek ez bezala. Zenbaki konplexu oro zenbaki erreal baten eta zenbaki irudikari baten batura gisa adieraz daiteke (unitate irudikariaren multiplo erreala dela, $i$ letraz adierazten dena, edo forma polarrean).
Zenbaki konplexuak aljebraren lan-tresna dira, analisia, baita matematika puru eta aplikatuen adarrak analisi konplexu gisa ere, ekuazio diferentzialak; integralen kalkulua errazten du aerodinamikan, hidrodinamikan eta elektromagnetismoan, garrantzi handiko beste batzuen artean. Gainera, zenbaki konplexuak nonahi erabiltzen dira matematikan, fisikaren arlo askotan (mekanika kuantikoan batez ere) eta ingeniaritzan, bereziki elektrikoan, elektronikoan eta telekomunikazioetan uhin elektromagnetikoak eta korronte elektrikoa irudikatzeko duten erabilgarritasunagatik.
Matematikan, zenbaki horiek gorputz bat osatzen dute, eta, oro har, planoaren (plano konplexuaren) puntutzat hartzen dira. Gorputz horrek zenbaki errealak eta irudikari puruak dauzka.

## Historia

Hirugarren mailako ekuazio baten erroen emaitzaren formula orokorrak (funtzio trigonometrikorik erabili gabe) zenbaki negatibo baten erro karratuak ditu hiru erroak zenbaki errealak direnean, faktorizatuz zuzendu ezin den egoera bat erro arrazionalaren teoremaren laguntzaz polinomio kubikoa laburtezina bada (Kasus irredubilis deitutakoa). Enigma horrek eraman zuen Girolamo Cardano italiar matematikaria zenbaki konplexuak asmatzera 1545 inguruan, ulerkuntza oso oinarrizkoa bazen ere.
Azkenean, polinomio orokorren arazoari buruzko lanak aljebraren oinarrizko teoremara eraman zuen, zeinak erakusten duen zenbaki konplexuen eremuan emaitza bat dagoela lehen graduko edo goragoko polinomio ekuazio bakoitzarentzat. Zenbaki konplexuek aljebraikoki itxitako gorputz bat osatzen dute, non edozein ekuazio polinomikok erro bat duen.
Matematikari askok lagundu zuten zenbaki konplexuak garatzen. Zenbaki konplexuen erroak batu, kendu, biderkatu eta ateratzeko arauak Rafael Bombelli matematikari italiarrak garatu zituen, eta William Rowan Hamilton matematikari irlandarrak formalismo abstraktuagoa garatu zuen zenbaki konplexuetarako, abstrakzio hori koaternioien teoriara hedatuz.
Agian esan daiteke zenbaki negatiboaren erro karratuko erreferentzia iheskor goiztiarrena Heron Alexandriakoa I. mendeko matematikari greziarraren lanean agertzen dela. Bere Stereometrican, piramide-enbor baten bolumena, itxuraz akats baten ondorioz, kontuan hartzen du, ezinezkoa den soluzio batekin, Bere kalkuluetan, ${\sqrt {81-144}}=3i{\sqrt {7}}$ amaierara iritsi zen, nahiz eta ez zen kopuru negatiborik sortzen matematika helenikoan, eta Heronek balio positibo beragatik (${\sqrt {144-81}}=3{\sqrt {7}}$) ordeztu besterik ez zuen egin.
Zenbaki konplexuak berezko gaitzat aztertzeko interesa XVI. mendean sortu zen lehen aldiz, italiar matematikariek polinomio kubiko eta kuartikoen erroetarako irtenbide aljebraikoak aurkitu zituztenean (Ikus Niccolò Fontana Tartaglia eta Girolamo Cardano). Laster ohartu ziren formula horiek (soluzio errealetan bakarrik interesatuta bazeuden ere), batzuetan, zenbaki negatiboen erro karratuak manipulatzea eskatzen zutela; adibidez, Tartagliaren formulan, $x^{3}=px+q$ formako ekuazio kubiko baterako, $x^{3}=x$ ekuazioari honela ematen dio ebazpena:
    ${\tfrac {1}{\sqrt {3}}}\left(\left({\sqrt {-1}}\right)^{1/3}+\left({\sqrt {-1}}\right)^{-1/3}\right).$
A priori, horrek zentzurik ez duela dirudi. Hala ere, zenbaki konplexuekin egindako kalkulu formalek erakusten dute $z^{3}=i$ ekuazioak $-i$, ${\tfrac {\sqrt {3}}{2}}+{\tfrac {1}{2}}i$ eta ${\tfrac {-{\sqrt {3}}}{2}}+{\tfrac {1}{2}}i$ soluzioak dituela. Tartagliaren formula kubikoan ${{\sqrt {-1}}^{1/3}}$ jarriz eta sinplifikatuz, $0$, $1$ eta $-1$ lortzen dira $x^{3}-x=0$-ren emaitza gisa. Jakina, ekuazio hori begi hutsez ebatz daiteke, baina erakusten du ezen, erro errealak dituzten ekuazio kubikoak ebazteko formula orokorrak erabiltzen direnean, zenbaki konplexuak erabiltzea (casus irreductibilis) saihestezina dela ondorengo matematikariek zorrotz frogatu zuten moduan. Rafael Bombelli izan zen ekuazio kubikoen soluzio, itxuraz paradoxiko, horiei esplizituki ekin zien lehena, eta problema hauek ebatzi nahi dituen aritmetika konplexurako arauak garatu zituen.
Kopuru horietarako irudikari terminoa René Descartesek asmatu zuen 1637an, eta, hain zuzen ere, bere irudimenezko izaera azpimarratzen saiatu zen.
| « | [...] batzuetan imajinarioak bakarrik, hau da, beti imajina daiteke ekuazio bakoitzean esan dudan bezainbeste, baina batzuetan ez dago imajinatzen denarekin bat datorren kantitaterik. ([...] 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.) | » |
Beste nahasmendu-iturri bat izan zen ${\sqrt {-1}}^{2}={\sqrt {-1}}{\sqrt {-1}}=-1$ ekuazioak ${\sqrt {a}}{\sqrt {b}}={\sqrt {ab}}$ identitate aljebraikoarekin bateraezina zirudiela $a$ eta $b$ zenbaki erreal ez-negatiboetarako balio duena eta $a$ edo $b$ positiboren bat eta beste negatiboren bat duten zenbaki konplexuen kalkuluetan ere erabili zena. Identitate hori (eta horrekin lotutako ${\tfrac {1}{\sqrt {a}}}={\sqrt {\tfrac {1}{a}}}$ identitatea) oker erabiltzea, $a$ eta $b$ negatiboak direnean, Euler bera ere kezkatu zuen. Zailtasun horrek, azkenean, ${\sqrt {-1}}$ sinboloaren ordez ($i$) sinbolo berezia erabiltzeko konbentzioa ekarri zuen errore horretatik babesteko. Hala ere, Eulerrek naturaltzat jo zuen ikasleei zenbaki konplexuak gaur egun egiten dena baino askoz lehenago aurkeztea. Aljebrako elementuak izeneko oinarrizko aljebrari buruzko bere testuliburuan, ia berehala sartzen zituen zenbaki horiek, eta, gero, modu naturalean erabiltzen zituen.
XVIII. mendean, zenbaki konplexuek erabilera zabalagoa lortu zuten, bada, adierazpen konplexuen manipulazio formala funtzio trigonometrikoak eskatzen dituzten kalkuluak sinplifikatzeko erabil zitekeela nabaritu baitzen. Adibidez, 1730ean, Abraham de Moivrek ikusi zuen ezen angelu baten multiplo oso baten funtzio trigonometrikoak angelu horren funtzio trigonometrikoen potentziekin erlazionatzen dituzten identitate konplexuak berradieraz litezkeela, besterik gabe, haren izena daraman formula ezagun honen bidez, De Moivreren formula:
    $(\cos \theta +i\operatorname {sen} \theta )^{n}=\cos n\theta +i\operatorname {sen} n\theta .$
1748an, Leonhard Euler harago joan, eta analisi konplexuaren Eulerren formula lortu zuen
    ($\cos \theta +i\operatorname {sen} \theta =e^{i\theta }$)
potentzia konplexuen serieak formalki manipulatuz, eta formula hori edozein identitate trigonometriko askoz ere identitate esponentzial sinpleagoetara murrizteko erabil zitekeela ikusi zuen.
Zenbaki konplexu baten ideia, plano konplexuko puntu gisa, Caspar Wesselek deskribatu zuen lehen aldiz 1799an, nahiz eta, 1685ean, John Wallisen De Algebra tractatus lanean aurreratu.
Wesselen Memoriak Danimarkako Arte Ederren Errege Akademiaren aktetan agertu ziren, baina oharkabean pasa ziren. 1806an, Jean-Robert Argandek zenbaki konplexuei buruzko koadernotxo bat egin zuen bere aldetik, eta aljebraren oinarrizko teoremaren frogapen zehatza eman zuen. Lehenago, 1797an, Carl Friedrich Gauss-ek teoremaren froga, funtsean, topologiko bat argitaratu zuen, baina zalantzak adierazi zituen une horretan «−1-en erro karratuaren benetako metafisikari» buruz. 1831. urtera arte ez zituen zalantza horiek gainditu, eta zenbaki konplexuei buruzko tratatua planoko puntu gisa argitaratu zuen, hein handi batean, notazio eta terminologia modernoak ezarriz. XIX. mendearen hasieran, beste matematikari batzuek, modu independentean, zenbaki konplexuen irudikapen geometrikoa aurkitu zuten: Buée, Mourey, Warren, Français eta bere anaia, Bellavitis....
Godfrey Harold Hardy matematikari ingelesak adierazi zuenez, Gauss izan zen zenbaki konplexuak «modu benetan seguru eta zientifikoan» erabiltzen lehena, nahiz eta Niels Henrik Abel eta Carl Gustav Jakob Jacobi gisako matematikariek nahitaez errutinaz erabiltzen zituzten Gaussek 1831ko tratatua argitaratu aurretik.
| « | Gai hau orain arte okerreko ikuspuntutik kontsideratua izan bada eta, beraz, misterioz bildua eta iluntasunez inguratua, errua terminologia desegokiagatik da, hein handi batean. +1, -1 eta √−1-i unitate positibo, negatibo eta irudikaria (edo are okerrago, ezinezkoa) deitu ordez, unitate zuzen, alderantzizko eta alboko izenak eman izan bazitzaizkien nekez hedatuko zen halako iluntasunik - Gauss | » |
Augustin Louis Cauchy-k eta Bernhard Riemann-ek analisi konplexuari buruzko oinarrizko ideiak eman zituzten, amaiera-egoera handira igoz, Cauchyren kasuan 1825 inguruan hasita.
Teorian erabiltzen diren termino arruntak bere sortzaileei zor zaizkie batez ere. Argandek $\cos \phi +i\sin \phi$-ri norabide faktorea deitu zion, eta modulu, $r={\sqrt {a^{2}+b^{2}}}$-ri; Cauchy (1828) $\cos \phi +i\sin \phi$-ri "forma murriztua" deitu zion (l'expression réduite), eta, itxuraz, argumentu terminoa sartu zuen; Gaussek $i$ erabili zuen ${\sqrt {-1}}$-rako, « terminoa sartu zuen zenbaki konplexu » $a+bi$-rentzat, eta $a^{2}+b^{2}$-ri norma deitu zion. Direkzio koefizientea esamoldea, maiz $\cos \theta +i\operatorname {sen} \theta$-rako erabiltzen dena, Hankeli (1867) zor zaio, eta, moduluarentzat, balio absolutua Weierstrass-ri zor zaio.
Geroago, teoria orokorrari buruzko idazle klasikoen artean daude: Richard Dedekind, Otto Hölder, Felix Klein, Henri Poincaré, Hermann Amandus Schwarz, Karl Weierstrass eta beste asko.
Funtzio analitikoei edo aldagai konplexuei lotutako zenbaki konplexuek kalkuluaren kontzeptua plano konplexura hedatzea ahalbidetu dute. Kalkulu aldagai konplexuak hainbat propietate aipagarri ditu, matematika aplikatuan hainbat emaitza erabilgarria lortzeko erabil daitezkeen propietateak dituztenak.

## Definizioa eta adierazpenak

Zenbaki konplexuak zenbaki erreal bikote ordenatu izenez definitzen dira,
$z=(x,y)\,$
Lehenengo zenbakiari, zati erreala deitzen zaio, eta, bigarrenari, zati irudikaria. Zenbaki errealak zenbaki konplexuen azpimultzo dira; a zenbaki erreala (a,0) zenbaki konplexu moduan idatz daiteke. (x,0) erako zenbakiei, erreal puruak deritze, eta (0,y) erakoei, irudikari puru. Horrela, i unitate irudikaria (0,1) zenbakia da.
Beste adierazpen era bat binomikoa da, gehien erabiltzen denetarikoa. Era honetan, bi zenbaki erreal erabiltzen dira i unitate irudikariarekin zenbaki konplexu bat eratzeko:
$z=x+iy\,$

### Adierazpen polarra

(x,y) pareak bana-banako korrespondentzia bat du plano bateko puntuekin, plano konplexua deiturikoa. Hau da, ardatz horizontala zati erreal gisa hartuz eta bertikala zati irudikari gisa, bertako puntuak (x,y) bikoteagatik definituak daude. Horrek ohiko era polarrean idaztea ahalbidetzen du, $x=r\cos \theta$ eta $y=r\sin \theta$ baitira. z = (x,y) = x + iy idazteko beste era bat, beraz, polarra da:
$z=r(\cos \theta +i\sin \theta )\,$
r zenbaki konplexuaren modulua da, eta θ, argumentua:
${\begin{cases}r=|z|={\sqrt {x^{2}+y^{2}}}\\\theta =\arg(z)=\arctan {\frac {y}{x}}\end{cases}}$
Zenbakiaren argumentuak infinitu balio du, θ eta θ + 2nπ, n = 0, ±1, … balioek planoan angelu berdina adierazten baitute. Argumentuak balio nagusi bat dauka, Arg(z) gisa adierazten dena, eta (-π,π] artean dagoen arg(z)ren balio bakarra da. Horrela, arg(z) = Arg(z) + 2nπ, n = 0, ±1, … da.

### Adierazpen esponentziala

Eulerren formulak $e^{i\theta }=\cos \theta +i\sin \theta$ erlazioa definitzen du. Formula horrekin, adierazpen polarra alda daiteke era esponentzialera:
$z=re^{i\theta }\,$

## Zenbaki konplexuen arteko eragiketak
### Batuketa

Zenbaki konplexuen arteko batura zenbaki errealen arteko baturan dago oinarrituta. Era binomikoan adierazitako zenbaki konplexu bakoitzak bere zati erreala eta zati irudikaria du. Bi zenbaki konplexu batzeko, alde batetik, zati errealak batu behar ditugu, eta, bestetik, zati irudikariak. Hori egitean, beste zenbaki konplexu bat lortuko dugu.
Hau da, bi zenbaki konplexuren batuketa hurrengo eran definitzen da. Izan bitez $z_{1}=x_{1}+iy_{1}$ eta $z_{2}=x_{2}+iy_{2}$ bi zenbaki konplexu:
$z_{1}+z_{2}=(x_{1}+x_{2},y_{1}+y_{2})=(x_{1}+x_{2})+i(y_{1}+y_{2})\,$
Adibidez, , $z_{1}=3+2i$ eta $z_{2}=-8+4i$ zenbaki konplexuak batu nahi baditugu, hau lortuko dugu:
$z_{1}+z_{2}=(3+2i)+(-8+4i)=(3-8)+(2+4)i=-5+6i$

### Kenketa

Bi zenbaki konplexu kentzeko, alde batetik, zati errealak kenduko ditugu, eta, bestetik, zati irudikariak. Hau da, bi zenbaki konplexuren kenketa hurrengo eran definitzen da. Izan bitez $z_{1}=x_{1}+iy_{1}$ eta $z_{2}=x_{2}+iy_{2}$ bi zenbaki konplexu:
$z_{1}-z_{2}=(x_{1}+x_{2},y_{1}+y_{2})=(x_{1}-x_{2})+i(y_{1}-y_{2})$
Adibidez, , $z_{1}=3+2i$ eta $z_{2}=-8+4i$ zenbaki konplexuak kendu nahi baditugu, hau lortuko dugu:
$z_{1}-z_{2}=(3+2i)-(-8+4i)=(3-(-8))+(2-4)i=11-2i$

### Biderketa

Batuketan adierazitako zenbaki berak erabiliz, biderketaren definizioa hurrengoa da:
$z_{1}z_{2}=(x_{1},y_{1})(x_{2},y_{2})=(x_{1}x_{2}-y_{1}y_{2},x_{1}y_{2}+x_{2}y_{1})\,$
Definizio horretatik ikus daiteke i unitate irudikariaren karratua -1 zenbakia dela:
$i^{2}=ii=(0,1)(0,1)=(-1,0)=-1\,$,
baita (x,y) parearen eta era binomialaren arteko baliokidetasuna ere:
$z=x+iy=(x,0)+(0,1)(y,0)=(x,0)+(0,y)=(x,y)\,$
Zenbakiak era polarrean edo esponentzialean adierazita badaude, non $r_{1},\theta _{1},r_{2},\theta _{2}$ bien modulu eta argumentuak diren, biderketak hurrengo itxura hartzen du:
$z_{1}z_{2}=r_{1}r_{2}[\cos(\theta _{1}+\theta _{2})+i\sin(\theta _{1}+\theta _{2})]=r_{1}r_{2}e^{i(\theta _{1}+\theta _{2})}\,$
Era horrek erraztasunak ditu irudikapen grafikoaren orduan, biderkaduraren modulua biderkagaien moduluen biderkadura baita, eta argumentua argumentuen batura. Biderketarekiko elementu neutroa (1,0) zenbakia da, eta biderketak lege trukakorra, elkarkorra eta batuketarekiko banakorra betetzen ditu:
* $z_{1}z_{2}=z_{2}z_{1}\,$
* $z_{1}(z_{2}z_{3})=(z_{1}z_{2})z_{3}\,$
* $z_{1}(z_{2}+z_{3})=z_{1}z_{2}+z_{1}z_{3}\,$

## Propietateak

Batuketak eta kenketak honako propietate hauek betetzen dituzte:
* Bi zenbaki konplexu batzean — edo kentzean— , emaitza era zenbaki konplexua izango da.
* Elkartze - propietatea: 3 zenbaki konplexu batzeko —edo kentzeko—, ez da beharrezko zenbakika modu espezifiko batean taldekatzea. Izan ere, $\forall z_{1},z_{2},z_{3}\in {\displaystyle \mathbb {C} }:(z_{1}+z_{2})+z_{3}=z_{1}+(z_{2}+z_{3})$
* Trukatze-propietatea: Zenbakien ordenak ez du emaitza aldatzen. Hau da, $\forall z_{1},z_{2}\in {\displaystyle \mathbb {C} }:z_{1}+z_{2}=z_{2}+z_{1}$
* Batuketarekiko elementu neutroa: Existitzen da $0_{\displaystyle \mathbb {C} }=(0+0i)\in {\displaystyle \mathbb {C} }$ non $\forall z_{1}\in {\displaystyle \mathbb {C} }:z_{1}+0_{\displaystyle \mathbb {C} }=z_{1}$.
* Batuketarekiko alderantzizko zenbakia: ${\displaystyle \mathbb {C} }$-ko edozein elementurako existitzen da elementu alderantzizkoa gehiketarekiko (simetrikoa), hau da:$\forall z_{1}=(x+yi)\in {\displaystyle \mathbb {C} },\exists -z_{1}=(-x-yi)\in {\displaystyle \mathbb {C} }:z_{1}+(-z_{1})=0_{\displaystyle \mathbb {C} }$

## Modulua eta konjokatua

Izan bedi ${\displaystyle z=(x,y)=x+yi\in {\displaystyle \mathbb {C} }}$. $z$-ren konjokatua, ${\bar {z}}$ gisa idazten dena, honela definitzen da:
${\bar {z}}=x-yi$
Adibidez, ${\overline {3-i}}=3+i$ eta ${\overline {2+5i}}=2-5i$.
Konjokatuaren propietateak:
* ${\bar {\bar {z}}}=z$
* $z+{\bar {z}}=2Rez$, $z-{\bar {z}}=2iImz$
* ${\bar {z}}=z\iff Imz=0\iff z\in \mathbb {R}$
* ${\overline {z+w}}={\bar {z}}+{\bar {w}}$
* ${\overline {z\cdot w}}={\bar {z}}\cdot {\bar {w}}$
* ${\overline {(z/w)}}={\bar {z}}/{\bar {w}}$
* ${\overline {-z}}=-{\bar {z}}$
* $z\neq 0\Longrightarrow {\overline {z^{-1}}}=({\bar {z}})^{-1}$
$z=(x,y)=x+yi\in {\displaystyle \mathbb {C} }$ zenbaki konplexu baten modulua edo balio absolutua $|z|$ adierazten dena, $|z|={\sqrt {x^{2}+y^{2}}}$ da.
Moduluaren propietateak:
* $|z|=0\iff z=0\,$
* $z\cdot {\bar {z}}=|z|^{2}$, beraz, $z\neq 0\Longrightarrow z^{-1}={\bar {z}}/|z|^{2}$
* $|z|=|-z|=|{\bar {z}}|$
* $|Rez|\leq |z|$, $|Imz|\leq |z|$, $|z|\leq |Rez|+|Imz|$
* $|z\cdot w|=|z|\cdot |w|\,$
* $|z+w|\leq |z|+|w|\,$
* $||z|-|w||\leq |z-w|$
Distantzia d(z, w) = |z − w| gisa definituz, zenbaki konplexuen multzoa espazio metriko bilakatzen da, eta limite eta jarraitasuna azter daiteke.

## Zenbaki konplexuen planoa edo Argand diagrama

Plano konplexuaren kontzeptuak zenbaki konplexuak geometrikoki interpretatzeko aukera ematen du. Zenbaki konplexuen batuketa bektoreen batuketarekin erlaziona daiteke, eta zenbaki konplexuen biderketa, besterik gabe, koordenatu polarrak erabiliz adieraz daiteke, non produktuaren magnitudea terminoen magnitudeen emaitza den, eta ardatz errealetik zenbatutako angelua da terminoen angeluen batura, zeina ikus daitekeen aldi berean biratzen duen eta tamaina aldatzen duen bektorearen transformazio gisa.
Edozein konplexu $i$-z biderkatzea $90$°-ren errotazio bati dagokio, erlojuaren orratzen kontrako norabidean. Era berean, $(-1)\cdot (-1)=1$ balioa, geometrikoki, $90$°-ren bi errotazioren konbinazio gisa uler daiteke, $180$° ($i^{2}=-1$)-ren errotazio bat lortuz, zeinu-aldaketa bat eraginez itzuli bat osatzean.
Argand-en diagramak maiz erabiltzen dira plano konplexuan funtzio baten poloen eta zeroen posizioak erakusteko.
Analisi konplexua, funtzio konplexuen teoria, matematikaren arlo aberatsenetako bat da, eta matematikaren beste arlo askotan erabiltzen da, baita fisikan, elektronikan eta beste arlo askotan ere.

## Propietateak
### Zenbaki konplexuen multzoa

Zenbaki konplexuen multzoak gorputz bat definitzen duen axiomatikaren legeak betetzen ditu:
* Propietate trukakorra: $z+w=w+z;z\cdot w=w\cdot z$
* Propietate elkarkorra: $v+(w+z)=(v+w)+z;v(w\cdot z)=(v\cdot w)z$
* Propietate banakorra: $v(w+z)=v\cdot w+v\cdot z;(w+z)v=w\cdot v+z\cdot v$
* Identitateen existentzia: Batuketa-identitatea, zeroa: $z+0=0+z=z$; biderketa-identitatea, 1a: $z\cdot 1=1\cdot z=z$
* Alderantzikaketa: Zenbaki konplexu bakoitzak bere alderantzizko gehigarria du $-z$, hau da, $z+(-z)=0$, eta zero ez den zenbaki konplexu bakoitzak bere alderantzizko biderketa du $z^{-1}$, hau da, $z\cdot z^{-1}=1$.
$a$ zenbaki erreala $(a,0)$ konplexuarekin identifikatzen badugu, $\mathbb {R}$ zenbaki errealen multzoa $\mathbb {C}$-ren azpigorputz gisa agertzen da. Are gehiago, $\mathbb {C}$-k 2 dimentsioko bektore espazioa osatzen du errealen gainean. Konplexuak ezin dira ordenatu, esaterako, zenbaki errealak; beraz, $\mathbb {C}$ ezin da inola ere multzo ordenatu bihurtu.

### Bektore espazioa

$\mathbb {C}$ multzoa, zenbaki konplexuak gehituz eta zenbaki errealak eskalartzat hartuz, $\mathbb {C}$ bektore-espazio gisa defini daiteke. Hau da:
* $z,w$ zenbaki konplexuak badira, orduan, $z+w$ zenbaki konplexua da. Barne-eragiketa horrek batuketa-taldearen egitura bat definitzen du.
* $r$ zenbaki erreala bada eta $z$ zenbaki konplexua, orduan $r\cdot z$ ere, $z$-ren multiplo eskalar deitua, zenbaki konplexua da. Bi eragiketek bektore-espazio edo lineal baten axiomatikoa asetzen dute.

## Aplikazioak
### Matematiketan
#### Ekuazio polinomikoen ebazpenak

$p$ polinomioaren erroa edo zeroa $p(z)=0$ moduko $z$ konplexua da. Definizio horren emaitza garrantzitsua da $n$ mailako ekuazio polinomiko (aljebraiko) guztiek $n$ emaitza zehatza dutela zenbaki konplexuen multzoan; hau da, $p(z)=0$ berdintasuna betetzen duten $n$ $z$ konplexuak ditu, dagozkien multiplizitateekin zenbatuta. Honi aljebraren oinarrizko teorema deritzo, eta konplexuak aljebraikoki itxitako multzo direla frogatzen du; horregatik, matematikariek zenbaki konplexuak zenbaki errealak baino naturalagotzat jotzen dituzte ekuazioak ebazterakoan.
Hau ere betetzen da: $z$ koefiziente errealak dituen $p$ polinomio baten erroa bada, orduan, $z$-ren konplexu konjugatua ere $p$-ren erroa da.

#### Aldagai konplexua edo analisi konplexua

Aldagai konplexuko funtzioen azterketari analisi konplexu deritzo. Erabilera ugari ditu matematika aplikatuen tresna gisa, baita matematikaren beste adar batzuetan ere. Analisi konplexuak teoremak frogatzeko tresna garrantzitsu batzuk ematen ditu, baita zenbakien teorian ere; aldagai errealeko funtzio errealek, berriz, plano kartesiarra behar dute adieraziak izateko; aldagai konplexuko funtzioek lau dimentsioko espazioa behar dute, eta, horregatik, oso zaila da haiek adieraztea. Hiru dimentsioko espazio batean koloreztatutako ilustrazioak erabili ohi dira laugarren koordenatua iradokitzeko, edo 3Dko animazioak laurak irudikatzeko.

#### Ekuazio diferentzialak

Ekuazio diferentzialetan, koefiziente konstanteak dituzten ekuazio diferentzial linealen emaitzak aztertzen direnean, ohikoa da polinomio karakteristikoaren $\lambda \,$ erroak (oro har, konplexuak) aurkitzea lehenengo, Horri esker, sistemaren emaitza orokorra honela adieraz daiteke oinarrizko funtzioetan: $f(x)=e^{\lambda x}\,$.

#### Fraktalak

Objektu fraktal asko, Mandelbrot multzoa kasu, zenbaki konplexuen segida baten konbergentzia-propietateetatik lor daitezke. Konbergentzia-eremuaren azterketak erakusten du multzo horiek berez antzekoa den konplexutasun handia izan dezaketela.

### Fisika

Zenbaki konplexuak ingeniaritza elektronikoan eta beste eremu batzuetan erabiltzen dira seinale periodiko aldakorrak behar bezala deskribatzeko (ikus, Fourier-en analisia). $z=re^{i\phi }\,$ motako adierazpen batean, $r\,$ anplitudea dela pentsa dezakegu, eta $\phi \,$ maiztasun jakin bateko uhin sinusoidal baten fasea. Erresistentziak, kapazitateak eta induktoreak zuzentzen dituzten formula guztien tratamendua bateratu egin daiteke azken bietarako irudizko erresistentziak sartuz korronte bat edo korronte alternoko tentsio bat (eta, beraz, portaera sinusoidala duena) $f(t)=ze^{i\omega t}\,$ formako aldagai konplexuko funtzio baten parte erreal gisa irudikatzen dugunean, non $w$-k maiztasun angeluarra adierazten duen eta $z$ zenbaki konplexuak fasea eta anplitudea ematen (ikus, sare elektriko). Ingeniari elektrikoek eta fisikoek $j$ letra erabiltzen dute irudizko unitaterako, eta ez $i$ letra, korrontearen intentsitaterako erabili ohi dena.
Eremu konplexua ere garrantzitsua da mekanika kuantikoan, zeinaren azpiko matematikak ℂ-ren gaineko dimentsio infinituko Hilberten espazioak erabiltzen dituen.
Erlatibitate berezian eta erlatibitate orokorrean, espazio-denboraren metrikarako formula batzuk askoz sinpleagoak dira denbora irudizko aldagai gisa hartzen badugu.

## Oharrak

* ↑ Notazio modernoan, Tartagliaren soluzioa bi erro kubikoren baturaren kuboa hedatzean oinarritzen da: $\left({\sqrt[{3}]{u}}+{\sqrt[{3}]{v}}\right)^{3}=3{\sqrt[{3}]{uv}}\left({\sqrt[{3}]{u}}+{\sqrt[{3}]{v}}\right)+u+v$. $x={\sqrt[{3}]{u}}+{\sqrt[{3}]{v}}$-rekin, $p=3{\sqrt[{3}]{uv}}$, $q=u+v$, u eta v. Honela adieraz daitezke p eta q terminoetan $u=q/2+{\sqrt {(q/2)^{2}-(p/3)^{3}}}$ y $v=q/2-{\sqrt {(q/2)^{2}-(p/3)^{3}}}$, hurrenez hurren. Beraz, $x={\sqrt[{3}]{q/2+{\sqrt {(q/2)^{2}-(p/3)^{3}}}}}+{\sqrt[{3}]{q/2-{\sqrt {(q/2)^{2}-(p/3)^{3}}}}}$. Horrela $(q/2)^{2}-(p/3)^{3}$ negatibo denean (casus irreducibilis), bigarren erro kubikoa lehenengoaren konjugatu konplexutzat hartu behar da.

## Erreferentzia zerrenda

* ↑ J. V. Uspenski (profesor de la Universidad de Stanford): Teoría de ecuaciones, Limusa grupo Noriega editores. México DF. (1992) ISBN 968-18-2335-4.
* ↑ Kline, Morris. A history of mathematical thought, volume 1. , 253 or..
* ↑ Katz, Victor J.. (2004). A History of Mathematics, Brief Version. Addison-Wesley ISBN 978-0-321-16193-2..
* ↑ Nahin, Paul J.. (2007). An Imaginary Tale: The Story of √−1. Princeton University Press ISBN 978-0-691-12798-9..
* ↑ Descartes, René. (1954). La Géométrie | The Geometry of René Descartes with a facsimile of the first edition. Dover Publications ISBN 978-0-486-60068-0..
* ↑ Caparrini, Sandro. (2000). «On the Common Origin of Some of the Works on the Geometrical Interpretation of Complex Numbers» in Kim Williams Two Cultures. Birkhäuser, 139 or. ISBN 978-3-7643-7186-9.. Extract of page 139
* ↑ Hardy, G.H.; Wright, E.M.. (2000). An Introduction to the Theory of Numbers. OUP Oxford, 189 (fourth edition) or. ISBN 978-0-19-921986-5..
* ↑ Extracted quotation from "A Short History of Complex Numbers", Orlando Merino, University of Rhode Island (January, 2006) http://www.math.uri.edu/~merino/spring06/mth562/ShortHistoryComplexNumbers2006.pdf
* ↑ William R. Derrick: Variable compleja con aplicaciones. Grupo Editorial Iberoamérica, impreso en México ISBN 968-7270-35-7
* ↑ Derryck. Op. cit.
* ↑ Zamansky. Introducción al álgebra y análisis moderno
* ↑ Análisis matemático . Volumen I de Haaser, LaSalle y Sullivan (1977) Trillas, p.483

## Bibliografia

* Conway, John B.. (1986). Functions of One Complex Variable I. Springer ISBN 0-387-90328-3..
* I. M. Yaglom: Números complejos y sus aplicaciones a la geometría'. Editorial URSS Moscú (2009) ISBN 978-5-396-00077-3

## Kanpo estekak

* Datuak: Q11567
* Multimedia: Complex numbers / Q11567