Kontinuitet och gränsvärden

Relevanta dokument
Modul 1 Mål och Sammanfattning

Institutionen för Matematik. SF1625 Envariabelanalys. Lars Filipsson. Modul 1

Anteckningar för kursen "Analys i en Variabel"

Kapitel 7. Kontinuitet. 7.1 Definitioner

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

Några viktiga satser om deriverbara funktioner.

Mer om kontinuitet. Kapitel K. K.1 Övre och undre gräns

SF1625 Envariabelanalys

ENDIMENSIONELL ANALYS B1 FÖRELÄSNING XII. Föreläsning XII. Mikael P. Sundqvist

Modul 1: Funktioner, Gränsvärde, Kontinuitet

Modul 1: Funktioner, Gränsvärde, Kontinuitet

MER TOPOLOGI OCH KONVERGENS

Bisektionsalgoritmen. Kapitel Kvadratroten ur 2

Mer om reella tal och kontinuitet

2 (6) k 0 2 (7) n 1 F k F n. k F k F n F k F n F n 1 2 (8)

LMA515 Matematik, del B Sammanställning av lärmål

gränsvärde existerar, vilket förefaller vara en naturlig definition (jämför med de generaliserade integralerna). I exemplet ovan ser vi att 3 = 3 n n

Lipschitz-kontinuitet

FULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE

ALA-a Innehåll RÄKNEÖVNING VECKA 7. 1 Lite teori Kapitel Kapitel Kapitel Kapitel 14...

LMA222a. Fredrik Lindgren. 17 februari 2014

Analys 360 En webbaserad analyskurs Analysens grunder. Om de reella talen. MatematikCentrum LTH

Kursens Kortfrågor med Svar SF1602 Di. Int.

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4

1 Att läsa matematik.

Notera att ovanstående definition kräver att funktionen är definierad i punkten x=a.

Metriska rum, R och p-adiska tal

TATA42: Föreläsning 5 Serier ( generaliserade summor )

Här finns en definition av gränsvärde (enligt Adams Calculus) av en funktion då x går mot ett tal a ( s.k. epsilon delta definition).

x f (x) dx 1/8. Kan likhet gälla i sistnämnda relation. (Torgny Lindvall.) f är en kontinuerlig funktion på 1 x sådan att lim a

Lösningsförslag till tentan i 5B1115 Matematik 1 för B, BIO, E, IT, K, M, ME, Media och T,

DERIVATA. = lim. x n 2 h h n. 2

Kontinuerliga funktioner. Ytterligare en ekvivalent formulering av supremumaxiomet

FÖRELÄSNING 1 ANALYS MN1 DISTANS HT06

Instuderingsfrågor för Endimensionell analys kurs B1

Funktionsserier och potensserier. som gränsvärdet av partialsummorna s n (x) =

Instuderingsfrågor för Endimensionell analys kurs B1 2011

Matematiska uppgifter

Fixpunktsiteration. Kapitel Fixpunktsekvation. 1. f(x) = x = g(x).

Matematisk kommunikation för Π Problemsamling

Om konvergens av serier

Enklare matematiska uppgifter

TMV225+TMV176 Inledande matematik M, TD Sammanfattning. Läsanvisningar inför tentamen.

Föreläsning 1. X kallas för funktionens definitionsmängd, mängden av funktionens alla värden kallas funktionens värdemängd.

Analys 360 En webbaserad analyskurs Analysens grunder. L Hôspitals regel. MatematikCentrum LTH

Induktion, mängder och bevis för Introduktionskursen på I

x +y +z = 2 2x +y = 3 y +2z = 1 x = 1 + t y = 1 2t z = t 3x 2 + 3y 2 y = 0 y = x2 y 2.

1 Att läsa matematik.

Exempel. Komplexkonjugerade rotpar

BEGREPPSMÄSSIGA PROBLEM

