Eladsvzlatok az Analzis II.

trgy mrtk- s
integrlelmlet rszhez
Izsk Ferenc
2017. mjus 19.

1. Riemann-integrl
A Riemann-integrl fogalmt az els szakaszban korltos intervallumon rtelmezett korltos fggv-
nyekre definiljuk, majd ezt ltalnostjuk a msodik szakaszban.

1.1. Als s fels kzelt sszegek

Tekintsk az I = [a, b] R intervallum a = a0 < a1 < < aN 1 < aN = b osztpontokkal vett I
felosztst, ahol Ij = [aj1 , aj ], s ennek hosszra hasznljuk az |Ij | = |aj aj1 | jellst.
A fenti I feloszts finomsga legyen: max1<j<N |Ij |. Egy felosztst a msik finomtsnak neve-
znk, ha osztpontjai tartalmazzk a msik osztpontjait.
Legyen f : I R korltos fggvny. Ekkor tetszleges xj Ij j = 1, 2, . . . N esetn a fenti
felosztson rtelmezett
|I1 |f (x1 ) + |I2 |f (x2 ) + + |IN |f (xN )
sszeget az f -hez tartoz egy Riemann-fle kzelt sszegnek nevezzk. Ezek infimumt s szup-
rmumt kitntetjk, s egy harmadik mennyisget is hasznlunk:
N
X
sf = |Ij | inf f Riemann-fle als kzelt sszeg
Ij
j=1

N
X
Sf = |Ij | sup f Riemann-fle fels kzelt sszeg
Ij
j=1

N
X
S f sf = |Ij | (sup f inf f ) Riemann-fle oszcillcis sszeg.
Ij Ij
j=1

Mindezek fggnek a felosztstl is, amit az egyszersg kedvrt nem jelltnk.

1. llts. Egy feloszts finomtsval a hozz tartoz Riemann-fle als kzelt sszeg monoton
n, a fels kzelt sszeg pedig monoton cskken.

1
Bizonyts: Egyszer, egy-egy j osztpontot tartalmaz finomtsra elegend beltni. 

A fentiek szerint egy feloszts finomtsval az als kzelt sszegek nnek, s a fels kzelt
sszegek cskkennek, tovbb f korltossga miatt mindkett korltos, gy egy finomod feloszts-
sorozatra ltezik hatrrtkk.

1. Definci.R Azt mondjuk, hogy a korltos f fggvny az I intervallumon Riemann-integrlhat

s integrlja I f R, ha a felosztsok
R finomsgval nullhoz tartva tetszleges, azon rtelmezett
Riemann-kzelt sszegek limesze I f . Formlisan: minden  > 0-hoz van olyan , hogy tetszleges
olyan I felosztsra, amelynek
R finomsga -nl kisebb, az azon rtelmezett tetszleges RI Riemann-
kzelt sszegre |RI I f | < .

A fenti felttelt nem egyszer ellenrizni, hiszen tetszleges (elg finom felosztshoz tartoz)
Riemann-kzelt sszegre kell teljeslnie. Ezrt mondjuk ki a kvetkezt.

2. llts. Korltos f : I R fggvnyek esetn a kvetkez lltsok ekvivalensek.

(i) f az I intervallumon Riemann-integrlhat.
R R
(ii) RHa egy felosztssorozat finomsga nullhoz tart, akkor sf I
f s Sf I
f is teljesl, ahol
I
f R.
(iii) Ha egy felosztssorozat finomsga nullhoz tart, akkor Sf sf 0 teljesl.

Bizonyts: Az (i) (ii) (iii) kvetkeztetsek trivilisak.

(iii) (i) eset: Tudjuk, hogy ha egy felosztssorozat finomsga nullhoz tart, akkor Sf -nek s sf -nek
is van limesze, amelyek a felttel alapjn azonosak. Csak azt nem tudjuk, hogy minden felosztsso-
rozatra ezek ugyanazok-e. Ha nem, akkor a kzs finomtst vve ellentmondsra jutunk. 

A Riemann-integrl tulajdonsgai:
Linearits: ha f, g : I R RRiemann-integrlhatk,
R R az 1 , 2 R egytthatkkal vett
akkor
lineris kombincijuk is, s I 1 f + 2 g = 1 I f + 2 I g.
R R R a Rb
Intervallumok szerinti additivits: Ha [a,a ] f s [a ,b] f ltezik (amit ltalban a f s a f
jell), akkor f Riemann-integrlhat [a, b]-n, s
Z Z Z
f+ f= f.
[a,a ] [a ,b] [a,b]

1.2. Improprius integrl

Elfordulhat az alkalmazsokban, hogy nem korltos halmazon kell az integrlt kiszmtani, illetve
az is, hogy nem korltos fggvny integrljt kell meghatrozni. Fontos a tovbbiakhoz is megen-
gednnk, hogy az integrl rtke vagy legyen.
Elszr azt az esetet trgyaljuk, amikor I = (a, b] alak, lima f = , tovbb minden [an , b]
(a, b] esetn f korltos az [an , b] intervallumon.

