Forord. H.Holm & M.M.Larsen INDHOLD

Størrelse: px
Starte visningen fra side:

Download "Forord. H.Holm & M.M.Larsen INDHOLD"

Transkript

1 INDHOLD Indhold 1 Extensioner af K med C(X) Extensioner og monomorfier Essentielt normale operatorer Cuntz-isometrier En komposition på Ext(X) Positive afbildninger Fuldstændigt positive afbildninger, Stinesprings sætning Fuldstændighed af P 1 (A, B) Løft af positive afbildninger Ext(X) som gruppe Indeksafbildningen Eksemplet: Ext(T) Spektre for diagonaloperatorer Ext for delmængder af R Ext som funktor Kategorierne KM og AG Funktoren Ext Halvexakthed af Ext Disjunkt forening Mayer-Vietoris følge Ext og projektiv limes Anvendelser. 51 A Disjunkt forening. 53 B Totalt usammenhængende rum. 54 C Den projektive limes. 55 i

2 H.Holm & M.M.Larsen INDHOLD Forord Dette fagprojekt er udarbejdet i foråret 99 i forlængelse af et kursus i K-teori for C -algebraer, afholdt af Mikael Rørdam efteråret 98. I begyndelsen af arbejdsprocessen havde vi et håb om, at dette projekt skulle nå langt. Vores hovedlitteratur var [4]. Vi var i lang tid af den opfattelse, at det var en god fremstilling vi her havde i hænde, men efter at have brugt adskillige timer på nærlæsning, og efter gentagne gange at støde på, hvad vi opfatter som mangler og unøjagtigheder, ændrede vores positive indstilling sig. Vi blev enige om, at hvis projektets indhold var noget, som vi selv skulle kunne stå inde for, så var vi nødt til at bruge kræfter på at give en grundig og stringent fremstilling, og følgende er et forsøg herpå. Omkostningen blev en reduktion af projektets omfang, ikke i antallet af sider, men i antallet af resultater fra den videregående BDF-teori. Det er vores spinkle håb, at hvis andre studerende ønsker at beskæftige sig med BDF-teori, da vil nærværende fremstilling kunne tjene som et godt udgangspunkt for et videre studium. For generelle resultater i C -algebrateori henviser vi til Murphys bog [6]. Henrik Holm Mikkel M. Larsen København, juni ii

3 1 Extensioner af K med C(X) 1.1 Extensioner og monomorfier. Lad H være et (fast) komplekst uendeligdimensionalt separabelt Hilbertrum, og lad B f (H) resp. K = K(H) være idealet af endeligdimensionale resp. kompakte operatorer i B(H). U(H) er mængden af unitære operatorer i B(H). Med Q(H) betegnes Calkinalgebraen B(H)/K, og π: B(H) Q(H) er kvotienthomomorfien. Endelig lader vi X være et kompakt metrisk rum. Ved en extension af K med C(X) forstås et par (E,ϕ), hvor E er en C -delalgebra af B(H) indeholdende K samt enheden I B(H), og hvor ϕ: E C(X) er en -homomorfi, således at følgen 0 K ι ϕ E C(X) 0 er exakt. Bemærk at ϕ automatisk bliver unital, idet ϕ er surjektiv. Mængden af extensioner af K med C(X) betegnes Ext(X). Vi siger, at (E,ϕ) splitter (er triviel), hvis følgen ovenfor er splitexakt, hvilket vil sige, at der findes -homomorfi λ:c(x) E så ϕλ = id C(X). En -monomorfi er som sædvanlig en injektiv -homomorfi. Det viser sig at være relevant at betragte unitale -homomorfier resp. unitale -monomorfier fra C(X) ind i Q(H), og mængden af disse betegnes Hom(X) resp. Mon(X). Vi siger at τ Hom(X) splitter (er triviel), såfremt der findes -homomorfi ρ : C(X) B(H) med τ = πρ. Vi illustrerer : τ C(X) Q(H) ρ π B(H) Bemærk, at τ er injektiv netop hvis ρ er injektiv og Im(ρ) K = 0. Man kan faktisk antage ρ(1) = I, thi under alle omstændigheder er P = ρ(1) en projektion i B(H), og vælges nu x 0 X, vil ρ : C(X) B(H), f ρ(f) + f(x 0 )(I P) være en -homomorfi med ρ (1) = I og πρ = πρ = τ, idet jo π(p) = πρ(1) = τ(1) = π(i). Det virker naturligt, at opfatte visse extensioner, såvel som -homomorfier, for ækvivalente, og derfor indfører vi Definition 1.1 For (E 1,ϕ 1 ),(E 2,ϕ 2 ) Ext(X) sættes (E 1,ϕ 1 ) (E 2,ϕ 2 ) såfremt der findes unitær U B(H) med (Ad U)(E 1 ) = E 2 og ϕ 1 = ϕ 2 Ad U. For τ 1,τ 2 Hom(X) sættes τ 1 τ 2, hvis der findes en unitær U B(H) således at τ 1 = Ad π(u)τ 2. Bemærkning 1.2 Det ses let, at der herved defineres ækvivalensrelationer i både Ext(X) og Hom(X), og dermed også i Mon(X). Vedrørende ækvivalensen i Ext(X), er det faktisk nok at kræve eksistensen af en eller anden -isomorfi ψ: E 1 E 2 med ϕ 1 = ϕ 2 ψ. Da vil ψ nemlig automatisk have formen Ad U for en unitær U B(H) (se f.eks [4, side 253]). Vi får dog ikke brug for dette. Lemma 1.3 Hvis U U(H), da vil (Ad U)(K) = K. 1

4 H.Holm & M.M.Larsen 1 EXTENSIONER AF K MED C(X) Bevis. Det er klart, at (Ad U)(B f (H)) = B f (H), og derfor også (Ad U)(K) = (Ad U)(B f (H)) = (Ad U)(B f (H)) = B f (H) = K som ønsket. Lemma 1.4 Antag τ, σ Hom(X) med τ σ. Hvis τ splitter, da vil også σ splitte, og hvis τ Mon(X), da vil også σ Mon(X). Bevis. Vi har σ = Ad π(u)τ for et U U(H). Påstanden om Mon(X) er klar, idet Ad π(u) er en -isomorfi. For split bemærkes, at hvis τ = πρ, da vil σ = π(ad U ρ). Fundamentallemma 1.5 Ved fastsættelserne Φ : Ext(X) Mon(X), Φ(E,ϕ)(f) = πϕ 1 (f) Ψ : Mon(X) Ext(X), Ψ(τ) = (π 1 (τ(c(x))),τ 1 π) hvor ϕ 1 (f) betegner et eller andet løft af f til E, defineres afbildninger, der er hinandens inverse. Ved denne bijektive korrespondance gælder, at når (E i,ϕ i ) Ext(X) med τ i = Φ(E i,ϕ i ) Mon(X) for i = 1,2, da vil (E 1,ϕ 1 ) (E 2,ϕ 2 ) τ 1 τ 2 (E 1,ϕ 1 ) splitter τ 1 splitter. Bevis. Hvis T 1,T 2 E begge opfylder ϕ(t 1 ) = f = ϕ(t 2 ), da er ϕ(t 1 T 2 ) = 0, hvormed T 1 T 2 K og dermed π(t 1 ) = π(t 2 ). Altså er Φ(E,ϕ) : C(X) Q(H) en veldefineret afbildning, og det ses let, at det faktisk er en -homomorfi. For at vise, at Φ(E, ϕ) er injektiv, antages at Φ(E,ϕ)(f) = 0. Vælg T E så ϕ(t) = f. Da 0 = Φ(E,ϕ)(f) = π(t), er T K = Ker(ϕ), hvormed f = ϕ(t) = 0. Endvidere er Φ(E, ϕ) unital, idet Φ(E,ϕ)(1) = πϕ 1 (1) = π(i) = 1 Q(H). Dette etablerer Φ. Hvis τ Mon(X), er E = π 1 (τ(c(x))) klart en C -delalgebra af B(H) indeholdende K, men også I, idet jo π(i) = τ(1) τ(c(x)). Da π(e) = τ(c(x)), er det klart, at τ 1 π afbilder E (veldefineret og) surjektivt på C(X). Da også Ker(τ 1 π) = Ker(π) = K, etableres altså Ψ. Vi ser nu at Φ Ψ = id Mon(X), idet der for alle f C(X) gælder (Φ Ψ)(τ)(f) = Φ(π 1 (τ(c(x))),τ 1 π)(f) = π(t) [hvor τ 1 π(t) = f] = τ(f) = id Mon(X) (τ)(f). Herefter vises Ψ Φ = id Ext(X). Sæt (E,ϕ ) = (Ψ Φ)(E,ϕ) og τ = Φ(E,ϕ). Da er E = π 1 (τ(c(x))) = π 1 (πϕ 1 (C(X))) = π 1 (π(e)) = E. Vi har også ϕ = ϕ. For T E = E er nemlig τ(ϕ(t)) = π(t) (pr. definition af τ), og derfor ϕ(t) = τ 1 (π(t)) = ϕ (T). 2

5 1.1 Extensioner og monomorfier. Dette etablerer den påståede bijektive korrespondance, og tilbage er derfor kun at vise de to biimplikationer. Antag først, at (E 1,ϕ 1 ) (E 2,ϕ 2 ), dvs. der findes U U(H) så (Ad U)(E 1 ) = E 2 og ϕ 1 = ϕ 2 Ad U. For f C(X) er nu (Ad π(u)τ 1 )(f) = Ad π(u)(π(t)) [hvor ϕ 1 (T) = f] = π(u)π(t)π(u) = π(utu ) = π((ad U)(T)) = τ 2 (f), fordi ϕ 2 (Ad U (T)) = ϕ 1 (T) = f. Dermed er vist, at τ 1 τ 2. Antag omvendt at τ 1 τ 2, dvs. der findes U U(H), så τ 2 = Ad π(u)τ 1. Hvis T E 1 er π(t) τ 1 (C(X)), hvormed π(t) = τ 1 (f) for et f C(X). Nu er π((ad U)(T)) = π(utu ) = π(u)π(t)π(u ) = π(u)τ 1 (f)π(u ) = (Ad π(u)τ 1 )(f) = τ 2 (f), og derfor er (Ad U)(T) π 1 (τ 2 (C(X))) = E 2. Vi har hermed vist, at (Ad U)(E 1 ) E 2. Tilsvarende vises (Ad U )(E 2 ) E 1, og så fås E 2 = (Ad U Ad U )(E 2 ) (Ad U)(E 1 ). Dette viser (Ad U)(E 1 ) = E 2. Endvidere er ϕ 1 = ϕ 2 Ad U, idet der for T E 1 gælder (τ 2 ϕ 2 Ad U)(T) = τ 2 ϕ 2 (UTU ) = π(utu ) = Ad π(u)(π(t)) = Ad π(u)(τ 1 ϕ 1 (T)) = (τ 2 ϕ 1 )(T). Injektiviteten af τ 2 giver nu det ønskede. Dette viser første biimplikation, medens den anden indses på denne måde : Hvis (E 1,ϕ 1 ) splitter, findes en -homomorfi σ : C(X) E 1, så ϕ 1 σ = id C(X). For f C(X) er nu T = σ(f) E 1 med ϕ 1 (T) = ϕ 1 σ(f) = f, hvormed τ 1 (f) = π(t) = πσ(f). Altså er τ 1 = πσ, så τ 1 splitter. Antag omvendt, at τ 1 splitter, dvs. der findes en -homomorfi ρ : C(X) B(H), så τ 1 = πρ. Da πρ(c(x)) = τ 1 (C(X)), er ρ(c(x)) π 1 τ 1 (C(X)) = E 1, så vi har faktisk en afbildning ρ : C(X) E 1. Endelig fås for f C(X) (ϕ 1 ρ)(f) = (τ 1 1 π)(ρ(f)) = τ 1 1 τ 1 (f) = f = id C(X) (f). Dette viser at (E 1,ϕ 1 ) splitter, og dermed fundamentallemmaet. Definition 1.6 Med Ext(X), Hom(X) og Mon(X) betegnes mængden af ækvivalensklasser i resp. Ext(X), Hom(X) og Mon(X) med hensyn til. Ækvivalensklasser med hensyn til betegnes med [ ]. 3

