Bachelor projekt: Invariant integration

Relaterede dokumenter
Tonelli light. Eksistensbeviset for µ ν gav målet. for G E K ved succesiv integration. Alternativ definition:

8 Regulære flader i R 3

Gult Foredrag Om Net

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

Analyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X).

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

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

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

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

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

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

Hilbert rum. Chapter Indre produkt rum

Eksamensnoter til Analyse 1

Taylors formel. Kapitel Klassiske sætninger i en dimension

standard normalfordelingen på R 2.

Histogrammetoden For (x i, y i ) R 2, i = 1,..., n, ser vi på den gennemsnitlige

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

Første konstruktion af Cantor mængden

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

Integration m.h.t. mål med tæthed

Eksamen 2014/2015 Mål- og integralteori

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

Bachelorprojekt. Fourieranalyse på lokalkompakte abelske grupper. Fourier analysis on locally compact abelian groups. SDU, 28.

Supplerende note om Hilbertrum og Banachrum

Besvarelses forslag til Tag-hjemeksamen Vinteren 02 03

Skriftlig eksamen - med besvarelse Topologi I (MM508)

Masterprojekt udarbejdet af Søren Naundrup Vejleder Steen Andersson

Lineær Algebra F08, MØ

DesignMat. Preben Alsholm. September Egenværdier og Egenvektorer. Preben Alsholm. Egenværdier og Egenvektorer

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

Histogrammetoden For (x i, y i ) R 2, i = 1,..., n, ser vi på den gennemsnitlige. Histogrammetoden. Histogrammetoden.

1: Fundamentale begreber.

Oversigt over gruppeteori: definitioner og sætninger

Oversigt [LA] 1, 2, 3, [S] 9.1-3

DesignMat Uge 1 Gensyn med forårets stof

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

Om første og anden fundamentalform

Hilbert rum. Chapter Indre produkt rum

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

MATEMATIK 4 PROJEKT 3. marts 2006 Oversigt nr. 1

Gamle eksamensopgaver (MASO)

Nogle grundlæggende begreber

Lineær Algebra - Beviser

Banach-Tarski Paradokset

Besvarelse, Eksamen Analyse 1, 2013

Teoretiske Øvelsesopgaver:

Diagonalisering. Definition (diagonaliserbar)

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

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

3. Operatorer i Hilbert rum

Egenværdier og egenvektorer

Matematisk modellering og numeriske metoder. Lektion 5

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

Indledning. 1 Martingalerepræsentationssætningen

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

Integration m.h.t. mål med tæthed

Side 9 sætningen: Kolmogorov s konsistensætning Tue Tjur, Institut for Matematisk Statistik

Lineær Algebra, TØ, hold MA3

6.1 Reelle Indre Produkter

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

Kommutativ harmonisk analyse

Differentialregning i R k

Dimensionsbegreber i Topologi. Mads Kjærulf Caspersen Henning Røigaard-Petersen 17. juni 2004

Affine og konvekse mængder

N o t e r t i l G e o m e t r i

2. Fourierrækker i en variabel

Projekt 1.4 De reelle tal og 2. hovedsætning om kontinuitet

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec.

Antag 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

Den Brownske Bevægelse

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

Note om endelige legemer

Wigner s semi-cirkel lov

Oversigt [LA] 1, 2, 3, [S] 9.1-3

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

3.1 Baser og dimension

Matematik 2AL, vinteren

4.1 Lineære Transformationer

Euler-karakteristik for fusionskategorier

Analyse 1, Prøve 4 Besvarelse

DesignMat Uge 1 Repetition af forårets stof

Algebra2 Obligatorisk opgave

Partielle afledede og retningsafledede

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

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

Statistik og Sandsynlighedsregning 2

Tidligere Eksamensopgaver MM505 Lineær Algebra

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

Dette materiale er ophavsretligt beskyttet og må ikke videregives

[BM] Mål- og integralteori, af Christian Berg og Tage Gutmann Madsen, Københavns Universitet, 2001.

Konstruktion af de reelle tal

Symmetriske matricer

2. Gruppen af primiske restklasser.

Vektorfelter langs kurver

Lineær algebra: Matrixmultiplikation. Regulære og singulære

[BM] Mål- og integralteori, af Christian Berg og Tage Gutmann Madsen, Københavns Universitet, 2001.

Del II. Den lineære normale model

Ølopgaver i lineær algebra

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier

Differentation i vektorrum

Transkript:

Bachelor projekt: Invariant integration Jens erlach Christensen Dan Rasmussen 19. maj 1997 1 Indledning Dette bachelorprojekt er skrevet i forårssemestret 1997 ved Københavns Universitet Matematisk Institut. Projektets hovedområde er invariante mål på topologiske grupper. Vi viser eksistens og essentiel entydighed for sådanne på lokalkompakte grupper. For at forstå målteorien kræves fortrolighed med kurserne Mat3MI og Mat3T eller tilsvarende. Vi benytter A. Haar s originale ide til eksistensbeviset. Men det afhænger af en tællelig basis for topologien. A. Weil viste eksistensen uden brug af 2. tællelighedaksiom. Vi benytter heller ikke 2. tællelighedsaksiom i vores bevis. Til gengæld benytter vi udvalgsaksiomet specielt i form af Tychonoffs sætning. Som inspiration til eksistensbeviset har vi benyttet [Munroe, p.86ff]. Men beviset indeholder enkelte fejl og unødvendige betingelser, så vi har generaliseret en del mellemresultater. Vi kommenterer ikke dette i teksten. I entydighedsbeviset har vi benyttet en sætning, der egentlig er en variant af Fubinis sætning. Men for fuldstændighedens skyld har vi medtaget beviset. Vi begrænser os derefter til at se på kompakte grupper, og benytter det invariante mål, til at vise fundamentale resultater i repræsentationsteori for kompakte grupper. For eksempel vises Peter-Weyls sætning. Denne del af projektet støtter sig til kurset Mat3RE, men kurset er ikke en forudsætning for forståelse af projektet. Vi har skrevet projektet i tæt samarbejde og det har derfor ikke været muligt, at skelne mellem de enkelte dele. Tak til vores vejleder Henrik Schlichtkrüll. 2 Topologi Lad (M, T ) være et topologisk rum. Vi benytter betegnelsen U(x) for mængden af omegne af x M og O(x) for de åbne omegne. Lemma 2.1. Hvis en familie {A i } i I af ikke tomme delmængder af en kompakt mængde K M er stabil overfor dannelse af endelig fællesmængde, det vil sige, at for vilkårlig N j=1 A i j findes en mængde i familien, som er indeholdt i N j=1 A i j, så gælder, at i I A i. Bevis. Vises ved modstrid. Antag, at {A i } i I er stabil overfor dannelse af endelige fællesmængder. Antag også, at i I A i =. Ved overgang til komplementærmængder fås, at i I A i = K. Da dette er en åben overdækning af en kompakt mængde, kan 1

den udtyndes til endelig overdækning N j=1 A ij. Ved at gå tilbage med komplement fås N j=1 A i j =. Men da N j=1 A i j N j=1 A i j er der opnået en modstrid. Her følger nogle klassificeringer af topologiske rum. Definition 2.2. (T 1 ) Et topologisk rum kaldes T 1, hvis der for alle punkter x 1 x 2 findes O 1 O(x 1 ) og O 2 O(x 2 ) så x 1 O 2 og x 2 O 1. (T 2 ) Et topologisk rum kaldes T 2, hvis der for alle punkter x 1 x 2 findes O 1 O(x 1 ) og O 2 O(x 2 ) så O 1 O 2 =. (Kaldes også Hausdorff rum.) (T 3 ) Et topologisk rum kaldes T 3, hvis for alle x og alle ikke tomme afsluttede mængder F med x F findes disjunkte åbne mængder O 1 og O 2 så x O 1 og F O 2. Hvis rummet tillige er T 1 kaldes det et regulært rum. (T 3,5 ) Et topologisk rum kaldes T 3,5, hvis for alle x og alle ikke tomme afsluttede mængder F med x F findes en kontinuert funktion f : M [0, 1] med f(x) = 0 og f(f ) = {1}. Sammen med T 1 kaldes rummet fuldstændig regulært. (T 4 ) Et topologisk rum kaldes T 4, hvis for alle ikke tomme disjunkte afsluttede mængder F 1 og F 2 findes disjunkte O 1, O 2 T så F 1 O 1 og F 2 O 2. Sammen med T 1 kaldes rummet normalt. Et normalt rum er, ved Urysohns lemma [3T], et fuldstændigt regulært rum og et fuldstændigt regulært rum er regulært (da topologien på [0, 1] er Hausdorff). Desuden er et Hausdorff rum automatisk T 1. Hvis (M, T ) er er et regulært rum er det også et Hausdorff rum. Sætning 2.3. (i) Et topologisk rum er T 1 hvis og kun hvis enhver singletonmængde er afsluttet. (ii) Et topologisk rum er T 2 hvis og kun hvis der for ethver x og ethvert y x findes en afsluttet U U(x) med y U. (iii) Et topologisk rum er T 3 hvis og kun hvis der for alle x og enhver O 1 O(x) findes O 2 O(x) med O 2 O 2 O 1. (iv) Et topologisk rum er T 4 hvis og kun hvis for alle afsluttede mængder F og alle O 1 T indeholdene F findes O 2 T så F O 2 O 2 O 1. Bevis. (i) Påstanden følger af, at x er {x} afsluttet x : {x} er åben x y {x} O y O(y) : x O y. Da y også vil være en afsluttet mængde er dette det samme som at kræve T 1. (ii) Vælg en afsluttet omegn U af x. Så findes åben omegn O x af x så O x U og da U er åben findes for hvert y U omegn O y af y så da x og y er valgt vilkårlige, er T 2 opfyldt. Omvendt givet O x og O y som i T 2 vil O x være indeholdt i den afsluttede mængde O y, så med U = O x vil U O y. 2

