29.08.2013 Views

Komplekse tall og komplekse funksjoner

Komplekse tall og komplekse funksjoner

Komplekse tall og komplekse funksjoner

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

KAPITTEL 1<br />

<strong>Komplekse</strong> <strong>tall</strong> <strong>og</strong> <strong>komplekse</strong> <strong>funksjoner</strong><br />

1. <strong>Komplekse</strong> <strong>tall</strong><br />

1.1. Definisjon av <strong>komplekse</strong> <strong>tall</strong>. De <strong>komplekse</strong> <strong>tall</strong>ene er en utvidelse av de reelle <strong>tall</strong>ene.<br />

Dvs at de <strong>komplekse</strong> <strong>tall</strong>ene er en <strong>tall</strong>mengde som inneholder de reelle <strong>tall</strong>ene. En mye brukt måte<br />

å presentere de <strong>komplekse</strong> <strong>tall</strong>ene er via kvadratroten av −1 <strong>og</strong> kalle denne for<br />

i = √ −1.<br />

Deretter danner man summer x + yi der x <strong>og</strong> y er reelle <strong>tall</strong>, <strong>og</strong> kaller dette for <strong>komplekse</strong> <strong>tall</strong>.<br />

Denne måten å introdusere <strong>komplekse</strong> <strong>tall</strong> har sine fordeler men <strong>og</strong>så begrensninger. Addisjon<br />

<strong>og</strong> multiplikasjon med <strong>komplekse</strong> <strong>tall</strong> på formen x + iy gjøres som for polynomer i variabelen i,<br />

bortsett fra at man erstatter alle forekomster av i 2 med -1. For eksempel har vi<br />

(3 + 2i) · (1 − 3i) = 3 · 1 + 3 · (−3i) + 2i · 1 + 2i · (−3i)<br />

Oppgave 1.1. Bruk måten over til å regne ut (1 + i)(1 + i).<br />

= 3 − 9i + 2i − 6i 2 = 3 − 9i + 2i − 6 · (−1) = 9 − 7i.<br />

En likeverdig måte å definere de <strong>komplekse</strong> <strong>tall</strong>ene på er som par av reelle <strong>tall</strong> sammen med<br />

en direkte definisjon av multiplikasjon <strong>og</strong> addisjon.<br />

Definisjon: <strong>Komplekse</strong> <strong>tall</strong> er ordnede par z = (x, y) av reelle <strong>tall</strong> x <strong>og</strong> y med<br />

følgende regnearter Addisjon: (+)<br />

Multiplikasjon: (·)<br />

z1 + z2 = (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2).<br />

z1 · z2 = z1z2 = (x1, y1)(x2, y2) = (x1x2 − y1y2, x1y2 + x2y1).<br />

Mengden av alle <strong>komplekse</strong> <strong>tall</strong> skrives C.<br />

To <strong>komplekse</strong> <strong>tall</strong> er lik hverandre:<br />

når<br />

(x1, y1) = (x2, y2)<br />

x1 = x2 <strong>og</strong> y1 = y2.<br />

Vi ønsker å kunne snakke om de to delene x <strong>og</strong> y som utgjør et kompleks <strong>tall</strong> z = (x, y). Derfor<br />

gir vi dem navn. Den første delen x kaller vi for Realdelen til z: Re z = x. Den andre kaller vi<br />

for Imaginærdelen til z: Im z = y. Delmengden av alle <strong>komplekse</strong> <strong>tall</strong> med imaginærdel lik 0 er<br />

identisk med de reelle <strong>tall</strong>ene. Vi identifiserer det reelle <strong>tall</strong>et x med det <strong>komplekse</strong> <strong>tall</strong>et (x, 0).<br />

På den måten er de reelle <strong>tall</strong>ene en undermengde av de <strong>komplekse</strong> <strong>tall</strong>ene.<br />

Setning 1.1. De <strong>komplekse</strong> <strong>tall</strong> C utvider de reelle <strong>tall</strong> R.<br />

R ∋ x = (x, 0) ∈ C<br />

R ∋ x + y = (x + y, 0) ∈ C<br />

R ∋ xy = (xy, 0) ∈ C<br />