6 H.Holm & M.M.Larsen 1 EXTENSIONER AF K MED C(X) Fundamentallemmaet giver en kanonisk bijektion mellem Ext(X) og Mon(X). Vi skal senere vise, at mængden af trivielle elementer i Mon(X) udgør en ækvivalensklasse, og det vil de trivielle elementer i Ext(X) derfor også gøre. Vi vil fremover gøre hyppigt brug af identifikationen af Ext(X) med Mon(X). Vi vil også indføre en komposition på Mon(X), som vi via bijektionen kan trække tilbage til en komposition i Ext(X). Først et vigtigt eksempel på extensioner. 1.2 Essentielt normale operatorer. Definition 1.7 En operator T B(H) kaldes essentielt normal, såfremt π(t) er normal i Calkinalgebraen Q(H), altså hvis T T TT K. Vi skal nu se, hvorledes en essentielt normal operator T B(H) giver anledning til en extension af K med C(sp ess (T)). Vi sætter E T = π 1 (C (π(t),π(i))), der klart er en C -delalgebra af B(H) indeholdende K og enheden I B(H), samt T. Vi har endda følgende konkrete billede E T = C (T,I) + K, (1) thi er klar, og ses således : Hvis S E T, vil π(s) C (π(t),π(i)). Vi kan derfor finde en følge (p n ) af polynomier i to variable, således at limπ(p n (T,T )) = π(s). Da π(c (T,I)) er en afsluttet delmængde af Q(H), må π(s) π(c (T,I)) - altså er S C (T,I) + K. Ovenstående holder selvfølgelig for hvert T B(H). Men i tilfældet, hvor T er essentielt normal, kan vi betragte funktionskalkylen for π(t) : Φ T : C(sp ess (T)) C (π(t),π(i)), f f(π(t)). Lad π : E T C (π(t),π(i)) være -homomorfien π, blot opfattet som afbildning af E T på billedet. Da er selvfølgelig π surjektiv og har K som kerne. Med ϕ T = Φ 1 T π får vi derfor en exakt følge 0 K ι E T ϕ T C(sp ess (T)) 0. Derfor definerer (E T,ϕ T ) et element i Ext(sp ess (T)). Det er klart, at ϕ T (I) = 1 og ϕ T (T) = z, hvor z : sp ess (T) C er inklusionsafbildningen. Vi noterer Sætning 1.8 Hvis T er en essentielt normal operator, da giver T anledning til en extension 0 K ι E T ϕ T C(sp ess (T)) 0 af K med C(sp ess (T)). Her er E T = C (T,I)+K, og ϕ T sender T over i inklusionsafbildningen z : sp ess (T) C. Definition 1.9 Hvis S,T B(H), da kaldes S og T unitært ækvivalente modulo de kompakte operatorer (eller kort : kompalente), såfremt der findes U U(H) med S UTU K, altså π(s) = π(u)π(t)π(u ). 4

7 1.3 Cuntz-isometrier. Man ser, at der herved er defineret en ækvivalensrelation c i B(H), som vi kalder kompalens. Den næste sætning udtaler sig om, hvorledes man for essentielt normale operatorer kan udtale sig om kompalens ved hjælp af extensionsteori. Sætning 1.10 Lad T 1,T 2 B(H) være essentielt normale. Da er følgende betingelser ækvivalente (1) T 1 og T 2 er kompalente. (2) T 1 og T 2 har samme essentielle spektrum X, og E T1, E T2 er ækvivalente extensioner af K med C(X). Bevis. For nemheds skyld skrives E i = E Ti og ϕ i = ϕ Ti for i = 1,2. (1) (2). Antag T 1 og T 2 er kompalente. Find U U(H) med π(t 1 ) = π(u)π(t 2 )π(u ). Heraf fremgår det, at T 1 og T 2 har samme essentielle spektrum X. Sættes ψ = Ad U skal det vises, at ψ(e 1 ) = E 2 og ϕ 2 ψ = ϕ 1. Da ψ(i) = I E 2, ψ(t 1 ) T 2 + K E 2 og ψ(k) = K E 2, vil ψ(e 1 ) E 2. Tilsvarende vises ψ 1 (E 2 ) E 1, og man konkluderer ψ(e 1 ) = E 2. For at vise, at ϕ 2 ψ = ϕ 1, er det nok at vise ϕ 2 ψ(k) = ϕ 1 (K) for enhver kompakt K K, ϕ 2 ψ(t 1 ) = ϕ 1 (T 1 ) og ϕ 2 ψ(i) = ϕ 1 (I). Dette ses således : For K K er ϕ 2 ψ(k) = 0 = ϕ 1 (K). Endvidere er ψ(t 1 ) T 2 K, og derfor ϕ 2 ψ(t 1 ) = ϕ 2 (T 2 ) = z = ϕ 1 (T 1 ). Endelig viser udregningen ϕ 2 ψ(i) = ϕ 2 (I) = 1 = ϕ 1 (I) det ønskede. (2) (1). Antag (2) og lad U U(H) være valgt, så ψ = AdU implementerer ækvivalensen. Vi finder så ϕ 2 (T 2 UT 1 U ) = ϕ 2 (T 2 ) ϕ 2 ψ(t 1 ) = ϕ 2 (T 2 ) ϕ 1 (T 1 ) = z z = 0, og derfor er T 2 UT 1 U Ker ϕ 2 = K. Altså er T 1 og T 2 kompalente. Vi har hermed set, at extensioner optræder som en naturlig ingrediens i operatorteorien, og dette burde være nok til at retfærdiggøre studiet af extensioner af K med C(X). 1.3 Cuntz-isometrier. Dette afsnit er en lille diskussion om nogle generelle vigtige afbildninger, som konsekvent bliver benyttet i de efterfølgende paragraffer. Fremgangsmåden (Cuntz-isometrier) er ikke standard i den litteratur, vi har benyttet. Derimod har M. Rørdam hele tiden peget på, at dette kunne være en fornuftig fremstilling. For k = 1,2 betragtes de begrænsede operatorer p k ι k : H 2 H, projektionen på k te koordinat : H H 2, indlejringen k te koordinat. Her er p k afstandsformindskende og ι k en isometri opfyldende p k = ι k, ι 1 p 1 + ι 2 p 2 = id H 2, p k ι k = id H, p k ι l = 0 for k l. 5

8 H.Holm & M.M.Larsen 1 EXTENSIONER AF K MED C(X) Dernæst får vi brug for at minde om den velkendte -isomorfi Ω : M 2 (B(H)) B(H 2 ), som er givet ved ( T11 T Ω 12 T 21 T 22 )( x1 x 2 ) = ( T11 x 1 + T 12 x 2 T 21 x 1 + T 22 x 2 ), eller om man vil ( T11 T Ω 12 T 21 T 22 ) = 2 ι k T kl p l. k,l=1 Ω har den inverse Ω 1, bestemt ved udtrykket ( ) Ω 1 p1 Tι (T) = 1 p 1 Tι 2. p 2 Tι 1 p 2 Tι 2 Definition 1.11 Hvis H 1 og H 2 er Hilbertrum og hvis V i B(H i ), da betegner V 1 V 2 som sædvanlig operatoren i B(H 1 H 2 ) givet ved, at V i virker på i te plads, i = 1,2. Bemærk straks, at når U,V B(H), da er altså ( U 0 U V = Ω 0 V ) B(H 2 ). Definition 1.12 Hvis S 1 og S 2 er isometrier i B(H) opfyldende S 1 S1 + S 2S2 (S 1,S 2 ) for er par af Cuntz-isometrier i B(H). = I, da kaldes Bemærkning 1.13 Cuntz-algebraen O n kan defineres som C -algebraen frembragt af n elementer S 1,...,S n opfyldende Si S i = 1 og n i=1 S isi = 1. Disse algebraer blev for første gang studeret af J. Cuntz i [3]. Sætning 1.14 For Hilbertrummet H gælder (1) Der findes et par af Cuntz-isometrier i B(H). (2) Hvis (S 1,S 2 ) er et par af Cuntz-isometrier i B(H), da vil S 1 S 2 = S 2 S 1 = 0 samt S 1 S 1 = S 2 S 2 = I. (3) Hvis (S 1,S 2 ) og (T 1,T 2 ) er par af Cuntz-isometrier i B(H), da er U = S 1 T 1 + S 2T 2 U(H) med S i = UT i for i = 1,2. Bevis. (1) Da H er -dimenisonalt findes afsluttet underrum L af H så dim(l) = dim(l ) = dim(h). Hvis P 1 er projektionen på L, er P 2 = I P 1 projektionen på L, og åbenbart dimp 1 (H) = dimp 2 (H) = dimi(h). Altså er P i Murray-von Neumann ækvivalent med I, og vi kan derfor finde S i B(H) med S i S i = I og S i S i = P i. Dermed er (S 1,S 2 ) er par af Cuntz-isometrier. (2) Identiteten S i S i = I er fordi S i er en isometri. Da S 2 S 1 = (S 1 S 2), er det nok at vise S 1 S 2 = 0. Idet S 1 = S 1I = S 1S 1 S 1 + S 1S 2 S 2 = S 1 + S 1S 2 S 2, 6

9 1.3 Cuntz-isometrier. er altså S 1 S 2S 2 = 0, og derfor S 1 S 2 2 = (S 1 S 2)(S 1 S 2) = (S 1 S 2S 2 )S 1 = 0. (3) Af (2) følger UT i = S i. En udregning giver UU = (S 1 T 1 + S 2T 2 )(T 1S 1 + T 2S 2 ) = S 1 T 1 T 1 S 1 + S 1 T 1 T 2 S 2 + S 2 T 2 T 1 S 1 + S 2 T 2 T 2 S 2 = S 1 S 1 + S 2 S 2 = I, og tilsvarende U U = I. Altså U U(H). Definition 1.15 For et par S = (S 1,S 2 ) af Cuntz-isometrier i B(H) defineres Λ S : B(H) M 2 (B(H)) samt Γ S : Q(H) M 2 (Q(H)) ved ( S Λ S (T) = 1 TS 1 S1 TS ) 2 S2 TS 1 S2 TS 2 for T B(H) og a Q(H). Γ S (a) = Λ 1 S T 21 T 22 ( π(s 1 )aπ(s 1 ) π(s 1 )aπ(s 2) π(s 2 )aπ(s 1) π(s 2 )aπ(s 2) Det er ganske enkelt at vise, at der herved defineres unitale -isomorfier med inverser ( ) T11 T 12 = 2 i,j=1 S it ij Sj ( Γ 1 a11 a 12 S a 21 a 22 ) ) = 2 i,j=1 π(s i)a ij π(s j ), hvor T ij B(H) og a ij Q(H). Endvidere har vi det kommutative diagram B(H) Λ S M 2 (B(H)) π Q(H) Γ S π M 2 (Q(H)) hvor selvfølgelig ( T11 T π 12 T 21 T 22 ) = ( π(t11 ) π(t 12 ) π(t 21 ) π(t 22 ) ), T ij B(H). Sætning 1.16 Hvis S = (S 1,S 2 ) er et par af Cuntz-isometrier i B(H), da findes unitær W B(H 2,H) så ( ) Λ 1 T1 0 S = W(T 0 T 1 T 2 )W 2 for alle T 1,T 2 B(H). 7

10 H.Holm & M.M.Larsen 1 EXTENSIONER AF K MED C(X) Bevis. Sæt W = S 1 p 1 + S 2 p 2 B(H 2,H). Det er da ganske let at indse WW = id H og W W = id H 2. Altså er W unitær. Identiteten følger af udregningen W(T 1 T 2 )W = (S 1 p 1 + S 2 p 2 )(ι 1 T 1 p 1 + ι 2 T 2 p 2 )(ι 1 S 1 + ι 2S 2 ) = (S 1 T 1 p 1 + S 2 T 2 p 2 )(ι 1 S 1 + ι 2 S 2) = S 1 T 1 S1 + S 2 T 2 S2 ( ) = Λ 1 T1 0 S. 0 T En komposition på Ext(X). Definition 1.17 For τ 1,τ 2 Hom(X) defineres diag(τ 1,τ 2 ) : C(X) M 2 (Q(H)), f ( τ1 (f) 0 0 τ 2 (f) ). For par S = (S 1,S 2 ) af Cuntz-isometrier i B(H) sættes dernæst τ 1 S τ 2 = Γ 1 S diag(τ 1,τ 2 ) : C(X) Q(H). Bemærkning 1.18 Det ses let, at ovenstående afbildninger faktisk er unitale -homomorfier, og S definerer således en komposition i Hom(X). Endvidere fremgår det, at hvis enten τ 1 eller τ 2 tilhører Mon(X), da vil også τ 1 S τ 2 tilhøre Mon(X) - specielt vil S definere en komposition i Mon(X). Lemma 1.19 For par S = (S 1,S 2 ) af Cuntz-isometrier i B(H) samt τ 1,τ 2,τ 3 Hom(X) gælder (1) Hvis τ 1 σ 1 og τ 2 σ 2, da vil (τ 1 S τ 2 ) (σ 1 S σ 2 ) (2) (τ 1 S τ 2 ) (τ 2 S τ 1 ) (3) τ 1 S (τ 2 S τ 3 ) (τ 1 S τ 2 ) S τ 3. Bevis. Antag τ i σ i, dvs. der findes U i U(H) så τ i = Ad π(u i )σ i. Dermed bliver ( ) U1 0 W 1 = U(M 0 U 2 (B(H))), 2 hvorfor V 1 = Λ 1 S (W 1) U(H). Man tjekker let, at τ 1 S τ 2 = Ad π(v 1 )(σ 1 ϕ σ 2 ), som ønsket. Vedrørende næste ækvivalens bemærkes at ( ) 0 I W 2 = U(M I 0 2 (B(H))), hvorfor også V 2 = Λ 1 S (W 2) U(H). Herefter vises τ 2 S τ 1 = Ad π(v 2 )(τ 1 S τ 2 ). 8