x = a är nödvändigt villkor för deriverbarhet i denna x = a } { f är högerkontinuerlig i punkten x = a } { f är vänsterkontinuerlig i punkten

Uppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna 11-14, 16/11-28/

Matematiska strukturer - Satser

ÖVN 6 - DIFFERENTIALEKVATIONER OCH TRANSFORMMETODER - SF Nyckelord och innehåll. a n (x x 0 ) n.

Tentamen i Envariabelanalys 2

Upphämtningskurs i matematik

Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A

Envariabelanalys: Vera Koponen. Envariabelanalys, vt Uppsala Universitet. Vera Koponen Föreläsning 5-6

Instuderingsfrågor i Funktionsteori

SF1625 Envariabelanalys Lösningsförslag till tentamen

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

2 Matematisk grammatik

Maclaurins och Taylors formler. Standardutvecklingar (fortsättning), entydighet, numerisk beräkning av vissa uttryck, beräkning

M0038M Differentialkalkyl, Lekt 17, H15

Om kontinuerliga funktioner

MAA7 Derivatan. 2. Funktionens egenskaper. 2.1 Repetition av grundbegerepp

Övningshäfte 3: Funktioner och relationer

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Tisdag v. 2. Speglingar, translationer och skalningar

Serier. egentligen är ett gränsvärde, inte en summa: s n, där s n =

Matematisk kommunikation för Π Problemsamling

Lösandet av ekvationer utgör ett centralt område inom matematiken, kanske främst den tillämpade.

1 Konvexa optimeringsproblem grundläggande egenskaper

lim 1 x 2 lim lim x x2 = lim

Oändligtdimensionella vektorrum

S n = (b) Med hjälp av deluppgift (a) beräkna S n. 1 x < 2x 1? i i. och

Lösningsförslag, preliminär version 0.1, 23 januari 2018

8. Euklidiska rum 94 8 EUKLIDISKA RUM

Institutionen för Matematik, KTH Lösningar till tentamen i Analys i en variabel för I och K (SF1644) 1/ e x h. (sin x) 2 1 cos x.

A1:an Repetition. Philip Larsson. 6 april Kapitel 1. Grundläggande begrepp och terminologi

Chalmers tekniska högskola Datum: kl Telefonvakt: Jonny Lindström MVE475 Inledande Matematisk Analys

Uppsala Universitet Matematiska Institutionen Bo Styf

Begreppen "mängd" och "element" är grundläggande begrepp i matematiken.

Läsanvisningar till kapitel 6 i Naturlig matematik. Avsnitt 6.6 ingår inte.

Kap Inversfunktion, arcusfunktioner.

Modul 2 Mål och Sammanfattning

Om ordinaltal och kardinaltal

Definitionsmängd, urbild, domän

Moment Viktiga exempel Övningsuppgifter Ö , Ö1.25, Ö1.55, Ö1.59

SF1625 Envariabelanalys

SKOLORNAS MATEMATIKTÄVLING Svenska Matematikersamfundet. Lösningsförslag till naltävlingen den 20 november 2004

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

Andragradspolynom Några vektorrum P 2

Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är tal Z och α 0.

Kapitel 5: Primitiva funktioner

Lösningsförslag envariabelanalys

POLYNOM OCH POLYNOMEKVATIONER

TATA42: Föreläsning 6 Potensserier

5B1134 Matematik och modeller

SAMMANFATTNING TATA41 ENVARIABELANALYS 1

Transkript:

Kapitel Kontinuitet och gränsvärden.1 Introduktion till kontinuerliga funktioner Kapitlet börjar med allmänna definitioner. Därefter utvidgar vi successivt familjen av kontinuerliga funktioner, genom specifika exempel: c kontinuerlig x kontinuerlig cx kontinuerlig x kontinuerlig. x n kontinuerlig, n N ax n + bx n 1 + + c (polynom) kontinuerliga rationella funktioner är kontinuerliga sammansättningar av kontinuerliga funktioner är kontinuerliga (senare: potensserier, funktionsserier) trigonometriska funktioner, exponentialfunktioner, integralfunktioner... Allmän teori behövs i synnerhet då funktionen är given implicit, som resultat av en algoritm,.... x Algoritm f(x) Trigonometriska olikheter, en informell härledning Nedan härleds olikheter som utnyttjas flitigt i fortsättningen. Härledningen är informell eftersom vi inte definierat de trigonometriska funktionerna exakt. (1) tan x > x > sin x, 0 < x < π 17

() 1 cos x > x sin x > 1, 0 < x < π (3) cos x < sin x x < 1, 0 < x < π faktiskt:x 0 -olikheten: sin x sin x 0 x x 0 d.v.s. sinus är kontinuerlig i x 0 x 0 i (3) ger: (4) lim x 0 sin x x = 1 p.g.a. att cosinus är kontinuerlig i 0.. Definitioner; gränsvärdets entydighet Definition.1 Låt f vara en reell funktion, d.v.s. D f R, V f R. f är kontinuerlig i x 0 D f om ε > 0 δ > 0 : x x 0 < δ x D f = f(x) f(x 0 ) < ε. f är kontinuerlig på mängden A om den är kontinuerlig för varje x A. f är kontinuerlig betyder att den är kontinuerlig i varje x 0 D f. Om f inte är kontinuerlig i x 0 sägs den vara diskontinuerlig i x 0. f är diskontinuerlig i x 0 ε > 0 δ > 0 x D f : x x 0 < δ f(x) f(x 0 ) ε Definition. För varje δ > 0 kallas intervallet (x 0 δ, x 0 + δ) := {x x x 0 < δ} en omgivning (eller öppen omgivning) av x 0 R, (x 0 δ, x 0 + δ) \ {x 0 } är en punkterad omgivning av x 0. 18

Definition.3 Låt f vara en reell funktion och x 0 R sådan att varje omgivning av x 0 innehåller någon punkt ur D f. (x 0 är s.k. höljepunkt till D f ) f sägs ha gränsvärdet A då x x 0 om ε > 0 δ > 0 : 0 < x x 0 < δ x D f = f(x) A < ε (.1) Om ett dylikt A ej finns säger vi att f saknar gränsvärde då x x 0. Definition.4 Talföljden {x n } n=1 sägs ha gränsvärdet A då n om ε > 0 N : n > N = x n A < ε (C) Kontinuitetsaxiomet Låt M vara en talmängd som uppfyller (A), (M) och (O) (se kap. 1). M uppfyller (C) kontinuitetsaxiomet om vi dessutom har: Låt {x n } n=1 vara en talföljd med (i) x n+1 x n, n = 1,,... (ickeavtagande) (ii) K : x n K, n = 1,,... (begränsad). Då existerar ett tal L M så att lim n x n = L och x n L K för alla n=1,,... Man kan visa att (A), (M), (O) och (C) väsentligen karakteriserar de reella talen, d.v.s. om vi har en mängd M som uppfyller (A) (C) så är den entydigt bestämd (sånär som på såkallad isomorfi). Sats.1 (Gränsvärdets entydighet) Gränsvärdet är entydigt (om det existerar), kan med andra ord inte finnas B A för vilket (.1) också gäller. (Samma slutsats för Definition.4) Bevis Antag att (.1) gäller för B A. Sätt 0 < ε < A B. Då finns δ > 0 så att och ett δ > 0 med Tag nu ett x D f sådant att 0 < x x 0 < δ x D f = f(x) A < ε 0 < x x 0 < δ x D f = f(x) B < ε. 0 < x x 0 < min(δ, δ ). det 19

För detta x har vi Emellertid ger olikheten f(x) A, f(x) B < A B. A B = f(x) A (f(x) B) f(x) A + f(x) B < A B. Alltså: A B < A B, vilket är en motsägelse. Detta bevisar att gränsvärdet är entydigt. Sats. Låt f vara en reellvärd funktion definierad i en (punkterad) omgivning av x 0. Då gäller att lim x x0 f(x) = L om och endast om lim n f(x n ) = L för alla talföljder {x n } n=1, x n D f, lim n x n = x 0 och x n x 0, n N. Bevis ( = ) Tag ett ε > 0. Då existerar ett δ > 0 så att 0 < x x 0 < δ = f(x) L < ε. Låt nu {x n } n=1, vara en talföljd med n N : x n D f, x n x 0 och lim x n = x 0. n Enligt definition på gränsvärde för talföljder existerar ett N sådant att n > N = 0 < x n x 0 < δ. (Förutsatt att x n x 0 ) (N beror av δ som i sin tur beror av ε.) Härav fås nu n > N = f(x n ) L < ε, alltså ε > 0 N så att n > N = f(x n ) L < ε lim n f(x n) = L. ( = ) Vi antar nu att lim n f(x n ) = L för alla talföljder {x n } n=1 med x n D f, x n x 0, lim n x n = x 0. Antag också att lim x x0 f(x) inte existerar eller är L. I så fall ε > 0 δ > 0 x : 0 < x x 0 < δ x D f f(x) L ε. Speciellt kan vi välja δ = 1 n och kalla punkten x n: ε > 0 n x n : 0 < x n x 0 < 1 n x 0 D f f(x n ) L ε. Av detta ser vi att lim n x n = x 0, x n D f, x n x 0 men lim n f(x n ) L, en motsägelse. 0

.3 Satser om kontinuitet och gränsvärden Sats.3 a) Låt c vara konstant. Funktionen f definierad genom x R: f(x) = c är kontinuerlig på R. b) Den identiska funktionen ι definierad genom x R: ι(x) = x är kontinuerlig på R. c) Funktionen x 1 x, x 0, är kontinuerlig på R \ {0}. Bevis a) Tag ett x 0 R och ett godtyckligt ε > 0. Sätt δ = 1 (t.ex.). Det gäller trivialt att x x 0 < 1 = f(x) f(x 0 ) < ε ty f(x) f(x 0 ) är ju c c = 0. I själva verket kan δ > 0 väljas godtyckligt. b) Tag ett x 0 R och ett godtyckligt ε > 0. Sätt δ = ε. Om nu x x 0 < δ så ι(x) ι(x 0 ) < ε eftersom ι(x) ι(x 0 ) = x x 0 < δ = ε. c) Låt f(x) = 1 x, x 0. Låt ε > 0 vara godtyckligt. Studerar f(x) f(x 0 ) = 1 x 1 = x 0 x x 0 x x 0 xx 0 x 0. Den sista olikheten gäller om x x 0 < x 0 ty då är x > x 0 ( -olikheten). Alltså x x 0 < x 0 ε, x x 0 < x 0 = f(x) f(x 0 ) < ε. Nu har vi att f är kontinuerlig i x 0 0; här kan vi alltså välja δ = min( x 0 ε, x 0 ). Exempel Konkret kan vi fråga oss hur nära x 0 = 1 vi måste välja x för att skillnaden mellan f(x) = 1 x och f(x 0) = skall bli mindre än 0,001. Svaret är att 1 8 0,001 räcker. Men om x 0 = 1 10 är vårt svar 1 00 0,001. Sats.4 Antag att funktionerna f och g är definierade i en punkterad omgivning av x 0 R och låt δ > 0 vara sådant att {x 0 < x x 0 < δ } D f D g = {x 0 < x x 0 < δ }. Antag att lim x x0 f(x) = A och lim x x0 g(x) = B. Då gäller lim (f(x) + g(x)) = A + B 1

