FUNGSI CANTOR 1
Kisti Nur Aliyah 1, Manuharawati 2 , Fakultas Matematika dan Ilmu Pengetahuan Alam,Universitas Negeri Surabaya Kampus Ketintang 60231,Surabaya email :
[email protected] 1,
[email protected] 2
ABSTRAK
II.
Pembentukan himpunan Cantor dimulai dengan membagi interval menjadi tiga bagian yang sama panjang dan menghilangkan bagian tengah sub interval buka sehingga tersisa dua interval, yakni * + dan * + Lalu masing masing interval yang tersisa dibagi lagi menjadi tiga bagian yang sama panjang dan menghapus bagian tengah sub interval buka dari masing masing interval yang telah dipecah tersebut. Proses pengulangan (iterasi) tersebut dilakukan terus menerus menuju tak hingga. Gabungan dari sisa interval yang telah dipecah itulah yang disebut himpunan Cantor, yang dinotasikan dengan Dari himpunan Cantor, dibentuk suatu fungsi bernilai real yang disebut fungsi Cantor. Fungsi Cantor didefinisikan sebagai untuk berada pada interval dengan menunjukkan banyaknya iterasi dimana interval itu dipecah pada proses pembentukan himpunan Cantor, dan berjalan dari sampai dimana adalah banyaknya sub interval yang dihilangkan pada setiap . Beberapa sifat fungsi Cantor yang dibahas dalam makalah ini antara lain adalah fungsi naik pada domainnya, konstan dan kontinu pada dan turunan pertama pada
Beberapa konsep dasar yang membantu dalam membahas fungsi Cantor dan sifat-sifatnya adalah sebagai berikut :
2.1 HIMPUNAN KOMPAK Definisi 2.1.1 Sebuah subset pada sebuah ruang topologi dikatakan kompak jika untuk setiap selimut (cover) buka dari memuat subcover berhingga dari (Munkers, J.R., 2000 : 24) Pada buku Lebesgue Integration on Euclidean Space tahun 1993 halaman 23, Frank Jones dapat membuktikan teorema Heine-Borel bahwa kompak jika dan hanya jika tertutup dan terbatas.
2.2 HIMPUNAN COUNTABLE Himpunan disebut countable jika berhingga atau . Sedangkan himpunan yang tidak countable disebut sebagai himpunan uncountable. (Kenneth R. Davidson dan Alan P. Donsig, 2002 : 61)
2.3 HIMPUNAN TERUKUR Definisi 2.3.1 Diberikan interval pada yang terbuka dan terbatas, dengan titik – titik ujungnya dan dengan panjang interval yang didefinisikan sebagai (Gupta, S.L, 2001 :137)
Kata kunci : Fungsi cantor, himpunan Cantor
I.
KAJIAN TEORI
PENDAHULUAN
Di dalam cabang ilmu Matematika terutama analisis, himpunan Cantor adalah salah satu topik yang sangat menarik untuk dibahas. Himpunan yang pertama kali diperkenalkan oleh ilmuwan Jerman George Cantor pada tahun 1883 ini, berkembang dengan konstruksi yang bermacam-macam. Pada makalah ini akan dibahas tentang fungsi Cantor .
Definisi 2.3.2 Diberikan . Ukuran luar Lebesgue atau ukuran luar dinotasikan dengan dan didefinisikan sebagai inf ∑ , dengan : koleksi terbilang interval terbuka dengan
1
koleksi interval terbuka dengan ⋃ (Manuharawati, 2000:3) Dari definisi diatas, didapat sifat-sifat ukuran luar pada himpunan adalah sebagai berikut : a). untuk semua himpunan b). c). Jika diberikan himpunan dan dengan , maka , untuk setiap dan d). Jika , maka e) Fungsi bersifat translasi invarian artinya untuk setiap himpunan dan . (Manuharawati, 2000:4) Dalam buku Fundamental Real Analysis halaman 142 karangan Gupta, S.L tahun 2001, disebutkan bahwa Ukuran luar dari suatu interval sama dengan panjang dari interval tersebut. Teorema 2.3.1 Diberikan koleksi terhitung himpunan-himpunan , maka berlaku
Proposisi 2.3.1 Jika adalah sebarang himpunan bilangan real dengan , maka ada subset dari yang tidak terukur. (Royden, H.L. 2010 : 48) Bukti : 1. Andaikan terbatas. Misalkan adalah sebarang himpunan terpilih untuk relasi ekivalen pada . Klaim tidak terukur. Bukti klaim : Andaikan terukur. Misalkan adalah himpunan bilangan rasional yang tak hingga dan terhitung. Karena terukur, maka koleksi translasi dari oleh anggota adalah saling lepas, jadi (⋃ ) ∑ ( ) karena sifat translasi invariant Jadi Dipilih yang akan membuat sebuah kontradiksi. Karena terbatas, misalkan berada pada interval pilih Maka terbatas. Klaim lagi dengan
(Gupta, S.L, 2001:145)
Bukti klaim kedua, jika , maka ada sebuah bilangan pada dimana dengan rasional. Karena dan elemen dari jadi elemen dari Maka klaim kedua terbukti. Tapi hal ini kontradiksi. Karena adalah himpunan dengan ukuran luar positif tidak mungkin menjadi subset dari himpunan yang ukuran luarnya nol. 2. Andaikan tidak terbatas
Berdasarkan pengertian ukuran luar di atas diperoleh pengertian ukuran Lebesgue dan pada bagian berikut akan dibicarakan beberapa sifat himpunan terukur.
Misalkan ada subset dari dengan maka
(⋃
)
∑
Dari teorema tersebut, dapat berakibat himpunan terhitung (countable), maka
jika
Definisi 2.3.3 Himpunan dikatakan terukur Lebesgue selanjutnya dikatakan terukur jika untuk setiap himpunan berlaku Karena countable
subadditivity,
maka
dan jelas
bersifat berlaku
Oleh karena itu, untuk membuktikan bahwa suatu himpunan E terukur hanya perlu dibuktikan bahwa berlaku Beberapa sifat himpunan terukur dalam antara lain : a). Jika E terukur maka juga terukur b). dan merupakan himpunan terukur. (Wahyudin, 1985 :60)
Karena , maka yang terbatas. Misalkan dengan Karena karena positif. Berdasarkan 1, maka ada dengan tidak terukur. Karena dan , berdasarkan sifat transitif, maka Jadi terbukti ada subset dari yang tidak terukur. ( Disadur dari : Royden, H.L. 2010 : 48)
2.4 FUNGSI KONTINU Definisi 2.4.1 Diberikan dan . Fungsi dikatakan kontinu di jika untuk setiap terdapat sehingga untuk setiap dengan | | | berlaku |
Jika tidak kontinu di diskontinu di (Royden, H.L. 2010 : 25)
dikatakan bahwa fungsi Bukti : Setiap adalah gabungan berhingga dari himpunan tertutup. Jadi, juga tertutup. Karena , maka juga tertutup. juga ⋂ terbatas, karena . Berdasarkan Teorema 2.1.1, dapat disimpulkan adalah kompak.
Contoh 2.4.1 : Jika diberikan sebuah fungsi bernilai real pada domain maka dengan jelas dapat dibuktikan bahwa adalah fungsi kontinu. Hal itu berakibat bahwa fungsi konstan adalah fungsi kontinu.
Teorema 3.1.2 Himpunan Cantor adalah uncountable. (Dylan, R Nelson, 2002 :4)
3.1 HIMPUNAN CANTOR Proses pembentukan himpunan Cantor dimulai dari interval tertutup [0,1] dan membaginya menjadi tiga sub interval yang panjangnya sama besar. Kemudian menghapus bagian tengah sub interval buka = sehingga diperoleh ]
[
Dengan
Missal dengan :
]
[
]
[
]
[
1
2
dan
{ Karena untuk setiap Dengan kata lain, Terjadi kontradiksi pengandaian salah, uncountable.
Jadi, ]
atau 0
Kemudian membagi lagi masing- masing interval tertutup yang tersisa menjadi tiga sub interval yang sama besar dan menghapus bagian tengah sub interval buka pada masing-masing interval tutup. Didapat =
[
yang
Bukti : Andaikan countable, maka dapat dituliskan sebagai . Dari pembentukan himunan Cantor, maka setiap dapat disajikan dalam basis tiga.yaitu :
III. PEMBAHASAN
[
himpunan
]
3.2 FUNGSI SIFATNYA Definisi 3.2.1 Fungsi Cantor
Proses pengulangan (iterasi) tersebut dilakukan secara terus menerus, dan didefinisikan himpunan Cantor sebagai berikut :
, maka dengan seharusnya
CANTOR
DAN
Jadi adalah
SIFAT
–
didefinisikan sebagai (3.2)
Definisi 3.1.1 Himpunan Cantor yang dinotasikan dengan didefinisikan , dengan ⋂ dimana adalah interval- interval ⋃ terbuang pada iterasi kedalam proses pembentukan himpunan Cantor. (Dylan, R Nelson, 2002:3)
untuk berada pada interval dengan menunjukkan banyaknya iterasi dimana interval itu dipecah pada proses pembentukan himpunan Cantor, dan berjalan dari sampai dimana adalah banyaknya subinterval yang dibuang pada tiap . Jadi, dimana adalah himpunan titik ujung setiap
Beberapa berikut :
Contoh 3.2.1: ,
sifat himpunan Cantor adalah sebagai
Teorema 3.1.1 Himpunan Cantor adalah himpunan kompak. (Dylan, R Nelson, 2002:3)
{
3
jika
,
Teorema 3.2.1 Jika adalah fungsi Cantor, maka : (a). adalah fungsi naik pada domainnya. (b). konstan pada setiap (c). kontinu pada setiap (d). Turunan pertama pada interval . Bukti
Jika bernilai besar, maka gagal untuk memiliki lompatan diskontinu di . Untuk sebuah fungsi naik, lompatan diskontinu hanya mungkin jika fungsi tersebut diskontinu. Maka kontinu di Jika adalah titik-titik akhir dari [0,1] maka dapat disimpulkan bahwa kontinu pada . (Royden, H.L. 2010 : 52) Definisi 3.2.5 Diberikan dan kontinu, adalah himpunan titik-titik untuk membentuk fungsi konstan, jika konstan pada sebuah persekitaran titik . (O. Dovgoshey, 2006 : 4) Contoh 3.2.2 Pada kasus
Gambar 3.2.1 Grafik fungsi Cantor pada Dari persamaan (3.1) jelas bahwa: (a). adalah fungsi naik, karena dengan maka (b). adalah konstan untuk setiap interval yang berada di . (c). Berdasarkan (b), maka adalah fungsi kontinu pada interval (d). Berdasarkan (b), turunan sama dengan nol pada interval . (Royden, H.L. 2010 : 51) Akibat 3.2.1 Jika adalah himpunan Cantor dan adalah fungsi Cantor, maka fungsi Cantor adalah fungsi kontinu yang memetakan . Bukti : Ambil sebarang dengan dan Jika
maka
dengan banyaknya
Meskipun adalah bilangan asli yang cukup besar, tetap terletak diantara dua interval yang berurutan di Misal dan adalah anggota dari , dan masing-masing adalah interval yang saling berurutan, maka dan
fungsi Cantor,
maka
Proposisi 3.2.1 Jika dan kontinu,, maka pernyataan berikut ekivalen : a. Invers image terukur subset dari untuk setiap b. Ukuran luar dari himpunan (3.2) Bukti : b a terbuka karena gabungan dari himpunan buka di dan konstan pada masing-masing komponen di . Misalkan adalah himpunan titik ujung dari semua komponen di Misalkan | | , artinya ( ) yang adalah fungsi yang dibatasi pada domain dan adalah fungsi yang dibatasi pada domain ( ) Jika , maka adalah sebuah dan . Jika persamaan ( ) mengakibatkan terukur sebagai gabungan dari dua fungsi terukur. a b Karena monoton, mengakibatkan satu-satu. ( (
))
( (
(
)))
(3.3) Andaikan persamaan (3.2) tidak berlaku. Maka untuk setiap dengan ukuran luar maka ada himpunan tak terukur Jadi ada himpunan tak terukur ( ) Karena satu-satu,maka pers (3.3) berakibat bahwa , kontradiksi dengan a.
(O. Dovgoshey, 2006 : 4)
Karena adalah kasus trivial, maka akan dibuktikan dengan menggunakan induksi dari ke
Akibat 3.1.7 Jika adalah Fungsi Cantor, maka adalah terukur subset dari untuk setiap . Bukti : terbuka karena adalah gabungan dari himpunan buka, dan konstan pada masingmasing misalkan adalah himpunan titik ujung pada semua komponen di misalkan | , . Jika , maka
(
adalah .
sebuah
Dengan menggunakan induksi matematika dari ke Akan dibagi menjadi beberapa kasus. Misal Kasus 1 : Kasus ini trivial karena ̂ adalah monoton. Kasus 2 : pada kasus ini, ̂ ̂
dan
Kasus 3 :
̂
̂
̂
Kasus 4 :
. Maka
̂
3.3 PERLUASAN FUNGSI CANTOR (FUNGSI CANTOR STANDAR)
, maka
̂
= ̂
buka. Jadi terukur sebagai gabungan dari dua himpunan terukur. ( Disadur dari : O. Dovgoshey, 2006 : 4)
̂ ̂
̂
̂ ̂ Karena semua kemungkinan kasus sudah terpenuhi, maka bukti selesai. Jadi terbukti bahwa Fungsi Cantor standart bersifat subaditif. (Dobos, J, 1996 : 3425)
Definisi 3.3.1 Perluasan fungsi Cantor ̂ atau biasa disebut fungsi Cantor standar didefinisikan sebagai berikut : ̂
Karena
̂
) jadi terukur karena gabungan dari himpunan
̂
{ Definisi 3.3.3 Modulo kekontinuan adalah sebuah fungsi yang terdefinisi, kontinu, tak turun, dan subaditif pada dengan (Dobos, J, 1996 : 3426)
̂ ̂ ̂ { (Dobos, J, 1996 : 3423) Definisi 3.3.2 Sebuah fungsi jika . (Matkowski, J, 1993 : 2)
Akibat 3.3.1 Jika ̂ adalah fungsi Cantor standar, maka ̂ adalah modulo kekontinuan. Bukti : Berdasarkan definisi fungsi Cantor standar, jelas bahwa ̂ terdefinisi dan kontinu pada . ̂ untuk setiap dan ̂ untuk setiap Pada ̂ domainnya saling tumpang tindih Dengan kedua definisi, Jika , maka
dikatakan subaditif untuk semua
Teorema 3.3.1 Misalkan ̂ adalah fungsi Cantor standar, maka ̂ bersifat subaditif. ̂ . Bukti : Ambil ̂ Maka fungsi ̂ adalah limit sepotong-sepotong dari fungsi ̂ dengan . Jadi untuk membuktikan sifat subaditif dari ̂ maka cukup dengan dibuktikan ̂ subaditif untuk setiap ̂ menggunakan induksi pada Untuk berdasarkan definisi jelas bahwa ̂ bersifat subaditif.
̂ Jika
, menggunakan definisi
̂
, maka ̂
Sebaliknya, jika ̂ ̂
5
̂
dengan definisi ̂ maka ̂
dan ̂
Karena ada
dan , dan ̂ , maka dapat dikatakan bahwa bersifat tak-turun. Karena ̂ terdefinisi, kontinu dan tak turun, dan subaditif pada interval , maka terbukti bahwa ̂ adalah modulo kekontinuan. (Disadur dari : Dobos, J, 1996 : 3426)
DAFTAR PUSTAKA [1]
[2]
[3]
Davidson, R. Kenneth,. dan Donsig, P. Alan. 2002. Real Analysis with Real Applications. Prentice-Hall Devaney, R.L.1987. An Introduction to Chaotic Dynamical Systems. Redwood City, CA: Addison-Wesley Dobos, J. 1996. The standart Cantor Function is subadditve. (online) (http://www.ams.org/journals/proc/1996124-11/S0002-9939-96-03440-5/S00029939-96-03440-5.pdf) diakses pada 26 Februari 2012
[4]
[5]
[6]
[7]
[8]
[9]
[10]
Dylan, R. Nelson. 2002. The Cantor Set – A Brief Introduction.(online) (http://www.math.uwaterloo.ca/~xzliu/cantor -set.pdf) diakses pada 21 Januari 2012 Manuharawati. 2000. Teori Ukuran. Surabaya. Jurusan Matematika Universitas Negeri Surabaya. Matkowski, J. dan Swi_Atkowski, T. 1993. On Subbadditive functions, Proc. Amer. Math. Soc 119. Munkres, J. R. 2000. TOPOLOGY : A first course, 2nd ed. Upper saddle, N.J. Prentice-Hall O. Dovgoshey,. O. Martio,.V. Ryazanova,.M. Vuorinen.2005. The Cantor Function. (online) (http://users.utu.fi/vuorinen/REA12/107.pdf ) diakses pada 01 Februari 2012 Royden,H.L dan Fitzpatrick,P.M.2010.Real Analysis Fourth Edition.Pearson Education Asia Limited and China Machine Press:China Wahyudin. 1987. Dasar-dasar Topologi. Bandung : Tarsito.