Noter til Geometri 1. Ib Madsen. Maj 2002
|
|
- Ulrik Bech
- 7 år siden
- Visninger:
Transkript
1 Noter til Geometri 1 Ib Madsen Maj 2002
2 Indhold 1 Metriske rum 2 2 Fuldstændige metriske rum 8 3 Eksistens- og entydighedssætningen for 1. ordens differentialligninger 12 4 Den globale eksistenssætning 18 5 Topologiske rum 22 6 Kompakte rum 30 7 Den inverse funktions sætning 36 8 Regulære flader i R Opgaver 46 1
3 1 Metriske rum I det euklidiske talrum R n har vi den sædvanlige norm x =(x x 2 n) 1/2, x =(x 1,...,x n ) og den hertil hørende afstandsfunktion d(x, y) = x y. (1.1) For enhver delmængde X R n giver restriktionen af d en afbildning med følgende egenskaber: d : X X R (M1) d(x, y) 0ogd(x, y) =0 x = y (tro) (M2) d(x, y) =d(y, x) (symmetri) (M3) d(x, z) d(x, y) +d(y, z) (trekantsulighed) Definition 1.1. Et metrisk rum er et par (X, d) bestående af en mængde X og en afbildning d : X X R, som opfylder M1, M2 og M3. Afbildningen d i ovenstående definition kaldes afstandsfunktionen eller metrikken på X. Vi anvender ofte en geometrisk sprogbrug og kalder elementerne i X for punkter. Eksempel 1.2. Kugleoverfladen S 2 = {x R 3 x =1} er en delmængde af R 3 og dermed et metrisk rum ved at bruge afstandsfunktionen i (1.1) på R 3. Men der er en anden afstandsfunktion, som kan synes mere rimelig, nemlig buelængden af den korteste storcirkel, som forbinder de to punkter. Mere konkret har vi en bijektiv, aftagende afbildning cos : [0,π] [ 1, 1], med invers afbildning arccos, og vi definerer d : S 2 S 2 R, d(x, y) = arccos( x, y ), (1.2) hvor x, y = x 1 y 1 + x 2 y 2 + x 3 y 3 er det sædvanlige indre produkt i R 3.Betingelserne M1 og M2 er lette, men M3 kræver en overvejelse. Lad x, y, z S 2 og sæt d(x, y) =a, d(y, z) =b, d(x, z) =c. Dacosinus er aftagende på intervallet [0,π], er det tilstrækkeligt at vise uligheden cos(a + b) cos(c) fora + b π. (1.3) 2
4 Hvis a + b π, så er trekantsuligheden a + b c automatisk opfyldt, da c π. For at vise (1.3) indfører vi projektionerne x, z af x, z påplanen{y}, En let udregning giver x = x x, y y, z = z z, y y. x 2 = x, x =1 x, y 2 =1 cos 2 (a) =sin 2 (a) og tilsvarende z 2 =sin 2 (b). Da både a og b ligger i intervallet [0,π]ersin(a) og sin(b) ikke-negative, og Additionsformlen giver sin(a) = x, sin(b) = z cos(a + b) =cos(a)cos(b) sin(a)sin(b) cos(a + b) = x, y y, z x z = x, z x, z x z x, z I sidste ulighed har vi anvendt Cauchy-Schwarz ulighed x, z x z. Definition 1.3. Et normeret vektorrum er et vektorrum V med en afbildning som opfylder: (i) N(v) 0ogN(v) =0 v =0 N : V R, (ii) N(λv) = λ N(v), λ R (iii) N(v + w) N(v)+N(w). I mange vigtige tilfælde kommer normen fra et indre produkt,, : V V R, 3
5 på vektorrummet V. Vi minder om, at et indre produkt opfylder følgende betingelser (i) v, v 0og v, v =0 v = 0 (tro) (ii) v 1 + v 2,w = v 1,w + v 2,w, λv, w = λ v, w v, w 1 + w 2 = v, w 1 + v, w 2, v, λw = λ v, w (bilinearitet) (iii) v, w = w, v (symmetri) I et vektorrum med indre produkt (V,, ) gælder Cauchy-Schwarz ulighed: v, w v w, v = v, v 1/2 (1.4) Beviset for (1.4), som skulle være kendt fra Mat 10, er som følger. Fra (i) og (ii) ser vi, at w, w t 2 +2 v, w t + v, v = v + tw, v + tw 0 Funktionen At 2 +2Bt + C har minimum i punktet t = B/A med værdien B 2 /A 2B 2 /A + C 0. Dette giver B 2 AC, som medfører (1.4). Et vektorrum med indre produkt bliver et normeret vektorrum med normen N(v) = v, v 1/2. Trekantsuligheden for N følger fra Cauchy-Schwarz ulighed. Et normeret vektorrum (V,N) er et metrisk rum med afstandsfunktionen d N : V V R,d N (v, w) =N(v w) Eksempel 1.4. Den euklidiske norm på R n med tilhørende afstandsfunktion d fra (1.1) kommer fra det sædvanlige indre produkt på R n, Herertoandrenormerpå R n : x, y = x y = x i y i. x = max{ x i i =1,...,n} x 1 = x x n, x =(x 1,...,x n ). Eksempel 1.5. Lad K =[a, b] væreetlukketintervalpå den reelle akse. Det uendeligt dimensionale vektorrum C(K, R m ) af kontinuerte funktioner fra K ind i R m har et indre produkt: f,g 2 = f(t) g(t)dt K 4
6 og en tilhørende norm, som ofte kaldes L 2 -normen, f 2 = f,f 1/2 2. (1.5) For vores senere anvendelser er det dog en anden norm, som vil blive brugt, nemlig den såkaldte supremumsnorm: f =sup{ f(t) t K}. (1.6) Vi minder om, at en følge {f n } i C(K, R m ) kaldes uniformt konvergent med grænseværdi f : K R m,hvis f f n 0forn og at f nødvendigvis bliver kontinuert. I et metrisk rum (X, d) indføres åbne og lukkede kugler: B d (x, r) = {y X d(x, y) <r} (1.7) B d (x, r) = {y X d(x, y) r} Som regel er afstandsfunktionen d underforstået og vi skriver blot B(x, r) og B(x, r). En afbildning f : X Y mellem metriske rum er kontinuert i punktet x X, hvis den opfylder betingelsen ε>0 δ>0:d X (x, y) <δ d Y (f(y),f(x)) <ε. (1.8) Afbildningen er kontinuert, hvis den er kontinuert i alle sine punkter. Begrebet kontinuitet kan gives en bedre formulering ved at indføre begrebet åben mængde: Definition 1.6. En delmængde U X af et metrisk rum kaldes åben, hvis der til ethvert punkt x U findes en kugle B(x, ε) U. Kuglen B(x, ε) X er en åben mængde, og komplementet X B(x, ε) er ligeledes åben. Dette følger umiddelbart fra trekantsuligheden. Sætning 1.7. En afbildning f : X Y mellem metriske rum er kontinuert, hvis og kun hvis urbilledet f 1 (U) er åbent for enhver åben mængde U Y. Bevis. Antag først, at f er kontinuert i alle sine punkter, og lad U Y være åben. For x f 1 (U) vælgesε>0, så B(f(x),ε) U. Ifølge (1.8) findes δ > 0medf(B(x, δ)) B(f(x),ε)ogdermedB(x, δ) f 1 (U). Dette gælder for ethvert x f 1 (U), som derfor er åben. Antag modsat, at f 1 (U) eråben for enhver åben delmængde U af Y. Vi viser, at f er kontinuert i punktet x X. Ladε>0. Da B(f(x),ε) Y er åben, er f 1 (B(f(x),ε)) X åben, og da x f 1 (B(f(x),ε)) findes en kugle B(x, δ) f 1 (B(f(x),ε)). Dette er præcis betingelsen (1.8). 5
7 Definition 1.8. En delmængde A X af det metriske rum kaldes lukket, såfremt komplementet X A er åbent. Vi bemærker, at Sætning 1.7 har følgende korollar. Sætning 1.9. En afbildning f : X Y mellem metriske rum er kontinuert, hvis og kun hvis urbilledet f 1 (A) er lukket for enhver lukket mængde A Y. Bevis. Der gælder for urbilleder, at Betingelserne er derfor ækvivalente. f 1 (Y A) =X f 1 (A). f 1 (åben) = åben f 1 (lukket) = lukket Forskellige metrikker d og d på den samme mængde X kan give anledning til det samme system af åbne mængder. Dette sker, hvis metrikkerne opfylder følgende betingelse: Til ethvert x X og ethvert ε>0 findes δ>0ogδ > 0, således at B d (x, δ) B d (x, ε) ogb d (x, δ ) B d (x, ε) (1.9) Vi kalder sådanne metrikker ækvivalente. Sætning Ækvivalente metrikker giver samme system af åbne mængder. Bevis. Hvis U er åben m.h.t. d og x U, så findes ε>0, så B d (x, ε) U. Vælg δ>0medb d (x, δ) B d (x, ε) U. DermederU åben m.h.t. d. Eksempel Metrikkerne på R n givet ved d 1 (x, y) = ( (xi y i ) 2 ) 1/2 d 2 (x, y) = max x i y i d 3 (x, y) = x i y i er alle ækvivalente. For n = 2 har vi følgende billede af enhedskuglerne m.h.t. de tre metrikker 6
8 Den yderste kasse er B d2 (0, 1), den inderste kasse er B d3 (0, 1) og cirkelskiven er enhedskuglen hørende til d 1. 7
9 2 Fuldstændige metriske rum I dette afsnit studerer vi konvergens af følger i metriske rum X =(X, d). Definition 2.1. En følge {x k } af punkter i X siges at konvergere mod x X, hvis der til ethvert ε>0 findes et tal N N, således at x k B(x, ε) for k N. For to forskellige punkter x, y X giver trekantsuligheden, at B(x, ε) B(y, ε) = når ε< 1 2 d(x, y). En konvergent følge {x k} kan derfor kun konvergere mod ét punkt x X. Dette kaldes grænseværdien for {x k },ogman skriver ofte x k x for k. I 1 definerede vi begrebet lukket delmængde af et metrisk rum, Definition 1.8. Lukkede mængder kan også karakteriseres ved følgers grænseværdi på følgende vis: Lemma 2.2. En delmængde A af et metrisk rum X er lukket, hvis og kun hvis A opfylder følgende betingelse: Lad {x k } være en vilkårlig konvergent følge i X med grænseværdi x. Hvisx k A for k N, såvilx A. Bevis. Antag at X A er åben, at x k A for alle k,ogatx k x for k. Vi skal vise, at x A. Antag modsætningsvis, at x X A. DaX A er åben, findes der et ε>0, således at kuglen B(x, ε) X A. Dax er grænseværdien for {x k },må x k B(x, ε) fork tilstrækkeligt stor i modstrid med, at x k A for alle k. Vislutterheraf,atx A. Lad os omvendt antage, at A X er en delmængde, som opfylder betingelsen i lemmaet, og vælg et punkt x X A. Vi skal finde et ε>0, så B(x, ε) X A. Antag modsætningsvis, at dette ikke kan lade sig gøre. Så er ( B x, 1 ) A for alle k. k Vælg et x k i denne mængde. Følgen {x k } af elementer i A konvergerer mod x. Thi for ethvert ε>0er 1 >εfor k k>1. Dette er en modstrid. ε Definition 2.3. En følge {x k } af punkter i X kaldes en Cauchy følge,såfremt der til ethvert ε>0 findes et N N, således at d(x n,x m ) <εfor n, m N. Det er let at se, at en konvergent følge er en Cauchy følge; men det omvendte behøver ikke at være tilfældet. Definition 2.4. Et metrisk rum kaldes fuldstændigt, hvis enhver Cauchy følge er konvergent. 8
10 Det er velkendt, at det euklidiske talrum R n med den sædvanlige afstandsfunktion (1.1) er fuldstændigt. Vektorrummet C(K, R n ) af kontinuerte funktioner fra det lukkede interval K =[a, b] medl 2 -normen f 2 fra Eksempel 1.5 er derimod ikke fuldstændigt. Hvis vi giver C(K, R n ) supremumsnormen og den tilhørende afstandsfunktion sågælder: d(f,g) = f g =sup{ f(t) g(t) t K} (2.1) Sætning 2.5. Det metriske rum C(K, R n ) med afstandsfunktionen i (2.1) er fuldstændigt. Bevis. Lad {f k } være en Cauchy følge i C(K, R n ). Til ε>0 findes N N, så f n f m <εfor n, m N. For et fast t K og n, m N er f n (t) f m (t) < f n f m <ε (2.2) så {f n (t)} er en Cauchy følge i R n og dermed konvergent. Vi kalder grænseværdien f(t), f k (t) f(t) fork. Vi lader m i (2.2). Det giver f n (t) f(t) ε for n N, t K. Dette udtrykker, at funktionsfølgen {f n } konvergerer uniformt mod funktionen f. Fra teorien for funktioner af én variabel følger heraf, at grænsefunktionen f : K R n er kontinuert, og vi ser fra den sidste ulighed, at f n f ε for n N. Dermed er følgen {f n } i C(K, R n ) konvergent med grænseværdi f. Lad X =(X, d) være et metrisk rum. En afbildning T : X X kaldes en kontraktion, hvis der findes et tal 0 β<1så d(tx,ty) βd(x, y) (2.3) for alle x, y X. Etfikspunkt for T er et x X med Tx = x. 9
11 Sætning 2.6 (Fikspunktssætningen). En kontraktion T påetfuldstændigt metrisk rum har præcist et fikspunkt. Bevis. Vi viser først eksistensen af et fikspunkt. Vælg et vilkårligt x 0 X. Dette giver en følge {x n } i X ved at sætte x 1 = Tx 0, x 2 = Tx 1 osv., dvs. x n = T n (x 0 ). Vi påstår, at {x n } er en Cauchy følge. For vilkårlige n, k N giver trekantsuligheden, at og derfor induktivt, at d(x n+k,x n ) d(x n+k,x n+k 1 )+d(x n+k 1,x n ), k 1 d(x n+k,x n ) d(x n+i+1,x n+i ). (2.4) i=0 Nu er x n+i = T n+i (x 0 ), så (2.3) viser, at Induktivt får vi derfor uligheden Fra (2.4) ser vi, at d(x n+i+1,x n+i ) βd(x n+i,x n+i 1 ). d(x n+i+1,x n+i ) β n+i d(x 1,x 0 ). d(x n+k,x n ) (β n + β n β n+k 1 )d(x 1,x 0 )=β n ( 1 β k 1 β ) d(x 1,x 0 ). Højre side af denne ulighed konvergerer mod nul for n,så {x n } er en Cauchy følge i X. DaX er forudsat at være fuldstændigt, er følgen konvergent: x n x for n. Det følger fra (2.3), at T er en kontinuert funktion og at d(tx n,tx) 0for n,så Tx n Tx for n. Men Tx n = x n+1,så følgen {Tx n } har samme grænsepunkt som {x n },dvs. Tx = x. Vi har hermed fundet et fikspunkt for T. Antag, at x og y begge er fikspunkter for T. Fra (2.3) ses, at d(x, y) =d(tx,ty) βd(x, y). Da β<1ogd(x, y) 0, kan denne ulighed kun være opfyldt, når d(x, y) =0, og dermed x = y. 10
12 I næste paragraf skal vi anvende fikspunktssætningen på en lukket delmængde af C(K, R n ), og vi har brug for følgende: Lemma 2.7. Lad (X, d) være et fuldstændigt metrisk rum og A X en lukket delmængde. Så er det metriske rum (A, d) fuldstændigt. Bevis. Lad {a n } være en Cauchy følge af punkter i A. DaX er fuldstændigt har {a n } en grænseværdi x X. Det følger fra Lemma 2.2, at x A. Bemærkning 2.8. Mange interessante metriske rum er ikke fuldstændige. Herertovigtigeeksemplerpåsådanne: (i) (Q,d) ; d(x, y) = x y (ii) C(K, R n ) ; d 2 (f,g) = f g 2,hvor. 2 er normen hørende til det indre produkt f,g = f(t) g(t)dt,hvork som ovenfor er et lukket K interval. Vi afslutter denne paragraf med at formulere en sætning, som fortæller, at ethvert metrisk rum kan opfattes som delrum af et fuldstændigt metrisk rum. En delmængde T af et metrisk rum X kaldes tæt i X, hvisenhveråben mængde i X indeholder punkter fra T. Der gælder nu følgende generelle Sætning 2.9. Lad (X, d) være et metrisk rum. Så findes et fuldstændigt metrisk rum ( X, d), og en afstandsbevarende afbildning i : X X, således at i(x) er tæt i X. Tosådanne fuldstændiggørelser er isometriske, dvs. der findes en afstandsbevarende bijektion mellem dem. I eksemplerne (i) og (ii) fra Bemærkning 2.8 har vi (Q,d) = R (C(K, R n ),d 2 ) = L 2 (K, R n ) hvor L 2 (K, R n ) er rummet af funktioner, hvis kvadrat er Lebesgue integrabel. Sætning 2.9 findes bevist i [BV] (Se også Opgave 7.17 eller i [R]). At L 2 (K, R n ) er fuldstændigt er bevist i kurset Analyse 1, se [R]. 11
13 3 Eksistens- og entydighedssætningen for 1. ordens differentialligninger Lad U R n være åben (m.h.t. den sædvanlige afstandsfunktion) og lad I =(a, b) væreetåbent interval i R. Vi betragter en kontinuert funktion f : U I R n (3.1) I denne paragraf skal vi undersøge, i hvilket omfang der findes differentiable kurver x : I U, så x (t) =f(x(t),t); t I (3.2) Vi tænker på f som givet og ønsker at finde alle løsninger x, som opfylder ligningen (3.2). En sådan ligning kaldes en ordinær differentialligning (på engelsk Ordinary Differential Equation). Vi skal arbejde under følgende antagelse på f: Afbildningen f : U I R n er kontinuert, de partielle afledede f x i (x, t), i=1,...,n, eksisterer for alle (x, t) U I (3.3) og er kontinuerte på U I. Bemærk at der ikke gøres nogen antagelse om eksistensen af den afledede af f med hensyn til t. Hovedsætningen siger nu følgende: Hovedsætning 3.1. Lad U være en åben delmængde af R n, I R et åbent interval og f : U I R n en funktion som opfylder antagelsen (3.3). Da har vi (i) (Lokal eksistens) Til x 0 U og t 0 I findes et åbent interval J I, som indeholder t 0, og en differentiabel kurve x : J U med x(t 0 )=x 0, og som løser (3.2). (ii) (Global entydighed) Hvis x 1,x 2 : I U er løsninger til (3.2), og der findes et t 0 med x 1 (t 0 )=x 2 (t 0 ),såerx 1 = x 2. Beviset tager resten af denne paragraf. Først har vi brug for et lemma. Lemma 3.2. Lad D 0 = B(x 0,r) U og I 0 =[t 0 a, t 0 + a] I. Under antagelsen (3.3) findes der en konstant c, så f(y, t) f(x, t) c y x for x, y D 0,t I 0 12
14 Bevis. Da D 0 I 0 R n+1 er lukket og begrænset, har enhver af funktionerne f j x i (x, t) etmaksimumogetminimumpå D 0 I 0, [KT] Sætning Der findes derfor en konstant d R, så f j (x, t) x i d; i, j =1,...,n, (x, t) D 0 I 0. For x, y D 0 og t I 0 har vi de differentiable funktioner på U, z f j (z, t), j =1,...,n. Vi påstår, at der findes et punkt z j t [x, y] på liniestykket, der forbinder x med y i D 0,således at f j (y, t) f j (x, t) = i f j x i (z j t,t)(y i x i ). (3.4) Dette ses på følgende måde. Liniestykket [x, y] er mængden [x, y] ={θx +(1 θ)y 0 θ 1}. Vi lader g t j være restriktionen af f j (,t)til[x, y], g t j(θ) =f j (θx +(1 θ)y, t), 0 θ 1 Middelværdisætningen fortæller, at der findes et θ t j (0, 1), så gj t (1) gt j (0) = gt j θ (θt j ). Vi kan bruge kædereglen, [KT] Sætning 4.3, til at udregne differentialkvotienten af den sammensatte funktion gj(θ): t g t j θ (θt j )= n i=1 Sæt z t j = θt j x +(1 θt j )y. Dette zt j f j x i (θ t j x +(1 θt j )y, t)(x i y i ). opfylder nu (3.4), og dermed fås f j (y, t) f j (x, t) d y i x i nd y x, hvor den sidste ulighed følger fra Cauchy-Schwarz ulighed: yi x i = y x, 1 y x 1 = n y x, hvor 1 =(1, 1,...,1). Det følger så, at f(y, t) f(x, t) nd y x. 13
15 Bevis. (for Sætning 3.1) (i) Lokal eksistens: Vælg I 0 og D 0 som i Lemma 3.2. For et lukket og begrænset delinterval K af I 0 som indeholder t 0, definerer vi en afbildning hvor Tx er funktionen T : C(K, D 0 ) C(K, R n ), t Tx(t) =x 0 + f(x(s),s)ds, t K. (3.5) t 0 At Tx faktisk er en kontinuert funktion i t ses let, idet f er kontinuert. Vi vil først vise, at når længden l(k) afk er lille, da vil T transformere C(K, D 0 ) i sig selv. Lad S =sup{ f(x, t) (x, t) D0 I 0 }.Sågælder t t Tx(t) x 0 f(x(s),s) ds Sds Sl(K), t K. t 0 t 0 Det følger, at Tx(t) D 0 for alle t K når l(k) rs 1. I det følgende antages dette. Vi betragter nu T som en operator på C(K, D 0 ). For x, y C(K, D 0 ) har vi, idet vi benytter supremumsnormen på C(K, R n )fra (2.1), at t Ty(t) Tx(t) = (f(y(s),s) f(x(s),s))ds (3.6) t 0 t f(y(s),s) f(x(s),s) ds t 0 t c y(s) x(s) ds t 0 t c y x ds t 0 = c y x t t 0 cl(k) y x, t K. Det følger, at Ty Tx cl(k) y x. (3.7) Lad os rekapitulere situationen. Vi begyndte i Lemma 3.2 med at vælge D 0 = B(x 0,r)ogetintervalI 0 I som indeholder t 0, og fandt en konstant c 0, således at uligheden i Lemma 3.2 er opfyldt. Ovenfor så vi, at hvis K I 0 er et delinterval, som indeholder t 0,så giver T defineret i (3.5) en afbildning T : C(K, D 0 ) C(K, D 0 ), (3.8) 14
16 forudsat at længden l(k) af intervallet K opfylder uligheden l(k) rs 1. Her er r radius i D 0 og S er supremum af { f(x, t) (x, t) D 0 I 0 }.I(3.7) fandt vi at T er en kontraktion forudsat at cl(k) < 1. Vi vælger nu K så lille, at begge uligheder er opfyldt, dvs. ( 1 l(k) < min c, r ). (3.9) S Vi ønsker at bruge fikspunktssætningen, Sætning 2.6, på afbildningen T i (3.8). Dette kræver, at C(K, D 0 ) er fuldstændigt. Vi ved fra Sætning 2.5, at C(K, R n ) er fuldstændigt, og ifølge Lemma 2.7 er det nok at vise, at C(K, D 0 ) er en lukket delmængde af C(K, R n ). Vi bruger Lemma 2.2 og antager at {x k } er en følge af elementer i C(K, D 0 ), som konvergerer mod x C(K, R n ), x x k 0fork Da x(t) x k (t) x x k for ethvert t K, servi,at x k (t) x(t) fork Da x k (t) D 0 og D 0 R n er lukket, følger at x(t) D 0. Dette gælder for ethvert t K, så x C(K, D 0 )ogc(k, D 0 )erlukketic(k, R n ), og dermed fuldstændigt. En anvendelse af Sætning 2.6 fortæller, at der findes et x C(K, D 0 ) med Tx = x. Ifølge (3.5) har vi derfor for dette x ligningen t x(t) =x 0 + f(x(s),s)ds; t K. (3.10) t 0 Højre side i (3.10) er en stamfunktion til funktionen g(t) =f(x(t),t), så ved differentiation fås x (t) =f(x(t),t). (3.11) Dermed er x(t) en løsning til differentialligningen defineret på intervallet K, og vi har bevist den lokale eksistenssætning. (ii) Global entydighed: Vi antager, at vi har givet to differentiable funktioner x 1,x 2 C(I,U), som begge løser differentialligningen: x 1 (t) = f(x 1(t),t) x 2(t) = f(x 2 (t),t), t I. (3.12) Vi antager at x 1 (t 0 )=x 2 (t 0 )=x 0,ogskalvise,atx 1 (t) =x 2 (t) for alle t I. Først viser vi, at x 1 (t) ogx 2 (t) stemmer overens i en omegn af t 0 I. 15
17 Vi vælger D 0 og K som i beviset for eksistenssætningen, således at T : C(K, D 0 ) C(K, D 0 ) er en kontraktion. Da x 1 (t 0 )=x 2 (t 0 ) D 0 og x 1,x 2 : K U er kontinuerte, findes der et delinterval t 0 K 0 K, så x 1 (K 0 ) D 0, x 2 (K 0 ) D 0, og dermed x 1,x 2 C(K 0,D 0 ). Fra (3.12) fås ved integration x 1 (t) = x 0 + x 2 (t) = x 0 + t t 0 f(x 1 (s),s)ds t t 0 f(x 2 (s),s)ds, t K 0. Dette betyder, at x 1 og x 2 begge er fikspunkter for T : C(K 0,D 0 ) C(K 0,D 0 ). Entydighedsdelen af Sætning 2.6 fortæller, at x 1 (t) = x 2 (t) fort K 0. Betragt nu mængden E + = {t I t>t 0,x 1 [t0,t] = x 2 [t0,t]}. Da x 1 og x 2 stemmer overens på K 0,erE +.Ladt + =supe +. For ethvert t 0 t<t + er x 1 (t) =x 2 (t). Hvis t + ligger i det åbne interval I =(a, b), så ville x 1 (t + )=x 2 (t + ), da x 1 og x 2 er kontinuerte og x 1 (t) =x 2 (t) fort<t +. Men dette ville medføre at x 1 (t) =x 2 (t) i en omegn K + af t +,imodstrid med definitionen af t + =supe +. Det følger, at t + = b, det højre endepunkt af I. Helt tilsvarende kan vi indføre E og vise, at t =infe er venstre endepunkt af intervallet I. Dette viser entydighedsudsagnet. Hovedsætning 3.1 giver også oplysning om løsning af højere ordens differentialligninger. Som eksempel betragter vi 2. ordens ligninger, dvs. ligninger af formen x (t) =g(x(t),x (t),t) (3.13) hvor g er en kontinuert funktion g : V R n I R n og V R n er åben. Vi vil antage at g opfylder (3.3) med U = V R n R 2n. 16
18 Sætning 3.3. Til hvert (x 0,y 0 ) V R n og t 0 I findes et åbent delinterval t 0 J I og en to gange differential kurve x : J V således at (i) x (t) =g(x(t),x (t),t), (ii) x(t 0 )=x 0 og x (t 0 )=y 0 Hvis x 1,x 2 : I U opfylder (i) og (ii), så erx 1 = x 2. Bevis. Hvis x(t) opfylder (i) og (ii), så vilkurvenx(t),y(t) V R n,hvor y(t) =x (t), opfylde ligningerne x (t) =y(t) y (t) =g(x(t),y(t),t) (3.14) Hvis omvendt (x(t),y(t)) opfylder 3.14, så opfylder x(t) ligningen Heraf ses at Sætning 3.3 følger fra Hovedsætning 3.1. Tilsvarende eksistens- og entydighedssætninger kan bevises for nth ordens differentialligninger. 17
19 4 Den globale eksistenssætning I denne paragraf antager vi som hidtil at I =(a, b) eretåbent interval, og at f : R n I R n er kontinuert. Definition 4.1 (Lipschitz betingelsen). Vi siger, at f opfylder den globale Lipschitz betingelse, hvis der for ethvert lukket og begrænset interval K I findes en konstant c K R, således at for alle x, y R n og alle t K. f(y, t) f(x, t) c K y x (4.1) Sætning 4.2. Lad f opfylde den globale Lipschitz betingelse. Hvis K er et lukket og begrænset delinterval af I, t 0 K og x 0 R n,så vil operatoren T : C(K, R n ) C(K, R n ) givet ved Tx(t) =x 0 + t have præcist ét fikspunkt i C(K, R n ). t 0 f(x(s),s)ds, x C(K, R n ), t K Bevis. Lad k N og x, y C(K, R n ). Vi vil vise T k y T k x ck l k k! y x, (4.2) hvor l er længden af K og c = c K fra (4.1). Faktisk viser vi, at T k y(t) T k x(t) ck t t 0 k y x, k! t K (4.3) hvorfra (4.2) følger umiddelbart. Vi bruger induktion over k. Tilfældet k = 0 er oplagt. Under antagelsen 18
20 af, at uligheden er gyldig for k, finder vi at T k+1 y(t) T k+1 x(t) = T (T k y)(t) T (T k x)(t) t (f(t k y(s),s) f(t k x(s),s))ds t 0 t f(t k y(s),s) f(t k x(s),s) ds t 0 t c T k y(s) T k x(s) ds t 0 t c c k k! s t 0 k y x ds Dette afslutter beviset for (4.3). Da = t 0 c k+1 (k +1)! t t 0 k+1 y x. c k l k lim =0, k k! er T k en kontraktion for tilstrækkelig stort k, og vi kan anvende Sætning 2.6. Lad x være det entydigt bestemte fixpunkt for T k.såerx også et fixpunkt for T.ThiT k (Tx)=T(T k x)=tx,så Tx er også et fixpunkt for T k.da fixpunkter for T k er entydige, er Tx = x. Hvis omvendt x er et fixpunkt for T,såerx også et fixpunkt for T k og dermed entydigt bestemt. Sætning 4.3. Antag at f : R n I R n er kontinuert og tilfredsstiller (4.1). For ethvert t 0 I og x 0 R n findes en og kun en differentiabel kurve x : I R n,således at x (t) =f(x(t),t) og x(t 0 )=x 0. Bevis. Lad x : I R n være en differentiabel kurve med x (t) =f(x(t),t)ogx(t 0 )=x 0. (4.4) Såer t x(t) =x 0 + f(x(s),s)ds; t I. t 0 Betragt nu vektorrummet C(I,R n ) af kontinuerte afbildninger fra I til R n og operatoren T Tx(t) =x 0 + t t 0 f(x(s),s)ds; t I. (4.5) 19
21 Som vi har set, er der en 1 1 korrespondance mellem løsninger til ligningen (4.4) og fikspunkter for T. Det er derfor tilstrækkeligt at vise, at operatoren T på C(I,R n ) har et og kun et fikspunkt. For ethvert lukket og begrænset delinterval K af I som indeholder t 0, vil operatoren T inducere en operator på C(K, R n ), der ifølge Sætning 4.2 har præcist ét fikspunkt x K C(K, R n ). Hvis K og L, L K, ersådanne lukkede og begrænsede delintervaller af I, vilx L (t) = x K (t) for alle t K p.g.a. entydigheden af fikspunktet. Det følger, at vi kan stykke x K erne sammen til et x C(I,R n ), der vil være et fikspunkt for T. Lad omvendt x C(I,R n ) være et fikspunkt for T. For ethvert K som ovenfor vil der gælde at x(t) =x K (t) fort K, igen p.g.a. entydigheden af fikspunktet. Dette viser, at fikspunktet for T på hele I er entydigt bestemt. Vi betragter et simpelt eksempel på en anvendelse af Sætning 4.3. Lad M n = M n (R) være vektorrummet af reelle (n n)-matricer. Vi giver M n (R) normen, som hører til det indre produkt dvs. A, B = tr(ab T )= n a ij b ij, i,j=1 ( 1/2 A = aij) 2. i,j Lad A : I M n (R) være en kontinuert afbildning. Dette er ækvivalent med udsagnet, at hver indgang a ij (t) er kontinuert. Vi betragter differentialligningen x (t) =A(t) x(t), x(t 0 )=x 0 (4.6) hvor x : I R n er en differentiabel kurve. Med notationen brugt ovenfor er f(x, t) = A(t)x. Vi viser at denne funktion opfylder (4.1). Lad K være et lukket og begrænset delinterval af I. Betragt nu funktionen g : R n K R givet ved g(x, t) = A(t)x for (x, t) R n K. Dag er en sammensætning af kontinuerte funktioner, er g kontinuert. Men så er g begrænset på den lukkede og begrænsede mængde: {(x, t) R n K x =1}. 20
22 Altså ladc K R, således at g(x, t) c K for t K og x =1.Ladnux, y R n være vilkårlige, således at x y og t K. Viserda,atg( y x,t) c x y K, hvilket er ækvivalent med, at som netop er (4.1). f(y, t) f(x, t) c K y x, Korollar 4.4. Lad I være et åbent interval og A : I M n (R) en kontinuert afbildning. For t 0 I og x 0 R n findes der en entydig bestemt differentiabel kurve x : I R n som er løsning til (4.6). Bemærkning 4.5. Ibåde 3 og 4 har vi antaget, at funktionen f : U I R n er kontinuert, og vi har fundet differentiable løsninger x(t) til differentialligningen x (t) =f(x(t),t). Hvis vi antager, at f er uendelig ofte differentiabel, så bliver løsningerne x(t) også uendelig ofte differentiable. Dette følger induktivt fra selve differentialligningen. 21
23 5 Topologiske rum Et topologisk rum er den mest generelle matematiske struktur, hvor begreberne omegn og kontinuitet har en mening. Det kan sammenlignes med de mest generelle matematiske strukturer, hvori man regner. Her er strukturerne gruppe, ring og vektorrum velkendte. Inden vi giver definitionen, er det praktisk at samle en række mængdeteoretiske udsagn, som det overlades til læseren at bevise. For en mængde X lader vi P(X) betegne familien af alle delmængder af X inklusiv og X selv. En afbildning f : X Y giver anledning til en afbildning f 1 : P(Y ) P(X) ( urbilledet ) hvor for V P(X) f 1 (V )={x X f(x) V } (5.1) For delmængder A α P(X), α I har vi deres foreningsmængde A α P(X) afelementerix, som er indeholdt i mindst ét A α, deres fællesmængde A α af elementer i X, som tilhører alle A α. Endelig har vi differensmængden (eller komplementærmængden) X A af elementer i X, som ikke ligger i A. Der gælder X α I A α = α I (X A α ), X α I A α = α I(X A α ). (5.2) Urbilledafbildningen fra (5.1) har følgende egenskaber: ( ) f 1 B α = f 1 (B α ) α I α I ( ) f 1 B α = f 1 (B α ) (5.3) α I α I f 1 (Y B) = X f 1 (B). Definition 5.1. En topologi på en mængde X består af en familie T af delmængder af X, T P(X), som opfylder (T1) U α T,α I α I U α T (T2) U 1,U 2 T U 1 U 2 T (T3) T,X T. 22
24 Vi bemærker, at (X, T ) ikke nødvendigvis er en mængdealgebra som kendt fra statistik og sandsynlighedsregning, da U T ikke medfører at komplementær mængden X U T. En mængde X med en topologi T P(X) kaldesettopologisk rum. Delmængderne U fra T kaldes de åbne mængder, og vi siger at en delmængde C X er lukket såfremt differensmængden X C er åben. Ethvert metrisk rum (X, d) er også et topologisk rum, nemlig ved at sætte T = T d,hvort d er familien af åbne mængder som defineret i Definition 1.6. Vi kalder T d den inducerede topologi på X (opgave 5.1). To metrikker d 1 og d 2 på samme mængde X kan godt føre til samme inducerede topologi, dvs. T d1 = T d2. Dette sker ifølge Sætning 1.10, hvis d 1 og d 2 er ækvivalente. I Eksempel 1.11 indførte vi tre forskellige metrikker på R n. Disse er alle ækvivalente (Opgave 5.2), så T d1 = T d2 = T d3. Dette kaldes den euklidiske topologi på R n. Som vi har set giver ethvert metrisk rum et induceret topologisk rum, og man kan spørge om ethvert topologisk rum fremkommer på denne måde. Dette er ikke tilfældet topologiske rum er et mere generelt begreb end metriske rum (opgave 5.3). Definition 5.2. (i) Lad x X være et punkt i et topologisk rum (X, T ). En omegn N af x er en delmængde af X som indeholder x, og med den egenskab at der findes U T,så x U N. (ii) En åben omegn af x er en mængde U T som indeholder x. Ifølge Definition 1.6 vil B d (x, ε) T d,dvs.deeråbne mængder i den inducerede topologi, så deeråbne omegne af x; B d (x, ε) erogsåenomegn af x i(x, T d ). Definition 5.3. En følge af punkter {x k } k N i et topologisk rum X kaldes konvergent med grænsepunkt x X, hvisderforenhveromegnn af x findes et K, så x k N for alle k>k. Det skal bemærkes, at punktfølger dog ikke spiller den samme centrale rolle i topologiske rum som de gør i R n. Definition 5.4. Lad A være en delmængde af det topologiske rum X =(X, T ). (i) Et punkt a A kaldes et indre punkt i A, hvisa er en omegn af a. Mængden af indre punkter i A betegnes int(a) eller A. (ii) Randen A af A er mængden A = X (int(a) int(x A)) 23
25 (iii) Afslutningen af A er mængden A = A int(a) Lemma 5.5. Det indre int(a) er altid en åben mængde, og det er den største åbne delmængde af X, som er indeholdt i A. Bevis. Lad U A, og antag U er en åben delmængde af X. En åben delmængde er en (åben) omegn af ethvert af sine punkter, så U består af indre punkter i A, dvsu int(a). På den anden side, hvis a int(a), så findes en åben omegn U a A af a. DaU a int(a) ifølgeovenstående, og derfor int(a) = U a, såerint(a)åben ifølge T1. a int(a) Lemma 5.6. Afslutningen A er altid lukket i X, og det er den mindste lukkede delmængde, som indeholder A. Bevis. Fra definitionen af A ser vi, at X er den disjunkte forening. X =int(a) A int(x A). (5.4) Da A int(x A) A (X A) =, era int(a) A = A, ogda X A =int(x A) eråben ifølge Lemma 5.5, er A lukket. Hvis C A er lukket, er X C X A. DaX C er åben giver Lemma 5.5, at X C int(x A). Fra (5.4) følger, at C = X (X C) int(a) A = A. Dermed er A den mindste lukkede delmængde af X, som indeholder A. I R n er kuglen B n (x, r) ={y R n y x r} lukket, og int(b n (x, r)) = B n (x, r). Omvendt er afslutningen af B n (x, r) netopb n (x, r) (opgave 5.5). Definition 5.7. En afbildning f : X Y mellem topologiske rum kaldes kontinuert, hvisf 1 (V )eråben i X for enhver åben mængde V i Y. Vi bemærker, at denne definition straks giver at en sammensætning af kontinuerte afbildninger er kontinuert: hvis f : X Y og g : Y Z er kontinuerte afbildninger mellem topologiske rum, så erg f : X Z også kontinuert. Antag at X = (X, d) ogy = (Y,d) er metriske rum. Lad T X og T Y være familierne af åbne mængder fra Definition 1.6. Disse gør X og Y til topologiske rum, og f :(X, T X ) (Y,T Y )erkontinuerthvisogkunhvisden er kontinuert som afbildning af metriske rum, se Sætning 1.7. Lemma 5.8. En afbildning f : X Y mellem topologiske rum er kontinuert hvis og kun hvis f 1 (C) er lukket i X for enhver lukket mængde C i Y. 24
26 Bevis. Hvis f er kontinuert og C Y er lukket, så erx f 1 (C) =f 1 (Y C) åben, og dermed f 1 (C) lukket. Omvendt, hvis f 1 (C) erlukketfor C Y lukket, så erf kontinuert. Thi for V Y åben, er Y V lukket, og f 1 (Y V )=X f 1 (V ) er lukket. Derfor er f 1 (V )åben. Der er normalt mange topologier på en given mængde X. HvisT 1 T 2, såkaldest 2 finere end T 1 og T 1 grovere end T 2. Den groveste topologi er T = {,X}, som også kaldesdentrivielle topologi. Den fineste topologi er T = P(X), som også kaldesdendiskrete topologi. I et diskret topologisk rum er alle mængder både åbne og lukkede, men normalterderdelmængdera X, somhverkeneråbne eller lukkede. En afbildning f : X Y har lettere ved at være kontinuert, jo finere topologien på X er, og jo grovere topologien på Y er. Lad Y =(Y,T Y ) være et topologisk rum og f : X Y en afbildning af mængder. Vi definerer T X = {f 1 (V ) V T Y }. (5.5) Det følger fra (5.3), at T X er en topologi. Det er den groveste topologi, hvori f bliver kontinuert. Omvendt, hvis X =(X, T X ) er et topologisk rum, og f : X Y er en afbildning ind i en mængde Y.Så defineres T Y = {V P(Y ) f 1 (V ) T X }, (5.6) og T Y er en topologi, nemlig den fineste, hvori f er kontinuert (opgave 5.6). Der er et par særligt vigtige specialtilfælde af (5.5) og (5.6), nemlig: Definition 5.9. Lad Y =(Y,T Y ) være et topologisk rum og A Y en delmængde. Så kaldes T A = {V A V T Y } for sportopologien, den inducerede topologi eller underrumstopologien på A. Lemma Lad Y =(Y,T ) være et topologisk rum og A Y en delmængde som vi giver sportopologien. Lad (Z, f) være et par bestående af et topologisk rum Z og en afbildning f : Z A. Såerf kontinuert hvis og kun hvis i f : Z Y er kontinuert. Den universelle egenskab beskrevet i Lemma 5.10 kan illustreres i diagrammet Z f A i i f Y (5.7) 25
27 f er kontinuert i f kontinuert, forudsat at A har sportopologien fra Y,og i er inklusionsafbildningen. Bevis for Lemma Inklusionsafbildningen i er kontinuert, da i 1 (U) = A U. Sammensætning af kontinuerte afbildninger er kontinuert, så hvis f er kontinuert er i f kontinuert. Antag omvendt at i f er kontinuert. Lad U Y være en åben mængde, U T.Såer(i f) 1 (U) =f 1 (i 1 (U)) = f 1 (U A) åben i Z. Daenhveråben mængde i A har formen U A følger heraf at f er kontinuert. Vi bemærker, at en mængde der er åben i A mht. sportopologien, ikke behøver at være åben i Y. F.eks. er den øvre lukkede halvkugle A = {x =(x 1,x 2 ) R 2 x 2 > 0, x 1} åben i enhedskuglen B(0, 1) udstyret med sportopologien fra R 2,daA = B(0, 1) R 2 +, og da den øvre halvplan R2 + af punkter (x 1,x 2 )medx 2 > 0er åben i R 2,menA er ikke åben i R 2. Hvis på den anden side X er en åben delmængde af Y,ogW X er åben i sportopologien, så erw ogsååben i Y,daW = W X for en åben mængde W af Y. Definition Lad π : Y B være en surjektiv afbildning, og T Y topologi på Y.Såkaldes en for kvotienttopologien på B. T B = {V B π 1 (V ) T Y } I lighed med Lemma 5.10 har afbildningen π : Y B den universelle egenskab: Lemma Lad π : Y B være surjektiv, Y et topologisk rum, og lad B have kvotienttopologien. Hvis Z er et topologisk rum og f : B Z en afbildning, så erf kontinuert, hvis og kun hvis f π er kontinuert. Bevis. Der henvises til opgave 5.7 I lighed med (5.7) kan den universelle egenskab med fordel illustreres i diagrammet Y f π π B f Z (5.8) 26
28 Bemærk at (5.8) er dualt til (5.7) i den forstand at det fremkommer fra (5.7) ved at erstatte A med B og vende alle pilene. Kvotienttopologi optræder i forbindelse med ækvivalensrelationer på et topologisk rum Y. Vi minder om at en ækvivalensrelation på Y,erenrelation mellem Y s punkter, som opfylder (i) y y (ii) y 1 y 2 y 2 y 1 (iii) y 1 y 2 og y 2 y 3 y 1 y 3. Eksempel Lad Z n R n betegne punkterne x =(x 1,...,x n ) R n med x i Z for i =1,...,n.Så defineres der en ækvivalensrelation på R n ved følgende x y x y Z n En ækvivalensrelation på Y definerer en opdeling af Y i disjunkte delmængder (ækvivalensklasserne). Lad nemlig [y] ={y Y y y} Dette kaldes ækvivalensklasserne bestemt af y. Bemærk fra (i) (iii), at y [y] og at [y 1 ]=[y 2 ] y 1 y 2.Hvispå den anden side y 1 y 2 såer [y 1 ] [y 2 ]=, day [y 1 ] [y 2 ]medføreraty y 1 og y y 2,ogdermedat y 1 y 2.Viser,atY er en disjunkt forening af sine ækvivalensklasser. Lad B = Y/ := {[y] y Y } og lad π : Y B, der kaldes den kanoniske projektion, være givet ved π(y) =[y]. Dette er en surjektiv afbildning. Omvendt definerer en surjektiv afbildning π : Y B en ækvivalensrelation på Y ved y 1 y 2 π(y 1 )=π(y 2 ), og B = Y/. Der henvises til [L], 2.2 for en mere detaljeret gennemgang af ækvivalensrelationer. Eksempel Mængden af ækvivalensklasser R n / af ækvivalensrelationen defineret i Eksempel 5.13 betegnes R n /Z n. Dette bliver en abelsk gruppe ved at definere [x]+[y] =[x + y], [x] =[ x], 0=[0], 27
29 Den kanoniske projektion π : R n R n /Z n er en homomorfi af abelske grupper med π 1 (0) = [0] =Z n.forn =1har vi π : R R/Z, og vi giver R/Z kvotienttopologien. Enhedscirklen er en delmængde S 1 af R 2.Vigiverdensportopologien,ogladeri : S 1 R 2 være inklusionen. Betragt nu e : R S 1 ; e(t) = (cos(2πt), sin(2πt)). Denne er kontinuert ifølge Lemma 5.10, da i e er kontinuert, og den er surjektiv. Da e er periodisk, e(t + n) =e(t) n Z, kan vi definere en afbildning e : R/Z S 1 ved e([x]) = e(x). Der gælder, at e π = e, oge er en bijektion og en homomorfi af grupper, hvor gruppestrukturen på S 1 induceres af multiplikationen i C = R 2. Det følger fra Lemma 5.12, at e er kontinuert. Vi skal se i næste paragraf, at den inverse afbildning e 1 også er kontinuert (sml. [L], Eksempel 3.4.5). Vi afslutter denne paragraf med at definere den såkaldte produkt topologi på det Cartesiske produkt af to topologiske rum. Vi har brug for: Definition Lad X være en mængde. En familie af delmængder B P(X) kaldesenbasis for X, såfremt (i) For B 1,B 2 Bog x B 1 B 2, findes der B Bså x B B 1 B 2 (ii) B B B = X. Lemma Lad B være en basis for en mængde X. Så udgør samt alle mængder af formen α I B α, B α Ben topologi T på X. Dette kaldes topologien induceret fra B. Bevis. T1 er oplagt. T2 følger fra (i) i ovenstående definition. Thi for x B 1 B 2, findes der et B(x) Bmed x B(x) B 1 B 2, og der gælder derfor, at B 1 B 2 = B(x) T x B 1 B 2 Endelig viser den mængdeteoretiske identitet ( ) ( ) B α B β = B α B β α I β J (α,β) I J at T2 er opfyldt. Betingelse (ii) i Definition 5.15 garanterer at T3 er opfyldt. 28
30 Eksempel I et metrisk rum (X, d) udgør kuglerne B d (x, r), x X og r>0 en basis, og den inducerede topologi er netop T d (sml. Definition 1.6 og opgave 5.8). Lad nu X 1 =(X 1, T 1 )ogx 2 =(X 2, T 2 ) være topologiske rum. Vi vil definere en topologi på det Cartesiske produkt X 1 X 2 af par af elementer (x 1,x 2 ), hvor x i X i,i=1, 2.Deternaturligtatkræve,atdetoprojektionsafbildninger pr 1 : X 1 X 2 X 1, pr 2 : X 1 X 2 X 2 skal være kontinuerte. Vi bruger samme princip som i (5.5), og søger den groveste topologi på X 1 X 2, hvor begge projektioner er kontinuerte. Specielt skal pr 1 1 (U 1 )ogpr 1 2 (U 2 ) tilhøre T X1 X 2 når U ν T ν.bemærkat pr 1 1 (U 1 ) pr 1 2 (U 2 )=U 1 U 2 ikke generelt er af denne form. Vi definerer en basis for X 1 X 2 ved B X1 X 2 = {U 1 U 2 U ν T ν }. (5.9) Betingelse (i) i Definition 5.15 er opfyldt, da B X1 X 2 er lukket under fællesmængde, (U 1 U 2 ) (U 1 U 2 )=(U 1 U 1 ) (U 2 U 2 ), og betingelse (ii) er opfyldt da X 1 X 2 B X1 X 2. Definition Produkttopologien på det Cartesiske produkt X 1 X 2 er topologien induceret fra basen (5.9). Det topologiske rum (X 1 X 2, T X1 X 2 ) kaldes det topologiske produkt af X 1 og X 2. Lemma De to projektionsafbildninger pr 1 : X 1 X 2 X 1 og pr 2 : X 1 X 2 X 2 er kontinuerte. Bevis. Lad U 1 være en åben delmængde af X 1.Såerpr 1 1 (U 1 )=U 1 X 2 B X1 X 2 og dermed åben i X 1 X 2. Tilsvarende for pr 2. 29
31 6 Kompakte rum Hvis x og y er forskellige punkter i et metrisk rum (X, d), så findes åbne mængder U x og U y i X, så U x U y =, thivikanblotvælgeu x = B d (x, r) og U y = B d (y, r), hvor r 1 d(x, y). 2 Denne påstand er ikke rigtig i ethvert topologisk rum, f.eks. ikke i det trivielle topologisk rum, hvor T X = {,X}, med mindre X blot består af ét punkt. Definition 6.1. Et topologisk rum X kaldes et Hausdorff rum, såfremt der for ethvert par af forskellige punkter x, y X findes åbne omegne U af x og V af y med U V =. Lemma 6.2. Lad f : A X være en injektiv kontinuert afbildning. Hvis X er Hausdorff, så era Hausdorff. Bevis. Lad a 1 a 2 være forskellige punkter i A. Såerf(a 1 ) f(a 2 ) og, da X er Hausdorff, findes åbne disjunkte omegne U 1 og U 2 af henholdsvis f(a 1 )ogf(a 2 ). Da f er kontinuert, er f 1 (U 1 )ogf 1 (U 2 )åbne omegne af henholdsvis a 1 og a 2, og de er disjunkte. Bemærk specielt at enhver delmængde af et Hausdorff rum bliver et Hausdorff rum i sportopologien. Lad X =(X, T ) være et topologisk rum, og A en delmængde af X. En familie af åbne delmængder U α T, α I kaldes en åben overdækning af A, såfremt A α I U α. Definition 6.3. En delmængde A afet topologiskrumkaldes quasi-kompakt, hvis der til enhver åben overdækning {U α α I} af A findes en endelig delmængde J I, så {U α α J} allerede er en åben overdækning af A. Hvis A = X i Definition 6.3, så kaldesx et quasi-kompakt rum. Eksempel 6.4. Et lukket begrænset interval [a, b] R er en kompakt delmængde. Thi lad {U α α I} være en åben overdækning af [a, b]. Betragt den begrænsede ikke tomme mængde M = {x [a, b] [a, x] er overdækket af endelig mange U α ere}. Lad m =supm. Der findes et β I såatm U β.dau β er åben indeholder U β et åbent interval (m ε, m + ε) ogm ε M. Derforer[a, m ε] overdækket af endelig mange U α ere, og [a, m+ε/2] vil derfor være indeholdt i disse forenet med U β.vipåstår endelig at m = b. Hvis nemlig m<b, ville argumentet ovenfor vise at [a, m+ε/2] var overdækket af endelig mange U α ere i modstrid med at m =supm. 30
32 Lemma 6.5. En delmængde A af et topologisk rum X er quasi-kompakt, hvis og kun hvis A er et quasi-kompakt rum i sportopologien. Bevis. Lad A X være en quasi-kompakt delmængde af X. LadU α = A V α, α I være åbne mængder i A (med sportopologien), og antag α I U α = A. Såer{V α α I} en åben overdækning af A, og der findes en endelig delmængde J I så α J V α A. Det følger, at α J U α = A, så A er et quasi-kompakt topologisk rum. Antag omvendt, at A er quasi-kompakt i sportopologien, og lad {V α α I} være åbne mængder i X som overdækker A. Såer{V α A α I} åbne mængder i A, og der findes en endelig J I med α J (V α A) =A. Mensåer α J V α A. Definition 6.6. Et topologisk rum kaldes kompakt hvis det er Hausdorff og quasi-kompakt. En delmængde af et topologisk rum kaldes kompakt hvis den er kompakt i sportopologien. Lemma 6.7. Lad X være et Hausdorff rum, og A X en delmængde. Så er følgende to udsagn ækvivalente: (i) A er en kompakt delmængde. (ii) A er et kompakt rum i sportopologien. Bevis. Følger fra Lemma 6.2 og Lemma 6.5 De følgende to sætninger anvendes uhyre ofte i den matematiske litteratur, ofte uden yderligere bemærkninger. Sætning 6.8. Lad X være et Hausdorff rum. (i) Hvis A X er kompakt, så era en lukket delmængde af X. (ii) Hvis X er kompakt, og A X er en lukket delmængde, så era en kompakt delmængde. Bevis. (i): Antag at A er kompakt. Vi skal vise, at X A er åben i X. Ifølge Lemma 5.5 er det nok at vise, at X A =int(x A), eller at X A er en omegn af ethvert af sine punkter. Så ladx X A være et fast punkt. Vi skal finde en åben mængde U x X A, så x U x. Da X er Hausdorff, findes der til hvert a A,åbne omegne V a af a og U a af x med V a U a =. Det er klart, at {V a a A} er en åben overdækning 31
33 af A, ogdaa er forudsat at være kompakt, er der endelig mange punkter a 1,...,a k,såata V a1 V a2 V ak Nu tager vi U x = U a1 U ak. Det er en åben mængde i X, x U x,ogdau ai V ai =, er også (U a1 U ak ) (V a1 V ak )=. Dermed er U x A =. (ii): Antag nu at X er kompakt og A er lukket i X, oglad{u α α I} være en åben overdækning af A. DaX A er åben, vil {U α α I} {X A} være en åben overdækning af X. Der findes derfor en endelig mængde J I, såat U α (X A) =X. α J Da A (X A) = følger heraf, at A α J U α. Sætning 6.9. Lad X være et kompakt rum, Y et Hausdorff rum, og lad f : X Y være en kontinuert afbildning. Da gælder: (i) Billedmængden f(x) er en kompakt delmængde af Y. (ii) Hvis f er bijektiv, så er den inverse afbildning f 1 : Y X kontinuert. Bevis. (i): Lad {V α α I} være en åben overdækning af delmængden f(x) af Y.Daf er kontinuert, er f 1 (V α )åben i X og X α I f 1 (V α ). Thi til x X findes et α I så f(x) V α,ogdermedx f 1 (V α ). Da X er kompakt, findes der en endelig delmængde J I så X α J f 1 (V α ). Dermed er f(x) α J V α. (ii): Vi skal vise, at f 1 : Y X er kontinuert eller med andre ord, at f(u) er åben i Y for enhver åben delmængde U af X. Nu er X U lukket, og ifølge Sætning 6.8(i) dermed kompakt. Sætning 6.9(i) fortæller os, at f(x U) er kompakt, og så ifølge Sætning 6.8(i) også lukket.nuer f(x U) =Y f(u) da f er bijektiv, og det følger, at f(u) eråben. Definition (i) En afbildning f : X Y kaldes åben, hvis f(u) er åben for enhver åben delmængde U af X. 32
34 (ii) f kaldes en lukket afbildning, hvis f(c) er lukket for enhver lukket delmængde C af X. (iii) En homeomorfi f : X Y er en bijektiv afbildning, således at både f og den inverse afbildning f 1 : Y X er kontinuerte. Det er klart, at en homeomorfi f : X Y giver en bijektiv korrespondance f : T X T Y mellem de åbne mængder i X og Y. Homeomorfier er således de strukturbevarende afbildninger mellem topologiske rum; de svarer til isomorfier i algebra. Korollar Lad X og Y være topologiske rum med X quasi-kompakt og Y Hausdorff, og antag at f : X Y er en kontinuert, injektiv afbildning. Såerf : X f(x) en homeomorfi, hvor f(x) har sportopologien fra Y. Bevis. Det følger fra Lemma 6.2, at X er Hausdorff, så f : X f(x) er bijektiv og kontinuert, og f 1 : f(x) X er kontinuert ifølge Sætning 6.9(ii). Eksempel Lad f :( 2, ) R 2 være kurven f(t) =(t 3 4t, t 2 4), se billedet i [dc], 1.2, Eksempel 3, men bemærk, at vi ikke bruger den del af kurven, som ligger i 2. kvadrant. Afbildningen f er kontinuert, endda differentiabel, og den er injektiv, men billedet f( 2, ) R 2 opfattet som et topologisk rum i sportopologien er ikke homeomorf med det åbne interval ( 2, ). Hvorfor ikke? Eksempel Vi konstruerede i Eksempel 5.14 et diagram af kontinuerte afbildninger π R R/Z e e S 1 med e bijektiv og kontinuert, og e = e π. Her har cirklen S 1 R 2 sportopologien og R/Z kvotienttopologien m.h.t. π. DaS 1 er Hausdorff og e er injektiv er R/Z Hausdorff. Da π([0, 1]) = R/Z, og[0, 1] R er kompakt (Heine-Borel), så err/z kompakt ifølge Sætning 6.9. Da e er kontinuert og bijektiv, er e en homeomorfi (korollar 6.11). Afbildningen e er en isomorfi af grupper, så både algebraisk og topologisk er S 1 og R/Z isomorfe. Sætning Lad X 1 og X 2 være kompakte topologiske rum. Så erdet topologiske produkt X 1 X 2 også kompakt. Tilsvarende for quasi-kompakt. 33
35 Beviset opdeles i en række selvstændige lemmaer. Lemma Hvis X 1 og X 2 er Hausdorff rum, så erx 1 X 2 Hausdorff. Bevis. Lad (x 1,x 2 ) (x 1,x 2 ). Hvis x 1 x 1, findes disjunkte åbne omegne U 1 og U 1 af henholdsvis x 1 og x 1 i X 1.Såerpr 1 1 (U 1)ogpr 1 1 (U 1 ) disjunkte åbne omegne af henholdsvis (x 1,x 2 )og(x 1,x 2). Tilsvarende hvis x 1 = x 1 men x 2 x 2. Lemma Projektionen pr 1 er lukket, dvs. pr 1 (C) er lukket i X 1 for enhver lukket delmængde C X 1 X 2. Bevis. Lad C X 1 X 2 være lukket. Vi skal vise, at X 1 pr 1 (C) erenåben omegn af ethvert af sine punkter. Lad x 1 X 1 pr 1 (C) være et fast punkt, og lad y X 2 være vilkårligt. Da B X1 X 2 i (5.9) er en basis for X 1 X 2,og (x 1,y) tilhører den åbne mængde X 1 X 2 C, findes der U y V y B X1 X 2 med (x 1,y) U y V y X 1 X 2 C. Nuer{V y } y X2 en åben overdækning af X 2,ogdaX 2 er (quasi-) kompakt findes der endeligt mange, som allerede overdækker: X 2 = V y1 V yk.vilader Det er en åben mængde i X 1,og U x1 = U y1 U yk. U x1 X 2 = U x1 (V y1 V yk ) U y1 V y1 U yk V yk X 1 X 2 C. Det følger, at U x1 X 1 pr 1 (C). Lemma Lad X og Y være topologiske rum, Y quasi-kompakt, og lad f : X Y være en kontinuert og lukket afbildning. Antag at f 1 (y) er quasi-kompakt for ethvert y Y.SåerX quasi-kompakt. Bevis. Lad {U α } α I være en åben overdækning af X, lady Y.Daf 1 (y) er quasi-kompakt, findes der en endelig delmængde J y I, så {U α } α Jy overdækker f 1 (y). Vi definerer U(y) = U α. α J y Det er en åben delmængde af X, der indeholder f 1 (y). Da X U(y) er lukket, og (X U(y)) f 1 (y) =, erf(x U(y)) en lukket delmængde af Y, som ikke indeholder punktet y. Dens komplement V y = Y f(x U(y)) 34
36 er en åben omegn af y. Vi kan finde et sådant V y for ethvert y Y og får dermed en åben overdækning af Y.DaY er quasi-kompakt, overdækker allerede endeligt mange. Ved at bruge (5.2) og (5.3) ser vi, at Y = V y1 V yk X = f 1 (Y )=f 1 (V y1 ) f 1 (V yk ), f 1 (V y )=X f 1 (f(x U(y))). Da f 1 (f(x U(y))) X U(y) er X f 1 (f(x U(y))) U(y), så X U(y 1 ) U(y k ). Hvert U(y i ) er en endelig forening af U α er, så alt i alt har vi fundet, at endeligt mange U α overdækker X. Det følger induktivt fra Sætning 6.14, at et endeligt produkt af (quasi-) kompakte rum X i er (quasi-) kompakt. Det samme gælder endda for uendelige produkter af (quasi-) kompakte rum. Dette udsagn kaldes Tychonoffs Sætning. Sætning 6.18 (Heine-Borel). I det euklidiske talrum med den sædvanlige topologi gælder at en delmængde A er kompakt, hvis og kun hvis den er lukket og begrænset. Bevis. Hvis A er kompakt, så er A lukket ifølge Sætning 6.8. Men A må også være begrænset, thi hvis vi overdækker R n med kugler af radius 1, så vilen ubegrænset mængde ikke kunne overdækkes af endelig mange. Hvis omvendt A er lukket og begrænset, så era indeholdt i [ K, K] n for tilstrækkeligt stort K>0. Fra Eksempel 6.4 ved vi at [ K, K] er kompakt, og Sætning 6.14 fortællerat[ K, K] n er kompakt. Da A også er lukket, følger fra Sætning 6.8 at A er kompakt. Korollar Lad X være et kompakt rum og f : X R en kontinuert funktion. Så antager f både sin supremumsværdi og sin infimumsværdi. Bevis. Fra Sætning 6.9(i) ved vi at f(x) R er en kompakt mængde og derfor begrænset og lukket ifølge Sætning Det følger, at Tilsvarende for infimum. sup f(x) <, ogat supf(x) f(x). 35
37 7 Den inverse funktions sætning I denne paragraf vender vi tilbage til differentiabilitet for funktioner F : U R m,hvoru er en åben delmængde af R n.ensådan funktion består af m koordinatfunktioner F (x) =(F 1 (x),...,f m (x)), x=(x 1,...,x n ). Vi siger, at F er af klasse C 1, hvis enhver koordinatfunktion F ν (x)erkontinuert differentiabel, dvs. at Fν x i (u) eksisterer for alle u U, ogat Fν x i : U R er kontinuert. Hvis disse n m funktioner har klasse C 1,sigesF at have klasse C 2 o.s.v. Definition 7.1. Lad U R n være åben. En afbildning F : U R m har klasse C k (1 k ), hvis F ν har kontinuerte partielle afledede af alle ordener k. Hvisk =, sigesf at være glat (eller i [dc], differentiabel). For et punkt u U defineres Jacobimatricen i punktet u: DF u = F 1 F 1 x 1 (u)... x n (u)..... F m F x 1 (u)... m x n (u) Det er en m n matrix og giver en lineær afbildning DF u : R n R m, som vi kalder differentialet af F i punktet u. (7.1) Hvis U R n og V R m er åbne mængder, og vi har funktioner F : U R m, G : V R l med F (U) V,så kan vi danne den sammensatte funktion G F : U R l Dens j te koordinatfunktion er (G F ) j (x) =G j (F 1 (x),...,f m (x)). 36
N o t e r t i l G e o m e t r i
N o t e r t i l G e o m e t r i I b M a d s e n o g J o h a n D u p o n t J a n u a r 2 0 0 5 I n s t i t u t f o r M a t e m a t i s k e Fa g D e t N a t u rv i d e n s k a b e l i g e Fa k u l t e t
Læs mereN o t e r t i l G e o m e t r i
N o t e r t i l G e o m e t r i J o h a n D u p o n t o g I b M a d s e n J a n u a r 2 0 0 6 I n s t i t u t fo r M at e m at i s k e Fa g D e t N at u rv i d e n s k a b e l i g e Fa k u lt e t A a r
Læs mereN o t e r t i l G e o m e t r i
N o t e r t i l G e o m e t r i J o h a n D u p o n t o g I b M a d s e n J a n u a r 2 0 0 8 I n s t i t u t fo r M at e m at i s k e Fa g D e t N at u rv i d e n s k a b e l i g e Fa k u lt e t A a r
Læs mereGult Foredrag Om Net
Gult Foredrag Om Net University of Aarhus Århus 8 th March, 2010 Introduktion I: Fra Metriske til Topologiske Rum Et metrisk rum er en mængde udstyret med en afstandsfunktion. Afstandsfunktionen bruges
Læs mereGEOMETRI-TØ, UGE 8. X = U xi = {x i } = {x 1,..., x n }, U α, U α = α. (X \ U α )
GEOMETRI-TØ, UGE 8 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imf.au.dk. Opvarmningsopgave 1. Lad X være en mængde og T familien af alle delmængder
Læs merePunktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013
Punktmængdetopologi Mikkel Stouby Petersen 1. marts 2013 I kurset Matematisk Analyse 1 er et metrisk rum et af de mest grundlæggende begreber. Et metrisk rum (X, d) er en mængde X sammen med en metrik
Læs mere8 Regulære flader i R 3
8 Regulære flader i R 3 Vi skal betragte særligt pæne delmængder S R 3 kaldet flader. I det følgende opfattes S som et topologisk rum i sportopologien, se Definition 5.9. En åben omegn U af p S er således
Læs mereAnalyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X).
Analyse 2 Øvelser Rasmus Sylvester Bryder 3. og 6. september 2013 Gennemgå bevis for Sætning 2.10 Sætning 1. For alle mængder X gælder #X < #P(X). Bevis. Der findes en injektion X P(X), fx givet ved x
Læs mereMASO Uge 5. Topologi i euklidiske rum. Jesper Michael Møller. Uge 5. Formålet med MASO. Department of Mathematics University of Copenhagen
MASO Uge 5 Topologi i euklidiske rum Jesper Michael Møller Department of Mathematics University of Copenhagen Uge 5 Formålet med MASO Oversigt Åbne og afsluttede mængder Det indre, det ydre, afslutningen,
Læs mereGEOMETRI-TØ, UGE 6. . x 1 x 1. = x 1 x 2. x 2. k f
GEOMETRI-TØ, UGE 6 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imfaudk Opvarmningsopgave 1 Lad f : R 2 R være tre gange kontinuert differentierbar
Læs mereMASO Uge 5. Topologi i euklidiske rum. Jesper Michael Møller. Uge 5. Formålet med MASO. Department of Mathematics University of Copenhagen
MASO Uge 5 Topologi i euklidiske rum Jesper Michael Møller Department of Mathematics University of Copenhagen Uge 5 Formålet med MASO Oversigt Åbne og afsluttede mængder Det indre, det ydre, afslutningen,
Læs mereKalkulus 2 - Grænseovergange, Kontinuitet og Følger
Kalkulus - Grænseovergange, Kontinuitet og Følger Mads Friis 8. januar 05 Indhold Grundlæggende uligheder Grænseovergange 3 3 Kontinuitet 9 4 Følger 0 5 Perspektivering 4 Grundlæggende uligheder Sætning
Læs merez 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2
M å l e p u n k t R i e m a n n s k G e o m e t r i E 8 J a ko b L i n d b l a d B l a ava n d 2 5 3 6 7 5 27 oktober 28 I n s t i t u t fo r M at e m at i s k e Fag A a r h u s U n i v e r s i t e t indledning
Læs mereMat H /05 Note 2 10/11-04 Gerd Grubb
Mat H 1 2004/05 Note 2 10/11-04 Gerd Grubb Nødvendige og tilstrækkelige betingelser for ekstremum, konkave og konvekse funktioner. Fremstillingen i Kapitel 13.1 2 af Sydsæters bog [MA1] suppleres her med
Læs mere= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y).
Analyse 2 Øvelser Rasmus Sylvester Bryder 17. og 20. september 2013 Supplerende opgave 1 Lad λ være Lebesgue-målet på R og lad A B(R). Definér en funktion f : [0, ) R ved f(x) = λ(a [ x, x]). Vis, at f(x)
Læs mereSupplerende opgaver. S1.3.1 Lad A, B og C være delmængder af X. Vis at
Supplerende opgaver Analyse Jørgen Vesterstrøm Forår 2004 S.3. Lad A, B og C være delmængder af X. Vis at (A B C) (A B C) (A B) C og find en nødvendig og tilstrækkelig betingelse for at der gælder lighedstegn
Læs mereFunktion af flere variable
Funktion af flere variable Preben Alsholm 6. oktober 2008 1 Funktion af flere variable 1.1 Punktmængder i R k : Definitioner Punktmængder i flerdimensionale rum: Definitioner q Normen af x 2 R k er kxk
Læs mereANALYSE 1, 2014, Uge 6
ANALYSE 1, 2014, Uge 6 Forelæsninger Tirsdag Topologiske begreber i generelle metriske rum, dvs. begreber som åbne og afsluttede delmængder og rand af en mængde. For talrummene R k er disse begreber indført
Læs mereANALYSE 1, 2014, Uge 5
ANALYSE, 204, Uge 5 Afleveringsfrist for Prøve 2 er Tirsdag den 20/5 kl 0:5. Forelæsninger Tirsdag Vi går videre med Afsnit 4 om uniform konvergens af Fourierrækker, hvor hovedsætningen er Sætning 4.3.
Læs mere1: Fundamentale begreber.
Topologi 1 1: Fundamentale begreber. Hvis vi lader henholdsvis O og C betegne de åbne og afsluttede delmængder i et metrisk rum med X som underliggende mængde, mens vi benytter betegnelserne I henholdsvis
Læs mereAnalyse 1, Prøve 4 Besvarelse
Københavns Universitet Prøve ved Det naturvidenskabelige Fakultet juni 2011 1 Analyse 1, Prøve 4 Besvarelse Lad Opgave 1 (50%) M = {T R 2 T er en åben trekant} og lad A : M R være arealfunktionen, dvs.
Læs mereMatematik 2 AN. Matematisk Analyse. Metriske rum. Christian Berg
Matematik 2 AN Matematisk Analyse Metriske rum Christian Berg 1997 Matematisk Afdeling Universitetsparken 5 2100 København Ø c Matematisk Afdeling 1997 Forord Nærværende notehæfte er oprindelig skrevet
Læs mereANALYSE 1. Uge 7, 4. juni juni, 2007
ANALYSE 1 Uge 7, 4. juni - 10. juni, 2007 Forelæsninger Mandag 4. juni Formålet med denne dags forelæsninger er at etablere en overgang til emnet metriske rum, hvis hovedformål er at udvide begreber som
Læs mereFørste konstruktion af Cantor mængden
DYNAMIK PÅ CANTOR MÆNGDEN KLAUS THOMSEN Første konstruktion af Cantor mængden For de fleste der har hørt on Cantor-mængden, er den blevet defineret på flg måde: I = 0 I = I = 0 0 OSV Cantor mængden C er
Læs mere2. Fourierrækker i en variabel
.1. Fourierrækker i en variabel I Kapitel II 7 blev der indført, dels funktionsrummene L p (X, µ) (mere udførligt skrevet L p (X, E, µ)), dels rummene L p (X, µ), der fås af L p (X, µ) ved at funktioner
Læs mere6.1 Reelle Indre Produkter
SEKTION 6.1 REELLE INDRE PRODUKTER 6.1 Reelle Indre Produkter Definition 6.1.1 Et indre produkt på et reelt vektorrum V er en funktion, : V V R således at, for alle x, y V, I x, x 0 med lighed x = 0, II
Læs mere1.1. n u i v i, (u, v) = i=1
1.1 1. Hilbert rum 1.1. Hilbert rum og deres geometri. Definition 1.1. Et komplekst vektor rum V kaldes et indre produkt rum (eller præ-hilbert rum), når det er forsynet med en funktion (, ): V V C, som
Læs mereLineær Algebra, TØ, hold MA3
Lineær Algebra, TØ, hold MA3 Lad mig allerførst (igen) bemærke at et vi siger: En matrix, matricen, matricer, matricerne. Og i sammensætninger: matrix- fx matrixmultiplikation. Injektivitet og surjektivitet
Læs mereAfgør for hver af følgende rækker om den er divergent, betinget konvergent eller absolut konvergent. 2 n. n=1 2n (n + 1)2 1 = 2(n + n+1
Analyse Reeksamen 00 Rasmus Sylvester Bryder 5. august 0 Opgave Afgør for hver af følgende rækker om den er divergent, betinget konvergent eller absolut konvergent. ( ) n n +3n+7 n= n + For alle n N vil
Læs mereSupplerende note om Hilbertrum og Banachrum
Supplerende note om Hilbertrum og Banachrum Jimi Lee Truelsen Om Noten Vi vil i denne note uddybe nogle af emnerne fra de første 3 apitler af [Ve] og komme med nogle eksempler. Det drejer sig især om begreberne
Læs mereaf koblede differentialligninger (se Apostol Bind II, s 229ff) 3. En n te ordens differentialligning
EKSISTENS- OG ENTYDIGHEDSSÆTNINGEN Vi vil nu bevise eksistens- og entydighedssætningen for ordinære differentialligninger. For overskuelighedens skyld vil vi indskrænke os til at undersøge een 1. ordens
Læs mereHilbert rum. Chapter 3. 3.1 Indre produkt rum
Chapter 3 Hilbert rum 3.1 Indre produkt rum I det følgende skal vi gøre brug af komplekse såvel som reelle vektorrum. Idet L betegner enten R eller C minder vi om, at et vektorrum over L er en mængde E
Læs mereEn differentiabel funktion hvis afledte ikke er kontinuert Søren Knudby
24 En differentiabel funktion hvis afledte ikke er kontinuert Søren Knudby Det er velkendt for de fleste, at differentiabilitet af en reel funktion f medfører kontinuitet af f, mens det modsatte ikke gælder
Læs mereEksamen 2014/2015 Mål- og integralteori
Eksamen 4/5 Mål- og integralteori Københavns Universitet Institut for Matematiske Fag Formalia Eksamensopgaven består af 4 opgaver med ialt spørgsmål Ved bedømmelsen indgår de spørgsmål med samme vægt
Læs mereBesvarelses forslag til Tag-hjemeksamen Vinteren 02 03
IMFUFA Carsten Lunde Petersen Besvarelses forslag til Tag-hjemeksamen Vinteren 02 0 Hvor ikke andet er angivet er henvisninger til W.R.Wade An Introduction to analysis. Opgave a) Idet udtrykket e x2 cos
Læs mereSætning (Kædereglen) For f(u), u = g(x) differentiable er den sammensatte funktion F = f g differentiabel med
Oversigt [S] 3.5, 11.5 Nøgleord og begreber Kædereglen i en variabel Kædereglen to variable Test kædereglen Kædereglen i tre eller flere variable Jacobimatricen Kædereglen på matrixform Test matrixform
Læs mereMatematik 2 MA Matematisk Analyse
Matematik 2 MA Matematisk Analyse 1992 93 Kapitel I. Metriske rum FORORD Efterårsdelen af Matematik 2 MA består af metriske rum og mål og integralteori, og nærværende hæfte omhandler metriske rum. De første
Læs mere1 Punktmængdetopologi. metriske rum, fuldstændighed
Punktmængdetopologi, metriske rum, fuldstændighed Morten Grud Rasmussen 23. november 2015 1 Punktmængdetopologi I algebra beskæftiger man sig bl.a. med abstrakte strukturer, hvori forskellige regneoperationer
Læs mereGamle eksamensopgaver (MASO)
EO 1 Gamle eksamensopgaver (MASO) Opgave 1. (Vinteren 1990 91, opgave 1) a) Vis, at rækken er divergent. b) Vis, at rækken er konvergent. Opgave 2. (Vinteren 1990 91, opgave 2) Gør rede for at ligningssystemet
Læs mereNoter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec.
Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. 1 Komplekse vektorrum I defininitionen af vektorrum i Afsnit 4.1 i Niels Vigand Pedersen Lineær Algebra
Læs mereDifferentiabilitet. f(h) = f(x 0 +h) f(x 0 ). y = f(x) f(h) df(h) Figur 1: Tangent, tilvækst og differential. lim. df(h) = f (x 0 )h.
Differentiabilitet 1 Funktioner af én reel variabel Tilvækstfunktionen f med udgangspunkt i x 0 er en reel funktion af tilvæksten : f() = f(x 0 +) f(x 0 ). y = f(x) Tangent (x 0,f(x 0 )) df() f() x 0 x
Læs mereMatematik YY Foråret Kapitel 1. Grupper og restklasseringe.
Matematik YY Foråret 2004 Elementær talteori Søren Jøndrup og Jørn Olsson Kapitel 1. Grupper og restklasseringe. Vi vil i første omgang betragte forskellige typer ligninger og søge efter heltalsløsninger
Læs mereSkriftlig eksamen - med besvarelse Topologi I (MM508)
INSTITUT FOR MATEMATIK OG DATALOGI SYDDANSK UNIVERSITET, ODENSE Skriftlig eksamen - med besvarelse Topologi I (MM508) Mandag d. 14. januar 2007 2 timer med alle sædvanlige hjælpemidler tilladt. Opgavesættet
Læs mereBesvarelse, Eksamen Analyse 1, 2013
Københavns Universitet Prøve ved Det naturvidenskabelige Fakultet juni 23 Besvarelse, Eksamen Analyse, 23 Opgave Lad, for n N, funktionen f n : [, ) R være givet ved NB. Trykfejl. Burde være x. f n (x)
Læs mereNogle grundlæggende begreber
BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element
Læs mereOptimeringsteori. Tenna Andersen, Tina Sørensen, Majbritt Lundborg, Søren Foged, Jeppe Gravers, Kenneth Andersen & Oskar Aver
Optimeringsteori Tenna Andersen, Tina Sørensen, Majbritt Lundborg, Søren Foged, Jeppe Gravers, Kenneth Andersen & Oskar Aver 20/12/2012 Institut for Matematiske Fag Matematik-Økonomi Fredrik Bajers Vej
Læs merePunktmængdetopologi, metriske rum, fuldstændighed. Morten Grud Rasmussen 17. november 2017
Punktmængdetopologi, metriske rum, fuldstændighed Morten Grud Rasmussen 17. november 2017 Indhold 1 Punktmængdetopologi 2 1.1 Topologiske rum................................. 2 1.2 Kontinuitet...................................
Læs mereTaylors formel. Kapitel Klassiske sætninger i en dimension
Kapitel 3 Taylors formel 3.1 Klassiske sætninger i en dimension Sætning 3.1 (Rolles sætning) Lad f : [a, b] R være kontinuert, og antag at f er differentiabel i det åbne interval (a, b). Hvis f (a) = f
Læs mereMM501 forelæsningsslides
MM50 forelæsningsslides uge 36, 2009 Produceret af Hans J. Munkholm Nogle talmængder s. 3 N = {, 2, 3, } omtales som de naturlige tal eller de positive heltal. Z = {0, ±, ±2, ±3, } omtales som de hele
Læs mereBevægelsens Geometri
Bevægelsens Geometri Vi vil betragte bevægelsen af et punkt. Dette punkt kan f.eks. være tyngdepunktet af en flue, et menneske, et molekyle, en galakse eller hvad man nu ellers har lyst til at beskrive.
Læs mereLidt om plane kurver og geometrisk kontinuitet
Lidt om plane kurver og geometrisk kontinuitet Jesper Møller og Rasmus P. Waagepetersen, Institut for Matematiske Fag, Aalborg Universitet September 3, 2003 1 Indledning Dette notesæt giver en oversigt
Læs mereMASO Uge 7. Differentiable funktioner. Jesper Michael Møller. Uge 7. Formålet med MASO. Department of Mathematics University of Copenhagen
MASO Uge 7 Differentiable funktioner Jesper Michael Møller Department of Mathematics University of Copenhagen Uge 7 Formålet med MASO Oversigt Differentiable funktioner R n R m Differentiable funktioner
Læs mere4.1 Lineære Transformationer
SEKTION 41 LINEÆRE TRANSFORMATIONER 41 Lineære Transformationer Definition 411 ([L], s 175) Lad V, W være F-vektorrum En lineær transformation L : V W er en afbildning, som respekterer lineær struktur,
Læs mereFundamentale begreber fra Analysen. Introduktion. De reelle tal. Carsten Lunde Petersen
IMFUFA Carsten Lunde Petersen Fundamentale begreber fra Analysen Introduktion Disse noter udgør et meget ltreret udkik over de grundlæggende begreber i reel analyse. Noten indeholder meget lidt om det
Læs mereGEOMETRI-TØ, UGE 12. A σ (R) = A f σ (f(r))
GEOMETRI-TØ, UGE 12 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imfaudk Opvarmningsopgave 1, [P] 632 Vis at Ennepers flade σ(u, v) = ( u u 3 /3
Læs mereFunktioner af to variable
enote 15 1 enote 15 Funktioner af to variable I denne og i de efterfølgende enoter vil vi udvide funktionsbegrebet til at omfatte reelle funktioner af flere variable; vi starter udvidelsen med 2 variable,
Læs mereAffine og konvekse mængder
Kapitel 3 Affine og konvekse mængder 3.1 Affine mænger Definition 3.1 LadXvære et vektorrum. En delmængde A Xer affin hvis λ 1 x 1 +λ 2 x 2 A for alle x 1, x 2 A og λ 1,λ 2 R med λ 1 +λ 2 = 1. (3.1) Udtrykket
Læs mereImplicit givne og inverse funktioner
Implicit givne og inverse funktioner Morten Grud Rasmussen 1 11. april 2016 1 Implicit givne funktioner I lineær algebra har vi lært meget om at løse lineære ligningsystemer og om strukturen af løsningsmængden.
Læs mereMATEMATIK 11 Eksamensopgaver Juni 1995 Juni 2001, 4. fjerdedel
Juni 2000 MATEMATIK 11 Eksamensopgaver Juni 1995 Juni 2001, 4. fjerdedel Opgave 1. (a) Find den fuldstændige løsning til differentialligningen y 8y + 16y = 0. (b) Find den fuldstændige løsning til differentialligningen
Læs mereMere om differentiabilitet
Mere om differentiabilitet En uddybning af side 57 i Spor - Komplekse tal Kompleks funktionsteori er et af de vigtigste emner i matematikken og samtidig et af de smukkeste I bogen har vi primært beskæftiget
Læs mereKonvergens i L 1 -forstand. Definition af L 1 -seminorm. Topologi i pseudometrisk rum. Seminorm til norm
Definition af L 1 -seminorm Konvergens i L 1 -forstand Lad (X, E, µ) være et målrum. Husk at L(µ) er et reelt vektorrum. Vi definerer f 1 = f dµ for f L Definition En følge af funktioner f 1, f 2, L siges
Læs mere13 Markovprocesser med transitionssemigruppe
13 Markovprocesser med transitionssemigruppe I nærværende kapitel vil vi antage at tilstandsrummet er polsk, hvilket sikrer, at der findes regulære betingede fordelinger. Vi skal se på eksistensen af Markovprocesser.
Læs mereHeisenbergs usikkerhedsrelationer. Abstrakt. Hvorfor? Funktionsrum. Nils Byrial Andersen Institut for Matematik. Matematiklærerdag 2013
Heisenbergs usikkerhedsrelationer Nils Byrial Andersen Institut for Matematik Matematiklærerdag 013 1 / 17 Abstrakt Heisenbergs usikkerhedsrelationer udtrykker at man ikke på samme tid både kan bestemme
Læs mereIndhold. Litteratur 11
Indhold Forord ii 00-sættet 1 Opgave 1....................................... 1 Spørgsmål (a).................................. 1 Spørgsmål (b).................................. 1 Spørgsmål (c)..................................
Læs mereKlassisk Taylors formel
p. 1/17 Klassisk Taylors formel Sætning Lad f : (a, b) R være n gange differentiabel. For x 0, x (a, b) findes et ξ mellem x 0 og x der opfylder at f(x) = f(x 0 )+ f (x 0 ) 1! (x x 0 )+...+ f(n 1) (x 0
Læs mereMatematisk modellering og numeriske metoder. Lektion 8
Matematisk modellering og numeriske metoder Lektion 8 Morten Grud Rasmussen 18. oktober 216 1 Fourierrækker 1.1 Periodiske funktioner Definition 1.1 (Periodiske funktioner). En periodisk funktion f er
Læs mereGruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel.
Gruppeteori Michael Knudsen 8. marts 2005 1 Motivation For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Eksempel 1.1. Lad Z betegne mængden af de hele tal, Z = {..., 2, 1, 0,
Læs mereIntroduktion til differentialregning 1. Jens Siegstad og Annegrethe Bak
Introduktion til differentialregning 1 Jens Siegstad og Annegrete Bak 16. juli 2008 1 Indledning I denne note vil vi kort introduktion til differentilregning, idet vi skal bruge teorien i et emne, Matematisk
Læs mereGRUNDBEGREBER VEDRØRENDE TOPOLOGI, KONVERGENS OG KONTINUITET I EUKLIDISKE RUM. Gert Kjærgård Pedersen November 2002
GRUNDBEGREBER 1 GRUNDBEGREBER VEDRØRENDE TOPOLOGI, KONVERGENS OG KONTINUITET I EUKLIDISKE RUM Gert Kjærgård Pedersen November 2002 Emnerne i disse noter behandles forskellige steder i Sydsæters bøger,
Læs mereMatematisk Metode Notesamling
Matematisk Metode Notesamling Anders Bongo Bjerg Pedersen Stud.Scient, Matematisk Institut, KU 21. november 2005 Bemærkninger til noterne: Hosliggende noter er fra faget Matematisk Metode, afholdt i blok
Læs mereProjekt 1.4 De reelle tal og 2. hovedsætning om kontinuitet
Projekt 1.4 De reelle tal og 2. hovedsætning om kontinuitet Mens den 1. hovedsætning om kontinuerte funktioner kom forholdsvis smertefrit ud af intervalrusebetragtninger, så er 2. hovedsætning betydeligt
Læs merePartielle afledede og retningsafledede
Partielle afledede og retningsafledede 1 Partielle afledede, definitioner og notationer Bertragt en funktion af to reelle variable f : D R, hvor D R 2 er et åbent område Med benyttelse af tilvækstfunktionen
Læs mereTeoretiske Øvelsesopgaver:
Teoretiske Øvelsesopgaver: TØ-Opgave 1 Subtraktion division i legemer: Er subtraktion division med elementer 0 i legemer veldefinerede, eller kan et element b have mere end ét modsat element -b eller mere
Læs mereDen homogene ligning. Vi betragter den n te ordens, homogene, lineære differentialligning. d n y dt n. an 1 + any = 0 (1.2) dt. + a1 d n 1 y dt n 1
1/7 Den homogene ligning Vi betragter den n te ordens, homogene, lineære differentialligning a 0 d n y dt n + a1 d n 1 y dt n 1 hvor a 0,..., a n R og a 0 0. Vi skriver ligningen på kort form som + + dy
Læs mereFordybelsesprojekt Matematik 2, forår 2005 Potensrækker
Fordybelsesprojekt Matematik 2, forår 2005 Potensrækker Arne Jensen 7. 11. marts 2005 1 Indledning I forbindelse med kurset i Reelle og Komplekse Funktioner afholdes et fordybelsesprojekt med et omfang
Læs mere3. Operatorer i Hilbert rum
3.1 3. Operatorer i Hilbert rum 3.1. Riesz repræsentationssætning og den adjungerede operator. Vi vil nu se mere systematisk på lineære afbildninger mellem Hilbert rum. Der er en tradition for at afbildninger
Læs mereOm begrebet relation
Om begrebet relation Henrik Stetkær 11. oktober 2005 Vi vil i denne note diskutere det matematiske begreb en relation, herunder specielt ækvivalensrelationer. 1 Det abstrakte begreb en relation Som ordet
Læs mere1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier
MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober 2017 Miniprojekt: Lineær algebra på polynomier Grupperne forventes at regne de små opgaver i afsnittene 1 5 i løbet af de første 4 halve dage. Dernæst tilføjes
Læs mereKompleks Funktionsteori
Kompleks Funktionsteori Formelræs Holomorfe funktioner Sætning. (Caucy-Riemans ligninger). Funktionen f : G C, f = u+iv er holomorf i z 0 = x 0 + iy 0 hvis og kun hvis i punktet (x 0, y 0 ). du dx = dv
Læs mereDesignMat Uge 1 Gensyn med forårets stof
DesignMat Uge 1 Gensyn med forårets stof Preben Alsholm Efterår 2010 1 Hovedpunkter fra forårets pensum 11 Taylorpolynomium Taylorpolynomium Det n te Taylorpolynomium for f med udviklingspunkt x 0 : P
Læs mereElementær Matematik. Mængder og udsagn
Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er
Læs mereIdenne note giver vi et eksempel på, hvorledes det er vigtigt at holde sig
Analyse : Eulers formel Sebastian rsted 9. maj 015 Idenne note giver vi et eksempel på, hvorledes det er vigtigt at holde sig for øje, hvor de matematiske resultater kommer fra, og hvad de baseres på;
Læs mereDesignMat Uge 1 Repetition af forårets stof
DesignMat Uge 1 Repetition af forårets stof Preben Alsholm Efterår 008 01 Lineært ligningssystem Lineært ligningssystem Et lineært ligningssystem: a 11 x 1 + a 1 x + + a 1n x n = b 1 a 1 x 1 + a x + +
Læs mereAnalyse 1. Mads Friis Anders Friis Anne Ryelund. 25. maj 2018
Analyse 1 Mads Friis Anders Friis Anne Ryelund 25. maj 2018 Indhold Introduktion Aksiomer og den matematiske metode Formalistisk struktur Mængder Introduktion Definitioner Delmængder Fællesmængde og foreningsmængde
Læs mereAsymptotisk testteori
Kapitel 8 Asymptotisk testteori Vi vil nu beskæftige os med den asymptotiske teori for estimation under pæne hypoteser og for test af disse hypoteser. Vi skal især undersøge det forhold at hvis den fulde
Læs mereMATEMATIK 11 Eksamensopgaver Juni 1995 Juni 2001, 3. fjerdedel
MATEMATIK Eksamensopgaver Juni 995 Juni 200, 3. fjerdedel August 998 Opgave. Lad f : R \ {0} R betegne funktionen givet ved f(x) = ex x for x 0. (a) Find eventuelle lokale maksimums- og minimumspunkter
Læs mereDifferentialregning i R k
Differentialregning i R k Lad U R k være åben, og lad h : U R m være differentiabel. Den afledte i et punkt x U er Dh(x) = h 1 (x) x 1 h 2 (x) x 1. h m (x) x 1 h 1 (x) x 2... h 2 (x) x 2.... h m (x) x
Læs mereEksamensnoter til Analyse 1
ksamensnoter til Analyse 1 Martin Geisler gimpster@daimi.au.dk Sommer 23 Indledning Disse noter gennemgår de 26 spørgsmål stillet til den mundtlige eksamen i Analyse 1 ved Aarhus Universitet sommeren 23.
Læs mereAntag at. 1) f : R k R m er differentiabel i x, 2) g : R m R p er differentiabel i y = f(x), . p.1/18
Differentialregning i R k Kæderegel Lad U R k være åben, og lad h : U R m være differentiabel Antag at Den afledte i et punkt x U er Dh(x) = 1) f : R k R m er differentiabel i x, 2) g : R m R p er differentiabel
Læs mereHilbert rum. Chapter Indre produkt rum
Chapter 4 Hilbert rum 4.1 Indre produkt rum I det følgende skal vi gøre brug af komplekse såvel som reelle vektorrum. Idet L betegner enten R eller C minder vi om, at et vektorrum over L er en mængde E
Læs merez + w z + w z w = z 2 w z w = z w z 2 = z z = a 2 + b 2 z w
Komplekse tal Hvis z = a + ib og w = c + id gælder z + w = (a + c) + i(b + d) z w = (a c) + i(b d) z w = (ac bd) + i(ad bc) z w = a+ib c+id = ac+bd + i bc ad, w 0 c +d c +d z a b = i a +b a +b Konjugation
Læs mere83 - Karakterisation af intervaller
83 - Karakterisation af intervaller I denne opgave skal du bevise, at hvis A er en delmængde af R med følgende egenskab: x, y, z R : x, y A og x < z < y z A (1) så er A enten et interval eller en mængde
Læs mereIntroduktion til Laplace transformen (Noter skrevet af Nikolaj Hess-Nielsen sidst revideret marts 2013)
Introduktion til Laplace transformen (oter skrevet af ikolaj Hess-ielsen sidst revideret marts 23) Integration handler ikke kun om arealer. Tværtimod er integration basis for mange af de vigtigste værktøjer
Læs mere12.1 Cayley-Hamilton-Sætningen
SEKTION 12.1 CAYLEY-HAMILTON-SÆTNINGEN 12.1 Cayley-Hamilton-Sætningen Sætning 12.1.1 (Cayley-Hamilton) Lad A Mat n,n (C). Så gælder p A (A) =. Sætningen gælder faktisk over et vilkårligt legeme, men vi
Læs mereMatematisk modellering og numeriske metoder. Lektion 5
Matematisk modellering og numeriske metoder Lektion 5 Morten Grud Rasmussen 19. september, 2013 1 Euler-Cauchy-ligninger [Bogens afsnit 2.5, side 71] 1.1 De tre typer af Euler-Cauchy-ligninger Efter at
Læs mereNATURVIDENSKABELIG KANDIDATEKSAMEN VED KØBENHAVNS UNIVERSITET. MI 2007 Obligatorisk opgave 4
NATURVIDENSKABELIG KANDIDATEKSAMEN VED KØBENHAVNS UNIVERSITET. MI 2007 Obligatorisk opgave 4 Sættet består af 3 opgaver med ialt 15 delopgaver. Besvarelsen vil blive forkastet, medmindre der er gjort et
Læs meret a l e n t c a m p d k Kalkulus 1 Mads Friis Anders Friis Anne Ryelund Signe Baggesen 10. januar 2015 Slide 1/54
Slide 1/54 Indhold 1 2 3 4 5 Slide 2/54 Indhold 1 2 3 4 5 Slide 3/54 1) Hvad er et aksiom? Slide 4/54 1) Hvad er et aksiom? 2) Hvorfor har vi brug for aksiomer? The Monty Hall Problem Slide 4/54 1) Hvad
Læs mereMat2AN Minilex. Indhold. Henrik Dahl 6. januar Definitioner 2. 2 Sætninger Uligheder 28
Mat2AN Minilex Henrik Dahl hdahl@tdc-broadband.dk 6. januar 2004 Resumé ADVARSEL - dette er et total underground-dokument!. Det er livsfarligt at bruge ukritisk. Der er næsten sikkert graverende fejl.
Læs mereFunktionsrum. Kapitel 1. 1.1 Funktionsrummet L = L(X, E, µ)
Kapitel Funktionsrum. Funktionsrummet L = L(X, E, µ) For et vilkårligt målrum (X,E,µ) er mængdenl=l(x,e,µ) afµ-integrable funktioner f :X R et reelt vektorrum ifølge Theorem 7.3 i [EH]. Hvis vi indfører
Læs mere