11 1.4 En komposition på Ext(X). Dette viser anden påstand. For den sidste påstand sættes ( ) S W 3 = 1 0 S 1 S2 M S 2 (B(H)). 2 Man viser nu, at faktisk W 3 er unitær i M 2 (B(H)), hvorfor også V 3 = Λ 1 S (W 3) U(H). Lidt regnearbejde viser nu og dermed lemmaet. τ 1 S (τ 2 S τ 3 ) = Ad π(v 3 )((τ 1 S τ 1 ) S τ 3 ), Man kan spørge sig selv hvad der sker hvis man benytter et andet par T = (T 1,T 2 ) af Cuntz-isometrier i stedet for. Svaret er Lemma 1.20 Hvis S = (S 1,S 2 ) og T = (T 1,T 2 ) begge er par af Cuntz-isometrier i B(H) og hvis τ 1,τ 2 Hom(X), da vil τ 1 S τ 2 τ 1 T τ 2. Bevis. Ifølge sætning 1.14 findes U U(H) så S i = UT i. For f C(X) er derfor [Ad π(u)(τ 1 T τ 2 )](f) = π(u)(τ 1 T τ 2 )(f)π(u ) = π(u)[π(t 1 )τ 1 (f)π(t 1 ) + π(t 2)τ 2 (f)π(t 2 )]π(u ) = π(s 1 )τ 1 (f)π(s 1 ) + π(s 2)τ 2 (f)π(s 2 ) = (τ 1 S τ 2 )(f), hvilket viser det ønskede. Dette betyder, at vi får en veldefineret, associativ og kommutativ komposition + i Mon(X), ved at sætte [τ 1 ] + [τ 2 ] = [τ 1 S τ 2 ], (2) hvor S = (S 1,S 2 ) er et eller andet par af Cuntz-isometrier i B(H). Selv om kompositionen + ikke er afhængig af valget af S. Det vil dog være bekvemt at arbejde med et fastholdt par S = (S 1,S 2 ), og dette vil vi gøre, hvis ikke andet er nævnt. I dette tilfælde vil vi af notationsmæssige grunde blot skrive i stedet for S. Tilsvarende skrives Λ og Γ i stedet for Λ S og Γ S. Vi nævner her Lemma 1.21 Hvis τ 1,τ 2 Hom(X) splitter, da vil også τ 1 τ 2 splitte. Bevis. Find -homomorfier ρ i : C(X) B(H), så τ i = πρ i. Definer herefter -homomorfien ( ) ρ = Λ 1 ρ1 0 : C(X) B(H). (3) 0 ρ 2 For f C(X) gælder da Dette viser at τ 1 τ 2 splitter. (πρ)(f) = π Λ 1 ( ρ1 (f) 0 0 ρ 2 (f) = Γ 1 ( πρ1 (f) 0 0 πρ 2 (f) = (Γ 1 diag(τ 1,τ 2 ))(f) = (τ 1 τ 2 )(f). ) ) 9

12 H.Holm & M.M.Larsen 2 POSITIVE AFBILDNINGER. 2 Positive afbildninger. 2.1 Fuldstændigt positive afbildninger, Stinesprings sætning. Hvis A er en C -algebra, da betegnes med A + mængden af positive elementer i A. Hvis ϕ : A B er en afbildning mellem C -algebraer, induceres afbildninger ϕ (n) : M n (A) M n (B) ved [a ij ] [ϕ(a ij )]. Definition 2.1 Vi siger, at afbildningen ϕ : A B er positiv, såfremt ϕ er lineær og sender positive elementer i positive elementer, i.e. ϕ(a + ) B +. Keglen af positive afbildninger betegnes med P(A, B). Vi siger, at ϕ er fuldstændigt positiv, såfremt ϕ (n) er positiv for hvert n N. Mængden af fulstændigt positive afbildninger betegnes med P (A, B). Hvis A og B er unitale, da sættes P 1 (A, B) = {ψ P(A, B) ψ(1) = 1}. Sætning 2.2 Lad ϕ : A B være positiv, og antag yderligere, at A er unital. Da er ϕ kontinuert med operatornorm ϕ 2 ϕ(1 A ) B. Bevis. Der benyttes en del funktionskalkyle i det følgende. Vi tilføjer en enhed 1 B til B om nødvendigt. For a A sa kan vi skrive a = a + a, hvor a + og a er positive elementer med norm a. Hvis a 1, er 0 a + 1 A og derfor er 0 ϕ(a + ) ϕ(1 A ). Da også ϕ(1 A ) ϕ(1 A ) B 1 B, og da tilsvarende resultater gælder for a, opnår vi at ϕ(1 A ) B 1 B ϕ(a) ϕ(1 A ) B 1 B og derfor er ϕ(a) B ϕ(1 A ) B. Hvis a A opfylder a A 1, kan vi splitte a i realdel og imaginærdel (begge af norm 1) og opnå vurderingen ϕ(a ) B 2 ϕ(1 A ) B. Hermed er ϕ begrænset på enhedskuglen (med den ønskede vurdering) og derfor kontinuert. I det næste lemma har vi strengt taget kun brug for den lette vej, men vi nævner alligevel Lemma 2.3 Lad A være en C -algebra og X et kompakt Hausdorff rum. For f C(X,M n (A)) gælder f 0 i C(X,M n (A)) x X : f(x) 0 i M n (A). Bevis. er klar, da evaluering er en -homomorfi. Sæt g(x) = f(x) 1 2. Vi vil vise, at g er kontinuert, hvormed altså f = g g er positiv. Da sp(f(x)) sp(f), følger det, at K = [0, f ] er en kompakt mængde, der indeholder sp(f(x)) for alle x X. Da x x 1/2 er kontinuert på K, følger påstanden. Lemma 2.4 Hvis A er en unital C -algebra og a A +, da gælder for T M n (C) +, at at M n (A) +. Bevis. Skriv a = b b, og find at at = (bi) T(bI). Sætning 2.5 Lad X være et kompakt Hausdorff rum og A en unital C -algebra. Da er enhver positiv afbildning ϕ : C(X) A fuldstændigt positiv. 10

13 2.1 Fuldstændigt positive afbildninger, Stinesprings sætning. Bevis. Der består en naturlig isomorfi M n (C(X)) C(X,M n (C)). 1 o. Bemærk først, at hvis F C(X,M n (C)) har formen F(x) = f(x)t for et positivt element T i M n (C) og f C(X), da er ϕ (n) (F) = [ϕ(f)t ij ] = ϕ(f)t. Specielt ser man, at hvis f 0, vil ϕ(f) 0 og dermed ϕ (n) (F) 0 i M n (A) ifølge lemma o. Lad nu F C(X,M n (C)) + være givet. Da F(X) er en kompakt delmængde af M n (C) +, kan vi til givet ε > 0 finde endeligt mange kugler K(F(x 1 ),ε),...,k(f(x n ),ε), der overdækker F(X). Lader vi O 1,...,O n være originalmængderne til disse haves altså en åben overdækning af X. Lad p 1,...,p n være en hertil hørende deling af enheden og sæt T i = F(x i ) 0. For hvert x X har vi da F(x) n p i (x)t i i=1 < n p i (x) F(x) F(x i ) i=1 n p i (x)ε = ε, idet F(x) F(x i ) < ε for x X med p i (x) > 0. Bemærk at funktionen T(x) = n i=1 p i(x)t i opfylder at ϕ (n) (T) 0 som sum af funktioner fra 1 o, og at T opfylder T F ε. Vi kan altså approksimere F vilkårligt godt i C(X,M n ) med elementer T med den egenskab, at ϕ (n) (T) 0. Da ϕ er kontinuert ifølge sætning 2.2, bliver ϕ (n) kontinuert. Endelig bliver ϕ (n) (F) 0, da den positive kegle i M n (A) er afslutttet. Sætning 2.6 (Stinespring) Lad A være en separabel, unital C -algebra, og lad ϕ : A B(H) være en fuldstændigt positiv unital afbildning. Da findes et separabelt Hilbertrum K, en lineær isometri V : H K samt en unital -homomorfi σ : A B(K), således at der for alle a A gælder i=1 ϕ(a) = V 1 P V (H) σ(a)v, hvor P V (H) betegner projektionen på V (H) i K. Bevis. Lad A H betegne det algebraiske tensorprodukt af vektorrummene A og H. Vi definerer en form på A H ved n m a j x j, b i y i = j=1 i=1 n j=1 i=1 m (ϕ(b i a j )x j,y i ). Man kan indse, at dette er veldefineret, og da ses det let at være en sesquilinearform på A H. Formen er også positivt semidefinit, thi sætter vi x = (x 1,...,x n ) t H n får man n a j x j, j=1 n a i x i = i=1 n j=1 i=1 n (ϕ(a i a j )x j,y i ) = (ϕ (n) ([a i a j ])x,x) 0, 11

14 H.Holm & M.M.Larsen 2 POSITIVE AFBILDNINGER. idet ϕ er fuldstændigt positiv, og a 1 0 [a i a j] =.. a n 0 a 1 a n M n (A) +. Af Cauchy-Schwarz ulighed u,v u,u 1 2 v,v 1 2 for u,v A H følger det, at mængden N = { v A H v,v = 0 } = { v A H v,u = 0 for alle u A H} er et underrum af A H. På kvotienten (A H)/N har vi altså nu et indre produkt, som vi også blot betegner,. Lad nu K være fuldstændiggørelsen af (A H)/N under det indre produkt,. For at indse, at K er separabelt er det nok at vise, at (A H)/N er separabelt og hertil er det igen nok at vise, at A H er et separabelt seminormeret rum. Da A og H er separable kan vi finde følger (a i ) og (x j ), der ligger tæt i A hhv. H. Vi ønsker at approksimere en simpel tensor a x med et element fra dobbeltfølgen (a i x j ). Dette er en smal sag, thi a x a i x j 2 = (ϕ(a a)x,x) (ϕ(a i a)x,x j) (ϕ(a a i )x j,x) + (ϕ(a i a i)x j,x j ). I det følgende vil vi definere en repræsentation σ af A på K. Dette gøres i flere skridt, idet vi starter med (A H)/N. For a A er afbildningen A H A H, givet ved (b, y) ab y, bilineær, og den inducerer derfor en lineær afbildning a I : b y ab y af A H ind i sig selv. Dernæst sætter vi n n σ(a)( b i y i + N) = ab i y i + N, i=1 og vi må indse, at σ(a) er en veldefineret afbildning af (A H)/N ind i sig selv : Hertil viser vi, at (a I)(N) N. For v = n 1 a i x i N har man n n (a I)v 2 = aa j x j, aa i x i = j=1 n j=1 i=1 i=1 i=1 n (ϕ(a i a aa j )x j,x i ) = (a a I)v,v = 0, så (a I)v N. Vi bemærker dernæst, at a I opfylder følgende vurdering n n (a I)( a i x i ) 2 a 2 A a i x i 2, (4) hvilket ses således : (a I)( i=1 n a i x i ) 2 = i=1 n j=1 i=1 i=1 n (ϕ(a i a aa j )x j,x i ) = (ϕ (n) ([a i a aa j ])x,x), 12

