Komplekst tall

Et komplekst tall ${\displaystyle a+bi}$ fremstilt som en vektor i det komplekse planet.

Et komplekst tall er i matematikk et tall på formen ${\displaystyle a+bi}$, der ${\displaystyle a}$ og ${\displaystyle b}$ er reelle tall, og ${\displaystyle i}$ er den imaginære enheten med egenskapen ${\displaystyle i^{2}=-1}$.

Mengden av komplekse tall skrives vanligvis C eller ${\displaystyle \mathbb {C} }$. Denne mengden inneholder de reelle tallene R (eller ${\displaystyle \mathbb {R} }$) som en delmengde, og innføringen av komplekse tall gir en naturlig utvidelse av begrepet reelle tall.

Et komplekst tall ${\displaystyle z=a+bi}$ er definert ved en realdel ${\displaystyle a={\text{Re}}\ z}$ og en imaginærdel ${\displaystyle b={\text{Im}}\ z}$. Hvis ${\displaystyle a=0}$, sies tallet å være «rent imaginært».

Mange assosierer komplekse tall med løsningen av andregradsligninger, som for eksempel ligningen ${\displaystyle x^{2}=-1}$. Anvendelsesområdet er imidlertid langt videre enn dette, og komplekse tall spiller en viktig rolle i mange grener av matematikk. Studiet av komplekse funksjoner, det vil si funksjoner der definisjonsmengden og/eller verdimengden ligger i C, kalles kompleks analyse.

Formelt blir komplekse tall definert basert på definisjon av operasjonene addisjon og multiplikasjon for tallmengden.

Formell definisjon av komplekse tall

Formelt er et komplekst tall ${\displaystyle z}$ innført som et ordnet par av reelle tall ${\displaystyle (a,b)}$, definert med to operasjoner addisjon og multiplikasjon:

${\displaystyle {\begin{aligned}(a,b)+(c,d)&=(a+c,b+d)\\(a,b)(c,d)&=(ac-bd,ad+bc)\\\end{aligned}}}$

Mengden av komplekse tall utgjør en kropp.

Reelle tall er en delmengde av de komplekse tallene, og et reelt tall kan skrives ${\displaystyle r=(r,0)}$. Addisjon og multiplikasjon, slik de opptrer i definisjonen av komplekse tall, reduserer seg til de velkjente operasjonene for reelle tall. Ordningsrelasjoner i ${\displaystyle R}$ lar seg imidlertid ikke generalisere til ${\displaystyle C}$, slik at ${\displaystyle z_{1}<z_{2}}$ har mening bare for reelle verdier av ${\displaystyle z_{1}}$ og ${\displaystyle z_{2}}$.

Den imaginære enheten ${\displaystyle i}$ er definert ved ${\displaystyle i=(0,1)}$. Fra definisjonen av multiplikasjonsoperasjonen følger det at ${\displaystyle i^{2}=(0,1)(0,1)=(-1,0)=-1}$.

Grunnleggende definisjoner og egenskaper

Additiv og multiplikativ invers

Til ethvert komplekst tall ${\displaystyle z=a+bi}$ eksisterer det en additiv invers ${\displaystyle (-z)=(-a-bi)}$, slik at ${\displaystyle z+(-z)=0}$. Den additive inversen er brukt til å definere subtraksjon.

Til ethvert komplekst tall ${\displaystyle z=a+bi}$ ulik null eksisterer det også en multiplikativ invers ${\displaystyle z^{-1}}$, slik at ${\displaystyle z\cdot z^{-1}=1}$:

${\displaystyle z^{-1}={\frac {a}{a^{2}+b^{2}}}-i{\frac {b}{a^{2}+b^{2}}}}$

Absoluttverdi

Absoluttverdien eller modulus til et komplekst tall ${\displaystyle z=a+bi}$ er definert ved

${\displaystyle |z|={\sqrt {a^{2}+b^{2}}}\,}$

For denne gjelder trekantulikheten:

${\displaystyle |z_{1}+z_{2}|\leq |z_{1}|+|z_{2}|\,}$

Kompleks konjungert

Den kompleks konjungerte til et komplekst tall ${\displaystyle z=a+bi}$ er definert ved

${\displaystyle {\bar {z}}=a-bi}$

Fra definisjonen av multiplikasjon følger det at

${\displaystyle z{\bar {z}}=|z|^{2}}$

Geometrisk tolkning

Det komplekse tallet ${\displaystyle z=(a,b)=a+bi}$ vist i det komplekse planet.

Ethvert komplekst tall ${\displaystyle (a,b)=a+bi}$ kan representeres ved et punkt i et todimensjonalt, kartesisk koordinatsystem, som vist i figuren. Den horisontale og den vertikale aksen kalles nå henholdsvis den reelle og den imaginære aksen.

Den geometriske tolkningen av et komplekst tall ble introdusert av den norske matematikeren Caspar Wessel, men fremstillingsmåten kalles likevel ofte for et «Argand-diagram» etter den sveitsiske matematikeren Jean Robert Argand. Alternativt brukes også navnet et «gaussisk plan» etter Carl Friedrich Gauss eller ganske enkelt det komplekse planet.

