Diktat Kuliah s2 Analisis Real

A
A
n
n
a
a
l
l
i
i
s
s
i
i
s
s
R
R
e
e
a
a
l
l
Khaeroni,S.Si
onny_11_49@yahoo.com
LisensiDokumen:
Copyleftonkhaeroni.net
Seluruhdokumendikhaeroni.netdapatdigunakan,dimodifikasidandisebarkansecarabebasuntuktujuanbukan
komersial(nonprofit)atauakademis(kenaikanpangkat,sertifikasi,dansebagainya).Dibolehkanmelakukan
penulisanulang,dengantanpamendapatkanijinterlebihdahuludarikhaeroni.net.Karenasifatnyabukanreferensi,
makadiperkenankanjugauntuktidakmenyertakanlinkdaridokumenini.
TentangDokumen:
Dokumeninidibuatuntukkepentinganpribadidangolongan,sehinggasegalakesalahandanketersesatanyang
diakibatkanolehpenggunaandokumenini,penulistidakbertanggungjawab.Ketersediaannyadiinternetbukan
berartiditujukanuntukpenggunaanumum,ketersediaantersebutdimaksudkansebagaidokumentasionlineyang
dimilikipenulisdandiperbolehkandimilikiolehsiapasaja.
TulisaninimerupakansalinanulangdaricatatanperkuliahanAnalisisRealdiInstitutPertanianBogorSekolah
PascasarjanaProgramMagisterSainsMayorMatematikaTerapanyangdiampuolehBapakDr.Jaharuddin,MSdan
IbuBerlian(BuAnggi)
Outline:
1. TeoriHimpunan
2. SistemBilanganReal
3. UkuranLebesgue
4. IntegralLebesgue
5. TurunandanIntegral
6. RuangBanach
Referensi:
1. H.L.Royden,1988,RealAnalysis,Mc.MilanPub,NewYork
2. Bartle,R.G.,&D.R.Sherbert,2000,IntroductiontoRealAnalysis,JohnWiley,NewYork
3. Goldberg,RichardR.,1976,MethodsofRealAnalysis,JohnWiley,NewYork
ThanksTo:
AllahswtatashidayahNyadannikmatwaktuluang,NabiMuhammadsawatasbimbinganbeliaumengenalkankita
kepadarabbkita.BapakDr.Jaharuddin,MSdanIbuAnggi.Rekanrekansenasibdansependeritaanmenghadapi
AnalisisRealdanAljabarLinear.MyTinyWebSite,MyWonderfulllaptopyangsangatsetia.SertaAlHafidzMunsyari
RasyidyangsenantiasamenemanitelingainidenganlantunanayatayatNyayangmenggugahsemangat.Dantak
lupa,Istrikutercintadankusayangiatasdukungannya.
Bagi setiap lisan yang telah terkunci, bahkan sampai kepada hatinyaMaka izinkan dan biarkanlah selembar
pengaduan ini menjadi kata maaf yang sangat tulusNamun, jika ia terlambat, maka biarkanlah lembaran
ini hanya menjadi baris yang memperindah keranjang sampah. Gunakanlah, jika ia berkenan
memaafkandan buanglah, jika memang tidak berkenan
Bab 1

Teori Himpunan

1.1. Pendahuluan
Salah satu dari sekian banyak alat-alat yang penting dalam matematika modern adalah mengenai
teori himpunan. Dalam tulisan ini, jika dituliskan himpunan X, maka yang dimaksud adalah himpunan
bilangan real. Bagian pertama, dijelaskan beberapa simbol-simbol dari teori himpunan yang akan sangat
berguna nantinya.

Definisi :
Himpunan didefinisikan sebagai kumpulan objek-objek. Objek dari suatu himpunan disebut anggota/elemen
dari himpunan tersebut.

Definisi :
Jika x anggota himpunan X, ditulis x X.
Jika x bukan anggota himpunan X, ditulis x X

Himpunan X secara lengkap ditentukan berdasarkan anggota-anggotanya.

Definisi :
Jika dua himpunan X dan Y memiliki sifat x X jika dan hanya jika x Y untuk semua x, maka
X = Y

Definisi :
X disebut himpunan bagian dari Y, ditulis X Y, jika dan hanya jika untuk setiap x X x Y

Dari sini, jelas bahwa setiap himpunan X merupakan himpunan bagian dari X.

Definisi :
Dua himpunan X dan Y dikatakan sama, yaitu X = Y, jika dan hanya jika X Y dan Y X

Karena himpunan ditentukan oleh elemen-elemennya, salah satu cara yang sering dilakukan
untuk mendefisikan sebuah himpunan adalah dengan menyatakan keanggotaannya (elemen),
sebagaimana didefinisikan berikut ini:

Definisi :
Jika A adalah himpunan dengan anggota-angggota-nya x X yang memiliki sifat P maka A dapat ditulis:
= { | ( )} A x X P x

Sehingga dan ( ) x A x X P x . Karena X sudah dijelaskan sebelumnya, maka terkadang
pendefinisian A bisa ditulis:
A = {x : P(x)}
Himpunan yang tidak mempunyai anggota dinamakan dengan himpunan kosong, dan
dilambangkan dengan .

Teorema 1.1 :
Himpunan kosong merupakan himpunan bagian dari setiap himpunan.
Bab 1 Teori Himpunan Compiled by : Khaeroni, S.Si

2
Bukti :
Diketahui himpunan kosong. Misalkan X adalah sebarang himpunan.
Akan dibuktikan bahwa X, yaitu:
x x X
Pernyataan di atas merupakan pernyataan implikasi dengan antesedennya bernilai salah, karena
tidak mempunyai anggota. Berdasarkan tabel kebenaran untuk pernyataan implikasi,
pernyataan implikasi di atas selalu bernilai benar. Jadi, terbukti bahwa X.

Jika x, y, dan z adalah elemen-elemen X, didefinisikan himpunan-himpunan sebagai berikut:
Himpunan {x} yaitu himpunan yang anggotanya hanya x
Himpunan {x, y} yaitu himpunan yang anggota-anggotanya hanya x dan y
Himpunan {x, y, z} yaitu himpunan yang anggota-anggotanya hanya x, y, dan z
dan sebagainya.
Himpunan {x} disebut dengan unit set atau singleton atas x. Satu hal yang sebaiknya hati-hati
antara x dan {x}. Sebagai contoh, kita mempunyai x {x} tetapi tidak benar x x.
Dalam {x, y} tidak diberlakuan urutan antara x atau y, yaitu {x, y} = {y, x}. Begitu juga dengan
{x, y, z} = {x, z, y} = {y, x, z} = {y, z, x} dan sebagainya. Karena alasan inilah kita menyebut {x, y}
sebagai pasangan tak terurut (unordered pair). Sementara itu, kita menuliskan <x, y> sebagai pasangan
berurut (ordered pair). Dalam pasangan berurutan <x, y>, x merupakan elemen pertama dan y elemen
kedua.

Definisi :
<x, y> = <a, b> jika dan hanya jika x = a dan y = b

Dari definisi di atas, disimpulkan bahwa : x y <x, y> <y, x>.

Misalkan X dan Y adalah dua himpunan. Didefinisikan Perkalian Kartesian atau Perkalian
Langsung (Cartesian, or Direct Product), X Y sebagai berikut:

Definisi :
X Y = {<x, y> | x X dan y Y}

Jika X bilangan real, maka X X merupakan himpunan pasangan berurutan-pasangan
berurutan atas bilangan real dan ekuivalen dengan himpunan titik-titik pada bidang. Terkadang, kita
sering menulis X
2
untuk X X, X
3
untuk X X X, dan sebagainya.

Latihan :
Tunjukkan bahwa {x | x x} =
Bukti :
Misal A = {x | x x}.
Akan dibuktikan bahwa A = .
Andaikan A , maka ada x A. Karena x A maka x x. Timbul kontradiksi. Jadi,
pengandaian salah, yang benar A = .

1.2. Fungsi
Misalkan X dan Y adalah dua himpunan. Fungsi f dari (atau pada) X ke (atau kepada) Y
diartikan sebagai aturan yang mengaitkan setiap x di X dengan tepat satu anggota y di Y sehingga y =
f(x).
Grafik fungsi f, ditulis G, adalah kumpulan pasangan dalam bentuk <x, f(x)> di dalam X Y.
Jadi, G X Y disebut grafik dari sebuah fungsi f pada X jika dan hanya jika untuk setiap x X
terdapat dengan tunggal pasangan dalam G yang elemen pertamanya adalah x atau ditulis:

3
G = {<x, y> | y = f(x)} X Y

Terlihat, fungsi dapat didefinisikan melalui grafiknya karena fungsi dapat ditentukan dengan
grafiknya. Oleh karena itu, didefinisikan fungsi dari X ke Y adalah himpunan f dalam X Y dimana
setiap x X mempunyai tepat satu y Y sehingga <x, y> f. Dengan kata lain,

Jika <x, y> f dan <x, y> f maka y = y

Kata pemetaan sering kali digunakan sebagai sinonim untuk kata fungsi. Fungsi f dari X ke Y
dilambangkan dengan:
f : X Y
bilamana <x, y> f dengan f fungsi, maka fungsi dapat ditulis y = f(x) atau x y.
Himpunan X disebut domain (atau daerah definisi) dari f. Himpunan nilai f, adalah
R(f) = {y Y | y = f(x), x X}

disebut range dari f. Range dari fungsi f secara umum akan lebih kecil dari Y, atau R(f) Y. Jika R(f) =
Y, maka f disebut fungsi onto (fungsi f kepada Y), atau f surjektif.

Definisi :
Diberikan fungsi f : X Y, f surjektif jika dan hanya jika untuk setiap y Y terdapat x X sehingga
y = f(x). Akibatnya, jika f surjektif, maka R(f) = Y.

Jika A X, didefinisikan peta (image) dari A terhadap f merupakan himpunan elemen-elemen di
dalam Y sehingga y = f(x) untuk semua x di A, ditulis:
f(A) = {y Y | y = f(x), x A}
sehingga range dari f adalah f(X), dan f surjektif jika dan hanya jika Y = f(X).
Jika B Y, didefinisikan prapeta (invers image) dari B terhadap f merupakan himpunan elemen-
elemen di dalam x sehingga y = f(x) B, ditulis:
f
1
(B) = {x X | y = f(x), y B}.

Teorema :
Fungsi f : X Y surjektif f
1
(B) , B Y dan B
(f surjektif jika dan hanya jika prapeta dari himpunan bagian tak kosong dari Y merupakan
himpunan tak kosong).
Bukti :
() Diketahui f surjektif, sehingga Y = f(X).
Akan dibuktikan bahwa B Y dan B , f
1
(B)
Karena B maka terdapat y B.
Karena y B dan B Y maka y Y.
Karena y Y dan Y = f(X) maka y f(X).
Karena y f(X) maka terdapat x X sehingga y = f(x)
Karena y = f(x) dan y B, maka x f
1
(B) untuk suatu x X.
Jadi, f
1
(B) .
() Diketahui, B Y dan B , f
1
(B)
Akan dibuktikan bahwa f surjektif, ekuivalen dengan membuktikan Y = f(X)
(i) Akan dibuktikan bahwa Y f(X)
Karena f
1
(B) , maka terdapat x f
1
(B) sehingga y = f(x) untuk suatu y B.
Karena B Y, maka y Y.
Karena y = f(x) maka y f(X).

4
(ii) Akan dibuktikan bahwa f(X) Y
Karena f
1
(B) , maka terdapat x f
1
(B) sehingga y = f(x) untuk suatu y B.
Karena y = f(x) maka y f(X).
Karena B Y, maka y Y.
Versi Pa Jaharuddin:
Misal y Y. Akan dibuktikan y f(X).
Andaikan y f(X), maka tidak ada x X sehingga y = f(x). Jadi, tidak ada y Y sehingga
y = f(x). Karena B Y, maka tidak ada y B sehingga y = f(x). Karena y sebarang, maka
f
1
(B) = . Kontradiksi dengan hipotesis, jadi haruslah y f(X).
(The following proof is mine)
Misal y f(X). Akan dibuktikan y Y
Karena y f(X) maka y = f(x) untuk suatu x X.
Karena f
1
(B) dan y = f(x) untuk suatu x X, maka x f
1
(B)
Karena x f
1
(B) dan y = f(x), maka y B
Karena y B dan B Y, maka y Y.

Definisi :
Fungsi f : X Y disebut satu-satu (injektif), jika memenuhi:
f(x
1
) = f(x
2
) x
1
= x
2

Untuk setiap x
1
, x
2
X.

Definisi :
Fungsi yang satu-satu dari X kepada Y (injektif dan surjektif) disebut korespondensi satu-satu antara X dan
Y (bijektif).

Bila f bijektif, maka terdapat fungsi g : Y X sehingga untuk setiap x dan y berlaku g(f(x)) = x
dan f(g(y)) = y. Fungsi g disebut invers dari f dan ditulis f
1
.
Misalkan f : X Y dan g : Y Z, didefinisikan fungsi h : X Z, yaitu h(x) = g(f(x)). Fungsi h
disebut komposisi dari g dengan f dan ditulis g f.
Jika f : X Y dan A X didefinisikan fungsi g : A Y dengan rumus g(x) = f(x), x A.
Fungsi g disebut batasan (restriction) f terhadap A dan ditulis f|
A
. Fungsi f dan g memiliki daerah hasil
(range) dan prapeta yang berbeda.
Barisan hingga (n-tuple) adalah suatu fungsi dimana domainnya merupakan n bilangan asli
pertama, yaitu himpunan
{i N | i n}.
Barisan tak-hingga adalah fungsi dimana domainnya merupakan bilangan asli.
Kita menggunakan istilah barisan untuk memahami barisan berhingga atau tak-berhingga. Jika
daerah hasil dari barisan ini berada dalam himpunan X, kita sebut barisan dari atau di dalam X atau
barisan dengan elemen-elemen dari X. Nilai fungsi pada i, ditulis x
i
dan menyebut nilai tersebut dengan
elemen ke-i dari barisannya. Kita juga menggunakban notasi
=1
n
i
i
x untuk menuliskan n-tuple terurut,
dan barisan tak-hingga dengan
=1
i
i
x . Namun, terkadang kita juga menyatakan barisan secara
sederhana dengan
i
x . Daerah hasil dari barisan
i
x akan dinotasikan dengan {x
i
}. Sehingga, daerah
hasil dari n-tuple terurut
=1
n
i
i
x merupakan himpunan tak-terurut n-tuple { }
=1
n
i
i
x .
Himpunan A dikatakan terhitung (countable) jika A sama dengan daerah hasil suatu barisan
(hingga atau tak-hingga). Tetapi bilamana A sama dengan daerah hasil dari barisan hingga, maka A
disebut himpunan hingga (finite). Himpunan yang bukan himpunan hingga disebut himpunan tak-hingga
(infinite).
Salah satu cara untuk mendapatkan barisan tak-hingga (infinite sequence) adalah sebagai

5
berikut:

Prinsip Rekursif :
Misalkan f : X X dan a X, maka terdapat satu (tunggal) barisan tak-hingga
=1
i
i
x dari X
sehingga
x
1
= a, dan x
i + 1
= f(x
i
) untuk setiap i

Untuk setiap bilangan asli n, misalkan f
n
: X
n
X dan a X. Maka terdapat barisan tunggal
(uniqe)
i
x dari X sehingga x
1
= a dan x
i + 1
= f
i
(x
1
,,x
i
).
Fungsi g : N N dikatakan monoton, jika g(i) > g(j) untuk i > j. Fungsi h dikatakan barisan
bagian tak-hingga dari f, jika terdapat pemetaan monoton g : N N sehingga h = f g. Jika f = <f
i
>
dan g = <g
i
>, maka f g ditulis <f
gi
>.

1.3. Gabungan, Irisan, dan Komplemen
Diberikan himpunan X dan (X) himpunan subset dari X. Misalkan A dan B subset dari X,
didefinisikan operasi irisan, gabungan, dan komplemen sebagai berikut:

Definisi :
Irisan himpunan A dengan B, ditulis A B, didefinisikan sebagai:
A B = {x X | x A dan x B}
Gabungan himpunan A dengan B, ditulis A B, didefinisikan sebagai:
A B = {x X | x A atau x B}
Komplemen himpunan A, ditulis A atau A
c
, didefinisikan sebagai:
A = A
c
= {x X |x A}

Dari, definisi-definisi di atas, diturunkan sifat-sifat operasi pada himpunan dalam teorema
berikut:

Teorema :
Diberikan himpunan X dan A dan B adalah subset dari X. Maka berlaku:
1. A B = B A
2. A B = B A
3. A B A
4. A A B
5. A B = A A B
6. A B = A B A
7. (A B) C = A (B C) = A B C
8. (A B) C = A (B C) = A B C
9. A (B C) = (A B) (A C)
10. A (B C) = (A B) (A C)
Bukti :
1. x A B x A dan x B
x B dan x A
B A
2. x A B x A atau x B
x B atau x A
B A
3. x A B x A dan x B

6
x A
Jadi A B A
4. x A x A atau x B
Jadi A A B
5. A B = A A B
(i) Diketahui A B = A, akan dibuktikan bahwa A B
Diambil sebarang x A.
Karena A B = A dan x A, maka x A B
Karena x A B, maka x A dan x B.
Jadi, terbukti bahwa untuk setiap x A maka x B.
(ii) Diketahui A B, akan dibuktikan bahwa A B = A
Pertama, dibuktikan A B A. Dengan menggunakan (3) terbukti.
Kedua, dibuktikan A A B.
Diambil sebarang x A.
Karena A B, maka x B. Jadi, x A dan x B, atau x A B
Jadi, terbukti bahwa A B = A.
6. A B = A B A
(i) Diketahui A B = A, akan dibuktikan bahwa B A
Diambil sebarang x B.
Andaikan x A, maka x A B.
Karena x A B maka x A dan x B.
Kontradiksi dengan diketahui x B. Jadi pengandaian salah, yang benar x A.
(ii) Diketahui B A, akan dibuktikan bahwa A B = A
Pertama, dibuktikan A B A
Diambil sebarang x A B, maka x A atau x B. Karena B A dan x B, maka
x A. Jadi, untuk setiap x A B maka x A.
Kedua, dibuktikan A A B. Dengan menggunakan (4) terbukti.
Jadi terbukti A B = A
7. x (A B) C x (A B) dan x C
x A dan x B dan x C
x (A B C)
x A dan (x B dan x C)
x A dan x (B C)
x A (B C)
8. x (A B) C x (A B) atau x C
x A atau x B atau x C
x (A B C)
x A atau (x B atau x C)
x A atau x (B C)
x A (B C)
9. x A (B C) x A dan x (B C)
x A dan (x B atau x C)
(x A dan x B) atau (x A dan x C)
x (A B) atau x (A C)
x (A B) (A C)
10. x A (B C) x A atau x (B C)
x A atau (x B dan x C)

7
(x A atau x B) dan (x A atau x C)
x (A B) dan x (A C)
x (A B) (A C)

Himpunan kosong memainkan peranan yang penting di dalam ruang X, dan disebutkan
melalui sifat berikut:

Teorema :
Jika himpunan kosong, X sebarang himpunan dan A X, maka berlaku:
1. A = A
2. A =
3. A X = X
4. A X = A
Bukti :
1. Diambil sebarang x A , maka x A atau x . Karena x salah, maka haruslah
x A. Sebaliknya, diambil sebarang x A. Maka x A atau x . Jadi, x A
2. Andaikan A maka terdapat x A . Karena x A maka x A dan x
. Dari sini timbul kontradiksi, karena x salah. Jadi, pengandaian salah, yang benar
adalah A = .
3. Diambil sebarang x A X, maka x A atau x X. Jadi, x X. Sebaliknya, diambil
sebarang x X. Maka x A atau x X. Jadi, x A X.
4. Diambil sebarang x A X, maka x A dan x X. Jadi, x A. Sebaliknya, diambil
sebarang x A. Karena A X dan x A, maka x X. Jadi, x A X.

Dari definisi komplemen A, diperoleh teorema sebagai berikut:

Teorema :
Jika himpunan kosong, X sebarang himpunan dan A X, maka berlaku:
1.
c
= X
2. X
c
=
3. (A
c
)
c
= A
4. A A
c
= X
5. A A
c
=
6. A B B
c
A
c

Bukti :
1. Karena = {x X | x X}, maka
c
= {x X | x X} = X
2. Karena X = {x X | x X}, maka X
c
= {x X | x X} =
3. Karena A
c
= {x X | x A}, maka (A
c
)
c
= {x X | x A} = A
4. Diambil sebarang x A A
c
, maka x A atau x A
c
. Karena A X maka x X.
Sebaliknya, diambil sebarang x X. Karena A X, maka x A atau x A. Jadi, x A
atau x A
c
. Maka, x A A
c
.
5. Andaikan A A
c
, maka terdapat x A A
c
. Karena x A A
c
maka x A dan x
A
c
. Akibatnya, x A dan x A. Terjadi kontradiksi. Jadi, pengandaian salah, yang benar
A A
c
= .
6. A B B
c
A
c

(i) Diketahui A B, akan dibuktikan bahwa B
c
A
c
.
Diambil sebarang x B
c
. Karena x B
c
, maka x B. Karena A B, maka x A. Jadi,
x A
c
.

8
(ii) Diketahui B
c
A
c
, akan dibuktikan bahwa A B
Diambil sebarang x A. Karena x A, maka x A
c
. Karena B
c
A
c
, maka x B
c
.
Karena x B
c
, maka x B.

Dua hukum yang mengaitkan komplemen suatu himpunan dengan gabungan dan irisannya
diberikan dalam Hukum De Morgan sebagai berikut:

Teorema (Hukum De Morgan) :
Jika X sebarang himpunan dan A dan B himpunan bagian dari X, maka berlaku:
1. (A B)
c
= A
c
B
c

2. (A B)
c
= A
c
B
c

Bukti :
1. x (A B)
c
x (A B)
x A dan x B
x A
c
dan x B
c

x (A
c
B
c
)
2. x (A B)
c
x (A B)
x A atau x B
x A
c
atau x B
c

x (A
c
B
c
)

Jika A dan B merupakan himpunan bagian dari X, didefinisikan beda (difference) A dan B, ditulis
B ~ A atau komplemen relatif dari A di B sebagai himpunan yang elemen-elemennya di A tetapi tidak
di B. Jadi,
B ~ A = {x X | x A dan x B}
Dari sini terlihat bahwa, B ~ A = A B
c
.
Beda simetri (symmetric difference) dari dua himpunan A dan B didefinisikan sebagai:
A B = (A ~ B) (B ~ A)
Beda simetri dari dua himpunan berisi semua elemen yang menjadi anggota dari himpunan yang
satu atau yang lainnya tetapi bukan anggota keduanya.
Jika irisan dari kedua himpunan adalah kosong, dikatakan kedua himpunan tersebut saling lepas
atau disjoint. Koleksi himpunan-himpunan, dikatakan koleksi disjoint atas himpunan-himpunan jika
setiap dua himpunan di adalah disjoint.
Proses mengambil irisan atau gabungan dari dua himpunan dapat diperluas dengan melakukan
perulangan untuk memberikan irisan atau gabungan dari sebarang koleksi berhingga atas himpunan.
Kita bisa memberikan definisi dari irisan untuk sebarang koleksi atas himpunan-himpunan. Irisan dari
koleksi adalah himpunan yang elemen-elemen dari X merupakan anggota untuk setiap anggota dari .
Kita menuliskan irisan ini dengan
A
A

atau { | } A A
. Jadi,
{ | } { | , untuk setiap }
A
A A A x X x A A
= =

Secara sama, definisi dari gabungan sebagai berikut:
{ | } { | , untuk suatu }
A
A A A x X x A A
= =

Teorema (Hukum De Morgan) :
1.
c
c
A A
A A

=


9
2.
c
c
A A
A A

=

Bukti :
1. Diambil sebarang
c
A
x A

, untuk suat
.
.
.
u
, untuk suat
.
u
c
A A
c
c
A
x A x A
x A A
x A A
x A

2. Diambil sebarang
c
A
x A

.
.
.
,
,
.
c
A A
c
c
A
x A x A
x A A
x A A
x A

Teorema (Hukum Distributif) :
1. ( )
A A
B A B A

=

2. ( )
A A
B A B A

=