2
 R
2. Definci.
R Ha Rvan olyan I
f R rtk, hogy tetszleges (a, b]-beli an a sorozatR esetn
liman a [an ,b] f = I f , akkor azt mondjuk, hogy f improprius integrlja az I intervallumon I f .
R11
R1
Pldk: dx = , 1 dx = 2.
0 x 0 x

Msodszor azt az esetet trgyaljuk, amikor I = [a, ) alak.

R
3. Definci.
R Ha van
R olyan I
f R rtk, hogy tetszleges (a <)bn
R sorozat esetn
limbn [a,bn ] f = I f , akkor azt mondjuk, hogy f improprius integrlja I f .
R 1 R 1
Pldk: 1 x+2 dx = , 1
dx = 1.
x

Megjegyzs: Hasonlan I = R esetn a

Z Z
lim f + lim f
bn [bn ,0] cn [0,cn ]

limesszel rtelmezhet korltos fggvnyek improprius integrlja. Ezt a 3 Defincival kombinlva

azt az esetet is kezelni tudjuk, amikor f : R R olyan, hogy egyetlen pont kivtelvel folytonos.

Megllapodunk mg abban, hogy g : I R nemnegatv fggvnyek Riemann-integrljt is

rtelmezzk, s ez minden olyan esetben vgtelen, amikor g rtke egy egsz intervallumon vgtelen.

1.3. Konvergenciatulajdonsgok, ellenpldk

3. llts. Ha az fn : I = [a, b] R fggvnysorozat mindenR tagja Riemann-integrlhat,
R emellett
fn f egyenletesen, akkor f is Riemann-integrlhat, s lim I fn = I f .

Bizonyts: ELszr igazoljuk, hogy f is Riemann integrlhat. Ehhez azt kell beltni, hogy minden
 > 0-hoz van olyan , hogy a hozz tartoz, -nl finomabb felosztson a hozz tartoz oszcillcis
sszeg legfeljebb . Legyen n olyan nagy, hogy ekkor sup |f fn | < epsilon
4I
. Ekkor persze minden Ij
rszintervallumon
epsilon epsilon
sup f < sup fn + s inf fn < inf f
Ij Ij 4I Ij 4I Ij

rvnyesek, amelyeket egymsbl kivonva kapjuk, hogy

epsilon
sup f inf f < sup fn inf fn + ,
Ij Ij Ij Ij 2I

amelyeket rszintervallumonknt sszegezve kapjuk, hogy Sf sf Sfn sfn + epsilon

2
. Ha most elg
epsilon
kis rtket vlasztunk, akkor fn Riemann-integrlhatsga miatt Sfn sfn < 2 , vagyis ekkor

epsilon
Sf sf Sfn sfn + < .
2

3
 Ezzel a feladat lltsa mr knnyen igazolhat, ugyanis
Z Z Z
f lim fn = lim fn f,
I I I

ahol fn f 0 egyenletesen, vagyis adott  > 0 szmhoz olyan n0 indexet vlasztva, hogy n > n0

esetn |fn f | < |I| legyen, teljesl, hogy
Z Z   Z  Z
   
 f lim fn  = lim fn f  lim |fn f | .
   
I I I I
R
Beltjuk, hogy a lim I fn mennyisg megfelel a Riemann-integrlhatsg defincijban szerepl
kzs limesznek. Konkrtan azt  kell
R beltnunk,
 hogy tetszleges  > 0 esetn van olyan , hogy az
ennl finomabb felosztsokra lim I fn sf  <  teljesl.  
Vlasszunk olyan nagy n paramtert, hogy arra mind lim I fn sn  < 4 , mind supxI |fn (x)
R

f (x)| 4I teljesl. A msodik becslst egy feloszts minden rszintervallumn hasznlva nyilvnva-
lan addik az |sfn sf | < 4 . R 
Ekkor vlasszuk a paramtert olyannak, hogy ennl finomabb felosztsokra  I fn sfn  <

2
. Alkalmazva a hromszg-egyenltlensget kapjuk, hogy -nl finomabb felosztsokra a fenti n
paramtert hasznlva
 Z   Z Z  Z 
lim fn sf  lim fn fn  +  fn sfn  + |sfn sf | <  +  +  = ,
     

I
 
I I
 
I
 4 2 4
ami a fentiek rtelmben bizonytja az lltst. 
Felvetdik a krds, milyen llts mondhat ki pontonknti konvergencit felttelezve.

Plda: Rendezzk sorba a [0, 1] intervallumbeli racionlis szmokat; legyen fk az a fggvny, amely
az els k db racionlis szmban 1-et mshol nullt vesz fel. Ekkor fk egy korltos, monoton nv,
Riemann-integrlhat fggvnyekbl ll sorozat. Ennek pontonknti limesze az a fggvny, amely a
racionlis szmokban egyet, a tbbin nullt vesz fel (Dirichlet-fggvny). Ez azonban nem Riemann-
integrlhat, mert az als kzelt sszege minden feloszts esetn nulla, a fels meg egy. Teht a
fentihez hasonl ttel kimondsa is remnytelen.