Definisjon: Den imaginære enheten er det <strong>komplekse</strong> <strong>tall</strong>et<br />

i = (0, 1)<br />

Oppgave 1.2. Regn ut i 2 før du leser videre.<br />

2


Den imaginære enheten er et eksempel på et rent imaginært <strong>tall</strong>:<br />

Definisjon: Et kompleks <strong>tall</strong> på formen<br />

kalles for et rent imaginært <strong>tall</strong>.<br />

1. KOMPLEKSE TALL 3<br />

(0, y) = iy<br />

Vi minner om den alternative skrivemåte for <strong>komplekse</strong> <strong>tall</strong>:<br />

z = x + iy,<br />

der x = Re z <strong>og</strong> y = Re z. Legg merke til at (x, 0) tilsvarer det reelle <strong>tall</strong>et x = x + 0 i.<br />

1.2. Flere regneregler. Subtraksjon er intuitivt:<br />

mens divisjon er litt mer komplisert:<br />

z1 − z2 = (x1, y1) − (x2, y2) = (x1 − x2, y1 − y2),<br />

z1<br />

z2<br />

= (x1, y1)<br />

(x2, y2) =<br />

x1x2 + y1y2<br />

x 2 2 + y2 2<br />

, x2y1 − x1y2<br />

x2 2 + y2 <br />

.<br />

2<br />

Legg merke til at jeg ikke skriver disse som definisjoner. Det er på grunn av at de ikke er definisjoner.<br />

(Tallet z1 − z2 defineres som løsningen av likningen z + z2 = z1, mens z1/z2 defineres som<br />

løsningen av likningen z · z2 = z1).<br />

1.3. Komplekst <strong>tall</strong>plan.<br />

Definisjon: Et plan med kartesiske koordinater (x, y) der hvert punkt (x, y) representerer<br />

det <strong>komplekse</strong> <strong>tall</strong>et z = x + iy kalles for det <strong>komplekse</strong> <strong>tall</strong>plan. Førsteaksen<br />

(x-aksen) kalles for den reelle aksen <strong>og</strong> andreaksen (y-aksen) kalles for den imaginære<br />

aksen.<br />

0<br />

-3 -2 -1 0 1 2 3 4 5<br />

−3<br />

−2<br />

3<br />

Imaginær akse<br />

−1<br />

2<br />

1<br />

−1<br />

−2<br />

−3<br />

2<br />

1<br />

-1<br />

-2<br />

-3<br />

z = 2,3 + 1,6 i<br />

<br />

Reell akse<br />

1 2 3 4<br />

<br />

z = 2,3 − 1,6 i<br />

<br />

z = 1,3 − 2,4 i<br />

Figur 1. Det <strong>komplekse</strong> <strong>tall</strong>plan<br />

Det eneste som skiller det <strong>komplekse</strong> <strong>tall</strong>planet fra det kartesiske koordinatplanet er tolkningen<br />

av punkter som <strong>komplekse</strong> <strong>tall</strong>. For eksempel vil punktet (2,3 , 1,6 ), tilsvare det <strong>komplekse</strong> <strong>tall</strong>et<br />

z = 2,3 + 1,6 i. Vi leser av imaginærverdien til z ved å lese av “høyden” på y-aksen, i dette tilfellet<br />

leser vi av Im z = 1,6.


4 1. KOMPLEKSE TALL OG KOMPLEKSE FUNKSJONER<br />

1.4. Kompleks konjugert.<br />

Definisjon: Den konjugerte av et komplekst <strong>tall</strong> z = x + iy er definert ved ¯z =<br />

x + iy = x − iy.<br />

For eksempel har vi at<br />

2.3 + 1.6 i = 2.3 − 1.6 i.<br />

Se figur 1 <strong>og</strong> legg merke til at ¯z er z speilet om den reelle aksen. Begrepet konjugert finnes ikke<br />

for reelle <strong>tall</strong> <strong>og</strong> kan derfor virke litt uvant. Derfor er det nyttig å tenke geometrisk; (kompleks<br />

konjugering er speiling om den reelle asken). Det er nødvendig å kjenne til hvordan ¯z oppfører seg<br />

ved regning.<br />

Oppgave 1.3. a) La z = 1 + i. Multipliser z med ¯z. b) La z = 3 + 4i. Multipliser z med ¯z.<br />