Bukti :
1. Diambil sebarang
A
x B A

, diperoleh:
dan
dan untuk suatu
.
.
A A
x B A x B x A
x B x A A

( ) untuk suat .
.
u
( )
A
x B A A
x B A

2. Diambil sebarang
A
x B A

, diperoleh:

10
atau
atau untuk setiap
.
.
. ( ) untuk setiap
( ) .
A A
A
x B A x B x A
x B x A A
x B A A
x B A

Barisan pada himpunan bagian dari X kita artikan barisan dari (X), yaitu sebuah pemetaan
dari N ke (X). Jika <A
i
> adalah sebuah barisan tak-hingga pada himpunan bagian dari X, kita
menotasikan
1
i
i
A
untuk gabungan dari daerah hasil (range) barisannya. Sehingga,

1
{ | , untuk suatu }
i i
i
A x X x A i
=
=
; dan
1
{ | , untuk setiap }
i i
i
A x X x A i
=
=

Secara sama, jika
1
n
i
i
B
=
merupakan barisan hingga pada himpunan bagian dari X, kita
menuliskan
1
n
i
i
B
=
sebagai irisan dari daerah hasil barisannya, oleh karena itu:

1 2
1
n
i n
i
B B B B
=
=

Himpunan bagian dari X yang berindex adalah suatu fungsi pada himpunan indeks ke X atau
ke himpunan bagiannya. Jika himpunan bilangan asli, maka notasi himpunan berindeks sama dengan
notasi bilangan asli. Biasanya menggunakan notasi x
dari pada x() dan menuliskan indeks-nya dengan

{x
} atau {x
: }. Berikut ini definisi irisan dan gabungan dari himpunan berindeks:

{ | , untuk setiap } A x X x A

{ | , untuk suatu } A x X x A

Bilamana = N maka diperoleh
1
i i
i N i
A A
=
=

(serupa juga untuk gabungan)
Jika f memetakan X kepada Y dan {A
} koleksi himpunan bagian dari X, maka:

[ ] f A f A

=

dan ( ) f A f A

Bukti :
Versi Pa Jaharuddin:
(i) Diambil sebarang y f A
, maka terdapat x A
sehingga y = f(x).
Karena x A
, maka x A
untuk suatu . Karena x A
sehingga y = f(x),
maka ( ) y f A
untuk suatu . Jadi, [ ] y f A

(ii) Left as an exercise!
My Version:

11
( ), untuk suatu
( ), untuk suatu
(
.
.
. )
y f A y f x x A
y f A
y f A

( ) ( ), untuk suatu y f A y f A

( ), , untuk suatu y f x x A
y f A

Selanjutnya, akan dibuktikan bahwa : ( ) f A f A

.
. ( ), ,
( .
( ) .
),
y f A y f x x A
y f A
y f A

Untuk prapeta, misalkan {B
} koleksi himpunan bagian dari Y, maka

1 1
( ) f B f B

=

dan
1 1
( ) f B f B

=

Bukti :
Akan dibuktikan bahwa
1 1
( ) f B f B

=

.
Pertama, dibuktikan bahwa
1 1
( ) f B f B

1
1
1
, ( ), untuk suatu
( ), untuk suatu
(
.
.
) .
x f B x B y f x
x f B
x f B

Kedua, dibuktikan bahwa
1 1
( ) f B f B

1 1
1
( ) ( ), untuk suatu
, ( ), untuk suatu
.
.
.
x f B x f B
x B y f x
x f B

Selanjutnya akan dibuktikan bahwa,
1 1
( ) f B f B

=


12
1 1
( ) f B f B

1
1
1
, ( ), .
( .
( ),
)
.
x f B x B y f x
x f B
x f B

Kedua, dibuktikan bahwa
1 1
( ) f B f B

1 1
1
( ) ( ) .
.
,
, ( ,
.
)
x f B x f B
x B y f x
x f B

1.4. Aljabar Himpunan
Koleksi himpunan B disebut aljabar himpunan atau aljabar Boolean, jika untuk setiap A, B B
berlaku A B B dan A
c
B. Dalam, bilangan real, koleksi himpunan bagian A dari X disebut
aljabar himpunan atau aljabar Boolean jika A, B A berlaku:
(i) A B A
(ii) A
c
A
Dari hukum De Morgan,
(iii) (A B)
c
A A B A
Terlihat, jika koleksi himpunan bagian A dari X memenuhi (iii) dan (ii), maka dengan hukum De
Morgan (i) juga dipenuhi, sehingga merupakan aljabar himpunan. Dengan mengambil gabungan
himpunan-himpunan, terlihat bahwa:
A
1
, , A
n

himpunan-himpunan di A maka
A
1
A
2
A
n

juga berada di A.

Contoh :
Himpunan B = {{1}, {2, 3, 4}, {1, 2, 3, 4}, } adalah aljabar himpunan.

Proposisi :
Misalkan C koleksi himpunan bagian dari X, maka terdapat aljabar himpunan terkecil A yang
memuat C; yaitu, jika terdapat aljabar himpunan A yang memuat C sehingga jika B sebarang
aljabar yang memuat C maka B memuat A.
Bukti :
Misalkan F koleksi himpuan bagian dari X yang berupa aljabar himpunan yang memuat C.
Didefinisikan,
=
B F
R B

Karena R B, B F dan B aljabar himpunan yang memuat C maka R memuat C.
Selanjutnya dibuktikan R suatu aljabar himpunan.
Misalkan A, B R maka A, B B, B F. Karena B aljabar himpunan, maka A B B,

13
B F, dan A
c
B, B F. Karena A B B dan A
c
B, B F maka
A B

B F
B
dan
c
A
B F
B

Karena A B

B F
B
dan
c
A
B F
B
maka
{ A B = B|B F } R
dan {
c
A = B|B F } R

Jadi R aljabar himpunan.

Aljabar terkecil yang memuat C disebut aljabar yang dibangun oleh C.

Proposisi :
Misalkan
i
A adalah barisan himpunan pada (atau di dalam) aljabar himpunan R, maka
terdapat barisan himpunan
i
B pada R sehingga:
B
n
B
m
= , n m dan

= =
=

1 1
i i
i i
B A
Bukti :
Misalkan B
1
= A
1
, B
2
= A
2
, dan untuk setiap bilangan asli n > 1, didefinisikan:
( )
( )
=
=
=
1 2 1
1 2 1
1 2 1
~ ...
...
...
n n n
c
n n
c c c
n n
B A A A A
A A A A
A A A A

Sebagai ilustrasi, perhatikan diagram berikut:
A2 A1
B1
A
3
B2
B3

B
n
A
n
dan
i
A barisan himpunan pada aljabar himpunan R, maka B
n
R n. Jadi, barisan
i
B pada R. Karena B
n
A
n
n, maka untuk m < n, B
m
A
m
. Jadi,

=
=
=
=
1 2 1
1 2 1
1 2 1
{ ... ... }
( ) { ... }
{ ... }
m n m n
c c c c
m n m n
c c c c
m m n n
c c c
n n
B B A B
A A A A A A
A A A A A A
A A A A

Selanjutnya, karena B
i
A
i
i, maka

= =

1 1
i i
i i
B A . Akan dibuktikan

= =

1 1
i i
i i
A B . Misalkan
1
i
i
x A , maka x A
i
untuk suatu i. Jika n nilai terkecil dari {i | x A
i
}, maka x B
n
, untuk
suatu n. Jadi
1
i
i
x B .

Aljabar himpunan R dikatakan aljabar- atau lapangan Borel, jika gabungan dari setiap koleksi

14
himpunan terhitung di R juga terdapat di R. Yaitu, jika
i
A barisan himpunan pada aljabar R, maka
1
i
i
A juga berada di R. Sehingga R aljabar-. Dari hukum De Morgan, diperoleh juga bahwa irisan
dari setiap koleksi himpunan terhitung di R juga terdapat di R. Dengan melakukan sedikit modifikasi
pada Proposisi di atas (pertama), diperoleh proposisi sebagai berikut.

Proposisi :
Misalkan C koleksi himpunan bagian dari X, maka terdapat aljabar- terkecil R yang memuat C.
Bukti :
Misalkan F koleksi himpuan bagian dari X yang berupa aljabar- yang memuat C.
Didefinisikan,
=
B F
R B

Karena R B, B F dan B aljabar- yang memuat C maka R memuat C. Selanjutnya
dibuktikan R suatu aljabar-.
Misalkan
i
A barisan himpunan pada R. Karena
i
A berada di R, maka
i
A B untuk
setiap B F. Karena
i
A B untuk setiap B F dan B aljabar-, maka
1
i
i
A
B untuk
setiap B F. Jadi,
{ }
=
= =

1 B F
B B|B F R
i
i
A

Aljabar- terkecil yang memuat C disebut aljabar- yang dibangun oleh C.

1.5. Aksioma Pilihan dan Perkalian Langsung

Aksioma Pilihan :
Misal C sebarang koleksi himpunan-himpunan tak kosong. Maka terdapat fungsi F yang
didefinisikan pada C yang memetakan setiap A C, sehingga suatu elemen di F(A) terletak di
A.

Fungsi F disebut fungsi pilihan dan bergantung pada pemilihan himpunan A C, sehingga
suatu elemen di F(A) terletak di A.
Misal C = {X
} merupakan koleksi himpunan yang diindeks oleh himpunan index .

Didefinisikan perkalian langsung (direct product):
XX
merupakan koleksi dari semua himpunan {x
} yang diindeks oleh sehingga x
. Sebagai contoh,
jika = {1, 2}, maka diperoleh definisi awal perkalian langsung X
1
x X
2
dari dua himpunan X
1
dan X
2
.
Jika z = {x
} adalah elemen dari
XX maka x
disebut koordinat ke- dari z.

Jika salah satu dari X
kosong maka
XX adalah kosong. Aksioma pilihan ekuivalen dengan

pernyataan konversnya, yaitu: Jika tidak ada X
yang kosong maka
XX tidak kosong. Atas dasar ini

Bertrand Russell menyebut Aksioma Pilihan dengan Aksioma Perkalian (multiplicative axiom).


15
Problem :
Misal f : X Y adalah fungsi onto (pada) Y. Tunjukkan bahwa ada fungsi g : Y X sehingga
f g merupakan fungsi identitas pada Y.
Bukti :
Misalkan C = {A | y Y dengan A = f
1
[{y}]}
Pertama, ditunjukkan A tidak kosong untuk setiap A C.
Diambil sebarang A C, maka A = f
1
[{y}] untuk suatu y Y.
Karena A = f
1
[{y}] maka A = {x X | y = f(x), untuk suatu y Y}
Karena f onto dan y Y maka terdapat x X sehingga y = f(x). Artinya, A tidak kosong.

Kedua, dengan axioma pilihan, karena C koleksi himpunan-himpunan tak kosong maka
terdapat fungsi g pada C sehingga untuk suatu y g(A) maka y A untuk setiap A C.
Untuk setiap A C, dipilih fungsi g : Y X dengan definisi
g(y) = x, dengan y = f(x)
y Y dan x X. Dari definisi tersebut, diperoleh:
{ } ( ) | ( ) g A x A y f x A = =
Sehingga, jika y g(A) maka y A untuk setiap A C. Jadi, fungsi g memenuhi aksioma
pilihan. Artinya, fungsi ini keberadaannya dijamin oleh aksioma tersebut.
Terakhir, ditunjukkan f g fungsi identitas.
Diambil sebarang setiap y Y dengan g(y) = x, maka y = f(x) dan berlaku:
=
=
=
( )( ) ( ( ))
( )
f g y f g y
f x
y

Terlihat bahwa f g merupakan fungsi identitas pada Y.

1.6. Himpunan Terhitung
Pada bagian sebelumnya telah didefinisikan bahwa suatu himpunan dikatakan terhitung
(countable) jika himpunan tersebut merupakan daerah hasil dari suatu barisan. Jika daerah hasil barisan
tersebut berhingga (finite), maka himpunan tersebut berhingga (finite). Tetapi, jika daerah hasil hasil
barisan tersebut tak-berhingga (infinite), maka himpunan tersebut mungkin hingga (atau mungkin tak-
berhingga). Kenyataannya setiap himpunan tak kosong yang berhingga merupakan daerah hasil dari
suatu barisan tak hingga. Sebagai contoh, himpunan berhingga {x
1
, , x
n
} merupakan daerah hasil dari
barisan tak hingga yang didefinisikan dengan x
i
= x
n
untuk i > n
1
.
Sebuah himpunan dikatakan terhitung tak-berhingga jika himpunan tersebut sama dengan
daerah hasil suatu barisan tak hingga tetapi bukan merupakan daerah hasil semua barisan berhingga.
Himpunan bilangan asli N adalah salah satu contoh himpunan terhitung tak-berhingga.
Himpunan kosong bukan merupakan daerah hasil dari semua barisan. Himpunan hingga yang
terhitung adalah himpunan kosong. Jadi perlu didefinisikan mengenai himpunan berhingga dan
terhitung sehingga himpunan kosong merupakan himpunan berhingga dan terhitung.

Definisi :
Suatu himpunan dikatakan hingga (finite) jika himpunan tersebut kosong atau merupakan daerah hasil suatu
barisan hingga. Suatu himpunan dikatakan terhitung (countable or denumerable) jika himpunan tersebut
kosong atau merupakan daerah hasil suatu barisan (hingga atau tak hingga).

Dari definisi di atas diperoleh bahwa peta dari sebarang himpunan terhitung adalah terhitung.
Artinya, daerah hasil dari sebarang fungsi dengan daerah asal berupa himpunan terhitung adalah

1
Daerah hasil barisannya adalah : {x
1
, x
2
, , x
n
, x
n
, x
n
, x
n
, .}

16
terhitung.

Problem :
Misal f : X Y fungsi dan A X. Jika A terhitung buktikan bahwa f(A) terhitung.
Bukti :
Karena A terhitung, maka A himpunan kosong atau A sama dengan daerah hasil suatu barisan.
(i) Jika A = , cukup dibuktikan f(A) =
Andaikan f(A) , maka terdapat y f(A) sehingga y = f(x) untuk suatu x A.
Kontradiksi dengan diketahui A = . Jadi, f(A) = .
(ii) Jika A . Karena A terhitung, maka A = {x
i
}. Dari sini, maka
{ } ( ) { } = = = = ( ) | ( ), { }
i i i i i i
f A f x y y f x x A y
Jadi, f(A) sama dengan daerah hasil suatu barisan, yaitu {y
i
} dengan y
i
= f(x
i
) dan x
i
A.
Karena f(A) sama dengan daerah hasil suatu barisan, maka f(A) terhitung.

Berikut ini konsep terhitung diperkenalkan berdasarkan ada atau tidaknya suatu korespondensi
satu-satu. Yang perlu dicatat adalah setiap himpunan yang berkorespondensi satu-satu dengan
himpunan berhingga adalah berhingga dan setiap himpunan yang berkorespondensi satu-satu dengan
himpunan terhitung adalah terhitung.
Karena himpunan bilangan asli N adalah himpunan terhitung tetapi tak hingga, setiap himpunan
yang berkorespondensi satu-satu dengan N haruslah terhitung dan tak hingga. Jadi, himpunan tak
hingga A terhitung jika dan hanya jika terdapat korespondensi satu-satu antara A dan N. Jika himpunan
tak hingga E merupakan daerah hasil dari barisan <x
n
>, maka E berkorenspondensi satu-satu dengan
N. Didefinisikan fungsi : N N dengan prinsip rekursi berikut:
(1) = 1
(n + 1) = bilangan terkecil m sehingga x
m
x
i
untuk setiap i (n).
Karena E tak hingga sehingga selalu terdapat m dan dengan prinsip well-ordering untuk N, maka
selalu terdapat bilangan yang lebih kecil dari m. Korespondensi
( ) n
n x
adalah korespondensi satu-

satu antara N dan E. Sehingga, disimpulkan bahwa sebuah himpunan terhitung dan tak hingga jika dan
hanya jika terdapat korespondensi satu-satu dengan N.

Proposisi :
Setiap himpunan bagian dari himpunan terhitung adalah terhitung.
Bukti :
Misalkan E = {x
n
} terhitung. Diambil A E.
Jika A = , maka dari definisi A terhitung
Jika A , maka x A. Kemudian didefinisikan <y
n
> sebagai berikut:
jika
jika
n
n
n n
x x A
y
x x A

Jelas bahwa A merupakan daerah hasil dari <y
n
>. Jadi A terhitung.

Proposisi :
Misalkan A himpunan terhitung, maka himpunan semua barisan hingga dari A juga terhitung.
Bukti :
Karena A terhitung maka terdapat korespondensi satu-satu dengan N atau himpunan
bagiannya. Jadi cukup dibuktikan bahwa S himpunan semua barisan hingga dari N adalah
terhitung.
Misalkan <2, 3, 5, 7, 11, , P
k
, > barisan bilangan prima, maka n N terdapat faktorisasi
tunggal dari n,
=
1 2 2
2 .3 .5 ...
k
x x x x
k
n P

17
dengan x
i
N
0
= N {0} dan x
k
> 0.
Didefinisikan fungsi f pada N yang memetakan bilangan asli n ke barisan hingga <x
1
, ., x
k
>
dari N
0
. Maka S merupakan himpunan bagian dari daerah hasil dari f. Dengan menggunakan
proposisi 4, S terhitung.

Proposisi :
Himpunan semua bilangan rasional adalah terhitung
Bukti :
Misal

=

; , , 0
p
Q p q Z q
q
himpunan bilangan rasional dan C koleksi barisan hingga dari
N. Karena N terhitung, maka menurut proposisi sebelumnya setiap barisan hingga dari N
adalah terhitung. Jadi C adalah koleksi barisan hingga dan terhitung. Karena,
{ }
1
| { , }
n
ji ji
i
A A x x N
=
= = C
didefinisikan barisan
1
j
j
A

=
dengan
{ }
=
=
1
n
j ji
i
A x
Terlihat C sama dengan daerah hasil barisan
1
j
j
A

=
, jadi C terhitung. Misalkan X C.
Karena C terhitung, menurut proposisi 4, X terhitung.
Misalkan X =
{ }
| { , , , }
pq pq
A A x x p q N = . Selanjutnya didefinisikan pemetaan f : X Q
sebagai berikut:
, , 1 /
, , 2 /
1, 1, 3 0
p q p q
p q p q

Terlihat, pemetaan tersebut merupakan pemetaan dari himpunan pasangan berurutan (dari
bilangan asli) <p, q, i>, i = 1, 2, 3 ke bilangan rasional Q. Karena himpunan pasangan berurutan
dari bilangan asli terhitung, maka Q terhitung.

Proposisi :
Gabungan koleksi terhitung dari himpunan terhitung adalah terhitung
Bukti :
Misalkan C koleksi terhitung dari himpunan terhitung. Jika himpunan dalam C semuanya
kosong, maka gabungannya kosong dan juga terhitung. Selanjutnya, diasumsikan himpunan di C
tidak semua kosong, dan karena himpunan kosong tidak memberikan pengaruh pada gabungan
himpunan-himpunan di C maka dapat diasumsikan himpunan-himpunan di C tidak kosong.
Sehingga C merupakan daerah hasil dari barisan tak hingga
=1
n
n
A dan setiap A
n
merupakan
daerah hasil dari barisan tak hingga
=1
nm
m
x . Tetapi, pemetaan dari <n, m> ke x
nm
adalah
pemetaan dari himpunan pasangan berurutan atas bilangan asli ke (pada) gabungan dari C.
Karena himpunan pasangan dari bilangan asli adalah terhitung maka gabungan dari koleksi C
juga terhitung.

1.7. Relasi dan Ekuivalensi
Dua elemen x dan y bisa direlasikan satu sama lain dalam banyak cara seperti x = y, x y, x
y, atau untuk bilangan x < y. Secara umum, misalkan R menyatakan relasi jika diberikan x dan y, x
berelasi R dengan y ditulis x R y, atau x tidak berelasi R dengan y. R dikatakan relasi pada himpunan X

18
jika x X dan y Y, x R y. Jika R relasi pada himpunan X, didefinisikan grafik dari R sebagai:
{<x, y> | x R y}
Dua relasi R dan S dikatakan sama jika (x R y) (x S y), karena relasi ditentukan secara tunggal
oleh grafiknya, dan sebaliknya setiap himpunan bagian dari X X merupakan grafik dari suatu relasi
pada X. Jadi, relasi R pada X dapat didefinisikan R X X sedangkan relasi R antara himpunan X dan
Y adalah R X Y.
Relasi R pada X dikatakan:
1. Transitif, jika untuk setiap x, y R, x R y dan y R z x R z
2. Simetri, jika untuk setiap x, y R, x R y y R x
3. Refleksi, jika untuk setiap x R, x R x
4. Ekuivalen, jika relasi tersebut transitif, simetri, dan refleksi.
Relasi yang ekuivalen pada X sering disebut ekuivalen pada X.
Misalkan relasi ekuivalen pada X. Untuk setiap x X, misalkan E
x
adalah himpunan yang
anggota-anggotanya ekuivalen dengan x (oleh relasi ). Jadi,
Ex = {y | y x}, x X
Jika y, z E
x
maka y x dan z x. Karena ekuivalen, maka dengan menggunakan sifat
transitif dan simetri dari diperoleh z y. Sehingga, setiap dua elemen dalam E
x
adalah ekuivalen. Jika y
E
x
dan z y, maka z y dan y x, yang berakibat z x dan juga z E
x
. Jadi setiap elemen X
ekuivalen dengan suatu elemen E
x
, yang berakibat elemen tersebut juga elemen E
x
,
=
x
x X
X E
Lebih lanjut, untuk setiap elemen x dan y di X,
1. Jika x y, himpunan E
x
dan E
y
sama (identik) atau
2. Jika x / y, himpunan E
x
dan E
y
saling lepas
Himpunan {E
x
| x X} disebut himpunan ekuivalen atau kelas ekuivalen dari X terhadap relasi .
Sehingga X saling asing dengan gabungan kelas-kelas ekuivalen terhadap relasi . Sebagai catatan,
karena x E
x
maka tidak ada kelas ekuivalen yang kosong. Koleksi kelas-kelas ekuivalen terhadap relasi
ekuivalen disebut quotien dari X terhadap , dan terkadang dituliskan dengan X/. Pemetaan
x
x E disebut pemetaan alami (natural mapping) dari X pada (onto) X/.
Operasi biner pada himpunan X adalah pemetaan dari X X ke X. Relasi ekuivalen disebut
kompatibel (compatible) dengan operasi biner + jika x x dan y y maka (x + y) (x + y). Dalam hal
ini + mendefinisikan operasi pada quotient Q = X/ sebagai berikut:
Jika E dan F anggota Q, dipilih x E dan y F dan didefinisikan E + F sebagai E
(x + y)
.
Karena ekuivalen, terlihat E + F hanya bergantung pada E dan F dan tidak bergantung pada
pemilihan x atau y.

1.8. Urutan Parsial dan Prinsip Maksimal
Relasi R pada himpunan X dikatakan
1. Transitif, jika untuk setiap x, y R, x R y dan y R z x R z
2. Simetri, jika untuk setiap x, y R, x R y y R x
3. Refleksi, jika untuk setiap x R, x R x
4. Ekuivalen, jika relasi tersebut transitif, simetri, dan refleksi.
5. Antisimetri, jika untuk setiap x, y R, x R y dan y R x x = y
Relasi dikatakan urutan parsial pada himpunan X (atau mengurutkan X secara parsial) jika
relasi tersebut transitif dan antisimetri. Sebagai contoh, merupakan urutan parsial pada bilangan real,
dan merupakan urutan parsial pada koleksi himpunan .
Jika urutan parsial pada X dan jika a b, kita sering mengatakan bahwa a mendahului b (a
precedes b) atau b mengikuti a (b follows a). Terkadang kita mengatakan bahwa a kurang dari b atau b lebih
dari a.