15 2.1 Fuldstændigt positive afbildninger, Stinesprings sætning. og idet vi i M n (A) har, at a 1 0 a a 0 a 1 a n [a i a aa j ] = a n 0 0 a a 0 0 a 1 0 a 1 a n a = a 2 [a ia j ], a n giver positiviteten af ϕ (n) at (ϕ (n) ([a i a aa j ])x,x) a 2 A(ϕ (n) ([a i a j ])x,x) = a 2 A n a i x i 2, hvilket viser (4). Vurderingen (4) giver nu let, at σ(a) er kontinuert, og da σ(a) tillige er lineær, induceres der en kontinuert lineær afbildning σ(a) : K K opfyldende n n σ(a)[ b i y i + N] = [ ab i y i + N]. i=1 Det er ren rutine at verificere, at afbildningen a σ(a) er en unital -repræsentation af A på B(K). Vi indlejrer H i K på den naturlige måde : Lad V : H K være operatoren defineret ved V x = [1 x + N]. Vi ser at V er isometrisk, idet Vi finder nu for x,y H V x 2 = [1 x + N],[1 x + N] = (ϕ(1)x,x) = x 2. (V σ(a)v x,y) = σ(a)[1 x + N],[1 y + N] = (ϕ(a)x,y), og således er V σv = ϕ. Da V = V 1 P V (H), kan vi altså skrive i=1 ϕ(a) = V 1 P V (H) σ(a)v. Bemærkning 2.7 I ovenstående sætning kan vi endda opnå, at V (H) har et uendeligdimensionalt komplement i K. Dette ses som følger : Lad K,V og σ være som ovenfor. Definer K = K K og σ : A B(K ) ved σ (a) = σ(a) σ(a). Man ser, at σ er en unital -homomorfi, da σ er det. Definer en lineær isometri V : H K ved V (h) = (V (h),0). Da er 0 K V (H), hvorfor dimv (H) =. Idet V (H) = V (H) 0 og vi med i=1 ι s π s : K K K : K K K 13

16 H.Holm & M.M.Larsen 2 POSITIVE AFBILDNINGER. betegner de naturlige indlejringer og projektioner, har vi følgende identiteter P V (H) = ι 1 P V (H) π 1 V = ι 1 V og V 1 = V 1 π 1. Nu får vi for hvert h H, at (V 1 P V (H)σ (a)v )(h) = (V 1 P V (H)σ (a))(v (h),0) = V 1 P V (H)(σ(a)V (h),0) = V 1 ι 1 P V (H) σ(a)v (h) = V 1 π 1 ι 1 P V (H) σ(a)v (h) = V 1 P V (H) σ(a)v (h) = ϕ(a)(h), og dette beviser vores påstand. Korollar 2.8 Lad A være en unital separabel C -algebra og ϕ : A B(H) være en fuldstændigt positiv unital afbildning. Da findes et separabelt uendeligdimensionalt Hilbertrum N og en unital -repræsentation σ på H N, så ϕ(a) = σ 11 (a), når vi skriver σ(a) = ( σ11 (a) σ 12 (a) σ 21 (a) σ 22 (a) Bevis. Vi bruger notationen fra sætning 2.6, hvor vi ifølge ovenstående bemærkning kan antage, at dimv (H) =. Vi har en unitær operator U : H V (H) K, defineret ved at U : (h,x) V (h)+x, idet jo K er den indre direkte sum af V (H) og V (H). Lad σ betegne repræsentationen a U 1 σ(a)u af A på H V (H). Vi lader ). ι 1 p 1 : H H V (H) : H V (H) H betegne indlejringen hhv. projektionen. Da har vi p 1 σ(a)ι 1 (h) = p 1 U 1 σ(a)uι 1 (h) = p 1 U 1 σ(a)u(h,0) = p 1 U 1 σ(a)v (h) = V 1 P V (H) σ(a)v (h) = ϕ(a)(h), idet jo p 1 U 1 = V 1 P V (H). Vi kan altså bruge N = V (H). Vi viser nu følgende vigtige Korollar 2.9 (Stinespring) Lad A være en separabel unital C -algebra og ϕ : A B(H) være en fuldstændigt positiv unital afbildning. Da findes en unital -homomorfi σ : A M 2 (B(H)), således at σ 11 (a) = ϕ(a), når vi skriver σ(a) = ( σ11 (a) σ 12 (a) σ 21 (a) σ 22 (a) ). 14

17 2.2 Fuldstændighed af P 1 (A, B). Bevis. Lad N være uendeligdimensional, og lad σ være en repræsentation som i korollar 2.8. Lad ψ : H N være unitær, og sæt ( ) σ11 (a) σ σ(a) = 12 (a)ψ ψ 1 σ 21 (a) ψ 1 σ. 22 (a)ψ Da er σ : A M 2 (B(H)) en unital -homomorfi og σ 11 (a) = σ 11 (a) = ϕ(a). 2.2 Fuldstændighed af P 1 (A, B). Lad i det følgende A og B være unitale C -algebraer. Med P 1 (A, B) betegner vi som før de positive unitale afbildninger fra A til B. Vi udstyrer P 1 (A, B) med topologien T for punktvis konvergens. Hvis algebraen A er separabel, kan vi vælge en tæt følge (a n ) i enhedskuglen for A og sætte d(ϕ,ψ) = 2 n ϕ(a n ) ψ(a n ) (5) n=1 for ϕ,ψ P 1 (A, B). Hermed defineres en metrik på P 1 (A, B), og d inducerer netop topologien for punktvis konvergens. Hvis nemlig (ϕ α ) er et net, så ϕ α ϕ i T, da vil ϕ α (a n ) ϕ(a n ) for hvert n N. Da vi har vurderingen ϕ α (a n ) 2 ϕ α (1) = 2, kan vi endelig slutte d(ϕ α,ϕ) 0. Hvis omvendt d(ϕ α,ϕ) 0, har vi ϕ α (a n ) ϕ(a n ) for hvert n N. For a i enhedskuglen finder vi så ϕ α (a) ϕ(a) ϕ α (a) ϕ α (a n ) + ϕ α (a n ) ϕ(a n ) + ϕ(a n ) ϕ(a) 2 a a n + ϕ α (a n ) ϕ(a n ) + 2 a n a. Heraf fås ϕ α (a) ϕ(a), og dette udvides ved linearitet til at gælde for alle a A. Vi viser nu Sætning 2.10 Hvis A er unital og separabel, da vil metrikken bestemt ved (5) gøre P 1 (A, B) til et fuldstændigt metrisk rum. Bevis. Hvis (ψ n ) er en Cauhcy følge i P 1 (A, B), da vil (ψ n (a k )) være en Cauchy følge for hvert k N. For a i enhedskuglen finder vi ψ n (a) ψ m (a) ψ n (a) ψ n (a k ) + ψ n (a k ) ψ m (a k ) + ψ m (a k ) ψ m (a) 4 a a k + ψ n (a k ) ψ m (a k ). Dermed er (ψ n (a)) en Cauchy følge for hvert a i enhedskuglen, og dermed for hvert a A, og (ψ n (a)) konvergerer derfor mod et element ψ(a). Vi har altså, at ψ n (a) ψ(a) for alle a A. Dermed er ψ P 1 (A, B), og d(ψ n,ψ) Løft af positive afbildninger. Det følgende er taget fra [4], hvor fremstillingen faktisk er udmærket. Vi gengiver den her for fuldstændighedens skyld. Sætning 2.11 Lad J være et ideal i en unital C -algebra A, og lad π være kvotientafbildningen. Lad A være et positivt element i A og antag, at y A/J opfylder yy π(a). Da findes et element Y A med π(y ) = y og Y Y A. 15

18 H.Holm & M.M.Larsen 2 POSITIVE AFBILDNINGER. Bevis. Sæt a = π(a) og lad Y være et løft af y. Sæt nu B = Y Y + A Y Y. Bemærk at B Y Y + (A Y Y ) = A, B Y Y og at π(b) = yy + a yy = yy + (a yy ) = a. Hvis vi sætter Y n = A 1/2 (B + 1 n I) 1/2 Y, og D nm = (B + 1 n I) 1/2 (B + 1 m I) 1/2, ser vi, at Y n er en Cauchy følge, idet vi for m < n har Y n Y m 2 = A 1/2 D nm Y Y D nm A 1/2 A 1/2 D nm BD nm A 1/2 = B 1/2 D nm A 1/2 2 = B 1/2 D nm AD nm B 1/2 B 1/2 D nm BD nm B 1/2 = f nm (B), hvor f nm (x) = x 2( (x + 1 n ) 1/2 (x + 1 m ) 1/2) 2 = x 2 ( 1 m 1 n ( )2 ) 2 (x + 1 n )(x + 1 m ) x + 1 n x m ( x ) ( ) 2 x ( m 2 ) x + 1 n x + 1n + x + 1 x + 1 m m 1 4m. Det følger, at (Y n ) er en Cauchy følge og dermed konvergent mod et element Y A. Vi ser, at Y n Y n = A 1/2 (B + 1 n I) 1/2 Y Y (B + 1 n I) 1/2 A 1/2 A 1/2 (B + 1 n I) 1/2 B(B + 1 n I) 1/2 A 1/2 A, og dermed er Y Y A. Da π(y n) = a 1/2 (a + 1 n ) 1/2 y y, følger det, at π(y ) = y. Vi kan altså bruge Y som det ønskede løft. Korollar 2.12 Lad A være en unital C -algebra og lad J være et ideal i A. Antag at b A/J opfylder 0 b π(a) for et A A. Da findes et element B A, så π(b) = b og 0 B A. Bevis. Sæt y = b 1/2 i sætningen ovenfor. Definition 2.13 Vi siger at ψ P 1 (A, B/J ) kan løftes (er løftbar), såfremt der findes ϕ P 1 (A, B), så ψ = πϕ. Sætning 2.14 Lad A være en unital C -algebra og lad J være et ideal i A. Hvis X er et endeligt, diskret rum, da vil ethvert ρ P 1 (C(X), A/J ) have et positivt løft σ P 1 (C(X), A). 16

19 2.3 Løft af positive afbildninger. Bevis. Lad X = {x 1...,x n } og definer δ i C(X) til at være indikatorfunktionen for {x i }. En lineær afbildning ψ, defineret på C(X), er da positiv netop hvis ψ(δ i ) 0 for alle i. Sæt nu a i = ρ(δ i ) og bemærk, at n 1 a i = 1, da ρ er unital. Vi vil finde n positive løft A i af a i opfyldende n 1 A i = I, thi da kan vi sætte σ( n 1 c iδ i ) = n 1 c ia i og finde σ P 1 (C(X), A) med πσ = ρ. Dette gøres ved at anvende korollar 2.12 succesivt på følgende måde : I første skridt vælger vi A 1, så 0 A 1 I og π(a 1 ) = a 1. Det næste løft konstrueres ved at bemærke, at 0 a 2 1 a 1 = π(i A 1 ), og dernæst benytte ovenstående til at finde A 2 med 0 A 2 I A 1, så π(a 2 ) = a 2. I k te skridt (k < n), antages at vi har konstrueret positive løft A 1,...,A k 1 og at k 1 1 A i I. Da finder vi 0 a k 1 k 1 1 a i = π(i k 1 1 A i ) og korollaret giver så et løft A k af a k med I k 1 A i 0. Endelig konstrueres det sidste løft A n ved at sætte A n = I n 1 1 A i. Da er A n rent faktisk et løft af a n, thi π(a n ) = 1 n 1 1 a i = a n. Hermed er det ønskede vist. Sætning 2.15 Lad X være et kompakt metrisk rum. Da findes en følge X k af endelige delmængder af X, samt afbildninger α k P 1 (C(X k ),C(X)) og β k P 1 (C(X),C(X k )), således at lim α k β k = id C(X) punktvis. Bevis. For hvert k N kan vi skrive X som endelig forening af n k kugler med radius 1 k, X = nk i=1 K(x ki, 1 k ). Sæt X k = {x ki i = 1,...,n k }, og definer -homomorfien β k : C(X) C(X k ) ved restriktion. Lad (p ki ) n k i=1 være en deling af enheden hørende til 1 k kuglerne, og sæt n k α k (g)(x) = g(x ki )p ki (x). i=1 Så er α k unital, lineær og positiv. Lad nu h C(X) være valgt vilkårligt. Vi vil vise, at α k β k (h) h i C(X), dvs. uniformt over X. Da X er et kompakt metrisk rum er h uniformt kontinuert på X, så til givet ε > 0 findes et k 0, så x,y X : dist(x,y) < 1 k 0 h(x) h(y) < ε. For k k 0 haves så h(x) α k β k (h)(x) n k = h(x) h(x ki )p ki (x) n k i=1 h(x) h(x ki ) p ki (x) < ε, i=1 thi hvis p ki (x) > 0 er x K(x ki, 1 k ), og da er h(x) h(x ki) < ε. Dette viser påstanden. Lemma 2.16 Hvis (e λ ) er en net af positive elementer af norm højst 1 med egenskaben e λ a ae λ 0 for alle a A (6) da vil også (f(e λ )) have egenskaben (6), når f C([0,1]). 17