Korollarium.1 Om f och g är kontinuerliga i x 0 så är också f + g kontinuerlig i x 0. Bevis (av satsen). Låt ε > 0 och δ 1 > 0, δ > 0, båda mindre än δ med egenskapen att (i) 0 < x x 0 < δ 1 = f(x) A < ε och (ii) 0 < x x 0 < δ = g(x) B < ε Betrakta nu (iii) ( f(x) + g(x) ) (A + B) -olikhet f(x) A + g(x) B Om alltså δ definieras som min(δ 1, δ ) har vi 0 < x x 0 < δ = f(x) + g(x) (A + B) < ε + ε = ε. Alltså: lim x x0 (f(x) + g(x)) = A + B Sats.5 Under antagandena i Sats.4 gäller också Bevis Betrakta först lim f(x)g(x) = AB. (i) f(x)g(x) AB = f(x)g(x) Ag(x) + Ag(x) AB f(x) A g(x) + A g(x) B. Låt ε > 0 vara givet. Välj 0 < δ 1 < δ så att (ii) 0 < x x 0 < δ 1 = g(x) B < min( ε A, 1 ). Vi antar här att A 0. Om A = 0 väljer vi till exempel δ 1 så att g(x) B < 1. Vi ser att också om A = 0. Nu väljs i sin tur 0 < δ < δ så att g(x) g(x) B + B < 1 + B (iii) 0 < x x 0 < δ = f(x) A < ε (1+ B ) (också ε (1+ B ) om A=0)