19
Jika E X, elemen a E disebut
1. Elemen pertama (first elemens) atau elemen terkecil dari E jika x E, x a, a x
2. Elemen terakhir (last element) atau elemen terbesar dari E jika x E, x a, x a
3. Elemen minimal (minimal element) dari E jika tidak ada x E, x a, x a
4. Elemen maksimal (maximal element) dari E jika tidak ada x E, x a, a x
Jika urutan linear, elemen minimal pasti merupakan elemen terkecil. Tetapi secara umum
sangat memungkinkan untuk memiliki elemen minimal yang bukan elemen terkecil.
Relasi pada himpunan X dikatakan,
1. Urutan linear atau urutan sederhana, jika x, y X, x y atau y x (salah satu). Sebagai
contoh, merupakan urutan linear pada himpunan bilangan real, sementara bukan urutan
linear pada koleksi himpunan , sebab jika x y = (saling asing) maka kedua syarat
tersebut tidak dipenuhi, yaitu x y dan y z.
2. Urutan parsial yang refleksi, jika x x, x X. Sebagai contoh, merupakan urutan linear
yang refleksi pada himpunan bilangan real.
3. Urutan parsial yang kuat, jika tidak pernah x x. Sebagai contoh, < merupakan urutan
parsial yang kuat pada R.
Untuk setiap urutan parsial terdapat dengan tunggal urutan parsial yang kuat dan urutan
parsial yang refleksi.

Problems :
Misalkan { | 1} M a a =
Relasi R didefinisikan pada M sebagai berikut:
a R b b dapat dibagi oleh a
1. Apakah R relasi urutan linear?
Jawab :
Pertama ditunjukkan apakah R relasi urutan parsial?
i) R antisimetris
x R y y dapat dibagi oleh x
k M sehingga y = kx
y R x x dapat dibagi oleh y
l M sehingga x = ly
Jadi,
x = klx
Diperoleh kl = 1, yang berakibat k = 1 dan l = 1 atau k = 1 dan l = 1
Karena a 1, a M maka haruslah k = 1 dan l = 1. Sehingga y = x atau x = y. Jadi R
simentris.
ii) R transitif
x R y y dapat dibagi oleh x
k M sehingga y = kx
y R z z dapat dibagi oleh y
l M sehingga z = ly
Jadi,
z = lkx atau z = px dengan p lk =
Dengan kata lain z dapat dibagi oleh x. Sehingga x R z. Jadi R transitif
Dari (i) dan (ii) R adalah relasi urutan parsial.
Kedua diambil sebarang x, y M dengan x y, dibuktikan bahwa x R y atau y R x
Jika x > y, maka dapat ditulis
x = py + r
1
, dengan 0 r
1
< y
Jika y > x, maka dapat ditulis
y = qx + r
2
, dengan 0 r
2
< x

20
Jika x dan y bilangan-bilangan prima, maka r
1
dan r
2
tidak keduanya nol. Akibatnya R x y
dan R y x . Jadi, R bukan relasi urutan linear.

2. Tentukan elemen terkecil
a elemen terkecil x M, x a, a R x
x dapat dibagi a (semua bilangan dapat dibagi oleh a)
Jadi, a = 1 merupakan elemen terkecil.

3. Tentukan elemen minimal
a elemen minimal Tidak ada x M, x a, x R a
Tidak ada x M sehingga a dapat dibagi x (bilangan-bilangan yang
tidak dapat dibagi oleh bilangan lain kecuali oleh bilangan yang sama)
Jadi a bilangan prima dan a = 1 merupakan elemen minimal

Contoh :
R = <
A =
a = 1 merupakan elemen terkecil, sebab x A, x 1 maka 1 < x
a = 1 merupakan elemen minimal, sebab tidak ada x A, x 1 sehingga x < 1

Prinsip berikut ini ekuivalen dengan aksioma pilihan dan lebih sering digunakan.

Prinsip Maksimal Hausdrf :
Misal urutan parsial pada X. Maka terdapat himpunan bagian maksimal dari X yang terurut
linear oleh . Dengan kata lain, himpunan bagian S dari X yang terurut linear oleh dan
memiliki sifat jika S T X dan T terurut linear oleh maka S = T.

1.9. Urutan Rapi dan Ordinal Terhitung
Suatu relasi urutan linear kuat < pada himpunan X disebut urutan rapi (well ordering) untuk X
atau dikatakan mengurutan X dengan rapi jika setiap himpunan bagian tak kosong dari X memuat suatu
elemen pertama (elemen terkecil).
Jika diambil X = N dan < berarti kurang dari, maka N terurut rapi dengan <. Di sisi lain,
himpuan semua bilangan real R tidak terurut rapi dengan relasi kurang dari. Prinsip berikut ini
merupakan akibat dari aksioma pilihan dan dapat ditunjukkan juga ekuivalen dengannya (bagaimana
ya?)

Prinsip urutan rapi :
Setiap himpunan X dapat terurut rapi. Dengan kata lain, terdapa relasi < yang mengurutkan X
dengan rapi

Proposisi :
Terdapat himpunan tak terhitung X yang terurut rapi oleh relasi < sehingga:
(i) Terdapat elemen terakhir di X
(ii) Jika x X dan x maka himpunan {y X | y < x} terhitung

Pada proposisi di atas, elemen terakhir di X dikatakan ordinal tak terhitung pertama (first
uncountable ordinal) dan X disebut himpunan dengan ordinal kurang dari atau sama dengan ordinal tak
terhitung pertama. Elemen-elemen x < disebut ordinal-ordinal terhitung (countable ordinals).
Bab 2

Sistem Bilangan Real

2.1. Aksioma Bilangan Real
Misalkan adalah himpunan bilangan real, P himpunan bilangan positif dan fungsi + dan .
dari ke dan asumsikan memenuhi aksioma-aksioma berikut:

Aksioma Lapangan
Untuk semua bilangan real x, y, dan z berlaku:
A1. x + y = y + x
A2. (x + y) + z = x + (y + z)
A3. 0 sehingga x + 0 = x, untuk setiap x
A4. x , ! w sehingga x + w = 0
A5. xy = yx
A6. (xy)z = x(yz)
A7. 1 sehingga 1 0, dan x.1 = x x
A8. x , x 0, w sehingga xw = 1
A9. x(y + z) = xy + xz

Himpunan yang memenuhi aksioma di atas disebut lapangan (terhadap operasi + dan .).
Diperoleh dari A1 bahwa elemen 0 adalah tunggal. Elemen w pada A4 juga tunggal dan dinotasikan
dengan x. Elemen 1 pada A7 unik dan elemen w pada A8 juga unik dan dinotasikan dengan x
1

Kemudian didefinisikan pengurangan dan pembagian sebagai berikut:
x y = x + (y) dan
1
x
xy
y

=

Aksioma Urutan
Misalkan P adalah himpunan bilangan real positif, P memenuhi aksioma berikut:
B1. x, y P x + y
B2. x, y P x.y
B3. x (x = 0) atau (x P) atau (x P)

Suatu sistem yang memenuhi aksioma lapangan dan aksioma urutan disebut lapangan terurut
(ordered field). Sehingga bilangan real adalah lapangan terurut. Begitu juga dengan himpunan bilangan
rasional merupakan lapangan terurut.
Dalam lapangan terurut didefinisikan x < y yang berarti x y P. Kita menuliskan x y untuk
x < y atau x = y. Himpunan bilangan real dengan relasi < merupakan himpunan terurut linear.
Berdasarkan aksioma urutan diperoleh:
a. (x < y) & (z < w) x + z < y + w
b. (0 < x < y) & (0 < z < w) xz < yw
c. Tidak ada x sehingga x < x.
Bukti :
a. Untuk membuktikan x + z < y + w cukup dibuktikan (y + w) (x + z) P.
Karena x < y maka y x P
Karena z < w maka w z P
Bab 2 Sistem Bilangan Real Compiled by : Khaeroni, S.Si

22
Karena y x, w z P maka berdasarkan aksioma B1 diperoleh
y x + w z = y + w x z = (y + w) (x + z) P.

b. Untuk membuktikan xz < yw cukup dibuktikan yw xz
Karena 0 < x < y maka y x P dan x 0 = x P
Karena 0 < z < w maka w z P dan w 0 = w P
Karena y x, y, w z, dan w P maka berdasarkan B1 dan B2 diperoleh:
w(y x) + x(w z) = yw wx + wx xz = yw xz P

c. Andaikan ada x sehingga x < x. Karena x < x maka x x P. Akibatnya 0 P.
Kontradiksi dengan diketahui P himpunan bilangan positif. Jadi pengandaian salah yang
benar tidak ada x sehingga x < x.

Definisi (Supremum dan Infimum) :
Misalkan S .
1. a
*
batas atas S, jika x a
*
untuk setiap x S
2. a batas atas terkecil dari S, jika
(i) a batas atas S
(ii) Jika b batas atas maka a b
Notasi : a = sup(S) = sup
x S
x
= sup{x | x S}
3. c
*
batas bawah S, jika c
*
x untuk setiap x S
4. c batas bawah terbesar dari S, jika
(i) c batas bawah S
(ii) Jika d batas bawah maka d c
Notasi : c = inf(S) = inf
x S
x
= inf{x | x S}

Perhatikan ilustrasi berikut:

Jika a batas atas terkecil, maka untuk setiap > 0 akan selalu ada x
0
sehingga x
0
> a . Artinya,
a bukan batas atas karena ada x
0
yang nilainya lebih besar (atas) darinya.

Jika c batas bawah terbesar, maka untuk setiap > 0 akan selalu ada x
0
sehingga x
0
< c + .
Artinya c + bukan batas bawah karena ada x
0
yang nilainya lebih kecil (bawah) darinya.
Dari dua ilustrasi di atas, maka definisi supremum dan infimum dapat dinyatakan dalam notasi
matematis sebagai berikut:
1. a batas atas terkecil dari S, jika
(i) x S, x a
(ii) > 0, x
0
S, x
0
> a
2. c batas bawah terbesar dari S, jika
(i) x S, c x
(ii) > 0, x
0
S, x
0
< c +

a x
0
a
c x
0
c +

23
Contoh Soal :
Misalkan A dan B terbatas. Buktikan bahwa
sup(A + B) = sup(A) + sup(B)
dengan
A + B = {a + b | a A dan b B}
Jawab :
Misal p = sup(A) dan q = sup(B). Karena
0 0 2
.
.
sup( ) ( ) ,
( ) 0,
p A i p a a A
ii a A a p

=
> >

dan
0 0 2
sup( ) ( ) ,
( ) , . 0
. q B iii q b b B
iv b B b q

=
> >

Dari (i) dan (iii) diperoleh
p + q a + b, a A dan b B. Jadi, p + q a + b, a + b A + B .. (*)
Jadi p + q batas atas dari A + B
Dari (ii) dan (iv) diperoleh
> 0, a
0
A dan b
0
B sehingga a
0
+ b
0
> (p + q) . (**)
Dari (*) dan (**) terbukti bahwa p + q = sup(A + B)

Aksioma Kelengkapan
Setiap himpunan bagian dari yang tidak kosong dan terbatas di atas mempunyai batas atas
terkecil (supremum).
Setiap himpunan bagian dari yang tidak kosong dan terbatas di bawah mempunyai batas
bawah terbesar (infimum).

2.2. Bilangan Real yang Diperluas
Untuk memperluas sistem bilangan real , maka ditambahkan elemen dan . Himpunan
baru ini disebut himpunan bilangan real yang diperluas
*
. Relasi < diperluas definisinya pada
*

menjadi < x < untuk setiap x . Kemudian didefinisikan x .
x + = , x =
x. = jika x > 0
x. = jika x > 0
dan
+ = , =
.() = , .() =
Sedangkan operasi tidak didefinisikan. Tetapi, 0. = 0.
Salah satu kegunaan
*
adalah untuk mendefinisikan sup(S) dan inf(S) untuk semua S
himpunan himpunan bagian dari yang tidak kosong S.
Jika S tidak terbatas di atas, maka sup(S) =
Jika S tidak terbatas di bawah, maka inf(S) =
Jadi, didefinisikan sup() = .

2.3. Bilangan Asli dan Bilangan Rasional sebagai Subset dari Bilangan Real
Kita telah menggunakan simbol 1 bukan hanya untuk menyatakan bilangan asli pertama tetapi
juga bilangan real spesial seperti yang dituliskan dalam aksioma A7. Pertama, didefinisikan bilangan
real 3 sebagai 1 + 1 + 1. Dengan demikian kita dapat mendefinisikan bilangan real yang
berkorespondensi dengan sembarang bilangan asli.
Berdasarkan prinsip rekursif maka terdapat sebuah fungsi : yang memetakan bilangan
asli ke bilangan real dengan definisi sebagai berikut:

24
(1) = 1
(n + 1) = (n) + 1
(Catatan: 1 menyatakan bilangan real pada sisi kanan dan bilangan asli pada sisi kiri)
Kita harus menunjukkan bahwa fungsi adalah fungsi satu-satu. Untuk menunjukkannya
cukup ditunjukkan bahwa fungsi monoton.

Bukti :
Akan dibuktikan monoton naik.
Artinya, jika p < q maka (p) < (q) dengan , p q .
Karena p < q maka q = p + n untuk setiap n
Akan dibuktikan bahwa (p) < (p + n)
Bukti dengan induksi
Untuk n = 1, diperoleh
(p) < (p + 1) = (p) + 1
Jadi, pernyataan benar untuk n = 1.
Asumsikan pernyataan benar untuk n = k, yaitu berlaku
(p) < (p + k)
Akan dibuktikan pernyataan benar untuk n = k + 1,
(p + (k + 1)) = ((p + k) + 1)
= (p + k) + 1
> (p) + 1
> (p)
Jadi, (p) < (p + (k + 1)). Artinya pernyataan benar untuk n = k + 1.
Berdasarkan induksi di atas, terbukti monoton. Dengan kata lain, terbukti satu-satu.

Selanjutnya, juga dapat dibuktikan (dengan induksi matematika) bahwa
(p + q) = (p) + (q)
dan
(pq) = (p) (q)
Bukti :
Pertama:
Misalkan q = n , n . Diperoleh
(p + n) = (p) + (n)
Untuk n = 1
( 1) ( ) 1 ( ) (1) p p p + = + = +

Jadi pernyataan benar untuk n = 1.
Asumsikan pernyataan benar untuk n = k, yaitu
(p + k) = (p) + (k)
Akan dibuktikan pernyataan benar untuk n = k + 1, yaitu:
( ( 1)) (( ) 1)
( ) 1
( ) ( ) 1
( ) ( 1)
p k p k
p k
p k
p k

+ + = + +
= + +
= + +
= + +

Jadi pernyataan benar n = k + 1. Berdasarkan prinsip induksi, terbukti bahwa
(p + q) = (p) + (q)
Kedua:
Misalkan q = n , n . Diperoleh
(pn) = (p) (n)

25
Untuk n = 1
(p1) = (p) = (p)1 = (p)(1)
Jadi pernyataan benar untuk n = 1.
Asumsikan pernyataan benar untuk n = k, yaitu:
(pk) = (p)(k)
Akan dibuktikan pernyaaan berlaku untuk n = k + 1, yaitu:
( )
( ( 1)) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) 1
( ) ( 1)
p k pk p
pk p
p k p
p k
p k

+ = +
= +
= +
= +
= +

Jadi pernyataan benar n = k + 1. Berdasarkan prinsip induksi, terbukti bahwa
(pq) = (p) (q)

Sehingga memberikan korespondensi satu-satu antara himpunan bilangan asli dengan subset
bilangan real. Artinya ada korespondensi satu-satu antara himpunan bilangan asli dengan himpunan
bagian dari bilangan real yang mengawetkan operasi penjumlahan, perkalian, dan relasi <. Jadi dapat
dipandang sebagai himpunan bagian dari .
Dengan mendefinisikan selisih bilangan-bilangan asli, maka diperoleh himpunan bilangan bulat
yang merupakan subset dari . Kemudian mendefinisikan pembagian bilangan-bilangan bulat
diperoleh himpunan bilangan rasional . Jadi himpunan bilangan real isomorf
1
dengan , , dan
.
Proposisi :
Setiap himpunan terurut isomorf dengan , , dan .

Aksioma Archimedes :
Untuk setiap x , ada n sehingga x < n
(Setiap bilangan real yang disebutkan, pasti ada bilangan bulat yang lebih besar darinya)
Bukti :
Jika x < 0, diambil n = 0.
Jika tidak demikian, didefinisikan himpunan
{ | } S k k x = , x 0
Sehingga himpunan S mempunyai batas atas yaitu x. Dari definisi di atas, S tidak kosong karena
paling tidak S memuat 1 elemen yaitu x. Karena S tidak kosong dan terbatas di atas maka S
mempunyai supremum (aksioma kelengkapan). Misalkan
y = sup(S)
Karena y supremum, maka
1
2
y bukan batas atas. Oleh karena itu ada k S sehingga
1
2
k y >
Jika kedua ruas ditambah 1, diperoleh
1
2
1 k y y + > + >
Karena y supremum, maka 1 k S + . Karena k + 1 bilangan bulat yang bukan elemen S, maka
k + 1 > x
Jadi dipilih n = k + 1 . (cool!!)

Akibat :
Terdapat suatu bilangan rasional diantara dua bilangan real sembarang
Dengan kata lain, jika x < y maka r sehingga x < r < y.

1
Ekuivalen, ada korespondensi 1-1

26
Konstruksi bukti :
Diketahui x < r < y, berarti dicari bilangan , n q sehingga
n
r
q
= dengan
n
x
q
< dan
n
y
q
< .
Didefinisikan
2
himpunan |
n
S n y
q
+

=

. Dari sini jelas S memiliki batas bawah, yaitu y.
Karena S terbatas ke bawah dan S tidak kosong maka S memiliki batas bawah terbesar
3
,
misalkan p = inf(S) dan p
+
. Karena p S maka
p
y
q
atau
p
y
q
. Selain itu p 1 S.
Oleh karena itu
1 p
y
q
< atau
1 p
y
q
> .
Di lain pihak
1
( ) ( )
p p
x y y x y x y
q q
= < < < . Jadi

1
( )
p p
y x
q q
< atau
1
1 1
( ) ( )
p p
y x y x q y x
q q q

< > > . Bilangan q inilah yang diambil sebagai

bilangan bulat yang lebih besar
4
dari (y x)
1

Bukti :
Jika x 0, maka untuk setiap bilangan real (y x)
1
ada q sehingga
1
( ) q y x

> atau
1 1
y x y x
q q
> <
Misalkan
|
n
S n y
q
+

=

S karena paling tidak y S. Dari definisi S tersebut S terbatas ke bawah. Karena S dan
terbatas ke bawah maka S memiliki infimum, misalkan p = inf(S). Karena p S maka
p
y
q
atau
p
y
q

Karena p S maka p 1 S. Oleh karena itu,
1 p
y
q
< atau
1 p
y
q
>
Sehingga
1 p p
y
q q
< dan
1 1
( )
p p
x y y x
q q q
= < =
Jadi,
1 p
x
q
< dan
1 p
y
q
< .
Dari sini dipilih
1 p
r
q
= yang jelas terletak diantara x dan y.

Jika x < 0, diambil n sehingga n > x atau n + x > 0. Jadi, menurut pembuktian di atas, ada
r dengan n + x < r < y < y + n atau x < r n < y. Jelas r n bilangan rasional.

2
Pendefinisian ini didasarkan pada hipotesis bahwa y paling besar. Jadi, dibentuk himpunan dengan anggota-anggota bilangan rasional dan
bernilai lebih besar dari y. Idenya adalah agar himpunan mempunyai infimum, misalkan p.
3
Berdasarkan Aksioma Kelengkapan
4
Berdasarkan Aksioma Archimedes

27
2.4. Barisan Bilangan Real
Barisan bilangan real <x
n
> adalah suatu fungsi yang memetakan setiap bilangan asli n ke
bilangan real x
n
. Bilangan real l dikatakan limit barisan <x
n
> jika untuk setiap positif terdapat bilangan
N sehingga untuk setiap n N berlaku |x
n
l| < . Secara matematis,
( )( ) ( )( )
lim 0
n n
l x N n N x l = > <
n
> disebut barisan Cauchy jika untuk setiap positif terdapat bilangan N
sehingga untuk setiap n, m N berlaku |x
n
x
m
| < . Jadi
( )( ) ( )( )
barisan Cauchy 0 ,
n n m
x N n m N x x > <

Kriteria Cauchy :
n
> konvergen
5
jika dan hanya jika <x
n
> barisan Cauchy.
Notasi limit ini diperluas untuk memasukkan bilangan (pada
*
)sebagai berikut.
lim , jika 0, ,
lim , jika 0, ,
n n
n n
x N n N x
x N n N x
= > >
= > <

Misalkan S(l, ) = {x : |x l| < }, maka
l = lim x
n
, jika > 0, N, x
n
S(l, ), n N
Pada kasus ini l adalah titik limit (cluster point) dari <x
n
>. Jadi titik l dikatakan titik limit (Cluster
Point) dari barisan <x
n
> jika > 0, terdapat sedikitnya satu titik x
N
sehingga |x
N
l| < . Bilamana
konsep ini diperluas pada
*
, l = titik limit dari barisan <x
n
>, jika > 0 terdapat paling sedikit
satu titik x
N
sehingga x
N
.
Jika <x
n
> adalah suatu barisan, didefinisikan limit superior sebagai
1 2 2 3
lim limsup inf sup inf{sup{ , , ....}, sup{ , , ...}, ...}
n n k
n
k n
x x x x x x x
= = =
6

Simbol lim dan lim sup keduanya digunakan untuk limit superior. Bilangan real l dikatakan
limit superior dari barisan <x
n
> jika dan hanya jika :
(i) > 0, n k n, x
k
< l +
(ii) > 0 dan n, k n, x
k
> l (ada paling sedikit satu titik x
k
sehingga x
k
> l
Untuk bilangan real yang diperluas adalah limit superior <x
n
> jika dan hanya jika dan n
terdapat k n sedemikian sehingga x
k
. Bilangan real adalah limit superior <x
n
> jika dan hanya
jika = lim x
n
.
Limit inferior didefinisikan sebagai
1 2 2 3
lim liminf supinf sup{inf{ , , ....}, inf{ , , ...}, ...}
n n k
k n
n
x x x x x x x
= = =
Sifat-sifat:
1) ( ) lim lim
n n
x x =
2) lim lim
n n
x x
3)
*
lim (pada ) lim lim
n n n
x l l x x = = =
4) lim lim lim ( ) lim lim
n n n n n n
x y x y x y + + +
lim ( ) lim lim
n n n n
x y x y + +

2.5. Himpunan Terbuka dalam Bilangan Real
Selang buka (a, b) = {x | a < x < b}. Notasi B(x, ) = {y | |x y| < } = (x , x + )
menyatakan bola yang berpusat di x dan berjari-jari . Dalam bilangan real, B(x, ) adalah selang buka.

5
Limitnya ada
6
Diantara supremum-supremum tersebut, manakah infimumnya?

28
Definisi :
Himpunan O dikatakan terbuka di jika
, 0 ( , ) x O B x O >
Dengan kata lain, x O selalu terdapat selang buka I yang memuat x sehingga I O.

Selang buka adalah contoh dari himpunan terbuka. Himpunan kosong dan juga contoh dari
himpunan terbuka.

Proposisi :
Jika O
1
dan O
2
terbuka maka O
1
O
2
terbuka.
Bukti :
Diambil sebarang x O
1
O
2
. Akan ditunjukkan > 0 sehingga B(x, ) O
1
O
2
.
Karena x O
1
O
2
, maka x O
1
dan x O
2
. Karena O
1
dan O
2
terbuka maka
1
,
2
> 0
sehingga B(x,
1
) O
1
dan B(x,
2
) O
2
. Artinya
|t x| <
1

dan
|t x| <
2

Dengan mengambil = min(
1
,
2
), diperoleh
|t x| < <
1

dan
|t x| < <
2

Dengan kata lain, t B(x, ) berlaku t B(x,
1
) dan t B(x,
2
), dengan = min{
1
,
2
}.
Jadi B(x, ) O
1
dan B(x, ) O
2
. Sehingga B(x, ) O
1
O
2
.

Akibat :
Irisan sejumlah berhingga himpunan terbuka adalah terbuka.
Bukti :
Misal O
i
, i = 1, , n himpunan terbuka. Akan dibuktikan
1
n
i
i
O
=
terbuka. Maka,
1
, 1, ,
0 ( , ) , 1, ,
( , ) ,
.
.
. min{ }, 1, ,
n
i i
i
i i i
i i
x O x O i n
B x O i n
B x O i n

=
=
> =
= =