1.4. Ttelek Riemann-integrlhat fggvnyekkel kapcsolatban

1. Ttel. Ha I korltos, akkor tetszleges f : I R folytonos fggvny integrlhat.

Bizonyts: Igazoljuk, hogy elg finom felosztson az oszillcis sszeg egy elre kijellt  szmnl
kisebb tehet. A Heine-ttel miatt egy ilyen fggvny egyenletesen is folytonos; vegynk egy olyan

finom felosztst, hogy egy intervallumon bell a fggvny vltozsa legfeljebb |I| legyen. Ekkor az

oszcillcis sszegben minden Ij intervallumon | supIj f inf Ij f | |I| , amiket sszegezve nyerk az
lltst. 

2. Ttel. Ha f : (0, ) [0, ) monoton cskken, akkor Riemann-integrlhat.

4
Bizonyts: Kt esetet klnbztetnk meg: ha valamilyen t > 0 esetn f (t) = , akkor f egy egsz
intervallumon nulla, vagyis a megllapods rtelmben Riemann-integrlhat.
Ha t > 0 esetn f (t) vges, akkor oszcillcis sszege az (a, b) intervallum egy a1 , a2 , . . . , aN bels
osztpontokbl ll felosztsn:

(f (a) f (a1 ))(a1 a) + (f (a1 ) f (a2 ))(a2 a1 ) + + (f (aN ) f (b))(b aN ).

Itt minden komponens pozitv, azaz ha a maximlis felosztshossz IN , akkor ez legfeljebb

(f (a) f (a1 ))IN + (f (a1 ) f (a2 ))IN + + (f (aN ) f (b))IN = (f (a) f (b))IN .

Ezrt IN 0 esetn az oszcillcis sszeg valban nullhoz tart, teht f Riemann-integrlhat

brmely korltos intervallumon. Az f fggvny nemnegatv tulajdonsga miatt az ebbl kapott
improporius integrl is biztos ltezik (esetleg vgtelen lehet). 

3. Ttel. Ha az fj : (0, ) [0, ) monoton cskken fggvnyek Riemann-integrlja vges, emel-

lett az fj sorozat pontonknt RmonotonRnvleg tart f -hez (azaz minden t R+ esetn fj (t) f (t)
monoton nvleg), akkor lim R+ fj = R+ f .

Bizonyts: Elszr megjegyezzk, hogy az elz ttel rtelmben a sorozat minden tagja Riemann-
integrlhat. Msrszt t1 < t2 esetn fj (t1 ) fj (t2 ) ll fenn, vagyis f (t1 ) f (t2 ), azaz f is monoton
cskken,
R + teht szintn Riemann-integrlhat. R+
Ha R f = , akkor minden N -hez van olyan IN R+ korltos intervallum, hogy azon R f >
N + 1, azaz IN -nek van olyan felosztsa, hogy azon az sf als kzelt sszegre sf > N teljesl.
Ennek osztpontjaiban a pontonknti konvergencit hasznlva kapjuk, hogy van olyan fj fggvny,
amelyhez tartoz sfj als kzelt sszegre sfj > N 1 teljesl, teht
Z Z
N 1 < sfj fj fj ,
IN R+
R+
teht az R fj (ez monoton nv) sorozat limesze is vgtelen.
R+ R+
Ha R f < , akkor adott  > 0-hoz keresnk olyan j0 indexet, hogy j > j0 esetn | R fj
R+
f | . Vlasszunk olyan IN R+ korltos intervallumot, hogy azon | R+ f IN f | 3 . Ekkor
R R
R
0 fj f miatt ugyangy | R+ fj IN fj | 3 teljesl minden j indexre. Msrszt tekintsk az IN
R R

intervallum olyan felosztst, ahol

Z
 
sf + f Sf .
4 IN 4
Ekkor ismt a pontonknti konvergencit hasznlva kapjuk, hogy van olyan j0 index, hogy j > j0
esetn Z Z Z
   
f j + sf j + f S fj fj ,
IN 3 3 IN 3 IN 3
azaz Z Z 
  

 f f j
 .
 3
IN IN

5
Ekkor a hrmszg-egyenltlensget alkalmazva kapjuk, hogy j > j0 -ra
Z Z  Z Z  Z Z  Z Z 
          
 + f + fj   + f f +  f fj  +  fj fj  + + = ,
      
R R R IN IN IN IN R+ 3 3 3

teht a ttelben lltott konvergencia teljesl. 

1.5. Lehetsges ltalnostsok