Sammanställer vi (i), (ii) och (iii) fås i fallet A 0, med δ = min(δ 1, δ ) : 0 < x x 0 < δ = f(x)g(x) AB (i) < g(x) För A = 0 har vi: Härav ε (1 + B ) + A ε (ii), (iii) A ε < (1 + B ) (1 + B ) + ε = ε f(x)g(x) (i) ε < g(x) f(x) A < (1 + B ) (1 + B ) < ε. lim f(x)g(x) = AB. Korollarium. följer omedelbart. Om f och g är kontinuerliga i x 0 då är även f g kontinuerlig i x 0. Bevis följer omedelbart från Sats.5 eftersom A = f(x 0 ) och B = g(x 0 ). Anmärkning Resultaten i Sats.4 och Sats.5 kan generaliseras till summan respektive produkten av ett ändligt antal funktioner. Sats.6 Låt f och g vara funktioner med D f = D g = R och definiera x R : h(x) = (f g)(x) := f(g(x)) (sammansatta funktionen av f och g, sammansättningen eller kompositionen av f och g). Antag att lim x x0 g(x) = L och att f är kontinuerlig i L. Då fås: Bevis Enligt antagandet gäller: lim h(x) = f(l) ( = lim x L f(x) ) (i) ε > 0 δ : (ii) ε > 0 δ : 0 < x x 0 < δ = g(x) L < ε x L < δ = f(x) f(l) < ε Låt ε > 0 vara godtyckligt. Välj δ 1 så att (ii) gäller. Välj därefter δ så att (i) gäller för ε = δ 1, alltså 0 < x x 0 < δ = g(x) L < δ 1. Nu fås 0 < x x 0 < δ = g(x) L < δ 1 = f(g(x)) f(l) < ε. 3