Jadi,
1
n
i
i
O
=
terbuka.
Another version (alternate soln) :
Diambil sebarang
1
n
i
i
x O
=
, maka x O
i
dengan O
i
terbuka i.
Karena x O
1
dan O
1
terbuka, maka terdapat
1
> 0 sehingga B(x,
1
) O
1

Karena x O
2
dan O
2
2
> 0 sehingga B(x,
2
) O
2

Demikian seterusnya.
Karena x O
n
dan O
n
n
> 0 sehingga B(x,
n
) O
n

Diambil = min{
1
,
2
, . . .,
n
}, jelas bahwa > 0. Maka B(x, ) B(x,
i
) O
i
, i = 1, 2, , n
yang berakibat bahwa
1
( , )
n
i
i
B x O
=
. Jadi terbukti bahwa

1
n
i
i
O
=
terbuka

Konvers dari proposisi di atas diberikan pada proposisi sebagai berikut

29
Proposisisi :
Setiap himpunan terbuka di merupakan gabungan terhitung dari selang-selang terbuka yang
saling asing.
Bukti :
Misalkan O sebarang himpunan terbuka di .
Karena O terbuka, maka untuk setiap x O terdapat y > x sedemikian sehingga (x, y) O.
Misalkan
b = sup {y | (x, y) O}, dan
a = inf {z | (z, x) O}
maka a < x < b dan I
x
= (a, b) adalah selang terbuka yang memuat x.
Klaim I
x
O. Diambil sebarang w I
x
, sebut x < w < b, berdasarkan definisi b di atas, maka
diperoleh bilangan y > w sehingga (x, y) O. Jadi w O.
Klaim b O. Andaikan b O, maka ada > 0 sehingga (b , b + ) O atau (x, b + ) O.
Kontradiksi dengan definisi b. Secara sama dapat dibuktikan bahwa a O.
Himpunan {I
x
}, x O merupakan koleksi selang-selang buka.
Karena setiap x di O termuat di I
x
dan setiap I
x
termuat di O, diperoleh
x
O I =
.
Misalkan (a, b) dan (c, d) sebarang dua selang di O dengan beberapa titik yang sama. Maka
haruslah c < b dan a < d.
Karena c O, maka c (a, b). Diperoleh c a.
Karena a O, maka c (c, d). Diperoleh a c.
Jadi a = c. Secara sama, diperoleh b = d. Akibatnya (a, b) = (c, d).
Sehingga setiap dua selang yang berbeda di {I
x
} pasti saling asing. Jadi, O merupakan gabungan
selang-selang buka yang saling asing. Terakhir tinggal ditunjukkan O terhitung.
Setiap selang buka memuat bilangan rasional
7
. Karena O gabungan selang-selang buka yang
saling asing dan setiap interval buka memuat bilangan rasional maka terdapat korespondensi 1-1
antara O dengan himpunan bilangan rasional atau himpunan bagiannya. Jadi O terhitung.

Proposisi :
Jika C koleksi himpunan terbuka di , maka
O C
O
himpuan terbuka di .
Bukti :
, untuk suatu
0 ( , ) , untuk suatu
0 (
.
.
. , )
O C
O C
x O x O O C
B x O O C
B x O

>
>

Jadi,
O C
O
himpunan terbuka di .
Another version (with countable revision) :
Diambil sebarang
O C
x O
, maka terdapat O C sehingga x O. Karena O terbuka maka

terdapat > 0 sehingga B(x, ) O
O C
O
. Jadi terbukti bahwa untuk setiap

O C
x O

terdapat > 0 sehingga B(x, )
O C
O
yang berarti
O C
O
terbuka.

7
Aksioma Archimedes

30
Perlu diperhatikan bahwa, jika C koleksi himpunan terbuka di maka
O C
O
8
belum tentu
himpunan terbuka di . Sebagai contoh,
1 1
,
n
O
n n

=

selang terbuka, tetapi
1
{0}
n
n
O
=
=
bukan
himpunan hingga di .

Proposisi (Lindelf) :
Misalkan C koleksi himpunan terbuka di , maka terdapat {O
i
} subkoleksi terhitung dari C
sedemikian sehingga
1
i
O C i
O O
=
=

Bukti :
Misal
{ | } U O O C =

Diambil sebarang x U. Maka terdapat himpunan O C, dengan x O.
Karena O terbuka, maka terdapat selang buka I
x
sehingga x I
x
O. Diperoleh
9
bahwa
terdapat selang buka J
x
dengan titik akhir bilangan rasional sehingga x J
x
I
x
. Karena koleksi
semua selang buka dengan titik akhir bilangan rasional adalah terhitung, maka himpunan {J
x
}, x
U terhitung dan
x
x U
U J
.
Untuk setiap selang di {J
x
} pilih himpunan O di C yang memuat J
x
. Diperoleh subset terhitung
{ }
1
i
i
O

=
dari C, dan
1
i
O C i
U O O
=
= =

2.6. Himpunan Tertutup
Penutup himpunan E dinotasikan E

Definisi :
0, | | x E y E x y > <
Dengan kata lain, x E , jika setiap selang buka yang memuat x juga memuat suatu titik di E
10
.
Jadi, jelas E E .

Contoh :
E = (0, 1]. Tentukan E .
Apakah x = 0 E ?
0, (0, 1] | | y E x y > = <
Perhatikan bahwa
1
0
n
y
n
=
> 0, n
0
N, |y
n
0| < , n n
0

atau, > 0, |y
n
0| <
Pilih
0
0
1
(0, 1]
n
y
n
= . Karena
1
0
n
, maka > 0, |y
n
0| < . Sehingga x = 0 E .
Jadi, [0, 1] E = .

8
Irisan tak berhingga himpunan-himpunan terbuka
9
Lihat proposisi : Jika x dan y bilangan real dan x < y maka terdapat bilangan rasional r sehingga x < r < y
10
|x y| < , berarti y (x , x + ). Sehingga > 0, y (x , x + ). Jadi, setiap selang terbuka yang memuat x, juga memuat
suatu titik (yaitu y) di E.

31
Proposisi :
1. Jika A B maka A B
2. A B A B =
Bukti :
1. Diambil sebarang > 0 dan x A .
Karena x A , maka y A |y x| < .
Karena A B, maka y B |y x| < . Menurut definisi, x B . Jadi terbukti A B .
2. Karena A A B, berdasar 1) di atas maka A A B .
Hal yang sama, karena B A B maka B A B . Jadi, A B A B .
Kemudian, akan dibuktikan bahwa A B A B . Disini dibuktikan kontraposisinya,
yaitu jika x A B maka x A B .
Karena x A B , maka x A dan x B .
1 1
2 2
0 tidak ada dengan | |
0 tidak ada dengan | |
x A y A x y
x B y B x y

> <
> <

Diambil = min{
1
,
2
}, maka tidak ada y A B dengan |y x| < .
Jadi, x A B .
Ini berarti, jika x A B maka x A B .
Bukti lain :
Diambil sebarang > 0 dan x A B .
0, | | x A B y A B y x > <
Karena y A B, maka y A atau y B.
Untuk y A dengan |y x| < diperoleh x A
Untuk y B dengan |y x| < diperoleh x B
Jadi, x A B .

Definisi :
Himpunan F disebut tertutup (closed) jika F F =

Menurut definisi F F , maka himpunan F disebut tertutup jika F F , yaitu jika F
memuat semua titik-titik clusternya.

Contoh :
1) F = (0, 1] bukan himpunan tertutup, sebab [0, 1] F F =
2) F = [0, 1] himpunan tertutup, sebab [0, 1] F F = =
3) Selang [a, b] dan [1, ] adalah himpunan tertutup
4) adalah himpunan tertutup
5) F = . Akan dibuktikan bahwa =
Bukti :
Dari definisi, . Jadi, tinggal dibuktikan .
.
.
0, , | |
0, , ( , )
.
x y y x
y y B x
x

> <
>

Jadi, . Oleh karena itu terbukti bahwa .

Proposisi :
Penutup himpunan E adalah tertutup.

32
Bukti :
Akan dibuktikan E E = . Dari definisi, E E . Jadi, tinggal dibuktikan E E .
Misalkan x E .
0, , | |
2
x E y E y x

> <
Karena y E maka untuk di atas, terdapat z E sehingga | |
2
z y

< .
Jadi, untuk di atas, terdapat z E sehingga
.
.
.
| | | |
| | | |
2 2
z x z y y x
z y y x

= +
< +
< + =

Ini berarti x E

Proposisi :
Jika F
1
dan F
2
tertutup, maka F
1
F
2
tertutup.
Bukti :
1 2 1 2
F F F F = .
Dari definisi, jelas bahwa
1 2 1 2
F F F F sehingga cukup dibuktikan
1 2 1 2
F F F F
Diambil sebarang
1 2
x F F . Akan dibuktikan bahwa
1 2
x F F . Menurut proposisi
sebelumnya,
1 2 1 2
x F F F F = . Karena F
1
dan F
2
tertutup, maka
1 2
x F F .

Proposisi :
Irisan koleksi himpunan tertutup adalah tertutup
Bukti :
Misalkan C koleksi himpunan-himpunan tertutup. Akan dibuktikan bahwa { | } F F C

tertutup, yaitu { | } { | } F F C F F C =

. Menurut definisi, cukup dibuktikan
{ | } { | } F F C F F C

.
Diambil sebarang { | } x F F C
. Maka untuk setiap > 0 terdapat { | } y F F C

sehingga |y x| < .
Karena { | } y F F C
maka y F untuk setiap F C dengan |y x| < . Menurut

definisi, diperoleh bahwa x F untuk setiap F C.
Karena F C maka F tertutup. Karena F tertutup maka F F = akibatnya x F, untuk
setiap F C. Dari sini maka, { | } x F F C
.
Jadi terbukti bahwa { | } { | } F F C F F C

. Sehingga { | } F F C
tertutup.

Proposisi :
1. Komplemen himpunan terbuka adalah tertutup
2. Komplemen himpunan tertutup adalah terbuka
Bukti :
1. Misalkan O himpunan terbuka. Akan dibuktikan bahwa
c c
O O = . Dari definisi
c c
O O .
Jadi cukup dibuktikan
c c
O O . Akan dibuktikan kontraposisinya.
Karena O terbuka, maka x O, > 0 sehingga B(x, ) O.
Karena x O, maka x O
c
.
Misalkan y B(x, ). Karena B(x, ) O maka y O.

33
Sehingga, jika |y x| < maka y O. Artinya, tidak ada y O
c
sehingga |y x| < .
Sesuai definisi penutup,
c
x O
2. Misalkan F himpunan tertutup. Akan dibuktikan bahwa F
c
terbuka.
Diambil sebarang x F
c
, akan dibuktikan bahwa terdapat > 0 sehingga B(x, ) F
c
.
Jika > 0 diambil sembarang, maka cukup dibuktikan B(x, ) F
c
. Akan dibuktikan
kontraposisinya.
Karena x F
c
maka x F. Karena F tertutup, maka x F F = . Artinya, tidak ada
y F sehingga untuk setiap > 0 yang diberikan berlaku |y x| < . Sehingga, untuk
setiap y F berlaku y B(x, ). Jadi, untuk setiap y F
c
maka y B(x, ).

Koleksi himpunan C disebut selimut (covers) dari himpunan F jika
{ : } F O O C

dalam hal ini koleksi himpunan C disebut menyelimuti (covering) F. Jika setiap O C terbuka, maka
koleksi C disebut selimut terbuka (open covering) dari F. Jika C hanya memuat sejumlah berhingga
himpunan-himpunan, maka koleksi C disebut selimut hingga (finite covering). Dalam hal selimut terbuka,
kata sifat terbuka tersebut menunjukkan sifat himpunan-himpunan dalam selimut dan tidak bermakna
diselimuti oleh himpunan terbuka. Demikian juga dengan istilah selimut hingga tidak menunjukkan
bahwa selimutnya merupakan himpunan berhingga.

Teorema (Heine-Borel) :
Misalkan F tertutup dan terbatas pada . Maka setiap selimut terbuka dari F mempunyai
selimut bagian yang berhingga.
Dengan kata lain, jika C adalah koleksi himpunan terbuka sehingga { : } F O O C

maka ada koleksi berhingga {O
1
, O
2
, . . ., O
n
} pada C sehingga
1
n
i
i
F O
=
.
Bukti :
(see Real Analysis, 3
rd
ed., H.L. Royden, page 45)

2.7. Fungsi Kontinu
Misalkan f fungsi bernilai real dengan domain E merupakan himpunan bilangan real. Berikut ini
definisi-definisi kontinu di titik, kontinu pada E, dan kontinu seragam pada E
11
.

Definisi :
Fungsi f dikatakan kontinu di titik (continuous at the point) x E jika > 0, > 0 sehingga y
E, dengan |y x| < maka |f(x) f(y)| < .
Fungsi f dikatakan kontinu pada (contiuous on) A subset dari E jika f kontinu di setiap titik dari A.
Fungsi f dikatakan kontinu seragam pada (uniformly continuous on) E, jika > 0, > 0 sehingga
x, y E, dengan |y x| < maka |f(x) f(y)| < .

Untuk selanjutnya, jika disebutkan f kontinu, maka yang dimaksud adalah f kontinu pada
domainnya.

Proposisi :
Misalkan f fungsi bernilai real yang kontinu dan didefinisikan pada F. Jika F kontinu dan
terbatas, maka f terbatas pada F dan mempunyai titik maksimum dan minimum pada F.
Artinya ada titik x
1
dan x
2
di dalam F sehingga f(x
1
) f(x) f(x
2
), x F.
Bukti :

11
Pembedaan ini hanya terlihat dari bagaimana ketergantungan pemilihan terhadap yang lain (x, y, atau )

34
rd

Proposisi :
Misalkan f fungsi bernilai real yang didefinisikan pada . Fungsi f kontinu pada jika dan
hanya jika f
1
(O) terbuka untuk setiap O himpunan terbuka di .
Bukti :
rd

Teorema (Teorema Nilai Antara) :
Misalkan f fungsi bernilai real dan kontinu pada [a, b]. Jika f(a) f(y) f(b) atau f(b) f(y) f(a)
maka ada c [a, b] sedemikian sehingga f(c) = y.

Proposisi :
Jika f fungsi bernilai real dan kontinu pada himpunan tertutup dan terbatas F maka f kontinu
seragam pada F.
Bukti :
rd

Definisi :
Misalkan <f
n
> barisan fungsi pada E. Barisan <f
n
> dikatakan konvergen titik demi titik (converge
pointwise) pada E ke fungsi f, jika x E dan > 0, N
12
sehingga |f(x) f
n
(x)| < , n N.
Barisan <f
n
> dikatakan konvergen seragam (converge uniformly) pada E ke fungsi f, jika > 0,
N
13
sehingga x E, |f(x) f
n
(x)| < , n N.

2.8. Himpunan Borel
Walaupun irisan dari sebarang koleksi himpunan tertutup adalah tertutup dan gabungan dari
koleksi berhingga dari himpunan tertutup juga tertutup, tetapi gabungan dari koleksi terhitung
himpunan-himpunan tertutup tidak harus tertutup.
Sebagai contoh, himpunan bilangan rasional adalah gabungan dari koleksi terhitung himpunan-
himpunan tertutup yang setiap himpunannya memuat tepat satu anggota.

Definisi :
Koleksi himpunan Borel B adalah aljabar- terkecil yang memuat semua himpunan-himpunan
terbuka.

Eksistensi aljabar- ini dijamin oleh proposisi
14
3 di Bab I. Lebih lanjut, aljabar- terkecil ini
juga memuat semua himpunan-himpunan tertutup dan memuat pula semua selang-selang buka.
Himpunan yang merupakan gabungan terhitung dari himpunan-himpunan tertutup disebut F

atau dikatakan memiliki tipe F
(F untuk tertutup, untuk jumlah). Sehingga, himpunan D dikatakan

memiliki tipe F
jika dapat ditulis

1
n
n
D F
=
=
untuk setiap himpunan tertutup F

n
di R.
Jika F himpunan tertutup, maka F memiliki tipe F
sebab F dapat ditulis menjadi

1
n
n
F F
=
=

dengan F
1
= F; F
2
= F
3
= F
4
= . . . = yang merupakan himpunan tutup. Juga, selang buka (a, b)
memiliki tipe F
, sebab

12
Pemilihannya bergantung pada x
13
Pemilihannya tidak bergantung pada x
14
Proposisi : Misalkan C koleksi himpunan bagian dari X, maka terdapat aljabar- terkecil R yang memuat C.

35
1
1 1
( , ) ,
n
a b a b
n n
=

= +

Dari sini diperoleh bahwa setiap himpunan terbuka memiliki tipe F
. Sebab, jika O buka maka :

1
1 1
,
n
O a b
n n
=

= +

Dengan a = batas bawah O, dan b = batas atas O.
Irisan terhitung dari semua himpunan terbuka dikatakan memiliki tipe G
. Jadi, suatu himpunan

dikatakan memiliki tipe G
jika himpunan tersebut merupakan irisan terhitung dari semua himpunan

terbuka.
Jadi, komplemen dari himpunan yang memiliki tipe F
adalah himpunan yang memiliki tipe G

dan demikian juga sebaliknya. Sebab,
( )
1 1 1
1
.
.
c c
c
n n n
n n n
c
n
n
F F F F F F
F

= = =
=

= = =

=

Karena F
n
tertutup untuk setiap F
n
di maka menurut proposisi, F
n
c
terbuka. Terlihat (F
)
c

merupakan irisan terhitung dari himpunan-himpunan terbuka. Jadi terbukti bahwa (F
)
c
memiliki tipe
G
. Bukti sebaliknya analog.

Himpunan yang memiliki tipe F
dan G
adalah contoh himpunan Borel, yaitu aljabar- terkecil

yang memuat semua himpunan terbuka dan tertutup.
Bab 3

Ukuran Lebesgue

3.1. Pendahuluan
Panjang l(I) dari interval I didefinisikan sebagai selisih antara kedua titik ujungnya yang hasilnya
berupa bilangan real. Panjang selang adalah salah satu contoh fungsi himpunan. Fungsi himpunan
adalah suatu fungsi yang memetakan antara bilangan real yang di perluas
*
dengan setiap himpunan di
dalam suatu koleksi himpunan-himpunan. Dalam hal ini, domain dari fungsi-nya adalah koleksi semua
interval-interval (selang). Kita hendak memperluas konsep panjang ini menjadi tidak hanya pada interval
melainkan himpunan yang cukup rumit. Secara sederhana, kita dapat mendefinisikan panjang dari
suatu himpunan terbuka sebagai jumlahan panjang dari selang-selang terbuka yang menyusun himpunan
terbuka tersebut.
Karena kelas dari himpunan terbuka masih terlalu rumit, kita akan mengkonstruksi fungsi
himpunan m yang memetakan setiap himpunan E di dalam suatu koleksi himpunan bilangan real M
yang diperluas dengan suatu bilangan real diperluas yang tak negatif m(E). Fungsi m ini disebut ukuran
dari himpunan E (measure of E). Tujuan yang diharapkan adalah agar m memenuhi sifat-sifat berikut:
i. m(E) terdefinisi untuk setiap himpunan bilangan real E, yaitu M = ( ).
ii. m(I) = l(I), untuk setiap selang I
iii. Jika <E
n
> barisan himpunan saling lepas dan m(E
n
) terdefinisi,
( )
( )
n n
m E m E =

iv. m merupakan fungsi translasi invariant, yaitu jika E himpunan dimana m terdefinisi dan jika
E + y = {x + y | x E}, diperoleh dengan mengganti setiap titik di E dengan x + y :
m(E + y) = m(E)
Sayangnya, tidak mungkin untuk membuat sebuah fungsi himpunan yang memiliki keempat
sifat di atas, dan juga tidak diketahui apakah ada fungsi himpunan yang memenuhi tiga sifat yang
pertama. Sebagai akibatnya, salah satu dari sifat-sifat di atas harus ditiadakan. Akan lebih mudah jika
meniadakan sifat yang pertama dan mengambil ketiga sifat yang lain. Sehingga m(E) tidak perlu
terdefinisi untuk semua himpunan bilangan real E, cukup hanya beberapa saja. Tentu saja, kita ingin
agar m(E) terdefinisi untuk sebanyak-banyaknya himpunan yang mungkin. Kita akan memilih M, yaitu
koleksi (family) himpunan dimana m terdefinisi, yang merupakan aljabar-. Maka ukuran m yang
diperoleh disebut ukuran aditif yang terhitung (countably additive measure), jika m merupakan fungsi
bernilai real tak negatif yang definisi domainnya merupakan aljabar- M (himpunan bilangan real) dan
berlaku:
( )
( )
n n
m E m E =

untuk setiap <E
n
> barisan himpunan saling lepas di M. Tujuan kita dalam sub-bab berikutnya adalah
akan mengkonstruksi sebuah ukuran aditif terhitung yang translasi invariant dan memiliki sifat
m(I) = l(I)
untuk setiap selang I.

3.2. Ukuran Luar
Untuk setiap himpunan bilangan real A, pandang koleksi terhitung selang-selang buka {I
n
} yang
menyelimuti A. Yaitu, koleksi yang memenuhi
n
A I

Contoh:
A = (0,1]
Bab 3 Ukuran Lebesgue Compiled by : Khaeroni, S.Si

37
1. { }
1 2 1 2
1 3
, , , 1 , , 2
2 4
I I I I

= =

{ }
1 2
, I I selimut buka.
1 2
A I I
1 2
3
( ) ( ) 2
4
l I l I + =
2. { }
1 1
1
, 0, 1
2
I I

=

{ }
1
I selimut buka.
1
A I
1
1
( ) 1
2
l I =

Dan untuk setiap koleksi, pandang jumlahan panjang masing-masing selang di dalam koleksi
tersebut. Karena panjang adalah bilangan positif, maka jumlahan tersebut didefinisikan
secara tunggal dan independen dari urutan barisannya. Misalkan F koleksi selimut buka A.
Didefinisikan ukuran luar (outer measure) m*(A) dari A sebagai infimum dari semua
jumlahan-jumlahan tersebut. Dinotasikan sebagai
{ }
*( ) inf ( ) inf ( )
n n
n n
I F A I
m A l I l I

= =

Akibat :
1. m*() = 0
2. jika A B maka m*(A) m*(B)
3. m*({a}) = 0, a R
Bukti :
1. Terlihat langsung dari definisi bahwa m*() 0.
Ambil sebarang > 0. Pilih ,
2 2
n
I

=

. Dari sini maka
2
( )
2
n
l I

= = dan I
n

merupakan selimut buka untuk . Jadi, *( ) ( )
n n
I m l I = . Sehingga,
*( ) , 0 *( ) 0 m m > =
2. Diambil
{ } { } { }
: selimut buka untuk
A n n
F I I A =
dan
{ } { } { }
B n n
F I I B =
Karena
n
A B I
, maka berlaku
{ } { }
n B n A
I F I F (setiap selimut B juga bisa dipakai sebagai selimut untuk A).
Jadi,
B A
F F . Akibatnya,
inf inf
A B
F F
Begitu juga dengan jumlahannya. Menurut definisi, m*(A) m*(B)
3. Diambil sebarang a R, > 0 dan
{ } { } { }
{ }
: selimut buka untuk { }
a n n
F I I a =
maka,
{ }
{ }
*({ }) inf ( )
2 n a
n
I F
m a l I

= <

Karena > 0 sebarang maka m*({a}) = 0.


38
Proposisi :
Ukuran luar dari suatu selang sama dengan panjang selang tersebut.
Sebagai contoh, jika A = [0,2] maka m*(A) = 2.
Bukti :
Kasus 1 : Misalkan [a, b]
(Versi Mr. Royden)
Karena [a, b] (a , b + ), > 0 maka
m*([a, b]) l((a , b + )) = b a + 2
Karena m*([a, b]) b a + 2, > 0 maka
m*([a, b]) b a
Selanjutnya, akan dibuktikan m*([a, b]) b a.
Hal ini sama saja dengan membuktikan bahwa jika {I
n
} sembarang koleksi terhitung dari selang
buka yang menyelimuti [a, b] maka
( )
n
n
l I b a

Sebab, inf ( )
n
n
A I
l I b a
. Karena infimum, maka ( )