Ha a fenti elmletet I = [a, b] X tpus fggvnyekre akarjuk kiterjeszteni, ahol X egy Banach-
tr, akkor a Riemann-kzelt sszegek s a bellk kapott integrlhatsgi definci vltozatlanul
elmondhat. Azonban azt mr nehezebb igazolni, hogy folytonos fggvnyek Riemann-integrlhatk
(a rendezs hinya miatt ugyanis sem als, sem fels kzelt sszeg nincs). Ezrt ezzel nem foglal-
kozunk rszletesen.
Abban az esetben, ha X = Rd , akkor az elz elmlet komponensenknt alkalmazhat, s vektor-
rtk fggvnyek Riemann-integrlja minden nehzsg nlkl definilhat.
Vgl fontos eset az is, amikor f : R tpus, ahol Rd . Ez az eset az els szakaszbeli tr-
gyalshoz nagyon hasonl mdon kezelhet, mindssze a felosztsban szerepl intervallumok helyett
rsztartomnyokat, a hosszak helyett a rsztartomnyok terlett (trfogatt) kell hasznlnunk, a
finomsg pedig a maximlis tmr kell, hogy legyen.

2. A mrtkelmlet nhny fogalma

A Riemann-integrl bevezetsnek motivcija is egy terlet meghatrozsa volt. De mi az, hogy
terlet? Mit kell, hogy tudjon egy "j" terletfogalom? Milyen skidomnak (halmaznak) lehet
terlete? A hossz/terlet/trfogat fogalmak kzs ltalnostsra szolgl a mrtk.
Elszr egy olyan struktrt adunk meg, amelyen a mrtk definilhat.

2.1. Specilis halmazrendszerek

4. Definci. Egy alaphalmaz rszhalmazainak A rendszert szigma-algebrnak nevezzk, ha az
albbiak teljeslnek:

A.

Ha A, B A, akkor A \ B A is teljesl.

Ha az A1 , A2 , . . . halmazok mindegyike A-beli, akkor

j=1 Aj A is teljesl.

Igazolhat, hogy egy ilyen halmazrendszer megszmllhat metszetre is zrt.

Pldk:

Trivilis: A legyen sszes rszhalmaza.

6
 Kicsit nehezebb: Legyen = [0, 1], s legyen

A = {A [0, 1] : A megszmllhat vagy Ac megszmllhat}.

Nehezen lthat, de fontos: Legyen = Rd , s B a legszkebb olyan szigma-algebra, amely

tartalmazza Rd nylt rszhalmazait. Ezt Borel-fle szigma-algebrnak nevezik, elemeit Borel-
halmazoknak. Itt az sem vilgos, hogy ilyen B egyltaln ltezik.
Megjegyzs: Fontos, de nehezen lthat llts, hogy tetszleges, Omega rszhalmazaibl ll
halmazrendszerhez ltezik egy legszkebb szigma-algebra, amely tartalmazza ezt a halmazrend-
szert. Ezt hazsnlni fogjuk a szorzatmrtkek konstrukcijnl is.

4. llts. d = 1 esetre a Borel-fle szigma-agebrra teljeslnek az albbiak.

(a) B R a legszkebb olyan szigma-algebra, amely tartalmazza a nylt intervallumokat.

(b) B R a legszkebb olyan szigma-algebra, amely tartalmazza az [a, b) alak intervallumokat.

Bizonyts: (a) Tekintsnk egy G nylt halmazt, s minden x pontjhoz rendeljk hozz azon G-beli
nylt intervallumok nijt, amelyek a pontot tartalmazzk. Ez maga is nylt intervallum, mghoz-
z a maximlis, x-et tartalmaz; jelljk Gx -szel. Nyilvnval, hogy az ilyen intervallumok unija
pontosan az eredeti G halmaz. A krds csak az, tnylegesen hny ilyen klnbz nylt halmaz
nijbl llt el. Ha Gx 6= Gy , akkor nyilvn diszjunktak, mert ha lenne metszetk, akkor egyik
sem lehetett volna maximlis. De mindegyikben kell racionlis szmnak lennie, vagyis nem lehet
tbb klnbz Gx alak halmaz, mint ahny racionlis szm van. Ezek szerint minden nylt halmaz
elll megszmllhat sok nylt intervallum nijaknt, azaz ha egy szigma-algebra tartalmazza a
nylt intervallumokat, akkor az sszes nylt halmazt is tartalmazza, vagyis ez legalbb B. Bvebb
pedig biztosan nem lehet.

(b) Ilyen intervallumok nijaknt tetszleges korltos nylt intervallum elll: (a1 , a2 ) =
n=1 [a1 +
1
n
, a2 ),
s ilyenek nijaknt tetszleges nem korltos nylt intervallum is. Emiatt az [a, b) alak in-
tervallumokat tartalmaz legszkebb szigma-algebratartalmazza a nylt intervallumokat, gy ez az
elz lts miatt legalbb B. Bvebb pedig biztosan nem lehet. 

Krdsek: (d = 1 esetn) Borel-halmazok-e [1, 1], illetve Q?

5. Definci. Egy A szigma-algebrn rtelmezett : A [0, ] fggvnyt mrtknek neveznk, ha

az szigma-additv, azaz A-beli diszjunkt A1 , A2 , . . . halmazok esetn

X



j=1 Aj = (Aj ).
j=1

A mrtkek kvetkez fontos tulajdonsgt tbbszr hasznljuk.

7
5. llts. Legyen : A [0, ] tetszleges
mrtk. Ha az A1 A2 A3 nv lnc mindegyik
tagja A-beli, akkor az nijuk is, s
j=1 Aj = lim (An ).