Sats.7 Om funktionerna f och g uppfyller antagandena i Sats.4 och om lim x x0 f(x) = A 0 så gäller g(x) lim f(x) = B A 1 Bevis f(x) = h(f(x)) där h(x) = 1 x, x 0. Från Sats.6 (modifierad en aning då D h = R {0}) fås att lim x x0 h(f(x)) = h(a) = 1 A. Sats.5 kan tillämpas g(x) f(x) = g(x)h(f(x)) lim g(x)h(f(x)) = B 1 A = B A Anmärkning I allmänhet är D f g = {x x D g, g(x) D f }. I den modifierade versionen av Sats.6 bör också D f g innehålla en punkterad omgivning av x 0 och D f en omgivning av L. Sats.8 Låt f och g vara funktioner med D f = D g = R. Antag att lim x x0 g(x) = L och att det existerar en punkterad omgivning av x 0 : S δ := {x 0 < x x 0 < δ } sådan att g(x) L för x S δ. Om lim x L f(x) = A existerar gäller att Bevis Genom att välja δ < δ kan vi skriva lim (f g)(x) = A ε > 0 0 < δ < δ : 0 < x x 0 < δ = 0 < g(x) L < ε och satsen kan nu bevisas på samma sätt som Sats.6. Anmärkning Antagandet i Sats.8 gäller speciellt då g växer (eller avtar) monotont mot L. Sats.9 Låt f och g vara funktioner sådana att det finns en punkterad omgivning av x 0 S δ := {x 0 < x x 0 < δ } 4

som är en delmängd av D f och D g och inom vilken f och g sammanfaller, det vill säga: x S δ : f(x) = g(x). Antag att lim x x0 f(x) = A. Då är också lim g(x) = A Bevis Låt ε > 0 vara givet och bestäm δ 1 så att 0 < x x 0 < δ 1 x D f = f(x) A < ε Eftersom f(x) = g(x) för x S δ fås för δ = min(δ 1, δ ) 0 < x x 0 < δ = g(x) A = f(x) A < ε, med andra ord lim g(x) = A. Sats.10 Låt S δ vara som i Sats.9 utom att f(x) < g(x) då x S δ. Om lim x x0 f(x) = A och lim x x0 g(x) = B så gäller A B. Bevis Antag att A > B. Vi visar att detta leder till en motsägelse. Sätt ε = A B. Bestäm sedan δ 1 och δ så att 0 < x x 0 < δ 1 x D f = f(x) A < ε 0 < x x 0 < δ x D g = f(x) B < ε Välj nu δ = min(δ 1, δ, δ ). För 0 < x x 0 < δ har vi B ε < g(x) < B + ε, A ε < f(x) < A + ε Men B + ε = A ε (ε är ju A B ) varför g(x) < f(x) Detta motsäger antagandet att f(x) g(x) på S δ. A B. Anmärkning Även om f(x) < g(x) på S δ kan vi inte dra slutsatsen A < B. Till exempel funktionerna x och x 4 på (0, 1) är olika men har samma gränsvärden i ändpunkterna. 5

Sats.11 Låt f, g och h vara funktioner för vilka gäller f(x) g(x) h(x) i en punkterad omgivning S δ av x 0. Antag att S δ D f D g D h. Om lim x x0 f(x) = lim x x0 h(x) = A så är också lim x x0 = A. Bevis Låt ε > 0 vara godtyckligt och välj δ 1 och δ så att 0 < x x 0 < δ 1, x D f = f(x) A < ε 0 < x x 0 < δ x D h = h(x) A < ε Sätt δ = min(δ, δ 1, δ ). Då gäller 0 < x x 0 < δ = A ε < f(x) g(x) h(x) < A + ε det vill säga g(x) A < ε. lim g(x) = A.4 Höger- och vänstergränsvärden och -kontinuitet Definition.5 Funktionen f sägs vara höger- (vänster-) kontinuerlig i x 0 D f om ε > 0 δ > 0 : 0 x x 0 < δ, x D f = f(x) f(x 0 ) < ε. ( ε > 0 δ > 0 : 0 x 0 x < δ, x D f = f(x) f(x 0 ) < ε.) Definition.6 Funktionen f sägs ha höger- (vänster-) gränsvärdet A då x x 0 om ε > 0 δ > 0 : 0 < x x 0 < δ, x D f = f(x) A < ε. ( ε > 0 δ > 0 : 0 < x 0 x < δ, x D f = f(x) A < ε.) Beteckning: eller lim f(x) = A x x + 0 lim f(x) = A x x 0 ( lim f(x) = A) x x 0 ( lim x x 0 f(x) = A) 6

