Menuju Ke Abstrak

oleh Mtk Kerajaan Mataram pada September 12, 2008, 01:16:00

Pemahaman akan pengertian abstrak sepertinya masih dianggap sebagai suatu yang sulit
bahkan tak teraplikasi. Bagi orang di pinggir jalan, boleh jadi menganggap orang yang
belajar matematika abstrak sebagai orang sinting.
Saatnya kita harus menguak apa yang dimaksud abstrak dalam matematika? Apakah
suatu yang tidak real? Hanyakah ngoyoworo ataukah hanyakah khayalan orang? Apakah
seperti aljabar abstrak itu suatu yang mengada-ada saja ataukah memang harus menuju ke
situ?
Berikut semoga bisa memberi gambaran akan pemahaman tersebut. Sebagai langkahlangkah sebelum ke abstrak, kita berkecimpung dengan aritmatika yang di dalamnya ada
proses seperti penjumlahan, perkalian, dan ada penggunaan variabel. Pengenalan abstrak di
SMA biasanya dimulai dengan pelajaran induksi matematik dimana harus membuktikan
keteraturan sampai tak hingga dengan membuktikan implikasi Pk--->Pk+1 dan membuktikan P0
benar.
Waktu kita melangkah dari perhitungan dasar ke penggunaan variabel, kita meluaskan
orientasi kepada cakupan perhitungan yang lebih luas. Kita bisa mengoperasikan bilanganbilangan tanpa mengetahui berapa bilangannya, cukup dengan variabel. Nah ini, dari
aritmatika menuju abstrak yang banyak membuat kepala para mahasiswa sakit, sebenarnya
juga merupakan perluasan orientasi menuju semakin beragam dan semakin luas. Kita mulai
dengan mempelajari sekelompok obyek, lalu interaksi antar obyek, yang lalu kita namakan
operasi biner, mempelajari keteraturannya, mempelajari ciri-cirinya, lalu memformulasikannya
menjadi aksioma-aksioma.
Contoh di bawah mungkin bisa menjadi bayangan akan langkah tersebut, kita mulai
dengan PENGANTAR TEORI BILANGAN.
Subgroup bilangan bulat
Kita perhatikan perhatikan himpunan bilangan bulat (integer), yaitu {...,-3,-2,-1,0,1,2,3,...} yang
lalu biasa dinotasikan dengan Z. < huruf Z ini adalah diambil dari singkatan Zahl=bilangan dari
Bhs Jerman>
Diberikan suatu himpunan bagian dari Z, katakanlah himpunan S. Himpunan S disebut
subgroup dari Z jika memenuhi :
(i) x+y anggota dari S untuk setiap x dan y anggota dari S,
(ii) 0 anggota dari S,
(iii) -x anggota dari S untuk setiap x anggota dari S.
< catatan : Kalau pernah mempelajari tentang teori group, maka syarat-syarat di atas tidak
lain sifat tertutup(i), ada elemen identitas(ii), dan untuk setiap anggota dari S yang bukan 0
punya invers. Di kasus bilangan bulat ini sifat asosiatif bisa dirunut dg mudah dari sifat tertutup
>
Suatu himpunan bagian tak kosong S dari Z adalah subgroup jika dan hanya jika x - y anggota
dari S untuk setiap x dan y anggota dari S.
Bukti :
S subgroup dari Z ==> x - y anggota S untuk setiap x,y anggota S
Karena y anggota dari S, maka -y anggota dari S
Karena x dan -y anggota dari S, maka x+(-y)=x-y anggota dari S
x - y anggota S untuk setiap x,y anggota S ==> S subgroup dari Z