20 H.Holm & M.M.Larsen 2 POSITIVE AFBILDNINGER. Bevis. Lad 0 a A. Hvis p er et polynomium, ses det let, at hvilket følger af vurderingen p(e λ )a ap(e λ ) 0 e n λ a aen λ en λ a e λae n 1 λ + e λ ae n 1 λ ae n λ = e n 1 λ a ae n 1 λ + e λ a ae λ, som holder for n > 1. Et induktionsargument vil da give det ønskede. Givet et ε > 0 kan vi finde et polynomium p med p(t) f(t) ε 3 a for hvert t [0,1]. Da har vi p(e λ ) f(e λ ) p(e λ )a ap(e λ ) ε 3. Da er ε 3 a for hvert λ. Vælg nu λ 0, så der for λ λ 0 gælder, at f(e λ )a af(e λ ) f(e λ )a p(e λ )a + p(e λ )a ap(e λ ) + ap(e λ ) af(e λ ) < ε, for λ λ 0. Lemma 2.17 Hvis J er et ideal i en C -algebra A, og hvis (E λ ) er en approximativ enhed for J, da gælder for hvert A A, at hvor π er kvotientafbildningen. A AE λ π(a), (7) Bevis. Da AE λ tilhører J gælder A AE λ π(a). Vælg nu til ε > 0 et J J med A J < π(a) + ε. Vi finder så A AE λ (A J)(I E λ ) + J JE λ A J + J JE λ A J, hvor jo A J < π(a) + ε. For hvert ε > 0 har vi altså uligheden π(a) A AE λ π(a) + ε for tilstrækkeligt store λ. Dette viser, at A AE λ π(a). Sætning 2.18 Hvis A er separabel, ϕ,ψ P 1 (A, B) og J er et ideal i B, da har man Bevis. Det er klart, at d(πϕ,πψ) = inf{d(ϕ,ψ ) ψ P 1 (A, B) med πψ = πψ }. når πψ = πψ. Dette viser uligheden d(πϕ,πψ) = d(πϕ,πψ ) d(ϕ,ψ ), d(πϕ,πψ) inf ψ d(ϕ,ψ ). 18

21 2.3 Løft af positive afbildninger. Det er den anden ulighed, der er interessant. Hertil betragtes en quasicentral approximativ enhed (E λ ) for idealet J. Vi sætter ψ λ (A) = E 1/2 λ ϕ(a)e1/2 λ + (I E λ ) 1/2 ψ(a)(i E λ ) 1/2 ϕ λ (A) = E 1/2 λ ϕ(a)e1/2 λ + (I E λ ) 1/2 ϕ(a)(i E λ ) 1/2. Man ser let, at ψ λ,ϕ λ P 1 (A, B) med πψ λ = πψ og πϕ λ = πϕ. Vi ser at ϕ(a) ϕ λ (A) der kan vurderes opad ved = ϕ(a)(i E λ ) + ϕ(a)e λ ϕ λ (A) ϕ(a)(i E λ ) (I E λ ) 1/2 ϕ(a)(i E λ ) 1/2 + ϕ(a)e λ E 1/2 λ ϕ(a)e1/2 λ, (I E λ ) 1/2 ϕ(a) ϕ(a)(i E λ ) 1/2 + E 1/2 λ ϕ(a) ϕ(a)e1/2, som går mod nul pga. lemma Hermed er vist, at d(ϕ λ,ϕ) 0. Vi vil nu gerne vise, at for dette vil bevise påstanden. Vi finder hvor d(ϕ λ,ψ λ ) = inf λ d(ϕ,ψ λ) d(πϕ,πψ), inf λ d(ϕ,ψ λ) lim inf d(ϕ,ψ λ ) lim inf(d(ϕ,ϕ λ ) + d(ϕ λ,ψ λ )) = lim inf d(ϕ λ,ψ λ ), 2 n (I E λ ) 1/2 (ϕ(a n ) ψ(a n ))(I E λ ) 1/2. (8) n=1 Bemærk at der for B B gælder λ (I E λ ) 1/2 B(I E λ ) 1/2 = (I E λ ) 1/2 B(I E λ ) 1/2 B(I E λ ) 1/2 (I E λ ) 1/2 + B(I E λ ) (I E λ ) 1/2 B B(I E λ ) 1/2 + B(I E λ ). Her vil første led gå mod nul ifølge lemma 2.16, medens andet led går mod π(b) ifølge lemma Nu tilbage til (8). Hvis ε > 0 er givet, vælges N, så 2 N < ε 8. Vælg nu λ 0 således, at der for λ λ 0 og alle n N gælder, at Da har vi (I E λ ) 1/2 (ϕ(a n ) ψ(a n ))(I E λ ) 1/2 π(ϕ(a n ) ψ(a n )) + ε 2. d(ϕ λ,ψ λ ) N 2 n ( ϕ + ψ ) n=12 n ( π(ϕ(a n ) ψ(a n )) + ε 2 ) + n>n N 2 n πϕ(a n ) πψ(a n ) + ε N d(πϕ,πψ) + ε, n=1 19

22 H.Holm & M.M.Larsen 2 POSITIVE AFBILDNINGER. for λ λ 0. Derfor er inf d(ϕ,ψ λ) lim inf d(ϕ λ,ψ λ ) d(πϕ,πψ), λ λ som ønsket. Sætning 2.19 Lad A være separabel. Da vil mængden af løftbare afbildninger i P 1 (A, B/J ) udgør en afsluttet delmængde af P 1 (A, B/J ). Bevis. Lad (ϕ n ) være en følge af løftbare afbildninger, og antag at ϕ n ϕ. Vi skal vise, at ϕ også kan løftes. Ved eventuel overgang til en delfølge kan vi antage, at d(ϕ n,ϕ n+1 ) < 2 n. Vælg et løft ψ 1 af ϕ 1, og vælg herefter ψ n rekursivt således at πψ n = ϕ n, og d(ψ n,ψ n+1 ) < 2 n jvf. sætning Da d(ψ n,ψ n+1 ) <, n=1 er (ψ n ) en Cauchy følge i P 1 (A, B), der er fuldstændigt. Altså findes ψ P 1 (A, B), så ψ n ψ. Da vil ϕ n = πψ n πψ, og vi slutter, at ϕ = πψ. Altså kan ϕ løftes. Vi er nu fremme ved målet Sætning 2.20 Lad X være et kompakt metrisk rum, A en unital C -algebra med ideal J. Da kan enhver ϕ P 1 (C(X), A/J ) løftes til P 1 (C(X), A). Bevis. For ϕ P 1 (C(X), A/J ) betragter vi afbildningerne ϕ k = ϕα k β k med afbildninger som i sætning Da ϕα k : C(X k ) A/J er unital og positiv, kan vi finde et løft ψ P 1 (C(X k ), A) af ϕα k ifølge sætning Da er ψβ k et positivt unitalt løft af ϕ k. Grænseværdien ϕ = lim ϕ k kan således også løftes, ifølge sætning 2.19, idet C(X) er separabel. 20

23 3 Ext(X) som gruppe. Vi skal nu vise hvorledes den allerede definerede komposition + på Ext(X) giver en abelsk gruppestruktur. Vi ved allerede at + er kommutativ og associativ, og mangler således kun eksistensen af neutralt og inverst element. Dette er faktisk ikke helt enkelt og kræver noget kendskab til repræsentationer af C -algebraer. Definition 3.1 Lad A være en C -algebra, H 1,H 2 Hilbertrum og ψ i : A B(H i ) -homomorfier. Da betegner ψ 1 ψ 2 : A B(H 1 H 2 ) -homomorfien givet ved (ψ 1 ψ 2 )(a) = ψ 1 (a) ψ 2 (a) for a A. Endvidere skriver vi ψ 1 K ψ 2 når der eksisterer en følge (U n ) af unitære fra B(H 1,H 2 ) således at (i) U n ψ 1 (a)u n ψ 2 (a) 0 for hvert a A (ii) U n ψ 1 (a)u n ψ 2 (a) K(H 2 ) for alle a A. Det er i litteraturen almindeligt, kun at definere ovenstående for A, H 1 og H 2 separable, men bemærk, at for de følgende to lemmaer er dette uden relevans. Lemma 3.2 Lad A være en C -algebra, og lad ψ i : A B(H i ) være -homomorfier, i = 1,2,3. Da gælder (1) ψ 1 K ψ 1. (2) Hvis ψ 1 K ψ 2, da vil også ψ 2 K ψ 1. (3) Hvis ψ 1 K ψ 2 og ψ 2 K ψ 3, da vil også ψ 1 K ψ 3. Bevis. (1) og (2) er lette. For (3) bemærkes, at hvis (U n ) implementerer ækvivalensen ψ 1 K ψ 2, og (V n ) implementerer ækvivalensen ψ 2 K ψ 3, da vil (V n U n ) implementere ækvivalensen ψ 1 K ψ 3, idet jo vi for a A kan skrive (V n U n )ψ 1 (a)(v n U n ) ψ 3 (a) som V n (U n ψ 1 (a)u n ψ 2 (a))v n + (V n ψ 2 (a)v n ψ 3 (a)) Lemma 3.3 Antag at A og A er C -algebraer, og lad ψ i : A B(H i ) være -homomorfier, i = 1,2. Hvis ρ : A A er en -homomorfi, da gælder (1) Hvis ψ 1 K ψ 2, da vil også ψ 1 ρ K ψ 2 ρ. (2) ψ 1 ψ 2 K ψ 2 ψ 1. Bevis. (1) Hvis (U n ) implementerer ækvivalensen ψ 1 K ψ 2, vil den samme følge implementere ψ 1 ρ K ψ 2 ρ. (2) U : H 1 H 2 H 2 H 1 givet ved U(h 1,h 2 ) = (h 2,h 1 ), er selvfølgelig unitær i B(H 1 H 2,H 2 H 1 ) og opfylder endda U(ψ 1 ψ 2 )(a)u = (ψ 2 ψ 1 )(a) for alle a A. For ikke at fortabe os i alt for mange detaljer på dette område, har vi blot valgt at gengive følgende dybe (se f.eks. [4, side 68]) 21