Sats.1 Antag att δ > 0 : (x 0 δ, x 0 ) D f och (x 0, x 0 + δ) D f. Då gäller lim f(x) = A lim f(x) = lim f(x) = A + Korollarium.3 f kontinuerlig i x 0 f är både höger- och vänsterkontinuerlig i x 0. Bevis ( = ) Tag ett ε > 0. Enligt antagandet gäller att det finns ett δ > 0 med 0 < x x 0 < δ, x D f = f(x) A < ε. Av detta följer dels och dels 0 < x x 0 < δ, x D f = f(x) A < ε 0 < x 0 x < δ, x D f = f(x) A < ε. Härav kan vi dra slutsatsen att både lim x x0 + f(x) = A och lim x x0 f(x) = A. ( = ) Om lim x x0 + f(x) = A och lim x x0 f(x) = A så finns, för givet ε > 0, δ 1 > 0, och δ > 0 så att Med δ = min(δ 1, δ ) har vi då 0 < x x 0 < δ 1, x D f = f(x) A < ε 0 < x 0 x < δ, x D f = f(x) A < ε. 0 < x x 0 < δ, x D f = f(x) A < ε. lim f(x) = A Vi kan bevisa varianter av de övriga värdessatserna i avsnitt.3 för höger- och vänstergränsvärden. Bevisa en sådan som övning!.5 Gränsvärden i oändligheten; oändliga gränsvärden Definition.7 Funktionen f sägs ha gränsvärdet A då x (x går mot oändligheten), betecknas lim x f(x) = A, om ε > 0 N : x > N, x D f = f(x) A < ε. f sägs ha gränsvärdet A då x + (respektive x ) om ε > 0 N : x > N, x D f = f(x) A < ε. (respektive ε > 0 N : x < N, x D f = f(x) A < ε.) 7

Satserna.4.11 (avsnitt.3) gäller efter uppenbara modifikationer också då x. Anmärkning (, N) (N, + ) kallas ibland en omgivning av oändligheten. Följande sats är en motsvarighet till Sats.6: Sats.13 Låt f och g vara två funktioner med D f = D g = R. Antag att lim x g(x) = L och att f är kontinuerlig i punkten L. Då lim f(g(x)) = f(l) x Definition.8 Funktionen f sägs ha gränsvärdet, betecknas lim x x0 f(x) =, då x x 0, om K > 0 δ > 0 : 0 < x x 0 < δ, x D f = f(x) > K. Funktionen f sägs ha gränsvärdet + ( ) om K > 0 δ > 0 : 0 < x x 0 < δ, x D f = f(x) > K. ( K > 0 δ > 0 : 0 < x x 0 < δ, x D f = f(x) < K.) Anmärkning Vi kan enkelt modifiera ovanstående definitioner till att gälla höger- och vänstergränsvärden då x x 0. Anmärkning Man visar lätt att om lim x x0 f(x) = så finns det ej något A så att lim x x0 f(x) = A. (Jämför beviset till Sats.1) Reglerna för addition, multiplikation av gränsvärden, gränsvärdet av en sammansatt funktion etc. måste modifieras. Exempelvis har vi för f g: Sats.14 Antag att lim x f(x) = A och lim x a g(x) = och att D f gäller lim(f g)(x) = lim f(g(x)) = A. x a x a = D g = R. Då 8