Vi vil undersøke nærmere hvordan det er i det generelle tilfellet. Om vi multipliserer z med ¯z<br />

finner vi. z · ¯z = (x + iy)(x − iy) = x 2 − (iy) 2 = x 2 + y 2 . Legg merke tll to ting. For det første er<br />

z ¯z et reellt <strong>tall</strong>. For det andre er z ¯z lik kvadratet av avstanden fra origo (0, 0) til punktet (x, y).<br />

Vi har diverse formler<br />

(1)<br />

(2)<br />

(3)<br />

(4)<br />

(5)<br />

(6)<br />

(7)<br />

z · ¯z = x 2 + y 2<br />

1<br />

(z + ¯z) = x = Re z<br />

2<br />

1<br />

(z − ¯z) = y = Im z<br />

2i<br />

z1 + z2 = ¯z1 + ¯z2<br />

z1 − z2 = ¯z1 − ¯z2<br />

z1 · z2 = ¯z1 · ¯z2<br />

z1<br />

z2<br />

<br />

= ¯z1<br />

¯z2<br />

Oppgave 1.4. Verifiser noen eller alle formelene over.<br />

Ved hjelp av kompleks konjugert får vi en enklere måte å dividere et komplekst <strong>tall</strong> med et<br />

annet komplekst <strong>tall</strong>:<br />

Setning 1.2. Divisjonen z1/z2 kan utføres ved å gange teller <strong>og</strong> nevner i brøken med den<br />

kompleks konjugerte av telleren,<br />

z1<br />

z2<br />

= z1¯z2<br />

.<br />

z2¯z2<br />

2. Polar form<br />

Ved hjelp av polare koordinater r, θ istedet for kartesiske koordinater får man dypere innsikt<br />

i kompleks aritmetikk. Da spesielt multiplikasjon <strong>og</strong> divisjon. Sammenhengen mellom kartesiske<br />

koordinater (x, y) <strong>og</strong> polare koordinater (r, θ) er gitt ved<br />

x = r cosθ<br />

y = r sin θ<br />

Se <strong>og</strong>så figur 2 for å få en geometrisk forsåelse.<br />

(r ≥ 0).


−3<br />

−2<br />

−1<br />

2<br />

1<br />

−1<br />

−2<br />

−3<br />

2. POLAR FORM 5<br />

Imaginær akse<br />

r<br />

θ<br />

z = r(cos θ + i sinθ)<br />

<br />

Reell akse<br />

1 2 3 4<br />

Figur 2. Sammenhengen mellom polare koordinater (r, θ) <strong>og</strong> kartesiske koordinater<br />

(x, y).<br />

Definisjon: Med et komplekst <strong>tall</strong> på polar form mener vi<br />

z = r(cos θ + i sin θ).<br />

Størrelsen r kalles for absoluttverdien til z:<br />

Med argumentet til z mener vi<br />

|z| = r (= x 2 + y 2 = √ z ¯z).<br />

arg z = θ = arctan y<br />

x .<br />

Verdien av argz er ikke entydig. Dette er fordi (r, θ) <strong>og</strong> (r, θ + 2π) representerer det samme<br />

<strong>komplekse</strong> <strong>tall</strong>et. Om vi skriver Arg z mener vi hovedverdien til argumentet som har den<br />

egenskapen at −π < Arg z ≤ π. Arg z er entydig. Polar form kalles <strong>og</strong>så for trigonometrisk<br />

form.<br />

Absoluttverdien til <strong>komplekse</strong> <strong>tall</strong> tilfredstiller følgende ulikhet:<br />

Setning (triangelulikheten)<br />

|z1 + z2| ≤ |z1| + |z2|<br />

2.1. Multiplikasjon <strong>og</strong> divisjon i polar form. Grunnen til å innføre polare koordinater<br />

for <strong>komplekse</strong> <strong>tall</strong> er at formelene for multiplikasjon <strong>og</strong> divisjon av <strong>komplekse</strong> <strong>tall</strong> uttrykt i polare<br />

koordinater har en mye enlere form enn i kartesiske koordinater.<br />

z1 · z2 = r1 · r2 [ cos(θ1 + θ2) + i sin(θ1 + θ2)]<br />