Karena S tak kososng maka ada anggotanya, misalkan x anggota dari S, maka x-x=0 adalah
anggota dari S , jadi 0 dan x anggota dari S sehingga 0-x=-x anggota dari S , lalu jika x dan y
anggota dari S, sehingga -y anggota dari S, lalu x-(-y)=x+y anggota dari S . Terbukti.
Taruhlah m adalah bilangan bulat, dan kita buat notasi mZ={mn|n anggota Z}. Maka mZ
adalah subgroup dari Z.
Teorema I
Jika S adalah saubgroup dari Z, maka S = mZ untuk suatu bilngan bulat tak negatif m. <
dengan kata lain, teorema ini mengatakan bahwa kalau S adalah subgroup dari Z, maka pasti
berbentuk himpunan kelipatan dari suatu bilangan bulat tak negatif {0,1,2,3,...} >
Bukti :
Kita buat dua kemungkinan, yaitu :
pertama --> jika S = {0}, maka dapat ditulis S=mZ dengan m=0.
kedua --> jika S tidak sama dengan {0}, atau S memuat bilangan bulat tak nol. Maka tentunya
S memuat bilangan bulat positif < karena jika x anggota S maka -x juga anggota S >. Kita
ambil misalnya m adalah bilangan bulat positif yang terkecil di S. Lalu suatu bilangan bulat
positif n di S akan dapat ditulis dalam bentuk n=qm+r, dimana q adalah suatu bilangan bulat
positif dan r suatu bilangan bulat yang memenuhi 0<=r. Dengan demikian r juga anggota S,
karena r=n-qm. Karena diasumsikan m adalah yang terkecil, maka haruslah r=0. Jadi n=qm,
dengan demikian n anggota mZ, yang berarti S=mZ. Terbukti.
Teorema tersebut mengatakan bahwa kalau sebuah himpunan yang anggotanya bilanganbilangan bulat serta memenuhi tiga aksioma untuk subgroup di atas, maka tentulah anggotaanggota himpunan tersebut berbentuk kelipatan dari suatu bilangan bulat positif.
Faktor Persekutuan Terbesar
Definisi :
Taruhlah a1,a2,...,ar adalah bilangan bulat, yang tidak semuanya nol. Faktor persekutuan
dari a1,a2,...,ar adalah suatu bilangan bulat yang membagi habis setiap a1,a2,...,ar. Faktor
persekutuan terbesar dari a1,a2,...,ar adalah bilangan bulat positif terbesar yang membagi habis
setiap a1,a2,...,ar. Faktor persekutuan terbesar dari a1,a2,...,ar dinaotasikan dengan (a1,a2,...,ar).
Teorema II
Taruhlah a1,a2,...,ar adalah bilangan bulat, yang tidak semuanya nol. Maka ada bilanganbilangan bulat sebutlah u1,u2,...,ur sedemikian hingga
(a1,a2,...,ar)=a1u1 + a2u2 + . . . +arur
dimana (a1,a2,...,ar) adalah Faktor Persekutuan Terbesar dari a1,a2,...,ar.
Bukti :
Pembuktian teorema ini, pertama kita harus menunjukkan bahwa suatu himpunan S yang
anggota-anggotanya berbentuk n1a1 + n2a2 + . . . +nrar dimana n1, n2,..., nr bilangan-bilangan bulat
merupakan subgroup dari Z dengan menunjukkan terpenuhinya 3 aksioma di atas. Lalu
setelah terbukti, maka karena
S subgroup Z, akan berbentuk mZ. Dengan kata lain bahwa setiap anggota S merupakan
kelipatan dari m. Dengan demikian m adalah faktor persekutuan dari a1,a2,...,ar. Karena FPB
adalah faktor persekutuan, maka otomatis ada u1,u2,...,ur sehingga (a1,a2,...,ar)=a1u1 + a2u2 + . . .
+arur. Terbukti.
Kiranya, ini bisa menjadi gambaran bahwa yang namanya abstrak bukan suatu yang tidak
aplikatif, melainkan adalah perluasan orientasi kita dalam memandang. Memang terlihat lebih
sulit, karena kita mencoba menengok yang disebalik dari yang nampak.

Semoga bermanfaat bagi semuanya.

2117 Views

| 6 Komentar | Rating:

(2 rates)

Komentar:
(6 Komentar , 0 are new)

1 Re: Menuju Ke Abstrak oleh rudibudiyono pada November 20, 2008,

06:56:59
iya,
kebanyakan berbicara tentang teorema dan pembuktian

2 Re: Menuju Ke Abstrak oleh agoes pada November 30, 2008, 07:04:50
memang banyak teorema dan pembuktian.
3 Re: Menuju Ke Abstrak oleh afif pada Desember 26, 2008, 08:08:47
emang gitu sih, kan kita orang matematika. mau nggak mau harus berani mencoba
untuk membuktikan teorema2 yang ada, yah...walaupun agak sulit he....
4 Re: Menuju Ke Abstrak oleh Nuz Effendi pada Pebruari 08, 2009, 12:59:45
Mengajarkan matematika kepada anak-anak mesti "fun", kalau tidak anak menjadi
bosan, apalagi di era digital sekarang ini, mereka terbiasa semua serba instant,
tinggal buka internet ... selesai! kadang2 kita sebagai pengajar juga harus
mempertimbangkan teknologi dalam pengajaran matematika, selain kita juga
sebagai pengajar mesti punya keahlian di bidang IT.
Saya mau share aja, silakan buka blog saya :
http:// nuz-effendi.blogspot.com
sebagai salah satu sarana saya dalam proses belajar mengajar.
Semoga bermanfaat.
-Nuz Effendi-

5 Re: Menuju Ke Abstrak oleh jhonson tamba pada April 10, 2009, 10:54:51
saya kira juga bahwa abstrak matematika itu masih bersifat basic,tapi pasti sangat
berguna untuk mengasah kecekatan dan ketanggapan untuk menganalisa banyak
hal yang masih misterius di muka bumi ini (from: Mr. jhonson tamba)
6 Re: Menuju Ke Abstrak oleh Nabih pada Mei 23, 2009, 09:54:53
Seberapa sulitkah aljabar abstrak, terus terang, saya baru menempuh aljabar linier