(iii) Antag T 3 og lad O 1 være en åben mængde. O 1 er afsluttet og for hvert x O 1 findes disjunkte O, O 2 T så x O 2 og O 1 O ifølge T 3. Derfor er O 2 O O 1 og det følger, at O 2 O 2 O 1. Antag omvendt, at for hver O 1 T findes O 2 O(x) så O 2 O 2 O 1. ivet vilkårligt x M og vilkårlig afsluttet mængde F med x F. F er åben så der findes O 2 O(x) så O 2 O 2 F. Sæt O 1 = O 2 så vil O 1 O 2 = og F O 1. (iv) Antag at for alle afsluttede F og åbne O 1 indeholdende F findes O 2 T så F O 2 O 2 O 1. ivet F 1 F 2 = begge afsluttede vil F 2 F 1. Derfor findes O 2 T så F 2 O 2 O 2 F 1. Med O 1 = O 2 fås da F 1 O 1, F 2 O 2 og O 1 O 2 =. Antag omvendt T 4. ivet F afsluttet og O 1 F. O 1 er afsluttet og disjunkt med F. Der findes derfor disjunkte åbne mængder O 2 og O så F O 2 og O 1 O. Derfor gælder, at F O 2 O O 1 og derfor vil F O 2 O 2 O 1. I næste får vi brug for følgende definition. Definition 2.4. Et topologisk rum (M, T ) kaldes lokalkompakt, hvis ethvert punkt har en kompakt omegn. 3 Topologiske grupper Definition 3.1. (,, T ) kaldes en topologisk gruppe, hvis (i) (, T ) er et topologisk rum, (ii) (, ) er en gruppe og (iii) Afbildning en (x, y) x 1 y er en kontinuert afbildning fra. Det ses, at det tredie krav er ækvivalent med, at kræve at x x 1 og (x, y) x y er kontinuerte. Desuden ses, at x x 1, x h x og x x h (for alle h ) er homeomorfier. Derfor er det altså nok at betragte omegne af e (topologien er translationsinvariant). Herefter udelades for gruppekompositionen. Eksempel 3.2. (R n, +) udgør en lokalkompakt Hausdorff gruppe. Udstyres L(n, R) med delrumstopologien fra R n2 bliver L(n, R) klart et lokalkompakt Hausdorff rum. Af ( ) AB = a ik b kj k for A, B L(n, R) følger, at matrixmultiplikation er kontinuert. Man ser lige så let, at inversdannelse er kontinuert. Sætning 3.3. For enhver omegn U U(e) findes en symmetrisk omegn V U(e), så V V U. Bevis. Lad U U(e) være givet. Idet (g, h) gh er kontinuert og (e, e) e, findes omegne V 1, V 2 U(e) så (V 1, V 2 ) U det vil sige V 1 V 2 U. Ved at sætte V = V 1 V 2 V1 1 V2 1 fås en mængde som ønsket. i,j 3

Korollar 3.4. Enhver topologisk gruppe er T 3. Bevis. Ifølge sætning 2.3(iii) er det nok at vise, at U U(e) V U(e) : V U. Lad U U(e) være givet og vælg i henhold til sætning 3.3 V U(e) symmetrisk. Følgende gælder da: x \ U x \ V V = \ V 1 V v 1, v 2 V : x v 1 1 v 2 v 1 V : v 1 x V V x V =. Da V x er en omegn af x er fundet en omegn af x, der er disjunkt med V, det vil sige, at x V. Derfor er fundet V så V U som ønsket. Korollar 3.5. En topologisk gruppe, der er T 1 er regulær og specielt Hausdorff. Bemærkning 3.6. Lad være en topologisk gruppe. Af beviset ovenfor ses, at vi faktisk finder en symmetrisk omegn V af e, så V U for U U(e). V er ligeledes symmetrisk, thi hvis x V da findes et net (x λ ) V som konvergerer mod x. Da inversdannelse er kontinuert, vil x 1 λ x 1 og da x 1 λ V vil x V. Hvis er lokalkompakt, findes en kompakt omegn K af e og for alle omegne U K af e findes ifølge ovenstående symmetriske kompakte omegne af e (afsluttede delmængder af kompakte mængder er kompakte). I det følgende vil vi betragte kvotientgrupper og restklasserne svarende til x betegnes [x]. Sætning 3.7. Lad være en topologisk gruppe og H en normal undergruppe i. Hvis /H udstyres med finaltopologien T H = {O /H κ 1 (O) T } med hensyn til den kanoniske homomorfi κ : /H, da gælder: (i) κ er åben og kontinuert, (ii) /H er en topologisk gruppe, (iii) hvis H er afsluttet er /H Hausdorff og (iv) hvis B er omegnsbasis for T er {κ(v ) V B} omegnsbasis for T H. Bevis. (i) κ er kontinuert, idet T H er finaltopologien med hensyn til κ. Hvis O T vil κ 1 (κ(o)) = κ 1 ( o O {[o]}) = o O (o H) = h H O h T, da topologien er translationsinvariant. Da κ(o) T H, er κ en åben afbildning. (ii) Det ses, at (/H, T H ) opfylder (i) og (ii) i definition 3.1 (jvf. mat 2AL). Lad i : g g 1, i H : [g] [g] 1 være inversdannelser på de to grupper. Det haves, at i H κ = κ i. Da κ er kontinuert og i er kontinuert er i H kontinuert (idet T H er finaltopologien jvf. [3T sætning II.4.14]). κ i /H ih 4 κ /H