n
n
l I b a
.
Dengan Teorema Heine-Borel, setiap koleksi selang terbuka yang menyelimuti [a, b] memuat
subkoleksi berhingga yang juga menyelimuti [a, b], dan karena jumlahan panjang selang dari
subkoleksi berhingga tidak lebih besar dari jumlahan panjang selang dari koleksi aslinya, maka
pertidaksamaan di atas terbukti untuk koleksi berhingga {I
n
} yang menyelimuti [a, b].
Karena a termuat di dalam
n
I
maka ada k sehingga I

k
memuat a. Misalkan I
k
= (a
1
, b
1
).
Diperoleh
a
1
< a < b
1

Jika b
1
b, maka b
1
[a, b] dan karena b
1
(a
1
, b
1
) maka terdapat interval (a
2
, b
2
) di dalam {I
n
}
sedemikian sehingga b
1
(a
2
, b
2
). Jadi, a
2
< b
1
< b
2
. Demikian seterusnya, sehingga diperoleh
barisan
(a
1
, b
1
), (a
2
, b
2
), . . ., (a
k
, b
k
)
Dari koleksi {I
n
} sedemikian sehingga a
i
< b
i 1
< b
i
.
Karena {I
n
} koleksi berhingga, proses di atas pasti berhenti pada suatu interval (a
k
, b
k
). Tetapi
proses ini hanya akan berhenti jika b (a
k
, b
k
), yaitu jika a
k
< b < b
k
. Karena a
i
< b
i 1
, maka
1 1 1 1
1 1 2 2 1 1 1
( ) ( , )
( ) ( ) ( )
( ) ( ) ( )
n i i
k k k k
k k k k k k
l I l a b
b a b a b a
b a b a b a b a b a

= + + +
= >

Tetapi b
k
> b dan a
1
< a. Akibatnya, b
k
a
1
> b a. Jadi, ( )
n
l I b a >
.
Terbukti bahwa m*([a, b]) b a
(Versi Mrs. Anggi)
Karena [a, b] (a , b + ), > 0 maka
m*([a, b]) l((a , b + )) = b a + 2
Karena m*([a, b]) b a + 2, > 0 maka
m*([a, b]) b a
Selanjutnya, akan dibuktikan m*([a, b]) b a.
Hal ini sama saja dengan membuktikan bahwa jika {I
n
} sembarang koleksi terhitung dari selang
buka yang menyelimuti [a, b] maka
( )
n
n
l I b a

Sebab, inf ( )
n
n
A I
l I b a
. Karena infimum, maka ( )

n
n
l I b a
.
Dengan Teorema Heine-Borel, setiap koleksi selang terbuka yang menyelimuti [a, b] memuat

39
subkoleksi berhingga yang juga menyelimuti [a, b], dan karena jumlahan panjang selang dari
subkoleksi berhingga tidak lebih besar dari jumlahan panjang selang dari koleksi aslinya, maka
pertidaksamaan di atas terbukti untuk koleksi berhingga {I
n
} yang menyelimuti [a, b].
Karena a termuat di dalam
n
I
maka ada k sehingga I

k
memuat a. Misalkan I
k
= (a
1
, b
1
).
Diperoleh
a
1
< a < b
1

Jika b
1
b, maka b
1
[a, b] dan karena b
1
(a
1
, b
1
) maka terdapat interval (a
2
, b
2
) di dalam {I
n
}
sedemikian sehingga b
1
(a
2
, b
2
). Jadi, a
2
< b
1
< b
2
. Demikian seterusnya, sehingga diperoleh
barisan
(a
1
, b
1
), (a
2
, b
2
), . . ., (a
k
, b
k
)
Dari koleksi {I
n
} sedemikian sehingga a
i
< b
i 1
< b
i
.
Karena {I
n
} koleksi berhingga, proses di atas pasti berhenti pada suatu interval (a
k
, b
k
). Tetapi
proses ini hanya akan berhenti jika b (a
k
, b
k
), yaitu jika a
k
< b < b
k
. Karena a
i
< b
i 1
, maka
1 1 1 1
1 1 2 2 1 1 1
( ) ( , )
( ) ( ) ( )
( ) ( ) ( )
n i i
k k k k
k k k k k k
l I l a b
b a b a b a
b a b a b a b a b a

= + + +
= >

Tetapi b
k
> b dan a
1
< a. Akibatnya, b
k
a
1
> b a. Jadi, ( )
n
l I b a >
.
Terbukti bahwa m*([a, b]) b a

Kasus 2 : Misalkan I selang berhingga sebarang, maka untuk > 0 yang diberikan, terdapat
selang tertutup J I sehingga
l(J) > l(I)
Diperoleh,
l(I) < l(J) = m*(J) m*(I) *( ) ( ) ( ) m I l I l I = =
Sehingga untuk setiap > 0,
l(I) < m*(I) l(I)
Jadi, m*(I) = l(I).

Kasus 3 : Misalkan I interval tak hingga, maka untuk setiap bilangan real yang diberikan
terdapat selang tertutup J I sehingga l(J) = . Diperoleh
m*(I) m*(J) = l(J) =
Karena m*(I) untuk setiap , maka m*(I) = = l(I).

Proposisi :
Misalkan {A
n
} koleksi terhitung pada , maka
( )
* *( )
n n
m A m A

Bukti :
Jika salah satu himpunan A
n
memiliki ukuran luar tak hingga (), maka ke-taksamaan di atas
dipenuhi. Misalkan m*(A
n
) berhingga, maka terdapat koleksi terhitung dari selang buka {I
n,i
}
i

sehingga
, n n i
i
A I

Juga, untuk setiap > 0 berlaku
,
( ) *( ) 2
n
n i n
i
l I m A
< +

Selanjutnya, karena koleksi
{ }
, ,
,
{ }
n i n i i
n i
n
I I =
terhitung, merupakan gabungan terhitung dari


40
koleksi terhitung, dan menyelimuti
n
A
, maka
( ) ( )
1
, ,
,
* ( ) ( ) *( ) 2 *( )
n n i n i n n
n i n i n
m A l I l I m A m A
= < + = +

Karena > 0 sebarang, maka
( )
* *( )
n n
m A m A

Akibat :
Jika A terhitung, m*(A) = 0
(lihat tutorial #6)

Akibat :
Himpunan [0, 1] tidak terhitung
Bukti :
Karena m*([0,1]) = 1 0 maka [0,1] tidak terhitung.

Proposisi :
Jika E dan y . Didefinisikan
{ } : E y x y x E + = +
maka, m*(E+y) = m*(E)
Bukti :
Diambil
{ } { } { }
E n n
F I I E =
dan
{ } { } { }
E y n n
F I I E y
+
= +
Berdasarkan kenyataan bahwa (nb: ( ) ( , )
n
l I l a b b a = = dan ( ) ( , )
n
l I y l a y b y b a + = + + = )
{ } { }
n E n E y
I F I y F
+
+ dan { } { }
n E y n E
I F I y F
+

Jadi ada korespondensi 1-1 antara F
E
dan F
E+y
, atau
E E y
F F
+

Dari sini maka,
{ }
*( ) inf ( )
n E
n
I F
m E l I
=

(menurut definisi)
{ }
inf ( )
n E
n
I F
l I y
= +
(setiap I
n
ada korespondensi 1-1 antara F
E
dan F
E+y
)
{ }
inf ( )
*( )
n E y
n
I y F
l I y
m E y
+
+
= +
= +

Proposisi :
Diberikan sebarang himpunan A dan > 0, maka :
1. Terdapat himpunan terbuka O sedemikian sehingga A O dan
m*(O) m*(A) +
2. Terdapat G G
sedemikian sehingga A G dan

m*(A) = m*(G)
Bukti :
Misalkan > 0 diberikan.
1. Untuk kasus pertama, misalkan m*(A) = diambil O = dan berlaku
m*(O) = + = m*(A) +

41
Untuk kasus kedua, misalkan m*(A) < .
Menurut definisi ukuran luar, ada {I
n
} koleksi terhitung dari selang-selang buka dengan sifat
n
A I

dan (karena m*(A) infimum, maka digeser sedikit bukan lagi infimum).
( ) * ( )
n
l I m A +

Berdasar proposisi 1 dan 2, diperoleh
( )
* *( ) ( ) *( )
n n n
m I m I l I m A = +

Jika dipilih
n
O I =
, maka O memenuhi
A O
dan
*( ) *( ) m O m A +
Karena I
n
buka, maka
n
O I =
buka.
2. Kasus pertama, jika m*(A) = dipilih G = maka G G
.
Karena G = maka A G dan m*(A) = = m*(G).
Kasus kedua, m*(A) < .
Menurut bukti bagian 1), terlihat bahwa untuk setiap bilangan asli n ada himpunan
buka O
n
dengan sifat
A O
n

dan
1
*( ) *( )
n
m O m A n
+
Didefinisikan
n
G O =
. Karena O
n
buka untuk setiap n , maka G buka. Sehingga
G G

Karena A O
n
dan
n
G O =
untuk setiap n maka

A G
Karena A G maka
m*(A) m*(G) . (1)
Di lain pihak, karena
n
G O =
untuk setiap n maka

G O
n

Karena G O
n
untuk setiap n , maka
1
* ( ) * ( ) * ( )
n
m G m O m A n
+
Dari sini diperoleh
m*(A) m*(G) (2)
Dari (1) dan (2) diperoleh
m*(A) = m*(G)

Sampai di sini, ukuran luar yang didefinisikan di atas sudah memenuhi asumsi-asumsi yang
diinginkan kecuali asumsi yang ke-3. Oleh karena itu perlu diperbaiki.

3.3. Himpunan Terukur
Ukuran luar yang didefinisikan sebelumnya terdefinisi untuk sebarang himpunan, akan tetapi
bukan merupakan ukuran aditif yang terhitung. Untuk menjadi ukuran aditif terhitung maka perlu
himpunan pada koleksi himpunan yang merupakan aljabar-.

Definisi :
Himpunan E dikatakan terukur (measurable) jika untuk setiap himpunan A berlaku
m*(A) = m*(A E) + m*(A E
c
)

42
Karena selalu berlaku m*(A) m*(A E) + m*(A E
c
), terlihat bahwa E terukur jika untuk
setiap A berlaku m*(A) m*(A E) + m*(A E
c
). Berdasarkan definisi, jika E terukur maka E
c
juga
terukur. Contoh himpunan terukur adalah dan .

Lemma :
Jika m*(E) = 0 maka E terukur
Bukti :
Misalkan A himpunan sebarang. Karena A E E, maka
m*( A E) m*(E) = 0
Sehingga
m*( A E) = 0
Karena A A E
c
, maka
m*(A) m*( A E
c
) = 0 + m*( A E
c
) = m*( A E) + m*( A E
c
)
Jadi E terukur.

Lemma :
Jika E
1
dan E
2
terukur maka E
1
E
2
terukur.
Bukti :
Misalkan A sembarang himpunan. Karena E
2
terukur maka
m*(A E
1
c
) = m*(A E
1
c
E
2
) + m*(A E
1
c
E
2
c
)
Karena
(A E
1
) (A E
2
E
1
c
) = A (E
1
(E
1
E
1
c
))
= A ((E
1
E
2
) (E
1
E
1
c
))
= (A (E
1
E
2
))
= (A (E
1
E
2
))
maka
m*(A (E
1
E
2
)) m*(A E
1
) + m*(A E
2
E
1
c
)
Sehingga,
m*(A (E
1
E
2
)) + m*(A (E
1
E
2
)
c
) = m*(A (E
1
E
2
)) + m*(A E
1
c
E
2
c
)
m*(A E
1
) + m*(A E
2
E
1
c
) + m*(A E
1
c
E
2
c
)
= m*(A E
1
) + m*(A E
1
c
)
= m*(A)

Akibat :
Koleksi himpunan-himpunan terukur M merupakan aljabar himpunan

Lemma :
Misalkan A himpunan sembarang dan E
1
, . . ., E
n
barisan hingga dari himpunan terukur yang
saling lepas (disjoint), maka
1 1
* *( )
n n
i i
i i
m A E m A E
= =

=

Bukti :
Bukti menggunakan induksi pada n.
Pernyataan jelas benar untuk n = 1
Asumsikan bahwa pernyataan benar untuk n 1, yaitu :
1 1
1 1
* *( )
n n
i i
i i
m A E m A E

= =

=

Karena E
i
saling lepas, maka

43
1
( )
n
i n n
i
A E E A E
=

=

dan
1
1 1
n n
c
i n i
i i
A E E A E
= =

=

Karena E
i
terukur maka
1 1 1
* * *
n n n
c
i i n i n
i i i
m A E m A E E m A E E
= = =

= +

Dari sini, maka
( )
( )
1
1 1
1
1
1
* * *
* *( )
*( )
n n
i n i
i i
n
n i
i
n
i
i
m A E m A E m A E
m A E m A E
m A E
= =
=
=

= +

= +
=

Akibat :
Koleksi himpunan-himpunan terukur M merupakan aljabar-
Bukti :
rd

Lemma :
Selang (a, ) terukur
Bukti :
Misalkan A sembarang himpunan dan > 0 diberikan.
A
1
= A (a, )
A
2
= A (, a]
m*(A
1
) + m*(A
2
) m*(A)
Jika m*(A) = , maka bukti selesai.
Jika m*(A) < , maka terdapat koleksi terhitung himpunan buka {I
n
} yang menyelimuti A dan
berlaku :
( ) *( )
n
l I m A +

Misalkan
'
( , )
n n
I I a = dan
''
( , ]
n n
I I a = maka
'
n
I dan
''
n
I merupakan selang (atau
kosong) dan
l(I
n
) = l(I
n
) + l(I
n
) = m*(I
n
) + m*(I
n
)
Karena
'
1 n
A I
, maka
( )
' '
1
*( ) * *( )
n n
m A m I m I

Karena
''
2 n
A I
, maka
( )
'' ''
2
*( ) * *( )
n n
m A m I m I

Sehingga,
( )
' ''
1 2
*( ) *( ) *( ) *( )
( ) *( )
n n
n
m A m A m I m I
l I m A
+ +
+


44
Karena > 0 sembarang, maka m*(A
1
) + m*(A
2
) m*(A)

Teorema :
Setiap himpunan Borel terukur
Bukti :
rd

Berkaitan dengan teorema di atas, M merupakan aljabar- yang memuat setiap selang yang
berbentuk (a, ) dan B aljabar- terkecil yang memuat selangselang seperti itu. Dalam teorema juga
diperoleh bahwa setiap himpunan buka dan tutup terukur.

3.4. Ukuran Lebesgue
Jika E himpunan terukur, didefinisikan ukuran Lebesgue (Lebesgue Measure) m(E) sebagai ukuran
luar dari E. sehingga m adalah fungsi himpunan yang diperoleh dengan membatasi fungsi himpunan m*
ke koleksi himpunan terukur M. Jadi, jika M adalah koleksi himpunan terukur dan E M. Ukuran
Lebesgue dari E, adalah
m(E) = m*(E)

Dua sifat penting dari ukuran Lebesgue diringkas dalam proposisi-proposisi berikut:

Proposisi :
Misalkan <E
i
> barisan himpunan terukur, maka
(i)
( )
( )
i i
m E m E

(ii)
( )
( )
i i
m E m E =

, jika <E
i
> saling lepas.
Bukti :
(i) Jelas dari proposisi
1
pada sub-bab 3.2
(ii) Jika <E
i
> barisan hingga yang saling lepas, maka menurut lemma
2
pada sub-bab 3.3 dengan
memilih A = diperoleh :
1 1 1 1
* *( ) * *( )
n n n n
i i i i
i i i i
m E m E m E m E
= = = =

= =

Jika <E
i
> barisan takhingga yang saling lepas, maka
1 1
n
i i
i i
E E
= =

dan
1 1 1
( )
n n
i i i
i i i
m E m E m E
= = =

=

Karena ruas kiri pada ketidaksamaan di atas tidak bergantung pada n, diperoleh
1 1
( )
i i
i i
m E m E

= =

Kebalikan dari ketaksamaan di atas diperoleh dari (i).

Proposisi :
Misalkan <E
n
> barisan himpunan terukur yang monoton turun. Jika m(E
1
) hingga, maka

1
Misalkan {A
n
} koleksi terhitung pada , maka (lihat hal. 38)
2
Misalkan A himpunan sembarang dan E
1
, . . ., E
n
barisan hingga dari himpunan terukur yang saling lepas maka (lihat hal. 39)

45
1
lim ( )
i n
n
i
m E m E
=

=

Penjelasan :
Monoton turun artinya E
i+1
E
i

Bukti :
Misal
1
i
i
E E
=
=
dan F
i
= E
i
E
i+1
. Maka E
1
E =
1
i
i
F
dan F
i
saling lepas. Jadi,
1 1
1
1
1
1
( )
( ) ( )
( )
i i
i i
i
i
i i
i
m F m F
m E E m F
m E E

= =
+
=

=

=
=

Karena E E
1
, maka E
1
= E (E
1
E). Jadi,
m(E
1
) = m(E) + m(E
1
E) m(E
1
E) = m(E
1
) m(E)
Karena E
i+1
E
i
, maka E
i
= E
i+1
(E
i
E
i+1
). Jadi,
m(E
i
) = m(E
i+1
) + m(E
i
E
i+1
) m(E
i
E
i+1
) = m(E
i
) m(E
i+1
)
Dari sini maka,
1 1
1
1
1
1
1
1
lim
lim
lim
lim
( ) ( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
i i
i
n
i i
n
i
n
n
n
n
n
n
m E m E m E m E
m E m E
m E m E
m E m E
m E m E
+
=
=
=
=
=
=

Proposisi :
Misalkan E suatu himpunan. Lima pernyataan berikut adalah ekuivalen.
1. E himpunan terukur
2. > 0, ada himpunan buka O E sehingga m*(O E) <
3. > 0, ada himpunan tutup F E sehingga m*(E F) <
4. Terdapat G di G
dengan E G sehingga m*(G E) = 0

5. Terdapat F di F
dengan F E sehingga m*(E F) = 0

Jika m*(E) hingga, maka kelima pernyataan di atas ekuivalen dengan
6. > 0 terdapat himpunan U, yaitu gabungan hingga dari beberapa selang buka sehingga
m*(U E) <
Ukuran dari-nya sama
dengan limitnya.
F
1

F
2

F
3

F
i


46
3.5. Fungsi Terukur
Proposisi :
Misalkan f fungsi real dengan daerah asal himpunan terukur. Keempat pernyataan berikut
ekuivalen.
1. , { | ( ) } x f x > himpunan terukur
2. , { | ( ) } x f x himpunan terukur
3. , { | ( ) } x f x < himpunan terukur
4. , { | ( ) } x f x himpunan terukur
Keempat pernyataan di atas mengakibatkan
5. , { | ( ) } x f x = himpunan terukur
Bukti :
Bukti iii) iv)
Diambil sebarang bilangan real . Karena
{ }
1
1
| ( ) | ( )
n
x f x x f x
n

=

= < +

dan irisan dari barisan himpunan terukur adalah terukur maka himpunan {x | f(x) } terukur.
Sebaliknya, karena
{ }
1
1
| ( ) | ( )
n
x f x x f x
n

=

< =

dan gabungan dari barisan himpunan terukur adalah terukur maka himpunan {x| f(x) < }
terukur.
Bukti i) ii)
Diambil sebarang bilangan real . Karena
{ }
1
1
| ( ) | ( )
n
x f x x f x
n

=

= >

dan irisan dari barisan himpunan terukur adalah terukur maka himpunan {x | f(x) } terukur.
Sebaliknya, karena
{ }
1
1
| ( ) | ( )
n
x f x x f x
n

=

> = +

dan gabungan dari barisan himpunan terukur adalah terukur maka himpunan {x| f(x) > }
terukur.
(the rest, see Real Analysis, 3
rd
ed., H.L. Royden, page 65 66)

Definisi :
Fungsi f dikatakan terukur (Lebesgue), jika daerah asal fungsi f terukur dan salah satu dari
keempat pernyataan dalam proposisi di atas berlaku.

Contoh :
Diketahui : f D fungsi terukur. Didefinisikan
max(0, ) f f
+
= dan max(0, ) f f
=
Dengan menggunakan definisi fungsi terukur, buktikan bahwa f
+
dan f
terukur.
Bukti :
Karena f terukur, maka
f f
D D D
+
= = terukur.
Misalkan, { } : ( ) x f x A
+
> = .
{ } { }
0
0 : ( ) : ( )
A D
x f x x f x

+
< =
> = >


47
Misalkan, { } : ( ) x f x B
> = .
{ } { } { }
0
0 : ( ) 0 : ( ) : ( )
B D
x f x x f x x f x
< =
> = > = <

Menurut definisi, terbukti bahwa f
+
dan f
terukur.

Perlu dicatat bahwa, f fungsi kontinu dengan daerah asal yang terukur adalah fungsi terukur.
Bukti :
Misalkan : f D dengan D himpunan terukur dan f fungsi kontinu. Karena D himpunan
terukur, maka D
f
= D himpunan terukur. Akan dibuktikan bahwa berlaku
{ } : ( ) x f x > terukur adalah himpunan terukur.
Diambil sebarang karena
{ } { }
1
: ( ) : ( ) ( , )
(( , ))
x f x x f x
f D

> =
=

Interval ( , ) adalah himpunan buka di . Berdasarkan teorema, diperoleh
1
(( , )) f

merupakan himpunan buka di D. Karena
1
(( , )) ( , )
k k
k
f a b

dan setiap interval/selang adalah himpunan terukur maka { } : ( ) x f x > himpunan terukur.

Setiap fungsi tangga merupakan fungsi terukur. Jika f fungsi terukur dan E himpunan terukur
dalam daerah asal, maka batasan f terhadap E, f|
E
juga terukur.

Proposisi :
Misalkan c suatu konstanta, f dan g dua fungsi real yang terukur dalam daerah asal yang sama,
maka fungsi f + c, cf, f + g, f g, dan fg juga terukur
Bukti :
rd

Teorema :
Misalkan <f
n
> barisan fungsi terukur, maka
1 2
sup{ , , , }
n
f f f ,
1 2
inf{ , , , }
n
f f f , sup{ }
n
n
f , inf{ }
n
n
f , lim
n
f , dan lim
n
f
adalah fungsi-fungsi terukur.
Bukti :
1 2
sup{ , , , }
n
f f f fungsi terukur.
Karena f
i
, i = 1, 2, . . ., n terukur maka
i
f
D terukur. Misal
1 2
sup{ , , , }
n
f f f f =
dan
1
i
n
f f
i
D D
=
=

maka D
f
terukur. Diambil sebarang . Akan dibuktikan bahwa { } : ( ) x f x > .
Jika
1 2
( ) sup{ ( ), ( ), , ( )}
n
f x f x f x f x = > maka ada i, 1 i n sehingga f
i
(x) > . Jadi,
{ } { }
1
: ( ) : ( )
n
i
i
x f x x f x
=
> >

Jika f
i
(x) > untuk suatu i, 1 i n maka
1 2
sup{ ( ), ( ), , ( )} ( )
n
f x f x f x f x > > . Jadi,

48
{ } { }
1
: ( ) : ( )
n
i
i
x f x x f x
=
> >

Kesimpulannya
{ } { }
1
: ( ) : ( )
n
i
i
x f x x f x
=
> = >

Karena f
i
terukur maka { } : ( )
i
x f x > terukur. Karena gabungan terhitung dari himpunan-
himpunan terukur adalah terukur maka { } : ( ) x f x > terukur. Jadi terbukti f terukur.
(sisanya lihat Real Analysis, 3
rd

Definisi :
(i) f = g a.e jika f dan g mempunyai daerah asal yang sama dan m{x| f(x) g(x)} = 0
(ii) f
n
konvergen ke g hampir di mana-mana, jika terdapat himpunan E yang berukuran nol
sehingga f
n
(x) konvergen ke g(x) untuk setiap x E.

Proposisi :
Jika f fungsi terukur dan f = g a.e, maka g fungsi terukur.
Bukti :
Karena f = g (ae) maka m({x: f(x) g(x)}) = 0. Misalkan f(a) g(a), maka m({a}) = 0. Jadi,
( ) ( ), { }
f g
f x g x x D D a = =
Diambil sebarang . Akan dibuktikan {x : g(x) > } terukur.
i) Jika f(a) < g(a)
Jika < f(a) < g(a)
{ } { } : ( ) : ( ) x g x x f x > = > terukur
Jika f(a) < < g(a)
{ } { } : ( ) : ( ) { } x g x x f x a > = > terukur
Jika f(a) < g(a) <
{ } { } : ( ) : ( ) x g x x f x > = > terukur
ii) Jika f(a) > g(a)
Jika > f(a) > g(a)
{ } { } : ( ) : ( ) x g x x f x > = > terukur
Jika f(a) > > g(a)
{ } { } : ( ) : ( ) { } x g x x f x a > = > terukur
Jika f(a) > g(a) >