Bevis Tag ett ε > 0. Då finns ett K så att x > K = f(x) A < ε. Å andra sidan existerar för detta K ett δ > 0 så att x a < δ = g(x) > K. Av detta följer x a < δ = f(g(x)) A < ε. Sats.8 motsvaras av: Sats.15 Antag att lim x a f(x) = och lim x g(x) = a och att D f = D g = R. Antag vidare att det finns ett M så att g(x) a för varje x < M. Då gäller lim f(g(x)) = x Anmärkning Villkoret g(x) a, x < M är viktigt. Utan detta behöver ej gränsvärdet existera överhuvudtaget. Sats.7 motsvaras av Sats.16 Antag att f och g uppfyller (i) D f D g {x 0 < x x 0 < δ } = S δ för något δ > 0, (ii) f(x) 0 för varje x S δ. Antag vidare att lim x x0 g(x) = B 0 och lim x x0 f(x) = 0. Då gäller g(x) lim f(x) =. Obs! B 0 nödvändigt: sätt f(x) = g(x) = x, x 0 = 0. Det gäller också att lim f(x)g(x) = lim (f(x) + g(x)) = om lim x x0 g(x) = B 0 och lim x x0 f(x) =. (B får ej heller vara, + eller ).6 Gränsvärdessatser för talföljder Jämför definition.4 i avsnitt.. 9

Definition.9 {x n } sägs ha gränsvärdet (+ respektive ) då n om M > 0 K : n > K = x n > M ( M > 0 K : n > K = x n > M resp. M > 0 K : n > K = x n < M) Genom att till tillämpliga delar utnyttja bevisen för satserna gällande gränsvärden för funktioner kan vi bevisa följande: Sats.17 Låt {x n } och {y n } vara två talföljder så att A := lim n x n och B := lim n y n existerar. Då gäller (i) det finns ett M så att: n N : x n < M d.v.s. {x n } är begränsad, (ii) om x n y n för varje n, så är A B, (iii) om x n = y n för varje n så är A = B, (iv) lim n (ax n + by n ) = aa + bb (där a och b är godtyckliga reella konstanter) (v) lim n x n y n = AB (vi) Om A 0 så lim n y n xn = B A. Bevis Här endast (i) och (vi). (i) Tag ε = 1. Då existerar ett N så att Villkoret i (i) uppfylls om M väljs = n > N = x n A < 1. max{ x 1, x,..., x n, A + 1, A 1 }. (vi) Välj ett ε > 0 godtyckligt. Undersöker y n B x n A = y n B + B B x n x n x n A y n B + B 1 x n 1 x n A = y n B + B x n A x n x n A N 1 : n > N 1 = x n A < A För dessa x n gäller också x n > A och, från (.), y n A y n B + B A x n A x n (.) 30

Om vi nu väljer N och N 3 så att och så ger n > N n > N 3 n > max(n 1, N, N 3 ) = = y n B < ε A 4 = x n A < ε A 4 B y n B x n A < ε A A 4 + A ε B 4 B A = ε. Sats.18 Låt {x n }, {y n }, {z n } vara talföljder som uppfyller (i) x n y n z n för varje n (ii) lim n x n = lim n z n =: A Då är I sats. bevisades bl.a. detta resultat: lim y n = A. n Sats.19 Antag att funktionen f är kontinuerlig i punkten a och att talföljden {x n } konvergerar mot a då n. Då gäller lim f(x n) = f(a). n Anmärkning Flytta in limes lim f(x n) = f( lim x n) n n Terminologi Om {x n } har gränsvärdet A R då n sägs talföljden {x n } vara konvergent. En talföljd som inte är konvergent är divergent. OBS! Om A =, +, så är följden divergent!.7 Tillägg till kapitel Existensen av kvadratroten av två Vi börjar med att konstatera att inget rationellt tal har kvadraten. Detta visste redan de gamla grekerna och det var i själva verket ytterst bekymmersamt för deras matematiska tänkande. 31

