Professional Documents
Culture Documents
TERMESZETTUDOMANYI KAR
Simon Peter
ANALizlS V.
Egyetemi jegyzet
Tartalomjegyze k
Lcktor.'llIa : Dr. 1';\1 Jc no c~yc l c lll i doccns
Ic lsooktiltasi kutatas i
Eloszo
l. Halmazrendszerek
1. 1.
1.2.
1.3 .
2.
7
7
10
Szigma-algebrak
Gyuriik
Felgyiiriik
12
17
17
Mertek
2. 1.
2.2.
2.3.
2.4 .
2 .5 .
2.6.
2.7.
2.8.
3.
K v;izimertck
A Lebesgue-fele kvazimertek
A Stieltjes-fele kvazimertek .
K v;izimertek kiterjesztese mertekke
Mcrtckterek
A Lebesgue-mcrtek
Szorzatterek
. ,
.Eiaj eies mertckek
26
28
33
41
48
57
68
Integ.,,,1
3. 1.
3.2.
3.3 .
3.4 .
3.5.
3.6.
3.7.
3.8.
Borel-merheta lekepezesek
U pcs5s fiiggvenyek
Az L + fiiggvenyosztruy
Integralha t6 riiggvcnyek
IntegraJhat.6 riiggvenyek terei
A Radon- Nikodym-tetel
Szingularis mertekek .
A Fubini-tetel
-.
4. Topologikus mertekek
4. 1.
1.2.
4 .3.
4 .4 .
5.
A Daniell- Stone-tetel
Baire- es Bore!-mertekek
Lokalisan kompakt terek I.
Loka1isan kompakt terek II . A Haar-mertek
Fourier-transzformaci6
5. 1.
5.2.
5.3.
5.4 .
Konvohici6 . . . . .
Fourier-transzformaci6
A Schwartz-fele fii ggvenyosztruy
Az absztr akt harmonikus an a Hzis elemei
75
75
82
88
94
107
139
162
167
176
176
188
204
214
222
222
228
247
253
267
Ta rgymutato . . . . .
3
EI8szo
II II Swkefalvi-Nagy Bela,
dapett , 1965
\1 21 G . P. Tolsztov, Mi rtil is integral (or06zu l) , lzd. Nauka, Moszkva, 1976
Az " Analizis V." cimii jegyzet a programoz6-programtervezo matemat.ikusok118k az616 3naHzis-jegyzetsorozat ujabb kotete. Tematikijat tekintve egyreszt az
a la pkcpzesben szereplo mertek- es integraleimeJet temakoret oleli fei, masreszt a
IIpccialis analizis-, ill. ana epiiio el6ad<isokat vaJaszt.6 programtervezo hallgat.6knak
klvan segit.seget nyUjtani a topologikus mertekekkel es a Fourier-transzformaci6val
fogla lkozo (cjezetek reven. A tantervben eloirtakon tuli reszletek kiegeszitesek a
tovabbi speciaiizal6dast igyekeznek elokesziteni , ill. megkonnyft: ni. EppeD ezect
talan haszonnal Corgathatjak a 8z6ban forgo jegyzetet az emlitet! szakiranyokban
tallul6 doktori Osztondijas hallgat6k is.
Az alkalmazott (esc nem ujonnan bevezetett) jeioiesekkei kapcsolatban a rent
emlitett jegyzetsorozat els<> negy kotetere uta1unk .
1i 4J
A jelen jegyzet megirasa soran is tamaszkodtunk a most felsorolt konyvekKiiloll6se1l vonatkozik ez a tankonyvkent is kival6 (2J-re es [7J-re, valamint
(elll&orban a " kitekinlhlt" iUewen) az [51-ben jelzett kitkotetes monogrMia els5
kOtct6rc.
t il .
[I) G . P. Akilov- B. M. Makarov- B. P. Havin , BevezeUs az integrti/dmildbe (oroszul), lad . Leningrad . Univ ., Leningnid, 1969
1. Halmazrendszerek
Ebben a pont.ban azokat. a halmazstrukturuat vessziik sorra, amelyek a kb-
es
l.l. Szigma-algebrak
8 1s8kcnt a majd mertekeknek ncvezctt halmazfiiggvenyek ertelmezesi tartoa u -a lgebrakkal foglalkozunk .
IU A1 I y!~i v a l ,
1.1.1. Definki6
A'lL m Oll dj uk , hogy
i) X E n ;
ii) bannely A En eseten X \ A En;
ii i) tetszolcges An E n (n E N) n -beli hal mazsorozatra
n ".-algebra eseten :
.) 0 E n;
h)
ha An E n
r)
(n E N ) , akkor ~=O An E 0 ;
U AEn ,
ilEA
cI)
A,
cn
egy v~~
n AEn ;
lle,4
BEn is igaz.
1\'ll y~ J
n A" = X \ (X \ n A.. ) =
~
,, ::0
n =O
X \ U(X \ A.. )
n=O
n.
""",0
Ae.A
(T-'[A] E P IX) , A E O}
00
u.algebra X -ben. (Emlekeztetunk ra, hogy T- 1 (A] jeloli az A halmaznak a T lekepezes altai !etesfteLt 6skepet.)
6" Ha az el8bbi megjegyzesben 0 egy Xbeli u-aJgebra es "T-I[A]"
helyett TiA] -t irunk (azaz az A halmazna k a Taltal Jetesitett kepet),
akko r az igy kapott halmazrendszer nem minden T ruggveny melleLt
lesz Y-ban u-algebra. Az Olvas6ra bizzuk annak meggondolasat, hogy
ez pontosan akkor u-algebra, ha a sz6han Corg6 T egy bijektiv lekepezes.
U =UA. n =n A.
AeA
--0
t""O
A \B = An(X \ B)
alakban, amibOl az eddigiek 8zerint d) nyilvanval6.
Megjegyzesek
.. Ket t:r. a1gebra metszete is t:r-a1gebra, sOt , ha valamely r #:- 8 " index"halmaz eseten n.,. (,. E r) t:r-algebra Xben , ukor (\er 0.., is
O(Y)
0 ,=
Ekk01
0,0
..
0,= (A E P(X) , A E X,
vag)'
X \ A EX,} .
ex , akkor
ii ,= (A n X E PIX) , A E O}
8
"hoI
,= (O E P(P(X))
,=
nO .
n,"
, 0 a-alg.b<a . YeO} .
Mlvd P(X) E E, ezert E#:- " , igy az 1 megjegyzes szerint O(Y) egy X -beli
" "lscbra .
1.1.2. Definici6
{l(Y). t az Y halma:rend,,:er altai generalt u-Ilfgdranak nevezziik .
A dcl1nici6 alapjan nyilvinval6, hogy minden olyan (X-beli) n u-algebrara,
II tII"lyrc Yen I egyuttal {leY) c O. Ezert 8Z0ktak {l(Y)-t az Y halmazrend_,,"It tnrtalma:r.o " Iegsziikebb" u-algebranak nevezni. Ha maga az Y rendszer
II "IK('bra, akkor Y = n(Y) . Az egyik legegyszerubb (es a kesobbiekben gyakran
I jl~_fl~t pclda) a most bevezetett fogalomra a kovetkez8: legyen A E P(X) es
\
(A) . Ekko.
O(Y) =
X . A. X \ A) .
(e.
7
1.2. Gyuruk
10" Konnyu belatni, hogy eg)' 9 X -bel i h a lmazrendszer akkor es csak akkor
algebra, he. x e 9 es minden A , B e 9 cscten AUB e9, X \ Ae9 .
Ui. az ;illitas egyik fel e t ri vial is, a mlisikhoz pedig eleg csak annyit megjegyczni , hogy barmely A, 8 e P(X) halmazparra
Az 1. 1.2. Definici6ban szerepl6 Y halmazrendsze rek koziil kiilonasen fonl06ak lcsznek szamunkra azok , amclyek a u-algebrak tulajdonsagaibOl valamivel
mar rendclkeznek. Az ilyen Y rendszereket ilIetDeD e ls5klSnt a gyuni fogalmaval
itllncrkedii nk meg.
AI 8
= X I X I A) U BJ
1.2.1. Definkio
Egy 0:f. (} C P(X) halmazrendszerrol akkor mondjuk , hogy (X-bc li)
gyurfi, ha barmely A , Beg eseten A \ H, A U B E g .
Megjegyzesek
I " Mivel 9 #- 0 , ezert barmely A E 9 segitsCgcvel togton adOdik, hogy
0=AI AE9 .
2 " Minden gyu tii "zart a veges uni6-kcpzesrc" azaz , ha A C 9 egy veges
halmaz , akkor UA E.A. A E 9 . Ez togton adOdik az A szamossagaszerinti
tcljes indukci6 segitsegevel.
B) ,
'"
-V
li lt (j egy X-beli egysegelemes gyiiru, akkor vilag05, hogy 9 egy UGEC GI!III "IK(lhrit Cs forditva: minden algebra egy egysegelemes gyiirii.
A
"ttl
(1
P(X ) halmazrendsze rhez egyert hllllf'11 IIll'gndhato olyan 9(Y) X -beli gyuru , hogy Y C 9(Y)
m inden
..Irllli X hd l fi gyurure, amelyre Y C 9 igaz , hogy 9(Y) C 9 . lIa ui .
lJl
({i C P(P(X)) : 9 gyuru , Y C 9} , akko r
10
es
n 9.
9(Y) =
<;E<;y
A UP) ~'y(ir1it a1. Y altai genertilt gyuninek fo&iuk hivni . Ezzel kapcsolatban
III IHI""LAih l(,H M. Y-t tartalma.zO " legszlikcbb" gyuru elnevezes. (G ondolja meg
"'~ (JI\I,w" hog)' G(Y) clcmci vagy Y-beliek , vagy pedig ilyeR halma.zokb61 kiinIII+I\'H M. "i\Y"Hll('1j ,!II kiilo nbsegkepzes muvcletenek veges sokszori alkalmaza.sa.val
.1," Junk )
II~
~ 'I~'
II
0 #- Y C P(X) halmazrendszer.
Y C Ey ;
b)
X" E E y (n E N) ~ LJ::"=oXn E Ey .
1.3.1. Definici6
Egy 0"# 11. c 'P(X) halmazrendszert (X-beli) /ilgyinInek n~vezii~k,
ha barmely A, B E 11. halmazparra An B E 11. hi alkalmas, paronkent
diszjunkt halmazokb61 lillo veges T C 11. halmazzal
n A. = A I n=oU(A I A.), A I A. E (;
00
00
(n EN) ,
U Q.
QeT
U(A I A.) E (;
Ny il v'in minden gyuru egyuttal felgyiirii is, de pI. a szamegyenes Osszes i~tc~
n=O
~ltlluH11\ e~ olyan (R-beli) relgyurut alkot , amely nem ~y{iru . ~Ko?nyti ~e.l~tm ,
g.
AIB=
00
n =O
00
n=Ol=n
00
00
11/1
,,=0 k=n
Tovabba u-gyuruk meLszete is u-gyuru , ami Ichetove teszi a valamely halmazrcndszcr altai generalt (az 5t tartalmaz6legszukcbb) u-gyiirii bevezet.eset.
11
n BEY
barmely
A)
Idul t 0
AliJ , CI DE1I
1IIfll .lll
(A
(A , B,C,DEY, BeA,DeC)
1.3. Felgyuruk
(A I 8 )n(CI D) E1I
A gyiirii fogl\ltminak bcvezdesckor rnondottak szellemebcn lovabb "enyhitJtlk" tI. u6bl\1I ro r~6 hlLlmazrends~re kkel szernbeni elvarliBainkat. A kesCibbi a1kaltltl\\\iUokb"l1 I&.Lni fogj uk , hogy a gyakorlat szamara font.oe speciaiis eset.ekben meg
12
1l-beliek
II tnl"ly rclKy (lrO cgYliUal veges sok elemenek a kozoo reszet is tartalmaz " A Irorlt bbl hhhl lll'u:ltrukt lirakkal ellentelben azonban felgy uruk metszete mar
" " III r('l l~tJeulJJ It'8Z rclgYliru . Lcgycn pl. B f; 0, B C A , B .- A , ekkor 111 :=
I", A, 11, A \ /J J nyilvan rclgyuru . Ua C, D olyan nem lires, diszjunkt halma.ok , lUuelyekre A \ D = Cu 0 es 1l, := {e, A , B , C, D} , aHor 1l, is relgyuru ,
dn 1{ In 1f2 IIcm az .
, - ~
.
I az R -beli ballol zeirt, jobblol
Ugyanakkor olyan rontos felgyuruk , mklllt p :ban 10,,6 me.,.iegyzesben idezett
'
k 1'1 ~~ . eleget teszne a szo
ow
nyilt mtervallumo e gy ur.u;e,
' k ho a kesobbiekben minden olyan
ertelmezesnek i~. (J,~v~asoIJuk azl?~v=na 'ond~ja at az ilIeta szituaci?t a most
helyen, a bol a felgyuru foga l ~a e u an , g
.
vizsgalt ertelmezest alapul veve.)
.
A kovetkew tetelben megadjuk a fel gyuriik altai generalt gyii liik szerkezetet.
1.3,1. Htel
(.)
9(?t) =
c. \ C. ,
. 1{
AET
Co = IJ C G, C ... C Cn = A
~,.
{U
(k = 1, ... , 11) .
A \ IJ = A \ /J =
Bizonyitas
Jcloljiik 9 -vel a (.) jobb oldalan sze repla ba~m_azt .. Mivel 9t1t) gy,iiru
h0 gy 9 gyuru . UI., ha Y, YE9 es
es
"
Y = UA , Y = UB
AeT
Bet
f; kkor 1/ r' lgyti ni X-ben, (Ehhez Cllllpan a [0, 1)\ Y klilonbsegeknek az 1.3.1.
Ocl1n fc.i6 !lz,rillti rcJbolltasait kel] cllenorizni az Y :::
I) interval_
IUlllokkal . Ez viszont t ri vi<ilisall tcljcsiil.) Ugyanakkor pI. a B := [0, J" ), A := [0, I)
ValMzt a.ssal cHak Co := B, C t := A E 'H. leszrtck elcget a fenti Co = B C C , C
... C Gil = A feltetelnck, de
ro,i),ri, D,(1'
H'"
- -_ UAeT ,B e T
_ A n B _egy veges sot
)-ban szcreploH eloallitasok
, akkor Y n Y
k,
. .
I'fironkent dlszJunkt
1l-bell. ba I~az okhOl
. all6 felbontasa
b h az YY\ nYYE 9halmazna
. Vegyi.ik.
I'; z{-rt Y n Y E (} . Ezt felhasznalva lassuk most e, ogy
{-WM e chhez, hogy
II
( .
Y \
Y= U
(A \ B)
AeT BET
=, U X A
'
AeT
, b I' . h
A B E 9 eseten AUBEY .
1\. 1. cd digiekbOl mal nem nehezd.e ~tnlk' t o~beli ' balmazokb6l ci1l6 relbontasa
VI ' b,
AU B -( A \ 8)U B egylszJun , ~
. ,.
't
11 0 an ,
.
. , AB E 9 Mivel 1l C 9 nYll van Igaz, ezer a
A U Bonek, azaz a fentlek alapJan.U
, "
Ie reun all bogy (}(1l) = (} .
(i (''') ddinici6ja rnia U (}(1l ) C (} . Igy tehat teny g
,
15
Megjegyz~sek
1 Q Egy halmazrcndszcr altai generalt
(a 8z6ban forgo halmazrendsz n ~~ur~ tenYI~g~ megadasa esetenkent
fclgyiini altai generalt gyH ~r 0 k uggoen) e1egge bonyolult is lehet . A
teljesen attekintheto.
uru SZer ezete" viszont az L3.1. Tetel szerint
H
2" lfa
Q Je. fT
0 I a
....
IS agyhatJuk
pa,on kentlar. deIszJunktivit<isat
.
At, I. fejezethez kepest most "forditott" modoR juunk el: elOszOf au kevesebb
kfv8. nalomnak eleget teviS fiiggvenyeket vjugalunk, amelyekbOl aztan egy kiterJeflzlesi eljani.ssal j utunk el a mertek fogalmaboz.
'#
;;) "(0) = 0 ;
iii ) p CT-addiUv, amin a kovetkezot ertjiik: minden olyan Q-beli A,.
(n E N) halmazsorozat eseten, amelynek a tagjai paronkent
diszjunktak es LJ.:'=0 An E Q is igaz , teljesiil, hogy
00
00
,.=0
no:oO
Megjegyzesek
1 0 Ha a. IJ fuggveny veges, azaz az 'RIJ ertekkeszletere 'RIJ C R teljesul,
"(0) ="(
16
00
00
n=O
n=O
U0) = L>(0) E R,
17
~(
U A) = I: ",(A)
AET
AET
N)
'h'
a kesobbiekben
e ne any ,
\
2.1.1. Tetel
elomert.ek a 9
gyi.iriin .
legyen jj egy
A fenti ,'e1oleseket megtart.va
r
( EN) mellett
Ekkorbarmely A, B , AiE':J n
1.
5"
" (teh"at
jj (U~.=0 A-)
<
- "(A;) ;
k '
kent diszJunktak
ha az A- (i E N ) ha.lmazo paron
kk
A; n Aj ::'0 (i:Fj, i , jENes U::o A,E9 , a or
2::'-0
(A E g) "
"(A)
,= {
1 ( X \ A Jegfctjebb mcgszlirnliilhat6)
18
f Ib t'
Bilek
~ 1 ivel B = AU (B \ A) egy diszjunkt e o n asa ,
Legyen A C B . I~
ezcrt
"(8)
(A E 0 )
(A veges)
BizonYltas
" ""
"k h
(8)_"(A) = "(8\A) " E"d
00 escten az IS kovetkeZl , ogy jj
Innen #J (A) < +
'
" d"k'-'
h.rmadik allit<isl belattuk .
a maso
I ....,
HI .. t "
(A n B) = + 00 . Ekkor 2_bo r~g on
r
Az elsa jgazolasahoz legyen eloszo p. kkor az 10 :illit.as triv ialis . Oa vlszont
,
H"
+00
, azaz e
"(A ~8 ) +"
~9j
(8) -
-"
(A) _ "(An8)+"(8)"
Aim o r 18
= 2-rc
bcl litni ,
; =0
.=0
. b b'
.
en a mal
e loonyltott
2 0 egyenJotlenseget ha.sznciltuk .)
2.1.2. Htel
Legyen p egy eiomertek a
sagokat :
Megjegyzesek
lI a p kV;lzimertek hi
a)
b)
00
A. E 9
UA. ,
(n EN) , 9 3 A C
n =O
c)
d)
a)
L: p(A.) $ p( U A.) ,
n=O
leluit ~::. p(A.)
\ me&iegyzest .)
n=O
= ,-"(UOO
n=O A)
n
20
b ) => e)
:::::)
b)
c)
:::::)
:::::)
d) ;
< + 00 , akkor
d) .
Bizonyftas
00
n=O
a)
00
1
JI.
&Jiliun
p kvi2imertek;
Ekkor:
;uaz .~
-'= =0
U;=o AI;
(n E N) ha lmazsorozat
~
~ =o
"'=0
=-
A b)
c) ininyban a kovetkezot. mondhatjuk : az A o \ An E {i
ha lmazsorozat. monot.on nove t.art az Ao \ A E {i halmazhoz , ezcrt
(n E N )
Mivcl
= ,'(Ao) -
J.I(A o \ A)
=-
!- c)
d ) alli~trivi!iliJ) a ford1t~~t1ninyu allitashoz pedig vegyiik eszre,
hogy az An \ A E {i (n E N ) halmazsorozat mo noton fogyva tart az ii res
hal!nazhOi'L Innen viszont
A = (A \ 8) U 8 =
(U Q ) U 8,
q<T
a hol UQ e1' Q az 1.3.1. Defi nici6 szerinti felbo ntasa A \ B-nek . Az m additivit3.sib61 t.ehat
m(A) = m(8) +
m(Q) ~ m(8)
qer
val6ba.n kOvetkezik .
2.1.1. Lemm a
0 = Jim p(A. \ A) = l;mp(A.) - ptA ) .
Ha T , T C
1{
U A= U A,
2" Nyilvan elegenda belatni, hogy d ) ==> b ) . Ez all elozockhcz h,lSOnl6 gondolal.rncILcu elad6dik a bb6l , hogy a {i-beli A \ A n (n E N) sorozat monoton fogy61ag
tart 0-hoz , tehat
AET
AET
akkor
m(A) =
AE1'
m(A).
AET
Megjegyzesek
A = An
(U
A) =
Ad
(A n
A) ,
(A n
A)
AET
A = An (U A) =
AE1'
U
AET
jl
k8vtJ~kc"'Q
.....
22
m(A) =
AET.
L L
A E'T
AeT
m(AnA)
=L
m(AnA)
Ae7'AE1'
23
[0, +00)
=?= m(A)
A et
lekepuest az ala.bbi utasitassaJ : legyen Y E 9(X) , ekkor (Id . 1.3.1. Tetel) egy
a.llc.almas veges, paronkent diszjunkt halmazokbOl i116 1l ~ T vel Y = UA ET A .
Definialjuk p(YH a kovetkez5keppen:
(. )
p(Y)
,= L
m( A) .
m(A) =
AET
L L
m(BnA) ,
n=O BET~
~
2.1.2. Lemma
IJ
.(Y) =
L m(A) = L L L
AET
AET n =O
m(BnA) =
BET~
=LLLm(BnA)=
Lassuk be, hogy az m 'fiiggvenynek az elobbiek szerinti kiterjesztese Mnye-geben egyertdmii . Nevezet.esen, igaz a
2.1.3. Lemma
Legyen 9 X beli gyiiru, 'X C 9, A : 9 -- [0 , +00] pedig egy olyan
elomertek, amelynek a 'H.-ra val6 megszoritasa megegyezik mmel. Ekkor
az elobbiekben ertelmezett IJ egyenlo a A 9(1l)ra vett leszukitesevel.
n=O
n=O
Me&iegyzes
Legyen
2.1.3. Tetel
lI a
Tn
A,
11 3 I
n X - m(I n X)
,= )1 )
U(an t L
o.EX
m({a)) = O.
o.EX
Bizonyftas
"
2'
25
Az elomcrtekek vizsgalat amil tehat kiindulhatunk a renti 'H felgy urun erte lmczett nem-negativ es additiv m halmazfuggvenybOl. A kovelkezo kel pontban
cnnck szellcmeben jarunk el a gyakorlat n amara legfontosabb kvazi mertekek t argyalasakor.
c"
i)
x :S; Y
::::> Xi$ Yi
Ii)
x<Y
::::> Xi
i, ... , p) ;
iii )
,,)
m({x,y))
,)
vi)
IP := {U / ET 1 : 7C IP, 7veges } .
(n E N ) ,
i=O
ekkor ezek a halmazok is nyilvan egy mo noton rogy6 sorozatot a lkotnak az IP-ben ,
lovabba
Cn + 1 C Cn C Bn C An C Ao (n E N)
(i == i, ... ,p);
< Yi ( i =
"
,= n
B,
is igaz. Kovetkezeskeppen a. en
,= m=,(y, - .,),
ncoen
n=O
n=O
A"
en
Nyilv:invaI6, hogy I" C I" . Nem nehez belatni , hogy P egy R "-beli
fe lgy un1 , kovetkczeskeppen (Id . az 1.3.1. Tetel utani megjegyzest ) I" = 9(R P).
KOIiIlYU bcl:itni tovabba azt a (p :s; 3 eseten igcn szcmleletes) tenyt is, hogy az
III Ick15J>ezclI additiv az P' felgyiitiin . J elolj ii k Jl-vd az m
altai 2. q.)-szeri nt
gCllcrail halmazfuggvcnyt, eH o r a 2. 1.2. Lemma ala pjan Jl cgy olyan elomertek
I\Z I" gylirun, amely kiterjesztese az m-nek es ez a kiterjesztes (Id. 2.1.3 . Lemma)
ICnycgcbcli cgyertclrnu. Megmuta tju k, hogy p. IT-additiv is, azaz igaz a
C"'"
(nE N ) .
( tt)
2.2.1. Tetel
A1. d obb dcfi llialt
I~ :
I"
-+
Val6ban, a teljes indukci6 m6dszerel kovct ve egy reszt Jl(Co) = Jl(Bo) >
,,'(Ao) - D/ 2, azaz ( .. ) igaz n = 0 eseten. Ha viszont valamilyen n E N
IIlcllett ( ) renn all , a kko r a 2. 1.1 . T etelt a lkalmazva
R fuggveny kviizi.mertek .
:::0:
Bizonyh.s
Mivcl I' veges, czcrl a 2.1.2. 'retelt figye lembe veve elegendo azt be!atn i,
Ilogy mln<i!'11 OIYI\1I 11" E II' (II E N ) halmazsorozat eseten, ameiyrc An+l C An
(n N) ('II n ::". o An
tcijeaiil , egylHtal az is igaz, hogy limn p.(An) 0 .
="
'l't'syilk rei Clluck erdckcbcn indirch m6don azt, hogy valamely, az clobbi
klkihclltk nc k d ogd leva hall ll !lZso ro:;,a~rt\
Iu,az
26
21
Megjegyzes
Bizonyitas
Lcgycn m05t 1 := II ,I := I I (ld . 2.3.) es tegy lik fel , hogy adott egy
V' : n -. n mono ton novo fUggveny. A V' segit.segevel ertelmezzuk az m : I ..... R
lekcpezest az alabbiak 8zerint :
L ([z. , z.+.
n=O
~
=
Az 'gy definialt m fiiggveny nyilvan nem negativ es additiv , amely a 2.1.2.
Lem ma azerint kiterjesztheto egy I -n ertelmezett J.I" e lomertekke. A ",,(x) := x
(x E R ) specialis efiCtben J.I" eppen a Lebesgue-fele kvazimertek (Id . 2.2.) . Igaz-e
vlljon l.elswleges V' mellett , hogy J.I" kvazimertek (vagy ami ezzel ekvivalells,
hog}' IA" u-additiv)?
A ko vetkezo pelda azt mutatja, hogy a fenti kerdesre nem mi ndig lehet igennel
viLiaHzolni. Legyen ui.
(x ~ 0)
,,(x) =
{~
(z < 0)
Ekkor minden [a, bJ C (-00, 0) intervallumra nyilvan igaz , hogy p,,([a ,b)) = 0,
de pI. J.I,,([- I , O)) = I . Mivel az In := [_2- n ,_2- n - l ) E I (n E N ) intervllll umok paronkent d iszjunktak es [- 1,0) = U::'= o In ,ezert J.lv> u-additivi tasa
cseten felln kellene aUnia a
~
(1-1 ,0 = ( U I.) = L
n=O
n=O
(1.)
egyenl&egnek . Ez viszont 81. elobbiek 8zerint nem ig81., liven a bal oldal I , ajobb
o l d l~l pedig O.
A 2.3.1. Tel.elben 81.t vizsgaljuk meg, hogy a !p-ro l mit keU feltenni ahhoz ,
hogy J.I" kvazirnertek legyen.
n=O
runi nyilvan ellentmond az elobbieknek .
Az elegsegesseg igazolasahoz azt kell ~~k ~elatni (Id. ~ ',1.3. Tetel) , hogy
szoban forg6 , a J.I,,-t " generaI6" m
fuggveny u-addltlV . Legyen ebhez
I E I (n E N) paronkent diszj unkt intervallumoknak. egy olyan 8Ofozat3, amely
r~ 1 := U:'=o In E I . Ekkor a 2.1.1. Tetel 5 a llitasa 8zerint
1\
n=O
,,(I) - ,,(a) =
(,,(I.) - ,,(a. .
n:::O
,,(I) - ,,(a) S
(.(1.) - ,,(a" .
n=O
Ez ut6bbi a = b eseten trivialis, tehat feltehetjiik , hogy a < b . V;ilasszun~
egy tetszoleges C E (a ,b) 8zamot . A '(J rU~veny mono~itasa es bal oldah
folyt.onossaga miatt barmely t > 0, n E N eseten van olyan an < an , hogy
.-,
lim" = ,,(z)
( 28
(z E R ) .
29
A'1. (iin,b n ) (n E N) nyilt interva11umokb61 a1l6 rendszer nyilvan lefedi a kompakt [a, c] intervallumot, ert egy a lkalmas /If C N 'leges halmazzal
Hasonl6an kapjuk
[a,'le U (a",b").
"eN
Ezert megint csak a 2.1.1. Tetel a lapjan
I.
~(,) - ~(a) = mIra,,~ ~
EbbOl a becslesbOl
~(,) - ~(a) ~
"",0
'1::0
I: (~(b") - ~(a"lJ ~ L
(~(b") - ~(a"lJ +,
~(,) - ~(a) ~
,,=0
(~(b") - ~(a"lJ
5 A 2.3. pont elejen vizsgalt, a.z ottan i !p fiiggveny altai generalt mesa '"
kozo tt i ka pcsolat abban az ertelemben is igen ~szoros", hogy m inden I-n
ertelmezeu, 'leges tis additiv halmazfuggveny egy !p : R __ R lekepezes
segitsegevcl a.llithatO elo. Nevezetesen, ha m : I - R egy addi tiv
halmazfuggveny , akkor van olyao !p: R __ R lekepezes, amellyel
I " A 2.3.1. T ctclbcn szercpl5 I-I.,-t a '" fiiggveny altai generalt Slieltju-Jile
htfzunt"rUJ.1ick nevezziik.
2 " ig y pI. b;i.rrncly monoton novo, fo lytonos rp: R _ R fiiggveny esctc n
II., cgy kvtlllill1crt.Ck az I gyu run. A r,c-t szokas a 1-1., "deriva.ltjanak "
is neve,ni .
Nyil van minden c E R mellett I-I.,+e = flop Masreszt nem nehez
bcl.itni CII ul6bbinak a megforditasat, nevezetescn : ha r,c-n kivul adou egy
ugyallcllak m OIlOlou novo, minden pontban balr61 folytonos 1/1: R _ R
fiiggvfny ill CH I'", = fl'" , akkor van olyan c E R konstans, amellyel
tp = 1/1+ (" . Vll16ban , Icgyen a E R , ekkor barmcly R 3 .:t ~ a eseten
="_([a , x =~(x) -
- ~(x) = ~(a) - ~( . ) .
30
~(a) ,
([a,b) E I).
~(x)
Megjegyzesek
,= {[a, b) E I , a,b E ~ ) .
,= {
m([O,x
(x ;>: 0)
- m([x , 0))
(x < 0)
(x E R ).
[a,b) = [a,O)U[O,b)
diszjunkt felbontast es az m additivitasat figyelembc veve az
+ m ([O, b)) =
-~(a)
+ ~(b)
31
rogtOn
n - n
"I' :
l~v
tcglalap eseten
= ~(z , w) a hol
~(z ,y):=
~(z , v)
+ ~(v , v) -
~ (v ,
w)
0,
m(Ir,).
~(u ,w)?:
0 (u,v , z,wE R ,u
<
Z,tI
< w) .
m(I)
:= ~ (z, w) - ~ (z , v)
+ ~(u , v) -
" (x , y)
,= ~(xH'(y)
4>(u , w} .
Az igy dcfin ialt m : I ' _ R lekepezes tehat nemnegativ es (konnyen megmutathalo, hogy) additiv . Peldaui , ha "1', "" : R _ R monoton novekedo fiiggvenyek
..
Ahogyan azt a 2. fejezet elejen jeieztiik, viazonylag nem tul 10k feltet.elnek
eleget teva (es a fonl.o6 tt hetkoznapi" eset.ekben e!ege t.erm~tes m6doD ad~d6)
halmazfuggvenyeket akarunk kiterjeszteni bonyolult abb felt.eteiek?e~ megfelelo Iekepezesekke. Ezek a ttvegtermekkent" megj eleno fiiggvenyek a mert.eke~ , .ame!yek
az elemekbOl ismerl h088zUsag, t.eliilet, terfogat fogalmanak messzemeno aIt a!anositasai. A kiterjesztes IOl an eddig a kva.zimertek fogaJm ihoz jU,to~tu,nk el , .~ ely
mar alkalmas an a, hogy elemi halmazokal memi tudjunk a ~gltstgevel. VI!ag~,
hogy az elemi halmazok strukturaj a meg e!egge szegeny,;". s~am06 fontos .. kerdesben van sziikseg ezeknel j6va! bonyolultabb halmazok meresele. Ezl tesszuk m06t
ebben a pontban .
Vezessiik be ehhez elOszOr is a mertek. fogalmal az aiabbi definici6 szerint.
Legyen adotl egy X 1:- 0 halmaz es egy n q-algebra X -ben .
((x,y) E R '),
. kko. m(1)
(~(,)
~(u). ((w) - (v) . A ~(x)
esetben m(I) nem mas, mint az I t.eglalap teriilet.e.
,= (x) ,= x
(x E R)
hm
",_,, _0
. _._0 m([. , x) x [fl, y = m([. , a) x [fl,b .
( A bizonyftas - amelyet nem reszlet.eziink - a 2.3.1. Tetel bizonyitasahoz hasonl6
mOdon vcgezhct.5.) A ~- re tett el5bbi felletelnel nyilvan er5sebb a kovetkezo:
Megjegyzesek
".(A)
,= {
(w E A)
(w A)
(A E 0 )
(A E O) .
(A veges)
32
p mertek .
f;)
Ha p mertek n -n es Q c n gyiirii , akkor a p leszukitese Q-re nyilva n kviizimertek . A tovabbiakban azt a kerdest vizsgaljuk , hogy ez mennyiben
rncgfordithato , tehat igaz-e pI. a kovetkezo: ha Q gyiiru X -ben es p kvazirmirtek Q-n, akkor van-e olyan n O'-algebra es olyan p mertek O-n, hogy
Q c 0 , PeA) = peA) (A E Q) ? Ha igen , akkor azt iltoI\djuk , hogy a f; kvazirncrtek ki/ erjcsnhd6 merte.kke es p a jj egy kiterjes rtese.
2.4.1. Tetel
00
m,n=O
Bizonyftas
Meg fogjuk mutatni tehiit, hogy ha X -:f; 0, Q gyuru X -ben es jJ kvazimertck Q-n, akkor van olyan Q-t tartalmaz6 0 O'-a lgebra es olyan p mertek O-n,
timely ki terjesztese jJ-nak.
"O(
n=O
EA 0= {(A",nEN) oN~g oA C
U A" }
U A") ~ L
p(A"m) ';
" O(A")
n=:1)
m,n=1)
+, .
n""O
(.)
(A E PIX) ) ,
ilL
"O(G ) = pIG ) .
I~ hhez nyiiva.n felteheto , hogy pO(A) < + 00 (kiilonben (*) trivia.lis), ezcrt egy uttal
EA -:f; 0. Ekkor minden ( An , n E N ) E EA eseten
-+
00
LP(A" } =
(i' (A" n G) H(A" I G)),
n=1)
n=:1)
a) " (0) = 0 ;
b) " ,, 0;
lovabba (An
alapja.n
<I ) b,i.rmely
An E P(X)
(n E N)
sorozatra
pO(U~=o
An) <
5 L ::'=o Jl (A n).
n=1)
(A /'
tchat cgy nem-negativ , az 0-on eltiino, monoton es szubadditiv
hulll ltU'.fiiggv cny. "~ rdem e... megjegyez ni , hogy po attalaban nem additiv, pI. legyen
0= N , g 0= (0 , (i , 2}) , p( {l , 2}) 0= 1 .
34
1';'I.7.cl (*)-ot belaUuk . A pO (G) = jj(G) egyenl8seg igazolasa.hoz vegyiik Cszre azt ,
Iwgy a (G ,0,0 , ...) sorozat nyilva.n eleme EG-nek , eze.rt pO(G)::; jJ(G) . Masreszt
(Id . a 2.1. 1. Tetel bizonyitasa uta.ni 1 megjegyzest) minden (An , n E N) E EG
!l()rozatra jJ(G) ::; L::"::'I) jJ(An) , azaz jj(G) ::; IlO(G) .
;'l
Lcgycn
Oizouyitsuk be, hogy n o--a1gebra. Ehhez eliiszor is azt jegyezzuk meg , hogy a
bRrmely . A, ~ E P(X) meliett fennaJI6 A = (A n B) U (A \ B) egyenlaseg es a
IIl Rr beblzonYltott a) _ d) becslesek miatt p(A) $ p(A n B)+p(A \B), ezert
n=
n 0) + p"(A I B)
AIUA,CA I B. ,
;=0
(A E PIX))} .
p" (A
..
+ p"(A I G)
(A E PIX~ .
I U A,) $
p"(A I B.) .
; =0
A'I, X E.n relaci6 akar (.), akar ( .. ) a1apjan nyilvanval.6. Hasonl6an kapjuk
hogy n zart. a ko.mplementer-kepzesre, azaz minden n 3 G-re X \ G E {} is igaz:
Azt kcll leha! mar aak megmutatni, hogy legfeljebb megszamlaJhat6 sok O-beli
hahnaz cgyesitese is n-ban van .
_ Mutassuk meg czt el&szor ket n-beli halmazra, legyenek ezek mondjuk
G,G E n . Ekkor minden A C X eseten
I G) nG) + p"((A I G) I G)
p"(A) = p(A
+ p"(A I
U A.) =
;=0
=l>"(AnA,)+p(AIUA,)
(nE N ).
;=0
;=0
A E P(X) eseten
00
00
p(A)" l:p" (A
miatt
IO(A
pIA)
00
00
;=0
1=0
1=0
;::::0
00
00
00
; ::::0
.=0
;::0
+ p"(A I (G u Gi) ,
tcillit Gu G E n kOvctkczik .
Lcgyen most An E {} (n E N) paronkent diszjunkt halmazokb61 aJI6
tIOro'l,at. Ekkor az elozc3ek szerint minden A E P(X) eseten
p"(A n (Ao
luni bOl tcljes indukcioval kspjuk az elobbi A-ra es minde n N 3 n-re, hogy
=0
; =0
p (UA,) = l:p"(A,) ,
;=0
.=0
(A oem veges)
(A veges)
"kkor I' poolosan abban az esetben q. veges , ha X legfeljebb megszamlalhato.
2.4. 3. Tet.1
Legyen X#- 0,Q gyii rii X-ben, ji. : Q - (0,+00] pedig egy a -veges
kvii..zimert.ek . Ekkor egyertelmiien lCtezik olyan ~ 0(9) - [0, +ooJ
mertek , amely kiterjesztCse p _nak .
IlI/onyhas
A 2.4. 1. Tete! miatt mar csak az egyertclmiiseget kell bizonyltani . Legyen
dl lll'Z An E Q (n E N) olyan paronkent diszjunkt halmazokbol allo sorozat.,
A lovtibbiakhan azt vizsgaljuk meg, hogy egy kvazimcrtcknek a 2.4 .1. TeLel hel! garantalt kitcrjesztesct ilietOen mit mondhatunk az egyertelmiiseg szempOllljab6l'! Vii1i.gos, hogy csak a szoban forgo gyii ru altai gener< u-algebrara
vll16 kllerjC8ztes cgycrtelmiisegerollehet esetleg s1.6. A kovetkez5 nagyon egyszerii
pcl<lll ;ul mut,lLja, hogy minden tovabbi nelkiil meg ilyen ertelemben sem egyerLelmu a kitcrjes1.tes . Legyen ui . X#;0 ,Q := {0} - ekkor O(Q) = {0, X} (Id .
ttIVllilis q-a lgcbra) - es JlI(0 ):= 1-'2(0) := O,I-'I(X) := 1,1-'2(X) := 0 . Vilagos,
Ilogy 1' 1,1' 2 kel olyan kiilonbOzo mertek O(Q)-n, amelyeknek a Q-re vonatkozo
Ics1.iik ilblci lIlegegyczllek.
Az alabbi dcfin lcioban - amint az a kesobbiekben kideriil - egy elegseges
rogalllla1.Unk meg az em litett kiterjeszt.es egy~ r telmiisCgere vonatkozoan .
rd~c l<'lt
"" wlyre
X=
(n E N)
.. =0
(0,+001
(1 = 1, 2) mertekekre
(A E 9)
(i = 1, 2) .
.. =0
2.4.2. Definfci6
Tckillt!iiik az X:f. 0 halmazt , J.J E 'P(X) - (0, +00] pedig legyen
cgy, a1. X reszhal mazainak valamcly rendszcren ertel mezett fiiggveny.
A z ~ H1ondj uk , hogy p a- viges, ha a VI' ctlelmeZl!si tartomanyaban
lllcgadilato olyau All E V"
(n E N) paronkent diszjunkt halmazokb61
a1l6 SOroZllt, hogy
X - U~ A
n = O '"
1),(An)
< +00
(n E N ) .
I' ~ lIy,l van kovetkezni fog abbol, hogy minden G E Q, ji.(G) < +00 halmazzal
.
(11 E N)
38
39
i) X EO;
'J
\1
"
ge o .
..
"'Ilt, cH or
00
00
00
n=O
n=O
n= O
Megjegyzes
Azokat az 0 C P(X) halmazrendszereket, amelyek eleget l.esznek a (enti
bizonyitasba.n szerepl5 i) --0 iii) tulajdonsagoknak , Dynhn-rendszereknek
nevezziik . Az emlitett bizonyitasb61 az is kideriil , hogy
00
n::O
""'"Zval6 ba.n
Un
P>=O B n En
u
lIa viszont m,h tudjuk , hogy 0" algebra, akkor a 2.4.1. Tetel bizonyitasa kozben
mondott feladat ertelmeben 0" O"-algebra is.
ge
",(Gn
(A E g, B E rl") .
A fentiekbOl mar kovetkezik, hogy 0" algebra. Ui. egyreszt i) es Ii) alapjan
X \ A E 0" (A E nO) , masreszt barmely A , B E 0" halmazra
An B E n
(U B.)) ,
n =O
.
2.5. Mertekterek
/1 : 0
.It.
AnBEn
(A,BE nO) .
2.5.1. Definki6
~gy A C X halmazt merhdonek nevezunk, ha A EO . Azt mondjuk ,
hogy (X , O) egy merhdo Ur, (X,O, p) pedig egy m erUkUr.
ii) Legyen 0 0 := {A EO: peA) = O} (a p-nulla-mert.eku ( p-nulla-)
halmazok rendszere). A p merLek (az (X ,O, p) mertekt.er) te/jes, ha
barmely A E 0 0 eset.en
P IA) C n, .
i)
<I
mellett 0
olyan X-beli
L::O=o
+ t:
ezert az
Lr':o
A. :=
n A".
8..
a kivant tulajdonsagti
A ,=
E 0(9) .
n=1
Az vilagos, hogy A C A es p"(A ):5 p(A) . Tegyuk fel indi rekt mooon , hogy
J.l"(A) < p(A) . Ekkor p (A) < +00 es
"(A) ~
"(Ad ~ "'(A) +
fI
I < +00 .
Megjegyzesek
l O A teljesseg definiciojaban szerepl6 " P(A) C 0 0 (A E ( 0 )" kik6tes
nyilvan helyettesithet6 azzal, hogy minden A E 0 0 ,8 C A esetcn
B E 0 , mivel ekkor J.l(B) ~ J.l(A ) = 0 miatt J.l(B) = 0 ,azaz BE 0 0 .
2" Konnyii megmutatni, hogy a Caratheodory-tetelben (2.4.2. Tetel) kapott iJ mertek teljes. Ui. legyen A E 0 0 , B C A, ekkor (Id. az ot.tani jel6leseket) pO(8):5 J.l(A) == peA ) == 0, ezert p(8 ) = O.
Ekkor viszont minden D C X halmazra IJ.(B n D) :5 p" (B) == 0,
igy IIO(D) = 0 . Innen rogton adodik , hogy az elobbi D halmazra
IJ' ( B n D)+p"(Dn(X \B)):5 J.l" (D). Ez aztjelent i, hogy 8 p"-merheto, azaz 8 EO .
2.5.1. Tetel
Lcgyel1 X #- 0, 9 X-beli gyii rii , jl kvizimcrtck 9-n , J.l" a p
{,ltal irulukal t kiilsO mertek (Id. 2.4 .l. Tetel bizo nyitasa) , p pedig a p
ICtlziikil&!c OWl-reo Ekkor barmely A C X halmazhoz Ictezik olyan
A E 11(G) , hogy A C ii .;, "' (A) = "(A ) .
Biz o n y fl ~ 5
Megj egyzes
Ha az elobbi tctelben szerep l6 J.l mcrtek O'-vegcs (pI. jl O'- veges) , akkor
az ott kapott A halmazrol az is felteheto, hogy
,.(8) = 0
]':I{:\H'I,iJr IIzt IlIullltjuk lIIeg , hogy minden ~ > 0 szamhoz lCt.ezik olyan
A. 1I j) II r,IIIIII1"lIlUclyrc A C A. Cs p(A.):S p(A)+~ . Ha ui. p (A) == +00,
r\kkor rl'l. Ar
X vrl.lasz las nyilv ~il1 rnegfelel6. Kiil6nben pedig a p . defin iciOJII .lI mU !'t\y II lknlr rHlH /J" E 9
(II E N ) sorozattal A C U:O=o B .. Cs
'2
(113 B C iiIA) .
A \ A es
8 .. := B
n An
00
B=
U B.,
n=O
igy /1(JJ n ) == 0
(n E N) , akkot
00
B. C
U Am C A. I A.
A. I
m =O
'3
(n E N ) ,
'
Az
0 c n
tartalmazas es a
jJ
mertek teljessege, valamint a
",(A) = {I(A) (A E 0) egyenl8seg lrivialisan teljesiil.
Legyen most (X ', 0 ', ",') a tetelben szereplo teljes mertekter , A U N E ~
( A E 0 , NcB E 0 , AnN =
pCB) = 0) . Mivel A,8 EO, ezert A , BE 0
i/J igM, ill. p' (8) = 0 . A p' mertek teljes, ezert N E
p' (N) = 0 . Innen
AU N E 0' , azaz nco'
e,
2.5.2. Tetel
0: es
es
kal :
i) jJ kiterjesztese p-nek ;
ii) ha (
, olyan teljes mertekter, hogy p' kiterjesztese p-nek,
X' , ' , p)
akkor p kiterjesztese jJ-nak is.
ad6dik.
Megjegyzesek
1 Az elabbi t.etelben 8zerepla jJ mertekct X,0, jJ) mertekteret) a Jl
mertek X, O, p) mertekter) tdjeul teteUnelnevezziik .
2 Da (X , 0, p) teljcs , akkor (X,
jJ) nyilvan megegyezik (X , 0, p)-val
Bizo nyitas
n,
Legyen
fi ,=
ill.
Ilkk~r I.(A) = p(AI) . Ui. A C AI UBI , ezert peA) < P(AI) ,ill. hasonl6an
knpJuk , bogy p (AJ):s p(A) .
-
il(B) = 0
x I ( A U N) = (X I A) I N = ((X I A) I B) U (((X I A) n B) I N) =
= ((X
I A) I B) UN
9E0
11 1101
N ,=
"
(03 B C AlA) .
44
A= (AIC)u(AnC) .
Mivel A \ CEO, AnccC, p(C)=O , ezert AEn .
p(A)
,= {
(A=0)
(A E P(X
I (A" 0)
p(A , 8)
,= pA I 8) U ( 8 I A))
I (X, U Xd)
es
+00 .
8 E 9 , "(A I 8) $ "(
00
A.) $
n = N+1
~
"(8 I A) $
"(A.) d
n = N+1
00
'6
p(A.) < ;
n =N+ L
00
(A E X ,)
(A E (P(X)
(A,8 E fI) .
2.6. A Lebesgue-mertek
2.6.1. Htel
0, = OCT) = O(C) = O(X:) .
Legycn
8.
tova.bbiakban
:5 PEN
ElI1 lc~cztetunk ra, hogy egy uttal 0,. = O(V) is igaz (ld. 2.3.). Ha JJ jeioli az
IP n c~telmc~ctt Le~esgue-r~le.kv;izimetteket, akkor (Id . 2.4.2. Tetel, 2.4. 3. Tetel)
/, egycrtelmuen l.erJesztheto lei OrIe, legyen ez a kiterjesztes PI"
Bizonyftils
Mivel 1:. C C C n(c) ezert n(1:.) c n(c) . Tovabbli minden A E C
hal mazhoz van olyan An E 1:.' (n E N) sorozat , hogy A = U::':o An (ilyen pI.
2.6.1. Definki6
Az Op halmaz elemeit RP-beli Bord-flalmazomak (vagy Borel-mirAda
halmazo!na~), JJ,. t (Ldc&gve-) Bord-mirW:nek nevezzuk . Egy A E OJ'
halmaz eseten pp(A) az A un . Ldc$uc-merW:e.
O{C) C 0(1:.)
OCT) = 0, .
Megjegyzesek
1" lI a "'" Y E OJ' akkor {A E P(Y) : A E np} is u-algebra (az 0,.
nyoma V-ban , Id . 1.1.), a PI' erre valo leszukit.ese az ny halmazon
crlclmezett (Lebesgue-) Borel-mertek".
I
,lA<gyen
_
1
(n E N) (az
e hh e'l [b)
a , E .~' , a n := a- n+l
koordinatajaban elvegezve a kivonast) , ekkor
~
0_
n:O
miatt [a, b) E n(T) , azaz P' C n(T) . Innen marls adOdik, hogy 0, C O(T) .
,= {A E P(R') , A nyilt} ,
i)
ii)
C := {A E P(R') : A zcirt} ;
iii)
IC := {A E P(R') : A kompakt} .
("b) =
U [,.,b) ,
n=N
(Az itt 8zereplo topol6giai Cogalmakat pI. az R' tiren bevezetett 11 ,11 euklid(.'tlzi norma ert.elmeben alkalmazzuk .)
48
49
Megjegyzese k
I" Alkalrnazzuk a 2."1 .1. Tetcl bizonyitasaban mondottakat p,-re. Mivel
11." nyilvnl1 cloallithato megszaml.ilhato sok IP-beli halmaz egyesitesekcnL , C"lcrL minden A E P(Rp) esewn LA:f:. 0 . Kovetkezeskeppen a
I.ebesgue-felc P kvazimertek altai generalt Jl" klils8 mertekre
,,=0
U A.) .
,,=0
A C [a- - - , a + - - ) E l l'
n+1
n+ l
30
-1 "
(n E N ) ,
azaz pp(A):5 21'11 - 1' . Innen egy reszt pp(A) = 0, masn!:szt PI' q-additivitasa alapja.n ugyanez minden legfeJjebb megszamlalhat6 A halmazra
is ad6dik .
A z I " megjcgyzes szerint tehat egy A E np hal maz pontosan akkor
IIp-lIulia-mertekli , ha minden : > 0 szamhoz megadhat6 R P-beli intervall umoknak egy olyan In (n E N) sorozata, hogy A C U::'=o In Cs
E~=o 1-'(1.. ) < :.
Megmutatjuk , hogy tetszoleges a , 6 E RP, a < b eseten
A (Lebesgue-) Borel-mertekck nehany fontos tul ~jd~ns~gat t~ rgya~juk a tovabbiakban . Ehhez szliksegiink lesz nehliny altalanos ervenyu meg]egyzesre .
"Tegyiik fel, hogy adottak az (Xi,e,) (i = 1,2) merheta terek. Va~amelY
f : X i ___ X 2 lekepezest mirhelO'nek e l , 92)-merhewnek) mondunk , ha bar me~y
BE 9"l halmaz / altai letesitett rl[BJ 8skepe 9 1-ben van. Nem nehez
rnegmutatni , hogy igaz a
2.6.1. Lemma
lI a X C 'P(X"l) ISs e 2 = O(X) , akkor az /
abban az esetben igaz, ha
r'IAjEa,
A" := I. x ...
I~ _ I
la ,a + - -) x
n+ I
so
It+1
..
x II' E np (n E N)
(A E X) .
,=
X en , ezert
9 2 en.
N ldaul , ha N 3 p,q ~ 1
f (Op,Of)-merheta. Ui. a
es
merhet8sege pontooan
,= v ,(I -'IA])
(A E
j",tbcn. lI a a E R p
e, :=np
(i
VI
mertek
= 1, 2, N 3P~
es
f .. (x) := :I:+a
SI
egy mert.ek
a,)
VI
(x E R p) ,
l)
altai letcsitett
ukkor n'l, III riiggVCIlY (ro ly~o I1 Ol1 lCven) rnc rh c~o, lcgycn p := 1.. lllp] . Mivel III
bijckci661 /;1 = I -II , ezert barmely Iz,y) E II' inter vallumra
a ,y - a) ,
azaz
a,y-
k t'
am0S8agu mig 3 teljesae
h8v iles tortenik , nevczetcsclI , az 0, halmaz on lIIuum sz
'k 1'1 . t ' t
_
.
'I
bb E
k eJlenere - hacsak nem 0 oz e reer es
lett n~ s~a~0881 ag~ enne(R
n~~o .; ) nJ~e~olest. fogjuk hasznalni . Eonek fenyeben
a te\Je8/IC tete re 18 a.z
" , rP
yczes8uk be a. kovctkezo definici6\..
A z 0 .I'
~:7. ~eh a~
", = f .iJo,] .
Az I. lekepezCs (geometriai interpretaci6ban) egy eltohis, ezert az el6bbi egyenl5IICg Illapjan azt mondhatjuk, bogy a Pp (Lebesgue-) Borel-mertek eUol/bintJarians.
lI asonloan lathato be, hogy ha g( z) := - z (z E R p) , akkot g[pp] = Pp ,
0."0. .,, Jl p liikro:esintJarian s is.
Megjegyzesek
AC
es
.
. , . )
k Iyan A' 8 E 0(1' ) halmazok,
M ' , t (ld a 2 5 2 T etel blzonYltasat vanna 0 ,
ho7;e:,(B) '= 0 . ~ ~gy alkalmas _NCB. AnN = 0 reszhalmazzal A = Au N.
Te hat az
A E O(I')
haimazra A C A
tathato pl. , hogy ha T : RP ...... R P egy kalcsan08en egyertelmii line;iris lekepezes (ami lehat azonosithato egy nem szingularis R pxP-beliugyancsak T-vel jelolt - matrixszal), akkor barmely A E 0.1' eseten
T[AI E 0.1' es
" ,(T[AJ) = [d.,
",(A ).
2" RCszben a1. 1 "_ ben mondottak kovetkezmenyekent lathatO be, hogy ha
",( U 0 E)[A])
",(A) = ",(A ),
", (A \
A) = o.
" , (A ) ,= , up(",(8) , 8 E C, 8 C A) .
" 8 E .c"-t
A " BEC" feltete! helyett a p.(A) de6niciojaban nyugodtan lehet
is Imi , azaz
=",(A) .
3" Az 1" (es igy a 2") hattereben a kovetkezo aIHta.s huz6dik meg:
legyen 0 - X C R P egy nyilt halmaz, ~ : X ...... R ' pedig egy folytonosan differencialhat6 ("si ma") iekepezes . Ekkor tetszolegesen valasztott
S'l, 3 A C X halmazra t)(AJ E S'lp . Specialisan , egy R '-beli szakaszonkent sima garbe Lebesgue-merheto (es a p,-merteke nulla).
Alk1l1mazzuk most a Caratbeodory-tetelt (2.4 .2. T etel) a Lebesgue-fele kvazllIlcrtck altai indukalt kiilsO mertekre. Az igy kapott (R p, n"pp) mertekter
IH~ ln mi.'! (ld . a 2.5.2. T etel bizonyitasa utan tett 3". 5" megjegyzeseket) , mint az
( RI', Op . JI,) tcljesse tetcle. Megmu tathat6, bogy a teljesse tetel80nin tenyleges
52
es
halmazokkal Kn n B
(Id . 2.1.2 . T etel)
(0 E N) es
p, (8) = limp.,(Kn n B) .
I '
h gy ha ". jelenti a Lebesgue-fele kvlizimertek altai induklilt klil~
Vlagos, 0
r
b'
I AC R P BEC BCA es
mertekct (ld . 2.4 .1. Tetel bizonyitasa) , akkor arme y
,
,
An E IP 1n E N) , A c U::'=o An eseten
~
53
p,.
s:
p,'
egyerrlotlenseg. " a
A E Op , akkor tehat
2.6.3. Htel
Legyen A C RP . Ekkor
2.6.2. H tel
Bizonyft as
Barmely A C R P halmazra
"'(A) = inf{p,(B) , B E T , A C B) .
Bizonyftas
s:
II ll LclHit 11( A ) = +00 , akkor a kivant egyenlo5seg nyilvan igaz ezert felteheto
!logy II'(A) < +00 . Legyen t > 0 , ekkor egy alkalmas I" 'E IP (n E N )
sorozaual A C U;:"=o 1" es
.. =0
,lzaz p,(A)
LCgYCIl _Hlost lIlill dcn n E N indexre i.. olyan_nyi;t intervallum , hogy In C
B := LC'=0 I.. , akkor B E T , A C B es
"a.
i ..
00
" ,(8) $
.,.,..
.. =0
A rcntiekbcn oevezetett 11 o " bcJsO" mcrtck Cs a 1'0 kii lsO merlek segitsegevel
1ll000 t rnar a kOVdkczokcPPCll lchd jcllcmczn i a Lebesgue--mcrhdOseget.
..=0
".(A ) =
..
;=0
;=0
5'
00
A = UA nBnd UA.
L:>,(i.)< p'(A ) + 2 ,.
.. =0
Mivcl
..
55
I\mib6J
~
I, (A) ~
I>,(A,) = ",(A)
; =0
ill kovetkezik. Mivel a p.(A) ::; pp(A) egyenlotlenseg nyilvanval6an teljesiil , ezert
I., (A) = ",(A) .
ii) Legyen most A C R P olyan halmaz , amelyre
",(A)
= "'(A ) < += .
Ekkor minden ! > 0 szamhoz megad ha.t6k olyan PEe es BET halmazok
Dlllclyekre PeA C B , IJp(B\P) < teljesiil. Ha tehat D c RP , p( D) < + 00'
'
"kkor
"'(Dn~+~~IA)5~(Dn~+~(DI~5
amibc51 PI(K)
1:-
adOdna. Ugyanakkor
U ,E[O,I}nQ(Y
+ K)
[0 , 2) ,
""""
", (y+K ) =
IIE[O, I )nQ
",(K) 5 ",([0,2) = 2,
IIE(O,!)nQ
ami pedig aak PI(K) = 0 eseten lenne Jehetseges. Teha.t K va16ban nem Borel-merhetO. Innen ma.. nem nehez megmutatni , hogy
K ~ Ot
Ehhez annyit kell aak eszrevenni, hogy K E OJ eseten
alkalmas A , B (PI ( B) = 0) Borel-merheto halmazokkal valamilyen
N C B , A nN = 0 mellett K = AUN,pJ(K) = PI(A) . Tovabbaminden y val68szamra y+K =(y+A) U( y+N) is y+N c y+B . Mivel
mind y+A , mind pedig y+B Borel-merheto is PI(y+B) = PI(B) = 0,
erert y+ K E 0 1 es
(.)
Mi vel > 0 tetszoleges volt, ezert (.)
A I/o -merheto. Ezert A E 01"
Megjegyzesek
10 (~el~a nem merheta halmazra.) Megmutatjuk , hogy 0 1 1:- peR ) . Legyen
UI. ~ct ,z , Y E R szam. "ekvivalens", ha z - Y ra.cionalis (z _ y E Q).
Az Igy ertelmezett (nYllvan) ekvivalencia-relaci6 alapjan R felboml ik
paro~k~n,t diszj~nkt A:= z + Q (z E R) alaku ekvivalencia-osztalyok
e~Ye:' l tese r~. MI:el z - [zJ E A n [0, 1) ({z] jelenti az z szam egeszresz~t), ezert mmden ekvivalencia-osztaly tartalmaz [0, l)-beli elemet .
A klv.i.l~ztasi axi6ma alapjan tehat van olyan K C [0 , I) halmaz,
ameJy mmden ekvivaiencia-oszt.i.lyb61 pontosan egy elemet tartalmaz es
mas elemei nincsenek, Kennyen belathatO (a bizonyitast az OlvasOra bizzuk) , hogy az y + K (y E Q) halmazok paronkent diszjunktak es
R = UIIEQ(y + K) . Lassuk most be, hogy K nem Borel-merheta . Ha
ui . az lenne , akkor a IJI mertek eJtol.is-invarianciaja miatt
+= = ",(R) =
I>,(Y+ K) = L ",(K) ,
,E Q
,EQ
56
n, 3 8 ,= A I
U A, C A I A" C A I K"
,b:: 1
lin
= 0 , igyaz
1~ lIn c k ~clti. l d8{,t is az Olvasc)ra hagyjuk, mint ahogy a fCll tickkd anal6g
m6don Igazolhat6 k i:ive ~kczo allitasel is: barmely A E 0
halmazhoz
ICtezik nyilt halmazo knak egy olyan monoton fogy6 (en) ~rozata (tehat
e" :> C"+I (n E N Cs egy olyan DE Op , I-lp(D) = 0 halmaz, hogy
( il a jJp(A)
N 3 n- rc.)
Ez mas sz6val azt jelenti, hogy - szemben a Lebesgue-mertekekkel - az 1!'Icmu halmazok Lebesgue- Stieltjes-merteke lehel O-t61 kiiionoozo is. Egy a E R
I..'scten ez a.z {a} ha imazra pontosan akkor igaz , ha a ell fiiggvenynek a-ban
tlzakadMa van. Tehat 1'4' ( {a}) = 0 akkor es csak akkor teljesiil, ha ell folytonos
a-ban.
Hasonl6an szamithat6k a vegtelen inte[vallumok Lebesgue-Stieltjes- mertekei.
es alkalmazzuk a Carathoodory-telelt
"'(x)
2.6.3. Definfci6
A I-l:;'-merheto RP- heli halmazok 0", rendszeret Lebesgue- Shelt_
jes-mirheto halmazoknak nevezziik . Egy A E O~ halmaz escten
JJ~(A ) := 1-l;(A) az A halmaz Lebesgue- Stieftjes-mirW:e.
A IJ.., egy u-veges teljes mertek. Ny ilvanval6, hogy Op C O~ . A
I(XI , ... , Xp
):=
,
II
,= " (x -
0)
(x E R) .
;=1
ill. tetsz61eges cr , PE R , a
< fj eseten
fr ,
fj E R , a
es
59
2.7. Szorzatterek
2.7.2. Lemma
"
P~ I: .' XA.(Z)~.
es
(zEX)
;=0
teljesiil. Ekkor
"
Bizonyft as
Nyilvan felteheto, hogy A; - 0 (i = 0, ... , n) . 8a p(X) = +00 , akkor van
olyan i = 0, ... , n index, hogy peA;) = + 00 . Kiilonben ui . az A := U'=oA; E ,n
Italmazra peA) < + 00 , azaz A", X teljesiil. Vihigos, hogy z E X \ A eselen
L~=o O J' XA ,( X) = 0, ami ellentmond a felteteleknek. Ekkor tehat
Cs Ol 0, := OeM) (Id . 1. 1.). Mi legyen vajon a mertek ezen a q-a lgebfAn ? Az M halmaz e1emein megint csak kezenfekvonek tunik , hogy az A x B
(A E 0" B E ( 2 ) ha1maz merteke legyen
p,(A) p,(8) .
(EmICkeztetiink arra a megalla podasunkra, m iszerint O (+00) := (+00) 0 := 0 .)
p. p(X)
"
= I:
',. ptA,) =.p(X) = +00 .
i=O
2.7.1. Lem ma
M egy X-beli felgyuru .
A fclgy uru axi6mai (Id . 1.3.1. Oefinici6) alapjoin a fenti Lillitas szinte nyilvanv1\16, a fesz lctek meggondollisat az Olvas6ra hagyjuk.
A 2. 1. , ill . a 2.4 . pontban targyalt kiterjesztesi eljaras a lkalmazbatOsagahoz
8zt kcll megmutatnunk, hogy az
M 3 A x B ..... PI(A) p,(B)
lekel)C'.tCs q-add itiv . Ehhez sziik.segiink lesz a kovetkezo (az integralelmelet kert-Lebcn rncglehetCiscn cgyszenive vaM) allitasra. A megfogalmazasahoz vezessiik be
f\ kovclkczo jclo lest : valamdy A C X eseten legyen
(z E A)
(z E X)
(z A)
Cs fJ:5 L~:~
ai '
XA,(X)
:5 (x
.4, 0= A, \
A,
E X) . Vezessiik be a kovetkezojeloleseket:
(i
= I ... n + I) .
0= X \ A, .
P:5 Lo;X..i,(x)$a
; =1
60
0\ {0}
61
(xEY) .
Kovetkezeskeppen
"+,
p. "(X)
jE r
jer
Tetszoleges, a lemmaban szereplo Ai (i E
indexhalmaz
(A E Oy) .)
es minden ilyen
Fs
Tchat
n+l
n+!
; =!
;=!
( ++ )
L ai ' XA on A,(X) S
0"0
(x E Ao) .
;= 1
A'I, (Y, n)" It y ). ter ~~aI6giajara tekintsiik az (Ao, flA o, PAo) mertekteret, es
Illktllmazzuk a7. mdukcLOs feltetelt azokra az A 0 n A-, E 0 AQ (.I = 1, ... , n + I)
Im I mBZokra, amelyekre Ao n Ai #; 0 . (Az el6bb mondott a > 0"
miatt ez
leglll:i,bb cgy i = l , ... ,n+ 1 eseten teljesiil.) Ez az alkalmazas a (:.) becsles
IIlapJatl mcgtehcto, a mibOl (.) mar ad6d ik .
{5 E P(r) : i E 5} jeloJessel
Fs
Ser,
Az elobbiek szerint ehhez mar csak azt kell belatni , hogy minden r 3 i-re
Ai C User. Fs Vegyiik ehhez az i E r , x E Ai elemeket , es definialjuk az
5 C r ha1mazt az alabbi modon:
j ES
Vil<igos, hogy i E 5
tehat
es
:::::>
x E Aj .
X =
"+,
(3 - Cl'o S
r; ::::
A;
"+,
(. )
,= n n A;n(X \A; )
5-re legyen
;eSjeS'
r)
jer
halmazok mellett tekintsiik a
SCf,S',=f\S
reszhalmazait
UU
A; =
Fs =
Fs
ier
ierSe r,
scr
egy paronkent diszj unkl. halmazokb61 all6 felbontasa X-nek , megpedig (nyilvan)
veges sok merheto halmazra.
Ha /3s := Lies 0"; (5
c r)
xs(x) = L
Ps XF. (X):5 a
(x E X) ,
ie r
ier
SE r ,
scr
amibOl a " diszjunkt" esetet figyelembe veve
Ct,"
iEr
62
= La;. L
ier
SEr.
scr ie S
kovetkezik .
A most bebizonyitott lemma segitsegevel igazolni tudjuk a kiterjesztesi teteIck al kalmazhatOsaga szempontjabol alapveto fontossagti 2.7.1. Tetelt, nevezetesen
Igaz a
63
I.e en ctn (x) := 1:;-0 /;(%) (:t e A) , ekkor ct~ merheta (ld ... 3 . 1 .)~
I.ovabbf' ctn(:t) ~ ctn+I(:t) - (n E N) es lim.. ctn(:t) = v(B ) (x E A) . Konnyu
belatni , hogy innen barmely > 0 meJlett
2.7.1. Tetel
Legyen (X , O,JJ) Cs (Y, e, /I) egy-egy mertekt.er
"
u-veges,
= "(A)
kovetkezik . Ha ui .
Bizonyftas
Azt kell behitnunk , hogy ha valamely A, Ai E n, 8, Bi E e (i E N)
halmazokra (A i x B i )n(A j xBj)= 0 (i, jEN, ii-j) es U~o A;xB; =A x B
teijesul , akkor
(Az is kikotheto, hogy a (clsorolt halmazok kozul egyik Bern az ures halmaz.)
U:':o Ai =
Legyen
n 3 en C C n+1 C A
(n EN)
es
A = Un=oCn .
v(8) _,,; ". (x) Xc. (x) = tv(8;) . XA.nc.(X) ,; v(8) (x E C., n EN) ,
A, U :'O 8i = B ,
v(80 .
(n EN) ,
;",,0
es
(v( 8) _
'I,"(C.) '; t
;",,0
LMx) = v(B)
(x E A) .
*=0
Val6ban, ha
i E N mellett (x , y) E Ai x Bi. Ha
U~O Hi = B miatt -
B = Uiez. Bi . Ez egy
becslest kapjuk.
i=O
64
UE N )
. ",,0
65
L v(8,)"I.(A,) S v(O)".(A) ,
; =0
tondo
.. l
I"
egyut - even
I~ I
1-12
L v(O,)".(A,) = v(O)".(A)
i= O
cgyenl5sCget je/cnti.
A v(8) =
+00
Y =
UY
+00
i =O
= 1il""(1,), Aj
"II
, I
(iEN "
..."
.
a veges esetrc mar bebizo-
x (Bjny,
j=O
1-
--+ 00
(i E.1 "
je.1
(i E .1o(A
bizonyitani kellett .
Lcgycnck
adottak, tehat az (X""
O, ,...,
.. .) (," - ,
1 2) m er"",
" ' "k""",rek
..
.
wi az egylk u-veges. Irjunk a 2.7.1. Tete/ben X 0
. ' amelyek ko(Y,e,u) hcJyebe pedig (Xl 0 .. ).t (h 1 ( , ',p) he~yebe (X"Ol,pd-et,
J/
'
' 2, ,...2
a p . P2 a-veges) es alka1ma
k 21
;tI:h~I~~i~~~I~~::. ~:!::I: k~ter~esz~~i c/jarast az emlitc~t tetelben ::~re;o . ~
ka punk 0 1 02- n, amelyr;e menye eppcn egy olyan PI P2-vel j elolt merteket
(iE.1\.1o(A "
. .
IgllZ .
II
i E :I
esete:n
.,({ ,,(i) E X, , ,, E A
ie.1o(A)
OJ
- &mennyl en
akkor
a
271
T"telb
I"
h
.
.
.
.
e J !p alma.z(uggveny IS
,
. .. e
66
Bizonyftas
fi .... )
...
a)A jp,(B)I = lp(B\A)+p(A)I<+OO becsles is a2.8.1. De m CIOl pon]
Legyen (X, il) e.gy merheta tel. I-l : n -- R pedig e.gy iekcpezes. Az eddig
vizsgait I1lcrlekck is mind ilyen tipusu fiiggvenyek voltak, azzal a megszoritassal,
hogy JJ nemncgativitlisat is cleve fcltcleleztiik . Szamos kerdesben ez a feltetelezes
lIeln ja.tszik igazan Mnyeges 8Zerepet, szinte negy az egyben" el is hagyhato. Ebben
IL pontban end a kerdesk(irrei foglalkozunk roviden, legfontosabb eredmenykent
IIlcgmutatva, hogy minden e15jeies mertek felirhatO klH mertek kiilonbsegekent.
2.8.l. Definfci6
A fcnti p lekepezest ei3jeies mene'hlck nevezzuk , ha
(p(A.) < 0)
(n E N) .
(p(A.) ~ 0)
I P:> A+
Un =O"
Ekkor
U00
_.A n
,,-
I!OI'
A- C
Un=O"
UOO
A"
,,::0
is a) miatt
;;) p(0) = 0;
iii) p IT-additiv.
Tehat
A ncmncgativita.s helyett lehat GSupan annyi megkates! tesziink , bogy a p lekepe-%61 a -00 es a +00 kOzul legfeljebb az egyiket vehesse fel helyettesitesi ertekkent .
Ad mondjuk tovabba, hogy a p elojeles mertCk vlge$, ha Ip(X)1 < +00 , ill .
" - vlgu, ha megadhat6 paronkent diszjunkt A" En (n E N) halmazoknak egy
olyan soroza.ta, hogy X = l.f.:"'=o A" is Ip(A,,)1 < +00 (n E N) .
Az cls& alHtcisban a mertekekkel kapcaolatban mar j6l ismert nehany alapvetO
t ulajdonsagot bizonyitunk be elojeles mertekekre, nevezetesen (az eddigijeloliseket
megtartva) igaz a
2.8.1. Tetel
8) Ha A, B En, A c B is Ip(B)1< +00, akkor Ip(A)1 < +00 .
b) Legyenek az A" E
n=O
Ip(A.)1 =
(p(A;:) - p(A; =
"",0
n= O
(1 S nE N) .
kovetkezik .
A 2 0 bizonyitasahoz halnnaijuk fel ax a}beli becslest:
(N 3 n ~ N) .
h.
A.. , B" E n, A" C A,,+1. B,,+1 C B"
(n E N)
N EN indexre lp(BN)1 < + 00, akkor
es valamilyen
p
p(U:oA.) =lim,.p(A,,);
2 p(n:oB.) = lim,.p(B,,) .
68
69
II.lapjfi u
,(I)N \
A liN \ 8 n
miszerini
(N :3
11
,,= 0
n= O
P(BN ) - p(
B,,)
=p(
n=N
(BN \ B,,))
,,=N
<
+00
A ~ .8 . pont
A " negatlv halmazokbOl" i llo J,f rendszer t:r-gyllrll , azaz birmciy ki t elcmevcl
egyiitt azok kiilonbseget is, tovabba megszamlalhat6 sok elemevcl cgy litt azok
egycsiteset is tartalmazza. Val6ban , ha A , BEN , akkor tctszoleges D E 0
halmazra
pA \ B ) n D) = p(A n (D \ B )) SO,
"
Ua az An E N
(n E N) halmazok paronkent diujunktak, akkor
LJ:=o(An n D) az elobbi D halmaznak egy diszjunkt, O-bcli halmazokra va16 felbontasa, ezert
ro ietele a kovetkezo
az elo'eles "
.
rcl bontikla szempontjabol ala t ~ ~ ,
~.
meriekek korabban ma r emJitetL
pve o.ontossagu Hahn-fele tete!.
ha imazo k, amclyckkel az
aiabblak teljeslilnck :
i) X+ n X-
= 0,
=::
x+ U X - .
X~ ,
An
x-
pA"
n D)) SO ,
n =O
U::'=o
azaz
An EN . Innen a "szok8.s0s" t&hnikaval kapjuk az analog a.llitast a
paronkenti diszjunktivitas felt.etele nelklil is. 811. ui . A, B EN , akkor
U A,,) n D) = L
n= O
,,-,
E O Cs
Bo :=Ao , Bn :=An \
U A~ EN, B~ n Bj = 0
(k#j ) ( l S k ,jE N) ,
,1,=0
kovetkeziskeppen
~
UA" = UB,, EN ,
:= X -et valasztva
n= O
n=O
ko vctkczik.
p ,= inf{p (A) ,A E N)
Bizony[tas
-00
< fleA) s
+ 00 .
Legyen
-00
~ 'R./J
Cs An EN
~(An) .
Ha
, azaz
N ,= {A E {Lp(AnB) S 0 (B En)) .
Spcci;ilisan, 0 E N
- . d
es mm cn A EN halmazra
peA) = p(A n X) S o.
70
71
At X -
= An
..
' I I ' - h ., . E r f' nX - = 0 JJ(Fo) < O . MindezekbOl az kovetkezOI!8'lelog a va "" a . ro IV . 0 '
(
- )
(X - ) - (J
ne, hogy Fo U X - E '" , valamint JJ(Fo U X - ) = JJ(Fo) + JJ X
< JJ
-,
a mi nyilvan nem lehet .
;=
-00 f. R.,.
,ezert
-00 < (J
:s 0 .)
te!jesul. Ekkor Eo
. . Ib
1- X+ . X- halmazokra
<0
f.}/ , kiilonben
X+ , X-
ha
t, , "(E)"
1/.)
es
l' i).
iII. legyen (') 3 El C Eo olyan balmaz, amelyre p(EI) ~ 1/1:1 . Thdjuk, bogy
- 00 < p(Eo) < 0, ezert a 2.8. 1. Tetel a) pontja a lapjan peEd < +00, igy
teljesul.
U Ej,
(n E N ) halmazsorozathoz jutunk,
p(En+d ~ l / le n +l ,
j:1
(n E N) .
;=1
En C Eo hi Ip(Eo)1 < +00 , ezert a 2.8.1. Tetel miatt
L::=I peE,,) < +00, azaz lim.. peEn) = a . igy lim,. I /len = O.
2.8.2. Definfci6
Mivel
cr-algebran az
LJ:=I
+ JJ-
a JJ (ioltiii&) variticioja.
00
72
a)
.+(A) = ,"p(.(8) , 8 E 0 , 8 C A) ;
b)
Valaban , ha
n3
+ .(8 n X-)
$ . (8
n X+)
= .+(8) $ .+(A)
3, Integral
Ebben a fcjezetbe n cgy (X , n , {I) mcrlekter eseten az X -en ertelmezett
bizonyos f : X -- R fiiggvenyek kon!ben szeretnt!nk " az f fii ggveny p merlck szerinti J f dp integraljat" ertelmezni _ Az integral-fogalom felepitese soran
ll.iesz ~rigycs gondolatmenetet kovetve - az ebbol a szempontbOl igen egyszeru
fuggve nyekbOl, az un , lepc.sOs fuggvenyekbOl indulunk ki. Ezek integraljat meglehelOsen tcrmeszelcs modon, az elemi geometriai szemleJetnek megfelel&en definialjuk .
A lcpc.sOs fuggvenyek halmazat fokozatosan bovitjiik az intcgralhato fiiggvenyek
osztalyava, mindig szem elott tartva azt a kivanalmat , hogy ez az osztaly - Ieheloteg minel kevesebb plusz felltile l mellett - "zart" legyen a fiiggvenyso rozatok
ponton kenti konvergencia.jti.ra nezve .
A bevezeto mondatban emlitctt " bizonyos fiiggvenyek " ki t.etel - mint latni
fogjuk - a szoban forgo lekepezesek merhet&Cget fogjaje lenteni . Az I. fejezetben
mar toviden eri ntettiik ext a fogalmat (Id _ 2.6.) . A lovabbiakban - az integral
elokeszitese szempontj ti.bOl - a merheto fuggv cnyek egy specialis osztalyara lesz
sziiksegiink , ezek az un . Borcl-merheto fuggvcnyek. A 3.1. pontban ezekkel foglalkozunk , roviden Osszefoglalva a legsziiksegcsebb fogalmakat es teteleket .
(az R -beli muveleteket cs rendezest a szokasos modon kilerjeszt ve R -ra) tis nevezziink egy A C R halmazt kib6viteU i rtclemben Borcl-mirhd6nek, ha valamilyen
B C R Borel-merheto halrn azzal B C A Cs (A \ B) n R = 0 . Vilagos , hogy
minden Borel-merheto halmaz kibOvitett ertelemben is Borel-merheto, tovabba a
{-oo}, {+oo} , {-oo, +oo } halmazok is ilyenek. A kibOvitcttertelemben Borel-merheto halmazok rendsze re is egy (R -beli) O"-algebra. Ennek a tr-algebranak minden
elemc D ue alaku , ahol D E 0 (1) tis C E {0 , {-oo}, {+oo}, {-oo, +oo}} . A tovabbiakban Borei-ha/mazon kibovitett ertelemben Borel-merheta halmazt fogunk
erlcni .
Legyen X:f 0, (X, O) pedigegy merhcto ter (ld . 2.5.1. Defini cio). A tovabbi
fejezetekben azok az f : X
R fiiggvcnyek jlitsszak a fOszerepet , amelyek
--0
74
75
n . Tovabbi
( +00) =
n In, +00),
{-oo} =
"=0
n<R \I-n,+ooJ) E ii ,
n= O
Megjegyzese k
Ha pI. N 3 P ~ 1, X := R P, n := Op es I : X -t R egy folyton06
fiiggveny, akkor minden a E R mellet.t {z E X: / (z ) :::: a} '1..art,
azaz (ld. 2.6.1. Tetel) {z E X : I {z) :::: o} Borel-halmaz. Tehat I
Borcl-merheto.
2 Legycn X I- 0, E { ::::,>,~,<,= . I-} es I ,g : X -+ R egy-egy
lekepczE:s. Vezessiik be az alabbj jelOlest:
]0
xy{z)
:=
(x E Y)
(x
(x E X ) ,
~
Y)
3.1.1. Tetel
Az / : X ..... R fiiggveny akkor is csak akkor merheto, ha barmely
a E R eseten
{x E X 0 I(x) ~ a} Efl.
n= 1
I merhd5seget
r'
n= 1
egyenl6sCgekbOl.
3 Ha az elObbi megjegyzesben
p,
Val6ban ,
(f < 9) , (f ~ g) , (f = 9) , (f ;' 9) E n .
ii 0= n({(a, +00) E P (R ) 0a E R }) .
Megmutatjuk, hogy
cr,p E R eseten a ~
~rep lo
" Q
77
II g } = I1 ~., } n ll ~ g ). II h ) = X \ II = gj
a lavjan
'
" es a d-algebra axiom"i (Id I I I
' .~ a ll itas a 2 mC&lCGYZC8
I) c nuclO) m ialt. ny ilvallvai6 .
. ...
"
4" 1\ rCll ti ( X , O) mcrhcto ler csetcn Ie en Y
n
halrlla1. , 3mclyre P (Y) e nter "] (gy
E
~gy olyan merhet.O
mer/lcto). lI a az f . X
R r" Jesu, azaz az Y mmden reszhalm aza
uggvenyre f ez) - 0 ( EX \ Y) .
.
--akkor f mcrhet5. Teki ntsun k ui . cgy A c R 80
- reI- h ax, mazt, ekko rIgaz ,
r'[Aj
A fcltetclck s;,;erint
, t
11 = O} = (X
Ezcrt (.chat 1 + g, I - II IlIcrhel5sCge koziil clegendo pI. azt belii tni , hogy
f + 9 mcrheta, ami a t cJa bb mondottak Cs {f + 9 ~ o} = {f ~ ( 1 - g} (a E R)
lniaU t rivialis.
Az I 9 merhet6seget illet8en tegyiik,.IeI els8 csetkent , hogy
barmely 0 $; 0 E R eseten az
o> 0
E R eseten pedig az
I-re es
.
rnCrilf'tOseg kapC80lata t vizSg.ilju~ Eln~~ , ozott vegze ~t bJ zonyos muvcletek Cs a
v~l1yck ko rebol az a lapmuveletek ,; SO em mcgn.J~taLJ uk , hogy a merhct8 fiigg.
nem vezet nck kI , ncvezelescn igaz a
3. 1.2. T etel
Az eddigi jeioleseket megt art va legyenek f
k Ekk
f
, .q : X -- R merheto fiiggvc..
nye.
o r +g , / - g, I ' g is rnerhetofiiJ gvenyck.
9-rc
I 9 fi.iggveny merhet.5sege.
9 . Ekko r
\ Y)U V .
igy
1=
M e gjegyzesek
1" Ha I , 9 : X __ R merheta fiiggvenyek es 1 +9 : X -- R (azaz barmcly
% E X
mellett a -ben elvegezheto az I (x) + g(% ) i:isszea.das) , akkor
f + 9 is merhetO. Analog allit as igaz az f - 9 fiiggv enyre is, feltetelezve,
hogy l - g : X-o R .
2" .Az clobbi megjegyzes szcllemeben legyen (oo) 0 := O (oo) := 0,
akkor tctszolegcs merheto 1,9 : X -- R fiiggvenyek eseten f g is
merheto.
Mutassuk most meg, hogy az anaHzis egyik legala.pvelabb fogalma, a ha ta rert.ek Cs a merhet.r5seg " OsszeferhetO" fogalmak , azaz a limesz-operator alkalmazasa
nem rontja el egy merheta fiiggvenyekbo] allo konvergens sorozat ha ta rfiiggvenye.
lick a merhet&eget . Sot, igaz a
Bizon yitas
0' + {J. I
78
merheta.
3.1.3. Tete!
(n E N ) fiiggve nyek valamennyien
fiiggvenyek is merheta k.
79
Bizonyrtas
Az el5zOek alapjan a bizonyitas mar roppant egyszeru. Ha ui.
(r
Ui. a sz6ban forg6 halmaz nern. mas, mint awn x E X elemek halmaza,
a melyekre lim SUPn I .. (z)
lim inf .. f .. (:r:) , Igy alkalmazhat6 a 3.1.3.
Tetel es a 3.1.1. Tetel bizonyitAsa lltan lett 3 megjegyzes.
E R , akkor
n{f. S o} .
00
I.upf. So) =
n
n=O
ahol mindcn n E N mellet.t. {In ':S cr} Borel-merheta, ezert ezeknek a halmazoknak a metszete is az . Tehat (Id . 3.Ll . Tetel, ill . a bizonyit.a.sa utan tett
2 rncltiegyzes) SUPn In is merheta.
Az inf.. I .. merhet&ege hasonloan kaphato, de pl . az inf.. In = -sup .. (-I.. )
cgyenlasegbOl is kovetke1,ik az el5bbi es a 3.1.2. Tet.el alapjan .
Vcgul
lim sup In = inC sup
..
.. ~ m
..
..!Sm
Megjegyzesek
..
X 3. ~ .up{f(.}
n :=
, azaz
nem merheto, dc
III
I .. : X
00
X ...
,= U llf; - fl ~ 11k}.
j:= n
j \ ", igy definialt halmazok valalllennyien f2..bml vallnak (ld . 3.1.1. Tete! es a 3.1.3.
n:'",o
< t.
J.I(X \ Xc)
Bizonyitas
ii)
--t
80
En .
es
(N 3;
Lcgyen tehat
00
X n +1k C Xn.t
Xc :=X\
U Xn .t .
t=1
81
n. ).
3.2.1. Definki6
Egy I : X -- R ruggvenyt IipclJolJ liiggvenynek nevezunk , ha van
olyan 0:f:. 0 0 C 0 veges halmaz , hogy alkalmas OA E R (A E ( 0 )
egylitthatOkkal
.(X IX.) $
'Ibvlibbli tctszoleges
(0 < k E N) indexre
nt
?lJ
Megjegyzesek
ll' Talan nem felesleges kiilon is felhivni a figyelmct ana, hogy a I-' merlck vegesseget a 2.1.2. T etel alkalmazasakor hasznaltuk ki . A kovetkezo
-0
{J ~ y}En
Cs 1 =
LE'R J
y. XU : ,}
Megjegyzes
A)
Fs ,~ n
(A n(XoIB)).
Ae58en o\5
1= E
sen.
~'clteheto, hogy S, P C Oo , S 'f P eseten fls #;. fJp , kulonben ui .
cgycsitsli k az S, P halmazokat. Igy val6ban a kivant kanonikus alakhoz
j utunk .
A fcjcl,ct bcvczctesebcn kituzotl programnak megfelel6en elOszor Icpcsos fiiggv,"Jlyck intcgraljat fogjuk ertehnezni . Mivcl csak merheto fii ggvenyekkel foglalkownk, ('l,crt a lcpcsOs fii ggvellyck dcfinici6j.iban a merhct.6seget cleve feJtctelezziik,
iKY II " wCrhcto" jclzot az elncvczcsbcn kii lon nem is tu nte!.juk fel.
Lcgycn teiJa!. adoU egy
dcfi nici6t:
(X, 0)
A lepc.s5s fiiggvenyek 06ztalya olyan vektorhal6 R feletl , amely zart a szorI1 CZVC is, azaz igaz a
I.MCII.
82
83
3.2.2. Htel
3.2.1. nlel
TelS1.0lcgcs
Barmely 1,9 E Lt es
I . 9 E Lo n E R esete n az
~ 0 eset en
BizonYltas
Mivel az i) aJlitas meglehet5sen trivialis , ezert csak a tobbinek a bizonyitasat
A tovibbiak erdekehco tetelezziik fel , bogy a.z el6bbi (X 10) merheto tet
mellett ada tt egy JJ
mertek is az n
v-algebran
es legyen
reszletezziik.
A ii)-t iIlel5en indulj unk ki az X nyiivan paronkenl diszjunkt, merheta
halmazok uniojara torten8 alabbi felbonta.sabOl:
U {g = y) .
x =
VE"R.
Lt
81.
Egy
.({J=z)n{g = y}) ,
vE"R.
JId.=
(.)
.{{J =z})= E
amibOl
3.2.2. Definfci6
z . ({J = z) n {g=y))
rE"R J we"R.
8zerinti ) in t egr6.fjein. az
sagu
A kovetkezo tetelben a most defini3.1t integral-fogalom legfontosabb tulajdonsagait (linea rilas es monotonitas) soroljuk fel.
84
..
Jgd. =
( )
y.({J = z) n {g=y}) .
,e "R. re"RJ
JId.+ Jgd.=
",E"R , WER.
Ugyanakkor
x = U
U {J=z)n{g = y)
1+9 =
L: L
(z + y) . XtJ="'lnt'=~} ,
.,e"RJ WeRt
85
amibOl
jU +9) d" = L
~e'Rl
L(r+y)"(U=r)n{g=y) ,
we'R.
({h = y) E 1i (y En,))
"
A iii) allitashoz eleg mat aak annyit megjegyezni , hogy f :5 9 eaewn minden
olyan % E 'Il" y E 'Il, mellett, ~melyekre {f = x} n {g = y} "# " ,egyuttal
z :5 y is igaz. Innen (.) es (n) a lapjan iii) mar nyilvanvalo .
3.2.3. Tetel
Megjegyzesek
1=
O'A'XA
! 9dlJ :5S~P!
Aeno
In
Lt,
fliggvenyre
IndlJ
/dIJ =
O'A.XAdIJ =
Aeno
QAp(A)
(QA
~O, A E no) .
Bizonyftas
Aeno
2 Tegyiik fel, hogy (X,n,p)-t egy X-beli 9 gyiiriin ertelmezeU kvazimertek kiterjesztese reven kaptuk (Id. 2.4.1. Tetel) es legyen A E n,
II(A) < +00 . Ekkor a 2.5. pont vegen tett 8 0 megjegyzes szerint minden
c > 0 szamhoz van olyan B E {; , hogy az
0
g=
"""
! IndP ~(): !
XA.6.B dp
= IJ(A.6.B) < c .
IXA - XBldlJ=
IXA -
86
dl1 .
gd/! =
QA' IJ(A)
AeOo
=li~
L:
all'
IJ(A n B,,) =
li~ /g . XB .. dIJ
AeOo
kiivctkezik. Tehat
oer
g XIJ..
SOt, ha 9 = 9(1i) ,ahol 'H. cgy X-beli felgyiirii (Id . 1.3.1. Tetel) ,
akkor az clubbi 8 felbonl.hatO veges sok, paron kent diszj unkt 'H.-bell
1/., (r E I' ) ha lmaz cgycsitesere: B = U-yef' H-y . Ekkor tehat
(QA~O,AEno).
OA'XA
s~P
\
\
Indl1
g.xn .. dIJ =
o.!
gdIJ
Tc kintvc, hogy a E [0, I) tctsr.olegcs volt, e"lert innen a tetel AIlitasa mar nyilvfulval6 .
87
) 3.1.
Megjegyzesek
s~p
JIn
dlJ =
li~
JIn
Definrci6
I dlJ := li!n
In ::;
s~p
JIn
In dlJ .
gm dlJ ::;
dlJ .
2 0 Ha az In ,gn E Lt
(n E N ) ftiggvcnyekre
(n E N) tis Supn In = supngn igaz, akkor
In E Lt (n E N) mo nolon novekedo
I(z) = li m.. In(z) (:t E X, akkor legyen
L+
3.3.1. Htel
dlJ
becslt!sbol a
Iii)
fordit~tt
3.3. Az L + fiiggvenyoszta ly
I ::; 9 ==>
J I dlJ ::; J9 dp .
III/onylt.,
A't i) Cs a ii ) i llitisok bizonyitasat az Olva.sOra hizzuk. A iii) igazolasahoz
1.'101'11 I n E Lt
(n E N) , ill. gn E Lt
(n E N ) az I-et, ill a
f I ,,18ftllito mo noton novekedo ftiggvenY80rozat . Ekkor minden
I".
= su p" gn
mEN mellett
f ' X-lo,+=1
1\ ,
rI
fill
88
89
1\ kovelkezQ tetel
arncly uyugodLau nCVCZllclo az integra lcJ mclet cgyik
lctclenck - azt mutntja, llogy a fcnti kcrdesrc a valasz tagad6 azaz az
fii ggvcnY06ztaly zart a (pontonkcnti) monoton konvergenciara ne~ve.
f = lim",
11m
Megjegyzesek
1:= lim In
"
(n EN) sorozatra
= sup In E L+
Bizoflyftas
lIa mar tudnank azt, hogy I E L+ , akkot az cl5z5 tetel alapjan minden
li E N termeszetcs szamra J In dll ~ J I dll , azaz
fd" w = f(w).
lIa ui. 9 E
Lci , akkor
gd"w =
JI
dl-/ = Ii,?'
Vn dll
~ sup
JIn
x "w({g = x})
zER.
dl-/ ,
N 3
Tn .......
Vmn
Lci
sorozaltal
Vm
In =
:= max{vmn: n
= D, ... ,m}
(m EN).
3 Ha
s:
LeS-t'en ui. n E N es
In nen az ad6dik, hogy
1= limJn
(k > n)
:::; limv m ,
"
(k E N ) ,
(k
90
91
n)
cHor I" E J
,t til nil. (/.. ) so roza ~ mono ton )lovekeda m&lon tar~
I Mhez . 'felu!.t va16ban igllz , hogy I E L+ , ill . I = L~=o/(1I) Xl"l
Ilinen a Bel)pO Levi-lete! soro kra vonatkozO renl; a lakjab61
f d" =
f;.!
f;.
f(n) o"
Megjegyzesek
I : X ...... [0,+00) merheto
fiiggveny korla tos, akkor van olyan I" E Lt
(11 E N) moootoo
nov~kedo lepcsOs fuggve nysorozat , a mely egyenletesen tart I-bez .
kOvctkczik .
SCI
Ennek a po n ~nak a berejezesekeppen mulassuk meg, hogy az L+ riiggvenyOfJzlaly " kime ri~ i" a merheta es nemnegativ fiiggvenyek kore~, azaz igaz a
L + -nak , ha
3.3.3. Hlel
Az I : X ...... {O, +00] fiiggveny akkor
. merheta.
I :X
SC,Eo n l
I = XA
n Ot -bel i,
BizonYltas
Nyi lvan mar csak a tetel eMgsegcsseg reszet kell igazolni. Tegyiik fel leha t ,
hogy a szoban fo rgo fiiggve ny merheta es valamely n E N mellett legyen
A;"
SCI
USCI. ,
n:=O
{J ~ n)
Az Ai" (i = 0, ... , 11 2") halmazok valamennyien O- ban vannak
diszjunktak : Ai" n Aj" = 0 (i 1:- j , i,j = 0 , ... , n 2n) . Da
es
paron kent
n 0 1
mar nyilvanva16.
B 2-
1" :=
iT" XA._
(11 E N ),
i =O
aHor In E Lt es In
las , nevezetesen % E Ai"
2; 2- "-'
In+I(%) =
~ j 2- "
= I"(x) .
(% E A 2;+I"+d
2:: 11 .
Azt kell mar csak bela tnunk , hogy lim.. I" = I . Ez viszont kovetkezik abb61,
hogy tetszoleges x E X escten In(x) = 11 (n E N ), ha I(x) = +00, ill .
11
EN
es
I (x) < n .
92
+ 2-" ,
eloirassal. J avasolj uk az Olvas6nak , hogy az L + fiiggvenYOBztaly elemeinek az integniHsaval kapcsolatos teteleket gondolja at ebben a szellemben.
Az SG, szubgrafnak igen szemIelctes geometriai tarta1ma van pI. az
X := [a, bJ (a, bE R , a < b) eset ben, amikor a az [a, b)-beli Lebesguemerheto halmazok u-algebraja, I-' pedig a 1-'1 Lebesgue-mert ek O-ra
93
11
II I (Sa J)
11 CIll
3.4.1. T etel
Legyen adott egy
:= max (f, O) ,
es
bi kitcrjesz tese, kii lonOsen, ha az integral linearitasat (mint minima lis kovetelIIlcnyt) is figye lembe vessziik .
a)
b)
J+, r E L ;
alkalmas g,hE L , g ;::: O, h ;::: O fUggvcnyekkel I = g - h ;
c)
d)
III E L
E L
J+ ,r
8)
3,4.1. Definfci6
/l. zt mondj uk, hogy az I: X __ R merheta. fiiggvenynek van in /egrtilja , ha a.z I f + dp , I f - dp integralok koz; iil legalabb az egyi k veges
+(0). Ez ut6bbi esetben legyen
III ~ G ;
Bizonyftas
Mivel
:=
1-
valasztissal nyilvanval6.
f = g - h :S g ~ g + h , - f = h - g ~ h ~ g + h ,
rur.8.Z If I ::; 9 + h . A b )-beli feltetelek es a 3.3.1. Tcte]lIliatt a G := 9 + h E L
ftiggvcny nyilvan teijesiti a c)-ben Illondottakat.
L( p) := {! : X - R :
Jf
94
J E L + es J:i:
I :i: E L
G dp < +00,
\1\ E L '
1/ \ E L
f
miatt
az integral monotonitasa.
d" E R ) .
Ii a lie," okoz feireertest , a kkor egyszeruen csak az L szim b61umot fogjuk haszna lni
I.. (p) hclyctt . Az elobbiek szerint lehat egy I : X -- R fiiggveny pont05an akkor
clcmc L-nek, ha I merheto Cs f J+ dp , r dp. E R . A kovetkezo tetelhen
j lll dP :S
If I E L+, ezert
I :i: dp.. S
If l dp < +00
95
Megjegyzesek
e~
J J J
IdJ.l=
gdJ.l -
hdJ.l
JoT :: L lIi'XB;
J+ +h .
G(.)
,= , up{lttz)I' z E X)
(. E X )
utasftasnak megfelel5en .
fi.i~enyoszta:Jy i~ rendelkez.ik az integral legfontosabb tulajdonsaga.bl.zonyOS megszontAsokkal - igaz a 3.3. 1. Tetel megfeielOje 3.1. L-ber
fij~ellyekre IS. (~mJekeztetiink arra, hogy a konibbi megallapodasullkll~
~
feleloen tovabbra IS Jegyen {oo)o:= O. (oo):= O.}
meg
. ,azaz
3.4.2. Tetel
Legyen I , g
oT, (J oT)- =
L,
E R . Ekkor
c)
J(f + 9)d. = J / d.
max{j,g}, min{j, g} e L ;
d)
e)
IJId.IS J lfld .
es
+ J 9 d,,;
oT
Bizonyrtiis
Az a ) aJlftAs egys1.enien kovetkezik a 3.3.1. T etelbOl
eseten
ami bOl (ld . 3. 1.1. Tetel) az l oT fiiggv eny merhet&ege - tebat jelen
esetben l oT E L+(/-I) - valaban kovetkezik. Megmutatjuk, hogy igaz
a b )-ben szerepla egyenlaseg. Az L+ (/-I) fiiggv enyosztaly definici6jat
figyelembe veve (Id . a 3.3. pontot tis a 3.3. 1. Definiciot) elegenda minded
I E Lt(P) eseten igazolni. Legyen ehhez 1 = Ei Yi' XA; , ahol " Ei "
96
(JoT)+ = r
n-
ivai A,z L_
a) I E L(i<)
l oTE L(.);
b) I E L(i<)= ffd;. = JloTd.
~ Lt(ll)
i-re y . > 0 A E
- , j
3" Legyen (X,O,J.lj mertekter ,~ (X,r.l) merheta ter (Id . 2.5.1. Definicia), T : X -- X pedig (O,O)-merheta lekepezes (Id. a 2.6.1. Lemma
elatt mondottakat) . Ha p jeioii a J.I mertek Taltal ietesitett kepet
(ld . 2.6.), akkor barmeiy I : X - R Borel-merheta fUggvenyre
Ha ui . az 1= 1+ -
<0
~~
t:l:I
meJlett
97
abMI I
, lOgy
Q ~
3.4.2. Definki6
amibol a 3.4.1. Tetel es ismet csak a 3.3.1. Tetel a1apjan I+ gEL kovetkezik .
Az utobb idezett tetelekbol es az el8z8 I" megjegyzesbOl az is adodik , hogy
=! l +dP + !
= (J
r dp - J r dp)+ (J g+ dp - J g- dp) = J
Megjegyzesek
1" Ha nem o koz felreertest , akkor a " majdnem mindeniitt" kifejezest fogjuk hasznalni . Az~ a tenyt , hogy "T p-majdnem mindeniitt igaz" a
"T p-m.m ." szimb6iununal - vagy "T m.m ." -mel - fogjuk jeioini . Peidaul , ha I es 9 a 3.4 .2. Defin ici6 elott em litett ket fiiggveny , akkor
" I = 9 p-m.m." azt jelenti , hogy egy alka1mas A E 0 , jj(A ) = 0
halmazzal I(x) = g(x) (x E X \ A) .
2" Kiilon is felhivjuk a figyelmet ana, hogy a " T Jl-m.m . igaz" alHta.s nem
azt jelenti , hogy jj( {T
h}) 0 . EtOfordu lhat ui ., hogy {T h} ft 0 !
Csupan annyit mondhatunk, hogy valamely A E 0 (jj(A) = 0) halmaz
tartalmazza {T = h }-t: {T = h} C A . Ha a II mertek a 2.5 .1. Defi nici6
ertelmeben teljes is T p- m.m. igaz, akkor persze {T = h} E 0 es
f dp + J 9 dp .
Mivd I max{J,g}1, I min{/,gll ::; II I + Igl , ezert b ) es a 3.4 .1. Tetel szerinl c) is
19az.
Ha I < 9 , akkor nyilvan
idczcu 3.3.1. Tetel a lapjan
r : ; g+ , g- ::; r
= =
g- dll =
gdp .
p({T =h= O.
fdp ~ J
3.4.3. Htel
lfldp ,
a ) Barmeiy IE L + eseten
azaz c) is lcljcsiil .
Idll =O
Az L fii ggvcnyoszlaly tovabbi vizsgalala elott vezessiik be az a[;ibbi fogalmat. Ezzcl cgy uttal az integralelmelet egy jellemzo aspektusara is nivilagitunk,
tlCVC7.ctcscn arra, hogy a tovabbiakban nem az eddig "megszokolt" L-beli fiiggvcnyek , llanclII egy bizonyos ekvivalencia-relacio altai mcghatarozott (fiiggveny)
ckviwdcl1cia-osztalyok jatsszak majd a fOszerepet. Mas szoval kel L-beli fiiggven y
kozott I1cm fogunk kii lonbseget tenni , ha az emlitett [ehicio szerint ek vivalensek.
cactcn cI tudjuk dontcni , hogy a T tulajdonsag x- re igaz vagy sem. R.O~id en:
IIdo t,t egy T : X __ {i, I. } logikai fi.iggvcny , ahol x EXes T ( x ) = l azt
jclcl1 ti , hogy 'J' tcljcsiil x-re, T(x) = h pedig azt , hogy T nem teljesiil x- r..:.:.
Pcld:iul cgy gyak ran clofordul6 ilyen tulajdonsag a kovetkezo: adot l I , g : X -- R
fi iggvcnyck esctcn 'I'(x) jelentse azt , hogy az :t E X pontban I(x) = g( x).
Tclnit a 1Il0ndott l>Cld<i.ban T(x)
i , ha I(x ) = g( x ) es T(x)
h , ha
!(x)
to ,(x) .
/l-m.m.
Bizonyitas
a) Legyen A:= {J :f:. OJ, An:= {J ?: li n}
(0 < n E N ) . Az
Ir,crhetosege m iatt a most definialt halmazok valamennyien O-ban vannak
(Id 3. Lt. Tetel) , An C An+ l
(0 < n E N ) es U ;:"=l An = A , ezert
(Id 2. 1.2. Tetel) jj(A ) = lim"Jl(A n ) . Az An halmaz ertelmezeset figyelemI.. vcvc barmely pozitiv N 3 n-re I ?:
XA azaz
98
1 =0 p-m.m.
::::>
99
Megjegyzes
=0 .
Fordftva, ha "(A) = 0 I ._
f"
, n ,- n XA
(n E N) akkor
In
E Lt
\ A -- R
eo<;
{(X \ A) n B E PIX) , B E OJ
I I"dP=n.p(A)
=0
(n E N ).
/
igal'.. M i vcl
f ::::; 9
miatt 0
9d~= s~p /
< II d
-
#'5.
/"dt' =
:= SUPn
In
fliggvenyre
u-algebra ra nezve (Id . 1.1.). (Tehit barmely Borel-halmaz I altalletesitett &kepe (X \ A)-nak egy O-beli reszhaJmaza.) Definialjuk ezek utan
az j: X _ R ruggvcnyt a kovetkezokeppen :
_
I (x)
,=
{/ (r)
(xEX\A)
(x E A)
J+-- g +, 1-
== 9 - .u-m.m .
3"
i gy
!=/-XA+!'XB , g = gXA+g"XB.
TovabM (Jd. 3.3.1 . Tetel)
es
f.
9'X8dJ,l ,
Az integral es a fiiggvenysorozatok konvergenciaja kozotti kapcsola tra vonatkozO (alap-)tetel elokeszitese szempontjab6l - de onmagaban is - rontos es erdekes
;illitas a
/ fdp= / jXAdp.+
3. 4 .4 . T etel (Fatou-Iemma)
!XBdp.= / gdlJ.
Q.
tniat t p(A)
== O .
Q.
+oo}, ekkor A E 0
XA
s: III azaz
100
(n E N ) fuggvenysorozatra
lim
{III =
SZd.l llmaJ
i) Birmely fn E L+
8~P
In dp
101
:5
lim
s~p In dp .
Megjegyzesek
Bizonyftas
1:== lim
inf I"
"
Legyenek adottak az An E 0
(n E N) halmazok is alkalmazzuk a
Fatou-lemma i) reszet az In: = XA. (n E N) fiiggvenyekre . Ekkor
lim inf In
n
== sup inf 1m =
n m;:::"
Xlim ill'.
A. ,
ahol
9,,:= inf 1m
m;:::n
(n E N ),
az An
tehat
/ IdJl
"
=IiTfl /9ndp...
"
legyen
nU
"=Om=,,
00
9n
becsles alapjan
n E N mellett
s: 1m
(N :;I m
lim sup An :=
2: n)
"
9 .. dJ':5 m;:::n
inf
limdJl,
i~f /
( A,,)
I .. dp, ,
Jim sup Jl(An)
"
(n E N ) ,
1,, )dIJ
== / FdIJ-
i~f(/ FdIJ -
/ In dIJ)
0 :5
F _
/lilll s~p/"dl-'
=/
:5 lim
FdIJ - lim
i~f /
s~p /
In
E L+
(n E N) ,
3" Legy," X
,=
lim
s~p /
I" dJl
=I > /
lim
s~p In d/~ = 0 .
(F- In ) dIJ =
I ndlJ.
Tehat ebben az esetben nem teljesii l a Fatou-lemma ii) reszcben megfogalmazott a llftas. Ko nnyii meggondolni, hogy nem is letezik oJyan F E L
fiiggvcny , amely " tudna" azt, ami t a z em litett ii) all itasban feltet elkent
szabtunk . Ui.
102
Am
amibOJ
00
"
ILZIL~
p(
(n E N) ,akkor
lim sup An = 0 ,
bec.slest .
A valOsl.iniisegszamitas nyelven megfogalmazva tehat a Borel--Gantellilemmajelentese a kovetkezo. Legyen p(X) = I (azaz (X,O,p) egy
vtJltiszinti.!igi mirtiHir) , An EO (n E N) fiiggetlen escminyck egy
sorozata. Az An esemeny bckovelkczisind a val6uinl1sige a p(An)
nemnegativ szam. Enel a terminol6giaval elve peA) annak a valOszinusege, hogy az An-ek koziil vegtelen sok bekovetkezik. Ez a va10szinuseg
tehat vagy nulla vagy pedig egy, po ntosan akkor, ha L:"=op(A k ) veges
vagy sem.
p(A)'; p(
t .. n
t:n
U A.) ,; r; p(A.) -
(n _ 00).
teN
3.4.5. Tetel
Legyen (X , 0, p) egy mertekter, (X , 0, fj) pedig a teljesse tetele.
Ekkor blirmeiy f E L(fj) fiiggve nyhez megadhatok olyan iI'/z E L(p)
fiiggvenyek , amelyekkel az alabbiak teljesiilnek:
n A.) = II p(A.) .
p(
es
l:eN
a)
b)
c)
iI :S f
:s h
p({J.#h)) = O;
J f;dp = fJd;' (;= 1,2) .
peA) = 1 .
104
n(X \A.) = 0,
n:Ot:n
Bizonyitas
=0.
I =
fiiggvelly. nyitvan az
I>
XB;
I > xc,
J d" =JI dp
U = 1, 2) ,
J;
E L(jj) (i = 1, 2) .
Legyen vegiii A := {II "f:. h } . Ek kor (Id . a 3. 1.1 . Tetel bizonyitasa utan i
:1" megjegyzest) A E n Cs
fiiggvcnyek trivi;ilis mOdon eleget tesz nek a tetelben mondottakn ak.
hXAdJ.l=
valamint
IE
h XA - h XA =
fdlcheto. Ekkor viszont egy megfelel5en valasztott, monoto n novekedo g" E Lt( ji.)
Ii~g" = I , li~
n
gndjl =
E N
es
L(p) n L+(ji)
(11 E N ) sorozattal
J(h XA -
I dji.
l,2
I :X
III'.
lI a II := lim sup" II" ,
h := lim
inf"
0 ll - m.m . .
X -
--+
fiiggveny is merheto. Val6ban , egyreszt az III fliggve ny merheto (ld. a 3. 1.3. Tete!
hizonyitasa utan tett 3" megjegyzest) , masreszt az 3.1. 1. Tetei miatt tetszoleges
I> E R eseten
(050)
{lfl'
Jh
;11 .
I," 5 I
dll
E L(P)
:S li m
(n
e N)
g" djj =
Jf
djj ,
a~. az
~ 0) =
{III
~ 0 '/' )
(j III'd") 'I, .
i) 0 $ 11111, 5 +00 ;
ii) 11111, = 0 <=> I = 0 " -m .m.
;ii) 110' III, = 101.11111, (0 E R) .
106
(0) 0)
11111,=
alapjan
107
It.'8Z
0'= I-(z) .=
.= Ig(z)1
b ..= g-(_)
. IIgli.
Il(z)1
. 11111, '
3.5.1. Tetel
( ll o ld er~egyenlotJenseg)
IIzercposzlassal. Ekkor az
i + f = 1) . Ekkor tetszCileges
/ , 9 : X - R merheto fiiggvenyekre
_r
g'
/.g< - + -
~'gycnI6tlenseget kapjuk, amibOl az integral monotonitasa (ld. 3.3 .1. Tetel) aJapjan
Bizonyltas
II .
111 = 0
1I/ 1I,lIgli. =
0 ,,,.Idaul
p~ m . m ., teha.t egyuttal
Megjegyzesek
I " Erdemes megjegyezni , hogy ha p = 2 ,akkor q = 2 , azaz a 3.5.1.
Tetelben szereplo fiiggvenyekre
is, ha
(.)
a6<
-
oJ'
6'
3" Tcgyiik fel , hogy valamilyen K > 0 szammai Igl < K p-m.m .
A 9 merheta, ezert (Id. 3. Ll. Tetcl) A:= {Igl ~ K} EO, J.l(A) = 0 es
-+
-.
p
q
Val6ban, nyilvan elegendo a, 6 > 0 mellett igazolni a fenti egyen l6t1enseget, hiszen
kiilonben a dolog lriv!cilis. Tekintsiik ehbcz a
z"
op(z) ,= - p
6'
b z + -
Zp-l -
IIgl = II gl XA + II gl XXIA .
Mivel 1/ gl XA = 0 J.l-m.m. , ezert (Id. 3.4 .3. Tetel)
azaz (ld . 3.3.1. Tetel)
(z > 0)
6 (z
> 0) derivalt
,,'(b~) = 0
miatt !p-nek 6~ ~ben abszolut minimuma van. Tekintve, hogy 'P(6~) = 0,
czcrt 'P ~ 0 , amit igazolni kellett.
J It gl XA dJ.l = 0,
108
adOdik.
109
I : X. -t
0S
0-
%'
bccslesbal.
0=
f(x ) -
J d~
f
Mivel p = 1 eseten
alapjan
(x E X )
(Ha Il(X ) = 1 , akkor tehat. (ld. a 3.4.5. T etei e10tt tett 5" megjegyzes
vegen mondottakat) val6szfniisegszamftasi terminol6giaval elve (X, 0,1')
cg,y val6sziniisegi mertekter, I egy un. vaMsz1nu.segi valtoz6, f I dl' az
I varhat6 erteke, 1
1F1I2 pedig az I sz;6rasa.)
3.5.2. T etel
Ha 1
(Minkowski-egycnlotlenseg)
:s p < +00 es
becslesbol egyreszt
egyenlotlenseget
11/+911: ,; 1111 +91'- 'II"{IIIII, + 11911,) = ( / II +,1('-' d") '/'. (11111, + 11911,) =
= (
Bizonyftas
A tetel aIlitasa nyiivan igaz azokban az esetekben , amikor 111 11,
k&,.(illegalabb az egyik +00, vag)' 111 + gil, = 0 .
es 11911"
a kivant egyen-
Megjegyzesek
l O A most bebizonyitott tetelben lenyeges a p
X := N ,
:= P(X) , Il({n)) := 1
(n E N) (ezzel a O'-additivitas
fl-n , ami nem m as, mint a
A kovctkezo tctclben a
donsagat tek intjiik at.
IlI QH t
3.5.3. Tetel
Legyen 1 :S P < +00 . Ekkor
IIf + .11", =
4,
IIfllo" = 11.11", =
i)
ii)
iii)
ad6dik .
2j1 Az elozo megjcgyzeshez is kapcsoladva viszont cgyszctiicn megmutathata, hogy 0 < p < 1 mellett minden olyan 1, 9 ; X _ R mcrhetO
fliggvenyek eseten, amclyekre 1 +9 : X _ R , fenmUi az alabbi becsles:
iv)
v)
Bizony!tas
.. Az i) allita:: a Minkowski-egyenlotlenseg (ld . 3..5.2. Tetel) alapjan , iv) pedig
II
..
(a+b)':Sa'+bP
(a.b~O)
("Ii
Imaxl!,.JI,lm;nl!,.)I "lfl+I.I ,
cz~ rt az in.tegral monotonitasara hivatkozva ( Id . 3.3. 1. Tetel) az elc5bb mar idezett
Mmkowskl-egyenlotlcnseget felhasznalva
(%> 0)
azaz 0 < p < 1 miatt '1" > 0 . i gy a 'I' fii ggveny szigoruan monoton
novekedo, amibOl !p(+0) = 0 figyclembcveLelevcl a !p(:I;) > 0 (;t > 0)
becslest kapjuk . A b:f. 0 esetbcn az ;t ;= alb valasztassal ( .. )-hoz
jutunk, ami viszont b = O-ra nyilvanval6.
Az eddigi jeloleseket megtartva tckinLsiik ezek utan a kovetkezc5 fliggvenytcreket : vaJamely 1 :S p < +00 eseten legyen
Emlekeztetiink an a (Id . 3.4.), hogy az L fUggven yosztaly elemei merheta fUggvcnyek, van integraljuk es az veges. Tehat egy va16s ertekii I : X _ R merheto
ftiggveny akkor es csak akkor tartozik az V halmazba, ha 11111, < +00 .
112
II maxI!, .)11" II m;nl!, .)11, 5 1I(lfl + 1.1)11, " IIfll, + 11.11, < +00 ,
A iii) allit.<is mar egyszeriien kovetkezik i)-hOI
f+ = maxI!, 0).
es ii)-hOl az
= max{ - f ,O), f = f+ -
cgyenl6segekbOl .
Az v) igazolasahoz nyilvan felteheto, hogy p > 1 , legyen cHor q E R ,
I/ p+ l / q = 1 es valamely c E R parameterrel
f,(')
Az
Ie fuggvcny
,= c
(. E
X) .
mcrheto es
Ii
E LV
Megjegyzesek
t o Az v) alJiLas ncm igaz a " Jl veges" felLete l nClklil. Legyen ui . X := N ,
11 := VeX), Jl({n}) := I (n E N), ekkor
illetve
V =
l:
sorozatleaz egy
<i5 9 fiiggvenyre
p~r~meterek kcl alkalmazva azt kapj uk , hogy (Id . a 3.5.3. T etcl bizonyftasaban szerepl8 jeloleseket is)
azaz - Uiven az
I XA, I XB fUggvenyek egyarant merhet5k E P(p), I- XB E L'(p) Mivel I = I XA + I XB , C'lert azt
hittuk be, hogy
'Ii _
Az L"(p) ter most kapott elOAlHtAsa persze veges p-re is "megy", csak
eppen (Id. 3 me&iegyzes) Lq(~) C Lf(p) C P(p) miatt semmit mond6.
5 Megmutathat6, hogy amennyiben VCp) c L'(p) teljesUl vaJamilyen
1 S P < q < +00 mellett, akkor minden ilyen p es q eseten igaz az
P(p) c Lq(p) relaci6. Ugyanez mondhat6 el akkor is, ha C helyet.t
::>-et trunk. Szamos egyeb ekvivalens fel t~el ismeretes az V(p) terek
"tartalmazkodasat" iIletOcn, amelyekre itt uines m6dunkban kiterni.
Innen
lEV .
a
'
IIIPdp
< +00
ekkor
1_
Innen rogto n azt kapjuk , hogy Ii/IlP < 11111' + Jl(X) < +00 S~t
I "t h 'k' I"
.
p - ,
114
l"gIPd~:$ o:P' /
I XA
1: =0
!-g E
merheto
(Allapodjunk meg abban, hogy inf 0:= +00.) Az nyiivanval6, hogy 11111"" < +00
akkor es esak akkor teljesiil , ha van olyan Ct 2: 0 szam, amellyel Il lS 0: ,,,,m.llI.
Az is igaz tovabba, hogy 111:$ 11/1100 p-m.m. Eil ui. 11111"" = +00 mellett
triviAiis, kUlonben pedig a 3.U. Tetel miatt merheto {III> II/II",,} halmazt
Allftsllk elo a k6vetkez6keppen:
~
=,
rI
11/1100 sdmo t l1.okM 8Z III fi.iggvcny " fl nyegu jdd I:ur/o/J onal!' is IICVCZ Il i.
Ennck mcgfc lelOeIi blUlzlIli lal.o8 ra a sup C8S III jeJo les is, a fra nc.ia " "up~mum
euentld' kifcjczCs aJapjan .) .~zek utan dcfinialjuk az LOO( p) teret a.z a labbi
mOdon:
(Ih
Bizonyh as
lfl :s:
Konnyu mcgmutatni (az Olva.s6ra bizzuk a bizonyitis t) , hogy Loo is egy lincaris
R fel dt es barmely I ,g E Loo ftiggvenyek , ill. 0 E R eseten
~cr
11111, =
II,
XUII>K)
(.({III >
+~
+!..:=
Az
0 megallapodissal - figye lembe veve az elozo 5 megjegyzest is
- a lI older-egyenlotlenseg alabbi kiterjeszteset kapjuk: ha 1 :s: p , q :s: +00 es
I/ p + I/ q = I , a kkor tetszOleges 1, 9 : X - R rnerhe to fiiggvenyekre igaz a.z
bccslCs.
Ha a fJ rnertek veges, akkor L oo C V
(p
1)
es
11111, ~
E L oo ftiggvenyre fenmill6
II I :s: 11/1100
11111, 2:
lim
,- +00
()'"
~ II fl l~ .(X )
hm
,up 11111, $
IIIII ~
,- ~
me rheto es a
definici6ja miatt
/P
' xA"
dJ.lr 2:
czert fJ(Ao) < +00 . Innen minden q > 0 eseten (az elobbi ok06kodast p helyett
q ra megismetelve) azt kapjuk , bogy
3.5.4. Htel
116
11.1100
.(A.)
+ ~)
< 11/ 1100 < +00, 11/ 11" > 0 es egy Ct E (0, 1) 8zam mellett
dp) II, =
XflJI > K)
Legyen vegul 0
lckintsiik az
(J K'
dJ.l) lIt 2:
'I. .
kovetkezik .
117
X: = (0, 1/2), 11 3:1. X-beli Lcbcsgue-merhew hahnazok o-algebra ja, IJ pedig a IJJ Lebesgue-m{!rtek leszukitese O-ra. Ha
l ,S p<+oo es
I(x) :=
akkor
Megjegyzesek
E L~
b)
....
P>
Il l"
melletl az
s lUII~
Il-m.m. beeslesbo/
,"p(ll/ll, ' p ~ I}
= II/II~ .
Yp E
(0
Y.
I: X
..
(I ::::;p,S q <+oo)
Cs ba rmely
k .
meggond:~~r::szonyat i11et5en az
2 p
/
E X) ,
+00) ;
L'(") ;
c) tekints uk a
# x E R)
h f/. V(IJI)
(0
vall olyan
I :X
I = lim In p- m.m.;
"
ii)
Hm ll/- /.II, =
118
(x
gE
II/II~ = P-+oo
I;m "(Y'-" j l/'XY. I'dIJ )'1, .
t
i)
4 " Az V
(In.!.
3p_lI/lI,
E V(p) ,de
h(x)
[1 , +00)
X-I/p.
"
119
E.v es
o.
Bizonyitas
Megjegyzesek
10 Legyen az el&/.o Letelbcn p
I(z )
,= {
Idp=li:r-
(n -+ 00) .
(z:EXoUX t )
.
" t mas megfogalor ' 1 is kiemeini (formruiag
plCl
.
2 Talan nem erdektelen k~ 01
zere 10 speciaIis esetet, miszennt: h~
mazasban) az el&l6 megJcgyzesben S k P gens egy alkalmas g E L
az I n E L I
(n E N) sorozat m.m. onver
es
Nyitvanval6, hogy az I fiiggveny eleget tesz i)-nek , hiszen I nem mas, mint a
Il1crhct8 fiiggvenyekbOl ali6 Un ' Xx) fiiggvenysorozat pontonkcnti hatarfiiggvenyc, aho l X := X\(XoUX I ) (ld . a 3. 1.3. Tetel bizonyitasa utani 3 megjegyzest ).
fUggvennycl
1/.1 $ Igl
,= II
nL
- 1.1' (n E N),
120
I
I e> 0 konstanssaJ
mertck 'leges es a 3.5 .5. Tetel~n va ame y
Ilnl ::; c
,
<
p-m .m.
<
+00
(n E N )
1 - P
. (ld
tktelben sze.rep13 Jelo1esekct)
tel valamennyi Allitasa ..Ekkor Ul. (Id . 38. I Tetel)
9 ::; c I-'-m.m. is Ilyilvtin Igaz, azaz
. . 3 ..
f
Mi vct i) szerint tim,., g.. = 0 p- rn .m ., erert lim infn (h - g.. ) = h p-rn.rn. IS
igaz . ..:gybcvetve ezt az e1oz5ekkel azt kapjuk, hogy lim sUP.. J g.. dp :5 0 , amibOl
JgIl fI/J ~ 0 (n E N ) miatl lim,., Jgn dp = 0 (n E N ) kovetkezik. Ez eppen
azL jelcnti , arnit mcg bc kettett bizonyitani .
il
,= (III + g)' ,
". t
(n E N ) ,
~ -m ,m ,
azaz I E LP ad6dik .
g.
In dp .
I fiiggvenyt a kovetkezokeppen:
1im./.(Z ) (zEX\(X,UX,))
= 1 . Ekkor
gPdp
C"1.1.
a sj>t.ociAlis escto.:L
12 1
IS
4 Ltgycn (X , n , /A ) i:mlct cgy tct.sz6lcgcs mcrtcktcr , 1 ::; P < +00 es IcgyeIlck i ,i" E IJ'(/J) (11 E N ) olyan fuggvcnyek, amelyekre tetsz61cges
A E 0 , p(A) < +0:> cset.e n
a) p fehnetrik3;
b ) p(f,g) = 0 o=} 1 = 9 p-m.m.;
is Y31amely
In.! E:F
c) (t )
(Az . (In) sorozat a 1I.lIp norma 8zerint /J~ vlge3en konv ergal I~ hez . Ha
p veges, akkor ez nyilvan ekvivalens a IirTln II / n - III, = 0 egyenl6sCggel,
de pI. az <,X,O,p), := ( R , OJ,Pl) esetben a (X[n,n + 1) sorozat a II./lp
norma szcrmt p~vegcse n konvergal O-hoz, mig
IiX[n ,n+l) - X[m.m+1)I1,;::; 2
1 p
/
(m, n E N , m
lilTlnP(/n , f)=O .
i:- n)
miatt nyi lvan nem konvergens 11.11, normaban. Az allitas elsa felehez
annyit erdemes csupan megjegyezni , hogy A E 0 , peA) < +00 eseten
IIX[n,n+l)XA II~ = p(A n [n, n + 1)) (n E N ) es
ro
:::::>
Ezerl egy alkalmas > 0 8zammal p(tll - gl ~ t:}) ::; , aml. hOI P(1,g) < +00 mar kovelkezik. A felmctrika tobbi axi6maja kozui
csak a haromszog-egycnlotlenseg erdemel kulon figyelmet.. lI a ui . valamely I , g, h E:F fiiggvenyekkc1 es > 0,6> 0 szamokkal
n=O
akkor
IIf" - f ll,
= n 1- 1/, > 1
(0
U I[h - g[ ~ 6) ~
+ .(llh - gl ~ 6j)
< n E N) .
<)
(n E N) .
Mivel az
123
~~ordrtvn,
hn.
azaz p(J, g) ::;!. Mivel ! > 0 tetsz6leges volt , ezert val6ban igaz , hogy
p(J,g) = O. (A c) allitas bizonyitasat az OlvasOra bizzuk.)
1 Ncm nchcz belatni, hogy ha a 4 me&iegyzesben az In , I E lJ'(p)
(n E N ) felletel helyett egy merheta ruggvenyekbOl 3116, p"m.m.
konvergens In : X ....... R (n E N ) fii ggvenysorozat szerepel,
I : X ....... R egy merhetO fiiggveny es minden A E n, peA) < +00
mcltctt I XA = tim" I n' XA p m.m. (ami q . veges p re ugyanaz, mint
az I = lim,., In p-m.m. relaci6), akkor (. * *) tovabbra is igaz marad .
Ui . nyit van elegendo ezt csak veges p eseten megmutatni, amihez tegy iik fel indirekt m6don, hogy valamely ! > 0, 6 > 0 szamok es egy
nk E N (k E N ) indexsorozat mellett az
(k E N )
is teljesii l, azaz a minden n E N eset.en fenna ll6
halmazo kra peAk) ~ 6 (k E N ) teljesiil. Ekko r (Id .. a 3.4.4 . Tetel utan
lett 2 megjegyzest)
l / k)nA)
k::n
t :::n
n",Ok::n
k :1
szam mellett
Ua ui . valamely e > 0 szam mellett M := {lIn - I I > el ,
N := {lIn - II ::; !} , akkor ezek a ha1mazok valamennyi N 3 n-re
merhetok (Id . 3.1.) es a 3.3.1. Tetel miatt
(n E
N)
125
JI'llemzo (Id , 3.4 .3. 'retel) , hogy vnlltlllely I ,g E U' fUggv cnyek akkor Cs csak
nkko r tarl.oznak ugyanabba I\Z ekvivalencia:-osztalyba, ha t = 9 p-m .m.
Jeloljiik az
EV
,\g
fliggveny mono ton novekedo.) Ezzel az ekvivalencia egyik iranyat belattuk , a masik iranyhoz pedig eleg csupan annyit me&iegyezni , hogy
A koveLlcezo tetelben megmutatjuk , hogy a most definialt normalt terek mindcgyike teljes (Banach-ter) .
3.~. 6 .
. Vizsgaljuk meg most att az elegge termeszetes kerdest, hogy a 3.5.5. T etelben
vaJolI nem engedhet.5-e meg p gyanant + 00 is? Termeszet.esen a t.etelbeli
~ ~ rc vona~koz6 feltete lt ertelemszeruen mooositva IIgllex> < +oo-re. Vegiggondolva
IIJra a ~ zoban fo rgo tetel bizonyitasat, konnyen meggyozOdhet arrol at Olvas6
l.l0~Y. a. letel i) resze es ii)-bOl a p = + oo- re megfe lel5e1l mOdositott I E Lod
:~Ihtas Igaz mar ad . Az al.ab?i nagyon egyszerii pelda azt mutatja viszont , hogy a
II ) p = +oo-re vonatkozo hm n III - In llex> = 0 megfel el8je nem igaz. Legyen ui .
Htel
es egy alkalmas
11.1:
V fliggveny , amelyre
(0 < n E N)
I = lim In.
"
Vi higos, hogy minden, a 3.5.5. Tete! i)-reszeben szerepl8
do III - 1"1100 = 1 (nE N)
I -11111,
halmazban
BizonYltas
Tegyiik fel elOszOr, hogy p < + 00. Ekkor a Cauchy-kriterium miatt van olyan
Til E N (./.: E N ) indexsorozat, amellyel
at
(k E N) .
(I,9EL')
lI t~itassal. d efi~i~l.t rel~iot tekintjli.k, akkor konnyen belathat6 mOdon ,.., egy
ckvlvalencla-relaclo. Az altala generalt V -beli ekvivalencia.-osztalyokra tehat at
126
p - m .m.
teljesiil.
.. A: eddigiek a lapjan (ld :. a 3.? pont bevez~t8jet, ill . a 3.5.2., 3.5.3. Teteleket)
,~z .L. (I S p S + 00) fuggvenyhalmazokro l elmondhatjuk , hogy R feleH:
ill1cans tert:k es az
L' 3
11.
00
" ,= 1",+. -
I",
(k E N ),
,= I: 1,,1,
.1:=0
127
(k E N) ,
Megjegyzesek
L g; = ,,,.+. - I"" ,
1" V~l6ban igaz tehlit a 3.~.6 . Tete! eleStt jelzett allita.s: az V terek mindegy ke (a ~on~ot.~ ?or~a~l) Banach-ter (1 :5 P:5 + 00) . A kesobbiekben
nem teszunk Jelolesbeh kulonbseget IU V es a" L' t k k" "
t 'I
U' " f"
.
..
ere ozott azaz
e~en u az
uggv~nyter .. minden I E V eleme egyuttal az iisszes
~:~ g : ,X -- R merheteS fiiggvenyt is jel6li, amelyre III - gil = 0
en az ertelemben tehat minden 1 < p < +00 eseten (V 1111')
.
Banach-ter.
- , . P egy
2" All. eleSbbi megjegyzes szeUemeben all. (L~, II . II~) ter az
; ",0
ezert az
<I, g> :=
If.",1 = I I>O + f 1 ~ . + If 1
;=0
N 3 n = 2"+j
II. + If III,
11.11, + IIfII,
~ 1+
igy alkalmazhatO a 3.5.5. Tetel , miBzerint van olyan lEU' fiiggveny , amelyre
1 = liIl1,t I". p- m .m .
es
teljesiil . J61 ismert azonban az az elemi ieny, hogy ha egy CauchY-80rozat vaJamely
reszsorozatar61 mar tudjuk , hogy konvergens, akkor maga a 8Orozat is konvergens.
Tehat lim" III - 1"lIp = O.
Ezzel "elinteztiik" a p < + 00 esetet. Ha p = + 00, akkof a fenti bizonyitasban csak a
128
(f, 9EL~)
I gdp
~ten
I,, ::::
(k E N , j = 0, ... ,2t -1 )
9 E L+
n E Lo+ (~E N) nemnegativ !epcsOs fUggvenyekbOl all6 so~za.tt~i
nlln gn == I , IUlln h" ~ f - , ill.
li~J g"dp =
rdp,
Ii~
h"dp =
rdp
es az
129
(n E N)
IiOro1. ;ILra
lim..
I .. = I , 111
=1 (1+ -
g. )"p+ 1 (1 - -h.)"p-O
(n-oo)
J(r)
lIliatL li mn II / - /nlh =
Ez azt jelenti, hogy az Lo n LI(p) halmaz
a1. II.II! norma szcrinl mindcniitt suru LI(p)-ben.
50 Tegyiik most fel , hogy az (X , n , p) mertekteret egy (X-beli) 'H. relgy iirfi n ert.elmezet t , t1-additLv, nemnegativ m ; 'It _ [0, +00) halmazfiiggveny kit.erjesztese reven kaptuk (ld. 2.1. , ill . 2.4 . pont) . Legyen Co
a XI (l E 1f) alakti fiiggvenyek linearis bu rka (azaz az emHtett fuggvenyek Osszes veges linearis kombinacioinak a halmaza). A 3.2.2. T etel
bizonyitasa utani 20 megjegyz~re utal va konnyu megmutatn i, hogy Co
is mindeniitt suru Ll(p)-ben a 1I.lh norma.ra nezve. Az elobbiek szerint ui . ehhez nyilvan elegendo azt belatni , hogy barmely veges merteku
A E n halmazhoz (p(A) < +00) es teLszoleges ! >
szam hoz van
o lY<l1l II E Co , hogy IIx" - hlh <! . Mindez pedig " benne van" a most
idezctt megjegyzesbell .
U
6 1\1. OlvasOra bizzuk annak a meggondolasat.. (lenycgeben ugyanazzal a
gondolatmenettel , mint az eI5bbiekben), hogy az elozo kCt megjegyzesben
I}(p) helyett V'(p) (I $: p < +00) is irhato, azaz Lo n V'(p) , ill.
Co a 11 .11, norma ertel meben mindeniitt suru V(p)-ben.
7 0 Lassuk be, hogy a 1" megjegyzes igaz marad p = + 00 eseten is,
es
b - o.
b-a
"
(k = O, ... , n
)' XA. E Lo
fiiggveny re nyilvan igaz , hogy 11/ - 91100 $: I In , ami az allitasunk bizonyitasat jelenti. (Ld . meg czzcl kapcsolatban a 3 .3.3. T etel bizonyilasat ,
ill. az utana tett megjegyzest .)
Konny u peldat adni annak igazolasara, hogy 5 nem iSaz p = +oo-re.
Legyen ui. (ld . 2.2.) X := R , n az R -beli Lebcsgue-merheto halmazok
130
(2- .1,-1 $:
{ 1(-1) t+ 1 - 0"01 (2 - k -
$:
<
< 2- k -
2-~)
l)
Kovetkezeskeppen
11/ - hll oo
~ max{j1 - 0"01, II
+ QoD !::
1,
10
*=0
80
(r E R )
1) .
b_ a
+ k -n-
(kiilonben)
k=O
es
9 := "L)o.
II! - h ll~
(2-.1,-1 ,::;z<2- k , kE N)
tehoit
o lyan
a, b E
0 < II
,= {
(_ I )k
(n E N ),
L'(p) = " =
{(r.) E RN
L
n=O
131
(p < +00),
illctve
Loo(lJ ) = too = {(Zn) E RN : sup IXnl
< +oo} .
ll"
.
I'
mertek fleTli atoTliOS - azaz birmely
Nem nehe-l. beh\tlll, hogy la a I' I
' I t6 8 C A r~h almaz,
A)
0
halmazhO'
l
.
van
0 yan ml:r Ie
A e n, p. (
>
(A) _ es 2(1')-ben van teljes ortonormAlt rendszer,
hogy 0 < 1,(8 ) < I'
D fi "6) Val6ban legyen valamely q > 0
akkor IJ o -veges {Id. 2.4.2 . e OlD .
,
szammal
A.,.
{l /. 1> 0) (0 E N),
,=
1-
I' _
{l .
~,'
(0 E N)) E O.
"""Ok = l
12' Tekintsii k az 2(1J) euklideszi teret (Id. a fenti 2" megjegyzest) es legyen
adott egy :F := (In E 2(p) , n E N ) sorozat. A j61 ismert ertelmezes
szerint azt mondjuk, hogy :F egy orfonormdlt re ndszer, ha
(n, kEN) .
132
es
J-bb' okfejtesbOJ az is rogtOll kideri.i! , hogy
(Megjegyezziik, ; Ogyk ~be a :elbontWban szerepl6 valamennyi (Jegfelp.{Y ) = 0 ')A.~zl"hant6e
~~maz. vegcs mertcku. Innen a I' o_vegessege
jebb megsz;;uu ;;u
mar konnyen ad6dik.
50\)
.
ke en mutassuk meg, hogy valamely kompakt intervalA 3.5. pont befejC't.ese p~.
e k
uttal Lebesgue-integrAlhat6k is, ill.
lumon " Riemann-integr"alhat6 fu~ ny~. ~~egegyezik a Riemann-integrAljaval.
az emHtett fUggvenyek Lebesguc-lIltegr Ja
Legyen tehat -00 < a < b < +00,
,= ".(A)
(A E 0)
..
(I b] n ) mertekteret. A most bevezetett (t eljes)
(Id. 2.6.) es tekil~sul kl "az., D.;~ek~t :kovetker.okeppen fogjuk jel61ni:
mertekternek me&,e e 0 LF
V[a , b]:= '(/')
(1 ::; 11 $. +(0).
133
Mi vel a II mcrtck wlges , C1.Crt (Id . 1\ 3 .5 . ~1 . T ete! bizonyitMII. utan leU 3 0 meg
j egyzest , ill. tl 3.5.'1 . T etd d olt mondottakat)
J:
J:
f(x)
0=
(x E [a, b[ n Q)
(x
Ha
(x E Ain)
n ~n
(x E A \ Ain)
akkor I nA := 'EiYin'Xin' KovetkC'l eskeppen
[a,b]1 Q)
( Dirichle .... )fuggveny , amdy nem mas, mint az (a, h] n Q halmaz karakterisztikus
fiiggvcnye. Mivel a sz6ban forgo halmaz megszamla lha to , ezert (Id. a 2.6 . 1. T ete!
utlini 2" me&iegyzest) merheto es II(\a, bl n Q) = 0 . Tehat val6ban igaz , hogy
I E I~ lla , b] , tovci.bba J I dJ-l = /I([a , b} n Q ) = 0 . Ugyanakkor jol ismert az elem i
1IllallzisbOl, hogy I nem Riemann-integrci.lhatO.
2<> Az
J:=
f-
f"Ad",.
Megjegyzesek
t o Legyen (X,n, /J) cgy tetszoleges mcrtekter , A E
es
0, 0= ( 8 E P(A) 08 E 0 ]
(Id. az 1.1.1. Defi nici6 utan tett 4 0 me&iegyzest) . Ha PA a J1. mertek
leszilkitese az n A u.algebrara, a kkor barrnely IE L+(J-l) fiiggveny
eseten az IA (x ):= I(x) (z E A) leszukitett fiiggvenyre IA E L+(PA)
L l dp. :=
I ' X"dJ-l =
IAdJ-lA .
134
3.5.7. Tete!
Tetsz61eges
I E Loola , bJ
J: [a, b} --+ .
'
'k J f dJ-l-,,-el.
es I lliemann mtegrAlJ3 megegyezl
B;zonyftas
'Tn
CTn+1 es
lim max{\x _ TIl : Z,TI E Tn , Z < y, (Z, 11) nTn := 0} := 0 .
"
I
.
. nel (i =0, ... , 8"), al\OI 8" E N es
Je]'T"k a '1'
(n E N ) halmaz e Clnelt Xon
= b . Ha
o JU a T""elemeinek a szamat jelenti , ill. a := XOn < Xl" < ... < x hn
8n + 1
min:= inf{f(x): x E [Xi_ln,X;n}},
13,
(i = 1, ... , SIl) ,
nkkor Icgyen
-" "t''''X(;O:'_'ft,z;fti'
<fIn :=
<.p,, := L
(n E N ) .
i=!
i=:: 1
SOI'O'/.atra:
0:5 ! lim
i~f(<I> .. -<.pn)dp. =
! T/Jdp.:5 lim
J '" d/t =
Ji~ !
mar
i~f !
(i'JIn-ipn)dlJ=
<.p"dlJ = 0 ,
I " Az I iiggveny merhet&egenek a bizonyftasa kozben erOscn kihasznaltuk azt a tenyt., holY a s1.6ban forg6 I' mertek te!jes. Megmutathat6,
hogy az I Riemann-integr81hat6sagab61 Alta1Aban nem kovetkezik, hogy
tetszoleges A C R Borel-halmazra. I - I(AI Borel-merheto.
2 A 3.5 .7. T etelt figyelembe veve a Lebesgue-tetel (3.5.5. Tetel) - egeszen polltosan a " kis" Lebesgue-tetel (Id. a most ide-lett tetel bizonyftasa utAni 3 me&jegyzest) - megfeleloje lliemann-integralhat6 ffiggvenyekbOl AIl6 sorozatokra a k5vetkez6keppen fogalmazhat6 meg: ha
-00 < a < b < +00, I .. : (a, bl -+ R
(n e N ) pedig RiemannintegrA1hat6 ftiggvenyeknck egy olyan pontonkent konvergens sorozata,
amelyre
~,,(x) ~
fix) ~ .n(x)
(n E N , x E la,bl \ Tn)
I = limn ipn
IJ-m.m. .
(g- 'IA) n {J
haM,
A'u tudjllk, hogy a 9 := lim .. ipn fiiggveny merheto (ld. a 3.1.3. Tetel
bizollyitasa utAn tett 3 me&jegyzest), ezert barmely A C R Borel-ha1mazra
!,-I [AI e 11 . Masreszt
r ' IAI
I - I [A] n {f t g} e 11 .
Megjegyzkek
I (x) dx
= limn J:In(x) dx .
J:
J:
J:
137
fcltctcl - nem hagyhaw el. Viszont mind itt, mind pedig az Arzclil-tetclben clegcndo az (I,.) sorozat p-m.m. val6 konvergenciajat fcltetelez ni .)
ahol lim,. J:n I(x) dx nem mas, mint az alHtasban. emlitelt impro prius
Riemann-integral. Tehat val6 ban igaz, hogy I E L'(fI) .
6 0 Konnyii megmutatni vis1.Ont, hogy az elobbi me&iegyzesben az I fuggvenynek az [-n val6 " abszohit" improprius Riemann-integralhatOsaga
nem helyettesitheto az I I-n val6 improprius Riemann-integralhato...
sagaval. Legyen ui . 50 -ben [ := (0, +00) , I (x) := x-l ' sin x (x> 0).
Mivel az I fuggveny folyton96 , ezert (Id. a 3. 1.1. Tete! bizonyitasa utani
10 megjegyzest) merheto. J 61 isme rt az elemi analizisbOl, hogy letezik a
n,J ,
n,
r ,
Idfl =
li~
I 'X tRdIJ
138
= li~
1:
I(x)dx <
fa1(%) dx
Jo
kEN
eseten
{' . '~'<{'+. I) .)
becsles miatt
+00 .
11/111
+00 , azaz
H L'(O ,+oo).
a 11 mcrtek pedig a fI ' lesziikitese O-ra es nezziik az (1 , p ) mertckteret (Id . 2.6.). lI a az I : I -+ R fuggvenyaz I barmely kompakt
reszinlervallu man Riemann-integralhatO, akkor a kovetkezot mondh atJuk:
az I fiiggveny pontosan akkor tartozik az LI(p) fii ggvenyosztaly ba,
ha az III fuggvcnynek az I-n ICtezik az improprius Riemann-integralja.
ill . az
lim
0_+ "",,
+00,
139
(Neill fog fe lr cCrte. ~ OKOZlli, hogy a 2.3. ban mar alkahnazou szimbOlumot haszmilj uk itt is.) Megjegyeniik , hogy ha A = X akkor
I diJ = J.
diJ = I diJ
Ezert is szoktak
I dJI helyett gyakran az
I diJ irasm6dot basznalni .
Ix
Ix
I Xx
Etzel tehat egy iJJ : n -- [0, +ooJ lekepezest defini a lt unk , amelyrol a jelen
pont else) tetelekent megmutatjuk , bogy mertek.
Bizonyftas
a) Legyen elOszor 9 = L; y, ' XA, E Lt(/I) ahol tchat n L;" egy veges
OtJszcget jelent es mindcn bennc IIzcrcplo i-re Yi ;:::' 0 , Ai E n . Ekkor (Id. a 3.2.2.
Tetel bizonyitasa utan tett megjegyzest)
gdp, = L !lrp,(A.,) =
3.6.1. Tetel
Barmely
IE
Bizonyftas
A 3.3. 1 Tetel alapjan iJJ
{XA. dp =
{gdp .
egyenlqseg is kovetkezik. A Beppo Levi-tetel (Id . 3.3.2. Tetel) es a mar bebizonyiLott speciilis eset miatt innen a kivant
j I g dl'
= li~ j
J.g"diJ
= li~ j
g,.dJlJ
f x. = L fX
,, :::0
?: 0 nyilvanval6. Mivel
I XI = XI E Lt(iJ) ,
L, !I"
gdJlJ
cgyenl6seget kapjpk.
Inucn a Oeppo Levi-tetel (Id. 3.3.2. Tetel) sorob a vonat koz6 alakjabO) (Jd . a most
idezcu telel utan tetl 1 megjegyzeat)
j h dl'J =
h+ dJl J - j h- dJlJ =
h+ I dlJ -
h- I diJ
I h dJl .
3.6.2. Tetel
Tetszoleges I. gEL +(Jl)
abi.bbi alHtaook igazak:
a)
b)
c)
d)
e)
es
fgdp, = fg'fdp ,
hEL(p,) <= fhEL(p) ,
hEL(p,)=fhdp,=f{hdp ,
1 = 9 Jl-m.m. ====> iJJ = iJ, ;
f E L(p) n L+(p) , p, = p.
f = 9 p-m.m.
140
amibOl a Jl/ mertek dcfinici6ja miatt h:J:. E L(I'J) ad6dik. Tehat val6ban igaz
(Id. 3.4 .1. Tete l), hogy h E L(JlJ) .
d ) Barmely A E n halmazl is veve, a reltetel szerint J. XA
amibOl (Id . 3.4.3. Tetel)
iJJ(A) =
f XA diJ =
g. XA dp = iJg(A)
= g. XA
I'-m .m. ,
gd,J == /-I / (X ) ==
fdp
< + 00,
telia!. g E L(ll)n L+(p ). Legyen N :== {/>g} , ekkor egyreszt (Id . 3.1.) Nen ,
Ililisreszt <1.1. cla bbiek miatt
H :== J.XN - g' XN E +(p) .
f-XNd ,J==Pg(N) ==
g XNd/-l .
igy
v(A ) ,=
Megjegyzese k
l " KCs8bb megmutatjuk (3.6.4. Tetel), hogy az e) alJitiis az "I E (1-')"
fcltetcl helyett. a kevesebbet kivan6 " I-' d-veges" mellett is igaz.
2 lI a az I : X -+ R fiiuvenynek van integraija (Id . 3.4.1. Defi nici6) ,
akko r konnyu meggondolni , hogy
v(A)
,=
f d"
A "gy X \ A E Po(X)) .
(A E Po(X ))
+=
(X \ A E Po(X ))
, "(A ) ,=
{ [AI
+=
(A E P ,(X ))
(A P,(X ))
(A E fl)
I~ I
A dmben szerepla Radon- Nikodym-tetel bizonyitasahoz sziiksegun k lesz ne hany, onmagaban is fontos es erdekcs allit~ra , amelyeket lemmak alakj3l;lan fo.
gunk szerepeltetni . Ezek koz ul az elsO mindjart ravilagit a 3.6 .1. DefiniciOba n 01
vashat6 " fo lytonos" jelzare, mintegy magyarazatul is szolgalva a terminolcigiara.
Tegy uk most fel , hogy adott egy (X , n) merhe ta ter es v , p egy. egy
IIlcrtck n -n. A fcnti bevezet.o resz utan elegge termeszete5 m6don vet6dik reI az
ahib bi kerdes: milyen feltetelek mcllett van olyan IE L+(I-') fiiggveny , amellyel
v == Ill? Iia van ilyen I fiiggveny , tehat minden egyes A E n merheta halmazra
ve Al == J I XA dJJ , akkor (Id. 3.4 .3. Tetel) I-'(A) == 0 escten veAl = 0 is igaz
kell , hogy legyen. Ez tehat egy sziikseges feltetel arra vonatkoz6an, hogy az el8bb
fcl te!.t kerdesre igenla valaszt adhassunk .
A most mondottak fenyeben vezessiik be a k6vetkezo definici6t.
142
3.6.1. Lemma
Legyen (X,n,v) es (X , n , p) egy-egy mertekter es tegyiik feI , hogy
v veges. Ekko r a v I-' feltetel ekvivalens azzal , hogy barmely
> 0 szamhoz megadhat6 olyan fJ > 0 szam, hogy hacsak A E {1
es peA) < c , akkor veAl < .
143
Bizonyrtas
Tegyiik fel eiOStOf , hogy II <: I~ es - az allitassal ellentetben - van olyan
, > 0 , hogy cgy atka.l mas A" E
(n E N) halmazsorozattal teljesulnek a
II(A .. ) < 2- " I II(A .. ) > E: (rl E N) becslesek. Legyen
n U Am (En) ,
00
A,= Hm,upA"=
"
00
tctllz61cges A E 0 , II(A)
0 f C CL ' (,,) ,
M
< 6 etl
h~ rm e l y
,= M e ,= {PIli ' I
E C)
es
(A E
n= O",,,,,n
ckkor
00
"(A) ~"[
00
U Am) ~ L
m=n
2- m = 2-"+'
(n E N ) .
m=n
Innen nyil vanvalo, hogy ~(A) = 0, azaz II <: /J alapjan II(A) = O. Ugyanakkor
II vcgcssege miatt alkalmazhato a Fatou-Iemma (3.4.4. Tetel) bizonyitasa utan
tett 2" megjegyzes, miszerint
!I.
E: ,
"
Il.rni nyilvan cllentmond az cl5bb kapott II(A) = O-nak.
(n E N) .
A 3.6.l. Lemma szerint o-r61 az is felteheto , hogy az elobbi A halmazokra J If- XA I d/J < t is igaz. Legyen
A"(c)
,= {If - 1"1~ C) ,
B"(C) '~
{II - 1"1< c) ,
eHor
Megjegyzesek
t " Legyen X := R , 0: = 0 1, /J:= PI es 0 0 ;= {A E 0 1 : /JI(A) = O} . Ha
veAl
,= {O
(A E n o)
+00 (A E n , \ n o)
akkor II mertek Ol -en (ennek meggondollisat az Olvas6ra bizzuk) es
(ami t rivialis) 11<: /J . Ugyanakkor minden 0> 0 szamra
j II - l"hA.c" dp +6 . p(X)
(n E N ) .
Mivel limn II - Inl = 0 /J-m .m., ezcrt (Id . a 3.5.5. Tetel bizony itlisa
uti-n i 4" megjegyzest) lim" /J(A" (6)) = 0 . Tehat egy a lkalmas N E N
index-szel ~(An (6 < 6 (N 3 n 2: N) ,azaz
--
144
Tc
J) I
.,
ktl~iln tcljcsiil. PI. cz '",o,y.: .. ", "kk " , a "PJall / E JLI(/I) au torn aLi
If"l :$ 9
(" "
uggvc'lIlyel
3.6.2. Lemma
Legycil (X , n, p ) cgy merlekLer. Ekkor a
(j_"
Mcgjcgyzes
'l'e kintlliik II. 3.6.2. LCm m!l cio tti IQ megjcgyz61bcn szere plo (R , n 1 , II)
II'I crtcktcrcl . Villigos, hogy v ncm q-vcgcs, hiszcn ellenkezo esctben
(hI. II ddi nk i6ja) R eloal1ithat6 lenne megszam la.JhatO sak, Lebesgue"zcrint O-rncrtckii A" C n. (n E N) halmaz egycsitesekent . Ekkor
aZOllb,lI1
00
00
" ,( R ) =
BizonYltas
" Tcgyiik rei ei5sZ0f, hogy IJ. q -veges. Ekk (' d '
" H I
(E N ) h
or
. .4 .2. Definfci 6) Jetezik o'ya"
"
11
almazsorozat , hogy
An .
n =O
minden
>0
rt
<
,,=0
es
00
0""
> 0,
> OJ) S
hndvS
hdv<
+00
00
h ::::: L
crn'X A n
n=1)
( 11 (1
fdletciboJ
t EX)
oo n < +,00
Ct
"( x) ::::: J (x
A
N '
~
' E
IOdextol kezdve fe nmill a
N) becs~es, azaz ekkor az an'~(An) < 2- n
o < II ( A N)
-:-
J t;,J
hd" =
. a . ..
" . "XA.d" =
etel blzonyitasa
3 6.3. Lemma
r.cgycnek (X , n, ~) , ( X , n, /.I) mert ek terek, mindket mertek legyen veges
tcgyiik fel , hogy II (X) < ~(X) . Ekkor van olyan YEn halmaz ,
IlOgy az alabbiak teljesulnek:
~~s
n= O
Iit/ onyitas
1\ 'P:= JI. - II :
n ...... R
< 11 E N ) h'
n=O
~(An) ::::
XA_ dJl. S
Jl .
n 10va
hdJl. ::::
Jl .
-00
< -v(X) $
~( A) $
esewn
+00"
hdJl.
< +00 (n E N ) ,
'" I/' fll ggvcnyt fcl haszna lva teljes indukci6val definialjuk a kovetkezo halmazokal:
III
~ , 1I0 ::::: X es ha valamely n E N mellett az Ao, ... ,A",Bo , , B" E n
11I111I 1Ill'.ok mar ismertek, akkor ei6szor is legyen
"(X) <
En
147
00
U An) -
n=O
n=O
n=O
n
n"
Bn "E 0) .
A7. C halmaz nem ures, ui . az (X -en) azonosan nulla fiiuveny nyilvan .c-beli.
TovabbA, ha g, hE .c , akkor
max{g, h} E C.
I~ hhcz
Ilkkor minden A E
halmazra
"(X) - v(X)
Elsa esetkent t.etelezziik fel, hogy pis, " is veges Ca legyen ekko r
,=
I E
n=O
van olyan
=>
U An) E R ,
v(
JI
Bizonyft as
00
OQ
,, <
>0,
JiI(A
g' XAnA,dp+
n Ad + Ph ( A n A l )
h ' XAnA 1 d p=
valciban igaz, hogy Jimu(I ,II) ~", Innen (teljes indukcicival) az is kovetkezik,
llogy veges 80k C-beli fiiggveny felsO burkol6ja is .c-ben van.
111:1.1:
Legyen
.,. :=su p
{!
gdp : 9 E.c} .
Megjegyzes
lin a 3.6.3. Lemma feltetelei k&iiI a " ,,(X) < J.'(X )" nem teljesiil ugyan,
de R 3 P := p.(X)/2 ,,(X) > 0 ,akkor p.(X) > p. ,,(X ) . Alkalmazhat6
tehAt a 3.6.3. Lemma a p. (is a p." mertekre, amib{)1 olyan YEO
haJmaz ](!tezeset kapjllk, hogy
i) "(Y)
> p. v(Y) ;
(A EOn pry)) .
149
148
(nE N ),
,\of,
I'~y utt
egyenlotle~g miatt
gn dp. ::; 9.. dp. (::; '1) (n E N ) (Id. 3.3.1. Tetel). Tehat
limn 9 .. dlJ = '1. A 9..-ek ertelmezesc miatt a (9.. ) sorO'.lat mO!loton n6veked6,
ezert az
VIlli
An E '0 , An C A"+I
IUllmil1,sorozat, hogy ()
/:= limg"
J / dp. =
fiiggvenyre
(3.3.2. Tetel))
'1
es tetswleges
A E
"
(II E N)
= lin.... IJ ( An) .
Tc kintsuk az
00
UA.
X, ,~
(EO)
n=O
11I1~ l1 az,::
fI -
Bclatjuk, hogy /.I = P.I . Azt tudjuk, hogy VJ := /.I -P.I ;::: 0 . Tovabba VJ
egy veges merl\~k az n q-algeb ran es /.1 p. miatt nyilvan VJ I' is tcljesiiJ.
A kivant egyenl6seghez VJ(X)-rol kell megmutaplUnk, hogy nulla, hiszen ekkor a
mertek monotonitasa miatt (Id. 2.1.1. Tetel) IIJ = 0 . Ennek erdekeben tegyiik
rei indirekt m6don, hogy IIJ(X) > 0 . Ekkor persze p.(X) > 0 is fennAlI , hiszen
/.I I' , e'lert alkalmazhat6 a 3.6.3. Lemma bhr.onyit.1sa utan tett megjegyzes. Ha
tchat fJ:= !{J( X) / 2'IJ(X ) (> 0) , akkor egy alkalmas YEn halmazzal
~,:,-ekrol mo~dottakat
Az
Specialisan tehat IJ 1 ::; /.I is igaz, azaz / E C . (Ex mellekesen azt is jelenti, hogy
a '1-1. definiaI6 egyenlOsegben " sup " helyett " max " is Irhat6.)
Am U A E'D
(m E N ) . Innen
p.(Xo U A) ~
0'
+ Il(A) =
(m E N) , azaz IJ(A m U A) ~
1!.:;np.(Am U A)
IJ
Innen az is k6vetke'.lik , hogy p.(Y) > 0 , ki.il6nben ui. !{J p. miatt VJ(Y ) = 0
lenne, e1lentmondva a VJ(Y) > fJ p.(Y) egyenl5tiensegllek.
Legycn
J/0'
ff
XA dp. =
XA d#+ p#(A
"XA dp. + p,
n Y) S
f f
XAd#
+ ~(A) ~ "(A)
< +oo},
Q:=
150
(0 < n EN) .
a v merteket az
(n E N)
(A EO. , n E N) .
< /.leX) = + 00
< +00
O. , ~ (A E P(X.) , A E OJ
es
... ) .
/.I(X.. )
1oj~lIk llll uk Ie a IJ
XA n Y dp. =
es legyen
0',
(n~2 , 3 ,
k 'I
azok e
'lCse '
l'tl ffO c c m vc
'
gye n
t 19 tll.rtalll1/lZlIa , fo: zCrt (es a 8Z Upremultl ertelme:tese alapJ'an )
0 Iya n
10(%) := +00
(% E Xo)
/.10 =
1J0/o
egyenl5seg is.
ad6di k, aZl\z 1\ ~ fUl1k clOlIIU (It 1I .11l normara nezve) korlAL08 is. A m ar
idezctl Riesz-fele repre'tc nul.el6!t te te! alapjan tellilt van olyan 9 E .2(..\)
fiiggveny , amellyel
egtil, ha
.. ",0
<>(1) =
p,(A) = 0
<=> ptA) = O.
Tehat /I <:: JJh , amiool a fentiek szerint mar kovetkezik olyan 9 E L+(Ph)
fiiggveny Ietezese, hogy /I = JJh . A 3.3.3. Tetel szerint +(JJh) = +(1') , a
3.6.2. Tetel szerint pedig JJh. = P,.h . Az / := g . hE L+(JJ) fii ggveny (Id . J .J . ' .
Tetel) tehit megfelel a tetelben mondoUaknak .
If'
(I E L'(A)) .
9 dA
< O} (E 0) ,
<>(XS) = "(8) =
XB '
gdA
~ A(8) .
Megjegyzes
Az euklideszi terek elmeleteool jol ismer t , a linearis funkc ionalok eloallitwra vonatkozO Riesz-fele reprezentaci6s tetel alapjan is adhatO egy
elegans bizonyitasa a most igazolt Radon- Nikodym-tetelnek . A toyabbia kban ezt yazoljuk , az egyszeriiseg kedyeert csak veges mertekek eseten.
Tegyiik fel tehat , hogy a 3.6.3. Teteljelolesei mellett p , /I yeges mertekek
/I <:: I' . Legyen ..\:= P + /I , ekkor ..\ 8zinten egy yeges mertek
O-n. Mivel /I ~ ..\ ,ezert L2(..\) C L2(/I) (C LI (V)) . Valoban, ha
/ E L2(..\) , akkor PEL +(..\) es egy alkalmas mono t-on novekedo
h.. E t(..\) = Lt(lI) (n E N) 8Orozattal
es
li~hn = / 2,
Ii!",
h n d/l =
J/2
d/.l,
Ii~
hn
d..\ =
J/2
L'(A) 3 /-4>(1 )
xsg d..\
XB d..\ = ..\(8)
,= Ildv .
<>(x c )=v(C)=
x c g dA =
(.)
14>(1)1
J
J
d..\ .
(I E L'(A))
h ( I -g) d" =
153
hgdp.
hdv=
h gdv+
3.6.4. Htel
Lcgycu (X , 0,/1)
h gdp.
Bizonyftas
wm .ill .
f Jd
Mivel hn E L'().) is
(ld. 3.3.2. Tetel)
linffi
J hn dv =
hn dv = Ii,?"
O)(h n ) =
J hn 9 dA
hn god), =
(n E N) , ezert
es
(f
.(A)
h 9 dA ,
= v(Al = 0
= +00 .
J hdll = J h . gdA.
Az
v(lf
~nJ) =
f rX(f<")d"~nI'(!f ~n))
< +00,
cgycnlOsegct a.z elobb Imir alkalmazott. gondolatmenettel (Id. 3.3.1. Definici6) kounycn belathatja az OlvasO.
Lcgycn ~W I A En es alkalmazwk az utoljara kapott (.) Osszefiiggest
-g fiiggvenyre, amikor is az
a h ..-
azaz f =
+00 p.-m.m.
II"
fiiggveny
Mar a 3.6 .2. Tetel e) pontjaban szerepcJ egy olyan aIHtas, amely a RadonNi kodym-tetelben kapott f fii ggveny egyertclmusegevel kapcsolatos. Az clsOkent
idczctt tetcl bizonyitasa utan tctt megjegyzesben utaltunk arra, hogy majd kevese bb fcltetel meJlett is tudunk valamit mondani a.z egyertelmuseget iIlet5en. Ezt a
" valamit n tartalmazza t.Obbek kozott az alabbi tete!.
154
n ::O
._
illertekre azt kapjuk, hogy al = ag , amibOl pedi?
tnnen tchat a veges q. - Jll!
k ' tk~ ik Azt kell mar <:supan cszrevcnm ,
az clobbi esct alapjan J = 9 a-m.m. ove z.
hogy ha egy A E 0 halmazra
a(A)=p,,(A) = ! h'XAdJl=O,
I) h
- 0 IJ-ffi m. A h-ra teljesii15
akkor h XA 2: ~ miatt (Id. 3(A4l3~ TOCte Ez ~~je~nti , ho~ a np,,-m.m." es a
h > 0 feItet.el mlatt etkrt Jl
_.
.
" Jl-m.m." kijelentesek ekvivalcnsek, azaz J = 9 p-m.m.
155
(i,; E N )
X;i :=X;nAj E fl
< +00
Megjegyzesek
J " S7.okas a Radon- Nikodym-tetelben (3.6.3. T etel) szerepl6 I ftiggvellyt
a II mertek p-s7.erinti Radon- Nikodvm-Iele deriv6ltjanak is nevezlli es az
L1dP. =
p(A).~ { :
(0 E A)
J
O~p(-oo, O)) ~ JrX(-~,o)dl'"
Mivel
I X(O,+oc j,
r XC-oc,O)? 0
""'n
f.IOTdP
~ J(f'X') O TdP~
= 0 It I -m.m ..
157
(56
I'X,d/<,
I X(o.+ocj, I XC-oc,Oj
(B.~T- '[AJ) ,
Ekkor (ld. 2.1.) p mertek (az un. Dime-/Cle meriek). KOllllyii megmutatlli, hogy lIem JetC't.ik olyan f E L+ (PI ) riiggveny. amelyre p = Pit
teljesiilne. KiiJonben uL
f. f-qdP ~
(0 ~ A)
i 1odP .
I E L(P), A E n
(A E flo)
1IIC'I.Csc
.~ 1. 1 dp
v(A)
L
(X n J') egy mcrtekter , ,.,-r61 tegyuk fel , hogy V-veges ~
egyen
"
"
I
< igaz Ekkor van olyan
legyen "egY olyan mertek O-n, arne yrc ~:- ~
<' J' miaU nyilvan
+(IJ) 3 f
I fuggveny, bogy 1/ = I-'J . we d v . h
/I < 1 . Legyen ehhez
/I IJ is igaz, ezert azt kell megmutatnl , ogy ([jj-
:s
A.
,= {f ~
1+ I/(n + III (E 0)
(n E N)
=,
N ) ' U~ A - {f > I)
8 . H.
( n E.
C An+1
es
,.",0 n (A) 0 IS
po( B) > O'\enne, akkor egy alkalmas n E N index mellett J.' n >
teljesiilne, azaz fenml.llna a
ekkor
7" Legyen (X,O) egy merheto ter , p, v pedig elojeles mertekek G-n
(Id. 2.8.). Azt mondjuk , hogy v abszollil/olytonos a p-re nezve , ha
minden o!yan A E G halmazra, amelyre (P](A) = 0, egyuttal v(A) = 0
is igaz. (P] ertelmezeset illetOen Jd . a 2.8.2. Definiciot.) Ebben az esetben
is a v 4: p jelo!est fogju k hasznalnL Viiagos, hogy amennyiben v , I-'
mertekek, akk.o r a 3.6 .1. Definid6t ismeteltu k meg. Tovabba
v 4: jJ
< +00
(n E N)
~ 8
Innen kovetkezne olyan
X -- U n=O
n .
\ctczCse,
amellyel
0
<
J.I(A
n
8 m} < +00, azaz
"
n
soroza
aI
"(A. n 8 m ) ~ (I
m E N
+ I /(n + I) "(A. n 8 m )
index
1/
~ p. /I <: JJ
(IJ ,V E M(G)
Telaci6 egy ekvivalencia. Ugyanigy ad6dik az is, hogy tetszoleges M(G)beli J~ , v eseten
..
'b
Muta.<;suk meg viszont, hogy amenny l en a
p,
v E M(G)
mertekek
u-vcgcsck, akkor
1&6
[v] 4: [p]
::::>
v+ 4: jJ
es
v - 4: p .
8 A Radon- Nikodym-tetel (3 .6.3. Tete!) elojeles mertekekre val6 alta\;inositasa (amint arr61 az OlvasO konnyen meggyozodhet) a kovetkezo:
ha (X , O,p) egy u-veges mertekter, v egy elojeles mertek O-n es
v 4: p , akkor van olyan f : X --+ R p-m .m. egyerte!muen meghatarozott merheto fiiggveny , hogy
p.""
::::>
a)
b)
c)
nO- fa
nCl,ve mcrheto
En.p f ) = , . En.(f) .
d)
e)
teljesiil , azaz a \P... riiggv611Y Il!)t!zolul folytonos. J -n. (Erdcmes fcl hrvni a figyellllct arra., hogy!l. J - rc tell kompaktsagi feltetelbOl ad6do
II(J) < +ex> becslest a 3.6.1. Lemma alkalmazasakor hasznaltuk ki .)
Forditva, ha a \p~ - re jelzett abszolut rolytonossag teljesiil es J = (a, b]
egy kompakt intervallum, akkor legyen j:= (a -l,b+ 1] . Valasszuk
tovabba vaiamely (; > 0 szam mellett a 6 > 0 szamot ugy, ahogyan
azt a 1p... fliggveny I-ra vett leszukitesenek az abszolut rolytonossaga
biztositja. Legyen A C J, PI(A) = 0 es (ai, b.) E I (i E N) paronkent
diszjunkt intervallumok olyan sorozata, hogy
:s
A C U(ai , bi) ,
,=0
v([O , .
\P ... (x) :=
-v([.,
(.
0)
(. < 0)
;=0
Ekkor persze minden N 3 n-re rennall a L~=o(bi - ail < 0 egyen lotlenseg, azaz a
"
EbbOl tehat a
/.10
.=0
.=0
kovetkezik, igy II(A) = 0 . Tetsz6leges A E n l , JlI(A) = 0 eseten PleA () (-n, n]) = 0 , azaz az elCibbiek szerint /.I(A n (-n , nJ) = 0
(n E N) ,amibOl A = U::'=o(A n (-n, nJ) miatt /.I(A) = 0 mar ad6dik.
Tehat /.I valoban abszolut folytonos Pl-re nezve.
11' Legyen \p: R __ R egy monoton novo, barmely kompakt intervallumon
abszolut rolytonos fiiggveny. Ekkor 10 0 szerint a \p altai generalt /.I
Lebesgue-Stieltjes-mertek abszolut folytonos a PI Lebesgue-mertekre
nezve. A Radon-N ikodym-tetel (3.6.3. Tetel) alapjan ezert van olyan
1 E L+(pal , amellyel
/.I(A) =
Jr
(AE!1,).
XA dpi
Ha a,bER,a:5b es A :=(a,b),akkor
v(A)=~(b)-~(a)=
J.X [. )d",.
~(.) = ~(a) +
160
f X[ . ]d",
161
(.
E R) .
A H.i c mallll~ i lllcg r:i l ial kapcsolalban mcgllZoko lt lermi nologiaval clvc le[Hit rp cgy inlegralfiiggveny. MegmutathaL6, hogy cbbOl a szcmpo ntbOl
a rp mono to nitasa (es az f?: 0) ncm lcnyeges, ill ., hogy a. rp-re teU
fcl lctcl sziikseges is az intcgra lfiiggvenykent valo eloallitasahoz.
Megjegyzesek
I " lI a I' Cs 1/ c!ojclcs lncrlekek O~ 1l (11.1 . 2.8.), akkor a 3.7.1. Dclinici6 ii )
feltCtclCt m6dositsuk a kovct kczorc :
",HAn X,)
n~n.
A 1/ p. a bszolut
= IvHAnX,) = 0,
3.7.1. Definki6
Azl rno ndj uk , hogy 1/ Cs p. szingultirisak, ha mcgad hatok olyan
Xu, X l C X reszhalmazok, amclyekkel a kove tkezok teljesiilnek:
i) x onxi = 0, X = XOUX I
"(AnX,) = v(Anx,J = O.
A = (AnX, )U(Anx,J
d i s~.j unkt
/.1 I--'
5 Egyszeruen beialhat6, hogy az elobbi megjegyzes ervenyben marad minden olyan 1/1 , "2, IJ elojeles mertekekre is, amelyekre 1/1 + 1/2 tetezik .
(Gondoljuk meg ehhez, hogy (1/1 + 1/2) :5 II~ + lit .)
162
163
Bizonyftas
Megmutatjuk , hogy VI
> 1)
halmazt , amikor is a
<
J'
Ui . barme1y Y E O, p(Y)
YnX,
Id, + /.
y nX ,
=0
IdV = /.
ynx,
cselen
Idv ,
v({f> I}) = 0, mas sz6val tehit I- $ 1 v-m.m. igy a 3.4.3. Tetel aJapjan azt
mondhaljuk, ho&y
IA / dJJ = 0 , igy
I(J -
1) XA dv = 0 , amibOl (J - I) XA E L+(v)
Mindczeket egybevetve tehat
I\lapjan (Id. 3.4.3. Tetel) (f - 1) XA = 0 v-m.m. kovetkezik. Ez - figye lembe
vevc az A halmaz definici6jat - csak ugy lehetsegcs, ha veAl = 0 .
Lcgycn
x,
Az vilagos, hogy
Vo , VI
(YEO) .
Tchat (v; - ii,)l.p ea (v; - Vi) < p (i = 0, 1). A 3.7.1. Tetel clott tett
20 megjegyzCs szerint ezert Vi = iii (i = 0, 1) .
Ha a p , v mertekek koziil legahi.bb az egyik nem veges , akkor a " szokim6dszert alkalmazhatjuk : a O'-vegesseg miatt. megadhat6k olyan , paronkent
diszj unkt O-beli Xn
(n E N) halmazok , ill . ugyanilyen tulajdonsagu Yn
(II E N) halmazok, hogy
805"
X =
UX. = UY.,
n=O
(n E N) .
n=O
Vo
+ VI
v(X,) = { I d, +
lxo
I dv = ,(X,) + v(X, ) .
lXD
A fcltetelek szerint v veges, ezert innen p(Xo) = 0 ad6dik , amibOl pedig egyuttal
J'(Y n Xo) = 0 es
'.m (A)
,= ,(A),
v.m(A)
,= v(A)
164
(n 3 A ex. n Ym) .
165
ro
vo(A
00
vo(A): =
v~m(A n X" n Ym )
",m=O
v(A) = v,(A)
Va,
mind
VI
mertck
vnm(A
+ v,(A) =
00
00
v,( AnX.nym )+
v,(AnX.nYm )=
" ,m=O
n X" n Ym ) ==
",m=O
00
" ,,,,=0
Ua tra van meg az cgyertehniiseg bizonyitasa. Tcgyiik fel ehhez , hogy egy
felbontas is clegct tesz a tetel feltetcleinek . Ekkor barmely A E n
= Vo + VI
n,m=O
" ,m=O
==
II
00
v(A) =
= O.
(A E 0)
r.
v~,,,(A n X~", )
>
00
L
II ,rn = O
",m=O
vI ( A ): =
nXd=
v~m(A n X" n Ym ) +
n,m=O
00
n ,m=O
es n 3
B C X"
n Ym
" ,m =O
v i ( A n X n Y. ) _ . '
.
O
I 19yc:~.rr~bc vcve a VI mertek definiciojat, inne;~.iris m:gka;';uk- a ~: (~)n~l~
cgycn oscgct , 1lZaz vala ban igaz , hogy VI
Ji. .
.
-
Megjegyzesek
II , Jl mertekek O-n es 0 #: A E O.
ill. a Jl mertek lesziikitesil az
,0 A;>;l kclJ m,eg i,gazolnunk , hogy vol.p . Thdjuk, hogy minden n , mEN mellett
,,,,,1./1,,,,, ,Cliett lIl nen egy
II ,
{A n B E PtA) , B E 0)
u-algebrara. Ekkor I11.Jl eseten ii1.jj , 11 Jl eseten pedig ii jj.
2" A 3.7.1. Tetel - a bizolly itasavai egyii tt - igaz marad elajeles mertekekre
".
3. 8, A Fubini-tetel
Lcgycll
00
X~m' X I :=
n ,m= O
U
n,m=O
"(A n X,) =
".m(A n X~m) = 0,
n ,m=O
166
q-algebrat (ld. 2.7. ). (Talan nem art kiilan is felhivni a figyelmet arra, hogy most
tctszaleges mertekterekrol van szo.) Az (X , 0) melheta terrel kapcsolatban az
.,100 allitasunk a kovetkeza:
167
3.8.1. Lemma
Dti rmcty A E n halmaz Cs tetszo]eges x E Xl, Y E X 2 elemek eseten
i) A z:= ( ze Xl. :(x, z)EA}ef!:.!;
ii) AII := {v E Xl : (v, y) E A} E 0 1 .
Bizonyitas
1II{.sreszt az
Lemma .
A C R
(x E X l, y E X )}
2
"
==
Xl \ All E 0 1
(n E N) halmazok, akkor
00
00
00
00
" ",0
1\=:0
": 0
n= O
3.B.1. Htel
Ha a Ill, Pl mertekek <T-vegesek, akkor minden merhetCi A C X I
halmazra fA. E L+(PI) , fA E L+(1l2) es
0
{
(x ~ A)
EA
(x E A)
nc
u"
X2
J/Ad", ~ J/Ad",.
( AxE),,=
(A x B)'
.
{0
(y ~ B)
(Y E B)
n,
rl' .
Bizonyftas
Ha A
=U x V
(U E 0 1 , V E O 2 ) , akkor
fA. =P2(V) XU ,
j'''. =1l1(U)XV ,
E X,).
3.8.2. Lemma
Barmely f: XI x Xl -+ R (0-) merheta fuggvenyre es x E Xl
Y E Xl elemekre a fenti fz, f 'l fuggvenyek (0 2 - , Ill. 0 1 - ) merhetok:
< +00 -
es legyen
/1.1. OlvasO konnyen meggyozodhet arrol, hogy V egy Dynkin-rendszer (ld . a 2.4.3.
T etel bizony itasa utan tett megjegyzest). Mivel
168
169
ilL ~U."',i.IICgC8 V, V E M esctCIi V n V E M (roviden tehat M Illctszetstabl~~, ezert az c.lobb idezctt IllcgjegyzCs B ) pontja szerint az M -ct tartalllla:T.6
legszukebb Dynk m-rendszer (V(M)) megegyezik 11 = I1(M )-mcl. Az M eV
es a Veil tartalma:T.Mok miatt ugyauakkor
VIM) e V e 0
is igaz, amibOl a kivant V = 11 egyenlOseg mar nyilvan k6vetkezik.
Ha #2 nem veges, azaz J.l2(X2) = +00 , akkor legyen (a J.l2 u -vegesse e
(Id. 2.4.2. Dcfiufci6) miatt Ietez6) Bn E 112 (n E N ) sorozat olyan, hogy
g
(t)
(U E Ill, V E 112 ) .
Az is konnyen ad6dik, hogy ~i-k u-vegesek. Ui. (pI. ~I- re reszlctezve) a rent i
fill
(n E N ) halmazok mellett a j!t mertek u-vegessege miatt van olyan
An E 111 (n E N ) halmazsorozat is, amelyre
~
n =O
U B" .
n,=O
","(Q)
,= ",(Q n B")
(Q E O,) ,
X
(x E
= f A(x) ,
Legyen vegiil
,=
X2 =
U An
Bn ,
~I
val6ban u-veges.
Minden " keszen atl" teMt ahhoz, hogy aIkalmazhassuk a 2.4.3. T et.elt a
~i (i
1, 2) mcrtekekre, figyelembe vew az 11
I1 (M) es a (It ) egyenl3segeket. Innell ~eMt a lIleg hiAnyz6 ~ I = tIJ2 Osszefiiggest kapjuk .
Megjegyzesek
",,( A)
(n E N ),
n= O
azaz
Xd
XI
fAn(X) := J.l2n(A z )
UAn .
fAd""
",,(A )
,=
fAd",
(A E 0).
n ,=O
azaz (pl.)
~dA) =v>z(A) =
fA dl'l
fA dJ.1:2 .
2" Az a1Abbi pelda azt mutatja, hogy a 3.8.1. Tetelben a mertekek u -vcgessege nem csupAn az alkalmazott bizonyitasi tecllllika miatt Iellyeges.
Legyen ui. X i := 10, 1] (i = 1,2), J.l1 a 10, IJ-bcli Lebesgue-mertek (Id.
a 2.6. 1. Definfci6 utAni 1" megjegyzest), Jl2(A) ( A E 112) pedig legyen
az A elemeinck a szruna (ha A veges) Cs Icgyen +00 (ha A nem
veges), aho1 O. = O2 a 10, l ]-beli Borel-halmazok rendszc.rc. Ekkor
170
J.l 1 1-'2
(z E X I, Y E X 2)
J.I:2
=:
li,?1
JI(JI~
dill
=:
li,?1
JIn J
dp =
I dll
kHvt, tkezik .
(yeX 2).
VJI dill
es
Mivel I
L+(p.), (!'.lert (Id. 3.8.2. Lemma) Iz E +(1-'2)
(x E Xd
I" e L+(J.l.d (y e X 2) . igy a ip" ipl ftiggvcnyek definici6ja korrekt, mindketto
nemnegatfv lekepezes. Megmutatjuk, bogy merhet.Oek is, sot, igaz a
3.8.3. Lem ma
i)
ip,
e +(p.J) ,
ipl
L+(Jl2);
ii)
Jipl dJl2
Bizonyitas
esak a 'Prre vonatkoz6 alHtAsok bizonyftasat reszletezziik, mivel a. ip'-re
mindez anal6g mMon vegezheto.
PI-m.m. x E Xl
f"
L(pJ) .
Tegytik fel el6sztir, hogy I ICpcsas fi.iggveny, azaz IE Lt(Jl) . Ekkor egy
" :F .J veges halmazzal es alkalmas, paronkent diszjunkt Q; E 0 (i E .1)
halmazokkal, valamint Zi ~ 0 (i E.1) szarnokka.l I = L;E.7 Z; XQ; . Ha
x E XI , akkor
Iz = L Zi{XQ , )z
iE.7
< +ex>
= L Zi X(Q;J .. ,
iE.7
~/(X) ~ /
I. d",
~/
(1+).
~/
(I.t d" , - /
(I.r d", ~
/ I.d",
. ;E.7
IY.l egytittal azt is jelenti, hogy '-PI =: LiE.7 Zi IQ, E L + (PI) es (ld. a 3.8.1. Tete!
bi"l.onyitasa utan tett 2 megjegyzest)
\PI%. dill
t'Zc rt
=:
J1*
< +00 ,
dll
\PI dil l
Ha
i"
E Lt(J.l.)
=:
VJI+dlll-
\PI - dll t
=:
I+dp- / rdll=
Idll
J72
173
\PI
(/J"-nel az R " -bcli LcbCtlguc-lnertt ket jdolve (Id . ~ . 6 . . Ugyanez mOIl.dhalo 5 helyctt T -re C8 n -re, a "ubini-tttel mellett a /-II Le besg u e- m c r~
tek ell,o li&-invan:,ucilijat (Id . 2.6.), ill . az azzal analog mOdon igazolhato
I"
E L(p2 ) pt-m.m .
g)' dP.l
E X t elemre;
= 1).1'
9 dP.l
Megjegyzesek
l O A 3.8.2. Tetel ii i) egyenlc3seget $ZukceSSZlv inlegrdltis elnevezeS/ie1 szokas
illetni.
2
cgyenl~ge t
kapjuk .
dp, (.) =
S(%):=
j fdp" = j fo S ld,tSldp"
174
175
4. Topologikus mertekek
4.1.1. Definlci6
Megjegyzesek
' " Legyen (X,O) egy merheto ter (Id. 2.5.1. Definici6), ekkor az X-en
f E:F eseten If I E F .
11 1\ cgy vektorh cil6 tartalmazza a:z 1 fuggvenyt , akkor egyuttal nyilvan Stone0 szamra es ! e 'F fiiggveny re
4.1. A Daniell-Stene-tetel
ii) barmely
Legyen 1 az Xen er le lll\e~ett, minden Xbeli ponthoz l et rende-10 fUggveny. Azl mondjuk , hogy a fcnti 'F vektorha16 egy Slone-fife
vektorhfilO, ha barmely / e 'F eseten min{f, I } e'F .
es skahirral
vale
ertelmezett merheta lepcsOs fUggvenyek (Id. 3.2.1. Defi nici6) halmaza egy
Stone-fele vektorha l6 (Id . ezzel kapcsolatban a 3.2.1 . Tetelt). Ny ilvanval6,
hogy l E:F .
2" Konnyu meggondolni , hogy az elazo megjegyzesben O-r61 elegenda azt
feltenni , hogy (X-beli) gyuru (Id . 1.2.1 . Definici6). Vilagos, hogy ekkor az
1 e F tartalmazas pont.osan abban az esetben teljesiil , ha X eO , azaz ,
amikor n a lgebra (Id. az 1.2.1. Definici6 utan tett 4" megjegyzest}.
3D Ha pI. 0 1:- X C R , akkor az X -en ertelmezett, val6s erteku , folyt0008
fiiggvenyek halmaza egy Stone--fele vektorhal6.
4 Legyen (X,n,JJ) egy mertekter (ld. 2.5.1. Definici 6), p E (1,+00),
tovabbci :F := V(JJ) (Id. 3.5.). Figyelembe veve az V terekrol a
3.5.-ben mondottakat , rogton ad6dik , hogy :F is egy Stone-fele vektorhal6. Az is nyil vcinval6 , hogy 1 E LOO(JJ) , p < +00 eseten pedig 1 E F
ekvivalens azzal, hogy a JJ mertek veges.
A fentiekben bevezetett
~lIkl lll tegraJt ertelmezni .
:F
"w"ly rendelkezik mindazokkal a tulajdonsagokkal, amelyek egy mertek altai geuMAIL integralt illetoen meghataroz6ak voltak. Ezek: a li nearitas, a monotonitas
1M !1.<1.2. Tetel) es a monoton konvergencia eseten val6 t agonkenti integralhat6sag
(lit IIcppo Levi-tetel (3.2.2 . Tetel. (Gondolja meg az OlvasO, hogy val6ban ezek
".Ilk !l tulajdonsagok , amelyek karakteriszlikusak voltak az integr3.l-Cogalommal
'MllfllOlatban. )
116
177
ezert egyuttal max{f,u }, min{j,g } E:F is rennall , azaz :F egy un. (val6s)
vektorhdl6 (vagy ruesZ-tef). Specii lisan tetszoieges f E :F eseten I E 'F .
Ezek utan (c1egge terlTlCszclcs m6don} a kovclke ...o definici6t ve ...djiik be:
4.1.2. Definki6
Legyen :F egy Stone-fele vektorhal6 f : :F __ R egy linearis ,".k,io",a1,'.
amcly
,
It
0 ==> f(J) ?: 0)
i) pozitiv (azaz :F 3 I ~
.;,
ii ) f n E :F, 0 ~
In
In+ l
(n E N) , Supn
In
E:F esetcn
MI~ell ~a~.mel~
(~~~
(.)
In E :F,
In+l
In
(n E N ), i~f In
Val~all ,
ha ..i) Ca, ii) igaz , akk~ r ,a (.)-ban sze replo (In) sorozatbOl kepzett
fuggvenysorozat nYllvan cieget tesz a ii)-ben kivant feltctelek k '
S ll p .. (lo _ In) = 10 . Mivel ii) szerint
ne es
(10
In)
Megjegyzesek
1 " A 4. 1.2. Definici6 ii) felteteleben szereplc5 I(ln) (n E N) szamsorozat
az I monotonitasa miatt nyilvan monoton novekedo Cs
178
(I E F)
ezen a vektorhal6n egy absztrakt integral.
b) Tekintsiik a valamely kompakt [a, b) C R intervallumon ertelmezett, val6s erteku es folytonos fiiggvcn yek (nyilvan Stone-fele) :F
vektorhal6jat . Ezen a vektorhal6n a:1. J(I) :=
I (f E T) funkcional egy absztrakt integral. (Az itt szereplo
I az I fiiggveny
Riemann-integnilja.) A reszletek meggondolasat az OlvasOra bizva
annyit jegyziink meg, hogy In E :F, 1n+I(Z) ~ In (z) (n E N )
Cs limn In(z) = 0 (z E [a,b)) eseten az ismert Dini-t.etel miatl az
(In) sorozat egyenletesen konvergens, amibc5l limn In = 0 mar
kovetkezik .
3" Azt mondjuk , hogy az :F vektorhal6 egy IIII::F -- [0, +(0) normaval
normtiit veHorhtif6 , ha tetsz51eges 0 ~ I ,g E T, I ~ 9 valasztassal
11/11 $ 11,11 .;, Ilhll = IIlhlli (h E F) M,gmutathato, hogy , kko,
barmely 41 : :F --+ R folytonos, linearis funkcional felirhatO kCt folytonos ,
pozitiv , linearis funk cional kiilonbsegekent .
-1 ~ Pcldaul a (C[O, 1) ,11.1100) Banach-lcr egy nonnalt vektorhalo. Ha
(X, n ,po) egy mertekter , I ~ P ~ +00 , akkor az (V(p),II II,) Ba~
nach-tet szinten normalt vektorhal6.
J:
f:
J:
AlIlint azt a bevezetoben jeleztiik , a celunk az , hogy minden absztrakt inIll\rl;,l l "konkrctla" tegyunk , azaz egy alkalmas po mertek segii.SCgevel I(I)-et
II ( J) JI dJl alakba irh assuk . A po me rtek ertelmezesi tartomanyaul szolgal6
II 1\III,I'i.lra konstrukci6jahoz vezessiik be az :F. nyilt halmazok fogalmat az alabbi
Ilt tln ir io szerint .
179
4.1.3. [}efinfci6
Legyen X #- e, F C R X
egy Stone-fele vektorhi l6. Valamcly
G C X halmazt .1".ny{ltnak neveziink , ha van olyan monoton novekedo
0 :5 I n E.1" (n E N ) 8Orozat, amelyre xc = $ UPn I n .
Ca
- (G E 'P(oN) . xc E:r } . Vilagos, hogy 0 E a,
"kkor tehat .1"+ C F+ L a '- az 'F vekto~ ter null.; lemc. Az X halmaz ma r
hlll'l,en x. E , + nent m_, mill t
.
_ 0}
111'111 mindig lesz , -nyilt , pI. :F :== {X.} csctcn a - {
.
.'
>
0
kkor {I > et} E a . Mlvel UI1'
, Nem nehez behi.tni , hogy ha I E + , Cl _ , .a
1=8UPn I.. U.. E .1"+ , In ~ In+1 (n E N , ezerl
Legyen pI. X := R es
v .. := n . Un
F := {f : R - R : f folyt.onos} .
(a + li n
n (:t
a)
n-(6-.)
(0 ~ :t
~ :t ~
Ny ilvoin minden %E {f ~ a} melleu lim,. Vn(z):::: 0, ill ... lim n;:(%) ~bt~ ' ha
E {f > et} . Az vilagos , hogy a (vn ) sorozat monoton noveke 0 , tova
til..
~II HUP .. Wn -
6 - lIn)
< a + l i n)
(n E N ) .
III
(. E R \1)
til ..
tII.. +1
(n E N)
. .
(6 _ a :5 nEN ) .
(6 - 1/ n < .,,6)
AEa
11 (\
X#-
es
2
(6 - 0 ~nE N)
1'+ ,: {f E1' , I
(A. E g , n E N )_
4.1.1. Lemma
;) 0, : 0(.) ;
ii) a metszet-slabil ;
iii) G n E a ( n E N)
U~
. =, G.. E a .
8 izonyitas
11 a
:F. ,: {f , X -
180
181
tilt!ll IclcsiteU 6skcpe n T-ban van.) i gy u C OF , amib61 rogton ad6d ik, hogy
0(.) C OF _
,A 3 . 1 ~ 1. Tete! (i ll. az utana tett megjcgyzesek) es a 4.1.1. Lemma megfogatrnazasa clott rnondotlak alapjan minden .:F+-beli fiiggve ny merheta az fl(u)- ra
~lczve. B,a f E :F. , ak kor f+, j - E:F+, czert f = f+ - j - m iatt (Id . meg a
.1..~ .2 .. Tetc~t) f IS merheta l1(u)-ra vona tkoz6an. lnnen OF C 11(,,"> , azaz az
clobblCkct IS fi gyelcmbe vcve DF = n(u) kovetkczik .
G.
,.0
e F+.
(11
E N) ell
"
"
/ -re tett fel tetelek miatt J(v) = sUPn [(v n ) ki;ivetkezik. Ugyanak kor
II lindcn n E N mellett v" :::: u" , azaz [(Vn):::: l(un ) . Igy val6ban igaz, hogy
I(v) :::: SUPn [(Un) .
I llllen az
N ). a kkor v"
(n
U tI
E:F+ . Mivel
"
"
111
Cs ~G. E :F-+.
A fent iek alapjan tehat ertel mez hetiink egy [" : F';'
lthi.bbiak szerint : ha fn E F+ , In ~ 1,,+1 (n E N , F';' 3
-+
lekepczest az
II'/~yclI
J"(I)
;=
,up 1(1") _
"
supf" = su p g" E
"
F;'.
"
"
A"I. edd.~gi~k ~lapja~ mar. minden eszkoz rendelkCZt!siin kre all ahhoz , hogy a
Jd cn pont fo tetelet beblzonYlthassuk. Nevezetcsen , igaz a
4 .1. 1.
T ete l
(Daniell- Stone)
.) 1'(I)~/'(g) (I,9EF+.J~g) ;
b) 1"(I+o-g) = I ' (I)+o-l"(g) (I, gEF:" 020),
t.uvabba igaz a Beppo Levi-tetel (3.3.2. Tctel) analogonja is, nevezetesen: ha
I" E :F';', In :::: In+1 (n E N) , akkor
i) Fe L'(") ,
ii)
1(1) =
J f d"
(I E F) ;
(A E OF)_
Bizo nyftas
L;issuk be elOszor azt, hogy ha u" E F , u"
b;irrncly v E F+, v:::: SUPn Un eseten
"
182
<
Un+l
(G E u) , ill.
(A E P(X)) _
(n E N ) , a kko r
( Mint edd ig is, legyen in f 0:= +00.) Az l"-r61 korabban mondottak alapjan
It
iJ." definici6ja ko rrekt es JJ. is mono ton: A, B E "P(X), A c B eseten
183
00
"'( n=O
UAo)'; n=O
L " ' (Ao)
(Ao E PiX), n E N ) ,
Bclatjuk , hogy a C 11 . Ehhc't fl I.' ddlnrci6jll rniatt cleg azt bcbizo llyitani,
hOlO' lnirmcly A,e E a , ,,' (0) < +00 eseten
...
IItlrozaLokkal XC = sUPn Un
n
.=0
,=0
00
['(x .)
=L
?:
XA
= SUPn Vn
A C G
(azaz
, kovetkezeskeppen
00
['(x .)
n=O
= L "'(Ao) ,
n=O
cgy kii /sa mertek (ld. a 2.4 .1. Tete/ bizonyitasa utan mondot takat) .
..
Mcgmutatjuk, hogy
:F., x. ,; f)
(A E PiX)) ,
I':z ~ l~ a . eseten elegge nyilvanval6. A p' defi nici6jat figyele mbe veve clegendo
azt e atm , hogy barmely f E :1"+' XA < I mellett "'(A) < [' (I)'
I
G E a ho
. '
r
es van 0 yan
H'
gy A C G . Azt t udJuk (Id. a 4. 1.3. Definici6 ULan igazoltakat), hogy
t.e~~I.egcs . 0- E (0, 1) szamra G:= {J > Q} E u . Az A C {J > o-} tartalmazas
tnvlahsan Igaz, 0-. X{J> .. } :5 f aJapjan pedig
G;n := {J >
j.
Tn}
(n E N, i = 0, ... ,n2n )
~ p'(A
n B) + "'(B \
10'= 2-
A) (B E PiX)) ,
n.
0
,
XG .. (E:F+l
A;o
,= {if > i, 2-
0
}
n if,; (i + I), 2-
if> n }
pedig mertek .
164
(n E N ) ,
;=0
~Teha.t
a 11' -mer hew halmazok rendszere (Id. a 2.4 .1. Tetel bizonyitasat
III: az .azutan mondottakat) .) Alkalmazhat6 a Caratheodory-tetel (2.4 .2. Tetel) '
IllISZermt 0 egy a-algebra,
'
n3
~,['(I) ,
:5 /"(1) .
es
0
}
(i = 1, ... , n2" - 1)
(n E N )
(i=n.2")
165
1;;. definicioja korrekt , azaz 1;;.(/) nem fugg az f E:F fiiggvenyaktualis f = E7: 1ai ' XA, felbontasatOl.) Al'. Ii< funkcional pontosan akkor
lesl'. absztrakt integral, ha p kvlizimertek . (Ennek az ekvivalencianak az
egyik iranya trivialis , a masik a 3.2.-3.4. fejel'.etek eredmenyeivel analog
modon konnyen belathato.) Nyilvan fennall tovabba, hogy 0;<" = O(Q) ,
ezert a 4.1. 1. Tetel alapjan igaz az allibbi kovetkeztetes :
jl kvlizimertek ==> 1;;(/) =
J I dp
(f E:F) ,
[/,g)
,= ((x , I ) E X
x R," E X, / (x) S I
zarmak neveziink , ha
,= C(X) ,= (f, X
X\A E T .) Akovetkez6jeloleseket
- R , / foly<o. ",),
Co := Co(X) := {J E C : I korlatos}.
Mivel 1 E Co , igy C is es Co is StOile-fele vektorhilo.
Jeloljiik S-val azoknak az X-beli u-algebraknak a halmazat, amelyekre
nezve barmely IE C fiiggveny merheto. (Tehat (Id. a 2.6.1. Lemma elott mondottakat) tetsz6leges 0 E e es A C R Borel-halmaz (Id . 2.6. 1. Definici6) csctCII
I- I [A] En .) Ezek utan (reszben a 2.6.-ban mondottak mintajara) vezessiik be a
kovetkezo definici6t.
4.2.1. Definki6
halmazoknak , a
ii) Bo := Bo(X) := nO ES 0 elemeit pedig (X-beli) Baire-halma zo knak
ne.vezziik .
lekepezes pedig u-additiv . Terjessziik ki az m-et az 0(1i) u-algebrara
(ld. 2.1. , 2.4 .), a kapott merteket jeloljiik v-vel. Megmutathato, hogy
barmely A E 0;<" eseten A x [0 , 1) E 0(1i) es az
lekepezes mertek . Az is igaz tovabba, hogy I' = PPl (ahol - emJekeztetoiil - P1 az egydimenzios Lebesgue-meltek (ld. 2.6. , ill . 2.7. . Innen
viszont tetsl'.oleges I E :F+ fiiggvenyre
J/
188
!l
180
is cJOfordul.
r :=
Bo(X) = {0 , X) ,
B(X) = {A E P(X) : A vagy X \ A legf. megszamiaih at6} , azaz
vai6ban igaz , hogy Bo(X):;e "8(X) .
4.2.1. Tetel
Legyen (X ,T) egy tet.szoleges topo logikus ter ,
I , Co( X ) - R
Megjegyzesek
pedig egy abszlrakt integra l. Ekkor egyertelmiien ietezik olyan I-' mertek
Bo{ X)-en, amellyel Co(X) C L'(p ) ,;, 1(J) = f / dp (J E Co(X)
igaz .
(/ >.) =
(L
(/
4.2.2. Definki6
Egy (X, T) topologikus ter esete n a
p , Bo(X) _ {O,+ooj
merte.ket az
\ {/ > O}
(X ,7 )
tihlek) nevezziik .
Nyiivan barmeiy veges p : Bo(X) __ [0 ,+00) Baire-mcrtek esetcn
> I) E 9 ,
= 0) = X
mcrtck veges.)
Az elobbi tctelt szem elott tartva vezessiik be az alabbi defi]l Lci6t :
Co(X)3/-
(/ > 0) =
= p(X)
(f E T +)
fdl'
n:l
r -r
190
Megjegyzesek
1 0 Batmeiy veges p Baire-mertek m elleu minden A E Bo(X ) ha lmazra
= ,"p{p(F) , S.(X) 3 Fe A, F
",q .
n
20 1I a 1 < n E N es pI. T az R n_beli euklideszi topol6gia, akkot az R
n
feletti - Pn Lebesgue-Borel-mertik (ld. 2.6.) Botel-mertik (R , 7)-n.
191
l b vabba,
no.
0:f:
J I dJJ. = J I dJJ.o
(f E C(X
A tovabbiakban a topologikus terek eJmeletcbol ismert nehany olyan eredmenyt targyalunk (a fontossagukra vaM tekintettel a bizonyitasukkal egyutt), arneIyekre a kesobbiekben sziiksegunk lesz. Ezek koziil az elsa egy P. Urysohn_tol szarmazo tete!, amely a topol6giaban is alapveto szerepet jatszik.
A :=
W, J~ .._
kovetelmenyeknek.
.. ) . . k a bizonyitasara. Le.
h t tel i)
1\ reszene
Ezek utan terjiink ra az Uryso n- .~.
. t
olyan Vo E T halmaz , hogy
ekkor III) szenn van
I
\ B . (E T)
Ilyen
chhez
VI := X
k
.~.)
I
an
van
olyan
V / E T , amellye
" C Vo, Uo C VI . Ismet csa III a apJ
=-
I 2
Uo C Vij2, U l j2 C VI .
.
... , 2"-1 mellett
k~p unke~y
li z eljarast folyt atva minden
n E N es - k=0 , 1, V
Mas szoval
tehat
1
U
1
2
.
E
T
halmazt
,
amelyre
U
-:
C
(HI"o'lyan
VET
halmaz
,
tl yan
1 2[0 1] szam oz van
_ ~
lel.llzi5leges diadlkusan raclOmihs r E. ' T es r h< q a kkor Ur C Vq .
hogy hacsak q E [0, 1] diadikusan raclOna IS
,
_
J(x) ~ 0 (x E A) "
Legyen
Q d .:= {:t E [0,1]: x diadikusan racionalis}
,
.<I
. Az Olvas6ra blzzuk annak
"8IIIcggondolasa.s..
valamely t Ehogy
[0, 1]az esete\
korrekt , valamint t ,s E [0, 1],
VI aflmaz-d~~1~i6ja
e
V~
1< s eseten Uf C U .
J(y) ~ I (y E B) .
(t < 0)
Bizony{tas
(t > I)
meg eioszor, hogy a 4.2.2. Tetel i)-ben szereplO kijelentese ekvivalells aMutassuk
kovetkezovel:
~8
=-
Az i)
iii) kovetkezteteshez ui. legycn F:= X \ V . Nyilvan igaz, hogy V
es F ket diszjunkt halmaz. Tekintettel ana, hogy V, F zart nalmazok, ezert i)
Szcrint alkalmas A, jj E T halmazokkal
v C A, FeD, AnD = 0 .
Mivel A C x \ D es x \ D zart, igy AeX \ D. Ugyanakkor X \ v = Fe 8,
ezert
iii)-nekX. \ iJ c v , amibOl pedig AC V kovetkezik. Tehat W := A eleget tesz
=-
ACW, WCX\B=BCX\W .
19'
(:t E X) .
9"
(Mivel Uf = X (t >
ill . UI = 0 (t < 0) , ezert va16ban igaz, hogy
n, C [0,1].) Az igy defim alt I ruggvenyre nYllvan teljesul, hogy J(x) ~ 0
hh
EXes ~ > 0 ,
C
Legyen
e
ez
:to
_
Be kell meg latnunk, hogy J E
. b
J() < t + ~ az y E X\Vlo_~
,
1y:t E U10+0 .pont
an
x _ 0
,
I .- I(:to) . Ekkor barme
..
o .- pedlg
. nyl1van
' J()
> to _ ~ telJesul. Ha
y_
helyen
(:t E A) es I(y) = 1 (y E B) .
.
) = t a mibol:to E Ufo +< es x~ ~ Vfo - oj2
Ilkkor VET , :to E U (u\
. .
tehat Xo U -'). Vegul :t E U
kovetkezik . Az VI halmazo ~.:ICI~
hogy I folytonos 'oxo-ban .
cseten I/ (x) - tol ~ , azaz va 0 an Igaz ,
~(~o '~ao~iatt
:s
.
Iasa
' roppa nt egyszeru. Legyen ui.
A ii) ==> i) irany Igazo
A,~
r'I(-oo, 1/')],
jj ,~
193
r'I( I/',+oo)1,
A, iJ E T
A e A, Be
, valaminL
e, Arl B = 0 .
4.2.1. Lemma
l3armely (X , T ) kOhll)ukt T, -ter no rnllilis,
Bizo nYltas
Megjegyzes
/1
Az elobbi
. Ur~so h"
n- ete1 k"ovetkezo elesft.ese is igaz: tetszoleges (X , T)
topologlkus tet eset.en i) ekvivalens azzal, hogy
iv) barmely A e P(X) zart halmazhoz es f: A _ [a bJ (a be R
a. ~ b~ folytonos ftiggvenyhez van olyan 9 : X _ [a' bJ 9 ~ C( X )
fuggveny , arnelyte g(x) = f(x) (x e A) teljesiil.
"
D ,~
U K(b) E T ,
K(a) n D ~ 0 ,
'E no
A fentiek szerint tehat tetszoleges A , B E P ( X) , {0} zart , diszjunkt halmazok ra
Igaz a kovetkezo: barmciy a E A elemhez megadhato olyan K(a ) E T es ol yan
X" E 7 hrumaz, hogy a E K(a) , B C X" , valamint Ja) rl X" = 0 teljesul.
Mivel A kompakt is, eZett egy a lkalmas Ao C A veges resz halmazzal
4.2.3. Definici6
Azt mo ndjuk , hogy az (X , T) topologikus ter norma/i! ha
T, -tet es igaz fa a 4.2.2. Tetelben szet epl5 i) aliltas.
'
(X ,T )
A c ..L ~
U K (a ) ET ,
"EA."
es ;e A , ;exB,)Y
eseten
'
(% E X)
t'
194
To
J(%) , ~ ,
;of{p(% , a) , a E A)
Inf{p(z , a) : a e A} + inf{p(x , b) : b e B}
II
(% E X) ,
,~ f A
n (X \ {aJ) E P (X \ {a J) , A E T)
{A E Y, a A) ,
Tehat
= { X n B,
BET'} .
(X, 7)
nyilvan altere
4.2.3. Tetel
Legyen (X, 7) egy )okalisan kompakt ter . Ekkor van olyan (X', 7')
kompakt T,-ter , ameiyre
i)
ii )
Megjegyzesek
"
0
I ]~ 2 3 T'tel ' liitasainak . Ua
p
g
olyan to ol6 ia ~'-bk'kn , amel~el~!~~:: a7 ; ~'t.~ri~t n;i1t is es zart is ,
.
k (X T)
( X 7) kompa kt IS , a or az
kiil'onben csak X E 7' , de X nem zart 7' s1.ermt . (Kompa t
,
at
BizonYltas
Legyen w egy X -he1. nem tarto1.6 eiem , X':= X U {w} es
A't. OlvasO konnyen meggyo1.adbet a n 61 , bogy (X' , 7') egy topologikus ter. Mutl\88l1k meg, bogy T 2 -ter is. Legyen ehhez z , y E X' , Z:f. Y . Ua z , y EX , akkor
s't. (X , 7 ) ter T,-tulajdonsaga miatt !ete1.nek olyan dis1.junkt A , BeT c 7'
hahnazok, amelyekkel z E A , y E B igaz. Ua pedig z EXes y = w , akkor
Icgyen V E P(X) egy 7 s1.erinti kompakt kornyezete z-nek . A 7' topol6gia
definici6ja alapjan a V halmaz i' szerint i belseje is nyilvan tsrtaJmazza z-et .
Vcgi.il ad kell mar csupan eszrevenni , hogy w E X' \ V E 7' , azaz V es X' \ V
d i81.junkt (7' szeri nti) kornyezetek.
I met (id 31 eleze bi1.onyitast) vlg!elt. n !dvoli pon!nak is S1.o1. (oj e e . A ( X ' T') ter az (X 7) un . Alexandrov-reIe I-ponl
,
'
kas neve't.Dl . z
kompoklijik6ci6ja ,
i)
ii)
iii)
F,,-halmaz , ha A = lfn'= o An
x' =
UA,
, er
(A, E T' , 1 E r )
va la mcly r:f. 0 halmaz1.al , ak.kor egy alkalmas 1'0 E r mellett w E A.,.o . Ez azl
jclent i, hogy X' \ A.,." az X-nek egy 7 s1.erint (hi igy persze 7' szerint is)
ko mpakt reszhalmaza . De
X' I A"
czcrt egy a lkalmas veges
ro c r
UA"
,er
halmazzal
x' I A"
U A, .
.,.er"
196
4.2.2. Lemma
Legyen (X , i) egy normalis to.pologikus ter,
ai;ibbi kijelentksek egymissal ekv]valensek :
l'
G . .(C(X) ;
2'
G . .(C,(X)) ;
G E PIX)
EkkoT az
197
BizonYIl<)s
1. ~) 2 <> : C E u(C(X)) miatt van olyan monoton noveked5 U E C(X)+
( 11 E
sorozat (Id . 4.1.) , hogy Xc = sup,. u,. . Mivel 0 < u < rI
ezc.rt u E C (X) ( E N) ~ h '
.
- .. - Xc (n E N ) ,
I)
G E O'"(Co(X) .
G=
es
('g,ycnl~~
,,
{Un> O} E T
,.
~ _ ==>
(n E N ) .
Bizonyftas
lis
G = {/ > O} .
Megjegyzesek
I " Az el"bb'
o I Iemma'b'01 (a 4.1.1. Lem mat is figyelembe veve) rogton adodik
.:' hogy egy (X , T) normalis topologikus tet eseten Bo(X) megegyezik
halmazrcndszerekkel.
2" " .a (X , p) cgy tets~olcges metrikus tee, akkor Bo(X) = B(X) Lc en
Ul. F E P(X) zart halmaz , ekkor
. gy
4.2.4. H tel
uggveny, arne y re
A kovetkeza tetelben metrikus terek egy eleg tag 06ztalya eseten ad unk jellr rnzest Borel-mertekekre, amely - amint 82t latni fogjuk - a kesobbiekbe n mas
vonatkozasban is fontoa szetepet kap majd.
" :0 .1:=1
(n E N ) alapjan GE T es G
F,, halmaz.
(b IIlobblhoz azt vcgyiik eszre, hogy minden k = 1 2
meIJett az
( u. ~ I/k)
hahnaz zart.)
Az
y E F)
< I/ n) .
n =l
Ezert eJeg csak azt belatni , hogy t.etszoleges t > 0 szamhoz van olyan kompakt
4.2.4. Definfci6
Legyen (X , T) cgy tOI>0logi ku8 ter, II pedig egy Bo rel-mcrtek az (X, T)
teren . Ad mo ndjuk , hogy p regu16ris, ha barmely A E SeX) halmaz
eseten
{Zn EX : n E N} = X ,
amibOl minden r > 0 cseten
~
X ~
k?vetk~zik . A ,2.1;2. Tetelt felhasznalva tehat p(X} = liffit p(U:- o Kr(z;) ad6dlk . Kov.etkezeskeppen barmely 0 < n E N termeszetes sza~hoz van olyan
k n E N Index , hogy
'.
(U K".(%;)) ~ . (X) -
, . 2- .
~G E
Bn zart
es
Bi)
;=1
.(A)
.( n
Bi )
.= 1
.(n
inf{.(O) , A C 0 E B, (X ) n T)
(Id . a 4.2.2. Definid6 utan t ett 10 megjegyzest) , ezert minden ilyen mertek " kivul
rol" regularis. Tovabba, ha X kompakt, aHor - Ieven minden zatt F E P(X)
ha lmaz kompakt - az elc3hhi p regulatis.
Bi) + .(B.+.) -
.un
Bi) U B ... )
i= 1
;=1
.(n
Bi ) + .(B.+.) - . (X )
Ii.?'.(n
A 4.2.4 . Tetelt el hasznalva metrikus tereken etlelmezett methetc3 fuggvenyekre adunk a kovetkezo allitasban egy - tallin elsc3 halbista kisse meglepc3 - jellemzest.
Ncvezetesen megmutatjuk , hogy az emlitett fiiggvenyek mertekelmeleti szempo nf.-.
hoi nincsenek tul " messze" a folytonos fuggvenyektOl.
Legyen most mar K:= n:=1 Bn ,eH ot K zart es (Id . 2.1.2. T etel)
.(K) ~
.=1
Ha tehat peA) < +00 , a kkor tetszc3leges t: > 0 szamhoz megadhatOk olyan
kornpakt K E P (X) es U E T nyilt halmazok , amelyekkel K cAe U es
II(U \ K) < t: teljesul .
A 2.6.2 . Tetel szerint az (R n , T) ( I $ n E N ) teren ertelmezett ("Rn
fclctti") Lebesgue-mertek rcgularis (pI. az euklideszi T topologia szerint) .
Egy J.I Baire- mertek tegulari tasat a nalog modon definiaJjuk, csupan a
T " feltetel helyett GET n Bo(X)-et irunk , a " K kompakt" feltetel
Ilclyett pedig a " K E Bo(X) , K kompakt" kikot.est tesszii k. Mivel Mrmely IJ.
vcges Baite-mertek eseten
; =0
.(n
: K C A, K kompakt} .
; :c O
;",0
lI a Bn :=
= sup{p(K)
Bi ) ~ .(X) - ,.
i=1
Azt kell meg behitni , hogy K kompakt. Vegyiik eszre ehhez , hogy
K C B. ~
'.
U "K~,,-C.(~%.T)
;:::0
ell diamKl/n~z,, ) $
200
a ) van olyan
folytonos;
c) alkalmas Kn E P(X) (n E N) kompakt, paro nkent diszjunkt hal
mazokb61 allo sotozattal , valamint egy N E B(X) p.nullamert.ekli
halmazzal igaz az, hogy X = (U:'=o K n)UN, Nn(U :'=o Kn ) = 0 es
az I fUggveny barmely Kn re (n E N) valoleszlikit.ese foly tonos.
201
Bizonyrtas
=-
, ElIltekc~tetiink ima, hogy a fcttetclek kozott szercpl6 " megszamla thato bazis"
(nil . lo po loglku8 bazis) Ictezesc a kovetkezotjelenti: van olyan G n E T (0 E N )
halma:r.sofozat , hogy barmcly Y E T halmaz eioalHthat6 Y = UnEM G n alakban
egy alkalmas M e N indexhalmazzal.
. Az e ',nlc ~e'<ltet.Oben bevezetett jeloleseket is hasznalva tegyii k fel el&zor , hogy
~zzclltz a )
b ) k OvcL k ('1.Lel~lI t Igllwltllk . A b )
c) irl\nyi1oz cI&zor is
Uassuk be 31,t, hogy ICtel/;ik ko mllakt , pnronkcnt diszju nh hah na:to kna k egy olyan
I{" E P(X) (0 < II E N ) SOfozaJa, amcly re ,,(X \ U;': I K.) < 1/ 11 es az
f fiiggve ny K,, -re val6 Ics7,ukitese folytonos (n = 1,2, ... ) . Vala ban , le!U'en
Kl a7, ! : = i valas7,tasnak megfelelo b )-beli K halmaz. lI a vala mllyen
0 < n E N eseten a K lt ... , K n halmazok mar eleget tcsznek a felteteleinknek ,
IIkkor jelolj iik K'-vel az ! := 2'( ~+1j valasztassal b)-ben kapoU K halmazt
'~Lc kintsu k L: = U7: 1 K; - t . A Il regularitasa miatt (Id . 4.2.4 . Tetel) ekkor van
nlyan Kn+l C K' \ L kompakt halmaz, amellyel
"(K'I L) -
" (K.+ 1)
1
2. (n + 1) .
KoveLkezeske ppen
"(A) <;
<; " (X
Ih . N:= X \
linnet csak ,,_4.2.4 . Tetelre hivatkozva Ietezi k olyan K E P(X) kompakt haimaz
hogy al/; A := X \ A jeiolessei
ItI,
K C
AI N =
X \(A UN),
" ((A I N) I K)
<t -
"(A) ,
U::'=l K n
=- a)
azaz
(r EN)
g(r) ,= { Y
I'(X
I K) = "(A U N U ((A I N) I K
f(r)
I N) I K ) <t .
' I'chat
1=y
,,-m .m . lI a
GE 7
(r EXIN)
, akkor
~
g-I[Gj = (g-I[Gj
n N) U
(U(g-I[Gj n K.
= No U
n :O
Un n A C Kn () A C gO' [G n! C Un () A .
go
(Ug; I[Gj) ,
,,:0
IIhlpjan
-
<;
Yo
I~zcrt
I (Gn! = Un nA
(n E N) , igy m inden n E N eseten
I [GnJ nyilt
A-ban , tchat Yo fo lytonos. Mivel az I , y fiiggv enyek K-ra val6 leszukitesei
nyi lvan megegye1,nek , e1,ert innen az K 3 z >-> I(x ) lekepezes fo lytonossaga mar
kovetkezik.
202
203
es a
BizonYltas
'"Pp! ,= {t" 0)
halmazt az
U:=o
hO~Y.
egy
"
4.3.1. Lemma
0&
' "ppl CU .
Bizonyitas
K C V,
V n (X' \ U) = 0 .
vj L
4.3.2. Lemma
~armel~. lokali.s~n kompakt (X,7) topologiku8 ter es G E P(X) eseten
Igaz a kovetkezo ekvivalencia:
G E .(IC(X )) <=> T 3 G K. - h.lmaz.
204
4.3. 1. Definki6
Az (X, T) lokoilisan kompakt topologikus \eret a vlgtelen6en megsz6mlalhatOnak nevezzuk. ha X K~. h almaz.
f;kkor tehat egy alkalmas Kn E P(X) (n E N) kompakt halmazokb61 a ll6
IIOrozattal X =
Kn . Nem lesz nehez megmutatni . hogy ilyen terek eseten
az elc3bbiekben vizsgait ket halmaz egybeesik, nevezetesen igaz a
lfn"=o
4.3.1. Tetel
Legyen az (X .7) lokalisan kompakt topologikus ter a vegtelenben meg
szamlalhat6. Ekkor
.(IC(X)) = .(C(X)) .
205
Bizonyitas
Bizonyitas
Mivcl
K(X) C C(X ) ,ezert
u(K(X) C u(C(X)
Ha viswnt
G E u(C(X) , akkor egy monoton novekedo u" E C(X)+
(n E N) sorozaUal Xc = sup" u" . A 4.3.2. Lemmat felhaszmilva pedig o lyan monoton
novckcdo Ie" E K(X)+ (n E N) sorozatot kapunk , amellyel 1 = Xx = sup" Ie" .
KovcLkezeskcppclI az 1,, := u"Ie,,
(n EN) sorozat is monoton novekedo es
minden tagia K(X)+ -bcli . A nyilvanvalo Xc = sup" I" egyenl5seg alapjan tehat
C E .("(X))
II" E K(X)+
(n E N),
ckkor Ln E O.c(X) == Bo( X ), L" zart ( n E. ~) .. ' sO~, ,L" .~supp .u" miatt
kompakt is. Az (u,,) sorozat monoton novekedesebol nyilvan kovetkezlk, hogy
L"
Megjegyzesek
.:~
~<> L"e ( U,,+l
l O A 4.3 .1. Tetel fcltetelci mel lett tchat n.c( X ) -:::; Bo(X).
(X, P (X diszkret ter pontosan akko r lesz a vegtelenben megszamlalhato, ha X legfeljcbb megszamlalhato.
3 " Egy
ler a vegtelenhclI megszamlalhato. Ui. legyen To (C T) egy legfeljcbb megszam lalhat6 bazisa T -nek (Id. a 4.2 .5. Tete l bizonyitasanak az elejen
mo ndottakat) . lIa
T' := {Q ; Q E To,
Q kompakt}
L,,+ l
>,,+,
' ) E T miatt L" C L::+ I
(F1 E N) .
n""
lIa (X , T) egy topologikus ter, akkor Co( X) (a "szokiisos" fiiggvenymuvel... tckre nezve) nyilvan linearis ter R feleH,
11 /11
,= ,up{l/(z)1 ' z E Xl
H.ID
(f E C,(X))
4.3.3. Lemma
Legycn (X, T) egy lokalisan kompakt , a vegtelenbcn megszamlalhato
topologikus ter. Ekkor megadhato kompakt L" E Bo( X) (n E N)
halmazoknak egy olyan sorozata, amely monoton novekedo (L" C L" +I
(F1 E N)) es
i) X == U:=o L" ;
ii) L" C L~+l (n E N) ;
C,
,= C,(X ) ,= "(X) ,
a hol a (.) lezaras most a (Co(X) , II.11> terhe n e r tend~. A CI (X} fiiggveny.h~lma:
a " vegtelenben elttino fuggveny ek osztalya" - nyilvan Stone-fele vektorhalo, ami
altere a (Co(X),II.11) ternek.
4.3.2. Htel
barmely
Legyen (X , T) egy lokalisan kompakt topologik us tel. 'Ekkor
I k ' I
I : X -+ R fuggveny eseten az abibbi kijelentesek egy massa e viva ensek:
a) IE C,(X) ;
b) I E C(X) es tetszolegcs
kompakt ;
c) ha (X' ,T ')
T etel) es
az
(X,T)
/'(z)
iii) barmely kompakt K E P(X) halmaz eseten legfclj ebb veges sok
n E N kivetelevel igaz az , hogy K C L" .
206
akkor
f'
,=
halmaz
/(X )
(ZE X)
(z = wE X' \ X)
E C(X') .
207
Bizonyftas
riiggveny nyilv8n
K( R n)_bd i,
g(z) = 0 , (x E f rt~'.. \ ~Hr~.
g(%) = I (% E K,) , valamint X, C IO, 1J . ~zert .a g.
u~ve ri:nl s
A.: (Rn)-beli Cs IIg I - 11100 :5 t . Ez cppen azt Jelentl, hogy I E I( ) .
{III
4.3.3. Tetel
'y
b) => c) : az (X' , T') ter ertelmezese miatt. (Id . 4 .2.3. Tetel) azt kell csupan
igazolni , hogy az I' fUggveny folyt.on06 az w vegtelen ta.voli po nt ban . Ez viszont
kovetkezik abb6l, hogy barmely > 0 mellett van olyan K E ?'(X) kompakt
halmaz , hogy x E X \ K eseten l/(x)l < . Tehat I' folytonos w-ban , hiszen
X \ KaT' t.opol6gia szerint egy kornyezete w-nak .
c) ,=:} 0) : valamely t: > 0 mellett legyen K E ?'(X) egy olyan kompakt
halmaz , amellyel If(x)1 < t: (z E X \ K) . (llyen K az I' w-beli folytonossaga
miatt van .) Alkalmazhat.6 a 4.3 .1. Lemma, miszerint egy alkalmasan valasztott,
[0, I)-be kepezo 9 E K(X) fiiggvenyre 9(x) = 1 (x E K) igaz. Vilag06, hogy
I gE IC(X) " IIJ. g - III $, , "'''' IE IC(X) .
Bizony;tas
Megjegyzesek
1
lim I (z) = O.
11"11,_+00
Valoban , a 4.3.2. Tetel szerint az allitasunk azzal ekvivalens, hogy barmely > 0 szam ra az {lfl ;:: t: } halmaz kompakt. Mivel ez utobbi
halmaz - leven az I fuggveny folytonos - zart, ezert {III;:: } kompaktsaga es korlatossaga egyet jelent. Ha viszont (.) teljesiil , akkor az
e10bbi - hoz letezik egy o lyan 6 > 0 szam, hogy If(z)1 < t: hacsak
x E RrI es IIxll2 > 6 . Tehat {II I;:: t: } C {x E R n : IIxl]':5 6} , am i egy
korlat08 halmaz.
A forditott ira nyu kovetkeztetest analog modo n ka pjuk .
2 Erdemes megjegyezni , hogy az el8bbiekben mo ndott ekvivalencia a 4.3.2.
Tetelt81 fuggetlenu l, elem; eszkozOkkel is ko nnyen igazolhato. Ha pI.
f E C(Rn )
igaz (ekkor nyilvan I E Co(R rI) is teljesiil). akkor
minden t > 0 szamhoz tekintsiik az 1 0 megjegyzesbeli 6-t. Legyen valamely R 3 r > 0, ill. 0::f. A C R rI eseten Kr := {x E Rn : IIz1l2:5 r}
es d(x , A) := inf{ lIx - yII2 : YEA} (.r E R n). ekkor a
Az
208
(xE R" )
(x EX", n EN) .
4.3.4. Lemma
Legyen (X, T) egy lokalisan kompakt, a vegt~l~nbe~ n:'e.gszaml~lha~o
, k t.'
I ' K(X) _ R pedig egy pozlbv, Imeatls funkClOnal.
topoogl us er,
.
"
k ,
>0
Ekkor barmely kompakt K E P(X) haJmazhoz etezl 0 yan OIK _
szam , hogy
es (.)
R"\Ki+')+d(
R" \K )
9( z ) ..= d(x ,d(z
. K,
z.
Hr
=,
1/(u)1 $ .Kllull
(u E IC(X) , ,upp u C K) .
Bizonyftas
Thdjuk (ld. 4.3.1. Lemma), hogy minden kompakt. K E P(X) halmazhoz
... an olyan f E K(X)+ fiiggveny , amelyrt I(x) = 1 (x E K) igaz. Ezert
209
~ct8'1.0I cgcs u E ..qX) , sUPP u C K eseten lul :5 lIull' / ,azaz l(u) :5 lIuli ' l(f)
- /(u) = I( - u) :5 lIull' /(f) miaLt lI(u)l:5 lIull I(I) . Ez azi jelenli , hogy az
OK := 1(1) szam megfelel a 4.3.4 . Lemma allitasanak .
1,.'8
A 4.3.4. Lemma alapj;in mar nem nehez megmutatni, hogy az abban szerep10 I fuokciona l cgy absztrakt integral. Ehhez azt kdl belatni, hogy tctsz61egcs
monotoll fogyo Un E X:(X) (n E N) sorozat esetcn az infn Un = 0 feltetelbOl
infn I(u n ) = 0 kovetkezik .
Az alabbi , ennel er6scbb allitast fogjuk bebizonyitani .
4.3.5. Lemma
Legyen (X, T) a 4.3.4. Lemma fcitetele inek eleget tevo !.opologikus ter,
0:f T C .t(X)+ pedig egy olyan halmaz , hogy barmely nem ures , veges
To C T valasztlis mellett egy alkalmas T 3 u-val u 5 t (t E To)
teljesul. Ha minden x EX pontban inf{t(x) : t E T} = 0 , akkor
inf{II'II"
E T} = O .
Bizonyitas
Nyilvan feltehelo , hogy van a T halmaznak maximuma, lellat pI. a to E T
fiiggvennyel L(z) 5 to(x) (t E T, :t E X) igaz. Ez egyuUal azt is jelenti , hogy
supp t Csuppto (t E T). Legyen x E X , t: > 0 , ekkor a felleteleink szerint van
oly~ t~ E T ,amelyre t~(z) < t: igaz. Mivel l~ egy fo lytonos ftiggv eny , ezcrt
t;alalunk olyan U~ E T nyilt halmazt is, hogy z E U~ es mindcn y E U~ pontban
t~(y) < t: . A supp to kompaktsagat kihaszna\va tehat cgy veges Y C supp to
halmazzai
supplo C
0 '; /) ,;
,c(X) C L'(p),
f dp
If E ,c(X))
Igaz tovabba az is, hogy minden kompakt K E O,c(X) halmazra J1(K) vegcs.
Ili . (Id. 4.3.1 . Lemma) van olyan IE x:(X)+ fiiggveny, hogy XK 5 f ,amibo\
p{K) =
/If) =
teljesiil.
Megjegyzesek
6
(' E 1') ,
inf{l(/) " E T} = 0 ,
z .
..
-dl'lI
UU
",",;,
26 T egyiik rei , hogy " 4.:1.1). Ltlllm Imll :~dol.~ c~y I.:. K(X) ~ R \>ozitiv , linearis funkc.iontU is. Ekkor (Id . 1\ fentl b\7,o nYltast.) a 4.3 .4. Lemllla
szer;nt
XKdp';
fdp = /If)
< +00
kovetkezik.
A fent i utolso eszrevctelbol kiindulva t.ehat lokalisan kompakt tereken azo k a
lIair~ ill. Borel-mertekek lesznek erdekesck a szamunkra, amelyek szerint minden
komp~kt Bairc-halmaz, ill. minden kompakt halmaz mertek~ veges. Egy (~, T)
lokalisan kompakt. to pologikus ter escten legyen AO( X) , III. A(X) az Ilyen
II : Bo(X) -+ [0,+00] Daire-, ill. Jl : B(X) _ (O , +oo} Borel mertekek ha1maza.
211
~)c~dau l rn!~dc li II = 1, 2,. .. melletL a n a "swkiisos" topologiak barmclYlkevel lokahsan kompakt es a Lebesgue-Borel-mertek (Id. 2.6.) a fentieklick cJeget Leva Borel-mertek. Ugyanakkor egy (X, 'P(X diszkret ter eseten
Bo(X) = B(X) = 'P(X) es vruamely K E 'P(X) halmaz ponLosan akkor kompl\kt , .ha veges . Tehat egy IJ : 'P(X) ..... 10, +ooJ mertek akkor es csak akkor
tartOZlk A(X)-hez, ha tetszoleges % E X mel lett IJ( {z}) < +00 .
4.3.4. Tetel
Legyen (X , T) egy lokalisan kompakt, a veglelenben megszamlalhato
topologikus ter . Ekkor
i) barmely II E AO(X) Baire-mertek eseten ..t"(X ) C Ll(p) es a
3 0 lI asonloun kapjuk I\Z ugyltllc8"k IliclI1.-Lcteinek ncvcr.eeU alabbi rel)rczcntadas tctc!t. VallUllcly (X, n ,p) ".. vegcs merLektkr C8 egy p E [I , +~)
" kitevo" melietL tekintsuk az lJ'(p) fiiggvenyteret a 11.11, normaval. Jeloljiik q-val a " konjugalt" kitevot, azaz lcgyen q E ( I , +ooJ .Cs
I/p+ I/q = I . Ekkor barmely I : V(p) ....... R folytonos., line,aris funkcIDnalhoz egyertelmuen megadhat6 egy olyan 9 E f(p) fuggveny, amellyel
/(f) = J /-gdll teljesiil tetszoieges V(p) 3 I-re . Specialisan megkapjuk az elemi funk cionalanalizisOOI j61 ismert, a t, (I::; p < +(0) terek
dualisara vonatkozo t; == if allitasl.
4 0 Ha az (X, T) lokalisan kompakt ter a vegtelenben megszaml.a~~a~ ,
akkor tetszoleges p E ~o(X) mertek regularis (ld . 4.2.4 . Defi~l clo) es
u-veges, tovabba barmely A E Bo(X), p(A) < +00 halmazhoz es t > 0
szamhoz van olyan G E Bo(X) n T es olyan kompakt K E Bo(X)
halmaz , hogy
K C AC G, "(G \K).
Ui. a jelzett p mertkk u-vegessege a 4.3.3. Lemmab6l kovetkezik , .a
Daniell- Stone-tetel (4.1.1. Tetel) iii) allitasa miatt pedig a p regularltMahoz csak annyit kell belatni , hogy tetszoleges A E Bo(X) eseten
/(f) = / f d"
(f E ,c(X
igaz.
~~ar csak a ..t"(X) C LI(p) allitas igenyel nemi indokolast. Legyen ehhez
9 E X:(X) . A 4.3.1. Lemma szerint van olyan I E A:(X)+ fiiggveny , amelyre
1(%) = I. (% Esuppg) , kovetkezeskeppen az {/ ~ 1/2} E Bo(X) halmaz
kOI~'PHakt es . sUPP9 C {/ ~ 1/2} . Ez azt jelenti , hogy IgI S IIgll XI/>I/2) ,
uIIlIbol - tekmtve, hogy a 9 fliggvcny az O.qX) u-algebra ra nezve merh-eto _
9 E 1., I(p) adOdik .
Megjegyzesek
1" A 4.3.4 . Tetel ii) reszet Riesz..fele reprezentlicias tetelnek nevezik .
2 Legyen (X, T) egy kompakt topologikus T,-ter, I: C(X) ....... R pedig
egy, a UII"" ertelmeben folyton06, linearis funkcional. Ekkor egyertelmuen letezik olyan II : Bo(X) ..... R elojeles mertek, hogy minden
f E C(X) ""'on /(f) = J f d" .
212
(.)
An
ui . I E K:(X) , akko, III' E 'K: (X) C L' (") , igy K: (X) C V(,.) .
AlkalmazhatO tehat a 4.1.1 . Tetel bizonyitasa utan tett r mcKiegyzes.
(j "
(A "'egf. megszamialhat6)
"(A)
={ :
oo
(A E P (X)) ,
(kiilonben)
(abll'l.t rah integral) :F+-m vll16 Ic~"znkILCg(ot (/O~ az .X -ell C~.tclrr.1\zctt , ncr~:
negatlv , alulr61 felig folytonOtl fiiggv enyc.k 061,ta!yara tcrJC8ztettuk kr (Id . az
h te!mczescL a 1\ . 1.1 . T ete! bi1,o n yi~Mnba n ) .
Legyen most / : X ..... (0 ,+001 egy tet.szolcges fiiggveny hi
i(f)
= {f : X -- [0, +00] : I
214
a)
b)
J:
l\dditivitasa is , azaz az
~
n=O
n=O
n E N)
~gye lllotlcnsCg .
11 11. pO a 4 .1.1. T etel bizonyitasaban bevezetett kii lsO ':lerteket jeloli , ~kk.?r
minden A E P(X) halmazra nyilvan igaz , hogy p (A) = I( XA) . '"nen rogton
kovctkezik, hogy barmely A E P (X) eseten
( ,)
jJ (A)
= inf{pO (B)
: BET , A
B} .
( ~:rdemes mcgjegyezni , hogy az ut6bbi egyenl&eg a k~rabbi. ered~~n,yekbOl is kOvctkczik. Ugyanis (Id . a p" (A) definici6jat a 4.1.1 . T etel blzonYlt asaban)
" (A) = inf(" (G) , G E u(K:( X)) , A C G),
E T' , I '; ,) .
akkor - [even az X -bel l kompakt reszhalmazok eppen a veges reszhalmazai X-nek - minden kompakt K E P(X) eselen p(K) = 0 . Tehat
p nem rcguhiris.
,= inf{J"(,)"
Mivel p
yalohan igaz.)
215
p O(G)
(G E T , A C G) ,tchat (*)
'l
1(/) =
f dp
(/ E x.:(X))
te1jesul.
A tovabbiakban a Haar-merteket illet.Oen &dunk egy rovid, eligazito Osszefog[,,[ast. Legyen ehhez (X, T) egy topologikus ter tis tegyiik fel , hogy az X hal maz
oIlY
X x X 3 (x, y) ...... xy E X
ii)
,= /(0.) .
f.(.)
,=f(.o)
1(/) > 0 ;
-0
A iv) alliti.s miatt az I funkcionalt hal invaridnsnak nevezzuk . Megmutat1181.6, hogy egyertelmuen Ietezik olyan
i,
/C(Xl _ R
lillOl
at
.f(')
f E /c(X)+
rnuvcletre nezve csoport. Azt mondju k, hogy az (X, T) ter erre a muveletre nezve
egy lopologikus csoporl, ha
O;t
") f .g E /C(Xl+
1(/ + g) = 1(/) + I(g) ;
''') 0" o. f E /c(X)+
1(0 - f) = 0 - /(/) ;
" l f E /c(X)+. a E X
I(.f) = 1(1) Tovabba ha valamely J : .t(X)+
R funkcionaIra is t.eljesulnek a
fenti i)"":' iv) a llitasok, &kkor van olyan A> 0 szam, amellyel J = A I.
(. E X)
eUoUja.
>0_
Mivel 2_t korabban belattuk , ezert elegendo mar aak 3_mal foglalkozni . Legyenek ehhez I, 9 : X -+ [0, +001 adott fuggvenyek, ekkor barmely ,a E X ~,ellett
I :5 9 ..;::::::> .. 1 :5 ..g . Tehat (Jl. definici6jat figyelembe veve) tetszoleges
A E P(X), a E X eset.en
AI', cgyertclmuseget ilielDen a kOvctkczol mondhat-juk . Legyen 1-/ olyan rcgularis Borel rnertek 8(X)en, amelyre
a) minden kompakt A E P(X) halmazta peA) < +00 ;
b) ICtezik olyan A E T halmaz , amelyre I-/(A) > 0 ;
c) barmely A E 8(X) , a E X eseten l-/(aA) = I-/(A) .
Ekkor van olyan ). > 0 szam, arnellyel I-/(A) = ).. ji(A) (A E 8(X)) .
(Mindez ui . egyszeriien kovctkczik a 4.4 .1. Tetel iv) reszebOl, ha tekintjiik a
J (f )
Jf d" (f E K(X)+) f" ok,;ooait .)
,=
,, =
,, =
Megjegyzesek
ldl' =
(J ' X - R) .
.eX
terct a ~~r
tobbszor emlitett "szokasos" (pI. cuklideszi) topologiaval Cs ~ ~ddltlV
csoportstrukturaval. Ekkor az R n fel ctti Borcl- Lcbesguc-mcrtek egy
cltolas invarians Haar-mert.ek (ld . 2.6.).
3" Jcloljon X egy nem veges halmaz!. , Icgyen T: = 'P(X) : Ekkor K(X)+
pontosan azokb61 az f : X ..... [0, +(0) fiiggven!ekbOl <I-i~ , am~iye~ e
veges A E 'P(X) halmazon kiviil nullaval e~~nlok . (Egy rcszt UL nY llvan
minden f : X __ R fiiggveny folyt-o nos, masreszt cgy A E 'P(X) halmaz
akkor es csak akkor kompakt, ha .... eges.) Tegyiik fel , hogy (X, T) valamilyen csoportmu vclettcl egy (multiplikativ) Lopologikus (.SOport , legyen
az illetc5 mu velet egysegeleme e. Ra
(x = ,)
6(x)
= {:
(xEX \ {, })
I =
L: a, (, -, 6)
,e Y
alakban . il a tehat
J
K(X) __ R
cgy H aar- integral ~ akkor
J(I) = (2:
J(6) . i gy pI. J (6) = 1 eseten a megfelelo Haarmcrtek a klv~ike;o: I-/(A) = IAI (ha A veges) , ill. I-/(A) = +00 (ha
A nem W!gcs, A E P(X .
4" Az X := {A E R 2x2 : de~A #- O} halmaz a ma~rixsz~rz~ra ne; :
nyilvan egy (ncm kommutatlv) csoport. l:I a X ben a szok,asos ,(az.
all-al indukalt) topologial vezetjiik be , akkor konnyen bclathato modon
ismet egy (X , T) lokalisan kompakt topologikus csoportot kapunk . Egy
A E X matrix mellct!. tekintsiik a.
).
1 " Legyen 0
p(A)
IAI
,= TXi
(A E P (X))
218
219
V~C:88iik
be az
S(A)
,= Id,t'~I ,
D(A )
,= Id'''~1
(A E X)
G m := nZm~ '
.1: =0
%*y := (%"+y"(modm"),n E N)
(0 " E R , y E R )
alakuakat es legyen most X ezeknek a halmaza. Az
(% = (%"),y= (Yn) E G m) .
(A= [~
n,
o, b E R , o jOO) .
I,(J) ,=
Ja,f/D (=
i:~
t:
!("y)/I ld.dy)
220
221
5. Fourier-transzformaci6
III
Ebben a fejezetbcn a ha rmo nikus aoaHzis alapfogalmait targyaijuk , kulo nOs
tckintctLd a trigonomctrikus Fourier- transzrormaci6ra . Az 5.3. ponthan a 4.4.-hez
hasoll16 szellcmben rovid kitekintest nyujtunk az a hsztrakt harmonikus anaHzis
iranya.ba is. A tema irant mclyebb vonz6dast etzo OlvasOnak az irodalomjegyzekhell fcloololt megfelelo mi.ivek tanulmanyozasat ajanlj uk .
A dcfinici6b61 nyi lvnnva.16 (am lil t I\zt OH IlIAr burkolta n rcltetclcztiik) , hogy
E M(X) , hiszen (Id . 2.7.)
+/1 2
I'ovabba a nyilvanval6
kommutativ, azaz
P I P2 = P2 PI
PI - P2 = P2 -PI
<
+00 .
egyenlOsCg miaLt a
* milvelet
(#AI, P2 E M (X)) .
5.1. Konvoluci6
Bevezeteskeppen itt ismerkedunk meg az anaHzis egyik legfontosabb fogalm.ival, a konvoluci6val. Amint azt latoi fogjuk , teljes joggal szerepelhetne ez a po nt
a rncrtek- es integra lelmelet kereten bellil is. Tekintve azonban , hogy szamunkra
az 5. fejezetben valik 8ziiksegesse, ezert targyaljuk itt, a.z 5.1. pontban.
.. . " I
e em Xb-"
.. ...
..... tekintsiik az " a_ban konLegyen pI. a E X egy Togzlte
('('nLralt" Po Dirac-mcrtcket:
(a E A)
M (X)
0= { .
E >(X) 0 .(X)
< +oo},
p(x ,.)))o=x
Po-P=1'.. [}J]
B(X )( X)
0=
. (P-'[ BI)
(a ~ A)
{x,.EX).
PI!<](B)
(A E 8(X)) .
.,(A ) = { :
(B E 8(X)) .
" =
;u'!.Z
(. E M (X)) ,
5.1.1. Definici6
A PI * P2 := P[P] : SeX )
konvoluci6;anak nevezziik .
--+
[0,+00) merlkket a
222
PI , P2 mertekek
:thol .:1'x -szel az i5sszcs olyan veges, paron kent diszjunkt , 8 (X)-beli halmazokb?1
rille A halmazrendszerek halmazat jeloitiik, amelyekre X = UA e,A . Tehat
(Id . 2.8.3. T' ,d) I!<)(X) = .+(X) + . -(X) < +00 .) Vil oo, hogy V(X) az
223
Osszeadasra nezve Iinearis tel R Celett, tovabba 1).11 no rma ezen a teren
meggondolasat az OlvasOra bizzuk) (V(X), 11.11) Banach~ter. Mivel a
es (ennek
e:tert
=
cgyenlatlenseg is eleg egyszeruen ad6dik, ezert elmondhatjuk, hogy a Centi muvelctekkel es normaval VeX) egy egysegelemes Banach-algebra.
loPd("")=
1(I
1(I
=
f( . . y)d*d"(y) =
ahol g(y) :=
irhatj uk :
I(y
I I(y -
( Mivel az
1(1(10L.hA
~ x)d"(x
x) dll(x)
=:
. XA(y) d"(y) =
A E SeX)
g(y)
:=
g. XA d" = ",(A) ,
p.J.~
Xl 3 (t , x) ...... f(t - x)
iekepezes merheta, ezert az imenti
x)dll(x) (y E X) definicio korrekt , g?: 0 es
I I(y -
gd"
mellett
1\ 1,az
d") d"(x) =
"I
1(I
I(x, y)d"(yd*) .
(Az
I(x y)dp(x)" szimb6lum rogzitett y E X eseten az
X 3 x ...... I(x y) fiiggveny integraljat jelenti a p mertek szerint.
A " ... dll(Y) ..." szimb61um jelentese hasonI6.)
T. d" =
= l(l oT-.hAd".
T_.hAd(T<[p])
"I ov(A) =
fd("ov) =
1(10
T-.hA)
Megjegyzesek
1((10
"I(A - x) =
9 E L+(p) () L(p) .)
I'JPh(A)=
111101 I. hex) := II(x - y). h(y)dp.(y) (x E X) . Tehat most azt irhatjuk, hogy
P.,.II/o
"I' "(A) =
Mivcl pJ(A - x) =
"AA - x) d"(x)
I I XA-" dp
I XA -" =
(XA
(x E X)
0
(MC!~jegyezzii k ,
hogyegyreszt
!. h
JJ,.h .
IUrU!rcszt
+00
fhEL(").)
'i'e tszoleges I, hE Ll(p) fiiggvenyek eseten az 1= 1+ - 1-, h = h+ - hr,' lbontasokbol a rentiek figyelembeveteIevei azt kapjuk , hogy az
es
r,,) = ((f 0
221
(A E B(X)) .
(AEB(X)) ,
XA!hdp.= il.hdp
,,-,,).
XA)
0 T" ,
225
!. II
E L l( ,~)
5.1.2. Definicio
A ( t )-ban crtelmezctt I. h fiiggvenyt az
konvofbCII)Jlinak
nevezziik .
III' hlh
( II:L
All. )
I, h ~
IIlIldlhlh .
P(Z)-n) . A 8zok4Hotl OMzcn(! fUt rll tle~ ve ( X ,T) nyilvall egy k O I~ltnllt3tlv topologikUlI OIOllort & 1\ m()(l ~ definilih I' mcrwk lI aar-mcrtek ezen
a ~port.on . Vihig08, hogy ..I(lj) pontosan azokb6l. a7. f : Z -; R
fiiggvcnyekbOl all , amc1yekre E .. ez I/(n)1 < +00 , III . I, hE.. (p)
eseten
I' h(n) =
k) h(k) (n E Z) .
I: /(" -
"z
es
akkor
la."
(Z 3
< 0)
Ie , ahol
"
(nEN).
J:=D
Megjegyzesek
1 " Az el6"bbiek sz6r61-sz6ra elmondhat6k akkor is, ha R"
helyelt cgy ,
a vcgtelenben megszamlalhato (X, T) topologikus c.soportot es egy p
lIaar-mcrteket tekintiink B(X) -en (ld. 4.4.). Ebben az esetben is ertelmezhetjiik tehat egy tetszoleges IE L+(p)nL(p) fuggveny es valamely
/./ : B(X) __ (0 , +00) korbitos Borel-mertck
(n = 0)
'(n) = { :
(Z 3 n " 0)
ekkor e E LI (p) Cs tetszoleges I E LI (1') esewn I. e = I . Tehat e a
most vizsgalt Ll(p) Banach-algebra egysegeleme.
4 0 Megmutathat6, hogy amennyibell (X, T) nem diszkret tcr, akkor az
Ll(p) konvoluci6-algebranak nines egysegeleme.
50 Az 111 gill ::; 1I/1IlIglli (f, g E Ll(p becsles messzemen&en altalanosithat.6. Nevezetesen, ha
1 ;5
p, q, r ;5 +00 ,
+ l/r -
I ,
manyozasakor megismett konvoluci6-fogalmat. is (ld. pcldaul a vegtelen sotok Cauchy-szorzata). Legyen ui. X := Z , T := P(X) es
p({n}) := 1 (n E Z) (azaz p nem mas, mint. a szamossag mertek
226
III' gil.
11111, IIgli .
III gil,
1I11I,lIgll, .
(J J
I
227
J(J
5.2. Fourier-transzformaci6
5 .2 .1. Defonlci6
Legyen IJ E M (R n) egy tet8z81egCfl korll\.l011 Borcl-mcrtek . Ekkor a
Az eddigi vizsgalatainkban mindig vales ertekli (vagy R -ba kepezo) fiiggycnyekkel volt dolgunk . Nem akaz kiilon6sebb nehezseget azonban a merhete>seg,
intcgra lhat6sag 8tb . (ogalmakat komplex ertekii ftiggvenyekre is ertelmezni. Legyen
chhez ui . adeU egy (X , n, 11) mertekter es valamely / : X ...... C fuggvenyt bont/llink fel a 8zok<isos kanonikus alakban: f = II + j . h I &hoi b az f fiiggveny
val6e, h pedig a kepzetes feazet jeloli. (Az i szimbOlum a megszokott imaginI\ri us egysegct jeloli C-ben.) Azt mondjuk , hogy az f ftiggveny merAetO I ha
It , h mcrhetO fiiggvenyek . Az f in/egrdlha16sagdt analog modon ertelmezziik,
Icgyen et ut6hbi esetben
p(Z):=
e", dlJ
(% E Rn)
ii(z)
Ennck rncgfelel8en ertelmezzii k a komplex ertekli X _ C fiiggvenyck ko reben
az lJ'(p ) (lSp:5+oo) fiiggvenyooztaJyokat, vagypI. a.z '.g (f,gELI(p
kOl1voluciot.
J"
dp
= _.(0) = _. (z) ,
I\zaz Jj. = e.
Nyiivan tetszoleges
p. E M (Rn)
es
E R"
1;;(%)1 S IIIJIl (= Jj.(O . Mutassuk meg, h0S! a Jj. lekepezes egyenletesen rolytonos
l:fl \Igymond " pozitiv definit", nevezelesen Igaz az
5.2.1. Lemma
Barmeiy IJ E M(Rn) eselcn
i) ail : R n __ C lekepezes egyenletesen folytonos ;
ii) tetszoleges 1 S mEN index es al , ... , a", E R" vektorok mcllett
_
A := (p(aj - al i, . =1 E
Cm . m
E R n eseun
" E C.(R" ),
alllibOl barmcly p E M(Rn )
es
1'.1 = 1 ,
a E R" mcllett
228
Bizonyltas
Legyen KN := {V E R n : l1ylh :5 N) (N E N) ,ekkor a (KN) halm~
8Orozat monoton nove tart Rn.heoz, azaz R" \ KN+I e Rn \ KN (N E N) es
n(O;l _ (Rn \ KN ) = Mivel p korlat05 mer1ck , ezert alkalmazhato a 2.1 .2. Tet.el,
1Il~;:rint limN p(Rn \ KN) = 0 . Elmondhatjuk tchal, hogy teLszoieges > 0
bzamhoz lctezik olyan N E N index, amellyel IJ(R" \ KN) < t . Ha a , bERn
l~ V E KN , akko r a Cauchy- Bunyakovszkij-egyenlotlenseg alapjan
e.
1< 0
b,y > I ~
lIa- blldyll,
229
Nlla - bll,
5.2.2. Lemma
11 -
1< _-
6
e;<-6,,> 1= 21 sin < a -2 ,11 > I :5
b, y
i)
ii)
N 6 P(KN)
+ 2 p(R" \
J.
R ~\ KN
Ie.. -
e. ldp:5
K N ) ~ N 6 P(KN) + 2,.
jJ. "
un -- R n
= Ji. iI ;
TiP] = jJ
T O.
n
( .)
BizonYltas
A konvoluci6 erlelmezese alapjan (Id. 5. 1.1 . Definicio) tet.sroleges
pont ban
;,1:=1
p,v(z)
=j
'.d( P"")
E R"
(A (.) feliilhuzas most a komplex konjugal1ist jeloli.) Vegylik Cszre ehhez, hogy
(.) hal o ldala igy is irhato:
= j ( j , . (y) dp(y)) . , .(,)dv(,) = ( j '. dpj-( j '. dV) = "(z) " (z) ,
1I111it
ami lIyiivan a ii) allitlis igazol.isat jelent i.
a2
A ii) bizonyitasahoz el6szor is jegyezzi.ik meg, ho!)' T folytonos leven , egyl'lltal merhet5 is (Id . 2.6.), igy a jJ mertek Taltal letesitett T[p.] kepe is
M( R")-beli . Ezert barmilyen % E R " ponlot is veve, a kovetkezot mondhatjuk :
Megjegyzesek
10 Az 5.2.1. Lemma ii) rCszere hivatkozva roviden azt mondjuk , hogy J.'
cgy pozitiv defini! fiiggvlny.
2 Megmutathato, hogy barmcly ,.,,: R n __ C pozitiv derillit, foly tonos
fiiggvcnyhez van o lyan JJ E M (Rn) mertck , am elyre V' =;; (Bochnertetel, Id. 5.4.).
3" Az 5.2.1. Lemma es az elotte mondottak szerint tehat Ji E LOO({l) es
IlJilJoo IIpll (p E M (R" ), jj-mal az Rn _bcli Borel- Lebesgue-merteket
jcJol\e).
:s
(y E R ")
al.onossagot.)
Az 5.2. 1. Definici6h61 rogton adOdi k, hogy a -: M(R" ) __ CR megfeleltetes
1ldditiv Cs pozitiv homogen, azaz barmely p , v E M (R" ) es R 3 0 ?: 0 eseten
p+ v = Ji + ii,
n:: oJi.
A kovctkczo lemmaban megmutatjuk , hogy a ~ lekepczes egy fajta multiplikativitasi tulajdonsaggal is rendelkez ik , ill . R n --+ R " tipusu korlatos line.iris
OJlCratoro kkal bizonyos ertelemben felcserelhet5.
230
Megjegyzesek
I " Ha az el6bbi lemma ii) allitasal a T%:= - % (% E R" ) (" tukrozes"-)
operatorra alkalmazzuk , akkor a triviaiis TO = T egyen18seg mialt a
konnyen ellellorizhcto
231
r.IPI(z)=
J
J
" d(r.IPJ) =
= er(a) '
"or.dp=
,,(y+o)dp (y ) =
(Az elobbi egyenl6seg bal oldalan az R" , ill. a.z R' fe letti Borel-mertekekbOl kepzett szorzatmertek Fourier-transzformal tja all , amely tehat
az R " )( R' teren van ertelmezve. ROviden azt mondj uk , hogy a szorzatmertek Fourier-transzformaltja a (tenyez&-) mertekek Fourier-t ranszormaltj ainak a szorzata. )
Valoban, a szorzatmertek ertelmezese es a Fubini-tetel (3 .8.2. Tetel) alapj an
pII(:r, y) = J e(r ,l/) d(P @ II) = J ei'r,I/),(u,I}> d(p @II)(U ,t)=
Je~ ' (J
(tt)
5.2.2. Defin k i6
Egy fELl (II) riiggvenyeseten az
Mlvel bArmciy x E It" etIe ~e n e. ' 1 .... erhet6 fiiggvcny (Id . 3.1.2. T etci) es
e,. 1 E LI(II) . fo;bbal a szcmpontb6lnyilvan lenycgtelen , hogy
I cgy nemnegativ riiggvCIlY, azat blitmely 1 E LI(p) es % E R" mellett
'. /LI( p).
If'" II :$ 1 ,ezert
232
(%ER").
(z E R" )
J:
I ;?:
II~
tehat
i)
az Ll(p.) 3 1 """
C lekepezest az
11/ = 1 . A mertekekkel kapcsolat06 analog cillitasokra (es a bizonyitasukra) hivatkO"/:va konnyen meggyozodhet az OlvasO az ahibbiakr61:
J E LOO (p)
1111100
1I!11>
iii)
IE
j7h = 1- h
IV)
ha
ii)
barmely
1 E Ll(p)
1 (Jl) eseten az
(t, h E L'(p));
es F(%) :=
I(- x)
(% E R ") , akkor
F=
f.
~fi rgyaljuk
233
3" Igen tanult,6.g08 11.1. 6.2 I. ,!,tltd LIIAbhL IIL ~o ll y i~Nm is. I s mc ~ (Sak '1 = I
mellen rcr;1.lctczyc Il gOlldoll\~m cndc l lcgyen 0 1: r. E It . Ekkor 1\
llorcl- LcbCIIguc-lIlcrtek cltolMinvariallciajaL kihasznalva (Id. 2.6.)
1(x) =
BizonYltas
= -
l(z) =
Xte"dp =
ei''' ''dt ,
ahol az ut6bbi integral egy Riemann-integral (Id. 3.5.7. Tetel) . Teh3.t r ~ 0 eseten
amibOl
1(x) =
~.
1F,(x)1 ~
becsles a!apjan.
4" Az elobbi megjegyzeshcz kapcsol6dva valamely I E LI(p) fi.iggveny
eseten az
"'(0)
(R 3 0 > 0)
Megjegyzesek
I " A 4.3.2. Tete! bizonyit~a uJ.an tett 10 megjegyzes szerint tehat bar~ely I E L (1' ) eseten I E C,(R n) . (Ez utobbi Ler definiciojat is
ertelemszeruen kiterjesztve komp!eJ( erteku fuggve nyekre.)
0
modon
I fuggve ny
Vilages, hogy w egy monoton fogy6 iiggveny , ill. konnyuszerrel beloithato, hogy 10.1(>.6):$ (>.+ 1) w(6) (>' , 6> 0) . Az OlvasOra bizzuk annak
igazola.sat is, hogy IiITl.!_ow(6) = o .
ezert
l(z) =;.
egy
(x E R) ,
J J~ .
I/( t )I' 1
~ AllfI" ,
1 .
; , sln xt Xll ,oj(X) dp(x)1 : I
m p(K)
xK ' lc:r
> O.
"
5.2.2. Tetel
A :=sup{1
lI(z) - g(y) =
(z E R ).
11.11""
Megjegyzesek
l O EmIekeztetunk a most idezett Ston e-Weierstrass-leleire. Ncvczctesen , ha
+00
igaz. Gondolja meg ehhez az OlvasO, hogy van olyan 9 E C,(R) fugg(2:5 x E R) t eljesiil, ami eppen ezert
veny , amelyre g(x) =
eleget tesz a g-re megkivant felteteleknek.
rrtz
J eloljiik az i} szimb61ummal az Osszes L1(p)-beli fiiggveny Fourier-transzformaltjMak a halmazat. Az eddigi meggondolasainkbOl rogton ad6dik , hogy II
cgy n:szaigebraja C,(R")-nek (a SZOkaS08 fiiggvenymuveletekre nczve) , ill . [;'
lIart a komplex konjugaiasra vonatkoz6an. Nem nehcz megmutatni, hogy [;' egy
"clvalaszt6" fiiggvenyha lmaz is , azaz barmeiy ket kulonbozQ x, y E R" vektorh OIl van olyan gEL' , amelyre 9(r):f: g(y) . Legyen ui . z := r - y , ekkor
cgy alkalmas q E R mellett e~(q z) :f: I , azaz az e. fiiggveny folytonossaga
lIliatt van olyan r > 0 szam is, amellyel e.(t) f. I (t E R" , III - q. zlll < r).
236
(X , T) egy kompakt T,-ler , .A pedig cgy reszalgebraja az X-en ertelmezett, C-be kepezo folytonos fUggvenyek C(X) halmazanak , akkor
az alabbi feltetelek egyuttes teUesiilese elcgcndo ahhoz, hogy A a 11.11 ....
normaban mindenuU suru legyen C(X}-ben:
a) barmely :t, y EX, z
I(y ) kiilonbOzik ;
b) minden :t E X
f.
1 E .A
, bogy / (:t) es
I(z) " 0 ,
c) az .A a lgebra zart a komplex konjugalasra nezve, tebat tetszoleges
/ E.A fuggvcnyre 7 E .A .
(Az a) feltetel fennallasa escten azt mondjuk , hogy .A egy (az X elemeire
nezve) "elvalaszt6" fiiggv enY08ztaly.)
2" Szam06 font os esctben - igy pI. a fent ebbi , [;I_ re vonatkoz6 allitcisban (X, T) nem kompakt , csak lokalisan kompakt . Mutassuk meg, hogy az
I" megjegyzesben idezeLL tetel "atmentheto" erre az esctre is. Legyen ui.
(X' , T') az (X, T) l.er I-pont ko mpaktifikaci6ja (id . 4.2.3. Tetel), w
237
I(x)
IE C1(X) , akkor
{ J(X)
(x E X)
(% = w)
,~
(ld . 4.3.2.
IIi - 9 -
oll ~
,(x)1 $
01 + 101 ~
II( x) -
II(x) - ,(x) -
<t: +ICkI<2
(n _ +00) .
is fenn kell allnia, kovet.-
li(x) - 9(x) -
01 + 101 <
(%EX) .
Osszefoglalva tehat azt kaptuk , hogy A a 11.1100 normira nezve mindeniitt suru C1(X)-ben.
F(x) ,~
E I"
(x E R")
5.2.3. Tetel
A - transzformaci6 injektiv , azaz
i) PI , P2 E M (R n), PI
ii)
I"
E L'(" ),
I""
= 1rii .
(i=I , 2)
111.li lll ,
Bizonyltas
Az i) allitas igazolasa erdekeben azt mutatjuk meg, hogy ha
PI = p] . A Fubini-teLelt. (3 .8.2. Tetel) alkalmazva ui . barmely I
/1
d",
~/
~/
238
~/
f-ii,d" ,
eseten
1',(i\I) (i
\ , 2) .
230
==
1+
+ g- ==
+ g+
p. - m.m.
==> I == g JJ - m.m.
kOvclkezik .
I,g
1:::
ftiggvenyekre pedig
Im/::: Img
rp = iI
(x E It") .
tki == Reg,
_
F =ow
::::.
= j l(-t),.(t)dp(t) = !i(x)
(xE R") ,
-:x:--
(xE R")
Megjegyzesek
Ii)
'Rj C R
=:::>
Mivel p > I eseten az L'({I)-beli fiiggvenyek nem feltetleniil integr,Uhat6k (azaz egy I E V'(JJ) fiiggve nyre I . LI(JJ) , kovetkezeskeppen
,"cz . LI(p.) (x E Rn) boven ei05fordulhat), ezert az ilyen V'(JJ) fiiggvenyosztalyok demeire a Fourier-transzformalt az 5.2.2. Definicio alapjan nem ertelmezheto.
A kovetkezo egy~ k et megjegyzesben ezt a kerdeskort vizsgaljuk meglehet5sen vazIl\t083.n csupa..n, a reszletek irant erdeklod6 Olvas6nak mintegy eligazitasul szanva.
Legyen eloszor p::: 2 es mutassuk meg, hogy LI(p.) n L 2(JJ) egy (a 11.112
norilla ertelmeben) suru alter L 2 (p.)-be n. Valahan, az alter tulajdonsag nyi lvanvl\J6. Ua pedig IE L 2 (JJ) ,akkor az I/: := {_ k , k)n E r' (0 < kEN) jelolessel
I('gycn It := I Xl. (0 < kEN) es la.ssuk be, hogy az igy definialt fiiggvenyek
1. ' (/J)-beliek. A merhet&eguk ui. trivialisan igaz, a Holder-egyenlotlenseg (3.5. L
'retel) miatt pedig
Je~dr.p==
f ez o Tdl/==
240
e_zdll:::
IE
11111, = (,-)"1>'11/11,
Ez azl is jelenti egyuttal, hogy a (nyil.van linearis)
L'(") n L'(") 3 I ~
= (,.)" ((I
1E L' (" )
operator kor la~ , azaz fo lytonos. Ezt a tenyt (es az (L"l(p), 1I.1I2) norma-It
tcr teljesseget (Id . 3.5.6. Tetel felh asznalva tehat az elohhickbcn szereplo
b: E LI (p ) n "l(p) fUggvenyck
(J: E N ) Fourier-t ransdormaltjainak a
6Orozata 11.112 normaban konvergal. Legyen ebben az ertelemben
= (,.)"
Itzaz
- (1,.1)
(I, h) + (h,/)
j := limh .
+ h, 1 + h) -
1 E L'(")
(I, h E L'(" ,
Irkc pczCs egy korla tos, Iinearis operator , amely injckti"v es a normaja (h)n/2.
Vi l:i.g08, hogy f E I(p) n 3(p) eseten j a mostani ert.el mezCs Cs az 5.2.2.
Dcfinici6 szerint ugyanaz.
Mutassu k meg, hogy a (* * *) operator sziirjektiv is, azaz tetszoieges
fiiggvenyhez letezik egy (es csak egy) olyan f E L2(p) , amelyre
!I = j . 1111. ui . a ( ) lekepezCs 'R crtc kkesziet e nem egyezne meg L'( p )-vel,
akkor az 'R alter ('(p)-beli) zartsaga miat.t a Hilbert- terekben crvcllyes felbontlisi tctel alapjan egy hE L'(p) , IIh1l2:F 0 fiiggvenyre f j. hdp = 0 (f E L'(p
tl'ljesi.ilne. Kovetkezeskeppen
9 E L2( p)
0= IT hd"= I rhd"
fKy T (h) = H
, azaz a (
*) operator inverze a
(IE L'("))
1, k('IWZCs.
,.,
(I, hEL'(")) .
Vcgi.il legyen P E [1, +001 Cs pr6baljuk lIIeg cgy f E /}'(JI) fiiggveny FourierIrJlluizform altjat crtclme.mi . (VilagOll, hogy a fClLtick utan rrll\r csak a I < P :F 2
243
eset az erdekes.) Ezzel kapcsolatban emiCkeztetlink 11.3 .5.3. Tetel bizonyitasa utan
teU 4- megjegyzblrc, miszerint teLszoleges I :S: p :s: r :s: q :s: + 00 szamok eseten
5.2.4. H t. 1
n
Legyen II E M (R n ) , i e N n 68 lc&yuk fel , hogy ~illd en 6 E N , 6:S: i
multiindex mellett letezik It II mertck M~(II) 8-ed lk momtlllum4. Ekkor
i) teLszoieges 8 E N n , 8:S:
0',,(.) = ;,. 1.
Legyen
j '= 9+ h .
1= G + H (G E LI(JJ) , HE L2(p
(. E R ") ;
korlatos .
Bizonyftas
a.mibOl
Ezzel 1 :S: r :s: 2 mellett ertelmeztlik az Lr(p)_beli fuggvenyek Fourier-transzforrmihjat . A 2-nel nagyobb " kitev8" esete ennti! ICnyegesen bonyolulto.bb, a " szokli808" fUggvenyfogalom kerelen bellil nem is val6sithat6 meg a Fourier-transzformaci6 rogalmanak a kiterjesztese.
J egyezzlik meg meg, hogy az 5.2.2. Definici6 utan mondott iii) aJlitas megrc1eloje igaz marad az yep )
(1:S: p :s: 2) fUggvenY08ztaly elemeire is az
"Ii\bbi ertelemben: ha I E L1(p), h E yep) , akkor (Id . az 5.1.2 . Definicio utani
5 megjegyzest) I. hE yep) es l;-h = It .
1-
Lemma
Legyen U C C egy nyilt halmaz, I : U )( R n -- C
fuggveny , ameiyre az alabbiak telj eslilnek:
pedig olyan
a) barmely t E U mellett az
R" 3 . - !(I, .)
A tovabbiakban az M (R n)_beJi mertekek Fourier-transzformaJtjat fogjuk
vizHgalni differenciaJhatOsagi szempontb61. Ezzel kapcsolatban aJlapodjunk meg
bizonY08 (a lobbvaltoz6s differencialszamitasban mar megszokott) jelolesekben.
Ncvezelcsen , egy i = (iI , ... , in) E N n " multiindex" mellett legyen
fuggveny Ll(v}-beli ;
b) van olyan t. E U pont , hogy tetszoleges x E Rn eseten az
U3 1-!(I, ')
Iii
:=
"
"
J:= I
J:=1
L iJ:, xi := II rio (z = (Z., ... , zn) ERA) , lJi := of' ... &!,,, ,
244
~'(t.) =
1 E }, I ( /1 ) . II .
IctczCsc azt jcicnti , hogy 1\1.
4 Legycn 0 :5
j !,(t.,x)dv(x) .
n" 3
( V~I(jJ '.0 1, igaz tehat a klasszikus "parameteres integrci.J" -okkal kapcsolatos tetelre
valo ulala.s: a tett feltetelek mcllett szabad az "integni.ljel mogott" derivalni.)
tt
#: t.
/1 1 ' I~ kk o r 1\ 1.
M,(II ) (s E N) momentum
fiiggveny
L'(Jl)-beli. Innen tetsz61eges
1 E L'{I-I) escten (az
f = f+ felbontasra gondo lva) a kovetkezot kapjuk : tegyiik fel ,
hogy valamely j E N" mellett minden sEN" , s .5 j multiindexre az
tt E U
f ,(x)
x' fix)
0=
(x E R")
,. (x)
0=
a'l = il 'l. ?
(ZER" , kEN),
j I'(t. ,
R" 3
)
x...... f 't.(,x
fiiggveny
lim
fa
a_+"" _ a
!'(t). ei-r-1dt =
tl:-t .
egyenl6seg ad6dik .
igaz , hogy Ma(lI) = 1J1l1l.
Q
0=
(J E DOO(R")
,up Ix"
Qi f (x)1 < +=
(k,j E N" ) .
:z:ER~
2 lIa e:= (0, ... , 0) E N" , akkor ba.rmely II E M(R" ) mertekre nyilva.n
(x E R" )
l.eljesul, azaz l/l nek van L 1(1'). beli majoninsil. (Az O lvas6 gondolja meg, hogy
1
-;-:-:-""'"""'''
(I + IIxll'"
al t~re
I ES
",ea-
5.3.1. Lemma
Legyen IE 5 , 0:f. X C R " pedig egy kompakt halmaz. Ekkor t.etszOleges z E R" eseten
(k,j E N" ) ,
hm 1("
,_a
lilli,,;
Mcgmuta.tjuk , hogy IL mOlit 1Il0lldott tM~AIIIlIl'l;tLi hclycU cgyenl88Cg ill irhat6. Ell
Il('k igazohi86,hoz 8ziikscgii nk leHz ktt cgys,/;c ril tUllt"..ml., a mclyeket ennek ellcncre
Kliloll IClflmakkc.llt fogl\lma,/;ulIK meg.
f E5
es ez a konvergencia az
5.3.2 . Lemma
A h(z) := e-n r ll~/2 (z E R") (nyilvan 5-beli) fiiggveny re
Ii = (2w)"/2 . h .
BlzonYltas
SUilOitsuk ki elOszor a h fuggveny Fourier-transzformalljat egy tetszoleges
'" E n" helyen:
- J
h(z)=
A fcntick szerint minden itt szereplo parameterre U/llk J < +00 , tova.bbti 1l.Il*J
egy fclnorma 5 cn. Mivel az el6bbi Ire, Ie-ra es j.re egy alkalmas C*J > 0
kOllstanssaJ minden z E R" pont ban
=/
(I
IT
1::=1
e", hdlJ=
S := {I E C(R") : I
CIC
*=1 -CIC
-CIC
1:=I-
E 5} ,
SCS ,
248
dIJY =
IT I+
e L... ,
1; = 1
X halmazon egyenletes.
x) = 1(0)
249
[+00 e- r:
f1 dYl:
=../2:
00
czert h(z:)
Legyen valamely r
dletve
L oo
11,(,). /(,., -
,= h(r z)
I( Y)
= (2')"" /
h(') /( - y)d"(')
= (2.)""
. / (-y) /
hd"
= (2.)" . /( - y) .
(z E R") .
%
= h(O) =
I,
1/ : R " --- C
.1 =(2.)"j .
(y E R", / E S) .
Az nyilvinval6, hogy
E S , igy az F :=
F = (2.)" f =
/I.
U
jeloIessel
(2.)" / .
=/ .
h;(,) =
5.3. 1. Htel
= r- n ,
h e.,,. dp = r - n , h(z/r)
(z E Rn ) .
Mivel a - Fo urier transzformaci6 injektiv (Id . 5.2 .3. Tetel) , ezert
I(Y)
!i.'!I, r - n ,
= !!!]
(,)
(y E R ").
Vcgyiik eszre, hogy barmely t , y E R" mellett
/ (r.' - y) = h('U( _ y ) ,
250
!~ h(')
y)d*) =
umi nem
Megjegyzesek
251
11(x)1 =
I -at.
Ekkor
e 5 , % E R"
cscle n
z/2
IIllh =
P, H
(. IIlilldcn
1,+00 Isin:z:
- I dx = +00 .
,
Tehoil
f/:. Ll(p) , dacara annak, hogy barmely 1.5 P:S +00 kitevore
nyilvan igaz, hogy f E V(p) . Ugyanakkor p> 1 eseten
E V(p.),
amit p::; +oo-re a ltahi.ban is tudunk (ld. az 5.2.2. Definici6 utan moudottakat), 1 < p < +00 mellett pedig
IJfll~ =4
1,+00 J--J
sin z
o
dx:5 4+4
I, j
+00.
%p
l?:.
Legycn (X, T) egy lokalisan kompakt Abel-csoport (az X-beli csoportmiivclctct jcloljiik _-tal) es lcgycn JJ Haar-mertek (X,7)-n. Az X-en ertclmczctt
fiiggvenyck korebcn kitiin tctett szerepc van az un. karakte reknek. Ezzel kapcsolalos az alabbi dcfinido.
5.4. 1. Definfci6
A 'P : X ........ C iekepezest a szoban forgo csoport karakterenck ncvczziik,
ha
i)
ii)
(x E R")
cloirassaJ ertelmczik. Ekkor az 5.3.2. Lcm maban szcreplo h fiiggvenyre
h = h teljcsiil, ill. a (*) invcrziOs formula a kovetkczCi a lakot olti:
(x E R") .
5 Mutassuk meg, hogy tetszCilegcs
I , hE 5
vaiasztassaJ
252
Az clCibbi dcfin icionak eleget teva 'P fiiggveny tehat az (X, T) topologikus
csoportnak a komplex egysegkorbe (mint (a C-beli szorzasra nezve) muitiplikativ csoportba) val6 fo lyto nos homomorfizmusa. Nyiivlinval6, hogy a 10(%):= 1
(% E X) fiiggveny karaktcr.
Ha [' jeloli a karakterek haimazat, akkor a
dainissal ertelm ezett <> m iiveletre nezve [' szinten egy Abel-csoport . Ezt a
csoportot az (X, T) du61is csoportjanak ncvezziik .
A fenti erteimezesekbCii trivialisan kovetkeznek az alabbi Osszcfiiggesck:
a)
'P(O) = 1
253
b)
.,o{x-
= rplx) = rp(x)
(rp
0)
i'E r
r.x
E X)
X-I
= 0, a
(X-I
E X az
elen!
Mivc.l V'(x
+ I) = tp(x} !p(I )
feliilhuzas pedig a
CWo
(~Er).
tp(x)
(z, 1
tp(z
X), e'ltrt
+ I) XIO,61(t) dIJ(t) =
,"
1
'"
Ez nem mas, mint egy homogen Iinearis differencialegyenlet rp-re, aminek - fi gyelembe veve a '1'(0) = 1 "kezdeti erteket" is - valamilyen y E X mellett a
lIIegoldasa a kovetkezo:
V'=e, .
es
5.4.1. Lemma
J~ d"
tp(t)dl
eseten
e~
r . Azt
~(y).~(y). ~. d" .
Innen mar az 5.4. 1. Lemma elott mondottak alapjan al! allit.isunk nyilvanvalo.
254
r = Ii,
E C(X)
' y E Z)
r =
,, :=
fiiggveny karakter , tovabba. - veges sok karakter szorzata ugyancsak karakter Ieyen - barmely veges "'# N c N halmazzal nnEN pn is karakt.er. Ezeket a
veges 8zorzatokat pI. a kovetkezokeppen rendezhetjiik 8Orozatba: ha n E N es
n = :L::'=o nk' 2k az n szam diadiku8 kirejtese (azaz nt E to, I} (k EN,
akkor legyen
~
,.,.n..-- II p.'
l'
l=O
256
karakt.erre ervenyes
c¥l&eg miatt rp vales erteku , azaz 'R" C {-I , 1} . Vegyiik eszre tovabba,
hogy ha n = :L:O=o nl ' 2t egy tetszOleges termeszet.es szam diadikus kirejtese ,
'lkkor az
et := (Ok; : j E N ) E G 2
(k E N )
Jc\oIessel
(kE N ).
(A
Okj
{rpt: k = 0, 1, ... , n - I} ,
(k E N)
nk :=
t.crmeszeles szamokat. Belatjuk , hogy ezek koziil Jegfeljebb veges sok kiilonbOzik
!lullat6!. Ugyanis rp E C(G,) , ezert (a G:l 3 9 := (O)-beJi folytonossagot kihasznalva) van olyan mEN index, hogy
I~(B) - ~(%)I
= 11 -
~(%)I
< 1/2,
=0.
A renti rp karakterhez tekintsiik az
257
Ekko,
- LA
-rm= O 1- ;1ek) . ".. .. es
.
fl -
r" := p"
ov.
( 11 E N ) .
Wn := 4p" o p
j=O
j=O
_ m
(A
Xj
= I ).
Az eddigi peld akban nyert tapasztalatokat Osszegezve a kovetkezoket mondImtJuk . Legyen (X , 7 ) egy t.etsz81eges lokalisan kom pakt Abel-C80por~, [' a
rKOport ka ra ktereinek a halmaza, p Haar-mertek az (X, T) csoporl.on es vezesIIlik be az alabbi definici ot.
5.4 .2 . Definfci6
Valamely II E M(X) ko rhitos Borel-mertek, ill
fiiggveny eseten a
nk 2,t, m = L m/;.2* E N ,
n= L
*:0
lekepezest a
t,l'ntIl m
to, I} , kEN) .
"
k"1
a fclints egy adoU % eseten egyertelmu , ha nem enged unk meg olyan eloallftist,
:lltlclyhcll cgy indextol kezdve minden %t egyutthato l -gyel egyen lo . (Az ilyen
ki fcjtCsek a (0 , I) un. diadik usan racio milis elemeire lehetsegesek , azaz ak kor ,
amikor valamilyen n E N es j = 0, I , ... , 2n - I mcllett z: = i' 2- n , Az
ilycn %-ckre ketfele (*) a lak ietezik , az egyik ben egy indextol kezdve minden %t
2- n
egyutthat.6 1, a masikban O. Ez utobbit fogadjuk el a szoban forgo % =
6Zam (*) eloallitasanak .) Tekintsuk ezek uta n a
v(,) =
r .T- ') ,= (r . kE N ) E G,
t=o
fi ,= (1 E c ' ' f
L'(p)) .
7,
,= ( U A E P (X) , A c V }
AE A
258
,= p( L
I-, dp
~;z
p(r )
,.. dll
"~yt'nIOsCgek reven ertelmezik a II mertek, ill . az J fliggveny Fourier-transzforlIullljat. Vi lagos, hogy pusztan formai kulon bsegri51 van sz6, ui. az eli5bbi jelolesek-
(%t E
Ll(p) integralhat.6
A diadik us csoport targyalasakor G 2 hclyett kiindulhatun k a [0 , I) intcrvallumbo l is, czzel a sz6ban forgo csoportnak egy masik, vele izomorf rep rezenLaci6jiit
adva. CllUpan vazolva a most mondottak hatteret, legyen ui. egy % E [0 , I) szam
d illdikus a lakban val6 kifej tese a kovetkezo:
1
mertek, a
r 31-1(,)
'Pn '!pm .
% = L %kT kt =o
II
JE
J
,= f
.1:=0
akkor legyen n ED m := E~:o Jnk - Ill.!: I 21- . Elegge ny iivanval6 , hogy N ezzel a
muvelettcl cgy Abel-csoport es
(.)
(w .. )
259
(t E R) , akkor
2)
3)
4)
5)
17h =
6)
Th
(f, hE L'(")) ;
7) 1'1=kfh
8)
9)
10)
I E
1 E r es :r E X esete~/, 1(X) IE l , tovabba
a g(y):= I(z . y) (y E X) fiiggv eny is LI-beli (. jeloli az X-beli
V,
v= 0 => v = 0
(fEL'("),1Er);
csoportm uveletet);
II)
(z E R) .
1 = 2 a p.
ba.rme~y
+~
1_00
1
--2
1+ 1'
di
= 211" a /3 .
Rogzitsuk a 11 Haar-merteket (azaz o:. t), akkor a (.. )-ban szereplo normalt
m Haar-mertek a kovetkezo ....J...:-Ill.
Peldau l a:= 1, p := 1/211" vagy
":11". a
a := {3:= (211")-1/2 (Id. a korabbi peldainkat) .
Ha (X, T) kompakt es p.(X) = 1 ,akkor az I(x):= 1 (z E X) fiiggvenyre
fELl (p.) n N teljesiil. Val6ban, egyreszt az fEL l (p.) relad6 triviaiisan igaz,
(v E M (X)) .
Legyen N azoknak az f: X ..... C fiiggvenyeknek az osztalya, amelyek valamilyen m E ~(r) korlatos Borel-mertek segitsegevel a kovetkezokeppen allithat6k
clo:
(U E 8(r)) .
(z EX) .
Ekkor viszont
T<'0) = 1, 1(,) = 0
(, En h o)).
(z E X) .
260
261
:uInverZIOS
f. ~ Ll[O,2lr) fii ggveny j61 ismert (k-adik) Fourier-egyiitthat6ja. A
formu la pedig nem mas, mint az
(**)
00
(xE[O , 2. ,
.1::0
(x = 9)
(x E X)
ldm= m(r)
I(x) = {;
(x,' 9)
fiiggvenyre
i( i) = 1
(i E r) , azaz
1(9) = I =
jdm=
A tobbszor idezett 1" - 4" p61dakat szem elott tartva tekintsiin k egy tetszOleges lokalisan kompakt (X , T) topologikus Abel-csoportot . Thdjuk (ld. a fent i
1) allitlist), hogy a (r , Tr) karak tercsoport is egy lokalisan kompakt topologikus
Abel-csoport, exert kepezheto ennek is a karaktercsoportja, az X un. masodik dualisa . Az absztrakt harmonikus analizis egyik aJaptetele a Pontrjagin-fele dualitasi
tetel:
Megjegy.usek
1" Azt mondjuk , hogy az ! : X -+ C fiiggveny poziUIJ dejinit , ha barmely
x l, ... ,XnEX es fil , ... , anEC (nEN) eseten
L"
(x ,y E X) _
izometriiiva.
.I: ,j : l
i) f (x-' ) = f(')
ii) If(x)1 ~ f(9)
Iia (X , T ) kompakt , akkor L2(p ) C Ll (p ) es a Plancherel-tetel az ortogon:itis sotak elmeletebOl j61 ismert Riesz- Fischer-tetelt jelenti.
ROviden vazoljuk a Plancherel-tetclben emlitett izometria egy megval6sitasat
az 1" peldaban szereplo ter (X := R) eseten . Jeloljiik ehhez az R -en ertelmezett ,
az R 3 z ...... e- " ~ 5ulyfiiggvenyl1ez tartoz6 ismert Hermite-polinomokat Hn-nei
(II E N) es tegyen
hn(z) := an e-
r2 2
/ .
Hn(x)
(z E R , n E N) ,
263
hn=(-i)n.h n
f E L2(l1d es
(xE R ),
a kko r
(nEN) ,
IIT(f) - 1 (f)II, - 0
azaz a
illetve, ha
Tekintsiink ezek utan egy tetszoleges f E L2(111) fiiggvenyt , es fejtsiik Fourier-SOTha f-et a (h n ) rendszer szerint. Ekkor tehat a
Cn
:::::
Jf
akkor
h n dpi
(n E N )
III -
J .(I)II, - 0
Megjegyzesek
1" Mivel (a fenti parameterekkel) J"b(l)(X):::: Id(T(f(-z) , ezert az
00
T(f)
III - J (I)II, - 0
n",O
e.
00
IIT(f)lIl =
00
n=O
T(T(f))(%) = 1(-%)
20
hn(-z) = (-l)nhn(x)
(f E L'("d.
(z E R ,
E R)
cgycnl&Cg a lapjan az is ad6dik , hogy a fent i T lekepezes egy bijekci6. (A funkciOlHiianalizis nyelven fogalmazva T egy uniter operator.)
Nemi szamolas utan (a resz leteket illeti:ien az irodalomjegyzekben felsoro lt
miivckrc utalunk) belathato, hogy f E Ll(pd n L2(pd eseten 1'(1):::: j ,
264
(a, b __ +OCI)
igy
2M
H rgymutato
= -1t2 .
sin :r
2
--dIl1(z) = -z2
...
1+
00
- 00
sin':r
- dz
z2
- 00
1f
halmazfuggveny
algebra 10
-additiv 22
-ftHig folyton08 22
csoport
-diadikus 221
-duaJis 253
-topologikus 216
- monoton 23
-szigma (u)-additiv 24
halo 10
-normalt vektorha l6 179
Stone-fele vektorh8.16 177
.vektorha,16 176
Dynkin-rendszer 41
egyenlotlenseg
-Cauehy- Bunyakovszkij 109
-Csebisev 110
- Holder 108
-Markov 110
-Minkowski 110
absztrakt 178
Daniell 179
Haar 217
invarans 217
. Lebesgue 134
integralfiiggveny 162
integrli1hat.6 fiiggveny 94
felgyiirii 13
Fourier-transzformalt
karakter 253
karakterisztikus fUggveny 60
konvoluci6
fiiggvenyeke 225
mertekeke 222
funkcional
-monoton 178
-pozitiv 178
kvci.zimertek 17
. Lebesgue fele 28
Stieltjes--fele 30
gyurii 10
-delta (6)-gyuru 12
-generaJt gyiirii 11
-szigma (O')-gyuru II
IepcsOs fiiggveny 83
maj dnem mindeniitt (m .m .) 99
halmaz
-Baire 189
-Borel 48,75, 189
-F -nyilt 180
266
merheta
fedes 43
. fUggveny 51
267
merhel.O
tarOO 204
tef
-Iokalisan kompakt 195
-normalis 194
-topologikus 188
-vegtelenben megszamlalhato 205
mertek 33
-abszolu t folytonos 143 , 159
- Ba ire 191
- Borel 48, 191
-el5jeles 68
- Ib ar 21 8
-kiils5 38
-Lebesgue 53
- Lebesgue-Stieltjes 58
-reguhiris 201
-sulyfiiggveny Iiltal generalt 140
-szeparabilis 132
-szigma (0' )-veges 38
-szingularis 162
-szorzat 67
-teljes 41
-teljesse tetele 45
-tth 4 1
t ete!
-Arze1a 137
- Beppo Levi 90
- Borel- Cantelli-Iemma 104
-Caratheodory 38
-Daniell- Stone 182
-Dini 210
-Fatou-Iemma 101
-Fubi ni 174
- Haar2 17
- Hahn-fe le felbontas 70
-J egorov 81
-J ordan-fele felbontas 74
-Lebesgue 11 9
- Lebesgue-fele felbontas 163
- Luzin 201
-Plancherel 263
-Pontrjagin 263
-Radon- Nikodym 149
- Riemann- Lebesgue-lemma 234
-Riesz-feJe reprezentacio 212, 213
-Stone- Weierstrass 237
-UrY80h n 192
-Vital i 145
szigma (O'-)algebra 7
-genera lt O'-algebra 9
-t rivia lis O'-algebra 9
szorzatter 67
sztohasztikus konvergencia 124
szukcessz iv integralas 174
268