Siden den kompleks konjungerte til tallet ${\displaystyle z=a+bi}$ er definert ved ${\displaystyle {\bar {z}}=a-bi}$ representerer den kompleks konjungerte en refleksjon om den horisontale aksen i det komplekse planet.

Rotasjonsvinkelen ${\displaystyle \phi }$ som vektoren ${\displaystyle (a,b)}$ danner med den reelle aksen kalles argumentet til det komplekse tallet, og fra figuren følger de trigonometriske relasjonene

${\displaystyle {\begin{aligned}a&=|z|\cos \phi \\b&=|z|\sin \phi \\\end{aligned}}}$

Polarform

For et gitt kompleks tall ${\displaystyle z=a+bi}$ definerer absoluttverdien ${\displaystyle |z|}$ og argumentet ${\displaystyle \phi }$ et sett av polarkoordinater, og ${\displaystyle |z|}$ kan skrives på trigonometrisk form som

${\displaystyle z=|z|(\cos \phi +i\sin \phi )}$

Alternativt kan man bruke en eksponential form

${\displaystyle z=|z|e^{i\phi }}$

basert på Eulers formel for sammenhengen mellom eksponentialfunksjonen og trigonometriske funksjoner,

${\displaystyle e^{i\phi }=\cos \phi +i\sin \phi }$

Eksponentialformen er praktisk for analyse, siden de vanlige eksponentialreglene gjelder. For multiplikasjon av to komplekse tall gjelder for eksempel at

${\displaystyle r_{1}e^{i\phi }\cdot r_{2}e^{i\theta }=r_{1}r_{2}e^{i(\phi +\theta )}}$

Geometrisk kan multiplikasjon av et komplekst tall med et annet ${\displaystyle re^{i\phi }}$, tolkes som en forlenging med faktoren ${\displaystyle r}$, samt en rotasjon med vinkelen ${\displaystyle \phi }$.

For divisjon av to komplekse tall gjelder

${\displaystyle {\frac {r_{1}e^{i\phi }}{r_{2}e^{i\theta }}}={\frac {r_{1}}{r_{2}}}e^{i(\phi -\theta )}}$

Komplekse vektorrom

Et vektorrom er lukket under operasjonene

${\displaystyle \mathbf {w} =\mathbf {x} +\mathbf {y} }$

${\displaystyle \mathbf {u} =\alpha \mathbf {v} }$

der ${\displaystyle \mathbf {x} ,\mathbf {y} }$ er vektorer og ${\displaystyle \alpha }$ en skalar. Et vektorrom sies å være komplekst dersom man lar skalarene være komplekse tall.^[1]

Rommet ${\displaystyle \mathbb {C} ^{n}}$

Vektorrommet ${\displaystyle \mathbb {C} ^{n}}$ består av alle ordnede n-tupler av komplekse tall. Hver vektor kan skrives på formen

${\displaystyle [c_{1},c_{2},...,c_{n}]}$

der ${\displaystyle c_{1},..,c_{n}}$ er komplekse tall.^[2] Prikkproduktet (det vanlige indreproduktet) i dette rommet er gitt ved

${\displaystyle z\cdot w=z{\overline {w}}\,}$

som igjen generelt også er et komplekst tall. Dersom vektorene består av komponenter der imaginær-delen er lik 0 overalt, slik at de også ligger i ${\displaystyle \mathbb {R} ^{n}}$, er de to prikkproduktene sammenfallende. Videre har prikkproduktet alle de samme egenskapene som definert for prikkproduktet i ${\displaystyle \mathbb {R} ^{n}}$, men i tillegg holder også at

${\displaystyle z\cdot w={\overline {w\cdot z}}}$

hvilket man kan vise direkte ved regning.^[3] ${\displaystyle \mathbb {C} ^{n}}$ sammen med det tilordnede indreproduktet danner et indreproduktrom.

Se også

• Caspar Wessel

Referanser

1. Lindstrøm: Spaces: An Introduction to Real Analysis, side 133
2. Larson: Elementary linear algebra, side 455.
3. Larson: Elementary linear algebra, side 485.

Litteratur

• Adams, Robert (2003). Calculus : a complete course (på english). Toronto, Ont. Addison-Wesley. ISBN 0-201-79131-5. 
• Clapham, C.; Nicholson, J. (2009). The Concise Oxford Dictionary of Mathematics. Oxford Quick Reference. OUP Oxford. ISBN 978-0-19-157976-9. Besøkt 30. august 2016. 
• Larson, R. (2015). Elementary Linear Algebra (7 utg.). Brooks/Cole, Cengage learning. ISBN 978-1-133-11087-3. 
• Lindstrøm, T.L. (2006). Kalkulus (på norsk). Universitetsforlaget. ISBN 978-82-15-00977-3. Besøkt 30. august 2016. 
• Lindstrøm, T.L. (2018). Spaces: An Introduction to Real Analysis. Pure and Applied Undergraduate Texts. American Mathematical Society. ISBN 978-1-470-44062-6. 
• Lindström, S.B. (2013). Matematisk ordbok för högskolan: engelsk-svensk, svensk-engelsk: (på svensk). Stefan B. Lindström. ISBN 978-91-981287-0-3. Besøkt 30. august 2016. 

Eksterne lenker

• (en) Eric W. Weisstein, Complex Number i MathWorld.