Påstående För alla r Q är r. (Hippasos 1 ) Bevis Vi visar att antagandet r Q, r =, leder till en motsägelse. Låt alltså r = m n Q där m, n är positiva heltal. Vi väljer m och n så att bråket är slutförkortat, dvs m och n saknar gemensamma faktorer > 1. Om nu ( m n ) =, är m = n. m är ett jämnt tal ty är faktor i m. Härav följer att m är jämnt (ty om m vore udda skulle m vara udda). m är alltså av formen p, där p är ett heltal. Vi har 4p = n och alltså p = n. På samma sätt som ovan inses att n är jämnt. m och n är båda jämna, dvs innehåller en faktor. Detta är en motsägelse ty vi antog från början att m och n saknar gemensamma faktorer. Nedan konstrueras en talföljd pn q n som har ett gränsvärde L R med egenskapen L =. Låt q n = 10 n och p n = max{p N p < 10 n } = max{p N ( p q n ) < } Vi ser att p 1 = 14, p = 141,... och pn q n p n+1 q n+1, n = 1,,... ty 10 p n p n+1. Dessutom: pn q n, n = 1,,... Påstående Om L = lim n p n qn (vilket existerar i R enligt kontinuitetsaxiomet (C)) så gäller L = Bevis Enligt konstruktionen är ( pn 10 n ) <. (Likhet kan inte gälla ty pn 10 n är rationellt!) Följdens gränsvärde är då. (Axiom (C)) Å andra sidan är lim ( p n (.17) ) = lim n 10n ( p n n 10 n ) lim ( p n n 10 n ) d.v.s. lim n ( pn 10 ) = L. Härav: L. n Om L < så existerar ett n N med 5 10 n < L. Vi bevisar att detta leder till att ( pn+1 10 n ) < vilket motsäger definitionen på p n ovan: ( p n 10 n + 1 10 n ) = ( p n 10 n ) + 1 10 n + p n 10 n 1 10 n < < L + 1 10 n + 1 10 n = = L + 5 10 n <. 1 Hippasos, 400-talet f Kr 3

Om talföljden x n := (1 + 1 n )n, n = 1,,... Påstående 1 {x n } är begränsad uppåt. Bevis (1 + 1 n )n = 1 + ( ) n 1 1 n + ( ) n 1 + + ( ) n n n ( 1 = 1 + 1 n 1! n + n(n 1) 1! 1 + 1 1! + 1! + + 1 k! + + 1 n! n )n = + + n(n 1) (n k+1) n k! ( 1 n )k + + n! n! ( 1 n )n 1 + 1 + 1 + ( 1 ) +... + ( 1 )k 1 +... + ( 1 )n 1 1 + (1 + 1 +... + ( 1 )n 1 ) = 1 + 1 ( 1 )n 1 1 1 + = 3 Påstående {x n } är växande. Bevis För a > 1 gäller (1 + a) n 1 + na, n = 1,,... Bevisas genom induktion: (1 + a) p+1 = (1 + a) p (1 + a) (1 + pa)(1 + a) = 1 + pa + a + pa 1 + (p + 1)a Speciellt för a = 1 n fås (1 1 n ) n 1 1 n (1+ 1 n )n (1 1 n )n 1 1 n (1+ 1 n )n (1 1 n ) (n 1) = ( n n 1 )n 1 = (1 + 1 n 1 )n 1, vilket ju är liktydigt med att x n x n 1, n =, 3,... Påstående 1 & samt axiom (C) ger att lim n x n existerar. Detta tal kallas e (Neperska talet ). Definition.10 lim n (1 + 1 n )n = e (, 718) Påstående 3 lim x (1 + 1 x )x = e Påstående 4 lim n ± (1 + a n )n = e a Påstående 5 Om lim n b n = b så gäller lim n (1 + bn n )n = e b Bevis Vi utnyttjar jämförelseföljder (jämför sats.18). För givet ε > 0 bildas följder y n och z n Det finns ett N så att (1 + b ε n )n =: y n och (1 + b + ε n )n =: z n. n > N = b ε < b n < b + ε John Neper (Napier), (1550-1617), skotsk matematiker 33

För n > N fås då y n (1 + b n n )n z n Då n, konvergerar y n mot e b ε och z n mot e b+ε. Eftersom exponentialfunktionen är kontinuerlig (antas!) kan vi för givet ε > 0 välja ε så att e b ε e b < ε och e b+ε e b < ε Av detta fås att ε > 0 N (beror av ε ) så att n > N = (1 + b n n )n e b < ε. d.v.s. lim (1 + b n n n )n = e b. Påstående 6 lim x (1 + b x )x = e b Andra konsekvenser av (C) Av (C) följer att N är obegränsad och att Q ligger tätt i R. (i) Antag M R n N : n < M. Då är 1,, 3,..., n,... en växande följd som är begränsad. Enligt (C) finns ett L så att lim n n = L. Då finns t.ex. ett N 1 med n > N 1 = L 1 < n L. För n + 1 N har vi då L + 1 < n + 1 L + 1, en motsägelse ty n + 1 > N 1. (ii) Alla icke-tomma intervall (a, b) R, a < b, ( Q ligger tätt i R). innehåller punkter ur Q (För a > 0) Sätt b a = ε > 0. Då existerar N N, N > 1 ε. Betrakta M = min{m Z m N > a} = = min{m Z m > an}. M N > a. Om M N vore b = a + ε skulle M N 1 N på M. M N (a, b). > a, vilket skulle motsäga definitionen 34