Bizonyts: A szigma-algebra tulajdonsgai miatt nyilvn az ni is A-beli. Diszkunktizljuk a fenti

sorozatot, azaz tekintsk a diszjunkt A1 , A2 \ A1 , A3 \ (A1 A2 ), . . . sorozatot. FIgyeljk meg, hogy
az els n db ilyen halmaz unija ppen An . A mrtk szigma-additivitst is felhasznlva ebbl
kapjuk, hogy

!
!
[ [ X
Aj = Aj \ (A1 Aj1 = (Aj \ (A1 Aj1 ) =
j=1 j=1 j=1
n n
!
X [
= lim (Aj \ (A1 Aj1 ) = lim (Aj \ (A1 Aj1 ) = lim (An ),
n n n
j=1 j=1

ami pp a bizonytand llts. 

Pldk:

Trivilis (egy pontra koncentrlt Dirac-mrtk): A legyen sszes rszhalmaza, x pedig

tetszleges. Ekkor az albbiak szerint definilt
(
1, ha x A
x (A) =
0, ha x 6 A

fggvny mrtk. Gondoljuk ezt meg!

Nehezen lthat, de fontos (mg nem teljes plda): Legyen = R, tekintsk ezen a B szigma-
algebrt, s legyen egy [a, b) alak intervallumon ([a, b)) = b a. Ez egyszer, de hogy
lehet/kell definilni a : B [0, ] halmazfggvnyt a tbbi Borel-halmazon? Errl szl a
kvetkez llts.

6. llts. A fenti halmazfggvny egyrtelmen terjeszthet ki R-beli Borel-halmazokra.

A fenti lltsban szerepl mrtket Lebesgue-mrtknek nevezzk, s (a dimenzi feltntetse nl-

kl) -val jelljk.

Pldk: ({2}) = 0; igazoljuk ezt a Lebesgue-mrtk tulajdonsagia alapjn!

(Q) = 0, mert megszmllhat sok nullmrtk halmaz nijaknt ll el.
Krds: Van "nagy szmossg" halmaz is, amelynek mrtke nulla?

7. llts. A fenti : B [0, ] Lebesgue-mrtk rendelkezik az albbi tulajdonsgokkal:

eltolsinvarins, azaz tetszleges Rd B B s x Rd esetn

(B) = ({b + x : b B}) .

8
 kvlrl s bellrl is regulris, azaz tetszleges Rd B B s esetn

(B) = inf{(G) : G B, G nylt},

(B) = sup{(F ) : F B, F zrt}.

A fentiekben tbbszr hasznlt (, A, ) struktrt, mrtktrnek nevezzk.

Plda: A Lebesgue-mrtk fontos ltalnostsa az, amikor F : R R egy monoton nv, jobbrl
folytonos fggvny, s F ([a, b)) = F (b) F (a). A fentiekhez hasonlan ez is egyrtelmen terjeszt-
het ki a B halmazra, amit LebesgueStieltjes-mrtknek neveznk. Fontos esete ennek, amikor F
egy X valsznsgi vltoz eloszlsfggvnye, s a kapott mrtk annak valsznsgt adja meg,
hogy X rtke egy adott halamazba esik.

Adott mrtktr esetn gyakran mondjuk, hogy egy tulajdonsg valamilyen H halmazon majdnem
mindentt teljesl, ha van olyan nulla mrtk H0 H halmaz, hogy az adott tulajdonsg a H \ H0
halmazon teljesl.

3. Mrhet fggvnyek, Lebesgue-integrl

6. Definci. Adott (, A, ) mrtktr esetn azt mondjuk, hogy az f : [0, ) fggvny mr-
het, ha minden t R+ esetn a {x : f (x) > t} halmaz A-beli; definiljuk a F : [0, ) [0, ]
fggvnyt az F (t) = {x : f (x) > t} hozzrendelssel.

Ebben a szakaszban mindenhol feltesszk, hogy a vizsglt fggvnyek a fenti tpus mrtktren
rtelmezettek.

8. llts. Ha f mrhet, akkor az {x : f (x) t}, {x : f (x) t}, {x : f (x) < t} halmazok is
A-beliek.

Bizonyts: A msodik eset igazolsa a legegyszerbb. Mivel {x : f (x) t} = {x : f (x) > t}c , ezrt
a szigma-algebra komplementerkpzsre val zrtsga miatt kapjuk a kvnt tartalmazst.
Tudjuk azt is, hogy

[ 1
{x : f (x) t} = {x : f (x) > t },
j=1
j

amibl a szigma-algebra megszmllhat nira val zrtsga miatt kapjuk az els esetben szerepl
tartalmazst. Az elz esethez hasonlan ebbl a harmadik is nyilvnvalan kvetkezik. 

9. llts. Ha f s g mrhetek, valamint f + g rtelmes, akkor az f + g fggvny is mrhet.

9
Bizonyts: A bizonytshoz azt kell meggondolni, hogy
[
{x : f (x) + g(x) > t} = {x : f (x) > t qr } {x : f (x) > qr },
qr Q

amibl a szigma-algebra metszetre s megszmllhat nira val zrtsga miatt kapjuk az lltst.


Megjegyzs: A fentiekhez hasonl llts rvnyes a szmmal vals szorzs s maximumkpzs esetre
is.

Akkor neveznk egy f : H R mrhet fggvnyt szigoran pozitvnak, ha majdnem

mindentt pozitv, azaz van olyan nulla mrtk H0 H halmaz, hogy f az H \ H0 halmazon
pozitv.
R R
7. Definci. Egy f : R [0, ) mrhet fggvny integrljt az f d := 0 F (t) dt Riemann -
integrllal, amely a 2 Ttel miatt biztosan ltezik (esetleg lehet ). Ha a fenti integrl vges, akkor
vgesen integrlhatnak mondjuk az f fggvnyt.
Ha a fenti mrtket a Lebesgue-mrtknek vlasztjuk, akkor kapjuk a nemnegatv fggvnyekre
vonatkoz Lebesgue-integrl defincijt.
Az eddigiekben csak nemnegatv fggvnyek integrljval foglalkoztunk. Tetszleges eljel g :
R fggvnyt bontunk fel a g = g+ g sszegre, ahol
g+ (x) = max(g(x), 0) g (x) = max(g(x), 0).
Ezek nemnegatv fggvnyek, sszegk minden x helyen valban g(x), ami alapjn a g fggvny
integrljt az Z Z Z
g d := g+ d g d
klnbsggel definiljuk, amennyiben ez rtelmes.
10. llts. Ha az f : I R fggvny Riemann-integrlhat, akkor mrhet is, s Riemann-
integrlja megegyezik a Lebesgue-integrljval.
Plda: Jellje
( valamilyen H A halmazra H ezen halmaz karakterisztikus fggvnyt, azaz legyen
1, ha x H
H (x) = . Ekkor
0, ha x 6 H
(
(H), ha t < 1
F (t) = {x : (x) > t} =
0, ha t > 1,
R R
vagyis K = 0 F (t) dt = 1 (H) = (H).
11. llts. Ha az f, g : R fggvnyek vgesen integrlhatk, s sszegk rtelmes, akkor
tetszleges c1 , c2 R konstansokkal
Z Z Z
c1 f + c2 g d = c1 f d + c2 g d.

10
4. A mrhet fggvnyek elmletnek nevezetes ttelei
4. Ttel. (Beppo Levi - ttel vagy monoton konvergenciattel) Legyen f1 , f2 , . . . egy vgesen integ-
rlhat R R fggvnyekblR ll monoton nv sorozat, amelynek pontonknti limesze f . Ekkor
mind lim fn d, mind lim f d ltezik, s a kt limesz ugyanaz.

Bizonyts: Elszr beltjuk, hogy f is mrhet, amihez azt kell igazolni, hogy minden t R+ esetn
az {x : f (x) > t} halmaz A-beli. Nyilvn az f (x) > t relci pontosan akkor teljesl, ha az f (x)-hez
monoton nvleg konvergl fn (x) sorozat tagjaira is igaz egy indextl kezdve. Emiatt

[
{x : f (x) > t} = {x : fn (x) > t},
j=1

vagyis a szigma-algebra tulajdonsgai miatt a bal oldali halmaz is eleme, azaz f mrhet.
St az nit bvl halmazok sorozata adja, vagyis az 5 llts miatt nyilvn

{x : f (x) > t} = lim {x : fn (x) > t},

n

amit tfogalmazva kapjuk, hogy F (t) = limn Fn (t). Ahhoz, hogy pozitv fggvnyek Riemann-
integrljt vehessk, az eredeti helyett tekintsk a 0, f2 f1 , f3 f1 , . . . sorozatot, amely ugyangy
monoton nv, pontonknti limesze pedig f f1 .
Vegynk szre, hogy a ezen sorozat elemeire ugyangy

{x : f f1 (x) > t} = lim {x : fn f1 (x) > t},

n

st, monoton nv sorozat szerepel a jobb oldalon, vagyis a 3 Ttel miatt

Z Z Z Z
f f1 d = F (t) dt = lim Fn (t) dt = lim fn f1 d,
[0,] n [0,] n

R
vagyis mindkt oldalhoz az f1 d menyisget hozzadva kapjuk a ttel lltst. 

A kvetkez llts trgyalshoz szksgnk lesz az albbi egyszer lltsra.

12. llts. Tetszleges (an ) Rn sorozatra lim inf an = supk inf{ak , ak+1 , . . . }.

Bizonyts: Mivel (an )-nek van olyan rszsorozata, amely lim inf an -hez tart, ezrt minden k-ra lim inf an
inf{ak , ak+1 , . . . }. Ekkor viszont k-ban mndkt oldal szuprmumt vve kapjuk, hogy

lim inf an sup inf{ak , ak+1 , . . . }.

k

Ha itt szigor egyenltlensg llna, akkor valamilyen s > 0 szm esetn minden k-ra volna lim inf an
s-nl is kisebb eleme a inf{ak , ak+1 , . . . } halmaznak, de akkor olyan rszsorozata is, amelynek limesze
lim inf an s-nl is kisebb, ami ellentmonds. 

11
 R fn : RR nemnegatv vgesen integrlhat fggvny, tovbb
5. Ttel. Legyen n = 1, 2, . . . esetn
f (x) := lim inf fn (x). Ekkor lim inf fn d f d.

Bizonyts: A fenti llts tlett hasznlva vezessk be az f k (x) := inf{fk (x), fk+1 (x), . . . } jellst.
Nyilvn \
{x : f k (x) t} = {x : f k (x) t},
jk

azaz f k is mrhet. St, ez monoton nv fggvnysorozat, azaz minden x-ben a limesze az f k (x)
rtkekbl ll sorozat szuprmuma, vagyis a 12 llts miatt

lim f k (x) = sup inf{fk (x), fk+1 (x), . . . } = lim inf fn (x) = f (x).
k

Ekkor az egyenlsg els s utols tagjra a monoton konvergenciattel alkalmazhat, vagyis

Z Z Z Z
k k
f d = lim f d = sup f d = sup inf fj (x) d
k k jk
Z Z
sup inf fj (x) d = lim inf fj (x) d.
k jk


A fenti ttel legfontosabb kvetkezmnye az elmlet msodik nagy ttele, a dominlt konvergen-
ciattel vagy ms nven Lebesgue-ttel.

6. Ttel. Legyen f1 , f2 , . . . egy R tpus, mrhet fggvnyekbl ll monoton nv sorozat,

amelynek pontonknti limesze f . Tovbb tegyk fel, hogyR van olyanR vgesen integrlhat g : R
fggvny, hogy minden n-re |fn | g teljesl. Ekkor lim fn d = f d.

Bizonyts: Mindenekeltt beltjuk, hogy ha a pontonknti konvergencia teljesl, akkor

fn+ f+ s fn f .

Ennek alapjn elegend a attelt csak pozitv fggvnyekre igazolni. Hasznljuk a Fatou-lemmt a
nemnegatv fn+ fggvnyek sorozatra. Mivel ezeknek limesze f+ , ezrt egyszersmind lim inf fn+ =
f+ is igaz, vagyis az integrlokra Z Z
f+ lim inf fn+ .

Msrszt a felttel miatt fn+ g, vagyis g fn+ nemnegatv, s pontonknt g f+ -hoz tart. Vagyis
a Fatou-lemma miatt
Z Z Z Z Z
g f+ = g f+ lim inf g fn+ = g lim sup fn+ ,

azaz a fentivel sszevetve kapjuk a ttel lltst. 

12
4.1. Szorzatmrtkek s a Fubini-ttel
A kvetkez lltsoknl mindenhol feltesszk, hogy az ott szerepl mrtkek -vgesek. Ha adottak
(1 , A1 , 1 ) s (2 , A2 , 2 ) mrtkterek, akkor a mrtkek szorzatt az {A1 A2 : A1 A1 , A2 A2 }
szorzathalmazokat tartalmaz legszkebb szigma-algebrn rtelmezzk, amit A-val jellnk.

8. Definci. Legyen 1 2 : A R olyan, hogy 1 2 (A1 A2 ) = 1 (A1 )2 (A2 ). (ez tnyleg

meghatrozza a szorzatmrtket, hiszen egyrtelmen terjszthet ki a fenti halmazokat tartalmaz
legszkebb szigma-algebrra.

Plda: Ha 1 = 2 = 1 , akkor 1 2 = 2 , azaz a ktdimenzis Lebesgue-mrtk.

A szorzatmrtkkel kapcsolatos lltsokat sorolunk fel bizonyts nlkl. Ehhez B A esetn
definiljuk a kvetkez halmazokat:
Bx = {y 2 : (x, y) B} s By = {x 1 : (x, y) B}.
Nem trivilis tny, hogy Bx A2 s By A1 teljesl tetszleges x 1 s y 2 esetn.

13. llts. A fent deinilt szorzatmrtkre teljeslnek a kvekezk:

(i) Tetszleges B A esetn fennll, hogy
Z Z
1 2 (B) = 2 (Bx ) d1 = 1 (By ) d2 .
1 2

(ii) A szorzatmrtk kommutatv a kvetkez rtelemben:

1 2 (B) = 1 2 ({(y, x) : (x, y) B}) ,
tovbb asszociatv:
1 (2 3 ) ({(x, (y, z)) : (x, y, z) B}) == (1 2 ) 3 ({((x, y), z) : (x, y, z) B}) .

(iii) Minden f : 1 [0, ) mrhet fggvny integrlja elll, mint f szubgrfjnak 1 1

mrtke, ahol a megszokott mdon 1 az egydimenzis Lebesgue-mrtket jelli. Azaz
Z
f d1 = 1 ({(x, y) : 0 y f (x)}) .
1

Mindhrom llts bizonytsnak alapgondolata az, hogy az egyenlsg kt oldaln szigma-vges

mrtkek llnak, amelyek A1 A2 alak halmazokon azonosak, gy az azokat tartalmaz legszkebb
szigma-algebrn is meg kell egyeznik.
Kvetkezmnyknt a mrtkelmlet harmadik alapttelt, a Fubini-ttelt fogalmazzuk meg.
7. Ttel. Legyen f : 1 2 [0, ) mrhet fggvny. Ekkor hasznlva az f (x, ) : 2
[0, ), f (x, )(y) = f (x, y) s az f (, y) : 1 [0, ), f (, y)(x) = f (x, y) jellseket, teljesl, hogy
Z Z Z  Z Z 
f d1 d2 = f (x, ) d2 d1 = f (, y) d1 d2 .
1 2 1 2 2 1

13
Bizonyts: A bizonytsban mindentt a 13 llts pontjait hasznljuk. Tudjuk, hogy a (iii) pont
miatt Z
f d1 d2 = (1 2 ) ({((x, y), z) : 0 z f (x, y)}) .
1 2

Ezt elszr a (ii), majd az (i), vgl az (iii) pontbeli azonossg alapjn talaktva
Z
f d1 d2 = (1 2 ) ({((x, y), z) : 0 z f (x, y)}) =
1 2
= 1 (2 ) ({((x, (y, z)) : 0 z f (x, y)}) =
Z Z Z 
= (2 ) ({(y, z) : 0 z f (x, y)}) d1 = f (x, ) d2 d1 ,
1 1 2

ami ppen a bizonytand els egyenlsget adja.

A (ii) pontban szerepl kommutativitst hasznlva ugyanilyen elven kapjuk, hogy
Z
f d1 d2 = (1 2 ) ({((x, y), z) : 0 z f (x, y)}) =
1 2
= (2 1 ) ({((y, x), z) : 0 z f (x, y)}) =
= 2 (1 ) ({((y, (x, z)) : 0 z f (x, y)}) =
Z
= (1 ) ({(x, z) : 0 z f (x, y)}) d2 =
2
Z Z 
= f (, y) d1 d2 ,
2 1

ami a msodik egyenlsg bizonytsa. 

Fontos specilis eset az, amikor mindkt mrtk az egydimenzis Lebesgue-mrtk. Ekkor a fenti
jellsek helyett gyakran az
Z Z
f d1 d2 = f (x, y) dx dy
1 2 1 2

illetve Z Z Z Z
f (x, ) d2 = f (x, y) dy s f (, y) d1 = f (x, y) dx
2 2 1 1

jellseket hasznljk, amelyekkel a Fubini-ttel azt jelenti, hogy az klnbz vltozk szerinti
integrls felcserlhet.

4.2. Azonos szigma-algebrn rtelmezett mrtkek kapcsolata: a Radon

Nikodym-ttel
A kvetkezkben a (, A, ) s (, A, ) mrtkterekben szerepl mrtkek kapcsolatt vizsgljuk,
azaz feltesszk, hogy ezek azonos szigma-algebrn rtelmezettek.

14
9. Definci. Azt mondjuk, hogy a fenti mrtk abszolt folytonos a mrtkre nzve, ha (M ) =
0 esetn (M ) = 0 is teljesl.

Plda: A nulla pontra koncentrlt 0 Dirac-mrtk nem abszolt folytonos a Lebesgue-mrtkre

nzve Rd -ben. Ugyanis a nulla pont Lebesgue-mrtke nulla, ugyanakkor 0 szerinti mrtke egy.
Hasonlan a Lebesgue-mrtk sem abszolt folytonos a 0 Dirac-mrtkre nzve, mert a (0, 1)d kocka
Lebesgue-mrtke egy, mg 0 szerinti mrtke nulla.

8. Ttel. Tegyk fel, hogy a fenti s mrtkek szigma-vgesek, tovbb abszolt folytonos
R -re
nzve. Ekkor ltezik olyan f : [0, ) fggvny, hogy minden A A esetn (A) = f d.

A fenti ttelben szerepl (az egyes mrtkektl fgg) f fggvnyt a mrtk szerinti Radon
Nikodym-derivltjnak nevezzk, s gyakran gy jellik: d d
. Ez konstruktv mdon limeszknt is
elallthat a klasszikus derivlt mintjra.

Megjegyzs: A fizikai trvnyek korrekt felrsakor gyakran srsgekkel kell dolgoznunk. A fenti
llts ismeretben lehetnk biztosak abban, hogy ezek a srsgek lteznek. Ha pldul a tmegnek
megfeleltetett mrtk, tovbb a hromdimenzis Lebesgue-mrtk, akkor a fenti llts felttele azt
jelenti, hogy nem engednk meg "tmegpontokat", st minden nulla trfogat halmazrl feltesszk,
hogy tmege nulla. A fenti llts azt mondja, hogy ekkor valban ltezik, az a fggvny, amelyet
srsgfggvnynek neveznk, azaz egy rgztett trfogaton mrt ssztmeget kiszmthatjuk gy,
hogy azon a srsgfggvnyt a Lebesgue-mrtk szerint integrljuk.

15