Proposisi :
Misalkan f fungsi terukur pada [a,b], dan f bernilai hanya pada himpunan yang berukuran
nol, maka untuk setiap > 0, terdapat fungsi tangga g dan suatu fungsi kontinu h yang
memenuhi
|f g| < dan |f h| <
Kecuali pada himpunan yang berukuran lebih kecil dari , yaitu :
m{x| |f(x) g(x) } < , dan m{x| |f(x) h(x)| } <
Sebagai catatan, jika m f M, pilih fungsi g dan h yang memenuhi m g M dan m h M
Bukti :
Bukti dibagi menjadi dua bagian

49
1) Misalkan f fungsi terukur yang didefinisikan pada [a, b] dan { } ( )
: ( ) 0. m x f x = = Akan
dibuktikan bahwa 0, M f M > kecuali pada himpunan yang ukurannya kurang
dari . Ekuivalen dengan menujukkan ada M sehingga { } ( )
[ , ] : ( ) m x a b f x M > < .
Misalkan n sebarang. Didefinisikan
{ }
[ , ] : ( )
n
E x a b f x n = >
yaitu,
{ }
{ }
{ }
{ }
1
2
1
[ , ] : ( ) 1
[ , ] : ( ) 2
[ , ] : ( )
[ , ] : ( ) 1
n
n
E x a b f x
E x a b f x
E x a b f x n
E x a b f x n
+
= >
= >
= >
= > +

Karena
{ }
[ , ] : ( )
n
E x a b f x n = >
{ }
{ } { }
[ , ] : ( ) ( )
[ , ] : ( ) [ , ] : ( )
x a b f x n f x n
x a b f x n x a b f x n
= > <
= > <

dan f terukur, maka E
n
terukur.

Karena n berlaku n + 1> n sehingga jika ( ) 1 f x n > + maka ( ) f x n > . Akibatnya
{ } { }
1
[ , ] : ( ) 1 [ , ] : ( )
n n
E x a b f x n x a b f x n E
+
= > + > =

Perhatikan bahwa
{ }
1
[ , ] : ( ) 1 E x a b f x = > , maka
( ) [ ] ( ) ( )
1 1
, m E m a b m E b a < +
Jadi,
1
( ) m E berhingga.

Karena
n
E barisan himpunan terukur dengan
1 n n
E E
+
, n dan
1
( ) m E berhingga
maka diperoleh
( )
1
lim 0
n n
n
n
m E m E
=

= =

Akibatnya berlaku
( ) { } ( )
0, [ , ] : ( )
M
M m E m x a b f x M > < > <
Hal ini berarti ( ) f x M kecuali pada himpunan
{ }
[ , ] : ( ) x a b f x M > yang ukurannya
kurang dari .

2) Misalkan f fungsi terukur yang didefinisikan pada [a, b] dan { } ( )
: ( ) 0. m x f x = = Akan
dibuktikan bahwa 0 > dan M, ada fungsi sederhana sehingga
( ) ( ) , f x x x < sedemikan sehingga ( ) f x M
Misalkan 0 > dan M diberikan. Pilih N bilangan asli sehingga
M
N
< . Didefinisikan
{ , 1, , 1} k N N N +

50
[ , ] : ( ) [ , ] : ( ) ( 1)
k
M M
E x a b f x k x a b f x k
N N

= < +

Karena f terukur, maka E
k
terukur.
Didefinisikan fungsi , yaitu
1
,
( )
0 ,
N
k
k N
k
M
k x E
x N
x E

Jika [ , ] x a b sehingga ( ) f x M < maka
k
x E untuk suatu k sehingga
( ) ( 1)
M M
k f x k
N N
< +
Karena
k
x E maka ( )
M
x k
N
= . Akibatnya
( ) ( ) ( 1)
M M M
f x x k k
N N N
< + = <

Misalkan A sembarang himpunan, dan didefinisikan fungsi karakteristik dari himpunan A, yaitu
A
sebagai berikut:
1 ,
( )
0 ,
A
x A
x
x A

Fungsi
A
terukur jika dan hanya jika A terukur.

Definisi :
Fungsi bernilai real dikatakan sederhana (simple), jika terukur dan memiliki hanya sejumlah
berhingga nilai.

Jika sederhana (simple) dan bernilai
1
,
2
, . . .,
n
maka
1
i
n
i A
i

=
=
dengan
{ : ( ) }
i i
A x f x = = . Penjumlahan dan pengurangan dua fungsi sederhana adalah sederhana.

Contoh :
Fungsi tangga
1, 0 1
( ) 2, 1 3
3, 3 4
x
f x x
x
< <
= < <
< <

dapat ditulis menjadi
1 2
( ) 1. 2.
A A
f x = +
dengan
1
(0, 1) (3, 4) A = dan
2
(1, 3) A =

3.6. Tiga Prinsip Littlewood
J. E. Littlewood mengatakan bahwa terdapat tiga prinsip dalam teori fungsi real yang banyak
digunakan, yaitu:
1. Hampir setiap himpunan (terukur) merupakan gabungan berhingga selang-selang
2. Hampir setiap fungsi (terukur) merupakan fungsi kontinu
3. Hampir setiap barisan fungsi (terukur) yang konvergen adalah konvergen seragam
Prinsip pertama dan kedua telah ditemui dalam pembahasan sebelumnya. Bentuk-bentuk untuk

51
prinsip pertama dan dapat dilihat pada proposisi sebelumnya. Contoh prinsip ketiga diberikan pada
proposisi berikut ini:

Proposisi :
Misalkan E memiliki ukuran hingga, <f
n
> barisan fungsi terukur pada E, dan f fungsi bernilai
real. Jika untuk setiap x di E berlaku f
n
(x) f(x), maka untuk > 0 dan > 0 yang diberikan
terdapat himpunan terukur A E dengan m(A) < dan bilangan asli N sedemikian sehingga
untuk setiap x A dan setiap n N berlaku
|f
n
() f()| <
Bukti :
Diberikan , 0 > sebarang
n didefinisikan
{ }
: ( ) ( )
n n
G x E f x f x =
dan n didefinisikan
{ }
: ( ) ( ) , untuk suatu
n k
k n
n
E G
x E f x f x k n
=
=

Sehingga { }
1 2 3 n
E E E E turun menuju
n
E
.
Perhatikan bahwa
0 0
, lim ( ) ( )
, 0, sehingga untuk ( ) ( )
n
n
n
x E f x f x
x E n n n f x f x
=
> <

Jadi,
0 0
c
n n
x E x E . Sehingga
n
E =
.
Jadi, E
n
turun menuju . Sehingga
lim ( ) 0
n
n
m E
=
Karena lim ( ) 0
n
n
m E
= maka untuk 0 > di atas, N sehingga untuk n N berlaku:

( ) 0 ( )
n n
m E m E < <
Ambil
n
A E E = terukur dan ( ) m A < .
{ }
: ( ) ( ) ,
c c
n
n
A E
x E f x f x n N
=
= <

Jika didalam hipotesis proposisi di atas f
n
(x) f(x) untuk setiap x, dikatakan bahwa <f
n
>
konvergen titik-demi-titik (converges pointwise) ke f pada E. Jika ada himpunan B E dengan m(B) = 0
sedemikian sehingga f
n
f titik-demi-titik pada E B, dikatakan bahwa f
n
f a.e pada E.

Proposisi :
Misalkan E himpunan terukur dan ber-ukuran hingga, dan <f
n
> barisan fungsi terukur yang
konvergen ke fungsi bernilai real f a.e pada E. Maka, untuk untuk > 0 dan > 0 yang
diberikan, terdapat himpunan A E dengan m(A) < , dan bilangan asli N sedemikian
sehingga untuk setiap x A dan setiap n N berlaku,
|f
n
() f()| <
Bab 4

Integral Lebesgue

4.1. Integral Riemann
Kita akan sedikit mengulang kembali beberapa definisi pamartisian dalam Integral Riemann.
Misalkan f fungsi bernilai real yang terbatas dan terdefinisi pada interval [a, b] dan misalkan [a, b]
dipartisi menjadi n bagian, yaitu:
0 1
:
n
p a b = < < < =
Untuk setiap partisi p tersebut, didefinisikan Jumlah Atas:
1
1
Jumlah Atas ( )
n
i i i
i
S M

=
= =

dan
1
1
Jumlah Bawah ( )
n
i i i
i
s m

=
= =

dimana,
1
( , )
sup ( )
i i
i
x
M f x

= dan
1
( , )
inf ( )
i i
i
x
m f x

= .
Dari pendefinisian ini terlihat bahwa untuk setiap partisi p berlaku,
( ) ( ) s p S p dan ( ) s p dan ( ) S p .
Karena partisi-partisi tersebut tidak tunggal, maka dapat didefinsikan
Integral Atas Riemann = inf
b
a p
R f S =

Integral Bawah Riemann = sup
b
a
p
R f s =

Karena
( ) ( ) , s p S p p
maka
sup ( ) ( ),
sup ( ) inf ( )
b b
a a
s p S p p
s p S p
R f R f

Sehingga Integral Atas selalu lebih dari atau sama dengan Integral Bawah. Jika,
b b
a a
R f R f =

maka f disebut terintegral Riemann (Riemann Integrable) pada [a, b] dan menyebut nilai integral keduanya
dengan Integral Riemann dari f dan dilambangkan
( )
b
a
R f x dx

untuk membedakannya dengan Integral Lebesgue yang akan kita tinjau kemudian.

Fungsi Tangga
Fungsi tangga adalah fungsi yang didefinisikan oleh
1
( ) , untuk
i i i
x c x
= < <
Dari pendefinisian ini maka,
Bab 4 Integral Lebesgue Compiled by : Khaeroni, S.Si

53
1
1
( ) ( ) ( )
n
b
i i i
a
i
x d x c

=
=

Perhatikan bahwa
( ) ( ) inf ( ) ( )
b b
a a f
R f x d x x d x
=

( ) ( ) sup ( ) ( )
b b
a a
f
R f x d x x d x
=

karena
1
( ) , ( , ) ( )
b
i i i
a
x M x S x dx
= =
dan
1
( ) , ( , ) ( )
b
i i i
a
x m x s x dx
= =

4.2. Integral Fungsi Terbatas
Kita mulai pembahasan pada sub-bab ini dengan mendefinsikan suatu fungsi yang bernilai 1
pada suatu himpunan terukur dan nol selainnya yang terintegralkan dan memiliki integral sama dengan
ukuran dari himpunannya.

Fungsi Karakteristik
Misalkan E himpunan terukur. Didefinisikan fungsi karakterisitik dari E dengan aturan
1
( )
0
E
x E
x
x E

Sedangkan kombinasi linear
1
( ) ( )
i
n
i E
i
x a x
=
=

disebut fungsi sederhana jika himpunan E
i
terukur.

Contoh:
( 0,2) (1,2) ( 2,3)
( ) 1. 2. 2 x = + +
juga dapat ditulis
( 0,1) (1,2) ( 2,3)
( ) 1. 3. 2 x = + +
Jadi, representasi tidak tunggal.

Definisi (Bentuk Kanonik)
Jika adalah fungsi sederhana dan {a
1
, a
2
, . . ., a
n
} adalah himpunan nilainya dengan a
i
0, maka
1
( ) ( )
i
n
i A
i
x a x
=
=

dengan { : ( ) }
i i
A x x a = = disebut representasi bentuk kanonik dari .
Catatan :
1. a
i
semua beda dan a
i
0.
2. A
i
saling lepas
3. Bentuk kanonik dari suatu fungsi sederhana bersifat tunggal

Dari sini
{ } { } : fungsi tangga dan : fungsi sederhana A B A B = =

Definisi (Integral Fungsi Sederhana) :
Jika adalah fungsi sederhana dan mempunyai bentuk kanonik
1
( ) ( )
i
n
i A
i
x a x
=
=

didefinisikan

54
1
( ) ( )
n
i i
i
x dx a m A
=
=

Notasi :

Contoh:
( 0,1) (1,2) ( 2,3)
( ) 1. 3. 2 x = + +
( ) 1. (0, 1) 3. (1, 2) 2. (2, 3)
1.1 3.1 2.1
6
x dx m m m = + +
= + +
=

Lemma berikut ini mengatakan bahwa definisi di atas berlaku juga untuk fungsi sederhana yang
tidak direpresentasikan dalam bentuk kanonik-nya.

Lemma :
Misalkan
1
i
n
i E
i
a
=
=
dengan
i j
E E = untuk i j . Misalkan E
i
terukur dan ( )
i
m E <
i , maka
1
( )
n
i i
i
a m E
=
=

(a
i
tidak harus beda)
Bukti :
Didefinisikan himpunan { } : ( )
a
A x x a = = . Dari pendefinisian ini, diperoleh bahwa
i
a i
a a
A E
=
=

Jadi, semua E
i
yang memiliki nilai yang sama, sebut a, digabung ke dalam himpunan A
a
.
Akibatnya, A
a
saling asing. Sehingga,
( ) ( )
i i
a i i
a a a a
m A m E m E
= =

= =

Dari sini, maka
( ) ( )
( )
( )
( )
a
i
i
i i
A
a a
a
a a
i
a a a a
i i
i
x dx a x
am A
a m E
a m E

=
=
= =
=
=
=
=

Proposisi :
Jika dan adalah dua fungsi sederhana dan , , a b maka
1. a b a b + = +

2. Jika (ae) maka

Bukti :
Diketahui , fungsi sederhana. , . a b Akan dibuktikan a b a b + = +

.
Misalkan representasi kanonik dari kedua fungsi tersebut adalah

55
1
1
i
n
i A
i
a
=
=

dan
2
1
i
n
i B
i
b
=
=

Dengan A
i
dan B
i
saling lepas, a
i
semua berbeda dan b
i
semua berbeda untuk setiap i.
Misalkan
{ } { }
1 2
1 2
1
1 1
( )
n n
n
k i j
i j
E A B n n n
= =
= =
Tuliskan
*
1
k
n
k E
k
a
=
=
dan
*
1
k
n
k E
k
b
=
=

dengan
*
k
a atau
*
k
b mungkin ada yang sama.
Jadi,
( )
( )
* *
1 1
* *
1 1
* *
1
* *
1
* *
1 1
* *
1 1
( )
( ) ( )
( ) ( )
k k
k k
k
n n
k E k E
k k
n n
k E k E
k k
n
k k E
k
n
k k k
k
n n
k k k k
k k
n n
k k k k
k k
a b a a b b
aa ab
aa bb
aa bb m E
aa m E bb m E
a a m E b b m E
a b

= =
= =
=
=
= =
= =
+ = +
= +
= +
= +
= +
= +
= +

Kedua, karena (ae) maka { } : ( ) ( ) 0 m x x x < = . Sehingga integral-nya tidak
diperhitungkan. Jadi, cukup ditinjau untuk . Karena , dengan menggunakan hasil
pada bagian pertama, diperoleh
0 0 0

Akibat :
Jika
1
i
n
i E
i
a
=
=
dengan E
i
tidak saling lepas, maka
1 1
( )
i
n n
i E i i
i i
a a m E
= =
= =

Jadi restriksi Lemma di atas agar E
i
saling lepas tidak lagi diperlukan.

Misalkan E adalah himpunan yang terukur dengan ( ) m E < . Fungsi f adalah fungsi bernilai
real yang terbatas dan terdefinisi pada E. Bandingkan besaran
inf ( )
E f
x dx

dan inf ( )
E f
x dx

dimana dan adalah fungsi sederhana.

56
Proposisi :
Misalkan f adalah fungsi yang terdefinisi dan terbatas pada himpunan terukur E dengan
( ) m E < .
inf ( ) sup ( ) adalah fungsi terukur
E E f
f
x dx x dx f

=

dimana dan adalah fungsi sederhana.
Bukti :

Karena f terbatas maka ada M > 0 sehingga ( ) f x M , x E . Ambil n sebarang.
Didefinisikan , ..., k n n =
1
: ( )
k
k k
E x E M f x M
n n

=

Sebagai ilustrasi, misalkan n = 2. Maka k = 2, . . ., 2 dengan f seperti pada gambar berikut:

Terlihat E
k
terukur (himpunan buka), E
k
saling lepas dan
k
E E =
. Sehingga { }
k
E adalah
partisi.
Misalkan hampiran atas :
n
, dan hampiran bawah :
n
. Pemilihan kedua fungsi ini bergantung
pada n (banyak partisi). Dari sini, didefinisikan:
( ) ( ) ( )
k k
n n
n E E
k n k n
k M
x M x k x
n n

= =
= =

dan
( 1)
( ) ( ) ( 1) ( )
k k
n n
n E E
k n k n
k M
x M x k x
n n

= =
= =

Terlihat ( )
n
x f dan ( )
n
x f .
Karena ( )
n
x f , maka
( ) inf
n
n k
f
k n
M
km E
n

=
=

. . . . . . . . .(1)
Karena ( )
n
x f , maka
( 1) ( ) sup
n
n k
f
k n
M
k m E
n

=
=

. . . . (2)
Karena
sup inf
f
f

maka, dari (1) dan (2) diperoleh:
M
M/2
M/2
M
3M/2
k = 2
k = 1
k = 0
k = 1
k = 2
E
0

E
2
E
1
E
1

2
1
0
1
2
3
: ( )
2
1
: ( )
2
1
: ( ) 0
2
1
: 0 ( )
2
1
: ( )
2
E x E M f x M
E x E M f x M
E x E M f x
E x E f x M
E x E M f x M

=

=

=

=

=


57
( )
sup inf
0 inf sup ( ) ( 1) ( )
( 1) ( )
( )
( )
.
.
,
.
.
.
n n
f
f
n n
n n k k
f
f
k n k n
n
k
k n
n
k
k n
M M
km E k m E
n n
M
k k m E
n
M
m E
n
M
m E n
n

= =
=
=

=
=
=
=

Dengan mengambil limit-nya diperoleh sup inf 0
f
f

=

.

Diketahui sup inf
f
f

=

. Akan dibuktikan f fungsi terukur. Ekuivalen dengan membuktikan
ada fungsi terukur
*
sehingga
*
f = (ae).
Karena sup inf
f
f

=

maka n ada fungsi sederhana
n
dan
n
sehingga:
1)
n n
f
2)
1
n n
n
<

Terlihat
n
naik dan
n
turun. Didefinisikan
*
sup
n
n
= dan
*
inf
n
n
=
Karena ,
n
f n maka
*
sup
n
f =
Karena ,
n
f n maka
*
sup
n
f =
Jadi,
* *
f dengan
*
dan
*
fungsi terukur.
Selanjutnya, akan dibuktikan
{ } ( ) { } ( )
* * * *
: ( ) ( ) : ( ) ( ) 0 m x x x m x x x = < = .
Misal,
{ }
* *
: ( ) ( ) x x x = <
Karena
* *
( ) ( ) x x < maka ada bilangan v sehingga
* *
1
( ) ( ) x x
v
<
Misal
* *
1
: ( ) ( )
v
x x x
v

= <

dan
v
v
=

Terlihat
* * *
1 1
: ( ) ( ) : ( ) ( )
v n n v
x x x x x x
v v

= < < =

dan
( )
* *
*
1 1
v v
n n v
m
v v

> =

Jadi,

58
( )
( )
( )
( )
*
*
*
*
1 1
,
0
0
v
v n n n n
E E
v
v
m
v n
v
m n
n
m
m

< <
<
=
=

Definisi (Integral Fungsi Terbatas) :
Misalkan f adalah fungsi terukur dan terbatas yang terdefinisi pada himpunan E yang terukur
dengan ( ) m E < . Didefinisikan Integral Lebesgue dari f pada E sebagai berikut:
( ) ( ) inf ( )
E E f
f x d x x dx
=

dimana adalah fungsi sederhana. Definisi di atas bisa ditulis ( ) ( ) sup ( )
E E
f
f x d x x dx
=

.

Notasi:
1) ( ) ( )
E E
f x d x f =

2) Jika E = [a, b] maka
b
E a
f f =

3) Jika f adalah fungsi yang terukur dan terbatas serta f bernilai nol di luar himpunan E yang
terukur dengan ( ) m E < , maka
E
f f =

4)
E
E
f f =

Hubungan antara Integral yang didefinisikan di atas dengan Integral Riemann yang didefinisikan
sebelumnya diberikan dalam proposisi berikut:

Proposisi :
Misalkan f adalah fungsi terbatas yang terdefinisi pada [a, b]. Jika f terintegralkan Riemann pada
[a, b] maka f terukur dan
( ) ( ) ( ) ( )
b b
a a
R f x d x f x d x =

Bukti :
Misalkan
A = koleksi fungsi tangga
B = koleksi fungsi sederhana
Karena f terintegral(kan) Riemann, maka
sup inf
b b
a a A
A
f
f
R f R f
= = =

Karena A B maka,
inf inf
sup sup
A B
A B

Jadi,
sup sup inf inf
b b
a a B A
A B
f f
f f
R f R f

= =

Kesimpulan:

59
sup inf
B
B
f
f

=

, menurut proposisi sebelumnya f terukur
dan,
sup
b b
a a
B
f
f R f
= =

Sifat Integral Fungsi Terukur dan Terbatas
Sifat-sifat fungsi terukur dan terbatas diberikan dalam 3 proposisi berikut:

Proposisi :
Misalkan f dan g adalah fungsi terukur, terbatas dan terdefinisi pada himpunan terukur E dengan
( ) m E < , maka:
1. ( )
E E E
af bg a f b g + = +

2. Jika f = g (ae) maka
E E
f g =

3. Jika f g (ae) maka
E E
f g

dan akibatnya
E E
f f

4. Jika ( ) A f x B (ae) maka ( ) ( )
E
Am E f Bm E

5. Jika A dan B adalah himpunan terukur dan A B = , dengan ( ), ( ) m A m B < maka
A B A B
f f f
= +

Bukti :
1. Akan dibuktikan bahwa:
i)
E E
af a f =

ii)
E E E
f g f g + = +

Pertama, inf
E f
f
=

dengan fungsi sederhana.
Jika a > 0 maka
inf inf inf
E E a af a af f
af a a a a f

= = = =

Jika a < 0 maka
inf inf sup
E E a af f
f
af a a a a f

= = = =

Kedua, misalkan
A = {, fungsi sederhana : f dan g}
B = { fungsi sederhana : f + g }
Diambil , A sehingga f g + + . Menggunakan sifat infimum dan sifat integral
fungsi sederhana diperoleh
inf inf inf
E E E f g f f
B A A
f g f g

+

+ = + = + + = +

(*)
Kemudian, misalkan
C = {, fungsi sederhana : f dan g}
D = { fungsi sederhana : f + g }
Diambil , C sehingga f g + + . Menggunakan sifat supremum dan sifat integral
fungsi sederhana diperoleh
sup sup sup
E E E
f g f f
D C C
f g f g

+

+ = + = + + = +

(**)

60
Dari (*) dan (**) diperoleh
E E E
f g f g + = +

Dari hasil pertama dan kedua ini, diperoleh
E E E E E
af bg af bg a f b g + = + = +

2. Karena f = g (ae) maka f g = 0 (ae)
Misalkan fungsi sederhana dengan f g. Karena f g = 0 (ae) maka 0 (ae).
Karena 0, maka 0
. Oleh karena itu,

inf 0
E f g
f g

=

Kemudian, misalkan fungsi sederhana dengan f g. Karena f g = 0, maka 0 (ae).
Karena 0 maka 0
. Oleh karena itu,

sup 0
E
f g
f g

=

Dari sini maka,
0
E
f g =

Dengan menggunakan hasil pada bagian 1, diperoleh
0 0
E E E E E
f g f g f g = = =

3. Diketahui f g (ae) maka 0 f g (ae).
Misalkan fungsi sederhana dengan 0 f g maka 0 . Karena 0 maka
0
E

. Menurut definisi
sup
E E
f g
f g

=

Karena 0
E

maka begitu juga dengan supremum-nya dan dengan menggunakan hasil