Den geometriske tolkningen av multiplikasjon med z = r(cos θ + i sinθ) er rotasjon med vinkelen<br />

θ mot klokken etterfulgt av en skalering med r. Tilsvarende geometrisk tolkning av divisjon med<br />

z = r(cos θ +i sinθ) blir da en rotasjon med vinkelen θ med klokken etterfulgt av en skalering 1/r:<br />

z1<br />

z2<br />

= r1<br />

[ cos(θ1 − θ2) + i sin(θ1 − θ2)]<br />

r2<br />

2.2. Potens <strong>og</strong> røtter av <strong>komplekse</strong> <strong>tall</strong>. I polare koordinater blir formelen for potens<br />

særdeles enkel:<br />

z n = r n (cosnθ + i sinnθ ).


6 1. KOMPLEKSE TALL OG KOMPLEKSE FUNKSJONER<br />

z = z1 z2<br />

<br />

z2 <br />

θ1<br />

θ<br />

Figur 3. Multiplikasjon i polare koordinater.<br />

I spesialtilfellet (r = 1) får vi de Moivres formel:<br />

θ2<br />

θ1<br />

z1<br />

(cosθ + i sinθ ) n = cosnθ + i sinnθ.<br />

Oppgave 1.5. Bruk de movres formel til å vise at sin 2θ = 2 cosθ sin θ. Finn <strong>og</strong>så en formel<br />

for cos3θ uttrykt med cosθ <strong>og</strong> sinθ.<br />

Det viser seg at <strong>og</strong>så røtter av <strong>komplekse</strong> <strong>tall</strong> z = r(cos θ + i sin θ) blir enklere å regne ut i<br />

polare koordinater enn i kartesieke. Tredjeroten av 8 er 2 fordi 2 3 = 8. På samme måte defineres nteroten<br />

av et reelt <strong>tall</strong> a som det positive <strong>tall</strong>et b = n√ a som tilfredstiller b n = a. For et <strong>komplekse</strong>t<br />

<strong>tall</strong> a er det likt, bortsett fra at vi ikke kan kreve at b er et positivt <strong>tall</strong>. Faktisk har positive<br />

<strong>og</strong> negative <strong>tall</strong> ikke mening for alle <strong>komplekse</strong> <strong>tall</strong>. En n-te rot av et komplekst <strong>tall</strong> z er et<br />

komplekst <strong>tall</strong> b som tilfredstiller b n = z. Da er n-te røttene til z er gitt ved<br />

n√ z = n √ r<br />

<br />

<br />

θ + 2kπ θ + 2kπ<br />

cos + i sin , k = 0, . . .,n − 1<br />

n n<br />

Merk at n√ z ikke er entydig; z har n forskjellige n-te røtter. Hovedverdien til n√ z fås ved å bruke<br />

θ = Arg z <strong>og</strong> k = 0 i formelen over. Det viser seg at alle røttene til z kan uttykkes ved hjelp av<br />

hovedverdien til <strong>og</strong> n-te røttene av enheten som er gitt ved<br />

n√ 1 = cos 2kπ<br />

n<br />

+ i sin 2kπ<br />

n<br />

k = 0, . . .,n − 1.<br />

La ω0, . . . , ωn−1 være alle n n-terøttene av enheten <strong>og</strong> la α være hovedverdien til n√ z. Da er<br />

n√ z = αωk, k = 0, 1, . . .,n − 1.<br />

3. <strong>Komplekse</strong> <strong>funksjoner</strong><br />

Det er altid knyttet en definisjonsmengde til en funksjon. Enten er definisjonsmengden underforstått<br />

som for funksjonen f(x) = x 2 . Da mener vi at funksjonen er definert for alle reelle <strong>tall</strong><br />

x. Ellers vil definisjonsmengden ofte være et intervall. For <strong>komplekse</strong> <strong>funksjoner</strong> trenger vi <strong>og</strong>så<br />

ofte å presisere definisjonsområdet. Før vi begynner med <strong>komplekse</strong> <strong>funksjoner</strong> trenger vi følgende<br />

definisjoner. En sirkulær disk kalles ofte for en ρ-omegn. En disk med hull i midten kalles for en<br />

