LEBESGUE INTEGRAL OF A BOUNDED FUNCTION

MAKALAH

Untuk memenuhi Tugas Mata Kuliah Pengantar Teori Integral

yang diampu oleh Sukoriyanto , Dr., M.Si

Disusun oleh:
Ahmad Fahri Assegaf (170312612103)
Ahmad Anwar Baihaqi Yakla (170312642134)
Werdiasti Cahyani (170312612036)

UNIVERSITAS NEGERI MALANG

FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM

JURUSAN MATEMATIKA

Maret 2021
Teorema 2.3
Misalkan f : E → ℜ adalah fungsi sederhana. Maka

(1)
Fungsi f adalah fungsi sederhana. Fungsi f ∈L(f)) ={ρ: ρ adalah fungsi sederhana terdefinisi
pada E dan ρ ≤ f}. ρ∈ L( f ) maka ρ ≤ f ≤ β sehingga

Oleh karena itu himpunan

{∫
E
}
ρ: ρ∈ L(f ) mempunyai supremum yaitu ¿
ρ<f
∫ ρ sedemikian
E

sehingga

(2)
f ∈ U(f) = {ψ :ψ adalah fungsi sederhana terdefinisi pada E, dengan ψ ≥ f }. ψ ∈U( f ) maka α
≤ f ≤ψ sehingga

Maka
{∫
E
}
ψ :ψ ∈U ( f ) mempunyai infimum inf ∫ ψ sedemikian sehingga
ψ <f E

(3)
Dari (1) dan (2) diperoleh

Maka terbukti bahwa

(3)
Jadi, setiap fungsi sederhana mempunyai integral Lebesgue atas dan Integral Lebesgue bawah
yang sama.
Definisi 2.4
Misalkan f adalah fungsi terbatas terdefinisi pada himpunan E yang berukuran berhingga.
Fungsi f dikatakan terintegral Lebesgue pada E, jika

integral Lebesgue dari f pada E ditulis dengan L∫ f ( x ) dx atau ∫ f . Jadi, setiap fungsi
E E
terbatas, terdefinisi pada himpunan E berukuran berhingga jika mempunyai integral atas dan
bawah yang sama, maka fungsi terintegral Lebesgue.

Contoh:
1

Fungsi f : [0,1] → ℜ dengan f(x) = 2x. Hitunglah ∫ 2 xdx

0

Penyelesaian :
Fungsi f ∈ U(f) ={ψ :ψ adalah fungsi sederhana terdefinisi pada E, dengan ψ ≥ f}. Fungsi ψ

∈U( f ) maka terdapat inf ∫ ψ ( x ) dx=L∫ f ( x ) dx=1

ψ <f E E

Fungsi f ∈ L(f)) ={ρ: ρ adalah fungsi sederhana terdefinisi pada E dan ρ≤ f}. Fungsi ρ ∈

L( f ) maka terdapat ¿
ρ<f
∫ ρ ( x ) dx=L∫ f ( x ) dx=1
E E

1
Karena L∫ f ( x ) dx=L ∫ f ( x ) dx=1 maka ∫ 2 xdx=1.
E E 0

Selanjutnya akan dibuktikan setiap fungsi terukur terbatas yang didefinisikan pada himpunan
berukuran berhingga akan terintegral Lebesgue.

Teorema 2.5
Misalkan f adalah fungsi terbatas yang terdefinisi pada himpunan terukur E yang berukuran
berhingga. Fungsi f terintegral Lebesgue jika dan hanya jika f terukur. Bukti: ⇒ Misalkan f
terintegral Lebesgue atas E maka

inf ∫ ψ ( x ) dx =¿ ρ< f ∫ ρ ( x ) dx=I

ψ <f E E
Untuk setiap fungsi sederhana ψ , ρ dan sebarang bilangan real I.
Diberikan bilangan bulat n, maka terdapat himpunan sederhana ρ n dan ψ n sedemikian
sehingga
ρn (x )≤ f (x)≤ψ n ( x ) berlaku

∫ ψ n ( x ) dx < I + 21n
E

Dan ∫ ρn ( x ) dx> I − 21n

E

Diberikan
❑ ❑

∫ ψ n ( x ) dx −¿∫ φn ( x ) dx < 1n ¿ (1)

E E

Dengan pendefinisian berikut

ψ ¿ =inf ψ n dan φ ¿=φn
¿ ¿
Untuk setiap n , ψ n dan φ n merupakan fungsi terukur, fungsi ψ dan φ juga merupakan fungsi
¿ ¿
terukur selanjutnya φ ( x ) ≤ f ( x ) ≤ ψ ( x )
Kemudian, berdasarkan himpunan
⊿= { x :φ ( x ) <ψ ( x ) } ,
¿ ¿

{ ¿ ¿
⊿v = x : φ ( x ) < ψ ( x ) −
v}
1
,

={x :φ ( x )< ψ ( x )− },
1
⊿v , n n n
v

Dengan catatan sebagai berikut,

(a) ⊿=¿ v=1 ¿ ∞ ⊿ v
(b) ⊿v <⊿v , n , untuk setiap n
v v
(c) m ( ⊿v ,n ) < , karena jika m ( ⊿v , n ) ≥ , maka
n n
❑ ❑ ❑

∫ ψ n ( x ) dx−¿ ∫ φ n ( x ) dx= ∫ {ψ n ( x )−φ n ( x ) } dx > 1v m ( ⊿v ,n ) ≥ 1n ¿

⊿ v,n ⊿v ,n ⊿ v,n

Yang kontradiksi dengan pernyataan (1).

Untuk n sebarang, dengan melihat (b) dan (c) di atas, yang memiliki m ( ⊿v )=0 dan
karenanya m (⊿ )=0. Hal tersebut membuktikan bahwa φ ¿ ≥ψ ¿ a.e (hampir di semua
titik/elemen). Tetapi φ ¿ ≤ψ ¿ . Karenanya φ ¿=ψ ¿ =f a.e., dan untuk masing-masing fungsi φ ¿
dan ψ ¿ adalah fungsi terukur, kemudian f juga merupakan fungsi terukur.
Di sisi lain,diasumsikan bahwa f fungsi terukur di E . Anggap f dibatasi oleh M . Maka
−M ≤ f ( x ) ≤ M , untuk setiap x ∈ E

Interval [ −M , M ] dibagi menjadi 2 n bagian yang sama (equal) dan berdasarkan himpunan

{
En = x ∈ E :
M
n
M
}
k ≥ f (x )> (k−1) ,−n ≤ k ≤n
n

Jelasnya, {E k :−n ≤ k ≤ n } adalah dapat dihitung koleksi dari himpunan yang dapat diukur
sedemikian rupa sehingga E=¿ k=−n ¿ n E k . karena itu,
n
m ( E )= ∑ m( Ek )
k=−n

Untuk setiap n, jika kita mendefinisikan secara sederhana ψ n dan φ n sebagai

dan

Maka mereka memenuhi pn ( x ) ≤ f ( x ) ≤ ψ n ( x). Jadi

Karena n adalaha arbitraty, kita mempunyai

Oleh karena itu f adalah Lebesgue · terintegralkan pada E.