pada bagian 1, diperoleh
0 0
E E E E E
f g f g f g

Kemudian, akan dibuktikan bahwa
E E
f f

atau ekuivalen dengan menunjukkan
E E E
f f f

Dari kenyataan bahwa
f f dan f f
maka menurut hasil sebelumnya dan bukti pada bagian 1 diperoleh
E E
f f

dan
E E E E
f f f f

4. Karena ( ) A f x B maka menurut bukti pada bagian 3, diperoleh
( ) 1 ( ) 1 ( ) ( ) ( )
E E E E E E E
A f x B A f x B Am E f x Bm E

5. Pertama, dibuktikan bahwa jika A B = maka
A B A B

= +
1
( )
0
A B
x A B
x
x A B

Kasus I: Untuk x A B maka ( ) 1
A B
x

= . Karena x A B maka x A atau x B
Diketahui A B = , sehingga jika x A maka x B . Akibatnya:
( ) ( ) 1 0 1 ( )
A B A B
x x x

+ = + = =
Sebaliknya, jika x A maka x B . Akibatnya:

61
( ) ( ) 0 1 1 ( )
A B A B
x x x

+ = + = =
Kasus II : Untuk x A B maka ( ) 0
A B
x

= .
Karena x A B maka x A dan x B . Akibatnya:
( ) ( ) 0 0 0 ( )
A B A B
x x x

+ = + = =
Jadi terbukti
A B A B

= + . Selanjutnya, diperhatikan bahwa:

( )
.
.
A B
A B
A B
A B
f f
f
f f
=
= +
= +

Dengan menggunakan hasil pada bagian 1, diperoleh
A B
A B
A B
f f f
f f

= +
= +

Proposisi (Teorema Kekonvergenan Terbatas) :
Misalkan { }
n
f adalah barisan fungsi terukur yang terdefinisi pada himpunan terukur E, dengan
( ) m E < . Misalkan terdapat M sehingga ( ) , dan .
n
f x M n x Jika ( ) lim ( )
n
n
f x f x
= ,
, x E maka
lim
n
E E n
f f
=

Bukti :
Diambil 0 > sebarang.
Menurut prinsip Littlewood, untuk
1
0
2 ( ) m E
< dan 0
4M
< terdapat himpunan terukur

A E dan N sehingga
1. ( ) m A <
2.
1
( ) ( ) , ,
c
n
f x f x n N x A <
Dari sini, maka
,
..........................................(1)
c
n n
E E E
c
n
E
n n
A A
f f f f
f f E A A
f f f f
=
=
= +

Karena ( ) lim ( )
n
n
f x f x
= dan ( ) , dan
n
f x M n x maka ( ) f x M . Sehingga n
berlaku,
2 .....................................................(2)
n n
f f f f M M M + + =
Jadi, dari (1), (2), 1, dan 2 untuk setiap n N berlaku
1 1 1
2 2 . ( ) . ( ) 2 . ( )
2 ( )
4 2 ( ) 2 2
c
c
n
E E A A
f f M M m A m A M m E
M m E
M m E

+ = + < +
< + = + =

Proposisi :
Fungsi f terbatas pada [a, b], terintegral Riemann { } ( )
: titik diskontinu 0 m x x f =


62
4.3. Integral Fungsi Tak Negatif

Definisi (Integral Fungsi tak Negatif) :
Misalkan f fungsi terukur tak negatif yang terdefinisi pada himpunan terukur E. Didefinisikan
sup
E E
h f
f h
=

dengan h fungsi terukur dan terbatas sehingga { } ( )
: ( ) 0 m x h x < .

Sifat Integral Fungsi tak Negatif
Sifat-sifat integral fungsi tak negatif diberikan dalam proposisi-proposisi dan lemma berikut:

Proposisi :
Misalkan f dan g adalah fungsi terukur tak negatif, maka
1. , 0
E E
cf c f c = >

2.
E E E
f g f g + = +

E E
f g

Bukti :
1. Misalkan h fungsi terukur dan terbatas sehingga { } ( )
: ( ) 0 m x h x < . Menurut definisi,
sup sup sup
E E E E E
ch cf h f h f
cf ch c h c h c f

= = = =

2. Diambil h dan k fungsi terukur dan terbatas sehingga h f dan k g . Dari sini diperoleh
h k f g + + dan h + k juga merupakan fungsi terukur dan terbatas pada E. Sehingga,
sup
sup sup
E E E
h k f g
E E E E E
h f k g
E E E
h k h k f g
h k h k f g
f g f g
+ +

+ + = +
+ + +
+ +

Selanjutnya, diambil l fungsi terukur dan terbatas pada E dengan { } ( )
: ( ) 0 m x l x < dan
l f g +
Didefinisikan fungsi h dan k dengan aturan
min( , ) h f l = dan k l h =
Diperoleh, h f dan h l . Karena l terukur dan terbatas dan h l maka h terukur dan
terbatas.
Untuk x E sebarang.
Jika ( ) ( ) f x l x maka ( ) ( ) h x f x = . Jadi,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) k x l x h x l x f x f x g x f x g x = = +
Jika ( ) ( ) f x l x > maka ( ) ( ) h x l x = . Jadi,
( ) ( ) ( ) ( ) ( ) 0 ( ) k x l x h x l x l x g x = = =
Sehingga k fungsi terukur dan terbatas. Akibatnya
sup sup
E E E E E E E E
h f k g
l h k h k h k f g

= + = + + = +

dan
sup
E E E E E E E
l f g
l l f g f g f g
+
+ + +


63
Dari sini maka
E E E
f g f g + = +

3. Misal
{ } : A h h f = , h fungsi terukur dan terbatas
{ } : B h h g =
Karena
h A h f g h g h B
maka A B .
Oleh karena itu,
sup sup
E E E E
h f h f
h A h B
f h g h

= =

Jadi,
E E
f g

Lemma Fatou :
Misalkan {f
n
} adalah barisan fungsi terukur tak negatif dan lim ( ) ( )
n
n
f x f x
= hampir dimana-
mana di E, maka
lim
n
E E
f f

Bukti :
Diambil h, fungsi terukur dan terbatas pada E sebarang sehingga . h f
( ), ( ) ( )
( )
( ), ( ) ( )
n
n
n n
h x f x h x
h x
f x f x h x
=

<

Dari definisi ini, karena h dan f
n
terukur n maka h
n
terukur n. Juga diperoleh bahwa
,
n
h h n ,
n
h f n dan lim
n
n
h h
=
Karena h
n
terbatas oleh h, maka h
n
terbatas seragam. Karena h
n
terbatas seragam oleh h, dan
lim
n
n
h h
= pada E maka (Teorema Kekonvergenan Terbatas)

lim lim
n n
E E E n n
h h h

= =

Karena ,
n n
h f n maka ,
n n
E E
h f n

. Dari sini, , lim lim lim
n n n
E E E E n
n h h h f
= =

Sehingga,
sup lim lim
n n
E E E E
h f
f h h f
= =

Teorema (Kekonvergenan Monoton):
Misalkan {f
n
} barisan fungsi terukur tak negatif yang monoton naik dan lim ( ) ( )
n
n
f x f x
= (a.e)
maka
lim
n
f f =

Bukti :
Diketahui {f
n
} barisan fungsi terukur, 0,
n
f n ,
n
f f pada E. Akan dibuktikan
lim
n
f f =

.
Menggunakan Lemma Fatou diperoleh
lim
n
f f


64
Karena lim lim
n n
f f

, maka cukup dibuktikan lim
n
f f

Karena ,
n
f f n maka
lim
n n
f f f f

Akibat :
Misalkan {u
n
} barisan fungsi terukur tak negatif. Misalkan
1
n
n
f u
=
=

maka
1
n
n
f u
=
=

Bukti :
Didefinisikan
1
n
n i
i
f u
=
=

Terlihat {f
n
} barisan naik monoton tak negatif. Dari sini maka,
1 1
lim lim
n
n i i
n n
i i
f u u f

= =
= = =

Jadi, lim
n
n
f f
= . Berlaku teorema kekonvergenan monoton:

1 1 1
lim lim lim lim
n n
n n i i i
n n n n
i i i
f f f u u u

= = =
= = = = =

Proposisi :
Misalkan f fungsi tak negatif dan <E
i
> barisan himpunan terukur yang saling asing. Misalkan
i
E E =
. Maka
i
E E
f f =

Bukti :
Diambil
.
i
i E
u f =
maka
.
i E
u f =

Dengan menggunakan hasil pada akibat di atas, diperoleh
1 1
. .
i
i
E E
E E
i i
f f f f

= =
= = =

Definisi :
Fungsi terukur tak negatif f disebut terintegralkan pada himpunan terukur E jika
E
f <
.

Sifat-sifat fungsi terintegralkan diberikan pada dua proposisi berikut

Proposisi :
Misalkan f dan g dua fungsi terukur tak negatif. Jika f terintegralkan pada himpunan E dan
( ) ( ) g x f x < pada E, maka g juga terintegralkan pada E, dan

65
E E E
f g f g =

Bukti :
Diketahui f terintegralkan maka
( )
E E E E
f f g g f g g = + = + <

Jadi,
E
f g <
. Akibatnya,
E
g <
, yang berarti g terintegralkan pada E.

Juga,
E E E E E E
f f g g f g f g = + =

Proposisi :
Misalkan f adalah fungsi tak negatif yang terintegralkan pada E. Maka untuk sebarang 0 > ,
terdapat 0 > sehingga untuk setiap A E dengan ( ) m A < berlaku
A
f <

Bukti :
Diambil sebarang 0 > .
Jika f terbatas dan 0 f maka ada M > 0 sehingga f M .
Pilih 0 > dengan
M
< sehingga untuk setiap A E dengan ( ) m A < berlaku

. ( )
M
A A
f M M m A M M

= < < <

.
Jika f tidak terbatas.
Didefinisikan
min( , ),
n
f f n n =
Dengan pendefinisian ini diperoleh bahwa f
n
naik dan konvergen ke f, ,
n
f n n , selain
itu 0
n
f dan 0 f . Dari sini maka, (teorema kekonvergenan monoton)
lim
n
E E n
f f
=

Karena lim
n
E E n
f f
=

maka untuk 0 > di atas, ada N sehingga untuk n N berlaku:
2 n
E E
f f

<

.
Jika diambil n = N,
2 2 N N N
A A A A A A
f f f f f f

= < <

Diambil
2
0
N
< < sehingga A E dengan ( ) , m A < maka

2
2
2 2
2 2
( terbatas oleh )
< . ( )
.
N N
A A
N N
A A
A
N
f f f f
f f f
N N
N m A
N

= +
= +
< +
+
< +
< + =

Contoh Soal (Problem 4.6)
Misalkan <f
n
> adalah barisan fungsi terukur yang tak negatif yang konvergen ke f, dan misalkan
f
n
f untuk setiap bilangan asli n. Buktikan bahwa
lim
n
f f =


66
Jawab :
Diambil <f
n
> barisan fungsi terukur dan tak negatif yang konvergen ke f dan untuk setiap
bilangan asli n, berlaku f
n
f.
Dengan menggunakan lemma Fatou diperoleh
lim lim
n n
f f f

(1)
Karena f
n
tak negatif, dan f
n
f maka f tak negatif. Karena lim
n
n
f f
= dan f
n
terukur untuk
setiap n, maka f terukur. Akibatnya, dengan menggunakan proposisi 8, karena f
n
f maka
n
f f

Sehingga dengan mengambil limit superiornya diperoleh
lim lim
n
f f f

(2)
Dari (1) dan (2) disimpulkan
lim lim lim lim
n n n n
f f f f f

Akibatnya
lim lim
n n
f f f = =

Jadi,
lim
n
f f =

4.4. Integral Lebesgue (General Integral Lebesgue)

Misalkan f suatu fungsi bernilai real. Didefinisikan
( ) max(0, ( )) f x f x
+
=
dan
( ) max(0, ( )) f x f x
=
Maka, , 0 f f
+
, f f f
+
= , dan f f f
+
= + . Sehingga diperoleh
| |
2
f f
f
+
+
= dan
| |
2
f f
f

= .
Jika f fungsi terukur maka f
+
dan f
juga terukur.

Definisi :
Fungsi terukur f disebut terintegralkan pada E jika f
+
dan f
terintegralkan pada E dan

didefinisikan
E E E
f f f
+
=

Perlu dicatat bahwa, fungsi f terukur dan terintegralkan jika dan hanya jika f
+
dan f

terintegralkan. Jadi f terintegralkan jika dan hanya jika
E
f
+
<
dan
E
f

<
.

Sifat-sifat Integral Lebesgue diberikan pada proposisi dan teorema-teorema berikut:

Proposisi :
Misalkan f dan g adalah fungsi terintegralkan pada E, maka:
1. Fungsi cf terintegralkan pada E untuk setiap bilangan real c dan
E E
cf c f =

2. Fungsi f + g terintegralkan pada E dan
E E E
f g f g + = +

E E
f g


67
4. Jika A dan B adalah himpunan terukur dan A B = , dengan , A B E maka
A B A B
f f f
= +

Bukti :
1. Jika c > 0 maka
( ) max(0, ) . max(0, )
( ) max(0, ) . max(0, )
cf cf c f cf
cf cf c f cf
+ +

= = =
= = =

Menurut definisi
( ) ( ) cf cf cf
+
= .
Jadi
( )
( ) ( )
E E E E E E E E E E
cf cf cf cf cf c f c f c f f c f
+ + + +
= = = = =

Jika c < 0 maka
( ) max(0, ) . max(0, )
( ) max(0, ) . max(0, )
cf cf c f cf
cf cf c f cf
+
+
= = =
= = =

Menurut definisi
( )
( ) ( )
E E E E E E E E E E
cf cf cf cf cf c f c f c f f c f
+ + + +
= = = + = =

Karena f terintegralkan, maka
E
f <
. Akibatnya
E E
cf c f = <

yang berarti cf terintegralkan
2. Menurut definisi
( ) ( )
E E E
f g f g f g
+
+ = + + +

Pada dasarnya ( ) f g f g
+ + +
+ + . Sehingga perlu menggunakan bantuan bukti yang lain.
Misalkan
1 2
f f f = dengan
1 2
, 0 f f maka
1 2
1 2
2 1
2 1
2 1
1 2
1 2
E E
E E E E
E E E E
E E E
f f f
f f f f
f f f f
f f f f
f f f f
f f f f
f f f
+
+
+
+
+
=
=
+ = +
+ = +
+ = +
=
=

Jadi,
( ) ( )
( ) ( )
( ) ( )
E E
E
E E
E E E E
E E E E
E E
f g f f g g
f g f g
f g f g
f g f g
f f g g
f g
+ +
+ +
+ +
+ +
+ +
+ = +
= + +
= + +
= +
= +
= + <


68
Jadi f + g terintegralkan.
3. Karena f g maka 0 g f . Dengan menggunakan hasil pada 2) diperoleh
0
E E E E E
g f g f g f =

4. Karena A B = maka
A B A B

= + . Jadi,
. . .
A B A B
A B A B
f f f f f f
= = + = +

Teorema (Teorema Kekonvergenan Lebesgue) :
Misalkan g fungsi terintegralkan pada E dan <f
n
> barisan fungsi terukur sedemikian sehingga
n
f g pada E n dan lim ( ) ( )
n
n
f x f x
= (ae) di E. Maka
lim
n
E E
f f =

Bukti :
Karena
n
f g pada E n maka 0 g dan
n
g f g . Jadi, 0
n
g f dan 0
n
f g +
i) 0
n
g f , n
lim lim
n n
n n
g f g f g f

= =
Lemma Fatou
lim lim lim
n n n
E E E E E E E E
f g f g g f g f g f = = =

Jadi,
lim lim
n n
E E E E
f f f f

.. (*)
ii) 0
n
f g + , n
lim lim
n n
n n
f g f g f g

+ = + = +
Lemma Fatou
lim lim
n n
E E E E E E
f g f g f g f g + = + + = +

Jadi,
lim
n
E E
f f

.. (**)
Dari (*), (**), dan
lim lim
n n
E E
f f

diperoleh
lim lim lim lim
n n n n
E E E E E
f f f f f

Jadi,
lim lim lim
n n n
E E E E
f f f f = = =

Teorema di atas mensyaratkan bahwa barisan <f
n
> didominasi oleh fungsi tetap g yang
terintegralkan. Ternyata, dari pembuktian di atas syarat ini tidak begitu diperlukan. Jika kita mengganti
setiap g pada bukti di atas dengan g
n
maka kita mendapatkan perumuman dari Teorema Kekonvergenan
Lebesgue sebagai berikut:

Teorema (General Lebesgue Convergence Theorem):
Misalkan <g
n
> barisan fungsi terintegralkan yang konvergen ke fungsi terintegralkan g hampir
dimana-mana. Misalkan <f
n
> barisan fungsi terukur sedemikian sehingga |f
n
| g
n
untuk setiap n
dan <f
n
> konvergen ke f hampir di mana-mana. Jika
lim
n
g g =

maka

69
lim
n
f f =

Karena |f
n
| g
n
untuk setiap n maka g
n
f
n
g
n
untuk setiap n. Dari sini untuk setiap n berlaku:
(i) g
n
+ f
n
0, dan
(ii) g
n
f
n
0.
Jelas g
n
+ f
n
dan g
n
f
n
terukur dan
( ) lim lim lim
n n n n
n n n
g f g f g f

= =
Dengan menggunakan Lemma Fatou dan sifat-sifat limit superior dan inferior diperoleh
( ) lim ( )
( ) lim ( ) lim lim lim
lim
n n
n n n n n
n
g f g f
g f g f g f g f g f
f f
+ +
+ = + + + = +

dan
( ) lim ( )
( ) lim ( ) lim lim ( ) lim
lim lim
n n
n n n n n
n n
g f g f
g f g f g f g f g f
f f f f

= + =

Dari sini diperoleh,
lim lim
n n
f f f

dan lim lim
n n
f f f

Sehingga,
lim lim lim lim
n n n n
f f f f f

Akibatnya,
lim lim lim
n n n
f f f f = = =

Contoh Soal (Problem 4.10)
Tunjukkan bahwa jika f terintegralkan pada E, maka |f| juga terintegralkan dan
E E
f f

Apakah juga berlaku sebaliknya?
Jawab :
Karena f terintegralkan, maka f
+
dan f
juga terintegralkan. Akibatnya |f| = f

+
+ f
terintegralkan
pada E dan
E E E E E E E E E E
f f f f f f f f f f f f
+ + + + +
= = + = + = + =

Bagaimana dengan sebaliknya?
Jika |f| terintegralkan pada E, maka | |
E E
f f
+
<

dan | |
E E
f f
<

. Sehingga f
+

dan f
juga terintegralkan pada E. Akibatnya f = f

+
f
terintegralkan.
Cara lain :
terintegralkan dan terintegralkan f f f
+

Dari definisi,
max(0, ) f f f f f
+
+
= = = +

70
dan
max(0, ) 0 f f
= =
maka,
E E E E
f f f f f
+
+ +
= + = + <

dan,
0 0
E E
f

= = <

Jadi, dan terintegralkan. f f
+

Bab 5

Turunan dan Integral

Pada bagian ini kita memandang turunan sebagai invers dari integral. Secara sederhana, kita
perlu menjawab beberapa pertanyaan berikut:
Kapankah
'( ) ( ) ( )
b
a
f x dx f b f a =
?
Kapankan
( ) ( )
x
a
d
f y dy f x
dx
=
?
Dari teori integral Riemann telah diketahui bahwa hubungan kedua akan dipenuhi jika f kontinu
di x. Kita perlu menunjukkan bahwa hubungan ini secara umum dipenuhi hampir dimana-mana.
Sehingga turunan merupakan invers/kebalikan dari integral. Pertanyaan pertama, jauh lebih sulit
walaupun menggunakan Integral Lebesgue, dan bernilai benar hanya untuk beberapa kelas fungsi.
Pada Integral Riemann, turunan suatu fungsi di titik tertentu merupakan kemiringan (gradien)
garis singgung di titik tersebut. Perhatikan ilustrasi berikut:

Untuk garis l,
( ) ( )
l
f a h f a
m
h
+
= ;
garis singgung di
0
( ) ( )
lim
a
h
f a h f a
m
h
+
=
Untuk garis k,
( ) ( )
k
f a f a h
m
h

= ;
garis singgung di
0
( ) ( )
lim
a
h
f a f a h
m
h

=

5.1. Turunan Fungsi Monoton
Misalkan = {I
1
, . . .} adalah koleksi interval-interval. Koleksi disebut selimut Vitali untuk E
jika untuk setiap 0 > dan apapun x E , terdapat interval I sedemikian sehingga x I dan
( ) l I < . Interval-interval ini mungkin buka, tutup, atau setengah tutup. Yang jelas, interval tersebut
tidak boleh hanya terdiri dari satu titik.

Lemma Vitali :
Jika adalah selimut Vitali untuk E dengan *( ) m E < maka untuk setiap 0 > ada koleksi
berhingga interval di yang saling lepas {I
1
, I
2
, . . ., I
N
} sehingga
1
* ~
N
n
n
m E I
=

<

ah a a+h
f(a)
f(a+h) f(ah)
l
k
Bab 5 Turunan dan Integral Compiled by : Khaeroni, S.Si

72
Bukti:
(see Real Analysis, H.L. Royden, 3
rd
ed, page 9899)

Dari Lemma di atas,
1 1 1
* ~ *( ) * * *( )
N N N
n n n
n n n
m E I m E m I m I m E
= = =

< < >

Selanjutnya, dalam tujuan kita membahas mengenai turunan (derivatif) dari suatu fungsi f, kita
perlu mendefinisikan 4 macam turunan dari fungsi f di x sebagai berikut:
0
( ) ( )
( ) lim
h
f x h f x
D f x
h
+
+
+
=
0
( ) ( )
( ) lim
h
f x h f x
D f x
h
+
+
+
=
0
( ) ( )
( ) lim
h
f x f x h
D f x
h
+

=
0
( ) ( )
( ) lim
h
f x f x h
D f x
h
+

=
Dari pendefinisian di atas, jelas bahwa ( ) ( ) D f x D f x
+
+
dan ( ) ( ) D f x D f x
. Jika
( ) ( ) ( ) ( ) D f x D f x D f x D f x
+
+
= = = maka f dikatakan terturunkan (differentiable) di x dan kita
menuliskan f(x) sebagai nilai turunan f di titik x. Jika ( ) ( ) D f x D f x
+
+
= maka f dikatakan memiliki
turunan kanan (right-hand derivates) di x dan menuliskan f
+
(x) sebagai nilai turunan kanan f di x.
Demikian juga untuk yang lain, dituliskan f
(x) sebagai nilai turunan kiri f di x.

Proposisi :
Jika f kontinu pada [a, b] dan salah satu turunannya tak negatif pada (a, b) maka f adalah fungsi
tak turun pada [a, b]
Bukti :
Misalkan f kontinu pada [a, b] dan salah satu turunannya, katakan ( ) 0, ( , ) D f x x a b
+
.
Dari definisi,
0
0 0
( ) ( ) ( ) ( )
( ) lim sup inf
h
h
f x h f x f x h f x
D f x
h h
+
+
< <
>
+ +
= =
Karena ( ) 0, ( , ) D f x x a b
+
maka
0
( ) ( )
inf 0
h
f x h f x
h
< <
+

Karena h > 0, maka haruslah
( ) ( ) 0
( ) ( )
f x h f x
f x h f x
+
+

Jadi, untuk setiap x x + h berlaku
( ) ( ) f x f x h +
Bukti lain:
Misalkan f kontinu pada [a, b] dan salah satu turunannya, katakan ( ) 0, ( , ) D f x x a b
+
.
Diambil sebarang ( , ) x a b . Dari definisi,
0
( ) ( )
( ) lim 0
h
f x h f x
D f x
h
+
+
+
=
Diambil y = x + h, diperoleh h y x = dan jika 0 h
+
maka 0 y x y x > > . Maka,
0
( ) ( )
inf sup 0
x y x
f y f x
y x

>
< < +


73
Jadi, untuk setiap 0 > ada x y x < < + sehingga
( ) ( )
0 ( ) ( ) 0 ( ) ( )
f y f x
f y f x f x f y
y x