anulus. Ellers deler vi opp planet i øvre <strong>og</strong> nedre halvplan <strong>og</strong> høyre <strong>og</strong> venstre halvplan.


3. KOMPLEKSE FUNKSJONER 7<br />

Definisjon: Mer presist har vi definisjonene<br />

• En (åpen) ρ-omegn om z0 er mengden av alle de z som oppfyller<br />

|z − z0| < ρ.<br />

• En (åpen) anulus med senter i z0 er mengden av alle de z som oppfyller<br />

ρ1 < |z − z0| < ρ2.<br />

• Det (åpne) øvre halvplanet er mengden av alle de z som oppfyller<br />

y > 0.<br />

• Det (åpne) nedre halvplanet er mengden av alle de z som oppfyller<br />

y < 0.<br />

• Det (åpne) høyre halvplanet er mengden av alle de z som oppfyller<br />

x > 0.<br />

• Det (åpne) venstre halvplanet er mengden av alle de z som oppfyller<br />

x < 0.<br />

På den reelle <strong>tall</strong>-linjen skiller vi mellom åpne <strong>og</strong> lukkede intervaller. De åpne intervallene<br />

er de som ikke inneholder endepunktene sine. For mengder i planet kan vi på samme måte si at<br />

åpne mengder er de mengdene som ikke inneholder randpunktene sine. Siden dette er en noe difus<br />

beskrivelse av åpne mengder, (vi har for eksempel ikke sagt noe om hva en rand er,) kan vi bruke<br />

følgene definisjon i stedet.<br />

Definisjon: (Åpen mengde M):<br />

En mengde der hvert punkt z ∈ M har en ρ-omegn som er inneholdt i M.<br />

Det å forstå denne definisjonen er kanskje ikke så enkelt men kan forklares ved følgende tegning.<br />

Vi har tegnet en stor sirkelskive. De stiplede linjene indikerer at randen ikke er med. Rundt hvert<br />

eneste punkt inni den store sirkelen kan vi kan slå en sirkel som ligger helt inni den store sirkelen.<br />

Rundt et randpunkt er det ikke mulig å slå en slik sirkel. Noe av denne sirkelen er nødt til å ligge<br />

utenfor den store sirkelen.<br />

Figur 4. Åpen mengde.<br />

Definisjon: Komplementet til M i C er mengden M c av alle punkter (<strong>tall</strong>) i C som<br />

ikke er i M.<br />

For eksempel er komplementet til det åpne øvre halvplanet unionen av det åpne nedre halvplanet<br />

<strong>og</strong> den reelle aksen. En viktig egenskap for komplementet<br />

Definisjon: (Lukket mengde)<br />

En mengde M er lukket hvis dens komplement er åpen.


8 1. KOMPLEKSE TALL OG KOMPLEKSE FUNKSJONER<br />

Definisjon: (Sammenhengende mengde) Jeg vil ikke gi noen definisjon av en sammenhengende<br />

mengde, men overlate det til intuisjonen.<br />

Definisjon: En åpen sammenhengende mengde kalles for et område.<br />

Definisjon: En kompleks funksjon er en regel:<br />

f : z ↦→ f(z)<br />

∈ ∈<br />

f : Definisjonsmengden → verdimengden<br />

som til hvert <strong>tall</strong> i et gitt område, som kalles definisjonsmengden, tilordner et entydig<br />

<strong>tall</strong>.<br />

Mengden av alle f(x), der x gjennomløper alle <strong>tall</strong> i definisjonsmengden til f kalles for<br />

verdimengden.<br />

Definisjon: (Grense av en kompleks funksjon) Grensen av f(z) når z nærmer seg z0<br />

er definert som det komlekse <strong>tall</strong>et L hvis det for hvert reelt <strong>tall</strong> ǫ > 0 finnes et reelt<br />

<strong>tall</strong> δ > 0 slik at |f(z) − L| < δ når |z − z0| < ǫ.<br />

Notasjon (Limes symbolet). Vi skriver<br />

lim f(z) = L<br />

z→z0<br />

Definisjon: Vi sier at f(z) kontinuerlig i z = z0 hvis<br />

lim f(z) = f(z0)<br />

z→z0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!