24 H.Holm & M.M.Larsen 3 EXT(X) SOM GRUPPE. Sætning 3.4 (Voiculescu) Lad H 1 og H 2 være -dimensionale separable Hilbertrum, A en unital C -delalgebra af B(H 1 ) og ϕ : A B(H 2 ) en unital -homomorfi med ϕ(a K(H 1 )) = 0. Idet id : A B(H 1 ) betegner indlejringen, gælder nu id K id ϕ. Korollar 3.5 Antag at A er en separabel unital C -algebra, H i et -dimensionalt separabelt Hilbertrum, ρ i : A B(H i ) en unital -homomorfi og π i : B(H i ) Q(H i ) kvotientafbildningen, i = 1,2. Hvis yderligere da gælder ρ 1 K ρ 2. Ker(ρ 1 ) = Ker(π 1 ρ 1 ) = Ker(ρ 2 ) = Ker(π 2 ρ 2 ), Bevis. Vi sætter A i = Im(ρ i ), der er en C -delalgebra af B(H i ) indeholdende enheden I Hi. Bemærk, at A i K(H i ) = 0 idet Ker(ρ i ) = Ker(π i ρ i ). Da Ker(ρ 1 ) = Ker(ρ 2 ), gælder for alle a,b A, at ρ 1 (a) = ρ 1 (b) ρ 2 (a) = ρ 2 (b). Heraf følger, at vi kan veldefinere en unital injektiv -homomorfi ψ : A 1 A 2 ved ψ(ρ 1 (a)) = ρ 2 (a), som endda er oplagt surjektiv. Lad id i : A i B(H i ) være indlejringen og lad ρ i : A A i være afbildningen ρ i, opfattet som afbildning på sit billede. Definer så de unitale -homomorfier ϕ 1 = id 2 ψ : A 1 B(H 2 ), ϕ 2 = id 1 ψ 1 : A 2 B(H 1 ). Selvfølgelig er ϕ i (A i K(H i )) = ϕ i (0) = 0, og Voiculescus sæting giver derfor id i K id i ϕ i. Idet vi bemærker identiteterne ϕ 1 ρ 1 = ρ 2 og ϕ 2 ρ 2 = ρ 1, tillader lemma 3.3 os at slutte ρ i = id i ρ i K (id i ϕ i )ρ i = id i ρ i ϕ iρ i = ρ i ϕ i ρ i, altså ρ 1 K ρ 1 ρ 2 samt ρ 2 K ρ 2 ρ 1. Endelig giver lemma 3.2 og 3.3 det ønskede. Vi er nu rede til den første anvendelse af ovenstående. Sætning 3.6 Lad X være et kompakt metrisk rum. Der findes da trivielle extensioner af K med C(X), og de er alle ækvivalente. Endvidere vil ækvivalensklassen af trivielle extensioner udgøre et neutralt element i Ext(X). Dermed er Ext(X) en abelsk semigruppe. Bevis. Først beviser vi eksistensen af trivielle extensioner. Da X er kompakt og metrisk, er X separabelt. Vi kan derfor finde en tæt følge (x n ) med egenskaben, at for hvert isoleret punkt y X er mængden {n N x n = y} uendelig. Vi kan da for f C(X) definere M f B(H) ved M f e n = f(x n )e n. Hvis f 0 kan følgen (f(x n )) ikke gå mod nul, og derfor er M f / K. Vi har derfor, at afblidningen f πm f er en unital -monomorfi, der splitter. Dette viser eksistensen. Lad τ 1,τ 2 Mon(X), og lad σ 1,σ 2 : C(X) B(H) være -homomorfier med πσ i = τ i. Det ses let, at σ i er injektiv, og så har vi Ker(σ 1 ) = Ker(πσ 1 ) = Ker(σ 2 ) = Ker(πσ 2 ) = 0. 22

25 Af korollar 3.5 følger derfor, at der findes U U(H) med Im(σ 2 Ad U σ 1 ) K, hvoraf τ 2 = Ad π(u)τ 1. Altså er τ 1 τ 2. Dette viser at alle trivielle elementer i Mon(X) er ækvivalente. Lad nu τ Mon(X), og sæt A = π 1 τ(c(x)), der er en C -delalgebra af B(H) indeholdende I. Antag så, at τ 1 = πσ splitter og at σ(1) = I. Vi skal vise [τ] + [τ 1 ] = [τ], altså τ τ 1 τ. Vi kan veldefinere en unital -homomorfi ρ := στ 1 π : A B(H), og det er klart, at ρ(a K) = ρ(k) = 0. Det følger derfor af Voiculescus sætning 3.4, at id K id ρ, hvor id : A B(H) er indlejringen. Specielt findes U U(H 2,H) opfyldende U (id ρ)(t)u id(t) K(H) for alle T A. I beviset for sætning 1.16 så vi, at ι 1 S 1 +ι 2S 2 B(H,H2 ) er unitær, og derfor vil V = U(ι 1 S 1 +ι 2S 2 ) U(H). Vi påstår Ad π(u)(τ τ 1) = τ (hvilket jo viser det ønskede). Lad nemlig f C(X), og find T B(H) med τ(f) = π(t). Da er selvfølgelig T A og ρ(t) = σ(f). Endelig er π(v )(τ τ 1 )(f)π(v ) = π(v )(π(s 1 )τ(f)π(s 1 ) + π(s 2)τ 1 (f)π(s 2 ))π(v ) = π(uι 1 )π(t)π(p 1 U ) + π(uι 2 )ρ(t)π(p 2 U ) = π(u(ι 1 id(t)p 1 + ι 2 ρ(t)p 2 )U ) = π(u (id ρ)(t)u ) = π(id(t)) = τ(f), som ønsket. Endelig er vi i stand til at vise Hovedsætning 3.7 For kompakt metrisk rum X er (Ext(X),+) en gruppe. Bevis. Vi mangler kun at vise eksistensen af inverse elementer. Lad derfor τ Mon(X) være givet. Da τ : C(X) Q(H) er en -homomorfi vil τ automatisk være positiv. Sætning 2.20 giver nu eksistensen af en positiv unital afbildning τ : C(X) B(H) med τ = π τ. τ er injektiv, idet τ er det. Af korollar 2.9 og sætning 2.5 følger nu, at der findes en unital -homomorfi ρ : C(X) M 2 (B(H)) således, at ρ har formen ( ) τ(f) ρ12 (f) ρ(f) =, f C(X). ρ 21 (f) ρ 22 (f) Bemærk, at vi ikke (umiddelbart) ved om τ,ρ 12,ρ 21 eller ρ 22 er -homomorfier, men selvfølgelig er ρ injektiv, idet τ er det. Vi viser først, at ρ 12 (f) og ρ 21 (f) er kompakte for ethvert f C(X). Hvis man i identiteten ρ( f 2 ) = ρ(f)ρ( f) sammenligner operatorerne i øverste venstre hjørne, og dernæst anvender π, fås τ( f 2 ) = τ(f)τ( f) + π(ρ 12 (f)ρ 21 ( f)) = τ( f 2 ) + π(ρ 12 (f)ρ 12 (f) ). 23

26 H.Holm & M.M.Larsen 3 EXT(X) SOM GRUPPE. Altså er 0 = π(ρ 12 (f)ρ 12 (f) ) = πρ 12 (f) 2, og derfor ρ 12 (f) K. Da ρ 21 (f) = ρ 12 ( f), vil også ρ 21 (f) K. Heraf følger, at σ = πρ 22 : C(X) Q(H) faktisk er en unital -homomorfi, idet jo σ(fg) = πρ 22 (fg) = π(ρ 22 (f)ρ 22 (g) + ρ 21 (f)ρ 12 (g)) = σ(f) σ(g). Det er klart, at Λ 1 ρ : C(X) B(H) er en unital -monomorfi, og vi har πλ 1 ρ = Γ 1 πρ = Γ 1 diag(τ, σ) = τ σ. Altså splitter τ σ Mon(X). Den sidste lille finesse er, at σ ikke nødvendigvis er injektiv. Derfor tager vi et trivielt element γ Mon(X), og sætter σ = σ γ. Vi finder da [τ] + [σ] = [τ ( σ γ)] = [(τ σ) γ] = [τ σ] = 0. Dette viser, at [τ] har et inverst element i Ext(X), og dermed er sætningen bevist. Bemærkning 3.8 Vi skal senere vise, at hvis X og Y er homeomorfe kompakte metriske rum, da vil Ext(X) og Ext(Y ) være isomorfe abelske grupper. 3.1 Indeksafbildningen. Vi vil her udvikle et redskab, der kan hjælpe til at udregne Ext(X) i konkrete tilfælde. Definition 3.9 Når T B(H) er Fredholm og π : B(H) Q(H) betegner kvotientafbildningen (vel)defineres ind(π(t)) = index(t). At dette er en tilladelig definition kan ses på følgende måde. Hvis π(t 1 ) = π(t 2 ) findes K K med T 1 = T 2 + K og derfor er index(t 1 ) = index(t 2 + K) = index(t 2 ). Hermed er altså opnået en afbildning ind : Q(H) 1 Z. Sætning 3.10 Afbildningen ind : Q(H) 1 Z er lokalt konstant og homotopiinvariant. 24

27 3.1 Indeksafbildningen. Bevis. Mængden Φ af Fredholm operatorer er åben i B(H) og index : Φ Z er lokalt konstant. Til V Φ kan vi vælge δ > 0, således at der for alle U Φ med U V < δ gælder, at index(u) = index(v ). Hvis nu π(u) π(v ) < δ, findes K K(H) med U (V +K) < δ. Vi finder da ind(π(u)) = index(u) = index(v + K) = ind(π(v )). Dette viser første påstand. Hvis π(u) h π(v ) i Q(H) 1 er billedet af homotopien en sammenhængende delmængde af Z. Det følger, at ind(π(u)) = ind(π(v )). Definition 3.11 Hvis X er et kompakt metrisk rum, da betegnes med C(X) 1 de invertible elementer i C(X). Vi minder om, at f,g C(X) 1 kaldes homotope, såfremt der findes en kontinuert afbildning ψ : [0,1] C(X) 1 med ψ(0) = f og ψ(1) = g. I dette tilfælde skrives f h g, og h er en ækvivalensrelation i C(X) 1. Med C(X) 1 0 betegner vi de elementer f C(X) 1, der er homotope med enheden indenfor C(X) 1. Da vil C(X) 1 0 udgøre en multiplikativ undergruppe i C(X) 1, og med π 1 (X) betegnes kvotienten π 1 (X) = C(X) 1 /C(X) 1 0, som vi kalder den første kohomotopigruppe for X. Vi kan nu definere en afbildning γ : Ext(X) Hom(π 1 (X), Z) ved γ([τ])([f]) = ind(τ(f)). Her må vi igen tjekke veldefinerethed. Først uafhængighed af repræsentant for [f] : Bemærk først, at for f C(X) 1 er τ(f) Q(H) 1, således at ind(τ(f)) er defineret. Hvis f 1,f 2 [f] er f 1 f2 1 h 1 og derfor f 1 h f 2 i C(X) 1. Dermed er også τ(f 1 ) h τ(f 2 ) i Q(H) 1, og af sætningen ovenfor fås da, at ind(τ(f 1 )) = ind(τ(f 2 )). Dernæst uafhængighed af repræsentant for [τ] : Hvis τ 1 τ 2 findes U U(H), så τ 1 = Ad π(u)τ 2. For f C(X) 1 har vi da med π(t 2 ) = τ 2 (f), at Endelig skal vi tjekke, at afbildningen ind(τ 1 (f)) = ind(adπ(u) τ 2 (f)) = index(ut 2 U ) = index(t 2 ) = ind(τ 2 (f)). γ([τ]) : π 1 (X) Z rent faktisk tilhører Hom(π 1 (X), Z). Dette følger dog let af indexafbildningens homomorfiegenskab. Sætning 3.12 Afbildningen γ : Ext(X) Hom(π 1 (X), Z) er en homomorfi. 25

28 H.Holm & M.M.Larsen 3 EXT(X) SOM GRUPPE. Bevis. Lad τ 1,τ 2 Mon(X) og lad f C(X) 1. Vælg Fredholmoperatorer U og V, så ( ) ( ) U 0 τ1 (f) 0 π =. 0 V 0 τ 2 (f) Nu har vi γ([τ 1 ] + [τ 2 ])([f]) = γ([τ 1 τ 2 ])(f) ( = ind(γ 1 τ1 (f) 0 0 τ 2 (f) ( ) = ind(γ 1 π U 0 ) 0 V = ind(πλ 1 ( U 0 0 V = index(λ 1 ( U 0 0 V Ifølge sætning 1.16 kan vi finde W U(H H,H) med ( ) Λ 1 U 0 = W(U V )W. 0 V ) ) ) ). ) ) Heraf fås dim kerλ 1 ( U 0 0 V ) = dim ker(u V ) = dim ker(u) + dim ker(v ). Et tilsvarende resultat fås for U og V, og så har vi index(λ 1 ( U 0 0 V ) ) = index(u) + index(v ) = ind(τ 1 (f)) + ind(τ 2 (f)) = γ([τ 1 ])([f]) + γ([τ 2 ])([f]). Dette viser påstanden. 3.2 Eksemplet: Ext(T). Lemma 3.13 Lad S være det ensidede skift i B(H). Da gælder (1) π(s) er unitær i Q(H). (2) Der findes ingen invertibel V B(H) med π(v ) = π(s). (3) sp ess (S) = T. Bevis. (1) Da S S = I er π(s) π(s) = 1 Q(H). Idet P betegner projektionen på det 1- dimensionale underrum Ce 1, er SS = I P, og da P K vil altså også π(s)π(s) = 1 Q(H). Dette viser at π(s) er unitær. (2) Hvis π(v ) = π(s) vil V S K, og derfor har U og V samme Fredholmindex. Dette er dog umuligt, idet index(v ) = 0, idet V invertibel, medens selvfølgelig index(s) = 1. 26