Multiplikation i /H kontinuert, thi lad W U([e]) i /H. I henhold til sætning 3.3 kan vælges V U(e) i, så V V κ 1 (W ). Så er κ(v )κ(v ) = κ(v V ) W og da den kanoniske afbildning er åben vil κ(v ) U([e]) i /H. (iii) Hvis H er afsluttet i T vil {[e]} være afsluttet i T H (κ er en åben afbildning), og da topologien er translationsinvariant følger, at [g] /H : {[g]} afsluttet. Altså er /H et T 1 -rum og dermed Hausdorff. (iv) Umiddelbar konsekvens af (i). Bemærkning 3.8. Hvis H er normal undergruppe af så er H ligeledes en normal undergruppe af. Thi for a, b H; lad (a λ ), (b λ ) være net i H så a λ a, b λ b. Idet (x, y) xy 1 er kontinuert og H er en undergruppe, vil H a λ b 1 λ ab 1 H ifølge [3T sætning 7.14]. Derfor er H en undergruppe. Hvis H er normal i vil H ghg 1 for alle g. Afbildningen h ghg 1 er kontinuert, så for et net h λ h H vil gh λ g 1 i ghg 1 H konvergere mod ghg 1 som så må ligge i H for alle g. Altså er H en normal undergruppe. Lemma 3.9. Hvis C er kompakt, D er afsluttet og C D =, da findes omegn U af e, så CU DU =. Bevis. Hvis C = er påstanden klar. Lad x C. Da D er afsluttet er komplementet åbent og derfor findes ifølge sætning 3.3 en symmetrisk omegn Y x af e så xy x Y x D =, hvor translationsinvariansen af topologien er benyttet. Ved at benytte sætning 3.3 igen fås, at der findes en symmetrisk omegn V x så xv x V x V x xv x V x V x V x xy x Y x. Derfor er (xv x V x V x ) D =. Således er xv x V x og DV x disjunkte, for ellers findes d D og v 1, v 2, v 3 V x så xv 1 v 2 = dv3 1 (idet V x er symmetrisk), så d = xv 1 v 2 v 3, men dette er jo element i både D og xv x V x V x, som er disjunkte. Da C er kompakt, findes endelig mange x i så C (x 1 V x1 ) (x n V xn ). Ved at sætte U = V x1 V xn fås CU n i=1 (x iv xi V ) n i=1 (x iv xi V xi ). Men ingen af mængderne i sidste udtryk har noget til fælles med DU. Dermed er fundet en omegn som ønsket. For Hausdorff grupper gælder specielt følgende, idet kompakte mængder her er afsluttede. Korollar 3.10. Hvis C og D er kompakte og disjunkte mængder i en Hausdorff gruppe, findes O O(e) så CO 1 DO 1 =. Til sidst en sætning, som ikke har betydning for resten af projektet. Sætning 3.11. Enhver topologisk gruppe er T 3,5. Bevis. ivet en vilkårlig afsluttet mængde F med e F. \ F er en åben omegn af e og sætning 3.1 giver så, at der findes en åben symmetrisk omegn V af e med V V \ F. Dette argument kan gentages for V og vi kan derfor rekursivt konstruere en dalende følge {U i } i=1 af åbne omegne af e så U 2 i+1 U i \ F. Sæt V 2 i = U i og V 1 = \ F. For et dyadisk tal r ]0, 1[ (i.e. k 2 n ) findes entydig fremstilling r = 2 l 1 + 2 l 2 + + 2 lp, hvor 0 < l 1 < < l p er heltal. (3.1) 5

Sæt så V r = V 2 l 1 V 2 l 2... V 2 lp samt V 0 = {V r r ]0, 1] dyadisk} (bemærk, at V 0 ikke nødvendigvis er åben). Der gælder så, at e V r, hvor r [0, 1] er dyadisk. Vi viser nu, at for dyadiske tal 0 r < s 1 gælder, at V r V s, 0 r < s 1. (3.2) For r = 2 l 1 + 2 l 2 + + 2 lp og s = 2 m 1 + 2 m 2 + + 2 mq findes entydigt heltal k, så m i = l i for i < k (der er jo egentlig tale om det binære talsystem). Sæt W = V 2 l 1 V 2 l 2... V 2 l k 1 = V 2 m 1 V 2 m 2... V 2 m k 1 så er V r = W V 2 l k V 2 l k+1... V 2 lp W V 2 l k V 2 l k 1V 2 l k 2... V 2 lp+1v 2 lpv 2 lp indskyd mellemliggende mængder og V 2 lp W V 2 l k V 2 l k 1V 2 l k 2... V 2 lp+1v 2 lp+1v 2 2 lp V 2 lp+1... W V 2 l k V 2 l k = W V 2 l k 1 = W V 2 m k 1 W V 2 m k V 2 m k+1... V 2 mq = V s. Dernæst viser vi, at for hvert dyadisk tal r [0, 1[ og hvert l N gælder V r V 2 l V r+2 l. (3.3) Hvis r + 2 l = 1 er påstanden oplagt så vi antager, at r + 2 l < 1. Hvis l > l p, så er V r V r+2 l = V r+2 l (3.4) per definition af mængderne og (3.3) opnås. Antag at l l p, og lad k være det heltal i fremstillingen (3.1) så l k 1 < l < l k (sæt l 0 = 0). Lad r 1 = 2 l+1 2 l k 2 l k 1 2 l 1 og r 2 = r + r 1. Da ses klart, at r < r 2 < r + 2 l+1. Benyttes (3.2), (3.4) og (3.2) igen, fås V r V 2 l V r2 V 2 l = V r2 +2 l V r+2 l+1 +2 l V r+2 l+2. Hermed er (3.3) påvist. Betragt mængderne V 0 og V 1. Der gælder, at e V 0 V 0 V 1, idet V 0 V 0 V 2 3 ifølge (3.3). Ved samme argument, ses at V 0 V 1 4 V 1 4 V 1 2 V 1 2 V 3 4 V 3 4 V 1. Denne proces kan fortsættes; så der gælder V r V s når r < s. Definer funktionen { 1 for x F f(x) = inf{r x V r } for x \ F. 6

Da er f() [0, 1], f(f ) = 1 og f(e) = 0. Det skal vises, at f er kontinuert. Antag, at x så 0 < f(x) < 1 og lad U være omegn af f(x) i [0, 1]. Der findes da dyadiske tal 0 < r < f(x) < s < 1, så [r, s] U. Sæt V = ( \ V r ) V s som er åben. Af f(x) < s ses, at x V s, og af r < f(x) følger, at x V r. Derfor vil x V, som således er en åben omegn af x. For ethvert y V vil f(y) [r, s], idet y O r giver r f(y) og y O r giver s f(y). Derfor er f(v ) U og f 1 (U) U(x). f er altså kontinuert i x. I endepunkterne 0 og 1 kan samme argument bruges, og derfor er f kontinuert. Det er nu vist, at er T 3,5. Inspiration til dette bevis er fundet i [3T, Urysohns lemma]. 4 Haar målet og dets eksistens for lokalkompakte grupper Definition 4.1. Et Borelmål µ på et lokalkompakt topologisk rum kaldes et regulært Borel mål, hvis (i) Enhver kompakt mængde er µ-målelig, (ii) for enhver µ-målelig mængde A er µ(a) = inf{µ(u) A U, U åben}, (iii) og for enhver åben mængde U er µ(u) = sup{µ(c) C U, C kompakt}. Hvis et mål opfylder henholdsvis (ii) og (iii) kaldes målet et ydre regulært mål henholdsvis et indre regulært mål. Definition 4.2. Et regulært Borelmål µ på en lokalkompakt gruppe kaldes et venstre Haar mål, hvis følgende er opfyldt: (i) Enhver kompakt mængde er µ-målelig. (ii) Målet af en kompakt mængde er endeligt. (iii) µ er ikke nulmålet (iv) µ(xe) = µ(e) for enhver Borelmængde E og x. Et højre Haar mål defineres tilsvarende som et højreinvariant mål. Hvis et mål både er venstre og højre Haar mål siges målet blot at være et Haar mål. I dette afsnit vil vi vise, at der for enhver lokalkompakt gruppe eksisterer et venstre Haar mål. Deraf vil eksistensen af et højre Haar mål også følge. Vi benytter en del af den teori, der er blevet opbygget i 3MI. Lad i det følgende være en lokalkompakt Hausdorff gruppe, C kompakt og lad N O(e). Da topologien er translationsinvariant er {xn x C} en åben overdækning af C. Idet C er kompakt kan dette reduceres til en endelig overdækning. Vi kan derfor tale om et mindste overdækningsindeks som betegnes (C : N); det er det mindste antal translationer af N af ovenstående type, hvis forening overdækker C. Da dette er et groft mål for hvor meget større C er end N er det måske 7

mere på sin plads, at tale om en overdækning i forhold til en fast kompakt omegn C 0. Derfor definerer vi (C : N) τ N (C) = (C 0 : N). (4.1) Denne idé viser sig at være frugtbar i vores konstruktion af et mål som ønsket, som det skal ses. Følgende sætning er et skridt på vejen: Proposition 4.3. Lad C 0 og N være givne. Hvis samtidig C og D er kompakte delmængder af, så gælder (i) 0 τ N (C) < for enhver kompakt mængde C, (ii) hvis C D, er τ N (C) τ N (D), (iii) τ N (C D) τ N (C) + τ N (D), (iv) τ N (C D) = τ N (C) + τ N (D), hvis CN 1 DN 1 =, (v) for x er τ N (xc) = τ N (C). Bevis. De to første påstande er oplagte. Den tredje følger af, at en overdækning af C og en overdækning af D tilsammen overdækker C D. Den fjerde ses af, at en translation af N med et element x C ikke indeholder noget element fra D og omvendt. For antages at y xn D for x C så vil x DN 1 dette er i modstrid med antagelsen, som giver at C DN 1 =. Omvendt hvis x yn C for y D vil y CN 1 som igen er modstrid. Man kan sige, at ingen mængde fra overdækningen af D kan erstattes af en mængde fra overdækningen af C. For overdækningstallene gælder derfor, at (C : N) + (D : N) = (C D : N), hvoraf påstanden følger. Den femte påstand ses af, at en overdækning af C ved translation med x bringes til at overdække xc og omvendt ved translation med x 1. Proposition 4.4. For fast C 0, C findes et kompakt interval [0, k C ] så τ N (C) [0, k C ] for alle N O(e). Bevis. Lad k C være det mindste antal translationer af C0 der dækker C. For hvert N O(e) vil k C (C 0 : N) translationer af N dække C. Derfor er (C : N) k C (C 0 : N), hvoraf påstanden følger. Vi vælger nu en fast kompakt omegn C 0. Med K betegnes mængden af alle kompakte delmængder af. Dan følgende produktrum: P = C K[0, k C ] = {ψ : K C K [0, k C ] C K : ψ(c) k C }. (4.2) Ifølge propositionen ovenfor vil τ N P for enhver åben omegn N af e. Definér delmængden T N af P ved: T N = {τ M M N, M åben omegn af e}. (4.3) Foreningen af endelig mange åbne mængder er igen åben, så givet N 1,..., N n O(e) findes åben omegn M af e, så M n i=1 N i, dvs. at τ M T Ni for i = 1,..., n. Altså 8

er τ M n i=1t ni, hvorfor {T N N O(e)} er stabil overfor dannelse af endelig foreningsmængde. Ifølge Tychonoffs sætning [3T] er P kompakt, så lemma 2.1 giver, at N T N. Vælg τ 0 i denne mængde. Hvis U er åben defineres τ(u) = sup{τ 0 (D) D U, D er kompakt.} Det ses, at τ( ) = 0. Ved hjælp af τ og topologien T er det nu muligt, at konstruere et ydre mål. Det ydre mål defineres som µ (A) = inf{ i I τ(k i ) A i I K i, K i K, I numerabel}. for hvert A P() (potensmængden på ). Det skal nævnes, at det ydre mål defineret på denne måde er tælleligt subadditivt, altså at µ ( i=1 A i) µ (A i ), A i P(), (4.4) i=1 samt µ (A) µ (B) når A B og µ ( ) = 0. Disse er netop kravene til et ydre mål. Definition 4.5. En mængde E kaldes µ -målelig, hvis A : µ (A) µ (A E) + µ (A \ E). Familien af µ -målelige mængder betegnes M og denne er en σ-algebra. M afhænger af den kompakte mængde C 0. Det vigtige ved denne definition ligger i følgende resultat, som er blevet bevist i [3MI] Sætning 4.6 (Caratheodory). Restriktionen µ = µ M af et ydre mål µ i til M er et mål i. For at vise, at vi på denne måde kan frembringe et venstre Haar-mål µ på, skal vi vise, at K M målet af kompakte mængder er endeligt, µ ikke er nulmålet samt, at µ er venstreinvariant. Det er praktisk at opsplitte problemet og først vise nogle egenskaber for τ 0 og τ. Sætning 4.7. Om τ 0 gælder (i) Hvis C og D er kompakte, så τ 0 (C D) τ 0 (C) + τ 0 (D). Der gælder lighedstegn hvis C og D er disjunkte. (ii) Hvis C D begge er kompakte er τ 0 (C) τ 0 (D). (iii) For C kompakt og x er τ 0 (xc) = τ 0 (C). (iv) τ 0 (C 0 ) = 1. 9

Bevis. (i) For hver kompakt mængde C er f C : P R, givet ved f C (σ) = σ(c), kontinuert, idet for ethvert konvergent net σ λ σ i P gælder, at σ λ (C) σ(c). Mængden A 1 = {σ σ(c D) σ(c) + σ(d)} er afsluttet, da den er originalmængde til [0, [ for funktionen g = f C + f D f C D som er kontinuert. Ifølge (iii) fra proposition 4.3 vil τ N A 1 for hvert N så T N A 1 for hvert N og da A 1 er afsluttet vil T N A 1. Derfor vil τ 0 T N A 1 (for alle N) og deraf følger første påstand. Hvis C og D er kompakte og disjunkte findes (lemma 3.10) N 0 så CN0 1 DN0 1 =. Ved (iv) fra proposition 4.3 er T N0 A 2 = {σ σ(c D) = σ(c) + σ(d)}. Da A 2 er afsluttet (originalmængde for g til {0}) gælder τ 0 T N0 A 2 og anden påstand er vist. (ii) Lad A 3 = {σ σ(c) σ(d)}. A 3 er afsluttet og T N A 3 (proposition 4.3(ii)) og derfor τ 0 T N A 3. På lignende vis resoneres for A 4 = {σ σ(xc) = σ(c)} og A 5 = {σ σ(c 0 ) = 1} og dermed er også bevist (iii) og (iv). Af dette kan sluttes Korollar 4.8. Hvis U 1 og U 2 er åbne mængder, så gælder at τ(u 1 U 2 ) τ(u 1 ) + τ(u 2 ). Bevis. Lad E U 1 U 2 være kompakt. Mængderne E \ U 1 og E \ U 2 er disjunkte og kompakte,da de er afsluttede delmængder af E. Ifølge [3T, sætning 6.12], benyttet på det kompakte Hausdorff rum E, findes åbne disjunkte mængder O 1 og O 2 så E \ U 1 O 1 og E \ U 2 O 2. Derfor vil E \ O 1 U 1, E \ O 2 U 2 samt E \ O 1 E \ O 2 = E. Deraf følger τ 0 (E) τ 0 (E \ O 1 ) + τ 0 (E \ O 2 ) τ(u 1 ) + τ(u 2 ). Da dette gælder for vilkårlige kompakte delmængder E af U 1 U 2 følger påstanden. Korollar 4.9. Hvis C er kompakt så er µ (C) τ 0 (C). Bevis. Lad C være overdækket af tællelig forening af U i hvor U i er åben. Udtynd til endelig overdækning C n j=1u ij Da τ( n j=1u ij ) = sup{τ 0 (D) D n j=1u ij, D kompakt} er τ 0 (C) τ( n j=1 U i j ). Ved foregående korollar er τ( n j=1u ij ) Derfor er τ 0 (C) inf τ(u i ) = µ (C). n τ(u ij ) i j=1 τ(u i ). Sætning 4.10. Enhver afsluttet mængde er µ -målelig. Bevis. Først vil vi vise, at hvis F er afsluttet og U er åben, så vil µ (U) µ (U F ) + µ (U \ F ). (4.5) Vælg en kompakt mængde D U \ F og vælg dernæst E U \ D. D og E er disjunkte og D E U, så ifølge korollar 4.9 og sætning 4.7(i) gælder, at µ (U) µ (D E) τ 0 (D E) = τ 0 (D) + τ 0 (E). (4.6) 10

U F D E Figur 1: Skitse af mængder i bevis for sætning 4.10. For fast D U \ F gælder µ (U) τ 0 (D) + sup{τ 0 (E) E U \ D} = τ 0 (D) + τ(u \ D) τ 0 (D) + µ (U F ), Det følger, at µ (U) sup{τ 0 (D) D U \ F } + µ (U F ) = τ(u \ F ) + µ (U F ) µ (U \ F ) + µ (U F ), Dermed er (4.5) blevet påvist. Lad A være en vilkårlig mængde med µ (A) < (ellers er uligheden oplagt) og lad F være afsluttet. Til vilkårligt ɛ > 0 findes en overdækning A i=1 U i med åbne mængder U i så µ (A) + ɛ > i=1 τ(u i), hvilket følger direkte af definitione af det ydre mål. Det følger derfor ved (4.5) at µ (A) + ɛ > τ(u i ) i=1 µ (U i ) i=1 (µ (U i F ) + µ (U i \ F )) i=1 µ ( ( i=1u i ) F ) + µ ( ( i=1u i ) \ F ) µ (A F ) + µ (A \ F ). Den næstsidste vurdering følger af, at µ er tælleligt subadditivt. Da ɛ var vilkårlig følger, at enhver afsluttet mængde F er µ -målelig. Bemærkning 4.11. Da de afsluttede mængder frembringer Borelalgebraen på (, T ), er B indeholdt i M. I øjeblikket et Hausdorff rum, så de kompakte mængder er afsluttede. Derfor er de kompakte mængder µ -målelige. Sætning 4.12. Det fundne mål µ er et regulært Borel mål. Bevis. Vi checker påstandene i defintion 4.1. Første påstand er oplagt da vi µ er et Borelmål. (ii) Lad A være µ-målelig og antag, at µ(a) <. Det skal vises, at µ(a) = inf{µ(u) A U, U er åben. Hvis A U er µ(a) µ(u) og så er µ(a) inf A U µ(u). Den modsatte ulighed indses ved følgende argument. Til vilkårligt ɛ > 0 findes tællelig åben overdækning A i I U i, så µ(a) + ɛ > τ(u i ) µ( i I U i ) inf{µ(u) U åben og A U} i I 11

idet I U i er en åben mængde. Da ɛ var vilkårlig følger påstanden. (iii) Lad åben mængde U være givet. Hvis C er kompakt delmængde af U, vil µ(c) µ(u) så sup{µ(c) C U} µ(u). Den omvendte ulighed følger af, at τ(u) µ(u) og τ(u) = sup{τ(d) D U, D kompakt} sup{µ(d) D U, D kompakt} ifølge korollar 4.9. Sætning 4.13. Det fundne mål µ er et venstre Haar mål. Bevis. µ er som vist et regulært Borelmål. Vi checker egenskaberne fra definition 4.2. (i) Jævnfør bemærkning ovenfor. (ii) Hvis D er kompakt, kan D overdækkes af endelig mange kompakte omegne n i=1 K i (på grund af lokalkompakthed). C = n i=1 K i er kompakt og D C, idet D n i=1 K i ( n i=1k i ). Da gælder, at µ(d) τ(c ) τ 0 (C) k C <. Hvor τ(c ) τ 0 (C) følger af, at for kompakte mængder C, E med E C C er τ 0 (D) τ 0 (C) og så τ(c ) = sup{τ 0 (D) D C } τ 0 (C). (iii) Ifølge (iv) i sætning 4.7 og korollar 4.9 følger, at µ(c 0 ) 1 og dermed påstanden. (iv) Invariansen af µ nedarves fra invariansen af τ 0, som er vist i sætning 4.7. Hermed har vi bevist eksistensen af et venstre Haar mål på enhver lokalkompakt gruppe. 5 Entydighed af venstre Haar mål Lemma 5.1. Antag at X og K er topologiske rum hvor K er kompakt og f : X K R er kontinuert. For hvert x 0 X og hvert ɛ > 0 findes O O(x 0 ) så f(x, k) f(x 0, k) < ɛ når x O og k K. Bevis. Lad x 0 X og ɛ > 0 være givne. På grund af f s kontinuitet er f 1 (]f(x 0, k i ) ɛ, f(x 0, k i ) + ɛ[) åben i X K og derfor findes til hvert k i K omegne Ok X i O(x 0 ) og Ok K i O(k i ) så Ok X i Ok K i f 1 (]f(x 0, k i ) ɛ, f(x 0, k i ) + ɛ[). Derfor er f(x, k ) f(x, k i ) < ɛ når x O X k i og k O K k i og dermed f(x 0, k ) f(x, k ) f(x 0, k ) f(x 0, k i ) + f(x 0, k i ) f(x, k ) < ɛ + ɛ = 2ɛ. (5.1) K kan overdækkes af endelig mange Ok K i så ovenstående gælder. Som den ønskede omegn vælges tilsvarende O = n i=1 OX k i. For (x, k ) O K = ( n i=1 OX k i ) ( n i=1 OK k i ) vil (5.1) være opfyldt. Sætning 5.2. Lad X og Y være lokalkompakte Hausdorff rum, og lad µ og ν være regulære Borel mål på henholdsvis X og Y. Hvis f C 0 (X Y ) så vil 12

(i) snitfunktionerne f x og f y tilhøre henholdsvis C 0 (Y ) og C 0 (X), (ii) x f(x, y)dν(y) C Y 0(X) og y f(x, y)dµ(x) C X 0(Y ), samt (iii) f(x, y)dν(y)dµ(x) = f(x, y)dµ(x)dν(y). X Y Y X Bevis. (i) Lad f C 0 (X Y ). Støtten af f er K = suppf kompakt. Se på projektionen K Y = π Y (K) af K på Y, som er kompakt, da projektionen er kontinuert. Snittet f x er sammensat af y (x, y) og f, som begge er kontinuerte, så f x er kontinuert. K Y er afsluttet da Y er et Hausdorff rum. suppf x K Y thi hvis y {y f x (y) 0} vil 0 f x (y) = f(x, y) så (x, y) K og derfor y K Y. Da K Y er afsluttet vil suppf x = {y f x (y) 0} K Y. Derfor har f x kompakt støtte i Y. Ligeså for f y. (ii) Ifølge (i) er integralfunktionen I Y : x f x dν(y) = f(x, y)dν(y) Y veldefineret. Først vises, at I Y er kontinuert. Lad x 0 X og ɛ > 0. Foregående lemma viser, at der findes O O(x 0 ) så hvis x O vil f(x, y) f(x 0, y) < ɛ (da f : X K Y R er kontinuert). Så gælder, at f(x, y)dν(y) f(x 0, y)dν(y) = f(x, y) f(x 0, y)dν(y) K Y K Y K Y f(x, y) f(x 0, y) dν(y) < ɛν(k Y ). K Y Deraf følger kontinuiteten. I Y har samme støtte som f x, da integralet af en nulfunktion er nul. Det samme ses for den anden integralfunktion. Derfor er de begge kontinuerte med kompakt støtte. (iii) Ifølge (i) og (ii) er dobbeltintegralerne veldefinerede. I henhold til lemmaet vælges Ox X i O(x i ) så f(x, y) f(x i, y) < ɛ for x Ox X i og y K Y. K X kan overdækkes af endelig mange af disse Ox X i. Definér disjunkte borelmængder A i = K X (O xi \ ( i 1 j =1 O x j )), A 1 = K X O x1. Der gælder, at K X n i=1a i. Derefter defineres funktionen Y g(x, y) = n 1 Ai (x)f(x i, y), i=1 som er simpel i første variabel. For g gælder g(x, y)dµ(x)dν(y) = n i=1 µ(a i ) f(x i, y)dν(y) ( ) n = µ(a i )f(x i, y) dν(y) = i=1 g(x, y)dν(y)dµ(x) 13

Både f og g er nul udenfor K X K Y og idet A i Ox X i er f(x, y) g(x, y) < ɛ for alle (x, y) X Y. Derfor gælder f(x, y)dµ(x)dν(y) g(x, y)dν(y)dµ(x) = f(x, y)dµ(x)dν(y) g(x, y)dµ(x)dν(y) < ɛµ(k X)ν(K Y ), f(x, y)dν(x)dµ(y) g(x, y)dν(y)dµ(x) < ɛµ(k X)ν(K Y ). Ved trekantsuligheden fås f(x, y)dµ(x)dν(y) f(x, y)dν(y)dµ(x) f(x, y)dµ(x)dν(y) g(x, y)dµ(x)dν(y) + f(x, y)dν(x)dµ(y) g(x, y)dν(y)dµ(x) < 2ɛµ(K X)ν(K Y ). Da ɛ var vilkårlig følger påstanden. Lemma 5.3. Lad (, T ) være en lokalkompakt Hausdorff gruppe og lad µ være et venstre Haarmål på. Da gælder: O T : µ(o) = sup{ fdµ f C 0 (), 0 f 1 O }. Bevis. Uligheden følger let. For at vise den anden vej, kan vi antage, at µ(o) > 0. Lad α ]0, µ(o)[. Da µ specielt er et regulært mål findes K O kompakt så α < µ(k). Da er lokalkompakt, kan vi vælge åben mængde V så K V V O med V kompakt [3T sætning 6.14]. Nu vil V med delrumstopologien være et normalt rum, idet V er kompakt Hausdorff [3T sætning II.6.12]. Ifølge Urysohns lemma findes en kontinuert funktion g : V [0, 1] så g(k) = {1} og g(v \ V ) = {0}. Funktionen kan udvides til hele ved g(x) = 0 for x \ V. g er så kontinuert på ifølge Tuborg-lemmaet og derfor er g C 0 () nu fundet så 1 K g 1 O. Derfor er α < µ(k) gdµ og dermed α < sup{ fdµ f C 0 (), 0 f 1 O }. Da α µ(o) var vilkårlig følger den ønskede ulighed. Bemærkning 5.4. I beviset er påvist, at C 0 () har elementer forskellige fra nulfunktionen. Lemma 5.5. Lad være en lokalkompakt gruppe og lad µ være et venstre Haarmål på. Hvis O er åben og ikke tom, da er µ(o) > 0. Bevis. Ifølge definitionen af Haarmål er µ 0 så der findes K kompakt så µ(k) > 0. Lad O være en vilkårlig ikke tom åben mængde. Vælg en endelig overdækning n i=1x i O af K. Så er 0 < µ(k) n i=1 µ(x io) = nµ(o) og deraf følger påstanden. Lemmaet sikrer, at hvis f : [0, [ er kontinuert og µ-integrabel, så er fdµ > 0 hvis f 0. 14

Sætning 5.6. Lad være en lokalkompakt Hausdorff gruppe, og lad µ og ν være venstre Haarmål på. Da findes et c > 0 så ν = cµ. Bevis. Lad g C 0 () \ {0} med g 0. Og lad f C 0 () være vilkårlig. Idet gdµ > 0 kan vi betragte R fdµ R gdµ. Denne brøk afhænger ikke af µ. Thi sættes h(x, y) = f(x)g(yx) g(tx)dν(t), så vil h C 0 ( ), idet x g(tx)dν(t) er en strengt positiv kontinuert funktion og støtten af h er supph K LK 1, hvor K = suppf og L = suppg. Så vi har, at f(x)g(yx) f(x)dµ(x) = g(tx)dν(t) dν(y)dµ(x) ses ved udregning f(y 1 x)g(x) = g(ty 1 x)dν(t) dµ(x)dν(y) sætning 5.2 og x y 1 x f(y 1 )g(x) = g(ty 1 )dν(t) dν(y)dµ(x) sætning 5.2 og y xy f(y 1 ) = g(x)dµ(x) g(ty 1 )dν(t) dν(y). Det viser, at R fdµ R gdµ kun afhænger af f og g og ikke af µ. Derfor er R gdν R fdµ R gdµ = R fdν R gdν, det vil sige, at fdν = c fdµ med c = R gdµ. Derfor gælder, at for alle f C 0 () er fdν = c fdµ. Af lemma 5.3 følger nu, at ν = cµ. Vi kan udvide målet til også at gælde for lokalkompakte grupper, der ikke nødvendigvis er Hausdorff. Sætning 5.7. Lad være en lokalkompakt topologisk gruppe og H en afsluttet normal undergruppe af. Hvis µ er et venstre Haarmål på /H så defineres ved et venstre Haar mål på. µ(a) = µ(κ(a)), A B Bevis. µ er klart et regulært Borelmål. De fire resterende egenskaber checkes. (i) og (ii) Hvis K er kompakt er κ(k) kompakt, da κ er kontinuert (iii) µ er ikke nulmålet, da µ ikke er nulmålet. (iv) Da κ er en homomorfi, er κ(xa) = κxκ(a). Invariansen følger så ved regningen µ(xa) = µ(κ(xa)) = µ([x]κ(a)) = µ(κ(a)) = µ(a). Det følger, at hvis er en lokalkompakt gruppe, er {e} en afsluttet normal undergruppe. Derfor findes et venstre Haar mål på. 15

6 Egenskaber ved Haar mål Proposition 6.1. Lad være en lokalkompakt gruppe og lad µ være et mål på. Ved ˇµ(A) = µ(a 1 ) defineres et mål på og der gælder µ er et venstre Haar mål ˇµ er et højre Haar mål µ er et højre Haar mål ˇµ er et venstre Haar mål. Endvidere gælder fdˇµ = ˇfdµ, f L(, µ) ( ) hvor ˇf(x) = f(x 1 ). Bevis. Da u u 1 er en homeomorfi gælder, at hvis A er µ-målelig er A 1 µ-målelig og dermed er A ˇµ-målelig. Samtidig er (xa) 1 = A 1 x 1 så de to første påstande følger deraf. Hvis f = 1 A for A µ-målelig, er ( ) opfyldt. Da enhver positiv µ-målelig funktion kan tilnærmes vilkårligt med simple funktioner følger af integralets linearitet og monoton konvergens, at ( ) gælder for alle positive µ-målelige funktioner. Derfor gælder påstanden for alle µ-integrable funktioner. Korollar 6.2. På en lokalkompakt gruppe findes et og op til multiplikation med en konstant kun et højre Haar mål. Lad være en lokalkompakt gruppe og lad µ være et venstre Haar mål på. For x og for A B defineres µ x ved µ x (A) = µ(ax), som er veldefineret da a ax er en homeomorfi. Det ses, at µ x er et venstre Haar mål på, så ifølge entydighedssætningen for venstre Haar mål findes et tal (x) ]0, [ så µ x = (x)µ for x. Herved defineres en afbildning : R +, som kaldes den modulære funktion for. Denne funktion er veldefineret da den ikke afhænger af µ, thi hvis ν er et andet venstre Haar mål så findes et c > 0 så ν = cµ og dermed fås ν x = cµ x = c (x)µ = (x)ν. Proposition 6.3. Idet f x betegner funktionen g f(gx 1 ) haves f x dµ = (x) fdµ, f L(, µ). Bevis. Da (1 A (y)) x = 1 A (yx 1 ) = 1 Ax (y) gælder, at (1 A ) x dµ = 1 Ax dµ = µ(ax) = (x)µ(a). Da enhver positiv målelig funktion kan tilnærmes vilkårligt med simple funktioner følger påstanden nu ved integralets linearitet og Lebesgues monotonisætning. Korollar 6.4. Den modulære funktion : R + kontinuert homomorfi. for en lokalkompakt gruppe er en 16

Bevis. For x, y og A B med µ(a) 0 gælder (xy)µ(a) = µ(axy) = (y)µ(ax) = (y) (x)µ(a), hvorfor er en homomorfi. Vi viser nu, at den modulære funktion er kontinuert. Da C 0 () er tæt i L 1 (, µ) er det nok, at betragte funktioner i C 0 (). Lad f C 0 () være forskellig fra nulfunktionen så er R fxdµ fdµ > 0. Ifølge foregående proposition er (x) = R fdµ for x. Lad x være vilkårlig og lad (x λ ) være et vilkårligt net, der konvergerer mod x. Da vil f xλ f x i C 0 udstyret med L 1 -normen, thi for vilkårligt ɛ > 0 er f xλ (g) f x (g) = f(gx 1 λ ) f(gx 1 ) < ɛ for alle g fra et vist trin (f er uniformt kontinuert, idet f har kompakt støtte) og så gælder, at f xλ f x = f xλ (g) f x (g) dµ ɛdµ = µ(k)ɛ, hvor f har støtte i den kompakte mængde K. Da ɛ var vilkårlig følger, at f xλ f x i L 1 -norm. Da integralet er kontinuert vil f xλ dµ f x dµ og derfor (x λ ) (x). Altså er den modulære funktion kontinuert. Proposition 6.5. Lad være lokalkompakt og lad µ være et venstre Haar mål. Da er f(x 1 )dµ(x) = f(x) (x 1 )dµ(x), f L(, µ). Bevis. Lad ν = 1 µ være målet med tæthed 1 med hensyn til µ og lad σ(a) = µ(i 1 (A)), hvor i : x x 1 (skrives også σ = i(µ)). Så er ν og σ højre Haar mål. Det eneste problem er at checke iv: σ(ax) = µ(x 1 A 1 ) = µ(a 1 ) = σ(a) ν(ax) = 1 Ax (y)dν(y) = 1 Ax (y) (y) 1 dµ(y) = (x) 1 1 A (yx 1 ) (x) (y) 1 dµ(y) = (x) 1 1 A (yx 1 ) (yx 1 ) 1 dµ(y) = (x) 1 (x) 1 A (y) (y) 1 dµ(y) = 1 A (y)dν(y) = ν(a), hvor proposition 6.3 er benyttet i tredjesidste trin. Ved entydigheden af højre Haar mål findes c > 0 så ν = cσ. Her er c = 1, hvilket følger af følgende: Lad K være en kompakt symmetrisk omegn af e, så er 0 = cσ(k) ν(k) = 1 K (x)(c (x) 1 dµ(x) = c (x) 1 dµ(x) K = c 1dµ(x) (x) 1 1dµ(x) = µ(k)(c 1) (x) 1 1dµ(x). K K Da K er kompakt er µ(k) > 0, og derfor er c 1 = 1 (x) 1 1dµ(x). µ(k) K 17 K K

Da den modulære funktion er kontinuert, kan ifølge bemærkning 3.6 til hvert ɛ > 0 vælges K U(e) kompakt og symmetrisk, så (x) 1 1 < ɛ for x K. Så vil c 1 = 1 (x) 1 1dµ(x) µ(k) 1 (x) 1 1 dµ(x) ɛ. µ(k) K Da ɛ > 0 var vilkårlig, må c = 1. Det kan så konkluderes, at ν = σ. Hvis f L(µ) fås fdν = fdσ = f idµ = f(x 1 )dµ(x) K og fdν = f 1 dµ = f(x) (x 1 )dµ(x), og påstanden er bevist. Definition 6.6. En lokalkompakt gruppe kaldes unimodulær hvis (x) = 1 for alle x. Proposition 6.7. En lokalkompakt gruppe er unimodulær netop hvis der eksisterer et Haarmål på. Bevis. Følger umiddelbart af definitionen af. Eksempel 6.8. (i) Enhver abelske gruppe er unimodulær, thi µ(a) = µ(xa) = µ(ax) = (x)µ(a). (ii) Hvis kommutatorgruppen er tæt i så er unimodulær. For da er kontinuert, er det nok at vise, at ( ) = {1}. Men det følger af, at den modulære funktion er en homomorfi (xyx 1 y 1 ) = (x) (y) (x) 1 (y) 1 = 1. (iii) Hvis er kompakt så er unimodulær. Thi da er en kontinuert homomorfi er () en kompakt undergruppe af R +. Og påstanden følger af, at den eneste kompakte undergruppe af R + er {1}. Der findes derfor et Haar mål µ på. Da µ() < kan målet normeres til et mål ν med ν() = 1. (iv) Lad være udstyret med et venstre Haar mål µ. Hvis der findes C U(e) som er invariant under alle automorfier, det vil sige C = xcx 1 for alle x, så er unimodulær. Dette følger af, at for alle x gælder: µ(c) = µ(xcx 1 ) = (x) 1 µ(xc) = (x) 1 µ(c). Så x : (x) = 1, idet µ(c) > 0 ifølge lemma 5.3. Proposition 6.9. Lad være en lokalkompakt gruppe og µ et venstre Haarmål på. Da er unimodulær hvis og kun hvis µ er inversinvariant, det vil sige at µ(a) = µ(a 1 ) for A B. Bevis. Ifølge beviset for proposition 6.5 er 1 µ = i(µ) og derfor gælder, at µ = i(µ) = 1 er unimodulær. For unimodulære grupper gælder altså, at ψ L(µ) : ψ(x 1 )dµ(x) = ψ(x)dµ(x). 18

7 Eksempler på Haar mål I dette afsnit får vi brug for følgende sætning. Sætning 7.1. Lad være en lokalkompakt Hausdorff gruppe, der er homeomorf til en åben delmængde U R n. Lad φ være en homeomorfi af på U. (i) Hvis funktionen u φ(gφ 1 (u)) er restriktion til U af en affin afbildning L g : R n R n (affin betyder at L a (u) = A g u + b med A g L(n, R) og b R n ) for alle g, så er 1 µ(a) = det L φ 1 (u) dm(u) φ(a) et venstre Haarmål på (m betegner Lebesgue målet). (ii) Hvis funktionen u φ(φ 1 (u)g) er restriktion til U af en affin afbildning R g : R n R n for alle g, så er 1 µ(a) = det L φ 1 (u) dm(u) et højre Haarmål på. φ(a) Bevis. De to påstande kan vises på præcis samme måde, så vi restringerer os til at vise forskriften for det venstre Haar mål. Integralet er veldefineret, for da φ(gφ 1 (u)) = L a U er en homeomorfi, er det L φ 1 (u) 0 for alle u U. Hvis A B() vil φ(a) B(R n ) og desuden er determinanten en kontinuert afbildning. Altså er det L φ 1 (u) 1 kontinuert og derfor målelig. Derfor har det mening at tale om µ(a) som foreskrevet. Enhver kompakt mængde er µ-målelig, da den kompakte mængde er afsluttet (kompakt i Hausdorff gruppen ) og derfor indeholdt i Borelalgebraen. Hvis C er kompakt er integralet endeligt, på grund af kontinuiteten af integranden, samt at φ(c) er kompakt (afsluttet og begrænset). Målet er ikke nulmålet, for integranden er positiv og der integreres med hensyn til Lebesguemålet. Målet er et regulært Borelmål, da Lebesguemålet er regulært. Vi mangler blot at vise venstre-invariansen. 1 µ(xa) = det L φ 1 (u) dm(u) substitution u φ(xφ 1 (u)) og kæderegel = = φ(xa) φ(a) φ(a) det L x det L xφ 1 (u) dm(u) benyt at det L xy = det L x det L y 1 det L φ 1 (u) dm(u) Først er benyttet substitutionen u φ(xφ 1 (u), som er restriktionen af en affin afbildning L x, og kædereglen [3MI], idet Jacobi matricen for afbildningen L x netop er matricen A x. Determinanten for denne er netop den vi skriver som det L x. Derefter benyttes, at det L xy = det L x det L y, thi for u U er L x L y u = φ(xφ 1 (φ(yφ 1 (u)))) = φ(xyφ 1 (u)) = L xy u, og da matricerne A x, A y, A xy er entydigt bestemte, er det L xy = det L x det L y. 19

Haarmålet for L(n, R) Topologien på L(n, R) er den, vi har diskutteret tidligere. Først vil vi behandle specialtilfældet L(2, R). Lad a = ( a 1 a 2 ) a 3 a 4 L(2, R). Definér φ : L(2, R) R 4 ved ( ) a 1 a1 a φ 2 = a 3 a 3 a 4 a 2 a 4 så er φ en homeomorfi af L(2, R) på en åben delmængde U af R 4 (U = R 4 \ ker(det) og determinanten er en kontinuert afbildning, idet den er sammensat af multiplikation og addition, så kernen er afsluttet). Med er u 1 u = u 2 u 3 u 4 (( ) ( )) ( ) φ(aφ 1 a1 a (u)) = φ 2 u1 u 3 a1 u = φ 1 + a 2 u 2 a 1 u 3 + a 2 u 4 a 3 a 4 u 2 a 4 a 3 u 1 + a 4 u 2 a 3 u 3 + a 4 u 4 a 1 u 1 + a 2 u 2 a 1 a 2 0 0 u 1 = a 1 u 3 + a 2 u 4 a 3 u 1 + a 4 u 2 = a 3 a 4 0 0 u 2 0 0 a 1 a 2 u 3. a 3 u 3 + a 4 u 4 0 0 a 3 a 4 u 4 Altså er u φ(aφ 1 (u)) restriktionen af den lineære afbildning L a : u ( ) a 0 0 a u (bemærk notation med submatricer) og det L a = (det a) 2. Så ifølge eksemplet ovenfor er µ = fm et venstre Haar mål på L(2, R), hvor m er Lebesgue målet og f(x) = x 11 x 12 x 21 x 22 2 med x = ( x 11 x 12 ) x 21 x 22 På tilsvarende vis findes et højre Haar mål på L(2, R). Med den samme homeomorfi φ er a 1 0 a 3 0 u 1 φ(φ 1 (u)a) = 0 a 1 0 a 3 a 2 0 a 4 0 0 a 2 0 a 4 Derfor er φ(φ 1 (u)a) restriktionen af en lineær afbildning R a med det R a = (det a) 2. Altså er µ = fm fra før også et højre Haar mål. Deraf ses, at L(2, R) er unimodulær. Med ovenstående i tankerne, kan vi finde et Haar mål på L(n, R). Lad a L(n, R) og homeomorfien φ : L(n, R) U R n2 (U er åben) være givet ved a 11... a 1n a =.. a n1... a nn og φ(a) = a 1. a n u 2 u 3 u 4., hvor a i = a 1i. a ni, 20

hvor vi har identificeret R n2 med R n... R n. Lad u R n2 være givet ved u 1 u =. u n, hvor u i = u 1i. u ni, så er (( a11... a 1n ) ( u11... u 1n )) φ(aφ 1 (u)) = φ.... = φ a n1... a nn u n1... u nn = P i a 1iu i1. P i a niu i1. P i a 1iu in. P i a niu in a 11... a 1n.. 0 a n1... a nn =... 0. ( P i a 1iu i1... P i a 1iu in. a 11... a 1n a n1... a nn P i a niu i1... P i a niu in u 1. u n... ) Så u φ(aφ 1 (u)) er restriktion af den lineære afbildning ( a 0 ) L a : u... u, 0 a og det L a = (det a) n = det a n. Derfor er målet µ defineret ved µ = fm med ( x11... x 1n ) x 11... x 1n n f.. =.. et venstre Haar mål på L(n, R). x n1... x nn x n1... x nn Det ses, at ( a11 ) ( an1 )......... a 11 a n1 u 1 φ(φ 1 (u)g) = (.. a1n ) ( ann ).,......... u n a 1n svarende til en lineær afbildning R a. Determinanten for denne matrix er den samme som for matricen for L a. Dette skyldes, at determinantens nummeriske værdi ikke ændres, selvom matricens rækker og søjler ombyttes eller hvis matricen transponeres [1LA, Thm. 7.4, 7.10]. Her en kort skitse over de trin ( det -bevarende), der fører matricen for R a over i matricen for L a. Først rækkeombytning, derefter tilsvarende søjleombytning og a nn 21

sidst transposition ( a11 )... a 11 (. a1n )......... a 1n a 11... a n1 ( an1... (. ann... a n1 a nn.. 0 a 1n... a nn... 0 a 11... a n1. ) ( a11 0... 0 )..... a 1n 0... 0 ) (. 0... 0 a11 )..... 0... 0 a 1n. a 1n... a nn a 11... a 1n........ 0 a n1... a nn... 0 ( an1 0... 0 )...... a nn 0... 0 (. 0... 0 an1 )...... 0... 0 a nn a 11... a 1n.. a n1... a nn Altså fås, at højre og venstre Haar mål på L(n, R) er ens og derfor er gruppen unimodulær. Haar målet på = {( ) } x y 0 1 x R \ {0}, y R Definér den surjektive homeomorfi φ : R \ {0} R ved φ ( ) ( x y 0 1 = x y). Da φ (( ) ) x y 0 1 φ 1( u1 ) (( = φ x y )( u1 u 2 )) ( 0 1 0 1 = x 0 ) ( ) ( ) u 1 0 0 x +, u 2 y u 2 følger at dµ ( ) x y 0 1 = x 2 dxdy er et venstre Haar mål på. Idet φ ( ( ) φ 1 u1 ( x y )) ( 0 1 = x 0 ) ( ) u 1 y 1, u 2 u 2 er dµ ( x y 0 1 ) = x 1 dxdy et højre Haar mål på. Det følger altså, at ikke er unimodulær. Da er en undergruppe af L(2, R) haves et eksempel på en unimodulær gruppe med en ikke unimodulær undergruppe. 8 Repræsentationsteori I det følgende betegner en lokalkompakt unimodulær gruppe, og H er et separabel Hilbertrum over C. Definition 8.1. Ved en repræsentation af på H forstås en homomorfi T fra ind i B(H) = {S B(H) S er invertibel}. Det bemærkes, at B(H) er en gruppe. Repræsentationen T kaldes kontinuert såfremt afbildningen (u, x) T (x)u fra H ind i H er kontinuert. Repræsentationen T kaldes unitær, hvis x : T (x) er unitær. Ved dimensionen, dim T, af en repræsentation T forstås dimensionen af H. Hvis H er uendeligdimensionelt sættes dim T =. 22

Eksempel 8.2. Lad = (R, +) og H = C, det vil sige B(H) = C = (C \ {0}, ). Som bekendt er (R, +) en lokalkompakt unimodulær gruppe. (a) T 1 (x) = e kx, k C, x R T 2 (x) = e ikx, k R, x R. Her er både T 1 og T 2 klart en-dimensionale kontinuerte repræsentationer af R på C. Da T 2 (x) = 1 for alle x R er T 2 (x) en isometri og derfor er T 2 unitær [2AN, sætning II.6.2]. Man kan vise, at de eneste en-dimensionale kontinuerte repræsentationer af på C er af formen T 1. Dermed er de eneste en-dimensionale kontinuerte unitære repræsentationer af af formen T 2. (b) Lad os angive en diskontinuert unitær repræsentation af. Lad {ξ α } være en Hamel basis for R [3T, p. I.1.30] med ξ α0 = 1. Lad ξ α1 være et andet basiselement, så er ξ α1 R \ Q. Definér T ved T (x) = e irα 1, hvor x = α A r αξ α, så er T en unitær repræsentation af og da T (q) = 1 for alle q Q og T (ξ α1 ) = e i 1 følger, at T er diskontinuert (Q er tæt i R). Definition 8.3. Lad T være en repræsentation af på H. Et underrum V af H kaldes T -invariant, hvis x v V : T (x)v V. T kaldes (topologisk) irreducibel, hvis de eneste afsluttede T -invariante underrum er {0} og H. Hvis H har et ægte (ikke trivielt) T -invariant afsluttet underrum V, kaldes T reducibel. Det bemærkes, at hvis dim T = 1 er T irreducibel, da de eneste underrum er trivielle. Hvis T er en reducibel repræsentation, med V som et ægte afsluttet T -invariant underrum, induceres en repræsentation T V af på V ved T V (x) = T (x) V, altså T V (x)v = T (x)v for x og v V. Denne repræsentation kaldes delrepræcentationen af T på V. Proposition 8.4. Lad T være en unitær repræsentation og lad V være et afsluttet underrum af H. Da gælder, at V er T -invariant V er T -invariant. Bevis. Antag, at V er T -invariant og lad u V, v V samt x. Da er (T (x)v, u) = (v, T (x) u) = (v, T (x 1 )u) = 0 da T (x 1 )u V. Altså er V et T -invariant underrum. Idet V = (V ) følger den anden implikation. Definition 8.5. En repræsentation T af på H siges at være en direkte sum af repræsentationerne T i af på H i, hvis H i er afsluttede T -invariante underrum af H så H = i I H i og i I : T i = T Hi. I så fald skrives T = i I T i. T kaldes fuldstændig reducibel, hvis T kan skrives T = i I T i med T i irreducible delrepræsentationer for alle i I. Korollar 8.6. En unitær endelig-dimensional repræsentation T af er fuldstændig reducibel. Bevis. Hvis T er irreducibel er dette klart. Hvis T ikker er irreducibel findes et ægte afsluttet T -invariant underrum H 1. Proposition 8.4 giver H 1 også er T -invariant og H = H 1 H 1. Hvis T H 1 og T H 1 er irreducible er vi færdige ellers fortsættes. Da dim T < er denne proces endelig, og slutter derfor med en sum af irreducible repræsenetationer. underrum H 1. 23

Definition 8.7. En operator S siges at kommutere med en repræsentation T på, hvis g : T (g)s = ST (g). Lemma 8.8. Lad T være en unitær repræsentation af. Hvis operatoren S kommuterer med T så kommuterer den adjungerede operator S også med T. Bevis. Antag at S kommuterer med T. Da er T (g 1 )S = ST (g 1 ) for alle g. Da den adjungerede operator er entydig, er S T (g 1 ) = (T (g 1 )S) = (ST (g 1 )) = T (g 1 ) S. Og da T er en unitær repræsentation, står der S T (g) = S T (g 1 ) 1 = T (g 1 ) 1 S = T (g)s. Sætning 8.9 (Schurs Lemma). Lad være en lokalkompakt unimodulær gruppe og lad (T, H) være en topologisk irreducibel repræsentation af. Hvis S : H H er en begrænset kompakt operator, som kommuterer med T, så er S = µi for et µ C. Bevis. Først viser vi påstanden i tilfældet, hvor S 0 er kommuterer med T samt er begrænset, kompakt og selvadjungeret; så er S normal (S S = SS ). Ved [3AN, thm. 3.6] har S mindst én egenværdi. Vælg en egenværdi λ 0. ker(s λi) er forskellig fra {0}, da λ er egenværdi, og afsluttet, idet S er begrænset og dermed kontinuert [3AN]. Kernen er T -invariant, thi hvis u ker(s λi) og g er vilkårlige, vil (S λi)t (g)u = ST (g)u λit (g)u = T (g)(su) T (g)(λu) = T (g)(su λu) = 0 Da T er topologisk irreducibel er ker(s λi) = H. Derfor er Sx = λx for alle x H. Påstanden følger deraf. Lad generelt S 0 kommutere og være en begrænset og kompakt operator. S kan skrives S = 1 2 (S + S ) i 2 (is is ), altså som en sum af selvadjungerede operatorer S + S og is is. Disse operatorer er tilmed kompakte ([3AN] S kompakt giver S kompakt) og kommuterer med T ifølge ovenstående lemma. Ifølge det før viste, gælder så, at Dermed er Schurs lemma bevist. S = 1 2 (S + S ) i 2 (is is ) = µ 1 I + µ 2 I = µi, µ C 9 Repræsentationsteori for kompakte grupper I det følgende betegner en kompakt gruppe; der findes så et Haar mål på µ på med µ() = 1. Lad H være et separabelt Hilbert rum over C. Alle repræsentationer antages at være kontinuerte. Sætning 9.1. Antag at (T, H) er en repræsentation af. Da findes et indre produkt på H så T er en unitær kontinuert repræsentation. Endvidere er det nye indre produkt (norm-) ækvivalent med det oprindelige. 24

Bevis. Lad T : B(H) være givet og lad (, ) betegne det oprindelige indre produkt på H. For faste u, v H betragtes afbildningen g (T (g)u, T (g)v) fra ind i C. Denne afbildning er kontinuert og da er kompakt er den også integrabel. Det har derfor mening, at definere det nye indre produkt ved u, v = (T (g)u, T (g)v)dµ(g), u, v. Dette er et indre produkt, idet det tydeligvis er lineær i første variabel og u, v = (T (g)u, T (g)v)dµ(g) = (T (g)v, T (g)u)dµ(g) = v, u. Hvis u 0 er (T (g)u, T (g)u) 0 for alle g og for g = e er (T (e)u, T (e)u) = (u, u) > 0. Så da g (T (g)u, T (g)v) er kontinuert er u, u = (T (g)u, T (g)u)dµ(g) > 0. T er unitær med hensyn til dette indre produkt, idet for h er T (h)u, T (h)v = (T (g)t (h)u, T (g)t (h)v)dµ(g) = (T (gh)u, T (gh)v)dµ(g) = (T (g)u, T (g)v)dµ(g) = u, v, hvor det i næstsidste trin er benyttet, at µ er invariant. At T er kontinuert med hensyn til, følger af, at de to indre produkter er normækvivalente [2AN]: Lad u 2 1 = (u, u) og u 2 2 = u, u. Vi har at u 2 2 = (T (g)u, T (g)u)dµ(g) (sup T (g) ) 2 (u, u)dµ(g) = N 2 (u, u) = N 2 u 2 1. g Her er N = sup g T (g) <, ifølge Banach-Steinhaus sætning [3AN, U3.1], idet u H : sup g T (g)u 1 <. Af u 2 1 = (T (g 1 )T (g)u, T (g 1 )T (g)u) (sup T (g) ) 2 (T (g)u, T (g)u) = N 2 T (g)u 2 1, g følger at u 2 1 = (u, u)dµ(g) N 2 (T (g)u, T (g)u)dµ(g) = N 2 u 2 2. Det ses, at N 1 u 1 u 2 N u 1, så de to normer er ækvivalente. Sætningen siger, at når vi betragter kontinuerte repræsentatitioner af kompakte grupper, kan vi uden indskrænkning antage, at disse er unitære. Før vi går igang med hovedsætningerne for kompakte grupper, er vi nødt til at udvide integralbegrebet. Vi ønsker at definere integralet for kontinuerte funktioner φ : H. Hertil bemærkes, at l : v (v, φ(x))dµ(x) definerer en lineær funktional på H; denne er tillige kontinuert, da l(v) (v, φ(x)) dµ(x) v φ(x) dµ(x) v sup φ(x), x 25

hvor det normerede mål er benyttet, samt at sup x φ(x) < fordi φ er kontinuert og er kompakt. Ifølge Riesz sætning [2AN] eksisteren en entydig vektor ξ H så u H : (u, ξ) = l(u). Vi definerer integralet som dette ξ φ(g)dµ(g) = ξ Følgende egenskaber noteres for integralet: (i) (ψ + φ)dµ = ψdµ + φdµ, (ii) φ(g)dµ(g) = φ(gh)dµ(g) = φ(hg)dµ(g) = φ(g 1 )dµ(g) for h, (iii) φdµ φ dµ og (iv) For en begrænset operator, S B(H 1, H 2 ), mellem to Hilbertrum H 1 og H 2, gælder S φdµ = Sφdµ. De to første påstande er oplagte. Den tredje indses ved at ξ = l, ifølge Riesz sætning, og regningen φdµ = sup{ (v, φ(x))dµ(x) v 1} For vilkårligt v H 2 haves sup{ v φ(x) dµ(x) v 1} = φ dµ. (v, S φdµ) = (S v, φdµ) = (S v, φ(g))dµ(g) = (v, Sφ(g))dµ(g) = (v, Sφdµ). Hermed er fjerde påstand påvist. Denne giver følgende egenskaber Med H 1 = H 2 og S = λi for λ C er λ φdµ = λφdµ. Dermed er vist, at det definerede integral er lineært. Med H 2 = C og S = (, u) for u H 1 er ( φdµ, u) = (φ(x), u)dµ. Lemma 9.2. Lad (T, H) være en unitær repræsentation af. Afbildningen K : H End(H) givet ved K(u)v = (v, T (x)u)t (x)udµ(x), u, v H har følgende egenskaber (i) u H erk(u) en selvadjungeret Hilbert-Schmidt operator, (ii) u H y er K(u)T (y) = T (y)k(u) og (iii) ethvert egenrum E λ til en egenværdi λ for K(u) er T -invariant, u H. 26