Contoh Soal (Problem 5.1) :
Misalkan f fungsi yang didefinisikan dengan f(0) = 0 dan f(x) = x sin(1/x) untuk x 0.
Tentukan D
+
f(0), D
+
f(0), D
f(0), D
f(0)
Jawab :
Pertama, perlu ditunjukkan bahwa limit-nya ada. Digunakan prinsip apit:
0 , 0 x x
+

( )
( )
1
1
1 sin 1
.sin
x
x
x x x

Karena
0
lim( ) 0
x
x
+
= dan
0
lim 0
x
x
+
= maka ( )
1
0
lim .sin 0
x
x
x
+
= .
0 , 0 x x

( )
( )
1
1
1 sin 1
.sin
x
x
x x x

Karena
0
lim( ) 0
x
x
= dan
0
lim 0
x
x
= maka ( )
1
0
lim . sin 0
x
x
x
= .
Jadi,
( ) ( ) ( )
1 1 1
0 0 0
lim .sin lim .sin lim .sin (0) 0
x x x
x x x
x x x f
+

= = = =
Selanjutnya, diambil sembarang 0 > .
1 1
0 h
h
< < >

Maka
1
sup sin 1
h

=

. Akibatnya
1
inf sup sin 1
h

=

. Dari hasil ini diperoleh,
( )
1
1
0 0 0
. sin( ) (0 ) (0)
(0) lim lim lim sin 1
h
h
h h h
h f h f
D f
h h
+ + +
+

+
= = = =
( )
1
1
0 0 0
.sin( ) (0 ) (0)
h
h
h h h
h f h f
D f
h h
+ + +
+

+
= = = =
( )
1
1
0 0 0
.sin( ) (0) (0 )
h
h
h h h
h f f h
D f
h h
+ + +

= = = =
( )
1
1
0 0 0
.sin( ) (0) (0 )
h
h
h h h
h f f h
D f
h h
+ + +

= = = =

Contoh Soal (Problem 5.2) :
a. Tunjukkan bahwa D
+
[f(x)] = D
+
f(x)
b. Jika g(x) = f(x), maka D
+
g(x) = D
f(x)
Jawab :
a. [ ]
[ ] [ ]
0
( ) ( )
( ) lim
h
f x h f x
D f x
h
+
+
+
=
[ ]
0
0
( ) ( ) ( ) ( )
lim li ( ( ) m )
h
h
f x h f x f x h f x
D f x
h h
D f x
+
+
+

+
+ +

= = =

b.
0
( ) ( )
( ) lim
h
g x h g x
D g x
h
+
+
+
=

74
0 0
0
( ) ( ) ( )
(
( ) ( ) ( )
lim lim lim
( )
)
h h
h
f x h f x f x f x h f x f x h
h h h
D
D f x
f x
+ +
+

+

= = =
=

Teorema :
Jika f fungsi naik dan bernilai real pada [a, b] maka f terturunkan hampir di mana-mana dan
'( ) ( ) ( ) ( )
b
a
f x d x f b f a

Bukti :
(Buktinya ada 10 kasus)
Pertama, akan dibuktikan bahwa ( ) ( ) ( ) ( ) D f x D f x D f x D f x
+
+
= = = . Akan dibuktikan
untuk satu kasus, misalkan ( ) ( ) D f x D f x
+
= hampir dimana-mana. Hal ini ekuivalen dengan

membuktikan
{ } ( )
* : ( ) ( ) 0 m x D f x D f x
+
> = . Misalkan
{ }
[ , ] : ( ) ( ) E x a b D f x D f x
+
= >
Dengan menggunakan aksioma Archimedes, E dapat ditulis sebagai
{ }
,
[ , ] : ( ) ( )
u v
E x a b D f x u v D f x
+
= > > >

Misalkan, untuk suatu u, v
{ }
,
[ , ] : ( ) ( )
u v
E x a b D f x u v D f x
+
= > > >

maka,
,
,
u v
u v
E E

Jadi, cukup dibuktikan
( )
,
* 0
u v
m E s = = . Dari ( ) ( ) D f x u v D f x
+
> > > ditinjau kasus berikut

i)
,
( )
u v
x E D f x v
<
0
( ) ( )
lim
h
f x f x h
v
h
+

<
Karena supremum, maka ada h cukup kecil sehingga pada [x h, h] berlaku
( ) ( )
( ) ( )
f x f x h
v f x f x h vh
h

< < . (1)
Karena
( )
,
*
u v
m E < maka ada himpunan terbuka O sehingga
, u v
E O dan
*( ) m O s < +
Karena
( )
,
*
u v
m E < maka menurut Lemma Vitali, ada koleksi berhingga interval {I
1
, I
2
,
, I
N
} yang saling lepas dan
, u v
A E sehingga
a)
n
A I

b) *( ) m A s >
Misalkan [ ] , , 1, 2, ...,
n n n n
I x h x n N = =
Dari (1), ( ) ( )
n n n n
f x f x h vh < . Sehingga
1 1 1
( ) ( )
N N N
n n n n n
n n n
f x f x h vh v h
= = =
< =

Karena
n
I O
maka
( )
( ) ( )
n n n
m I l I h m O = <

. Jadi,
1
( ) ( ) ( ) ( )
N
n n n
n
f x f x h vm O v s
=
< < +
(2)


75
ii) ( ) x A D f x u
+
>
0
( ) ( )
lim
h
f x h f x
u
h
+
+
>
Karena infimum, maka ada h cukup kecil sehingga pada [x, x + h] berlaku
( ) ( )
( ) ( )
f x h f x
u f x h f x uh
h
+
> + > . (3)
Karena ( ) * m A < maka menurut Lemma Vitali, ada koleksi berhingga interval {J
1
, J
2
, ,
J
M
} yang saling lepas dan B A sehingga
a)
1
M
i
i
B J
=

b) *( ) 2 m B s >
c) Karena untuk suatu untuk suatu
i n
x B x J i x A x I n maka
i n
J I
Misalkan [ ] , , 1, 2, ...,
n n n n
J y y k n M = + =
Dari (3), ( ) ( )
n n n n
f y k f y uk + > . Sehingga
1 1 1
( ) ( ) ( 2 )
M M M
n n n n n
n n n
f y k f y uk v k u s
= = =
+ > = >

(4)
Sekarang, misalkan
1 2 3 1
, , J J J I

Jadi,
1
1
( 2 ) ( ) ( )
( ) ( )
( ), 0
M
n n n
n
N
n n n
n
u s f y k f y
f x f x h
v s

=
=
< +

+ >

Maka,
1 1
( 2 ) ( ),
( ) 0
n n
u s v s n
us vs
u v s
+

Karena u v > 0, maka s 0. Padahal s 0. Jadi haruslah s = 0.

Kedua, akan dibuktikan bahwa '( ) ( ) ( ) ( )
b
a
f x d x f b f a
.
Misalkan
0
( ) ( )
( ) lim '( )
h
f x h f x
g x f x
h
+
= = terdefinisi (ae)
Didefinisikan
J
1
J
2
J
3

x
1
h
1
y
2
y
3
y
4
x
1
f(x
1
) f(x
1
+h
1
)
I
1


76
1
1
( ) ( )
( )
n
n
n
f x f x
g x
+
= dan ( ) ( ) f x f b = untuk x > b
Jadi, lim
n
n
g g
= (ae) dan karena f fungsi naik maka g

n
0. Lemma Fatou,
( )
( )
( )
( )
1
1
1 1
1 1
1 1
1
1
' lim lim ( ) ( )
lim ( ) ( )
lim ( ) ( )
lim ( )
.
.
.
.
.
( ) ( ) ( )
lim ( ) ( )
n
n
n n
n n
n n
b b b b
n n
a a a a n n
b b
n
a a n
b b
a a n
b b a b
a b a a n
b a
b a n
f g g n f x f x
n f x f x
n f x f x
n f x f x f x f x
n f x f x

+
+
+ +
+ +
+ +
= = +
= +
=
= +
=

Karena f fungsi naik, maka
1
[ , ]
n
x a a + berlaku ( ) ( ) ( ) ( ) f a f x f x f a . Akibatnya
( )
( )
1 1
1 1
' lim ( ) ( ) lim ( ).( ) ( ).( ) ( ) ( )
n n
b b a
n n
a b a n n
f n f b f a n f b b b f a a a f b f a
+ +

= + + =

5.2. Fungsi Bervariasi Terbatas
Misalkan f fungsi bernilai real yang didefinisikan pada interval [a, b] dan misalkan a = x
0
< x
1
< .
. . < x
k
= b merupakan sebarang partisi dari [a, b]. Didefinisikan
[ ]
1
1
( ) ( )
k
i i
i
p f x f x
+
=
=

[ ]
1
1
( ) ( )
k
i i
i
n f x f x

=
=

1
1
( ) ( )
k
i i
i
t p n f x f x

=
= + =

dimana max(0, ) r r
+
= , max(0, ) r r
= , dan | | r r r
+
= + . Dari pendefinisian ini diperoleh,
[ ] [ ]
1 1
1 1
1
1
0
( ) ( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
k k
i i i i
i i
k
i i
i
k
p n f x f x f x f x
f x f x
f x f x
f b f a
+

= =
=
=
=
=
=

Kemudian, didefinisikan
P = sup p,
N = sup n,
T = sup t,
yaitu mengambil supremum dari semua partisi-partisi yang mungkin pada [a, b].
Karena,
[ ]
1 1
1 1
( ) ( ) ( ) ( )
k k
i i i i
i i
p f x f x f x f x t
+

= =
= =

maka,
sup sup sup( ) sup sup p t n p p n = + +
Akibatnya
P T P N +
P, N, dan T masing-masing disebut positif, negatif, dan variasi total dari f pada [a, b]. Variasi total dari f

77
pada [a, b] ditulis ( )
b
a
T f atau
b
a
T .

Contoh :
Jika f fungsi terukur dan naik monoton pada [a, b], maka
[ ]
1 1 1 0 1
1 1
( ) ( ) ( ) ( ) ( ) ( )... ( ) ( ) ( ) ( )
k k
i i i i k k
i i
p f x f x f x f x f x f x f x f x f b f a
+

= =
= = = + =

[ ]
1
1 1
( ) ( ) 0 0
k k
i i
i i
n f x f x

= =
= = =

1 1
1 1
( ) ( ) ( ) ( ) ( ) ( )
k k
i i i i
i i
t f x f x f x f x f b f a

= =
= = =

T = sup t = f(b) f(a)
N = sup n = 0
P = sup p = f(b) f(a)
T = N + P

Definisi (Fungsi Bervariasi Terbatas):
Fungsi f dikatakan bervariasi terbatas pada [a, b] jika
b
a
T < dan dinotasikan dengan f BV .

Lemma :
Jika f bervariasi terbatas pada [a, b] maka
b b b
a a a
T P N = +
dan
( ) ( )
b b
a a
f b f a P N =
Bukti :
Diambil sebarang partisi pada [a, b]. Menurut definisi,
( ) ( ) ( ) ( ) p n f b f a p n f b f a = = +
Dari sini, maka
sup sup( ( ) ( )) sup ( ) ( )
( ) ( )
( ) ( )
p n f b f a n f b f a
P N f b f a
P N f b f a
= + = +
= +
=

Juga,
{ } ( ) ( ) t p n p p f b f a = + = +
Maka,
{ } { }
{ }
sup sup( ( ) ( ) ) sup2 ( ) ( )
2 ( ) ( )
2
t p p f b f a p f b f a
T P f b f a
T P P N P N
= + =
=
= + = +

Teorema :
Fungsi f bervariasi terbatas pada [a, b] jika dan hanya jika f merupakan selisih dua fungsi
monoton dan bernilai real pada [a, b]
Bukti :
) Diketahui f BV . Akan dibuktikan bahwa f g h = dengan g dan h fungsi monoton.
Karena f BV maka ( )
b
a
T f < .
Dari Lemma di atas,
( ) ( )
x x
a a
f x P N f a = +
Diambil

78
( )
x
a
g x P = dan ( )
x
a
h x N =
Terlihat bahwa,
x y
a a
x y P P < yang berarti ( )
x
a
g x P = tak turun; dan
x y
a a
x y N N < yang berarti ( )
x
a
h x N = tak turun
) Diketahui f = g h dengan g dan h fungsi monoton. Akan dibuktikan
b
a
f BV T <
( ) ( )
1
1
1 1
1
1 1
1 1
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
k
b
a i i
i
k
i i i i
i
k k
i i i i
i i
t f f x f x
g x h x g x h x
g x g x h x h x
=

=

= =
=
= +
+ +

Karena g(x) dan h(x) fungsi monoton, maka
( ) ( ) ( ) ( ) ( )
b
a
t f g b g a h b h a +
Dari sini maka,
( ) ( ) ( ) ( ) ( )
b
a
T f g b g a h b h a + <
Jadi, f BV

Akibat :
Jika f fungsi bervariasi terbatas pada [a, b] maka f(x) ada hampir di mana-mana pada [a, b]
Bukti :
, dan fungsi monoton
' ( )' ' ' (teorema turunan fungsi monoton
.
) .
f BV f g h g h
f g h g h
=
= =

Jadi, f ada (ae) pada [a, b].

5.3. Turunan Integral
Jika f fungsi terintegralkan pada [a, b] didefinisikan indefinit integral (integral tak tentu) dari f
yaitu F yang didefinisikan pada [a, b] dengan aturan
( ) ( )
b
a
F x f t dt =

Dalam sub-bab ini kita akan melihat bagaimana turunan dari indefinit integral dari suatu fungsi
terintegralkan adalah sama dengan integralnya hampir dimana-mana. Kita mulai pembahasan ini dengan
melihat beberapa lemma.

Lemma :
Jika f terintegralkan pada [a, b] maka fungsi F dengan
( ) ( )
b
a
F x f t dt =

adalah fungsi kontinu dan bervariasi terbatas pada [a, b].
Bukti :
Ambil sebarang [ , ] c a b . Akan dibuktikan F kontinu di c. Ekuivalen dengan membuktikan
0, 0 > > sehingga | | ( ) ( ) x c f x f c < < .
Diambil sebarang 0 > .
Karena f terintegralkan pada [a, b] maka |f| terintegralkan pada [a, b]
Karena |f| 0 dan terintegralkan pada [a, b] maka ada > 0 sehingga untuk setiap [ , ] A a b
dengan ( ) m A < maka | |
A
f <
.
Ambil { } [ , ] :| | /3 A x a b x c = <

79

Jadi, secara umum
2
3
( ) m A < . Sehingga
| | ( ) ( ) ( ) ( ) ( ) ( ) ( )
x c c c
a a x x A
x c F x F c f t f t f t f t f t < = = < <

Selanjutnya, akan dibuktikan f BV . Ekuivalen dengan membuktikan ( )
b
a
T F <
1
1
1 2
1 0 1 1
1
( ) ( ) ( )
( ) ( )
( )
( ) ( ) ( ) ... ( ) ( )
i i
i
i
i k
i k
k
b
a i i
i k
k
x x
a a
i k
k
x
x
i k
k
x x x x b
x x x x a
i k
t F F x F x
f t f t
f t
f t f t f t f t f t
=
=
=
=
=
=
=
= + + + =

Karena f terintegralkan maka |f| terintegralkan. Karena ruas kanan tidak bergantung pada
partisi, maka
( ) sup ( ) ( )
b
b b
a a
a
T F t F f t = <

Selanjutnya, dengan mendefinisikan ( ) ( )
b
a
F x f t dt =
, [ , ] x a b ternyata diperoleh bahwa

fungsi F kontinu dan bervariasi terbatas pada [a, b]. Kita akan melihat bahwa F mempunyai turunan.
Artinya F(x) ada. Sehingga juga berlaku:
1) '( ) ( ) ( )
b
a
d
F x f t dt f x
dx
= =

2) ( ) ( ) ( )
b
a
f t dt f b f a =

Untuk itu, kita perlu meninjau beberapa lemma berikut:

Lemma :
Jika f terintegralkan pada [a, b] dan
( ) 0
x
a
f t dt =
, [ , ] x a b
maka f(t) = 0 (ae) di [a, b].
Bukti :
rd
ed, page 105-106).

Lemma :
Jika f fungsi terbatas dan terukur pada [a, b] dan
( ) ( ) ( )
x
a
F x f t dt F a = +

maka F(x) = f(x) (ae) pada [a, b].
Bukti :
rd
ed, page 106-107).

Teorema :
Jika f fungsi terintegralkan pada [a, b] dan
c/3 c c+/3
c=a c+/3
c/3 c=b

80
( ) ( ) ( )
x
a
F x f t dt F a = +

maka F(x) = f(x) (ae) pada [a, b].
Bukti :
Diketahui f terintegralkan pada [a, b] dan ( ) ( ) ( )
x
a
F x f t dt F a = +
. Akan dibuktikan F(x) = f(x)

Dari dua lemma di atas, cukup dibuktikan '( ) ( )
x x
a a
F t dt f t dt =

, [ , ] x a b .
Karena f = f
+
f
dengan f
+
, f
0 (tanpa mengurangi keumuman bukti) maka f 0. Didefinisikan

barisan {f
n
} sebagai berikut:
( ), ( )
( )
, ( )
n
f x f x n
f x
n f x n
<

Dari pendefinisian ini diperoleh
0
n
f , n ;
n
f f ;
n
f n , n
dan f
n
terbatas dan terukur. Menurut lemma kedua di atas, maka
( ) ( )
x
n n
a
d
f t dt f x
dx
=
, n
Kemudian didefinisikan n
0
n n
G f f =
Sehingga,
( ) ( )
x x
n n n n
a a
x y f f f f G x G y <

Jadi G
n
monoton tak turun. Akibatnya
1

'
( ) 0
n
G x , ( , ) x a b .
Dari hipotesis
( )
( )
'
'( ) ( )
( ) ( )
0 ( )
( ),
x
n
a
x
n n
a
x x
n n
a a
n n
n
n
d
F x f t dt
dx
d
f f f
dx
d d
f f f
dx dx
G x f x
f x
f x n
=
= +
= +
= +
+
=

Jadi,
( ) '( ), [ , ], ', lim ' '
n n n
n
f x F x x a b n f F n f F f F

Dari hipotesis diperoleh
( ) ( ) '
x x
a a
F x F a f F =

(1)
Karena 0 f maka
x y
a a
x y f f <

Jadi F tak turun, akibatnya
' ( ) ( )
x x
a a
F F x F a f =

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

1
Lihat proposisi di halaman 72.

81
( ) '( ) ( ) ( )
x x
a a
f t dt F t dt F x F a = =

Akibatnya,
[ ] ( ) '( ) 0 ( ) ' ) 0,
x x x
a a a
f t dt F t dt f t F t dt x = =

Diperoleh
f(t) F(t) = 0 f(t) = F(t), t.

Dari teorema terakhir ini, terjawab sudah pertanyaan-pertanyaan yang dimunculkan di awal bab
ini. Yaitu bahwa Teorema Dasar Kalkulus I dan II berlaku:
1) '( ) ( ) F x f x =
2) '( ) ( ) ( )
b
a
F t dt F b F a =

Latihan (Soal Quis) :
Misalkan f fungsi tak negatif dan terintegralkan (ae) pada [a, b]. Didefinisikan
( ) ( )
x
a
F x f t dt =

buktikan bahwa
'( ) ( )
b b
a a
F t dt f t dt

Jawab :
Pertama ditunjukkan bahwa F tak turun. Karena f 0, maka
[ , ) [ , ) ( ) ( )
x y
a a
x y a x a y f f F x F y <

Jadi, F tak turun. Maka
2

'( ) ( ) ( ) ( ) 0 ( )
b b b
a a a
F t dt F b F a f t dt f t dt = =

Contoh :
Diketahui f(x) = sin x, x [0, ]. Apakah f BV pada [0, ]?
Jawab :
Misalkan L sebarang partisi dari [0, ]. Maka
0 1
: 0 ...
k
L x x x = < < < = . Ditinjau dua kasus.
Kasus I:
Jika
2
L
, maka
0 0
, 0 n n n sehingga
0
0
0
0
0 0
0 1 1
1 1
1 1
1 1
0
2 2
2 2
( ) ( ) ( ) ( ) ( )

( ) (

) ( ) ( )
( ) ( ) ( ) ( )
( ) (0) ( ) ( )
sin sin

0 sin
n k
i i i i
i i n
n k
i i i i
i i n
n n k
t f f x f x f x f x
f x f x f x f x
f x f x f x f x
f f f f

= = +

= = +
= +
= +
= +
= +
=
=
+

sin
2

=

Kasus 2 :
Jika
2
L
, maka
1 1
, 0 n n k sehingga
1 1
1 2 n n
x x
< < .

2
Lihat Teorema halaman 74

82
1
1 1
1
1
1 1
1
1
1 1
1
0 1 1 1
1 1
1
1 1 1 2 2
1 1
1
1 1 2 2
1
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) (
n k
i i n n i i
i i n
n k
i i n n i i
i i n
n
i i n n i i
i
t f f x f x f x f x f x f x
f x f x f x f f f x f x f x
f x f x f x f f f x f x f x

= = +

= = +

=
= + +
= + + +
+ + +

1
1
1
2 2
2 2

)

( ) (0) ( ) ( )
sin sin0 sin sin

2

k
i n
f f f f

= +
= +
= +
=
=

Jadi,
2
0
2
2,
( )
2,
L
t f
L

Sehingga
0
( ) 2 T f
= < . Jadi terbukti f BV pada [0, ]

Diktat Kuliah s2 Analisis Real

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Diktat Kuliah s2 Analisis Real

Uploaded by

Copyright:

Available Formats

A

untuk gabungan dari daerah hasil (range) barisannya. Sehingga,

sebagai irisan dari daerah hasil barisannya, oleh karena itu:

dari pada x() dan menuliskan indeks-nya dengan

: }. Berikut ini definisi irisan dan gabungan dari himpunan berindeks:

} koleksi himpunan bagian dari X, maka:

untuk suatu . Karena x A

untuk suatu . Jadi, [ ] y f A

} koleksi himpunan bagian dari Y, maka

} merupakan koleksi himpunan yang diindeks oleh himpunan index .

} yang diindeks oleh sehingga x

} adalah elemen dari

disebut koordinat ke- dari z.

XX adalah kosong. Aksioma pilihan ekuivalen dengan

yang kosong maka

XX tidak kosong. Atas dasar ini

adalah korespondensi satu-

= < < < . Jadi

< > > . Bilangan q inilah yang diambil sebagai

= yang jelas terletak diantara x dan y.

. Jadi terbukti bahwa

, maka terdapat O C sehingga x O. Karena O terbuka maka

. Jadi terbukti bahwa untuk setiap

. Maka untuk setiap > 0 terdapat { | } y F F C

maka y F untuk setiap F C dengan |y x| < . Menurut

(F untuk tertutup, untuk jumlah). Sehingga, himpunan D dikatakan

jika dapat ditulis

untuk setiap himpunan tertutup F

sebab F dapat ditulis menjadi

. Sebab, jika O buka maka :

. Jadi, suatu himpunan

jika himpunan tersebut merupakan irisan terhitung dari semua himpunan

adalah himpunan yang memiliki tipe G

. Bukti sebaliknya analog.

adalah contoh himpunan Borel, yaitu aljabar- terkecil

. Karena infimum, maka ( )

maka ada k sehingga I

. Karena infimum, maka ( )

maka ada k sehingga I

terhitung, merupakan gabungan terhitung dari

sedemikian sehingga A G dan

untuk setiap n maka

untuk setiap n maka

dengan E G sehingga m*(G E) = 0

dengan F E sehingga m*(E F) = 0

= maka untuk 0 > di atas, N sehingga untuk n N berlaku:

. Oleh karena itu,

. Oleh karena itu,

maka begitu juga dengan supremum-nya dan dengan menggunakan hasil

= + . Selanjutnya, diperhatikan bahwa:

< terdapat himpunan terukur

= pada E maka (Teorema Kekonvergenan Terbatas)

= . Berlaku teorema kekonvergenan monoton:

, yang berarti g terintegralkan pada E.

< sehingga untuk setiap A E dengan ( ) m A < berlaku

< < sehingga A E dengan ( ) , m A < maka

terintegralkan pada E dan

juga terintegralkan. Akibatnya |f| = f

juga terintegralkan pada E. Akibatnya f = f

(x) sebagai nilai turunan kiri f di x.

< < >

= hampir dimana-mana. Hal ini ekuivalen dengan

= > > >

= > > >