29 3.2 Eksemplet: Ext(T). (3) Pga. (1) er sp ess (S) T. Hvis ikke der gælder =, findes selvadjungeret v Q(H) så π(u) = e iv. Find dernæst V B(H) med v = π(v ). Nu er e iv invertibel i B(H) med hvilket strider mod (2). π(e iv ) = e π(iv ) = e iv = π(u), Bemærkning 3.14 Vi betragter torus T C samt inklusionsafbildningen z : T C. Vi har da punktevalueringshomomorfien og afbildningen γ : Ext(T) Z givet ved p : Hom(π 1 (T), Z) Z, ψ ψ([z]), γ ([τ]) = pγ([τ]) = γ([τ])([z]) = indτ(z), er derfor en gruppehomomorfi. Et vigtigt resultat er Sætning 3.15 γ : Ext(T) Z er en gruppeisomorfi. Mere konkret gælder der, at hvis S betegner det ensidede skift i B(H), er S en essentielt normal operator og (E S,ϕ S ) er element i Ext(T). Endvidere er γ [(E S,ϕ S )] = 1, og derfor vil [(E S,ϕ S )] være en frembringer for Ext(T). Bevis. Ifølge lemma 3.13 er S essentielt normal med sp ess (S) = T. Derfor er (E S,ϕ S ) element i Ext(T). Idet τ S er den til (E S,ϕ S ) svarende -monomorfi, er τ S (z) = π(s) (idet jo ϕ S (S) = z), og dermed γ ([τ S ]) = ind τ S (z) = ind π(s) = indexs = 1. Dette viser påstanden om (E S,ϕ S ) samt surjektiviteten af γ. Tilbage er kun injektiviteten af γ. Antag derfor at [τ] Ext(T) med γ ([τ]) = 0. Vi skal vise at τ splitter. Vælg W B(H) med π(w) = τ(z), og bemærk, at π(w)π(w) = τ(z)τ(z) = τ(z z) = τ(1) = I. Tilsvarende er selvfølgelig π(w) π(w) = I, og derfor er W Fredholm med indexw = 0 ifølge antagelse. Lad nu U være den partielle isometri i polardekompositionen for W, altså W = U W. Vi ser, at π(u) = π(w), idet π( W ) = π((w W) 1/2 ) = π(w W) 1/2 = I, og dermed π(w) = π(u)π( W ) = π(u). Derfor er også U Fredholm med indexu = 0. Vi kan derfor vælge K B f (H) K som afbilder Ker(U) isometrisk på Ker(U ), og som er 0 på Ker(U). Da U er partiel isometri, vil U afbilde Ker(U) isometrisk på Ker(U ) (og være 0 på Ker(U)). Ved at dekomponere H H = Ker(U) Ker(U) = Ker(U ) Ker(U ), kan vi altså definere den surjektive og isometriske U = K U B(H) opfyldende U U = K K. Da U åbenbart er unitær, vil specielt U være normal med sp(u ) T, og funktionskalkylen i U giver derfor en -homomorfi Endelig er πρ = τ, idet jo ρ : C(T) B(H), f f(u ). πρ(z) = π(z(u )) = π(u ) = π(u) = π(w) = τ(z), og z frembringer C(T) som C -algebra. 27

Analyse 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. 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 mere

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y).

= λ([ 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 mere

Selv-absorberende C*-algebraer

Selv-absorberende C*-algebraer Selv-absorberende C*-algebraer Speciale af Randi Rohde 5. marts 006 Vejleder: Mikael Rørdam Indhold Indledning Tensorprodukter 3. Indledende resultater................................. 3. Fuldstændigt

Læs mere

1.1. n u i v i, (u, v) = i=1

1.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 mere

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2

z 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 mere

Matematik YY Foråret Kapitel 1. Grupper og restklasseringe.

Matematik 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 mere

8 Regulære flader i R 3

8 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 mere

Gult Foredrag Om Net

Gult 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 mere

Supplerende opgaver. S1.3.1 Lad A, B og C være delmængder af X. Vis at

Supplerende 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 mere

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 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 mere

Første konstruktion af Cantor mængden

Fø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 mere

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger

Kalkulus 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 mere

GEOMETRI-TØ, UGE 8. X = U xi = {x i } = {x 1,..., x n }, U α, U α = α. (X \ U α )

GEOMETRI-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 mere

Supplerende note om Hilbertrum og Banachrum

Supplerende 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 mere

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013

Punktmæ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 mere

Lineær Algebra, TØ, hold MA3

Lineæ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 mere

Analyse 1, Prøve 4 Besvarelse

Analyse 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 mere

Mordell s Sætning. Henrik Christensen og Michael Pedersen. 17. december 2003

Mordell s Sætning. Henrik Christensen og Michael Pedersen. 17. december 2003 Mordell s Sætning Henrik Christensen og Michael Pedersen 17. december 2003 Mordells sætning siger at gruppen C(Q) af rationale punkter over en ellipse C er en endeligt frembragt abelsk gruppe. Elliptiske

Læs mere

Hilbert rum. Chapter 3. 3.1 Indre produkt rum

Hilbert 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 mere

3. Operatorer i Hilbert rum

3. 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 mere

6.1 Reelle Indre Produkter

6.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 mere

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 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 mere

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe.

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe. 0.1: Ringe 1. Definition: Ring En algebraisk struktur (R, +,, 0,, 1) kaldes en ring hvis (R, +,, 0) er en kommutativ gruppe og (R,, 1) er en monoide og hvis er såvel venstre som højredistributiv mht +.

Læs mere

GEOMETRI-TØ, UGE 6. . x 1 x 1. = x 1 x 2. x 2. k f

GEOMETRI-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 mere

Hilbert rum. Chapter Indre produkt rum

Hilbert 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 mere

Algebra2 Obligatorisk opgave

Algebra2 Obligatorisk opgave Algebra2 Obligatorisk opgave Anders Bongo Bjerg Pedersen, 070183 Eksamensnummer 45 23. maj 2005 Opgave 1 Vi har: σ = σ 6 5 = (σ 3 ) 2 (σ 5 ) 1 = (1 3 5 2 4)(8 7 6). b) Ordnen af en p-cykel er (jfr. 2.18)

Læs mere

Gamle eksamensopgaver (MASO)

Gamle 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 mere

Taylors formel. Kapitel Klassiske sætninger i en dimension

Taylors 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 mere

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007 MM05 - Kogt ned Jacob Aae Mikkelsen kokken 23. januar 2007 1 INDHOLD 1 ARITMETIK I Z Indhold 1 Aritmetik i Z 2 2 Kongruens i Z 4 3 Ringe 6 4 Aritmetik i F[x] 9 5 Kongruens i F[x] og kongruensklasse aritmetik

Læs mere

DesignMat Uge 1 Gensyn med forårets stof

DesignMat 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 mere

Eksamen 2014/2015 Mål- og integralteori

Eksamen 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 mere

Klassisk Taylors formel

Klassisk 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 mere

p = d, q = multiplikation med x, dx hvor d T θ har entydig (normaliseret) spor, dvs. en linear afbilding τ : T θ C

p = d, q = multiplikation med x, dx hvor d T θ har entydig (normaliseret) spor, dvs. en linear afbilding τ : T θ C 1. Den ikke-kommutative verden 1.1. Lidt historie. Historien begynder samtidig med det tyvende århundrede, med opdagelse af de sære egenskaber af mikrokosmos såsom spektra af atomer og molekyler, fotoelektrisk

Læs mere

Mat2AN Minilex. Indhold. Henrik Dahl 6. januar Definitioner 2. 2 Sætninger Uligheder 28

Mat2AN 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 mere

Oversigt over gruppeteori: definitioner og sætninger

Oversigt over gruppeteori: definitioner og sætninger Oversigt over gruppeteori: definitioner og sætninger (G, ) kaldesengruppe, når følgende aksiomer er opfyldt: 0) (G, ) er en organiseret (stabil) mængde: a, b G a b G 1) Den associative lov gælder, dvs.

Læs mere

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 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 mere

GEOMETRI-TØ, UGE 12. A σ (R) = A f σ (f(r))

GEOMETRI-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 mere

Banach-Tarski Paradokset

Banach-Tarski Paradokset 32 Artikeltype Banach-Tarski Paradokset Uden appelsiner Andreas Hallbäck Langt de fleste af os har nok hørt om Banach og Tarskis såkaldte paradoks fra 1924. Vi har hørt diverse poppede formuleringer af

Læs mere

Noter 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. 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 mere

1: Fundamentale begreber.

1: 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 mere

Note om endelige legemer

Note om endelige legemer Note om endelige legemer Leif K. Jørgensen 1 Legemer af primtalsorden Vi har i Lauritzen afsnit 2.1.1 set følgende: Proposition 1 Lad n være et positivt helt tal. Vi kan da definere en komposition + på

Læs mere

Matematik 2AL, vinteren

Matematik 2AL, vinteren EO 1 Matematik 2AL, vinteren 2002 03 Det er tilladt at skrive med blyant og benytte viskelæder, så længe skriften er læselig, og udviskninger foretages grundigt. Overstregning trækker ikke ned og anbefales

Læs mere

Exponentielle familer, ark 2

Exponentielle familer, ark 2 1 Exponentielle familer, ark 2 Eksponentielle familier OPGAVE 21 Beksriv den eksponentielle familie på (R, B) givet ved følgende data: V er R med det sædvanlige indre produkt, den kanoniske stikprøvefunktion

Læs mere

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel.

Gruppeteori. 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 mere

2. Fourierrækker i en variabel

2. 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 mere

Homotopiteori for pomængden af p-undergrupper i en endelig gruppe

Homotopiteori for pomængden af p-undergrupper i en endelig gruppe D E T N A T U R V I D E N S K A B E L I G E F A K U L T E T K Ø B E N H A V N S U N I V E R S I T E T Kandidatprojekt i matematik Sune Precht Reeh Homotopiteori for pomængden af p-undergrupper i en endelig

Læs mere

5.3 Konvergens i sandsynlighed Konvergens i sandsynlighed 55. Hvis vi regner den karakteristiske funktion for X, v ud i argumentet 1, fås

5.3 Konvergens i sandsynlighed Konvergens i sandsynlighed 55. Hvis vi regner den karakteristiske funktion for X, v ud i argumentet 1, fås 5.3. Konvergens i sandsynlighed 55 BEVIS: Lad φ 1, φ 2,... og φ være de karakteristiske funktioner for X 1, X 2,... og X. Hvis vi regner den karakteristiske funktion for X, v ud i argumentet 1, fås φ X,v

Læs mere

4. Semidirekte produkter - teori og eksempler G version

4. Semidirekte produkter - teori og eksempler G version 4. Semidirekte produkter - teori og eksempler G4-2004-version Lad G være en gruppe, og A en undergruppe af automorfigruppen Aut(G). Vi danner en ny gruppe kaldet G A, (detsemidirekte produkt af G med A).

Læs mere

Matematik 2 AN. Matematisk Analyse. Metriske rum. Christian Berg

Matematik 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 mere

Lineære normale modeller (1) udkast. 1 Flerdimensionale stokastiske variable

Lineære normale modeller (1) udkast. 1 Flerdimensionale stokastiske variable E6 efterår 999 Notat 8 Jørgen Larsen 22. november 999 Lineære normale modeller ) udkast Ved hjælp af lineær algebra kan man formulere og analysere de såkaldte lineære normale modeller meget overskueligt

Læs mere

Facitliste 1 MAT 2AL. 5. f (x) er irreducibel i Z 5 [X].

Facitliste 1 MAT 2AL. 5. f (x) er irreducibel i Z 5 [X]. Facitliste 1 Facitliste til eksamensopgaver Facit til de første 14 opgavesæt er blevet til paa basis af Jonas B. Rasmusssens facitliste. Han regnede størstedelen af opgaverne, medens han fulgte kurset,

Læs mere

n=1 er veldefineret for alle følger for hvilke højresiden er endelig. F.eks. tilhører følgen

n=1 er veldefineret for alle følger for hvilke højresiden er endelig. F.eks. tilhører følgen 2 Hilbert rum 2. Eksempler på Hilbert rum Vi skal nu først forsøge at begrunde, at de indre produkt rum af funktioner eller følger, som blev indført i Kapitel, ikke er omfattende nok til vores formål.

Læs mere

MATEMATIK 4 PROJEKT 3. marts 2006 Oversigt nr. 1

MATEMATIK 4 PROJEKT 3. marts 2006 Oversigt nr. 1 PROJEKT 3. marts 2006 Oversigt nr. 1 1. og 2. møde (15/2 og 2/3). Her har vi læst og gennemgået kapitel 1 i [GKP] om mængdeteoretisk topologi. Dog er følgende kursorisk: 1.1; 1.5.10 13; 1.6.13 14. 3. gang,

