iy tt L fr~ UNIVERZA V LJUBLJANI FAKULTETA ZA NARAVOSLOVJE IN TEHNOLOGIJO ODSEK ZA MATEMATIKO Gabrijel Tomšič HOMOGENI OPERATORJI IN HOMOGENE SPEKTRALNE MERE DISERTACIJA ~l°Q ' LJUBLJANA, november 1971 I ! O 9 2 T vv» N 0> J3 rd -H 0 nj ¦H ft fe a M C -H ^H C P P o rC C o -H C CD CD CD -H •H -H 0) •P C •-i TJ *r—i D Öl H« CD -n CT- > 0) •H fd P O C N C P 0 » 0 P rd O E D ro P 0 E tp 3 C 0 P Cn -p O -r-i P rd P 0 i-i 0) u X CD (3 x TJ P nj x 3 C Öl C CD P P KI O •H P X d o CD a 1 P w C a, -m -H X 3 a -n 0) nj o m O o -H XI (D 0 ¦H TJ TJ L •H JS Ë U 01 r-l C U N 0) to •H nj CD -H tO •H x: ta a P D a: c C C C c -H -H Cn -H tn 4-1 N CD c (0 P > nj U .-I 0 C 0 CD > r-l p CD C hH id E > L TJ -n CD rd -H P o C N O m 0 0 LO i Cn Ai E > -H (0 x: rH r, -r-l P C m ta (0 4-1 JK o .rt ft ¦ 0 3 p > -o 0 0 c rd TJ -n 3 C -n rt m •H "ti a -r-l • N O rc p TJ M c > -r^ > C o tO m > • .-1 % > rH 0 rc p C -n (0 M rö o 0) TJ -1-1 C 0 to -H d p * TJ p -n O ¦H P 0 rt XI 5 XI m 0 OJ M > U 0 p TJ CD CD o O O, e 0 (C rd E C a p t/i C M P C N O ¦W p 0) a RI CD «J ¦H • XI E d -P ¦n ¦i—i C M -H M CD rt) CD •H c ¦P P 0> M rH CD TJ CD N rH E > p •H O TI tO nj CL D -U 0) CD o to CD X! P C P O -U a; E P r-l -p 0 -n 0 m -^ -H P rd X A p C TJ p VL> E X x 3 p CD r-l 0 CD CD nj 01 CD CD tK .H rd C CD u XI 5» ft O a ^H to CL c CD x rH TJ a r-i o r-l 0 w CD TJ nj N •H E tO O nj (D tji 0 P nj o X 0 r-l a 0) P Di C 0 e C -P P -r-i x: CD o C 0J O -H E d) >U) J* ¦H r> TJ 3 nj J X 0 -M X O > U o P m OJ Ä nj ft nj CD -n CD o hH e •I-i > ,*: w r-l TI •H XJ ¦n cn 0 U •H 3 P U Xfl C ¦H 0 P O -H 0) g 0 -H -H CD P a -u U E p c p C JN P -n -H (0 0 1 M CD 0 rd -H CD 0) TJ ¦a M C XI tn M-l P 4-1 E-< P nj 1 1 C CD p * k 3 • X QJ 1 r^ •r-i OJ (0 M 0) O C C TJ CD CTI p 0 P C 3 rt rt -h «J r-l 0 -n k 3 rH X C C E p •H tO rH CD •<^ OJ tJl •H O o tO P P 0 p OJ M N 0 X) 1-1 x: TJ 0 -H p TJ -r-i > -r-i rH CD p C X X) (0 X N rH 0 rH «J LO 0 •H (D rd 0 •n 0) rd td E rd C p p > X TJ ¦H Qi P C T-i d tO Ol to w P UJ tO 0 rd C p 0 ** ¦h 0 D > ft 0 0) 0) c u; 0) rH O) rd CD 0! a Cn Oj p •r-i m P C O C T"» C O 0 tO 3 P Cu E r-i rd rH tO E tO X O tO td CD -rt rd X rd TJ O CD r-t rH P 3 C m P C 0) C JG C CD rd rd 0 0 C O CD p ¦n TJ P •H rH -H > -rt rt U) (C nj tO N L0 C 3 C -n P C s 0) •H O x: 3 X 3 p O 3 > 0) •r-i i—t (0 4-1 rH 4H O X v C P •H ft p CD P rt d LO 0 rH 0 C tO CD td TJ C nj x C i tO P 0 E > N -rt P 0) D g rd CD ft P rd CD CD C" M )N P •n • rti m P CD Pu P O rH r-i p 0 TJ 0 o P •rt rH P rd CD r-l x: N a 0) (3 U 01 nj to O CD C 3 tO C 0) P rd tO P P P N o p > CD C CD P P 0 tO tO CD p CD B> nj a C •rt X 1—1 ^ P P tO > ¦n 0 P 0 CD p 0) (3 rd CD -H N P E •H N to ft -n > P d CD 0 O 0 en CD CD 0 tO rH tO CD 3 P C E P x: C C P C X3 C E 10 -H tO td 3 rH a CD JU td CD -H > p rd •n rd CD Cn •H P o G) C a) (0 CD N TJ S P 0 C O p •n CD •r-i ¦r-i C a, (0 E CD ft tO -rt D^ a P > o CD 0 •7-i 0 Cn 3 N P 0 p 0 tO -n 1-1 C C XI o 0 E o P p x: •H XI r-\ E 3 k 01 O x td XI ¦H U 0) 0) nj p 0 rH 0) P j3 to P 0 C (0 to C P (D Ä CD p CD rH N CD P ¦n TJ CD N m •H CL o rd •P rd -r-i M 0 O E ¦rt N P O X E P N 0) 0) n, > ¦H p P CD E Cu C CD > XI 01 O 0 to ¦^4 i—i O o C p C M E 0) ¦H X TJ td X m ¦H C -rt a P 0) p x: p XI C p 0 P -H -H td -H ro O tO G CD OJ N P tu C C X TJ N -r-i e p ¦^ -4- teorije spektralne in urejene reprezentacije glede na sebi adjungiranÇ operatorje. Za obdelavo homogenih spektralnih mer tudi potrebujemo teorijo o spektralni in urejeni reprezentaciji za spektralne mere, ki Se ni bila izdelana, temelji pa na taki teorij.l za omejene normalne operatorje. Navajamo jo v razdelku 3. -s- 1. FORMULACIJA PROBLEMA Namen tega dela je, da bi dobili karakterizacijo za homogene operatorje in kasneje še za homogene spektralne mere. Navedimo najprej definicijo homogenosti za operatorje in začnimo s sebi adjungiranimi operatorji iz separabllnega Hilber-tovega prostora. DEFINICIJA : Sebi adjungiran operator A, ki bodi definiran v nekem separabilnem Hilbertovem prostoru, imenujmo homogen, Se je ekvivalenten razliki A - \I pri poljubnem realnem ëtevilu A. Če je torej operator A homogen, po definiciji pomeni, da eksistira za vsak XeR tak unitaren operator U(X), da je A - XI = U) prostor vseh funkcij x(t), ki so na intervalu (-«>,<») merljive po Lei&gu, kvadrat njihove absolutne vrednosti pa je integrabllen. Potem je operator množenja z neodvisno spremenljivko t Ax(t) - tx(t) homogen operator. Hitro se prepričamo, da za pripadajoče unitarne operatorje U(X) lahko vzamemo na primer U(X)x(t) m x(t-X) . Operator U*(M deluje takole U*{X)x(t) = x(t+X) . Tako definiran operator U ohranja skalami produkt, poglejmo 00 00 (Uf,Ug) = t f (t-X)g(t-X)dt = ( f (t ') gTt') dt ' = (f,g>. -7- Pokažimo, da operator množenja izpolnjuje pogoje homogenosti. (U(X)AU*{X))x(t) = (U ,<*>) operator množenja z neodvisno spremenljivko homogen operator v smislu postavljene definicije in homogeni operatorji ekslstirajo. Sedaj, ko smo vpeljali pojem homogenega operatorja in ko smo hoteli pokazati eksistenco takega operatorja, smo ugotovili, da je na primer homogen operator kar operator množenja v prostoru L_. Postavimo osrednje vprašanje: ali je morda vsak homogen sebi adjungiran operator ekvivalenten operatorju množenja z neodvisno spremenljivko v prostoru L J? Odp'govor na postavljeno vprašanje bomo dali najprej za sebi adjungirane operatorje. Posrečilo se je pokazati, da je vsak homogen sebi adjungiran operator v separabilnem Hilberto-vem prostoru ekvivalenten operatorju množenja v prostoru L_ {-«,«). Na zgornje vprašanje bomo skušali odgovoriti tudi za homogene unitarne in homogene normalne operatorje. Pojavi se še vprašanje, kdaj je v prostoru L_ (-«,») homogen operator množenja z zvezno funkcijo, oziroma množenja s poljubnim homeomorfizmom na Številski premici? Ostalo je odprto vprašanje,ali eksistirajo še kakšni drugi homogeni operatorji, ki bi bili različni od operatorja množenja. Pojem homogenosti se da razširiti na spektralne mere in za homogene spektralne mere postavimo podobno vprašanje, kot za homogene operatorje: ali je vsaka homogena spektralna mera E(e) v separabilnem Hilbertovem prostoru ekvivalentna operatorju množenja s karakteristično funkcijo množice e v pro- k štoru L„(mtF, )t to., je prostoru vseh po Lebesgu merljivih s k kvadratom integrabilnih funkcij v prostoru R ? -8- 2. SREDSTVA IZ FUNKCIONALNE ANALIZE IN TEORIJE MERE V tem delu uporabljamo sredstva funkcionalne analize in teorije mere, zato navedimo najbolj pogoste pojme iz teorije mere in nekaj izrekov realne in funkcionalne ana liže ([14] , [7] , [3]). ' Naj bo X poljubna množica. Družino podmnožic Vi cz p(x) naj sestavlja o-algebro v X. Množice Me VL imenujemo merljive množice in X imenujemo merljivi prostor, Če v X eksistira kaka cr-algebra 071 . Naj bo X topološki prostor. Najmanjšo o-algebro v X, ki vsebuje vse odprte množice, zaznamujmo z & . Družino množic iz S imenujemo Borelove množice iz X. Iz definicije o-algebre sledi, da so tudi zaprte množice Borelove množice in tudi vse Števne unije zaprtih množic in števni preseki odprtih množic. Torej je (B> neka a-algebra v X in imamo X za merljivi prostor, kjer so merljive množice Borelove množice. Pozitivna mera p je funkcija, definirana na o-algebri TU', z zalogo vrednosti na intervalu [O,»] in števno aditivna, Mero \i , ki je definirana na o-algebri vseh Borelovih množic v lokalno kompaktnem Hausdorffovem prostoru X, imenujemo Borelovo mero. Merljivi prostor, ki ima pozitivno mero u definirano na o-algebri 771 merljivih množic označimo kot trojico (X, 1iL, vai Pozitivno Borelovo mero u , definirano na o-algebri ™- => C» , ki ima lastnosti a) p (E) = inf {p (V) : E C V, V odprta množica za vsak EeH} in b) ]x (E) = sup {p (K) : K čE, K kompaktna množica, za vsako odprto množico E in p (E) < °° } , imenujemo regularno mero. -9- Pri ugotavljanju regularnosti mer bomo uporabljali ta izrek <[l4],Th.2.18): Naj bo X lokalno kompakten Hausdorffov prostor, v katerem je vsaka odprta množica a-kompaktna. Naj bo u pozitivna Borelova mera na X in taka, da je y(K)<«> za vsako kompaktno množico K. Potem je u regularna mera. Množica E v danem merskem prostoru z mero u ima a-konČno mero, Ce je E ätevna unija množic E. , da je y(E,)<<» za vsak i. Naj bo y pozitivna mera na o-algebri fît in X poljubna pozitivna mera na 71L . Pravimo, da je mera X absolutno zvezna glede na mero y, kar zapišemo takole X << u, Ce je X (E) =0 za vsako množico Ee 17L , za katero je u (E)=0. Če za meri u in X velja y << X in X << y, potem pravimo, da sta meri u in X ekvivalentni, to je absolutno zvezni druga glede na drugo, kar bomo zaznamovali y = X - Pravimo, da je mera y skoncentrirana na množici A, Ce eksistira taka množica Ae Ti , da je y (E) = y (A A E) za vsako množico Ee '^L. Recimo, da imamo meri y in X na %. in da eksistira par takih disjunktnih množic A in B, da je y skoncentrirana na A, mera X pa na B; potem pravimo, da sta meri y in X medsebojno singularni, kar zapišemo y | X . Omenimo še Lebesgovo dekompozicijo mere. Naj bosta y in X pozitivni in o-konCni meri na o-algebri 7ÎI v X. Potem eksistira enolično doloCen par mer X in X_ na #1, da je -10- X = *a + Xs ' V* v ln Xs 1 »• Meri X in X se imenujeta absolutno zvezni del in singularnl a s del mere X; Ä in X sta tudi pozitivni in medsebojno slngu-a s larni meri. Izrek, ki uporablja absolutno zveznost in ki ga bomo tudi potrebovali, je Radon-Nikodymov izrek, ki pravi: Če sta |i in X pozitivni omejeni meri, 7fl o-algebra v X In X << \i , potem eksistira funkcija geL-(g), da je X (E) = J g du E za vsak Ee 1IL. V primeru, ko sta meri u in X pozitivni in 0-končni, zgornji izrek tudi velja, le da eksistira funkcija g, ki je lokalno v prostoru L., geL,-] _* to pomeni, da eksistira tako zaporedje množic E z lastnostjo E = UE , kjer je M(E )<» in X(E )<« za n = 1,2,... , da je ¦¦-r-^ . . n i g du < « za vsak n. Ob koncu tega pregleda definicij iz teorije mere omenimo Še odvod mere. Naj bo fi družina odprtih množic v k-dimen-zionalnem evklidskem prostoru R z lastnostmi: a) eksistira konstanta ß<» , da je vsaka množica E e li vsebovana v neki odprti krogli B, pri Semer velja m(B) < 6 m(E) oziroma jj|j|}- < ß , kjer je m Lebesgova mera, in v b) vsakemu xeR in 6 >0 ek množice E je manjši od 6 : v b) vsakemu xeR in 5 >0 eksistira Eeîî , da je xeE in premer -11- diam E ¦ sup{|x-y| : xeE, yeE } < 6. Tako družino množic imenujemo Vitalijevo družino. k m /** Naj bo ÎI poljubna Vitali jeva družina, xeR . ce je^po- zitivna Borelova mera na R , potem lahko definiramo zgornji v in spodnji odvod mere \i za vsako točko xeR . Za vsak r > 0 postavimo A (x) = sup{ ^-^ ! xeE, Eefi , diam E < r } (*) m (E) in definirajmo zgornji odvod mere g za x takole: (Dp) (x) = lim Äfx) r+0 Če v izrazu {*) zamenjamo supremum z lnfimum, dobimo 4_(x) in definiramo spodnji odvod mere (Du) (x) = lin A (x) . r+0 "r Torej rečemo, da je mera g odvedljiva in ima odvod (Du)(x) pri nekem x tedaâ in le tedaj, Če sta izraza (Du)(x) in (Dp)(x) enaka in končna, to je (Du) (x) = (Du) (x) = (Dp) (x) . Zvezo med Radon-Nikodymovim odvodom in odvodom v pravkar definiranem smislu podaja tale izrek ([14],Th.8.6): v Naj bo u kompleksna Borelova mera na R , ÎI poljubna Vitalijeva družina, potem velja: v a) mera u je odvedljiva skoraj za vsak xeR t b) naj bo u= V + ua/ tedaj je (Dg )(x) =0 skoraj povsod in S3 S Radon-Nikodymov odvod j_^x) je enak (Dp) (x) skoraj povsod, -12- du g~(x) ¦ (Dp) (x) skoraj povsod glede na m. Iz (izreka opazimo» da so trditve v bistvu neodvisne od izbire Vitalijeve družine fl . Poleg do sedaj navedenih pojmov iz teorije mere bomo potrebovali pri nekaterih dokazovanjih še izreke, ki govore o spremembi integracijske spremenljivke ([14]([7]). Preden navedemo tak izrek, podajmo definicijo N-funkcije: Naj ima funkcija f domeno [a,b]cR in zalogo vrednosti v [ct,&] dR. če za vse Borelove podmnožice E e [a,b] m(E)=0 implicira m(f(E)) = 0, imenujemo funkcijo f N-funkcijo. Izrek 1 ([7],20.4): Naj bo [a,b] interval na realni premici R. Funkcija f bodi nekonstantna, realna, zvezna in N-funkcija na intervalu [a,b]. Interval [a,S] naj preslika funkcija f na interval [a,b] . Potem eksistira nenegatlvna, realna po Borelu merljiva funkcija w na intervalu [a,b] tako, da je za vse geLx([ci,ßJ ,Mm,m) tudi (g.f).wel^ ([a,b],Mm,m) in ß b f g(y)dy = j g.f(x)w(x)dx a a Tu smo z M zaznamovali po Lebesgu merljive množice in m je Lebesgova mera. V primeru, ko je funkcija f monotona, zvezna, dobimo klasično obliko izreka o integraciji s substitucijo. Izrek 2 ([7],20.5): Naj bo f monotona, zvezna, N-funkcija z domeno na [a,b] in zalogo vrednosti na[ct,ß]. Potem je f absolutno zvezna funkcija in funkcija w iz izreka 1 je kar |f* skoraj povsod glede na mero m na intervalu [a,b]. Tako je za gelato,p]) tudi (g.f) |f "|eL1(fafbJî in ß b f g). Funkcija u u (e) = (E(e)a,a), eto H predstavlja regularno mero, definirano na Borelovih množicah družine & v ravnini. Prostor f ekvivalenten prostoru L,(ii ), t[3]/ pgl.XII,Lema 1). Dalje velja tole ([3], XII,Lema 2): eksistira taka množica Ji z iC, da je 3LtJ. Torej, če vzamemo x eH., potem x predstavlja komponento od x v podprostoru IZ , Si x = 1 x* -14- Omeniti moramo še, da je za vsako Borelovo funkcijo f D(f(A)) = { x : x eD(f(A>), ae a , \ |f , k = 1,2,..,, potem imenujemo spektralno reprezentacijo prostora 1C na l 9 L,(u.) glede na sebi ađjungiran operator A, urejeno re-prezentacijo. Pri tem se mera u imenuje mera urejene reprezentacije. Množice e. bomo imenovali množice vefikratnosti urejene reprezentacije. Če je u (e.) > 0 in u(e.+.) = 0, pravimo, da ima urejena reprezentacija veökratnost k. Kadar je M(ei.î > 0 za vse k, potem ima urejena reprezentacija neskončno veckratnost. Povejmo še, kdaj sta dve urejeni reprezentaciji ekvivalentni. Definicija 6: Dve urejeni reprezentaciji U in ti' prostora X gleđe na sebi adjunglrana operatorja A in A" in z merama y in g " in množicami večkratnosti {e } in {e'} , sta ekviva- n n lentni, če je M = M' in y (ekAek ) = u'(ëkAek) = 0 za k = 1,2,.. Končajmo navedeni del teorije spektralne reprezentacije s pomembnim izrekom ([3], XII, Th.3.16). Izrek 7: Separabilen Hilbertov prostor X ima urejeno reprezentacijo U glede na sebi ađjungiran operator A v X. Dva sebi adjunglrana operatorja iz prostora X sta unitarno ekvivalentna tedaj in le tedaj, kadar sta ekvivalentni urejeni reprezentaciji prostora X glede na ta dva operatorja. -16- 3. UREJENA REPREZENTACIJA ZA SPEKTRALNE MERE Pri obravnavanju homogenih spektralnih mer bomo potrebovali teorijo o spektralni in urejeni reprezentaciji glede na spektralne mere. Ta teorija za spektralne mere v literaturi ni izdelana, zato jo na tem mestu pripravimo in to kar za primer, ki ga bomo obravnavali, to je za k-dimenzionalen ev-klidski prostor, o-algebro v tem prostoru pa naj sestavlja družina Borelovih množic. Pri konstrukciji te teorije se opiramo na teorijo o spektralni in urejeni reprezentaciji Hilbertovega prostora glede na omejene normalne operatorje ([3], pogl.X,5). Najprej podajmo splošno definicijo spektralne mere. Definicija 8: Naj bo X neprazna množica, 1U pa neka a-algebra podmnožia iz X. It naj bo Hilbertov prostor in P družina vseh sebi adjungiranih projektorjev v prostoru TL. Homomorfno preslikavo E : 7fc------> p imenujemo spektralno mero, de ima lastnosti: (a) prasni množici pripada ničelni operator, E(0) = 0 in vsemu prostoru identični operator E(X) = I ; (b) E(ef)f) = E(e).E(f) za e,fz%i (a) E(eUf) = E(e) + E(f), de je e f\f = 0 in *,f e %; (d) E je zvezna preslikava, in sicer V tem smislu, da za vsako naraščajoče zaporedje množic e te, e z Tifi, velja, da zaporedje projektorjev E(e ) konvergira krepko proti Eie). Ugotovimo nekaj posledic, ki jih daje ta definicija. Iz -17- lastnosti (b), ki je lastnost multiplikativnosti, sledi še, da je spketralna mera komutativna, to pomeni, da je (E(e), ee VL} komutativna množica operatorjev. Projektorja E(e) in E(f) sta ortogonalna, če sta množici e in f disjunktni, V nadaljnem obravnavamo primer, ko je X = R , to je k-dimenzionalen evklidski prostor in WL = ß , družina Bore-vih množic v prostoru R . Recimo, da imamo dano spektralno mero E{e) za vsak eeß , ki ima zalogo vrednosti v P, prostoru vseh sebi adjunglranih projektorjev, ki delujejo v Hilbertovem prostoru L., Spektralni meri lahko priredimo normalen operator. Poglejmo to povezavo! Z M zaznamujemo razred omejenih Borelo- u vo merljivih funkcij f na prostoru R . K vsaki funkciji feH eksistira integral {[i], sec.5; [6],&37), tako imenovani spektralni integral ¦J T(f) = f dE . ¦ Zgornji vektorski integral eksistira v smislu krepke topologije. T(f) je obmejen normalen operator, hi je seveda odvisen od izbire funkcije f. Tako imamo korespondenco med integralom in funkcijami, f •------+ lf dE. I Ker je E spektralna mera,velja Wf+g)dE m ff dE + f g dE, j(cf)dE = c j f dE in f f dE ¦ ( f dE)*, f fg dE = ( ( fdE)( f gdE) za vse f,g e M in j fdE) *< Jf dE) = j|f| If I2 dE, za feM. -18- Vzemimo neki xe iL . K vektorju x priredimo y na tale način [ f dE)x = f y = ( \ f dE)x = I f dEx = T(f)x, k k RK R* za vsak feM. Vsi vektorji y, ki jih tako dobimo, sestavljajo linearno množico X : o XQ = {ycX , y = T(f)x, feM }. Llnearha množica X je predhilbertov prostor, ki je invarianten glede na dano spektralno mero E. Pokazati moramo torej, da je za vsak yEX tudi E(e)yeX . V ta namen izračunajmo E(e)y = E(e)T(f)x[ iz prejšnjih rezultatov sledi, da je dE m E{Rk) = I R* oziroma Tako dobimo j xedE - j dE - E te) . k e R f dE)x k E(e)T(f)x = ( j xedE) ( Rk in poaastnostih, ki smo jih prej navedli, imamo dalje E(e)T(f)x = R (Xef)dEx = T(Xef)x. k Ker je funkcija xefEM* De tudi E(e)yeX . Torej je XQ invarianten glede na spektralno mero E. Vsakemu vektorju xe SL pripada s predpisom (E < HI2- za vse ee L> in za vsak xe X . Tako definirana mera je tudi regularna, ker izpolnjuje izrek ([l4],Th.2.18), ki smo ga navedli v razdelku 2, kajti v tem primeru je X ¦ R in celo u (e)<«> za vsako množico ee 6 . Vsaki spektralni meri E in za vsak xe IL priredimo lahko družino mer, definiranih na prejšnji način t[l],sec.3). Prostor vseh merljivih funkcij, ki ustrezajo pogoju [ jf|2d = j |f|2 dnx, Rk R' -20- Zadnji integral je prav kvadrat norme funkcije feL_{jj ). Preslikava j . L(B) <--------> x o je zato izometrifini izomorflzem, ||jjf = 1. Zaprimo prostor X . S tem seveda privzamemo Se vse limite Cauchyjevih zaporedij {y } eX in zaznamujmo zaprtje X„ prostora X z o o Xo = H(x) . Naj na primer zaporedje {y } , yneX0 konvergira proti zeH(x). Ker je preslikava J izomorflzem, eksistira zaporedje funkcij {f_eL(B), da je y = Jf« Zaporedje {y_) je Cauchyjevo in zaradi izometričnosti preslikave J še sledi IIf - f II = Il y - v II + 0, m,n >n . li n m " il Jn Jm" o Zaporedje{f }je tudi Cauchyjevo zaporedje v polnem prostoru L_(u ), torej konvergira (f } prosti funkciji feL,(u ). S tem priredimo zeH(x) funkcijo f eL, (y ) in smo tako prešli-kavo J razširili na ves prostor H(x), J : H(x) -----> L2(mx) * Pokažimo, da je preslikava J korektno definirana. Naj na primer tudi zaporedje {y'} konvergira proti zeH(x). K temu zaporedju pripada zaporedje omejenih funkcij {f'}cL{B). Ocenimo || yn - y^ || i ker je ll^n-^nlM l*rB- «I + (¦ - 0. Zaradi izometricnosti preslikave J f J| --> 0. Odtod pa sledi, da %b tudi dobimo || yn - y^ | pa prav tako || f -21- zaporedje {f^} konvergira proti f. Seveda je |zjj ¦ J| f | in preslikava J je izometričnl izomorfizem iz H(x) na L, (y ).- Ugotovili smo, da za poljuben xe X dobimo podpro-stor H{x) v ~&L t H(x) = {y zX y = ( f f dE)x, |y||2 = f ( f \ 2dMjt k k za vsak feL_(u )| ki je izometricno izomorfen prostoru L_(u ). Tu je Mx(e) = =(E(e)x,x) in projektorju E(e) restrlnglranemu na podprostor H{x) ustreza v prostoru L_ {\i ) množenje s karakteristično funkcijo x množice e. Pojem spektralne reprezentacije in urejene reprezentacije za neomejene sebi adjungirane operatorje smo podali v razdelku 2. Ta dva pojma podajmo Se za spektralne mere. Definicija 9: Naj bo E spektralna mera v Hilbertovem prostoru IfC in {u } družina končnih pozitivnih mer definiranih na Borelovih množicah ez (B • Saj bo sedaj J izomorf izem prostora yt IL j absolutno zvezna glede na mero (E(e)x,x). Lema 23: V separabilnem Rilbertovem prostoru 11. eksistira maksimalen vektor x glede na dano spektralno mero E(e). Dokaz te leme teäe enako, kakor prvi del dokaza Leme 7 v [3], pogl.X,5. Maksimalen element, ki ga po lemi 13 dobimo v prostoru "3C-, zaznamujmo kot z.. K temu maksimalnemu elementu na prej opisani način konstruiramo podprostor H(z.). Lema 24: V separabilnem Hilbertovem prostoru ILnaj bo dana spektralna mera E. Potem eksistira zaporedje {x }C#, n -23- da de 11 = y $ H(x.) in tako zaporedje {e } Bore-lovih množic, da je (E(e)x ,i ) = (E(ef\e )x,tx.) n n nil za n >. 2. Dokaz: Če prostor H(z.) ni ves prostor *L , potem v ortogo-nalnem komplementu H(z.) eksistira z / 0. Temu vektorju z pripada podprostor H(z), ki sestoji iz vektorjev oblike ¦I f dEz, kjer je feL_(u)/ u ¦ (E(e)z,z). C C Pokažimo, da je H(z.) ]_ H(z-). Vzemimo yeH(z.) in ugotovimo, da je y z.. Najprej še ugotovimo, da je prostor H(z.)c invarianten na spektralno mero. Vzemimo zeH(z.) in neki yeH(z-); izračunajmo skalami produkt (E(e)z,y) = (z,E(e)y) - (z,yj) = 0, kjer je, kot smo se prepričali, E(e)y = yjcHfz.). Torej je E(e)zeH(z ) . Sedaj izračunajmo skalami produkt (y,z.), (y,^) = j f đ(Ez,Zl) = 0, Rk ker je (Ez,z.) = 0. Q Sedaj po lemi 13 izberemo maksimalen vektor z-eHfz.) Spet konstruiramo podprostor H(z_). Po zgornjem je očitno, da sta podprostora H(z.) in H(z„) med seboj ortogonalna. če H(z.) © H(z2* n* ves Pr°stor ¦*• t potem iz l, n+i n = Uporabimo Radon-Nikodymov izrek in zapišemo Mn(e) = (j gn(X) dMl, kjer je g (XJcL-(jj.), Ker sta u, in p nenegativni meri, lahko vzamemo, da je g tudi nenegatlvna funkcija, Množica e naj sestoji iz tistih točk \, za katere je 9nU) > o, torej e„ = (X: g (X) > 0}. n n Ker je mera Mn+1 zvezna glede na mero u , se vidi, da je tudi li,(e .. - e ) = 0 takole: e„,. - e ={X :g„, , (X) >0 in g(X)=0}, i n+i n n+i n n+i n Ker je y (e ) =0, je zaradi zveznosti tudi u . , (e) = 0. pn n J pn+l n Množica e .,- e c ec in je u (e .. - e ) - 0 in zaradi zve-n+1 nn J Hn n+1 n znosti mere u ,, na mero u ,je tudi u ,.{e ., - e } =0. n+1 n ' n+1 n+1 n Po Radon-Nikodymovem izreku imamo spet "n+lten+l -%> " J gn+l(X)d^l " °" en+ren Ker je 9n+1^> > 0 za Xeen+1 - en sledi, da je M1(en+1-en> = « 0. fie modificiramo funkcijo g_+1 na množicah, ki imajo mero u, nie, in sicer tako Wxî f 0 , X een+1-en lgn+1r sicer -25- in popravimo množice e takole n en = { X: gn(A) > 0 }, dobimo padajoče zaporedje Borelovih množic {e }. Vzemimo še, k da je e. ves prostor, e. = R . Za n > 2 naj bo x ¦ lim x ., k ¦*¦ <» , kjer je *„*- ! K'-'1'2 (X)] *'* dEzn Snk in Snk = { X: gn(XÎ * 1/k }' tu smo z z zaznamovali maksimalne elemente. Najprej pokažimo, da ta limita eksistira. Za k>j ocenimo normo "Xnk-Xnj|2- l em d«S,n|2- S .-s . nk n} Ker je d(Ez ,z ) = dp , imamo po Radon-Nikodymovem izreku dMn = gnd ul in dalJe S . -S . nk nj " >»l{Snk - Snj> i ^l{en " Snj> ' kajti očitno je S . C e .V limiti, ko gresta, k in j + » , gre norma || x , - x . || -*- 0. Sedaj postavimo x. ¦ z., torej je x.maksimalen vektor, za n>l pa je x = lim x . , k ¦*¦ °° . In imamo -26- (E(e)xn,xn) = ||E(e)xn|2 = lim ||E(e)xnkll2 = k-*t» "2! Î ^ dHEZn||2^im 1 epV1 k^o ens . n fc*- enS . n A nk nk ¦ lim J đp L = lim Vl (eflSnk) = p^efle^ ¦ k-*™enS . k = (E(e r\en)x1,x1) . Lema 14 đa torej padajoče zaporedje Borelovih množic {e }, k pri čemer je e. ves prostor, e, = R . Mere p , pn(e) = = (E(e)x ,x ), n>l, so mere, ki so z p. povezane kot vidimo za vsako Borelovo množico e takole: Hn(e) = Vj1(enen). Tako lahko spet govorimo o urejeni reprezentaciji separabil-nega prostora X glede na spektralno mero E in to je trditev leme 11. Definicija 15: Dve urejeni reprezentaciji glede na spektralni meri E in E z zaporedji Borelovih mnoSic {e } in {e } imenujemo ekvivalentni^ Se velja p = p in \i(en&ën) m pfe^uë^J = 0, n sJ,^., Lema 16: Katerikoli dve urejeni reprezentaciji prostora đC glede na spektralno mero E sta ekvivalentni* Dokaz te leme teče enako kot dokaz Th.10,pogl.X,5 v [3] , le da uporabimo definicijo spektralne reprezentacije (definicija 9) in urejene reprezentacije (definicija 10) za spektralne mere. Definicija 17: Spektralni meri E(e) in Eie) imenujemo ekviva-lentnijde eksistira tak unitaren operator Ut da je E(e)=UE(e)U * za vsako Borelovo mnoSico e, -27- Lema 18: Dvema ekvivalentnima spektralnima merama v separabil-nem Hilbertovem prostoru pripadata ekvivalentni ure~ jeni reprezentaciji prostorja fC glede na spektralni meri. Dokaz: Naj bosta E in Ë dve spektralni meri, J in J pripadajoči urejeni reprezentaciji prostora K-glede na dani spektralni meri. Torej: J : "it ------> l® L2(en,u) J : TL -----* \® L2(en,Ü). Spektralni meri sta po predpostavki unitarno ekvivalentni, to je Ë = UEU~ , kjer je U unitaren operator iz 7L v 1L . Pokazati bo treba, da eksistira neka urejena reprezentacija prostora "ic na Lffi L„ (e ,vi) glede na spektralno mero E. Sestavimo preslikavo W = JU iz "&L na L® L2*enfU' * Ta preslikava je očitno izometrična. Velja relacija, ko upoštevamo definicijo 9 W(E(e)x) = JU(E(e)x) = J(Ë(e) (Ux)> = = Xe(JUx) = xeWx, torej je W urejena reprezentacija X na l® L,(e ,m) glede na spektralno mero E. Sedaj uporabimo trditev leme 16 in urejeni reprezentaciji J in J sta ekvivalentni. Ugotovitve, ki smo jih dognali za spektralne mere zapi-šimo skupaj: SepCparabilen Hilbertov prostor ima urejeno reprezentacijo glede na dano spektralno mero E. Vse urejene reprezentacije glede na isto mero so med seboj ekvivalentne in ekvivalentnim spektralnim meram pripadajo ekvivalentne urejene reprezentacije. -28- 4. HOMOGENI SEBI ADJUNGIRANI OPERATORJI V tem razdelku bomo iskali karakterizacijo za homogene sebi adjungirane operatorje. Definicijo in nekaj lastnosti sebi adjungiranega homogenega operatorja poznamo iz razdelka 1. Kot smo tam omenili, je naš glavni cilj dokazati domnevo, da je vsak homogen sebi adjungiran operator ekvivalenten operatorju množenja z neodvisno spremenljivko v prostoru I»2 (-00»00) . Vzemimo homogen sebi adjungiran operator A, definiran v separabilnem Hilbertovem prostoru % . Zapišimo Še enkrat, da je operator A homogen, če eksistira tak unitaren operator U(X) , da je A - XI = U{X)AU*(X) . (1) Po definiciji homogenosti pripada vsakemu realnemu X vsaj en unitaren operator U(X). {U{X)} je množica, ki jo dobimo za vsa realna števila X . Ta množica je Še poljubna, njene lastnosti še niso določene. Vzemimo kar najpreprostejši primer, da množica{U(X)} tvori enoparametriČno grupo, ki je zvezna v krepki topologiji. Ker se omejimo na separabilen prostor, je celo dovolj, da je enoparmetrična grupa krepko merljiva v Lebesgovem smislu ([ll], [13]). Po Stoneovem izreku eksistira tak sebi adjungiran operator B, da je U(X) - BiXB in operator B je generator grupe. Enačba (1) dobi sedaj obliko -29- A - XI = eUBAe"UB Iz te enačbe dobimo dalje, seveda po čisto formalnem računu, kajti homogen operator A je neomejen, tole A - XI = ( 1 + iXB + ... )A(1 - iXB + ... ) in A - X I = A + IX(BA -AB) + ... in odtod tole zvezo BA - AB = il. Tudi operatorju A pripada enoparametrična grupa unitarnih operatorjev ([8],Th.12.3.1), torej e^A = V (p). Operatorji U{X) in V(u) v splošnem ne komutirajo. Zapišimo najprej U{X)AnU*(X) = {A - XI)n Delimo to enačbo z n! in množimo z (iu)n in nato seštejemo preko vseh n, n = 1,2,... in dobimo U(X)elv,AUMX) = eiM{A - XI) odtod pa U{X)V(X)U*(X) = e"lljXV(u) oziroma U(A)V(u> = e"iuXV(y)U(X) -30- V članku [l2] je dokazano tole: dva sebi adjungirana operatorja A in B, ki sta ireduclbilna v Hilbertovem prostoru in ki ustrezata pravkar Izpeljani zvezi, sta ekvivalentna operatorju množenja s t oziroma odvajanja i(d/dt) v prostoru L-(-">,«>). Na osnovi do sedaj povedanega lahko postavimo tale izrek. IZREK I: če sestavljajo operatorji U(\) grupo, ki je zvezna v krepki topologiji in je B generator te grupe in Se operatorja A in B delujeta ireducibilno, potem je homogen operator A ekvivalenten operatorju množenja v prostoru L (-<*>,<*>). ó Ker nastopata operatorja A in B in parametra X,u simetrično, se hitro vidi, da je tudi operator B homogen operator. Tak par operatorjev imenujemo konjugirano homogena operatorja. Ob privzetku, da sestavljajo unitami operatorji U(X) grupo, ki je zvezna v krepki topologiji in da na primer vzamemo, da operator U(X) deluje tako U(X)x(t) ¦ x(t-A) , kakor smo izbrali v razdelku 1, ko smo pokazali eksistenco homogenega operatorja, potem po Stonovem izreku lahko zapišemo U(X) = eUB in dalje e1ABx(t) = x(t-X) . Razvijmo v vrsto (1 + 1XB + ...)x(ti ¦ x(t) - Xx'(t) + .. in odtod dobimo -31- iBx(t) = -x'(t), torej je operator B operator odvajanja, in sicer -i(d/dt), v prostoru L_. Poglejmo še, fie so unitami operatorji, ki nastopajo pri definiciji homogenosti, enolično izbrani? Po definiciji homogenosti pripada k vsakemu realnemu številu X neki unitaren operator V(X), da je V(X)AV*(X) = A - XI, vendar operator V{X) ni enolično izbran. K vrednosti X vzemimo neki unitaren operator V.(X), ki tudi izpolnjuje relacijo VjtXIAVJU) ¦ A - XI. Iz obeh relacij dobimo V(X)AV*) vseh s kvadratom integrabilnih funkcij, ki so merljive po Lebesgu, operator množenja z neodvisno spremenljivko (Ax) (t) = tx L-(-00,00) je linearna in ohranja skalami produkt, saj je 00 00 J x{t) f(t)dct(t) *= x[6(t')] y[ß(t'i] dt.' Torej je preslikava izomorfizem. Enačbo (2) zapišemo sedaj tako (Ax> [$tt*>3 = ß(t')x[0(t*i] , kjer Hft x[ß(t')] pomeni, da je x posredno funkcija spremenljivke t'. Kot neodvisno spremenljivko pišimo spet t in imamo tole ugotovitev: Operator množenja e t v prostoru L „ (-<*>,v>) je homogen operator tedaj in le tedaj, Se je operator množenja 8 $(t) v prostoru Lp(-<»t<*>) homogen, kjer je a[ß(t)] = t. -34- Tako moramo odgovoriti na vprašanje, kdaj je na naalednji način definiran operator (Ax) (t) = f (t)x(t) (3) homogen, kjer je f(t) po Lebesgu merljiva In monotona funkcija ln x(t) cL_ (-«,») . Kakšne dodatne zahteve je treba še postaviti za funkcijo f(t), da bi bil operator A iz relacije (3) res homogen operator ? Odgovor da tale izrek. IZREK II: Operator, definiran z relacijo (3) je homogen operator v prostoru L , če je funkcija f(t) realna, zvezna, striktno monotona, lim f(t) - -<*> ,t+ -», lim f(t) - « , L-*"» in naj ekeietira od nič različen odvod v vsaki točki, rasen v Stevno mnogo točkah (v teh ali f ne eksistira, ali pa je f-Q). Dokaz: Konstruirajmo tak unitaren operator V, da bo V*AV prav operator množenja z neodvisno spremenljivko v prostoru L_(-»,»). Definirajmo operator V na ta način: 0. Zato sedaj vzemimo, da je g(yi > 0 in g(y)eL.(-»,»). Definirajmo f g (y> an < y < sn gn(y) - n [ 0 izven Enačbo (5) lahko zapišemo v tejle obliki \ g(y) dy - \ gn(f 0 za vse t, za katere f (t) ekslstira, to je po naših predpostavkah za vse t, razen za števno mnogo; in b> g —----> g(f(t))f(t) za vsak fikéen t, n n. ¦ w razen morda za števno t, kjer f ne ekslstira. Po izreku o limiti pozitivnih funkcij velja 00 00 f gn(f (t))f (t)dt —y fg(f(t))f(t) dt oo g{y)dy in ker je co j gn(y)dy -----> j — 00 —00 sledi 00 00 j g(y)dy = | g(f(t))f(t)dt. Torej je enačba (4) izpolnjena in smo ugotovili, da operator V ohranja normo. Ko iščemo operator V* potrebujemo inverzno funkcijo funkcije f{t) « t", to je $(t') = t. Inverzna funkcija é(t*) je monotona, odvod ekslstira in je končen, razen morda $(t') -37- ne eksistira, ker pač f(t) ne eksistira za pripadajoči t, ali pa ne eksistira, ker je tam f(t) ¦ 0. Toda takih točk t' je kvečjemu Stevno mnogo. Povsod drugod je f((fr(t'))(t')] = t in odtod (df/dt) . /dt') = 1, oziroma d 0 in $ L 0, dobimo dalje M x(t') A/( (t'>l (t)] x[f (+(t))] - ¦ l.x(t) = x(t) . Prav tako dobimo, da je (W*x) (t) = x{t). Operator V je res unitaren operator. V naslednjem koraku izracunajmo Izraz (V*AV)(x(t))1 Operator V*AV je unitarno transformiran k,operatorju A. Iz definicij operatorjev A,V in V* dobimo (AVx) (t) - f (t)/ f (t) x[f(t)] in dalje (t)] oz. U*x(t)= /f (t) x[L (t)] (9) dobimo (UAU*)x(t) m tX(t) ¦ Äx{t) ali UAU* m Ä. (10) V enačbi (7) uporabimo zvezo (10) in dobimo W(A)UAU*W*(X) - UAU* - X{UU*) Pomnožimo z leve z U*, z desne pa z U in imamo U*W(X)UAU*W*(X)U = A - XI. Od[f(t) + X]] V* /f (t)I[f (ti*X] *¦[#[L (t)- X]] Ker tvorijo operatorji W(X) grupo, tvorijo tudi operatorji V(X) grupo in smo s tem dobili iskano grupo unitarnih operatorjev. Na vprašanje kdaj je v prostoru L-t-»,«) operator množenja z zvezno funkcijo homogen, smo vsaj delno odgovorili z izrekom II» Omenimo še, da velja podoben izrek, le da postavimo na funkcijo f{t) nekoliko hujše zahteve, zahtevamo namreč, da je funkcija f(t) še zvezno odvedljiva. Pa vzemimo sedaj še vse homeomorfizme na Številski pre mici in postavimo prejšnje vprašanje takole: kdaj je operator množenja s homeomorfizrnom na številski premici homogen operator ? Homeomorfizem ja povratno enolična in v obe smeri zvezna preslikava in predstavlja na številski premici monotono funkcijo. Potem se to vprašanje reducira na prej postavljeno vprašanje in odgovor lahko zapišemo v malo spremenjeni obliki izreka II: Operator definiran z relacijo {3) je homogen operator v prostoru L_ (-<»,«>), če je f poljuben homeomorf izem na številski premici, ki ima od nič različen odvod v vsaki, razen v števno mnogo točkah. V drugem delu tega razdelka hočemo pokazati, da je -41- vsak homogen operator v separabilnem Hilbertovem prostoru ekvivalenten operatorju množenja z neodvisno spremenljivko v prostoru L2{-~,<»), pri tem se naslonimo na teorijo o urejeni reprezentaciji za sebi adjungirane operatorje in teorijo o kvaziinvariantnih merah. Najprej bomo Študirali tak homogen sebi adjungiran operator, ki Ima enostavno spektralno večkratnost (izrek III), zatem bomo pokazali še splošneje, da pridemo do takega rezultata, ce ima homogen sebi adjungiran operator števno spektralno večkratnost (izrekV). IZREK III: Naj bo A sebi adjungiran homogen operator v eepa-rabilnem Hilbertovem prostoru 3u . Pvivzemimo, da ima operator A enostavno spektralno večkratnost. Potem je operator A unitarno ekvivalenten operatorju mnoaenja e t v prostoru L„(-«>,»K Pri dokazu tega izreka bomo uporabili nekaj teorije spektralne reprezentacije neomejenih sebi adjungiranih operatorjev In nekaj pojmov in izrekov iz teorije mere (glej razdelek 2). Povedali smo, da ima separabilen Hilbertov prostor urejeno reprezentacijo U glede na dan sebi adjungiran operator A v prostoru HL . Spektralno reprezentacijo definira linearna izometrija U, U : IL ---* I « L2^k' * Kot sledi Iz definicije 3, je operator UAu" v prostoru L ® k-fg.) prav operator množenja z neodvisno spremenljivko (UAU-1x) (t) = tx{t) . Al Torej je homogenemu operatorju A pripadajoči operator A = UAU- v prostoru L© L2^llk^ °Perator množenja s t. -42- Pokažimo najprej, da je operator X = UAU~ tudi homogen operator v prostoru I eL2(Ujj! Po definiciji homogenosti eksistira k vsakemu realnemu X tak unitaren operator S(X), da je A - XI = S(A)AS*(X) . Konstruirati moramo torej tak unitaren operator S. Z U smo zaznamovali spektralno reprezentacijo/ to je linearno izo- metrijo iz ~HL —> L® L2*wk' * Ker ^e A homogen operator, seveda velja A - XI = W(X)AW"1{A) , kjer je W(X) unitaren operator. Zgornjo zvezo pomnožimo z leve z U in desne z u" , dobimo UAU~X- XI = UWUIAW'NxiU"1. Sedaj zaznamujemo UW(X)u" = S(X) in se prepričamo, da je S(X) unitaren operator, S~ = S* in SS~ = I. Naj bo Ux = Ç in Uy = n , kjer sta x,y e "H. in Ç,neL® L2 *Mk'* Dal^e dobimo (sç,n) = (uwu_1ç,n) ¦» (uwx,uy) = (Wx,y) = = (x,w"1y) = (Ux,UW-1y) - (Ç,UW-1u"1n) - (Ç,S-1t)). Odtod sledi S* »S-1. Očitno je (UWU-1)(UW_1U_1) - I. In končno je A - XI = UAU-1 - XI = -1 -i -l = UWU AUW U » SAS*. -43- Privzeli smo, da ima operator A enostavno spektralno večkratnost, to po definiciji 5 pomeni, da so e. prazne množice za vse k > 1 in seveda Pv^ o 0 za k > 1. V direktni vsoti prostorov L^'^k' ^mamo ^e en prostor L,(y.), kjer je M|(e) * y(eOe,) = p (e) , pri cerner je e. =R,vsa realna premica. Eden važnejSih pojmov, ki ga pri tem dokazovanju večkrat uporabimo, je pojem kvaziinvariantnosti mere ([4]) in podajmo definicijo. Definicija 19: Naj bo G lokalno kompaktna (kompaktna) komu-tativna topoloëka grupa. Regularno Borelovo mero p na G imenujemo kvaziinvariantnot Se je za merljivo mnoSico D C Gt za katero je ]i(D) = = 0 tudi \i(-x+D) = 0 za vaak xcG. Kot lokalno kompaktno komutativno topoloSko grupo G vzamemo realno premico R in grupna operacija je seštevanje. Lema 20: Pozitivna regularna mera \i t ki pripada po izreku o urejeni reprezentaciji homogenemu sebi adjungira-nemu operatorju A, je generirana e striktno monotono funkoijo in je kvaziinvariantna. Dokaz: Po definiciji homogenega operatorja sta operatorja A in A - XI unitarno ekvivalentna za vsak realen \. Iz izreka 7 sledi, da sta ekvivalentni pripadajoči urejeni reprezentaciji. Po definiciji 6 to pomeni, da sta ustrezni meri ekvivalentni. Operatorju A pripada mera y, operatorju A - Al pa mera u. Operatorju A - \I pripada v prostoru L_(u.(t)) operator množenja s t - X, Imamo namreč spektralno reprezentacijo 0, U: iL ---> L2(u1)- Za x{t)eL2(Ml) je [U(A - XI)U-1x](t) = (UAtT^Mt) - Xx(t) -= Ax(t) - Xx(t) = dp (D) ¦ j y(-x+D)dp(x) 46- Funkcijl u(-x+D) oziroma p(-x+D) sta glede na x po Borelu merljivi funkciji, kar tudi dokazuje omenjeni Članek [9]. Kako pa je s konvolucijo mer na lokalno kompaktni Abelovi grupi G? Naj bosta y in p regularni končni meri na G Iz članka [15] se vidi, da tudi sedaj velja vse, kar amo povedali za primer kompaktne Abelove grupe. S pomočjo teh priprav konstruirajmo dalje mero f-p tako, da bo konvolucija u*p eksistirala in da bo končna. 0 tem govori naslednja lema. 2 Lema 21: Če je mera p dana tako, da je dp = dx/(î+x ) in u pozitivna, regularna Borelova mera, potem je kon-voluaija dana takole (V*P){D) = [ Y<-*+Oidx a+x") končna za omejene mnoSioe D C Ä. Dokaz: Mero y naj določa monotona, zvezna in naraščajoča funkcija g (D) => \ M(-x+D)dp(x) , Zaradi kvaziinvariantnosti mere y je u(-x+D) = 0 za vsak x. Đotem je (n*p) (D) = 0, torej u*p << g. Sedaj vzemimo tako množico D C R, da je (u*p) (D) <¦ 0, potem je 00 (D) - p(-X+D)du $ (x) , n -*¦ » , pri cerner je limitna funkcija $(x) = (1 + x ) Xn' XLR* Po Lebesgovem izreku o monotoni konvergenci velja, da je tudi $(x) merljiva funkcija in je OO 00 \ $ dp --------» \ 0 dp tri ¦*¦<*> . -50- Od^Jtod sledi [ * dp (1+x2) dx (1+x2) in odtod pa m(D) =0. Obratno, da it m(D) =0 sledi p(D) » 0, 2 je očitno, saj je funkcija l/(l+x )eL.. Posledica leme 23 in leme 24 je, da sta meri g in Le-besgova mera m ekvivalentni, p = m. Lema 25: Če sta meri \i in m ekvivalentni, je operator A z lastnostjo, kot Brno 30 postavili v izreku IIIt ekvivalenten operatorju množenja z neodvisno spremenljiv-ko v prostoru Lp (-a>,co). Dokaz: Homogenemu operatorju A po izreku 4 pripada operator -1 A = UAU v prostoru L2(y1) = L2(p). Vemo, da je operator A tudi homogen operator in da je operator množenja s t v prostoru L_(p). Vzemimo funkcijo ycL_ (m) in xeL_(u)r zaradi ekvivalence mer po Radon-Nikodymovem izreku velja du = h (t) dt , kjer je h(t) pozitivna funkcija integrabilna na vsakem končnem intervalu. Velja tudi dm m l/h(t) dp in l/h(t) EL., . Norma funkcije xeI*2 (p) je |xK2 = 1 |x(t) |2 h(t>dt —co in norma funkcije yeL_(m) pa CD ||v||2 o j |y(s)|2 ds -51- Preslikava Vi L2(y) -----> L2(m) naj priredi funkciji x(tfrE L2*<*) . Dokaz: Po predpostavki vzemimo, da sta neprazni le prvi dve Borelovi množici iz definicije 5, to je e. ¦ R in e2, ostale -52 množice e. naj bodo za k>3 prazne. V razdelku 2 smo omenili, da sebi adjunglranemu operatorju pripada neka pozitivna mera u , takoimenovana mera urejene reprezentacije in u(ej)>0, u(e-)>0. Meri u,(e) inu3(e), kjer je e Borelova množica iz e-, sta definirani (definicija 5) tako U^e) « g (e) in u2(e' " u(efle2). Po Izreku 4 eksistlra izometricnl izomorfizem U, U: X •---> L2(Uii ® L2(u2) _ Operator A je ekvivalenten operatorju množenja s t, za (xr(t) ,x2(t))eL2(u1i ® L2(g2) je AfXjftî ,x2(t)) ¦ (tXj(t) ,tx2(t)) , -1 kjer je A ¦ UAU in U prej omenjeni izomorfizem. Operatorju A unitarno ekvivalenten operator A - XI je ekvivalenten operatorju množenja s t-A v prostoru L«{y.) 9 L2(y2>, torej (A - AI)(x1(t),x2(t)) = ((t-A)x1(t),(t-A)x2(t)) Po izreku 7 pripada operatorju A - Al neka mera u urejene reprezentacije in Borelovi množici f, = H in f,, f, Z2 f2 in y{f.)>0 za k ¦ 1,2 in ptfjj = 0 za k>3, kajti unitarno ekvivalentna operatorja imata enako veckratnoat. Operator A - Al je tudi ekvivalenten operatorju množenja s t v direktni vsoti prostorov L_ z mero y.tt+AI oziroma y2(t+A) in p(e) = u1(e+Ai. Ker sta po definiciji homogenosti operatorja A in A - Al unitarno ekvivalentna, velja, da sta pripadajoči ure- -53- jenl reprezentaciji ekvivalentni, to pomeni (definicija 6) M a M in u(ekAfk) = U(t)+ (fr(t+X) -2(t+X)]dt « 0, —00 za poljubno po Lebesgu merljivo funkcijo f(t). ZapiSlmo zgornjo enakost takole 00 OB J f,co) ffl L2(-ec,oo) . Rezultat, ki smo ga pravkar dobili, lahko analogno razširimo na homogene sebi adjunglrane operatorje s poljubno spektralno veckratnostjo. i, IZREK V: Sebi adjungivan homogen operator v eeparabilnem Hil-bertovem prostoru ^ je ekvivalenten operatorju množenja a t v direktni vsoti prostorov L „(-<*>,«>), tj. L 0 L f-o,»;. Sumandov v tej direktni Vsoti je toli- K ko> kolikrëna je spektralna večktatnost operatorja. Podobno kakor prej bi se prepričali, da so Borelove množice efc iz definicije 5 enake R skoraj povsod glede na mero m. Tako je uk(e) = uteflejj = \i{e) = n,(e). Zatem lahko enako kakor * izreku IV ugotovimo, da je operator A = UAU restringiran na prostor L2 (uk)» k = 1,2,... unitarno ekvivalenten operatorju množenja s t v prostoru L_(-»,»). Pokazali smo, da je vsak homogen operator A z enostavno spektralno veckratnostjo ekvivalenten operatorju množenja z neodvisno spremenljivko t v prostoru L2(-t*>>oo) t (izrek III). Množica unitarnih operatorjev { U(x)/ AeR}» ki pripadajo operatorju A po definiciji homogenosti, v splošnem ne sestavljajo grupe unitarnih operatorjev. Operator U(A) pri danem A ni enolično izbran, kot smo pokazali. Ker je homogen operator A ekvivalenten operatorju množenja s t, za katerega pa lahko izberemo množico (V(A) , AeR} tako, da je (V(A)} grupa. -57- Potem tudi za homogen operator A z enostavno spektralno več-kratnostjo lahko izberemo množico unitarnih operatorjev (U(A), X t RJ tako, da je tudi |U(A)I grupa. V izreku I smo trdili: če je A homogen Ireducibilen sebi adjungiran operator in ce je mogoče izbrati množico (U(X), AfrR \ tako, da je to grupa, potem je operator A ekvivalenten operatorju množenja v prostoru L- (-*»,«*). Veljavnost izreka I sledi torej iz izreka III in zgoraj povedanega, Se se le äe prepričamo, da iz ireducibilno-sti operatorja A sledi enostavna spektralna večkratnost. 0 tem se prepričamo takole: Če ima neki sebi adjungiran operator spektralno večkratnost večjo ali enako 2, potem ima ta operator najmanj dva invariantna podprostora in zato- ni ireducibilen, -58- 5. HOMOGENI UNITARNI OPERATORJI V prejšnjem razdelku smo dobili nekaj rezultatov za homogene sebi adjungirane operatorje. Tu želimo nakazati,da se da dobiti podobne rezultate za preprostejši tip operatorjev, to je za unitarne operatorje. Do teh rezultatov pridemo po podobni poti kakor pri sebi adjungiranih operatorjih. Podajmo najprej definicijo homogenosti za unitarne operatorje. Definicija 26: Unitaren operator U, definiran v eeparabilnem Hilbertovem prostoru imenujmo homogen, Se je ekvivalenten operatorju e U za vsak a,0), in -59- V*(aix(z) - ela/2 x(ei(*~aî). Pokažimo, da s tako izbranimi operatorji velja zveza (1): eiaUx(z> = ei(*+a> xte1*) = eictz x e^e1* xfe1*) = elaz x(z). Unitaren operator je normalen operator in ima spekter na kro-žnici K. Homogen unitaren operator ima samo zvezen spekter, torej je vsa kroŽnica K zvezen spekter. 0 tej trditvi se prepričamo v dveh korakih. V prvem koraku pokažimo, da homogen unitaren operator nima lastnih vrednosti. Recimo, da je e * lastna vrednost operatorja U. Obstaja torej lastna funkcija x{z), da je Ux(z) - eiB x(z) . Uporabimo lastnost homogenosti: eiciUx(z) = V(a)UV*(ct)x(z) in imamo ei{a+6) x(z) = V(a)UV*(a)x(z) , pomnožimo zgornje z leve z V* (a), dobimo ei(a*ß) v*{a)x(z) = U{V*(a)x(z)) . Zaznamujmo V*(a)x(z) = y(z;a) in dobimo -60- torej je e "'* tudi lastna vrednost operatorja U in to za poljuben a. Tako bi imel homogen unitaren operator neštevno lastnih vrednosti, kar v separabilnem Hilbertovem prostoru ni mogoče. V drugem koraku pokažimo se, da na krožnici K ni regularnih točk homogenega unitarnega operatorja U. Pa reci- iß mo, da je X » e regularna točka operatorja U, to pomeni, ifl -1 da je operator (U - e PI) omejen operator. Potem je V(a) (U - ei0I)-1V*(a) , kjer je V(a) unitaren operator iz enačbe (1), tudi omejen operator. Zapisimo V(o)(U - ei$I)_1V*(ti) = [v(a)(U - elßI)V*(a)]"1. Upoštevajmo še relacijo homogenosti in dobimo [V(aMU - ei0I)V*(a)]-1 » (V (ct)UV* (a) - ei0I)-1 = = e_la(U - e1(8-a)I)_1. Ker je očitno operator [(U - e (&~a'i]~ omejen operator, je tudi §*'&-** regularna točka, in to za vsak a. Tako bi bila m vsaka točka na krožnici regularna, sic« bi bil spekter prazna množica in odtod zaključimo, da na krožnici K ni regularnih točk homogenega unitarnega operatorja U. Iz obojega do sedaj povedanega, da homogen unitaren operator U nima rstnih vrednosti in da na K ni regularnih točk, sledi, da je vsa krožnica K zvezni spekter. Kot smo omenili, je unitaren operator omejen normalen operator, za take operatorje je izdelana teorija spektralne in urejene reprezentacije ([3],pogl.X.5); veljajo seveda podobni izreki kakor pri omenjeni teoriji za sebi adjungirane -61 operatorje. Ekslstlra izometriCni izomorfizem iz Hilberto-vega prostora "JČ. na X ® L- (p.) , kjer so u. pozitivne regularne Borelove mere na krožnici. Iz teorije o kvaziinvariantnih merah, ki pa so sedaj definirane na kompaktni komutatlvni to-poluški grupi - krožnlci K (definicija 19), sledi po analogni poti, kot pri sebi adjungiranih operatorjih, da je na kroŽ-nici vsaka kvaziinvariantna mera ekvivalentna Lebesgovi meri m na krožnlci. Podobno kot v razdelku 4 dokažemo, da homogenemu unitarnemu operatorju z enostavno sbektralno veckratnostjo pripada po urejeni spektralni reprezentaciji mera, ki je kvaziinvariantna. Sedaj na podoben način kakor pri homogenih sebi adjungiranih operatorjih dobimo rezultat, da je homogen unitaren operator v separabilnem Hilbertovem prostoru unitarno ekvivalenten operatorju množenja z neodvisno spremenljivko z,|z| =» 1 v prostoru L-(K,m), oziroma splošno: Homogen unitaren operator v separabilnem Hilbertovem prostoru je ekvivalenten operatorju mnoSenja z neodvisno spremenljivko z, \z\ $ 1, v direktni vsoti prostorov L.(Kt%}; število sumandov direktne vsote se ujema s spektralno veckratnostjo operatorja. -62- 6. HOMOGENI NORMALNI OPERATORJI Pojem homogenosti lahko razširimo iz sebi adjungira-nih in unitarnih operatorjev tudi na normalne operatorje. Definicija 27 : Normalen operator A v eeparabitnem Hilbertovem prostoru imenujmo homogen, Se je ekvivalenten razliki A - XI za Vsako kompleksno Število X. Iz definicije sledi spet nekaj lastnosti homogenega normalnega operatorja. Homogen normalen operator je neomejen in če je definiran v separabilnem Hilbertovem prostoru, nima nobene lastne vrednosti. Razlogi za to so seveda isti kakor pri homogenih sebi adjungiranih operatorjih. Zvezni spekter v tem primeru predstavlja vsa ravnina kompleksnih števil. Prepričajmo se o eksistenci homogenega normalnega operatorja! Vzemimo spet prostor L- vseh v Lebesgovem smislu merljivih funkcij x(t,-r) dveh spremenljivk. Operator množenja s t+ it je homogen operator, (Ax) (t,t) - (t+ix)x(t,T> . Grupa unitarnih operatorjev U{X), ki prevedejo normalen operator A v A - XI, je določena s predpisom (U(X)x) (t,t) = x(t+Xj, t+X2I , kjer je X = X. + ^2* Hitro se prepriCamo, da je z zgoraj uvedenim unitarnim operatorjem izpolnjena relacija homogenosti, kajti ((A - XI)x}(t,T) ¦ ((t-Xj) + i(T-X2))x(t,i) in -63- ( (U(X)AU*(A>x) (t,T) = (Ax) (t-X1,T-X2) = = (t-X1 + i(T-X2))x(t-Al(T-X2) - = ({t-X^ + i(T-X2))x(t,T) . Podajmo sedaj normalen operator A še v obliki A - Ax + i A2, kjer sta A, in A_ sebi adjungirana operatorja, ki komutirata. Trdimo tole: ce je normalen operator A homogen, potem sta tudi sebi adjungirana operatorja A. in A„ homogena. 0 tem se hitro lahko prepričamo. Sebi adjungiran operator A. se izraža takole A + A* Al " 2 Ker je normalen operator A homogen, potem za operator A* velja tale relacija A* - XI = U(X)A*U*{A) oziroma A* - XI = U(X)A*U*(Xi. Poglejmo, kako je z relacijo homogenosti za operator A.! Al " X1 = It(A " XI) + (A* " XI)I = = |(U(X)AU*(X) + U(X)A*U*(XI) . Ker pa je operator A. sebi adjungiran, je X realno Število in imamo A+A* Aj - XI - U(X)^p UMA) = U(X)A1U*{X), -64 torej je sebi adjungiran operator A. homogen. Enako se prepričamo o homogenosti sebi adjungiranega operatorja A_. Podobnega rezultat«, kakor ga imamo pri sebi adjungiranih homgendih operatorjih, da je namreč homogen normalen operator ekvivalenten operatorju množenja s t + It v direktni vsoti prostorov L-, kjer se Število sumandov direktne vsote ujema s spektralno večkratnostjo normalnega operatorja, pa ni uspelo dobiti. Potrebovali bi spektralni teorem in teorijo o urejeni spektralni reprezentaciji za normalne operatorje, če bi seveda delali po podobni poti kakor pri sebi adjungiranih operatorjih. Tu nastopi težava, kajti spektralno reprezentacijo Hilbertovega prostora imamo le za omejene normalne operatorje ([3],pogl.X; Ti])» homogen normalen operator pa je neomejen. -65- 7. HOMOGENE SPEKTRALNE MERE Znano je, da vsakemu sebi adjungiranemu operatorju pripada enoparametrična družina {E(X)}- Iz spektralne družine (E(X}> sebi adjungiranega operatorja moremo konstruirati spektralno mero operatorja, saj lahko vsaki Borelovi množici e na realni premici priredimo projektor E(e). Za odprti interval (a,b) definiramo E((a,b)) takole: E((a,b)) = E(b-O) - E(a) . Za poljubno Borelovo množico e je narejena konstrukcija v []4}Vll/3. Dobljeno družino {E(e),ee q } imenujemo spektralno mero sebi adjungiranega operatorja A. Iz homogenosti operatorja A sledi, da ima spektralna mera to lastnost: E(Te) = U(T>E(e)U* P imenujmo homogeno (za tranelacijo) > âe je spektralna mera E (-re) ekvivalentna meri E(e) za v e a-ko tranelacijo t in za veako mnoSico eeßv torej ekeistira tak unitaren operator U (t), da je Eine) s U(t)E(e)U*(T) za vsako Borelovo množico e. Recimo, da imamo dano homogeno spektralno mero E. Predpostavimo najprej, da imamo enostavno spektralno večkratnost. Torej naj bodo vse množice iz zaporedja Borelovih množic {e.}, ki nastopajo pri urejeni reprezentaciji, prazne množice, le e, « R . Eksistira tak maksimalni vektor xeX/ da je H(x) ves prostor X in u = u. = g. Lema 29; Zgoraj definirana mera u je kvasiinvariantna in ekvivalentna Lebesgovi meri m, u = m. Dokaz: Pri dokazu bomo uporabili rezultate, ki smo jih dobili že pri homogenih sebi adjungiranih operatorjih v razdelku 4. Začnimo s kvaziinvariantnostjo. Da ugotovimo kvaziin-variantnost mere, po definiciji 19 potrebujemo, da je mera na lokalno kompaktni komutativni topološki grupi regularna Borelova mera. Mera u ima na prostoru R te lastnosti. Ker je spektralna mera E(e) homogena, je ekvivalentna spektralni meri E{re) = E(e). Po lemi 18 iz razdelka 3 sledi, da sta pripadajoči urejeni reprezentaciji ekvivalentni, to po definiciji 15 pomeni, da sta meri y in n , ki pripadata spektralnima merama E(e) in Ë(e>, ekvivalentni. V tem primeru je Ë(e) = E(ie) in v (e) = \i (Te) . -67- Iz ekvivalence mer sledi, da za množico e e R , za katero je M (e) = 0, je tudi y (e) = y (xe) = 0 in obratno. S tem imamo prav lastnost kvaziinvariantnosti mere. Spet potrebujemo pojem konvolucije dveh mer. Po članku [15] je definirana za pozitivni končni regularni meri kon-volucija takih mer na lokalno komapktni grupi G takole: - ; l k+i ' 1 + r -68- tedaj velja \ rk-i dr J l + rk« k+1 Torej je dp = dm/(l + r ). Tako določena mera ima vse potrebne lastnosti, je pozitivna, Borelova, končna in tudi regularna mera. Konvolucija je končna, ocenimo | (n*P> (D) ] < u(Rk) ) dp , DELE Rk Mera p je tudi kvaziinvariantna, o čemer se prepričamo podobno kakor v lemi 22. Ker sta meri p in p kvaziinvariantni, dobimo po lemi 23, da sta meri ekvivalentni, to je zvezni druga §lede na drugo. Pokazati bi bilo še treba, da je mera m absolutno zvezna glede na mero p. Dokaz teče podobno kakor v lemi 24. Dobili smo vmesni rezultat: p s m. Zaradi tranzitivnosti relacije ekvivalence sta meri y in m ekvlvaletni,^ = m. Ko imamo ta rezultat, lahko zapišemo izrek, ki je analogen izreku III za sebi adjungirane operatorje. IZREK VI: Nas bo E(e) homogena spektralna mera z enostavno spektralno veSkratnostjo v separabilnem HilbertoVem prostoru 3u Potem eksistira tak izometriSni izo- morfizem 1L--> L.(m,R )t da projektorju E(e): IK--* ^ ustreza V prostoru Lg(m,R ) operator množenja s karakteristično funkcijo xfi- Dokaz: Pokazali smo, da imamo urejeno reprezentacijo z enostavno spektralno večkratnostjo v separabilnem Hilbertovem prostoru glede na mero E, torej J : H(x) «------* L2^x)# -69- Vemo tudi, da projektorju, ki deluje v H{x), ustreza v prostoru L_(u ) množenje s karakteristično funkcijo x . Vzemimo feL-(u). Zaradi ekvivalence mere ^ in Lebesgove mere imamo po Radon-Nikodymovem izreku dy = h (t) dt, kjer je h(t) pozitivna in h(t)eLj, . IzraČunajmo normo f, llfll2 = J |f|2 dMx - J |f;(t)|2h(t)dt Rk Rk Preslikava V, V ! L2(ux) 4----> L2(m) dana s predpisom Vf = f/~h~ = g L2(m), je očitno izomorfizem in je tudi izometrična, saj je po zgornjem računu MJj - llvfll2 = lg|l2. tDzracunajmo Se 0, e. = j3 za k > 3. Po lemi 11 imamo v tem primeru It = H(Xj) © H(x2) in u j (e) " p1(e Ae2) r e d R , kjer je u 1 te) = (E(e)x1,x1) in M2(e) ¦ (Ete)x2,x_). Pokazali smo, da imamo izometrični lzo- morfizem J, .k. Ä . « „k, "K «---------* L2(Ml,R ) ®L2(u2,RK). Lema ZO: Urejena reprezentacija z dvojno spektralno veSkrat- noBtjo glede na homogeno spektralno mero ima to last- k noBtj da je tudi mnoSica e„ kar ves prostor R skoraj povsod alede na Lebesgovo mero in potem je V 2 f*/ = Mi teJ = u (e) . Dokaz: Ker sta zaradi homogenosti za vsak premik t spektralni meri Et(e) in E (te) unitarno ekvivalentni, vej.ja, da sta pripadajoči urejeni reprezentaciji ekvivalentni, M = M in M tenAf ) = MtenAfn) = 0, n = 1,2. Množice f so Borelove, ki pripadajo po urejeni reprezentaciji spektralni meri E (Te). Množica f"2 je translatlrana množica e2, f_ = t e_. Enako kakor pri sebi adjungiranih operatorjih zaznamujmo s $(t) karakteristično funkcijo množice e_, $(t) ¦ x in *(t+T) - X* = X • Prav tako velja za * e2 t2 te2 karakteristično funkcijo simetrične diference e2A f2, da je ¦ (t) + ¦(t+T) - 2(t) +*(t+T) - 2A (t)A (t+T)]dm = 0 za vsak tin za vsako merljivo funkcijo f. Zgornjo enačbo zapišemo v tej obliki \ f(t)[2A(l> - l]A(t+T>dm = J f(t)A(t)dm. (1) k k Vpeljemo funkcijo g (t) = f(t)[2A(t) - 1] , ki je očitno merljiva funkcija in po enakem razmisleku, kakor v razdelku 4 dobimo relacijo f (t)A(t) = g(t)A(t) . V desno stran enačbe (1) vstavimo desno stran zgornjega izraza in je \ g(t)A(t+T)dm = J g(t)A(t) dm odtod pa Rk R* j g(t) [+(t+T> - ¦(t)]dm « 0, Rk za poljubno merljivo funkcijo g(t). Sedaj dobimo zopet zvezo A(t+T> -A (t) = 0, it) ,k ki velja pri poljubnem t in skoraj za vsak teR glede na mero m. 2 Nadaljne razmišljanje omejimo najprej na ravninu R . Funkcija A(t) je merljiva in poglejmo integral po pravokutniku Q(x), kjer je x = (X^x,) oglisče pravokotnika, ki leži izven koordinatnih osi (slika). -7 2 Vpeljimo funkcijo F(x) takole \ 4 (t) dm = F(x) . Q(x) Definirajmo mero v s predpisom dm, «(e) = J e Mera v je absolutno zvezna glede na mero m in imamo v(Q(x)> = j $ dm = F(xlfx2). Q(x) Očitno je F(0) = 0. Napravimo sedaj premik v smeri spremenljivke X. za t,. Potem imamo dalje F(x1+t1,x2) = \ (fi(t1,t2) dm , QtXj+Tj/Xj) Z zamenjavo integracijske spremenljivke t. z t.+i, dobimo F(x1+t1,x2) = 1 <(,(t1+rlft2) dm integracijsko območje je pravokotnlk Q(x,+t1/X2) premaknjen za -t, v smeri osi x.. Upoštevamo enačbo (2) in je F(xx +Tlfx2) = \ (ftXt1,t2) dm = -73- " S*ttl't2i +S*(tl't2i Od^tod dobimo dm Q(x1(x2) Q(-Tlfx2) F(x1+Tj/X2) = F{x1,x2) - F(-Tl^x2) . Ker je F(0,x2) ¦ 0, imamo iz zgornje enačbe, ko V2amemo x- = 0 tole F(t1,x2) ¦ - Ft—c1,x2) . Z upoštevanjem tega dobimo tole funkcionalno enačbo F(x1+t1,x2) = FfXjfXj) + F(Tlfx2) . Funkcija F je zvezna funkcija spremenljivk x.,x2. Rešitev zgornje funkcionalne enačbe je F(xlfx2) = c 0, je $(t) =1 skoraj povsod. Torej je m(e2 - Rk) = 0. Isto razmišljanje seveda lahko razširimo na k spremenljivk, na y prostor R . Dosedanji rezultat, ki smo ga izrazili v izreku VI, lahko posplošimo na primer dvojne spektralne večkratnosti in zapišimo izrek v obliki: IZREK VII; Homogeni spektralni meri E(e) z dvojno spektralno Večkratnostjo V separabilnem Hilbertovem prostoru k k ~}L ustreza v prostoru Lp(m$R ) 9 L (mtR ) množenje s karakteristično funkcijo x *n prostor k k e L (m,R ) $ Lp(mtR ) je ekvivalenten Hilbertovemu prostoru TC. dokaz; Ko smo v prejšnji lemi 30 ugotovili, da je e- = R k skoraj povsod in p?{e) ¦ U-. (e) za poljubno množico ecR , smo dobili enako situacijo kakor v izreku VI, torej pripada homogeni spektralni meri E(e) restrlngirani na prostor L-tp.) tudi v prostoru L-(m) množenje s karakteristično funkcijo X . Dalje zaključimo, da homogeni spektralni meri z dvojno spektralno večkratnostjo pripada množenje s karakteristično k k funkcijo v direktni vsoti prostorov L_(m,R ) 9 L2