Læs mere

Nogle grundlæggende begreber

Nogle 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 mere

Asymptotisk testteori

Asymptotisk 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 mere

2. Gruppen af primiske restklasser.

2. Gruppen af primiske restklasser. Primiske restklasser 2.1 2. Gruppen af primiske restklasser. (2.1) Setup. I det følgende betegner n et naturligt tal større end 1. Den additive gruppe af restklasser modulo n betegnes Z/n, og den multiplikative

Læs mere

Mat H /05 Note 2 10/11-04 Gerd Grubb

Mat 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

Affine og konvekse mængder

Affine 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 mere

3.1 Baser og dimension

3.1 Baser og dimension SEKTION 3 BASER OG DIMENSION 3 Baser og dimension Definition 3 Lad V være et F-vektorrum Hvis V = {0}, så har V dimension 0 2 Hvis V har en basis bestående af n vektorer, så har V dimension n 3 Hvis V

Læs mere

Afgø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

Afgø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 mere

MATEMATIK 4 OPR. I HILBERTRUM 6. februar 2001 Oversigt nr. 1

MATEMATIK 4 OPR. I HILBERTRUM 6. februar 2001 Oversigt nr. 1 OPR. I HILBERTRUM 6. februar 2001 Oversigt nr. 1 Lærebogen for kurset er [P] Functional analysis in applied mathematics and engineering, CRC Press 1999. Jeg regner med at vi gennemgår kapitel 1 6 med tillæg

Læs mere

UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, Indledning

UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, Indledning UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, ESBEN BISTRUP HALVORSEN 1 Indledning De fleste kan nok blive enige om, at mængden {a, b, c} er større end mængden {d} Den ene indeholder jo tre elementer,

Læs mere

4.1 Lineære Transformationer

4.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 mere

Matematik: Videnskaben om det uendelige 1

Matematik: Videnskaben om det uendelige 1 Matematik: Videnskaben om det uendelige 1 Ottende forelæsning: Den aksiomatiske metode II Klaus Frovin Jørgensen 15. november, 2010 1 / 30 Fra sidste gang (1/2) Generelt har vi set, at: Et basalt element

Læs mere

Konvergens i L 1 -forstand. Definition af L 1 -seminorm. Topologi i pseudometrisk rum. Seminorm til norm

Konvergens 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 mere

Kommutativ algebra II, 2005

Kommutativ algebra II, 2005 Kommutativ algebra II, 2005 Anders Thorup Matematisk Afdeling Københavns Universitet Anders Thorup, e-mail: thorup@math.ku.dk Kommutativ algebra II, 2005 Matematisk Afdeling Universitetsparken 5 2100 København

Læs mere

Ølopgaver i lineær algebra

Ølopgaver i lineær algebra Ølopgaver i lineær algebra 30. maj, 2010 En stor del af de fænomener, vi observerer, er af lineær natur. De naturlige matematiske objekter i beskrivelsen heraf bliver vektorrum rum hvor man kan lægge elementer

Læs mere

MATEMATIK 11 Eksamensopgaver Juni 1995 Juni 2001, 4. fjerdedel

MATEMATIK 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 mere

Module 1: Lineære modeller og lineær algebra

Module 1: Lineære modeller og lineær algebra Module : Lineære modeller og lineær algebra. Lineære normale modeller og lineær algebra......2 Lineær algebra...................... 6.2. Vektorer i R n................... 6.2.2 Regneregler for vektorrum...........

Læs mere

Sylvesters kriterium. Nej, ikke mit kriterium. Sætning 9. Rasmus Sylvester Bryder

Sylvesters kriterium. Nej, ikke mit kriterium. Sætning 9. Rasmus Sylvester Bryder Sætning 9 Sylvesters kriterium Nej, ikke mit kriterium Rasmus Sylvester Bryder Inspireret af en statistikers manglende råd om hvornår en kvadratisk matrix er positivt definit uden at skulle ud i at bestemme

Læs mere

Funktion af flere variable

Funktion 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 mere

DesignMat Uge 1 Repetition af forårets stof

DesignMat 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 mere

NATURVIDENSKABELIG KANDIDATEKSAMEN VED KØBENHAVNS UNIVERSITET. MI 2007 Obligatorisk opgave 4

NATURVIDENSKABELIG 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 mere

GEOMETRI-TØ, UGE 3. og resultatet følger fra [P] Proposition 2.3.1, der siger, at

GEOMETRI-TØ, UGE 3. og resultatet følger fra [P] Proposition 2.3.1, der siger, at GEOMETRI-TØ, UGE 3 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 γ : (α, β) R 2 være en regulær kurve i planen.

Læs mere

af koblede differentialligninger (se Apostol Bind II, s 229ff) 3. En n te ordens differentialligning

af 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 mere

Komplekse tal og algebraens fundamentalsætning.

Komplekse tal og algebraens fundamentalsætning. Komplekse tal og algebraens fundamentalsætning. Michael Knudsen 10. oktober 2005 1 Ligningsløsning Lad N = {0,1,2,...} betegne mængden af de naturlige tal og betragt ligningen ax + b = 0, a,b N,a 0. Findes

Læs mere

ANALYSE 1. Uge 7, 4. juni juni, 2007

ANALYSE 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 mere

DesignMat Uge 2. Preben Alsholm. Efterår Lineære afbildninger. Preben Alsholm. Lineære afbildninger. Eksempel 2 på lineær.

DesignMat Uge 2. Preben Alsholm. Efterår Lineære afbildninger. Preben Alsholm. Lineære afbildninger. Eksempel 2 på lineær. er DesignMat Uge 2 er er lineær lineær lineær lineære er I smatrix lineære er II smatrix I smatrix II Efterår 2010 Lad V og W være vektorrum over samme skalarlegeme L (altså enten R eller C for begge).

Læs mere

Matematik 3AN. Søren Eilers. Trykt version, fjerde udgave

Matematik 3AN. Søren Eilers. Trykt version, fjerde udgave Matematik 3AN Nøgle Søren Eilers Trykt version, fjerde udgave Søren Eilers, email: eilers@math.ku.dk Matematik 3AN: Nøgle Matematisk Afdeling Universitetsparken 5 2100 København Ø ISBN 87-91180-09-0 c

Læs mere

Lineær Algebra F08, MØ

Lineær Algebra F08, MØ Lineær Algebra F08, MØ Vejledende besvarelser af udvalgte opgaver fra Ugeseddel 3 og 4 Ansvarsfraskrivelse: Den følgende vejledning er kun vejledende. Opgaverne kommer i vilkårlig rækkefølge. Visse steder

Læs mere

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier

1 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 mere

Konstruktion af de reelle tal

Konstruktion af de reelle tal Konstruktion af de reelle tal Rasmus Villemoes 17. oktober 2005 Indledning De fleste tager eksistensen af de reelle tal R for givet. I Matematisk Analyse-bogen Funktioner af en og flere variable af Ebbe

Læs mere

Gruppekohomologi og Gruppeudvidelser

Gruppekohomologi og Gruppeudvidelser DET NATURVIDENSKABELIGE FAKULTET KØBENHAVNS UNIVERSITET Lise Volsing Smith Gruppekohomologi og Gruppeudvidelser Bachelorprojekt i matematik. Institut for matematiske fag, Københavns Universitet Bachelor

Læs mere

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2 Affine rum I denne note behandles kun rum over R. Alt kan imidlertid gennemføres på samme måde over C eller ethvert andet legeme. Et underrum U R n er karakteriseret ved at det er en delmængde som er lukket

Læs mere

FAGPROJEKT KATEGORIER, DERES NERVE OG DERES (KO)HOMOLOGI.

FAGPROJEKT KATEGORIER, DERES NERVE OG DERES (KO)HOMOLOGI. FAGPROJEKT KATEGORIER, DERES NERVE OG DERES (KO)HOMOLOGI. TOKE NØRGÅRD-SØRENSEN VEJLEDER: JESPER GRODAL Resumé. I dette projekt vil jeg introducere homologi og kohomologi af en kategori. Dette er en generalisering

Læs mere

Funktionsrum. Kapitel 1. 1.1 Funktionsrummet L = L(X, E, µ)

Funktionsrum. 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

Lineær Algebra - Beviser

Lineær Algebra - Beviser Lineær Algebra - Beviser Mads Friis 8 oktober 213 1 Lineære afbildninger Jeg vil i denne note forsøge at give et indblik i, hvor kraftfuldt et værktøj matrix-algebra kan være i analyse af lineære funktioner

Læs mere

9.1 Egenværdier og egenvektorer

9.1 Egenværdier og egenvektorer SEKTION 9.1 EGENVÆRDIER OG EGENVEKTORER 9.1 Egenværdier og egenvektorer Definition 9.1.1 1. Lad V være et F-vektorrum; og lad T : V V være en lineær transformation. λ F er en egenværdi for T, hvis der

Læs mere

Besvarelse, Eksamen Analyse 1, 2013

Besvarelse, 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 mere

Matematisk modellering og numeriske metoder. Lektion 16

Matematisk modellering og numeriske metoder. Lektion 16 Matematisk modellering og numeriske metoder Lektion 16 Morten Grud Rasmussen 6. november, 2013 1 Interpolation [Bogens afsnit 19.3 side 805] 1.1 Interpolationspolynomier Enhver kontinuert funktion f på

Læs mere

Matematik 2 AN. Hilbert rum. med anvendelser. Bergfinnur Durhuus

Matematik 2 AN. Hilbert rum. med anvendelser. Bergfinnur Durhuus Matematik 2 AN Hilbert rum med anvendelser Bergfinnur Durhuus 1997 Matematisk Afdeling Universitetsparken 5 2100 København Ø c Matematisk Afdeling 1997 Forord Sammen med hæftet Metriske rum ved Christian

Læs mere

Analyse 2. Bevis af Fatous lemma (Theorem 9.11) Supplerende opgave 1. Øvelser

Analyse 2. Bevis af Fatous lemma (Theorem 9.11) Supplerende opgave 1. Øvelser Analyse 2 Øvelser Rasmus Sylvester Bryder 24. og 27. september 203 Bevis af Fatous lemma (Theorem 9.) Hvis (u j ) j er en følge af positive, målelige, numeriske funktioner (dvs. med værdier i [, ]) over

Læs mere

ANALYSE 1, 2014, Uge 5

ANALYSE 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 mere

5 opgaver er korrekt besvarede.

5 opgaver er korrekt besvarede. KØbenhavns universitet N a turvidenskab e lig embeqsek~a!,!len vfnteren,1963-64... ----- MATEMATIK 1. Skriftlig prøve 2, (algebra og geometri).. Alle hjælpemidler er tilladt. En besvarelse betragtes som

Læs mere

MATEMATIK 3 AL. Klassisk Algebra. Christian U. Jensen. Typeset by AMS-TEX

MATEMATIK 3 AL. Klassisk Algebra. Christian U. Jensen. Typeset by AMS-TEX MATEMATIK 3 AL Klassisk Algebra Christian U. Jensen 2004 Typeset by AMS-TEX Matematisk Afdeling Universitetsparken 5 2100 København Ø c 2004 Matematisk Afdeling FORORD TIL 1998-UDGAVEN At lære og at tilegne

Læs mere

Modulpakke 3: Lineære Ligningssystemer

Modulpakke 3: Lineære Ligningssystemer Chapter 4 Modulpakke 3: Lineære Ligningssystemer 4. Homogene systemer I teknikken møder man meget ofte modeller der leder til systemer af koblede differentialligninger. Et eksempel på et sådant system

Læs mere

ANALYSE 1, 2014, Uge 6

ANALYSE 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 mere

Matematik 2 MA Matematisk Analyse. Gerd Grubb

Matematik 2 MA Matematisk Analyse. Gerd Grubb 1 Matematik 2 MA Matematisk Analyse 1994 95 Kapitel IV. Fourier Analyse Gerd Grubb 1 1 Matematik 2. Matematisk Analyse 1994-95 Kapitel IV. Fourier analyse 0. Indledning 1. Hilbert rum 1.1. Hilbert rum

Læs mere

Om første og anden fundamentalform

Om første og anden fundamentalform Geometri, foråret 2005 Jørgen Larsen 9. marts 2005 Om første og anden fundamentalform 1 Tangentrummet; første fundamentalform Vi betragter en flade S parametriseret med σ. Lad P = σu 0, v 0 være et punkt

Læs mere