Penggunaan Teorema Homeomorphy 2-Manifold dan Teorema Euler Poincare pada Torus ????�� dan Simplicial Complex ????��
PENGGUNAAN TEOREMA HOMEOMORPHY 2-MANIFOLD
DAN TEOREMA EULER POINCARE PADA TORUS � DAN
SIMPLICIAL COMPLEX
QOWIYYUL AMIN SIREGAR
DEPARTEMEN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
INSTITUT PERTANIAN BOGOR
BOGOR
2014
PERNYATAAN MENGENAI SKRIPSI DAN SUMBER
INFORMASI SERTA PELIMPAHAN HAK CIPTA
Dengan ini saya menyatakan bahwa skripsi berjudul Penggunaan Teorema
Homeomorphy 2-Manifold dan Teorema Euler Poincare pada Torus � dan
Simplicial Complex � adalah benar karya saya dengan arahan dari komisi
pembimbing dan belum diajukan dalam bentuk apa pun kepada perguruan tinggi
mana pun. Sumber informasi uang berasal atau dikutip dari karya yang diterbitkan
maupun tidak diterbitkan dari penulis lain telah disebutkan dalam teks dan
dicantumkan dalam Daftar Pustaka di bagian akhir skripsi ini.
Dengan ini saya melimpahkan hak cipta dari karya tulis saya kepada Institut
Pertanian Bogor.
Bogor, Mei 2014
Qowiyyul Amin Siregar
NIM G54090061
ABSTRAK
QOWIYYUL AMIN SIREGAR. Penggunaan Teorema Homeomorphy 2Manifold dan Teorema Euler Poincare pada Torus dan Simplicial Complex .
Dibimbing oleh SUGI GURITMAN dan NUR ALIATININGTYAS.
Dua ruang topologi berdimensi dua dikatakan homeomorfik apabila
memiliki invarian topologi yang sama, di mana salah satu invarian topologi yang
digunakan adalah karakteristik Euler. Dasar teorema yang digunakan untuk
membedakan ruang topologi berdimensi dua adalah Teorema Homeomorphy 2Manifold dan Teorema Euler Poincare. Teorema Homeomorphy 2-Manifold
melihat nilai karakteristik Euler dari ruang topologi untuk membedakan ruang
topologi berdimensi dua. Lalu Teorema Euler Poincare untuk alternatif pencarian
nilai karakteristik Euler dari nilai Betti number, yang juga merupakan invarian
topologi. Tujuan karya ilmiah ini adalah untuk melihat kehomeomorfisan torus
dan Simplicial Complex . Ruang topologi torus dan simplicial complex
memiliki nilai karakteristik Euler yang sama, yaitu bernilai dua. Berdasarkan
Teorema Homeomorphy 2-Manifold Torus dan simplicial complex
dapat
dikatakan homeomorfik.
Kata kunci: topologi, homeomorfis, Euler, torus, simplicial
ABSTRACT
QOWIYYUL AMIN SIREGAR. The Use of Homeomorphy 2-Manifold’s
Theorem and Euler Poincare’s Theorem on Torus and Simplicial Complex .
Supervised by SUGI GURITMAN and NUR ALIATININGTYAS.
Two dimensional topological spaces are said to be homeomorphic if they
have the same topological invariant, where one of topological invariant used is an
Euler characteristic. Homeomorphy 2-Manifold’s Theorem and Euler Poincare’s
Theorem are used to distinguish two topological spaces. Homeomorphy 2Manifold’s Theorem uses Euler characteristic to identify two dimensional
topological spaces. Euler Poincare’s Theorem is an alternative way to find Euler
characteristic with Betti number, which is topological invariant as well. The
objective of this paper is to investigate the homeomorphism of torus and
simplicial complex . Topological space torus and simplicial complex have the
same Euler characteristic, which is two. Based on Homeomorphy 2-Manifold’s
Theorem topological space torus and simplicial complex is homeomorphic.
Keywords: topology, homeomorphism, Euler, torus, simplicial
PENGGUNAAN TEOREMA HOMEOMORPHY 2-MANIFOLD
DAN TEOREMA EULER POINCARE PADA TORUS � DAN
SIMPLICIAL COMPLEX
QOWIYYUL AMIN SIREGAR
Skripsi
sebagai salah satu syarat untuk memperoleh gelar
Sarjana Sains
pada
Departemen Matematika
DEPARTEMEN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
INSTITUT PERTANIAN BOGOR
BOGOR
2014
Judul Skripsi : Penggunaan Teorema Homeomorphy 2-Manifold dan Teorema
Euler Poincare pada Torus dan Simplicial Complex
Nama
: Qowiyyul Amin Siregar
NIM
: G54090061
Disetujui oleh
Dr Sugi Guritman
Pembimbing I
Dra Nur Aliatiningtyas, MS
Pembimbing II
Diketahui oleh
Dr Toni Bakhtiar, MSc
Ketua Departemen
Tanggal Lulus:
PRAKATA
Puji dan syukur penulis panjatkan kepada Allah subhanahu wa ta’ala atas
segala karunia-Nya sehingga karya ilmiah ini berhasil diselesaikan. Tema yang
dipilih dalam penilitian yang dilaksanakan sejak bulan Maret 2013 ini adalah
topologi, dengan judul Penggunaan Teorema Homeomorphy 2-Manifold dan
Teorema Euler Poincare pada Torus dan Simplicial Complex .
Terima Kasih penulis ucapkan kepada Bapak Dr Sugi Guritman dan Ibu Dra
Nur Aliatiningtyas selaku pembimbing, serta Bapak Muhammad Ilyas, MSi yang
telah banyak memberi saran. Di samping itu, Penghargaan penulis sampaikan
kepada Bapak Regi Wahyu selaku Presiden PT. Mediatrac, Bapak Imron Zuhri
selaku komisioner PT. Mediatrac, Bapak Tom Malik selaku CEO PT. Mediatrac
dan Bapak HasanYusuf selaku Manajer Serta bapak Lurino Bertorani. Ungkapan
terimakasih juga disampaikan kepada Ayah, Ibu, teman-teman Departemen
Matematika Angkatan 45, 46, dan 47 atas segala doanya.
Semoga karya ilmiah ini bermanfaat.
Bogor, Mei 2014
Qowiyyul Amin Siregar
DAFTAR ISI
DAFTAR GAMBAR
vi
DAFTAR LAMPIRAN
vi
PENDAHULUAN
1
Latar Belakang
1
Tujuan Penelitian
2
TINJAUAN PUSTAKA
2
HASIL DAN PEMBAHASAN
12
SIMPULAN DAN SARAN
18
Simpulan
18
Saran
18
DAFTAR PUSTAKA
18
LAMPIRAN
13
RIWAYAT HIDUP
15
DAFTAR GAMBAR
Beberapa objek 2-manifold.
Torus
Simplicial complex
Basic 2-manifold torus.
Basic 2-manifold dengan tambahan edge .
4
13
14
14
16
DAFTAR LAMPIRAN
Koding bentukan simplicial complex .
20
PENDAHULUAN
Latar Belakang
Topologi adalah cabang ilmu matematika yang memelajari bentuk dan
ruang. Secara formal topologi dapat dikatakan ilmu tentang sifat yang dilihat
secara kualitatif terhadap objek-objek yang tidak berubah dalam beberapa macam
transformasi. Untuk lebih sederhana topologi adalah ilmu tentang kekontinuan
dan keterhubungan.
Suatu permasalahan dasar pada ruang topologi ialah penentuan apakah dua
ruang tersebut homeomorfik atau tidak (isomorfik dalam struktur ruang topologi
atau tidak). Untuk memperlihatkan apakah dua ruang dalam ruang topologi
tersebut homeomorfik dapat dilihat dengan mengkonstruksi sebuah fungsi bijektif,
dengan fungsi invers yang kontinu yang memetakan suatu ruang ke ruang lainnya.
Lalu untuk membuktikan bahwa dua ruang topologi tersebut tidak homeomorfik
perlu memperlihatkan tidak ada fungsi seperti yang disebutkan sebelumnya.
Namun cara seperti itu sangat sulit untuk dilakukan. Cara yang biasa dilakukan
untuk menyelesaikan masalah yang disebutkan sebelumnya (menunjukan dua
ruang topologi tidak homeomorfik) ialah dengan menemukan suatu sifat atau ciri
ruang topologi (contoh, suatu sifat invariant dalam fungsi homeomorfisma) yang
hanya dimiliki satu ruang topologi tersebut dan tidak dimiliki ruang topogi
lainnya (Munkres 1984).
Suatu ciri atau sifat dasar suatu ruang topologi tidak selalu dapat menjadi
acuan untuk menentukan apakah ada suatu homeomorfisma atau tidak. Untuk
mengklasifikasikan permukaan kompak dengan dasar homeomorfisma
membutuhkan suatu invariant topologi yang ‘luar biasa’ dibandingkan yang lain.
Sehingga dapat menyelesaikan masalah apakah dua ruang topologi tersebut
homeomorfik (Munkres 1984).
Aljabar topologi sendiri ditemukan oleh dua orang matematikawan yaitu
Poincare dan Betti yang bertujuan untuk menemukan suatu invariant topologi.
Poincare memperkenalkan suatu grup yang disebut Fundamental Group. Dan
Betti memperkenalkan asosiasi dari setiap ruang dengan suatu sekuens dari grup
abelian yang disebut grup homologi. Di mana grup homologi ini merupakan suatu
invariant topologi juga. Jadi grup homologi dapat menjadi salah satu cara untuk
menyelesaikan masalah homeomorfik dengan kelebihan grup homologi lebih
mudah untuk dihitung dibandingkan dengan Fundamental Group (Munkres c984).
Betti number adalah cara yang paling mudah untuk mendeskripsikan grup
homologi. Simplicial complex adalah objek amatan yang berada pada ruang
topologi.
Pada karya ilmiah ini akan dibahas mengenai pemakaian Teorema
homeomorphy 2-manifold dan Teorema Euler Poincare. Penggunana Teorema
homeomorphy 2-manifold dipakai untuk melihat homeomorfisma pada torus
dan simplicial complex . Dan penggunaan Teorema Euler Poincare untuk
mencari karakteristik Euler di mana Betti number diperlukan di dalamnya.
2
Tujuan Penelitian
Penulisan karya ilmiah ini bertujuan untuk:
1. Mengkontruksi grup homologi dari sebuah 2-simplex yang berupa simplicial
complex .
2. Menggunakan Teorema homeomorphy 2-manifold untuk menunjukan
kehomeomorfisan torus dan simplicial complex .
3. Mencari nilai karakteristik Euler torus
dan simplicial complex
menggunakan Teorema Euler Poincare.
TINJAUAN PUSTAKA
Pada bab ini akan diberikan definisi-definisi mengenai teori himpunan dan
fungsi, ruang topologi, teori grup, ruang vektor, simplicial complex, karakeristik
Euler, free abelian group, grup homologi dan Betti number.
Teori Himpunan dan Fungsi
Definisi Koleksi Himpunan
Koleksi adalah sebuah himpunan yang anggotanya berupa himpunan-himpunan
(Munkres 2000).
Definisi Produk Cartesian
Diberikan himpunan dan himpunan . Didefinisikan
kartesian di mana,
× =
,
∈ dan ∈
(Munkres 2000)
×
merupakan produk
.
Definisi Fungsi, Domain, Image
Suatu fungsi : → adalah aturan yang memadankan setiap elemen dalam
himpunan secara tepat ke satu elemen yang disebut ( ), dalam himpunan .
Himpunan disebut daerah asal (domain) fungsi, daerah hasil (image) adalah
himpunan semua nilai ( ) (Stewart 2001).
Definisi Injektif
Suatu fungsi
= ( ′ ) maka
: →
dikatakan injektif (atau fungsi satu-satu) jika
= ′ (Munkres 2000).
Definisi Surjektif
Fungsi
: →
dikatakan
surjektif
ada ∈ , di mana = ( ) (Munkres 2000).
jika
∈
maka
3
Definisi Bijektif
Jika : → keduanya surjektif dan injektif, maka dikatakan
(atau dikatakan korespondensi satu-satu) (Munkres 2000).
bijektif
Ruang Topologi
Definisi Topologi
Sebuah topologi pada himpunan adalah sebuah koleksi � dari koleksi himpunan
bagian yang mempunyai beberapa ciri:
1. ∅ dan ada di dalam �.
2. Gabungan dari anggota-anggota dari semua bagian koleksi berhingga �
ada di dalam �.
3. Irisan dari anggota-anggota dari semua bagian koleksi berhingga � ada di
dalam � .
Pasangan terurut ( , � ) disebut ruang topologi. Selanjutnya Pasangan
terurut ( , �) akan dinyatakan sebagai saja. Himpunan bagian yang dimuat
dalam � disebut himpunan terbuka (Munkres 2000).
Definisi Basis
Jika adalah sebuah himpunan, sebuah basis dari topologi pada adalah koleksi
� dari himpunan bagian yang memenuhi pernyataan berikut:
1. Untuk setiap ∈ , terdapat paling sedikit satu elemen yang memuat .
2. Jika berada pada irisan dari dua elemen B1 dan B2 , maka ada sebuah
elemen B3 yang mengandung di mana B3 B1 B2 .
Jika � basis, maka topologi � dibangkitkan dari � (Munkres 2000).
Definisi Produk Topologi
Misal
dan menjadi ruang topologi. Produk
(Munkres 2000).
×
adalah ruang topologi
Teorema Basis Produk Topologi
Produk topologi × mempunyai basis � dari koleksi himpunan × , di
mana adalah himpunan bagian yang terbuka dari dan juga himpunan bagian
terbuka dari (Munkres 2000).
Definisi Himpunan Tertutup
Sebuah himpunan bagian
dari ruang topologi
himpunan − terbuka (Munkres 2000).
Definisi Neighborhood
Himpunan adalah neighborhood dari
(Munkres 2000).
jika
dikatakan tertutup jika
himpunan terbuka yang memuat
4
Definisi Kekontinuan dari Fungsi
Misal dan ruang topologi. Sebuah fungsi : → dikatakan kontinu jika
untuk setiap himpunan bagian terbuka
dari , maka himpunan −1 ( )
merupakan himpunan terbuka dari (Munkres 2000).
Definisi Terhubung
Suatu ruang topologi dikatakan terhubung jika dan hanya jika satu-satunya
himpunan bagian dari yang terbuka dan tertutup adalah himpunan kosong dan
itu sendiri (Munkres 2000).
Definisi Open Covering
Suatu koleksi � dari himpunan bagian ruang topologi
jika gabungan elemen � sama dengan .
disebut open covering
Definisi Compact
Ruang topologi dikatakan compact jika setiap open covering
subkoleksi berhingga yang juga open covering .
(�) memuat
Definisi Basic �-Manifold
Gambar 1 Beberapa objek 2-manifold.
Gambar 1 memberikan basic 2-manifold menggunakan diagram. Pada karya
ilmiah ini fokus pada gambar kedua dari kiri yang berupa basic 2-manifold dari
torus, suatu kotak dengan verteks dan sisi , . Gambar paling kiri merupakan
basic 2-manifold dari bola adalah lingkaran dengan sisi . Kemudian gambar
kedua dari kiri merupakan 2-manifold dari torus. Lalu gambar paling kanan
merupakan basic 2-manifold dari klein bottle adalah kotak dengan verteks dan
sisi , . Yang terakhir adalah basic 2-manifold dari projective plane adalah kotak
dengan verterks ,w dan sisi , .
Dari basic 2 -manifold torus dapat dikonstruksi kembali menjadi torus
berdimensi tiga dengan menyatukan edge yang sama. Pertama bila kita
menyatukan edge akan membuat tansformasi basic 2-manifold torus menjadi
tabung lalu dengan menyatukan edge maka akan menjadi torus berdimensi tiga
(Zomorodian 2005).
Definisi Metrik
Suatu metrik pada himpunan adalah fungsi dari :
sifat seperti berikut:
(1)
,
0 untuk semua , ∈ .
(2)
, = ( , ) untuk semua , ∈ .
×
→
yang mempunyai
5
(3) (Pertaksamaan segitiga) �
, , ∈ �.
(Munkres 2000)
,
+�
�( , ) , untuk semua
,
Definisi Ruang Metrik
Pasangan terurut ( , ) adalah ruang metrik di mana
adalah fungsi metrik (Munkres 2000).
adalah himpunan dan
Definisi Separable
Suatu ruang topologi dikatakan separable jika ruang topologi tersebut memiliki
basis yang terhitung (Zomorodian 2005).
Definisi �-Manifold
Suatu 2 -manifold atau permukaan adalah suatu separable, ruang metrik Σ 2 di
mana untuk setiap ∈ Σ 2 , ada suatu neighborhood dari yang homeomorfik
terhadap ℝ2 (Zomorodian 2005).
Definisi Ruang Euclidean
Produk Cartesian ℝ dengan metrik Euclidean
adalah ruang Euclidian ℝ (Zomorodian 2005).
,
=
=1 (
−
)
Definisi Homeomorfisma, Homeomorfik
Misal dan ruang topologi. Ada : → merupakan fungsi bijektif. Jika
kedua fungsi dan −1 itu kontinu maka dikatakan sebuah homeomorfisma.
Dan jika fungsi hoemomorfisma maka dan dapat dikatakan homeomorfik
(Munkres 2000).
Teori Grup
Definisi Operasi Biner
Operasi biner ∗ pada suatu himpunan adalah suatu fungsi dari × ke yang
membawa setiap ( , ) ∈ × ke ∗ ∈ yang unik. Jadi , → ∗ .
Karena ∗ juga berada dalam maka dikatakan tertutup di bawah operasi ∗
(Fraleigh 1994).
Definisi Grup
Struktur aljabar dengan operasi biner ∗ disebut grup jika memenuhi aksioma
berikut ini,
1. Operasi ∗ bersifat asosiatif ( ∗ ) ∗ = ∗ ∗ , ∀ , , ∈ .
2. Ada unsur identitas ∈ untuk ∗ pada sehingga berlaku ∗ =
∗ = ,∀ ∈ .
3. Untuk setiap ∈ ada unsur −1 ∈ sehingga ∗ −1 = −1 ∗
= (Fraleigh 1994).
6
Definisi Grup Abelian
Grup disebut Grup komutatif jika operasi biner ∗ bersifat komutatif yaitu:
∀ , ∈ , ∗ = ∗ . Grup abelian adalah grup yang bersifat komutatif
(Zomorodian 2005).
Definisi Order Grup
Banyak unsur dari grup hingga
(Fraleigh 1994).
disebut order dari , dinotasikan o( ) atau | |
Definisi Grup Siklik
Dinotasikan
= { | ∈ ℤ }. Jika =
maka disebut grup siklik yang
dihasilkan oleh (Fraleigh 1994).
Selanjutnya operasi grup berada di bawah operasi tambah.
Definisi Grup Hasil Jumlah Langsung
Misalkan 1 , 2 , … ,
grup dengan unsur identitas, , = 1, 2, 3, … , dan invers
dari ( 1 , 2 , … , ) adalah ( 1 −1 , 2 −1 , … , −1 ) . Untuk notasi aditif, ∏ =1
dinotasikan dengan ⊕ =1 = 1 ⨁ 2 ⨁ … ⨁ , dan disebut grup hasil jumlah
langsung dari (Fraleigh 1994).
Definisi Homomorfisma
Misalkan grup dengan operasi + dan ′ adalah grup di bawah operasi #. Fungsi
�: → ′ disebut homomorfisma grup jika � + = �
⋕ �( ), ∀ , ∈
(Fraleigh 1994).
Definisi Monomorfisma, Epimorfisma, Isomorfisma, Automorfisma
Ada fungsi homomorfisma �: → ′ , jika � injektif maka � disebut
monomorfisma. Jika � surjektif maka � disebut epimorfisma. Jika � bijektif
maka � disebut isomorfisma. Jika = ′ dan � isomorfisma maka � disebut
authomorfisma (Fraleigh 1994).
Definisi Kernel
Misalkan �: → ′ grup homomorfisma. Grup � −1 ({ ′ }) disebut kernel dari �
dan dinotasikan ker �. Jadi ker � = { ∈ |�
= ′ } (Fraleigh 1994).
Teorema Isomorfik Grup Siklik Takhingga
Setiap grup siklik takhingga isomorfik dengan ℤ (Fraleigh 1994).
Definisi Subgrup Normal
Misalkan grup dan subgrup dari . Maka disebut subgrup normal dari
−1
jika ∀ ∈ , ∀ ∈ ,
∈ (Fraleigh 1994).
7
Teorema Grup Faktor
Misalkan grup, subgrup normal dari
perkalian pada
maka
dan himpunan
beserta operasi
adalah sebagai berikut:
=
∈
∙
=
.
adalah grup dan disebut grup faktor (Fraleigh 1994).
Ruang Vektor
Definisi Ruang Vektor
Himpunan bersama-sama dengan operasi penjumlahan dan perkalian dengan
skalar dikatakan membentuk suatu ruang vektor jika aksioma-aksioma berikut
terpenuhi.
A1. + = + untuk setiap dan di .
A2. + + = + + untuk setiap , , di .
A3. Terdapat elemen 0 di sehingga + 0 = untuk setiap ∈ .
A4. Untuk setiap ∈ terdapat elemen − di sehingga + − =
0.
A5.
+ =
+
untuk setiap skalar dan setiap dan di .
A6.
+
=
+
untuk setiap skalar dan dan setiap ∈ .
A7.
= ( ) untuk setiap skalar dan dan setiap ∈ .
A8. 1 ⋅ = .
(Leon 2001)
Definisi Bebas Linear
Vektor-vektor 1 , … ,
independent) jika
dalam ruang vektor
1 1+ 2
mengakibatkan semua skalar-skalar
disebut bebas linear (linearly
+ ⋯+
=0
,
…
,
harus
sama
dengan 0 (Leon 2001).
1
2
Definisi Merentang
Himpunan { 1 , … , } disebut himpunan perentang untuk jika dan hanya jika
setiap vektor dalam dapat ditulis sebagai kombinasi linear dari 1 , 2 , … ,
Definisi Basis
Vektor-vektor
jika
(i) 1 , … ,
(ii) 1 , … ,
1, … ,
membentuk basis untuk ruang vektor
bebas linear.
merentang (Leon 2001).
jika dan hanya
8
Simplicial Complex
Definisi Bebas Geometri
Poin-poin 0 , 1 , … ,
di ruang Euclidean ℝ dikatakan bebas geometri (atau
affine independent) jika satu-satunya solusi dari sistem linear
=0
�
=0
=�
(2.1)
� =0
adalah solusi trivial �0 = �1 = ⋯ = � = 0 (Wilkins 2008).
Dari definisi di atas dapat ditunjukan bahwa poin-poin 0 , 1 , … ,
merupakan bebas geometri jika hanya jika vektor 1 − 0 , 2 − 0 , … , − 0
merupakan bebas linear. Akibatnya suatu himpunan dari poin bebas geometri di
ℝ mempunyai paling banyak + 1 elemen. Perlu diketahui juga bahwa jika
suatu himpunan terdiri dari poin yang bebas geometri di ℝ maka setiap
himpunan bagian dari himpunan tersebut juga terdiri dari poin yang bebas
geometri.
Definisi �-Simplex
Sebuah -simplex di ℝ dari
;0
=0
= { 0,
1, … ,
} didefinisikan sebagai himpunan
1 untuk = 0,1, … , dan
=1
(2.2)
=0
di mana 0 , 1 , … , merupakan poin bebas geometri dari ℝ . Poin 0 , 1 , … ,
dapat dikatakan verteks dari simplex. Bilangan bulat taknegatif menunjukan
sebagai dimensi dari simplex (Wilkins 2008). Kumpulan dari -simplex disebut
simplices atau kumpulan simplicial.
Sebuah -simplex juga bisa dilihat sebagai selubung cembung (convex hull)
dari + 1 titik yang bebas goemetri = { 0 , 1 , … , }. Semua titik di dalam
adalah verteks-verteks dari simplex (Zomorodian 2005).
Definisi Face, Coface
Misal � suatu -simplex didefinisikan dari = { 0 , 1 , … , } . Simplex � dari
⊆ , disebut face dari � dan � disebut coface. Hubungan tersebut dinotasikan
dengan � � dan � �.
Definisi Simplicial Complex
Sebuah koleksi berhingga dari kumpulan simplicial di ℝ dikatakan simplicial
complex jika memenuhi dua kondisi berikut:
1. jika � adalah simplex yang dimiliki maka setiap face (�) dari � juga
dimiliki oleh .
9
2. jika �1 dan �2 adalah kumpulan simplicial yang dimiliki maka kedua
�1 ∩ �2 = ∅ atau �1 ∩ �2 merupakan face umum dari kedua �1 dan �2
(Wilkins 2008).
Dimensi dari simplicial complex
adalah bilangan bulat tak negatif
terbesar sedemikian sehingga mengandung sebuah -simplex.
Definisi Underlying Space
Underlying Space | | dari simplicial complex
adalah
= � ∈ � . Dapat
dikatakan | | adalah topologi (Zomorodian 2005).
Gabungan dari semua simplicial dari adalah sebuah himpunan bagian
compact | | dari ℝ dikenal sebagai polyhedron dari .
Contoh. Misal � terdiri dari beberapa -simplex � beserta dengan face �.
Maka � adalah simplicial complex dari dimensi n, dan � = �.
Definisi Interior
Misal 0 , 1 , … , verteks-verteks dari suatu -simplex � di ruang Euclidan ℝ .
Didefinisikan interior dari suatu simplex � adalah himpunan titik-titik dari �,
;
=0
> 0 , = 0,1,2, … , dan
=1
(2.3)
=0
Dari bentuk di atas dapat dilihat bahwa interior dari simplex � memuat
semua titik di � kecuali titik-titik yang berada di ujung � (Wilkins 2008).
Definisi Rentangan Verteks
Suatu himpunan verteks
yang dinotasikan dengan vert
= { 0, 1, 2} ,
dikatakan merentang jika elemen elemen vert merentang suatu simplex di
dalam (Wilkins 2008).
Karakteristik Euler
Definisi invariant
Invariant topologi adalah suatu fungsi yang memetakan objek yang dipandang
sama menuju ruang dengan tipe topologi yang sama (Zomorodian 2005).
Karakteristik Euler merupakan suatu invariant topologi, di mana dapat
mendeskripsikan topologi. Karakteristik Euler dapat membedakan objek topologi
berdimensi rendah (dimensi dua) namun gagal untuk membedakan dimensi yang
lebih tinggi.
Definisi Karakteristik Euler
Misal
simplicial complex dan
�( ) adalah
(Zomorodian 2005)
�
= {� ∈ | dim � = } . Karakteristik Euler
dim
=
=0
−1 | |
10
Karakteristik Euler adalah invariant integer untuk | |, yang berada dalam
ruang .
Free Abelian Group
Misal
Merupakan grup abelian, { } index dari keluarga , dan
menjadi subgrup dari
yang dibangkitkan oleh { } . Jika setiap grup
merupakan siklik takhingga dan jika merupakan hasil jumlah langsung dari
maka
merupakan free abelian group yang mempunyai basis
grup
(Munkres 2000).
Himpunan ℤ merupakan suatu free abelian group karena ℤ dapat
dikonstruksi dari 1 yang merupakan grup siklik takhingga. Lalu contoh lain
akan dikonstruksi sebuah free abelian group dari himpunan = { , }.
=
+
,
,
∈
ℤ,
di
mana
(
)
adalah
suatu
free
abelian
group
yang
1
2
1
2
merupakan suatu kombinasi linear dari elemen-elemen . Operasi biner dari free
abelian group
( ) adalah +,
Grup Homologi
Definisi Chain Groups
Chain group dari suatu simplicial complex
, + adalah free abelian
group pada -simplices yang berorientasi, di mana � = −[�] jika � = � dan �
dan � mempunyai orientasi yang berbeda. Elemen dari ( ) adalah suatu chain,
[� ] , ∈ ℤ, � ∈ (Zomorodian 2005).
Contoh. Misal 0 , 1 dan 2 menjadi verteks dari segitiga pada suatu ruang
Euclidean. Misal menjadi simplicial complex yang memiliki segitiga tersebut,
bersama dengan himpunan verteks dan edge segitiga tersebut. Setiap 0-chain dari
dapat diekspresikan secara unik dalam bentuk 0 0 + 1 1 + 2 2 untuk
nilai 0 , 1 , 2 ∈ ℤ. Hal ini merupakan suatu 1 -chain dari yang juga dapat
diekspresikan secara unik dalam bentuk 0 0 , 1 + 1 1 , 2 + 2 2 , 0
untuk 0 , 1 , 2 ∈ ℤ . Suatu 2 -chain dari
dapat diekspresikan secara unik
dalam bentuk
,
,
untuk
∈
ℤ.
0 1 2
Definisi Boundary Homomorphism
Misal
menjadi suatu simplicial complex dan � ∈ , � = 0 , 1 , … ,
.
Boundary homomorphism � :
→ −1 ( ) didefinisikan dengan � � =
(−1) 0 , 1 , … , , … ,
, di mana
dihapus dari sekuens (Zomorodian
2005).
Contoh. Misal diletakkan boundary dari simplices berorientasi di dalam
gambar. �1 , = − , �2 , , = , − , + , = , + , +
[ , ], �3 , , , = , , − , , + , , − [ , , ].
Definisi Cycle, Boundary
Grup cycle
adalah
= ker � . Grup boundary
(Zomorodian 2005).
adalah
= im�
+1
11
Teorema Dua Boundary
� −1 � 0 , 1 , … ,
= 0,untuk semua .
Bukti. � −1 � 0 , 1 , … ,
= � −1
=
<
−1
−1
0, 1, … ,
+
>
= 0.
(Zomorodian 2005)
Chain Complex
Dari
dimensional
sekuens berikut ini,
� +1
−1
−1
(−1)
,…,
−1
,…,
0, 1 , … ,
0, 1, … ,
,…,
,…,
,…,
dan boundary homomorfism dapat dikonstruksi suatu
�
� −1
�1
�0
0
…
0
−1
1
0( )
Dengan � � −1 ( ) = 0 untuk semua nilai . Catatan bahwa jika dimensi
< 0 maka
= 0 dan
+ 1 -simplex di .
+1 = 0 karena tidak ada
Sekuens tersebut disebut chain complex.
Definisi Grup Homologi
Grup homologi adalah
=
= ker �
im�
+1
(Zomorodian 2005).
Betti Number
Betti number ke- yang dinotasikan dengan
, dari suatu simplicial
complex adalah suatu jumlah lubang berdimensi di dalam complex.
Secara intuitif Betti number dapat dijelaskan sebagai berikut:
Lubang 0-dimensi menjadi sebuah unit yang terhubung (titik).
Lubang 1-dimensi menjadi sebuah lingkaran atau independent tunnel.
Lubang 2-dimensi menjadi sebuah ruang tak tertutup.
Betti number juga merupakan invariant topologi, seperti juga karakteristik
Euler dan grup homologi. Grup homologi merupakan salah satu cara untuk
mendeskripsikan topologi dan cara termudah utuk mendeskripsikan grup
homologi dengan Betti number. Grup homologi ini dapat mendeskripsikan suatu
ruang topologi secara feasible yang artinya dapat dipakai secara komputasi. Lalu
akan diberikan Betti number:
= rank
, = 0,1,2, …
(2.4)
= Betti number dimensi ke= grup homologi dimensi ke- .
(Zomorodian 2005)
12
HASIL DAN PEMBAHASAN
Dalam bab pembahasan ini akan dikonstruksi grup homologi dari sebuah 2simplex yang berupa simplicial complex . Selanjutnya dibuktikan bahwa torus
dan simplicial complex homeomorfik. Lalu akan diberikan alternatif pencarian
karakteristik Euler dari Torus dan simplicial complex .
Konstruksi Grup Homologi Simplicial Complex
Diketahui Sebuah 2 - simplex mempunyai himpunan simplicial complex
= {[ 0 ], [ 1 ], [ 2 ], [ 0 , 1 ], [ 1 , 2 ], [ 2 , 0 ], [ 0 , 1 , 2 ]} . Di mana 0 = (0,3),
1 = (4,0), 2 = (4,3), 0 , 1 , 2 ∈ ℤ × ℤ.Akan dikonstruksi suatu -chain group
( ), + dari simplicial complex . Pertama akan dikontruksi 0 - chain , dari
himpunan �0 = { 0 , 1 , 2 } lalu dibuat suatu free abelian group, 1 0 + 2 1 +
3 2 yang merupakan anggota 0 - chain . Selanjutnya konstruksi 1 -chain dari
himpunan �1 = {[ 0 , 1 ], [ 1 , 2 ], [ 2 , 0 ]} Lalu dibuat suatu free abelian group,
1[ 0, 1] +
2[ 1, 2] +
3 [ 2 , 0 ] yang merupakan anggota 1 - chain . Dan
terakhir konstruksi 2-chain dari himpunan �2 = {[ 0 , 1 , 2 ]} dibuat free abelian
group, 0 [ 0 , 1 , 2 ] yang merupakan anggota 2-chain .
Selanjutnya akan dikonstruksi chain complex dari simplicial complex .
0→ 2
→ 1
→ 0
→0
Karena 1 0 + 2 1 + 3 2 elemen 0-chain maka 0 , 1 , 2 adalah grup
(
).
Begitu juga 1 [ 0 , 1 ] + 2 [ 1 , 2 ] + 3 [ 2 , 0 ] yang merupakan elemen
0
1 - chain maka [ 0 , 1 ], [ 1 , 2 ], [ 2 , 0 ]
adalah grup 1 ( ) . Dan juga
[
,
,
]
yang
merupakan
elemen
2
chain
maka [ 0 , 1 , 2 ] adalah grup
0 0 1 2
2 ( ). Dapat dituliskan sebagai berikut,
0( ) =
0, 1, 2
= , ,
1
=
2
Di mana = [ 0 , 1 ], = [ 1 , 2 ], = [ 2 , 0 ], dan = [ 0 , 1 , 2 ].
Setelah itu akan dicari homologi dari simplicial complex .
Karena � 0 = � 0 = � 0 = 0 sehingga = 0 , 1 , 2 = 0 ( ).
Dengan 0
�( ) = �[ 0 , 1 ]
�( ) = �[ 2 , 0 ]
= 1− 0
= 0− 2
�( ) = [ 1 , 2 ]
= 2− 1
0
grup
1
= 0/ 0
= 0, 1, 1 / 1 −
= 0 − 1, 1 − 2,
= 0 − 1, 1 − 2,
= 2
=ℤ
didapat dari,
0,
2
2
2
/
/
−
1, 0
−
−
0
0
−
2
−
,
−
1 1
1, 1
2, 0
2
13
�
1
lalu
=� 1 + 2 + 3
= �( 1 [ 0 , 1 ] + 2 [ 1 , 2 ] + 2 [ 2 , 0 ])
= 1 ([ 1 ] − [ 0 ]) + 2 ([ 2 ] − [ 1 ]) + 3 ([ 0 ] − [ 2 ])
= ( 1 − 2 )[ 1 ] + ( 2 − 3 )[ 2 ] + ( 3 − 1 )[ 0 ]
0 = ( 1 − 2 )[ 1 ] + (
Sehingga 1 = 2 , 2 = 3 , 3 =
1 =
2 =
3
didapatlah 1 = + +
1(
) = 1/ 1
= + +
=0
2
1
−
3 )[ 2 ]
1
/
+ +
Kemudian 2 didapatkan dari
�( 0 ) = � 0 [ 0 , 1 , 2 ]
= 0 ([ 1 − 0 ] + [ 2 − 1 ] + [
Jika � 2 ( ) = 0 maka,
0 = 0 ([ 1 − 0 ] + [ 2 − 1 ] + [ 0 −
Jadi 2 = 0,
dilanjutkan dengan
2 ( ) = 2/ 2
= 0/0
=0
2
+(
3
−
1 )[ 0 ]
= � = �[ 0 , 1 , 2 ]
= [ 0, 1] + [ 1, 2 ] + [ 2,
= + +
0
−
2 ])
0]
2 ])
⟷
0
=0
= �0
=0
Penggunaan Teorema Homeomorphy 2-Manifold
Didefinisikan 1 adalah sebuah lingkaran pada ℝ2 . Himpunan 1 ini
dinotasikan sebagai berikut:
1
= {( , )| 2 + 2 = 1}
Ruang 1 merupakan topologi dengan basis
di mana
merupakan
himpunan dari busur-busur pada lingkaran.
Didefinisikan bahwa suatu torus di mana ∶ 1 × 1 adalah topologi
dengan basis × di mana dan merupakan basis dari 1 (Munkres 2000).
Gambar 2 Torus
Didefinisikan simplicial complex
= {1,2,3,4,5,6,7,8,9} dan himpunan,
dengan himpunan vertek-verteks vert
14
Gambar 3 Simplicial complex
= { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 1,2 , 2,3 , 3,1 , 4,1 , 5,2 , 6,3 , [4,
5], 5,6 , 6,4 , 7,4 , 8,5 , 9,5 , 7,8 , 8,9 , 1,5 , 2,6 , 3,4 , 4,8 , 5,9 , [6
,7], 7,2 , 8,3 , 9,1 , 9,7 , 1,7 , 2,8 , 3,9 , 1,5,2 , 4,1,5 , 2,6,3 , 5,2,6 ,
3,4,1 , 6,3,1 , 4,8,5 , 7,4,8 , 5,9,6 , 8,5,9 , 6,7,4 , 9,6,7 , 7,2,8 , [1,7,2]
8,3,9 , [2,8,3] 9,1,7 , [3,9,1]}.
(2.1)
Kemudian ada polyhedron | | yang merupakan gabungan dari semua
anggota , dan polyhedron | | merupakan topologi (Zomorodian 2005).
Transformasi torus dengan definisi basic 2 -manifold sehingga berupa
manifold dimensi dua. Dapat dilihat pada Gambar 4, yang merubah himpunan
torus tersebut menjadi = { , , , }.
Gambar 4 Basic 2-manifold torus.
Lalu akan dibuktikan bahwa torus
dan simplicial complex
adalah
homeomorfik. Untuk membuktikan hal tersebut pada umumnya akan
menggunakan definisi homeomorfisma. Namun itu terlalu sulit untuk dilakukan,
maka digunakanlah teorema berikut:
Teorema Homeomorphy 2-Manifold
Permukaan kompak tertutup �1 dan �2 adalah homeomorfik jika hanya
jika,
a) � �1 = � �2
b) Kedua permukaannya orientable atau keduanya tidak orientable
(Zomorodian 2005).
Teorema ini dapat digunakan pada ruang topologi yang berupa manifold
dimensi dua. Dalam kasus ini ruang topologi ( , | |) merupakan objek dua
dimensi (lihat Gambar 5) dan juga torus yang sudah di transformasi dengan
definisi basic 2-manifold. Selanjutnya ruang topologi ( , | |) akan disebutkan
menjadi simplicial complex .
15
Untuk menggunakan teorema tersebut pertama harus mencari karakteristik
Euler dari torus dan simplicial complex . Nilai Karakteristik Euler didapatkan
dengan menggunakan definisi karakteristik Euler, dimulai dengan mencari nilai
karakteristik Euler torus ;
� 1 = 2=0 −1 | |
= −1 0 | 0 |+ −1 1 | 1 |+ −1 2 | 2 |
=1−2+1
=0
Setelah itu mencari nilai karakteristik Euler dari simplicial complex ,
�
= 2=0 −1 | |
= −1 0 | 0 + −1 1 | 1 + −1 2 | 2 |
= 9 − 27 + 18
=0
Poin a) terpenuhi karena kedua nilai karakteristik yang didapat bernilai sama.
Bila melihat Gambar 3 dan Gambar 4 terlihat bahwa masing-masing torus dan
simplicial complex mempunyai orientasi, poin b) terpenuhi. Sehingga dengan
menggunakan Teorema homeomorphy 2-manifold dapat diyatakan bahwa torus T
dan simplicial complex itu homeomorfik.
Selanjutnya akan diberikan alternatif pencarian karakteristik
dari
simplicial complex dan torus
.
Penggunaan Teorema Euler Poincare
Untuk dapat mencari karakteristik Euler di mana dibutuhkan suatu Betti
number dari torus dan simplicial complex . Betti number didapatkan dari rank
grup homologi. Sehingga langkah pertama yang dilakukan yaitu mencari Betti
number dari torus dengan mencari grup homologi torus . Di mana teorema
berikut ini yang akan digunakan:
Teorema Euler Poincare
Jika adalah suatu simplicial complex hingga maka karakterisitik Euler
sama dengan alternatif penjumlahan Betti number dari setiap dimensi:
�
=
−1
( )
(2.2)
Bukti
Diperlukan beberapa fakta dari aljabar linear.
pertama. Jika Suatu , adalah ruang vektor dan : → operator linear
maka /ker
≃ im .
Fakta kedua. Jika ruang bagian dari ruang vektor maka dim / =
dim − dim .
Ada empat Vektor yang terlibat dalam peritungan Betti number dari :
grup chain, grup cycle, grup boundary dan grup homologi. Ini merupakan notasi
dimensi mereka:
= dim ( ) ,
= dim
,
= dim
,
=
dim ( ).
Ada operator boundary � :
→ −1 ( ) , lalu definisikan
=
ker � , dan
= Im � +1 . Fakta satu dan fakta dua mengimplikasikan suatu,
16
dim − dim ker = dim im
Kemudian mengaplikasikannya kepada operator boundary di atas, didapatkan:
dim ( ) − dim ker � = dim im � . Atau ,
− = −1
(2.3)
Mengingat bahwa
= ( )/ ( ) . Maka dari fakta dua
mengakibatkan.
= −
(2.4)
Langkah selanjutnya, misalkan dimensi tertinggi dari , maka:
subtitusikan persamaan (2.4)
0 − 1 + 2 − ⋯ + −1
= 0 − 0 − 1 − 1 + 2 − 2 − ⋯ + −1 ( − ).
− (−1)
.
= 0 − 0 − 1 + 1 + 2 − 2 − ⋯ + −1
= 0 − 1 − 1 − 1 + 2 − 2 + 2 − 3 − 3 − ⋯ + (−1)
−
−1 ( +1 − +1 ).
= 0 − 1 + 2 − 3 + ⋯ + (−1) +1 + (−1) +1 .
= 0 − 1 + 2 − 3 + ⋯ + 0 + 0.
= �( ).
∎
Kelebihan bila mencari karakteristik Euler dengan menggunakan teorema
ini adalah akan didapatkan gambaran geometri yang lebih rinci dari Betti number
yang didapat bila dibandingkan dengan hanya mengetahui nilai karakteristik Euler
saja dari definisi.
Untuk mempermudah penggunaan grup homologi, ditambahkan satu edge
(Wieldberg 2012f). Sehingga terjadi perubahan pada torus menjadi Gambar 5,
Gambar 5 Basic 2-manifold dengan tambahan
edge .
Lalu akan dimulai menghitung grup homologi torus .
Akan dibuat chain complex terlebih dahulu,
0→ 2→ 1→ 0→0
Di mana 0 =
, 1 = , , , 2 = , . Kemudian akan dicari
, ∈ ℤ.
0
=
0
1
=
1
0
1
≃
≃
/0 ≃ ℤ
(2.5)
, ,
+
+
≃
+ + , ,
+ +
≃
,
≃ ℤ⨁ℤ
(2.6)
17
2
=
2
2
≃
= 0 untuk
−
0.
0≃ℤ
(2.7)
(2.8)
Setelah mendapat grup homologi torus
number,
0 = rank 0 = 1.
1 = rank 1 = 2.
2 = rank 2 = 1.
= rank
= 0,
3.
dilanjutkan dengan mencari Betti
(2.9)
(2.10)
(2.11)
(2.12)
Jadi Betti number dari torus adalah 1 2 1.
Lalu setelah mengetahui Betti number dari torus maka akan digunakan
Teorema Euler Poincare untuk mencari nilai karakteristik Euler dari torus
tersebut.
Berdasarkan Betti number yang didapat sebelumnya akan dicari
karakteristik Euler dari torus tersebut (lihat Persamaan (2.9), (2.10). (2.11),
(2.12)),
�
= 0 − 1 + 2 − ⋯ + (−1)
.
= 1 − 2 + 1 − 0 + ⋯ + 0;
= 0 Untuk
2
= 0.
Setelah itu langkah ketiga. Dengan menggunakan peranti lunak Matlab
dapat dihitung Betti number dari simplicial complex , pemakaian peranti lunak
Matlab dikarenakan kesulitan yang dihadapi saat mencari Betti number dari
simplicial complex .
Akan dimulai mengkonstruksi dengan menggunakan perangkat lunak
Matlab. Kemudian diberikan kodingan dari pembuatan simplicial complex
(lampiran 1). Setelah memasukan koding sebelumnya lalu untuk menunjukan
Betti number dari objek tersebut dengan menuliskan perintah berikut:
% get persistence algorithm over Z/2Z
>>persistence = api.Plex4.getModularSimplicialAlgorithm(3, 2);
% compute the intervals
>>intervals = persistence.computeIntervals(stream);
% get the infinite barcodes
>>infinite_barcodes = intervals.getInfiniteIntervals();
% print out betti numbers array
>>betti_numbers_array = infinite_barcodes.getBettiSequence()
Sehingga output yang muncul ialah:
betti_numbers_array =
1
2
1
18
Nilai Betti number simplicial complex
penggunaan Teorema Euler Poincare,
�
= 0− 1+ 2
=1−2+1
=0
yang didapat akan dipakai dalam
SIMPULAN DAN SARAN
Simpulan
Didapat grup homologi simplicial complex adalah 0 = ℤ, dan
=0
untuk
1. Lalu dalam subbab selanjutnya terlihat bahwa torus dan simplicial
complex itu homeomorfik dengan menggunakan Teorema homeomorphy 2 manifold. karena terlihat karakteristik Euler dari keduanya bernilai sama yaitu
bernilai nol. Dan juga keduanya mempunyai orientasi. Dengan menggunakan
Teorema homeomorphy 2-manifold didapat kesimpulan bahwa torus
dan
simplicial complex
adalah homeomorfik sehingga ada
∶ →
yang
memetakan ruang topologi menuju ruang topologi . Dan fungsi tersebut
berupa fungsi homeomorfisma.
Didapatkan hasil pada pembahasan yaitu pertama nilai Betti number torus
adalah 1 2 1 kemudian didapat juga karakteristik Euler torus adalah 0 dengan
penggunaan Teorema Euler Poincare. Dari langkah selanjutnya didapatkan
karakteristik Euler simplicial complex yang bernilai sama dengan karakteristik
Euler dari torus juga menggunakan Teorema Euler Poincare.
Kemudian Betti number yang didapat menggambarkan bahwa bentuk
geometri torus dan simplicial complex adalah suatu satu kesatuan yang utuh
( 0 = 1) , disusun dari dua lingkaran ( 1 = 2 ), dan mempunyai sebuah void
( 2 = 1).
Saran
Untuk mengembangkan karya ilmiah ini dapat dibuat komputasi persistent
homology dari suatu objek topologi. Lalu ruang topologi yang menarik untuk
dibahas yaitu klein bottle, bola, projevtive plane dan tetrahedron.
DAFTAR PUSTAKA
Fraleigh JB. 1994. A First Course in Abstract Algebra. Ed ke-5. Michigan
(US):Addison-Wesley.
Leon SJ. 2001. Aljabar Linear dan Aplikasinya. Bondan A, penerjemah. Hardani
HW, editor. Jakarta (ID): Penerbit Erlangga. Terjemahan dari:Linera Algebra
with Application. Ed ke-5.
19
Munkres JR. 1984. Element of Algebreic Topology. Ed ke-1. Massachusetts
(US):Addison-Wesley.
Munkres JR. 2000. Topology. Ed ke-2. New Jersey (US): Prentice Hall.
Sexton H, Vedjemo-Johannson M. Jplex simplicial complex library. [diunduh
2013 July 20]. Tersedia pada: www.comptop.standford.edu/program/jplex.
Steward J. 2001. Calculus. Ed ke-4. Kalkulus. Susila IN, Gunawan H, penerjemah.
Mahanani N, Hardani W, editor. Jakarta (ID): Penerbit Erlangga. Terjemahan
dari:Calculus. Ed ke-4.
Wilkins DR. 2008. Algabreic Topology. Ed ke-1.[tempat tidak diketahui]:
[penerbit tidak diketahui].
Wieldberg NJ. 2012a. Algabreic Topology 30. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop30.
Wieldberg NJ. 2012b. Algabreic Topology 31. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop31.
Wieldberg NJ. 2012c. Algabreic Topology 32. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop32.
Wieldberg NJ. 2012d. Algabreic Topology 33. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop33.
Wieldberg NJ. 2012e. Algabreic Topology 34. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop34.
Wieldberg NJ. 2012f. Algabreic Topology 35. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop35.
Zomorodian AJ. 2005. Topology for Computing. Ciarlet PG, Iserles A, Kohn RV,
Wright MH, editor. Cambridge (UK):Cambridge Pr.
20
Lampiran 1 Koding bentukan simplicial complex .
% We use 9 vertices, which we think of as a 3x3 grid numbered
as a
% telephone keypad. We identify opposite sides. For a picture,
see
% "javaplex_tutorial_solutions.pdf".
clc; clear; close all;
% get a new ExplicitSimplexStream
stream = api.Plex4.createExplicitSimplexStream();
% add simplices
for i = 1:9
stream.addVertex(i);
end
stream.addElement([1,
stream.addElement([2,
stream.addElement([3,
stream.addElement([7,
stream.addElement([8,
stream.addElement([9,
stream.addElement([4,
stream.addElement([5,
stream.addElement([6,
stream.addElement([1,
stream.addElement([7,
stream.addElement([4,
stream.addElement([2,
stream.addElement([8,
stream.addElement([5,
stream.addElement([3,
stream.addElement([9,
stream.addElement([6,
stream.addElement([2,
stream.addElement([3,
stream.addElement([8,
stream.addElement([1,
stream.addElement([9,
stream.addElement([5,
stream.addElement([7,
stream.addElement([6,
stream.addElement([4,
2]);
3]);
1]);
8]);
9]);
7]);
5]);
6]);
4]);
7]);
4]);
1]);
8]);
5]);
2]);
9]);
6]);
3]);
7]);
8]);
4]);
9]);
5]);
1]);
6]);
2]);
3]);
stream.addElement([1,
stream.addElement([2,
stream.addElement([2,
stream.addElement([3,
stream.addElement([1,
stream.addElement([1,
stream.addElement([4,
stream.addElement([4,
stream.addElement([5,
stream.addElement([5,
stream.addElement([6,
stream.addElement([4,
2,
7,
3,
8,
3,
7,
7,
5,
8,
6,
7,
6,
7]);
8]);
8]);
9]);
9]);
9]);
8]);
8]);
9]);
9]);
9]);
7]);
21
stream.addElement([1, 4, 5]);
stream.addElement([1, 2,
stream.addElement([2, 5,
stream.addElement([2, 3,
stream.addElement([3, 6,
stream.addElement([1, 3,
stream.finalizeStream();
5]);
6]);
6]);
4]);
4]);
22
RIWAYAT HIDUP
Penulis yang bernama Qowiyyul Amin Siregar lahir di Medan pada tanggal
07 Oktober 1991, putra pertama dari Muslil siregar dan Enjuh Juhaeriah. Riwayat
pendidikan Penulis SDN Pengadilan 2 (1997), SDIT Ummul Quro (1999), SMPN
2 Bogor (2003), SMAN 3 Bogor (2006), Institut Pertanian Bogor (2009-2014).
Penulis mempunyai pengalaman organisasi sebagai pengurus Gugus
Mahasiswa Matematika (GUMATIKA) periode 2010/2011, dan anggota Badan
Pengawas GUMATIKA periode 2011/2012. Penulis juga aktif mengikuti
kepanitiaan seperti IPB Art Contest sebagai anggota. Serta menjadi asisten
Kalkulus 2 pada tahun 2011/2012 , asisten praktikum Algoritma dan
Pemrograman pada tahun 2012/2013, asisten Persamaan Differensial Biasa pada
tahun 2012/2013, dan aktif menjadi pengajar di Bimbingan Belajar Gugus
Mahasiswa Matematika untuk mata kuliah Pengantar Matematika dan Kalkulus I
program Tingkat Persiapan Bersama pada tahun 2010/2012.
Penulis aktif mengikuti kompetisi olahraga tingkat fakultas. Beberapa
prestasi yang diraih penulis antara lain Juara II Kompetisi Olahraga Cabang
Basket Tingkat Fakultas MIPA pada tahun 2010/2011 dan 2012/2013, dan Juara
III Kompetisi Olahraga Cabang Basket Tingkat Fakultas MIPA pada tahun
2013/2014.
DAN TEOREMA EULER POINCARE PADA TORUS � DAN
SIMPLICIAL COMPLEX
QOWIYYUL AMIN SIREGAR
DEPARTEMEN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
INSTITUT PERTANIAN BOGOR
BOGOR
2014
PERNYATAAN MENGENAI SKRIPSI DAN SUMBER
INFORMASI SERTA PELIMPAHAN HAK CIPTA
Dengan ini saya menyatakan bahwa skripsi berjudul Penggunaan Teorema
Homeomorphy 2-Manifold dan Teorema Euler Poincare pada Torus � dan
Simplicial Complex � adalah benar karya saya dengan arahan dari komisi
pembimbing dan belum diajukan dalam bentuk apa pun kepada perguruan tinggi
mana pun. Sumber informasi uang berasal atau dikutip dari karya yang diterbitkan
maupun tidak diterbitkan dari penulis lain telah disebutkan dalam teks dan
dicantumkan dalam Daftar Pustaka di bagian akhir skripsi ini.
Dengan ini saya melimpahkan hak cipta dari karya tulis saya kepada Institut
Pertanian Bogor.
Bogor, Mei 2014
Qowiyyul Amin Siregar
NIM G54090061
ABSTRAK
QOWIYYUL AMIN SIREGAR. Penggunaan Teorema Homeomorphy 2Manifold dan Teorema Euler Poincare pada Torus dan Simplicial Complex .
Dibimbing oleh SUGI GURITMAN dan NUR ALIATININGTYAS.
Dua ruang topologi berdimensi dua dikatakan homeomorfik apabila
memiliki invarian topologi yang sama, di mana salah satu invarian topologi yang
digunakan adalah karakteristik Euler. Dasar teorema yang digunakan untuk
membedakan ruang topologi berdimensi dua adalah Teorema Homeomorphy 2Manifold dan Teorema Euler Poincare. Teorema Homeomorphy 2-Manifold
melihat nilai karakteristik Euler dari ruang topologi untuk membedakan ruang
topologi berdimensi dua. Lalu Teorema Euler Poincare untuk alternatif pencarian
nilai karakteristik Euler dari nilai Betti number, yang juga merupakan invarian
topologi. Tujuan karya ilmiah ini adalah untuk melihat kehomeomorfisan torus
dan Simplicial Complex . Ruang topologi torus dan simplicial complex
memiliki nilai karakteristik Euler yang sama, yaitu bernilai dua. Berdasarkan
Teorema Homeomorphy 2-Manifold Torus dan simplicial complex
dapat
dikatakan homeomorfik.
Kata kunci: topologi, homeomorfis, Euler, torus, simplicial
ABSTRACT
QOWIYYUL AMIN SIREGAR. The Use of Homeomorphy 2-Manifold’s
Theorem and Euler Poincare’s Theorem on Torus and Simplicial Complex .
Supervised by SUGI GURITMAN and NUR ALIATININGTYAS.
Two dimensional topological spaces are said to be homeomorphic if they
have the same topological invariant, where one of topological invariant used is an
Euler characteristic. Homeomorphy 2-Manifold’s Theorem and Euler Poincare’s
Theorem are used to distinguish two topological spaces. Homeomorphy 2Manifold’s Theorem uses Euler characteristic to identify two dimensional
topological spaces. Euler Poincare’s Theorem is an alternative way to find Euler
characteristic with Betti number, which is topological invariant as well. The
objective of this paper is to investigate the homeomorphism of torus and
simplicial complex . Topological space torus and simplicial complex have the
same Euler characteristic, which is two. Based on Homeomorphy 2-Manifold’s
Theorem topological space torus and simplicial complex is homeomorphic.
Keywords: topology, homeomorphism, Euler, torus, simplicial
PENGGUNAAN TEOREMA HOMEOMORPHY 2-MANIFOLD
DAN TEOREMA EULER POINCARE PADA TORUS � DAN
SIMPLICIAL COMPLEX
QOWIYYUL AMIN SIREGAR
Skripsi
sebagai salah satu syarat untuk memperoleh gelar
Sarjana Sains
pada
Departemen Matematika
DEPARTEMEN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
INSTITUT PERTANIAN BOGOR
BOGOR
2014
Judul Skripsi : Penggunaan Teorema Homeomorphy 2-Manifold dan Teorema
Euler Poincare pada Torus dan Simplicial Complex
Nama
: Qowiyyul Amin Siregar
NIM
: G54090061
Disetujui oleh
Dr Sugi Guritman
Pembimbing I
Dra Nur Aliatiningtyas, MS
Pembimbing II
Diketahui oleh
Dr Toni Bakhtiar, MSc
Ketua Departemen
Tanggal Lulus:
PRAKATA
Puji dan syukur penulis panjatkan kepada Allah subhanahu wa ta’ala atas
segala karunia-Nya sehingga karya ilmiah ini berhasil diselesaikan. Tema yang
dipilih dalam penilitian yang dilaksanakan sejak bulan Maret 2013 ini adalah
topologi, dengan judul Penggunaan Teorema Homeomorphy 2-Manifold dan
Teorema Euler Poincare pada Torus dan Simplicial Complex .
Terima Kasih penulis ucapkan kepada Bapak Dr Sugi Guritman dan Ibu Dra
Nur Aliatiningtyas selaku pembimbing, serta Bapak Muhammad Ilyas, MSi yang
telah banyak memberi saran. Di samping itu, Penghargaan penulis sampaikan
kepada Bapak Regi Wahyu selaku Presiden PT. Mediatrac, Bapak Imron Zuhri
selaku komisioner PT. Mediatrac, Bapak Tom Malik selaku CEO PT. Mediatrac
dan Bapak HasanYusuf selaku Manajer Serta bapak Lurino Bertorani. Ungkapan
terimakasih juga disampaikan kepada Ayah, Ibu, teman-teman Departemen
Matematika Angkatan 45, 46, dan 47 atas segala doanya.
Semoga karya ilmiah ini bermanfaat.
Bogor, Mei 2014
Qowiyyul Amin Siregar
DAFTAR ISI
DAFTAR GAMBAR
vi
DAFTAR LAMPIRAN
vi
PENDAHULUAN
1
Latar Belakang
1
Tujuan Penelitian
2
TINJAUAN PUSTAKA
2
HASIL DAN PEMBAHASAN
12
SIMPULAN DAN SARAN
18
Simpulan
18
Saran
18
DAFTAR PUSTAKA
18
LAMPIRAN
13
RIWAYAT HIDUP
15
DAFTAR GAMBAR
Beberapa objek 2-manifold.
Torus
Simplicial complex
Basic 2-manifold torus.
Basic 2-manifold dengan tambahan edge .
4
13
14
14
16
DAFTAR LAMPIRAN
Koding bentukan simplicial complex .
20
PENDAHULUAN
Latar Belakang
Topologi adalah cabang ilmu matematika yang memelajari bentuk dan
ruang. Secara formal topologi dapat dikatakan ilmu tentang sifat yang dilihat
secara kualitatif terhadap objek-objek yang tidak berubah dalam beberapa macam
transformasi. Untuk lebih sederhana topologi adalah ilmu tentang kekontinuan
dan keterhubungan.
Suatu permasalahan dasar pada ruang topologi ialah penentuan apakah dua
ruang tersebut homeomorfik atau tidak (isomorfik dalam struktur ruang topologi
atau tidak). Untuk memperlihatkan apakah dua ruang dalam ruang topologi
tersebut homeomorfik dapat dilihat dengan mengkonstruksi sebuah fungsi bijektif,
dengan fungsi invers yang kontinu yang memetakan suatu ruang ke ruang lainnya.
Lalu untuk membuktikan bahwa dua ruang topologi tersebut tidak homeomorfik
perlu memperlihatkan tidak ada fungsi seperti yang disebutkan sebelumnya.
Namun cara seperti itu sangat sulit untuk dilakukan. Cara yang biasa dilakukan
untuk menyelesaikan masalah yang disebutkan sebelumnya (menunjukan dua
ruang topologi tidak homeomorfik) ialah dengan menemukan suatu sifat atau ciri
ruang topologi (contoh, suatu sifat invariant dalam fungsi homeomorfisma) yang
hanya dimiliki satu ruang topologi tersebut dan tidak dimiliki ruang topogi
lainnya (Munkres 1984).
Suatu ciri atau sifat dasar suatu ruang topologi tidak selalu dapat menjadi
acuan untuk menentukan apakah ada suatu homeomorfisma atau tidak. Untuk
mengklasifikasikan permukaan kompak dengan dasar homeomorfisma
membutuhkan suatu invariant topologi yang ‘luar biasa’ dibandingkan yang lain.
Sehingga dapat menyelesaikan masalah apakah dua ruang topologi tersebut
homeomorfik (Munkres 1984).
Aljabar topologi sendiri ditemukan oleh dua orang matematikawan yaitu
Poincare dan Betti yang bertujuan untuk menemukan suatu invariant topologi.
Poincare memperkenalkan suatu grup yang disebut Fundamental Group. Dan
Betti memperkenalkan asosiasi dari setiap ruang dengan suatu sekuens dari grup
abelian yang disebut grup homologi. Di mana grup homologi ini merupakan suatu
invariant topologi juga. Jadi grup homologi dapat menjadi salah satu cara untuk
menyelesaikan masalah homeomorfik dengan kelebihan grup homologi lebih
mudah untuk dihitung dibandingkan dengan Fundamental Group (Munkres c984).
Betti number adalah cara yang paling mudah untuk mendeskripsikan grup
homologi. Simplicial complex adalah objek amatan yang berada pada ruang
topologi.
Pada karya ilmiah ini akan dibahas mengenai pemakaian Teorema
homeomorphy 2-manifold dan Teorema Euler Poincare. Penggunana Teorema
homeomorphy 2-manifold dipakai untuk melihat homeomorfisma pada torus
dan simplicial complex . Dan penggunaan Teorema Euler Poincare untuk
mencari karakteristik Euler di mana Betti number diperlukan di dalamnya.
2
Tujuan Penelitian
Penulisan karya ilmiah ini bertujuan untuk:
1. Mengkontruksi grup homologi dari sebuah 2-simplex yang berupa simplicial
complex .
2. Menggunakan Teorema homeomorphy 2-manifold untuk menunjukan
kehomeomorfisan torus dan simplicial complex .
3. Mencari nilai karakteristik Euler torus
dan simplicial complex
menggunakan Teorema Euler Poincare.
TINJAUAN PUSTAKA
Pada bab ini akan diberikan definisi-definisi mengenai teori himpunan dan
fungsi, ruang topologi, teori grup, ruang vektor, simplicial complex, karakeristik
Euler, free abelian group, grup homologi dan Betti number.
Teori Himpunan dan Fungsi
Definisi Koleksi Himpunan
Koleksi adalah sebuah himpunan yang anggotanya berupa himpunan-himpunan
(Munkres 2000).
Definisi Produk Cartesian
Diberikan himpunan dan himpunan . Didefinisikan
kartesian di mana,
× =
,
∈ dan ∈
(Munkres 2000)
×
merupakan produk
.
Definisi Fungsi, Domain, Image
Suatu fungsi : → adalah aturan yang memadankan setiap elemen dalam
himpunan secara tepat ke satu elemen yang disebut ( ), dalam himpunan .
Himpunan disebut daerah asal (domain) fungsi, daerah hasil (image) adalah
himpunan semua nilai ( ) (Stewart 2001).
Definisi Injektif
Suatu fungsi
= ( ′ ) maka
: →
dikatakan injektif (atau fungsi satu-satu) jika
= ′ (Munkres 2000).
Definisi Surjektif
Fungsi
: →
dikatakan
surjektif
ada ∈ , di mana = ( ) (Munkres 2000).
jika
∈
maka
3
Definisi Bijektif
Jika : → keduanya surjektif dan injektif, maka dikatakan
(atau dikatakan korespondensi satu-satu) (Munkres 2000).
bijektif
Ruang Topologi
Definisi Topologi
Sebuah topologi pada himpunan adalah sebuah koleksi � dari koleksi himpunan
bagian yang mempunyai beberapa ciri:
1. ∅ dan ada di dalam �.
2. Gabungan dari anggota-anggota dari semua bagian koleksi berhingga �
ada di dalam �.
3. Irisan dari anggota-anggota dari semua bagian koleksi berhingga � ada di
dalam � .
Pasangan terurut ( , � ) disebut ruang topologi. Selanjutnya Pasangan
terurut ( , �) akan dinyatakan sebagai saja. Himpunan bagian yang dimuat
dalam � disebut himpunan terbuka (Munkres 2000).
Definisi Basis
Jika adalah sebuah himpunan, sebuah basis dari topologi pada adalah koleksi
� dari himpunan bagian yang memenuhi pernyataan berikut:
1. Untuk setiap ∈ , terdapat paling sedikit satu elemen yang memuat .
2. Jika berada pada irisan dari dua elemen B1 dan B2 , maka ada sebuah
elemen B3 yang mengandung di mana B3 B1 B2 .
Jika � basis, maka topologi � dibangkitkan dari � (Munkres 2000).
Definisi Produk Topologi
Misal
dan menjadi ruang topologi. Produk
(Munkres 2000).
×
adalah ruang topologi
Teorema Basis Produk Topologi
Produk topologi × mempunyai basis � dari koleksi himpunan × , di
mana adalah himpunan bagian yang terbuka dari dan juga himpunan bagian
terbuka dari (Munkres 2000).
Definisi Himpunan Tertutup
Sebuah himpunan bagian
dari ruang topologi
himpunan − terbuka (Munkres 2000).
Definisi Neighborhood
Himpunan adalah neighborhood dari
(Munkres 2000).
jika
dikatakan tertutup jika
himpunan terbuka yang memuat
4
Definisi Kekontinuan dari Fungsi
Misal dan ruang topologi. Sebuah fungsi : → dikatakan kontinu jika
untuk setiap himpunan bagian terbuka
dari , maka himpunan −1 ( )
merupakan himpunan terbuka dari (Munkres 2000).
Definisi Terhubung
Suatu ruang topologi dikatakan terhubung jika dan hanya jika satu-satunya
himpunan bagian dari yang terbuka dan tertutup adalah himpunan kosong dan
itu sendiri (Munkres 2000).
Definisi Open Covering
Suatu koleksi � dari himpunan bagian ruang topologi
jika gabungan elemen � sama dengan .
disebut open covering
Definisi Compact
Ruang topologi dikatakan compact jika setiap open covering
subkoleksi berhingga yang juga open covering .
(�) memuat
Definisi Basic �-Manifold
Gambar 1 Beberapa objek 2-manifold.
Gambar 1 memberikan basic 2-manifold menggunakan diagram. Pada karya
ilmiah ini fokus pada gambar kedua dari kiri yang berupa basic 2-manifold dari
torus, suatu kotak dengan verteks dan sisi , . Gambar paling kiri merupakan
basic 2-manifold dari bola adalah lingkaran dengan sisi . Kemudian gambar
kedua dari kiri merupakan 2-manifold dari torus. Lalu gambar paling kanan
merupakan basic 2-manifold dari klein bottle adalah kotak dengan verteks dan
sisi , . Yang terakhir adalah basic 2-manifold dari projective plane adalah kotak
dengan verterks ,w dan sisi , .
Dari basic 2 -manifold torus dapat dikonstruksi kembali menjadi torus
berdimensi tiga dengan menyatukan edge yang sama. Pertama bila kita
menyatukan edge akan membuat tansformasi basic 2-manifold torus menjadi
tabung lalu dengan menyatukan edge maka akan menjadi torus berdimensi tiga
(Zomorodian 2005).
Definisi Metrik
Suatu metrik pada himpunan adalah fungsi dari :
sifat seperti berikut:
(1)
,
0 untuk semua , ∈ .
(2)
, = ( , ) untuk semua , ∈ .
×
→
yang mempunyai
5
(3) (Pertaksamaan segitiga) �
, , ∈ �.
(Munkres 2000)
,
+�
�( , ) , untuk semua
,
Definisi Ruang Metrik
Pasangan terurut ( , ) adalah ruang metrik di mana
adalah fungsi metrik (Munkres 2000).
adalah himpunan dan
Definisi Separable
Suatu ruang topologi dikatakan separable jika ruang topologi tersebut memiliki
basis yang terhitung (Zomorodian 2005).
Definisi �-Manifold
Suatu 2 -manifold atau permukaan adalah suatu separable, ruang metrik Σ 2 di
mana untuk setiap ∈ Σ 2 , ada suatu neighborhood dari yang homeomorfik
terhadap ℝ2 (Zomorodian 2005).
Definisi Ruang Euclidean
Produk Cartesian ℝ dengan metrik Euclidean
adalah ruang Euclidian ℝ (Zomorodian 2005).
,
=
=1 (
−
)
Definisi Homeomorfisma, Homeomorfik
Misal dan ruang topologi. Ada : → merupakan fungsi bijektif. Jika
kedua fungsi dan −1 itu kontinu maka dikatakan sebuah homeomorfisma.
Dan jika fungsi hoemomorfisma maka dan dapat dikatakan homeomorfik
(Munkres 2000).
Teori Grup
Definisi Operasi Biner
Operasi biner ∗ pada suatu himpunan adalah suatu fungsi dari × ke yang
membawa setiap ( , ) ∈ × ke ∗ ∈ yang unik. Jadi , → ∗ .
Karena ∗ juga berada dalam maka dikatakan tertutup di bawah operasi ∗
(Fraleigh 1994).
Definisi Grup
Struktur aljabar dengan operasi biner ∗ disebut grup jika memenuhi aksioma
berikut ini,
1. Operasi ∗ bersifat asosiatif ( ∗ ) ∗ = ∗ ∗ , ∀ , , ∈ .
2. Ada unsur identitas ∈ untuk ∗ pada sehingga berlaku ∗ =
∗ = ,∀ ∈ .
3. Untuk setiap ∈ ada unsur −1 ∈ sehingga ∗ −1 = −1 ∗
= (Fraleigh 1994).
6
Definisi Grup Abelian
Grup disebut Grup komutatif jika operasi biner ∗ bersifat komutatif yaitu:
∀ , ∈ , ∗ = ∗ . Grup abelian adalah grup yang bersifat komutatif
(Zomorodian 2005).
Definisi Order Grup
Banyak unsur dari grup hingga
(Fraleigh 1994).
disebut order dari , dinotasikan o( ) atau | |
Definisi Grup Siklik
Dinotasikan
= { | ∈ ℤ }. Jika =
maka disebut grup siklik yang
dihasilkan oleh (Fraleigh 1994).
Selanjutnya operasi grup berada di bawah operasi tambah.
Definisi Grup Hasil Jumlah Langsung
Misalkan 1 , 2 , … ,
grup dengan unsur identitas, , = 1, 2, 3, … , dan invers
dari ( 1 , 2 , … , ) adalah ( 1 −1 , 2 −1 , … , −1 ) . Untuk notasi aditif, ∏ =1
dinotasikan dengan ⊕ =1 = 1 ⨁ 2 ⨁ … ⨁ , dan disebut grup hasil jumlah
langsung dari (Fraleigh 1994).
Definisi Homomorfisma
Misalkan grup dengan operasi + dan ′ adalah grup di bawah operasi #. Fungsi
�: → ′ disebut homomorfisma grup jika � + = �
⋕ �( ), ∀ , ∈
(Fraleigh 1994).
Definisi Monomorfisma, Epimorfisma, Isomorfisma, Automorfisma
Ada fungsi homomorfisma �: → ′ , jika � injektif maka � disebut
monomorfisma. Jika � surjektif maka � disebut epimorfisma. Jika � bijektif
maka � disebut isomorfisma. Jika = ′ dan � isomorfisma maka � disebut
authomorfisma (Fraleigh 1994).
Definisi Kernel
Misalkan �: → ′ grup homomorfisma. Grup � −1 ({ ′ }) disebut kernel dari �
dan dinotasikan ker �. Jadi ker � = { ∈ |�
= ′ } (Fraleigh 1994).
Teorema Isomorfik Grup Siklik Takhingga
Setiap grup siklik takhingga isomorfik dengan ℤ (Fraleigh 1994).
Definisi Subgrup Normal
Misalkan grup dan subgrup dari . Maka disebut subgrup normal dari
−1
jika ∀ ∈ , ∀ ∈ ,
∈ (Fraleigh 1994).
7
Teorema Grup Faktor
Misalkan grup, subgrup normal dari
perkalian pada
maka
dan himpunan
beserta operasi
adalah sebagai berikut:
=
∈
∙
=
.
adalah grup dan disebut grup faktor (Fraleigh 1994).
Ruang Vektor
Definisi Ruang Vektor
Himpunan bersama-sama dengan operasi penjumlahan dan perkalian dengan
skalar dikatakan membentuk suatu ruang vektor jika aksioma-aksioma berikut
terpenuhi.
A1. + = + untuk setiap dan di .
A2. + + = + + untuk setiap , , di .
A3. Terdapat elemen 0 di sehingga + 0 = untuk setiap ∈ .
A4. Untuk setiap ∈ terdapat elemen − di sehingga + − =
0.
A5.
+ =
+
untuk setiap skalar dan setiap dan di .
A6.
+
=
+
untuk setiap skalar dan dan setiap ∈ .
A7.
= ( ) untuk setiap skalar dan dan setiap ∈ .
A8. 1 ⋅ = .
(Leon 2001)
Definisi Bebas Linear
Vektor-vektor 1 , … ,
independent) jika
dalam ruang vektor
1 1+ 2
mengakibatkan semua skalar-skalar
disebut bebas linear (linearly
+ ⋯+
=0
,
…
,
harus
sama
dengan 0 (Leon 2001).
1
2
Definisi Merentang
Himpunan { 1 , … , } disebut himpunan perentang untuk jika dan hanya jika
setiap vektor dalam dapat ditulis sebagai kombinasi linear dari 1 , 2 , … ,
Definisi Basis
Vektor-vektor
jika
(i) 1 , … ,
(ii) 1 , … ,
1, … ,
membentuk basis untuk ruang vektor
bebas linear.
merentang (Leon 2001).
jika dan hanya
8
Simplicial Complex
Definisi Bebas Geometri
Poin-poin 0 , 1 , … ,
di ruang Euclidean ℝ dikatakan bebas geometri (atau
affine independent) jika satu-satunya solusi dari sistem linear
=0
�
=0
=�
(2.1)
� =0
adalah solusi trivial �0 = �1 = ⋯ = � = 0 (Wilkins 2008).
Dari definisi di atas dapat ditunjukan bahwa poin-poin 0 , 1 , … ,
merupakan bebas geometri jika hanya jika vektor 1 − 0 , 2 − 0 , … , − 0
merupakan bebas linear. Akibatnya suatu himpunan dari poin bebas geometri di
ℝ mempunyai paling banyak + 1 elemen. Perlu diketahui juga bahwa jika
suatu himpunan terdiri dari poin yang bebas geometri di ℝ maka setiap
himpunan bagian dari himpunan tersebut juga terdiri dari poin yang bebas
geometri.
Definisi �-Simplex
Sebuah -simplex di ℝ dari
;0
=0
= { 0,
1, … ,
} didefinisikan sebagai himpunan
1 untuk = 0,1, … , dan
=1
(2.2)
=0
di mana 0 , 1 , … , merupakan poin bebas geometri dari ℝ . Poin 0 , 1 , … ,
dapat dikatakan verteks dari simplex. Bilangan bulat taknegatif menunjukan
sebagai dimensi dari simplex (Wilkins 2008). Kumpulan dari -simplex disebut
simplices atau kumpulan simplicial.
Sebuah -simplex juga bisa dilihat sebagai selubung cembung (convex hull)
dari + 1 titik yang bebas goemetri = { 0 , 1 , … , }. Semua titik di dalam
adalah verteks-verteks dari simplex (Zomorodian 2005).
Definisi Face, Coface
Misal � suatu -simplex didefinisikan dari = { 0 , 1 , … , } . Simplex � dari
⊆ , disebut face dari � dan � disebut coface. Hubungan tersebut dinotasikan
dengan � � dan � �.
Definisi Simplicial Complex
Sebuah koleksi berhingga dari kumpulan simplicial di ℝ dikatakan simplicial
complex jika memenuhi dua kondisi berikut:
1. jika � adalah simplex yang dimiliki maka setiap face (�) dari � juga
dimiliki oleh .
9
2. jika �1 dan �2 adalah kumpulan simplicial yang dimiliki maka kedua
�1 ∩ �2 = ∅ atau �1 ∩ �2 merupakan face umum dari kedua �1 dan �2
(Wilkins 2008).
Dimensi dari simplicial complex
adalah bilangan bulat tak negatif
terbesar sedemikian sehingga mengandung sebuah -simplex.
Definisi Underlying Space
Underlying Space | | dari simplicial complex
adalah
= � ∈ � . Dapat
dikatakan | | adalah topologi (Zomorodian 2005).
Gabungan dari semua simplicial dari adalah sebuah himpunan bagian
compact | | dari ℝ dikenal sebagai polyhedron dari .
Contoh. Misal � terdiri dari beberapa -simplex � beserta dengan face �.
Maka � adalah simplicial complex dari dimensi n, dan � = �.
Definisi Interior
Misal 0 , 1 , … , verteks-verteks dari suatu -simplex � di ruang Euclidan ℝ .
Didefinisikan interior dari suatu simplex � adalah himpunan titik-titik dari �,
;
=0
> 0 , = 0,1,2, … , dan
=1
(2.3)
=0
Dari bentuk di atas dapat dilihat bahwa interior dari simplex � memuat
semua titik di � kecuali titik-titik yang berada di ujung � (Wilkins 2008).
Definisi Rentangan Verteks
Suatu himpunan verteks
yang dinotasikan dengan vert
= { 0, 1, 2} ,
dikatakan merentang jika elemen elemen vert merentang suatu simplex di
dalam (Wilkins 2008).
Karakteristik Euler
Definisi invariant
Invariant topologi adalah suatu fungsi yang memetakan objek yang dipandang
sama menuju ruang dengan tipe topologi yang sama (Zomorodian 2005).
Karakteristik Euler merupakan suatu invariant topologi, di mana dapat
mendeskripsikan topologi. Karakteristik Euler dapat membedakan objek topologi
berdimensi rendah (dimensi dua) namun gagal untuk membedakan dimensi yang
lebih tinggi.
Definisi Karakteristik Euler
Misal
simplicial complex dan
�( ) adalah
(Zomorodian 2005)
�
= {� ∈ | dim � = } . Karakteristik Euler
dim
=
=0
−1 | |
10
Karakteristik Euler adalah invariant integer untuk | |, yang berada dalam
ruang .
Free Abelian Group
Misal
Merupakan grup abelian, { } index dari keluarga , dan
menjadi subgrup dari
yang dibangkitkan oleh { } . Jika setiap grup
merupakan siklik takhingga dan jika merupakan hasil jumlah langsung dari
maka
merupakan free abelian group yang mempunyai basis
grup
(Munkres 2000).
Himpunan ℤ merupakan suatu free abelian group karena ℤ dapat
dikonstruksi dari 1 yang merupakan grup siklik takhingga. Lalu contoh lain
akan dikonstruksi sebuah free abelian group dari himpunan = { , }.
=
+
,
,
∈
ℤ,
di
mana
(
)
adalah
suatu
free
abelian
group
yang
1
2
1
2
merupakan suatu kombinasi linear dari elemen-elemen . Operasi biner dari free
abelian group
( ) adalah +,
Grup Homologi
Definisi Chain Groups
Chain group dari suatu simplicial complex
, + adalah free abelian
group pada -simplices yang berorientasi, di mana � = −[�] jika � = � dan �
dan � mempunyai orientasi yang berbeda. Elemen dari ( ) adalah suatu chain,
[� ] , ∈ ℤ, � ∈ (Zomorodian 2005).
Contoh. Misal 0 , 1 dan 2 menjadi verteks dari segitiga pada suatu ruang
Euclidean. Misal menjadi simplicial complex yang memiliki segitiga tersebut,
bersama dengan himpunan verteks dan edge segitiga tersebut. Setiap 0-chain dari
dapat diekspresikan secara unik dalam bentuk 0 0 + 1 1 + 2 2 untuk
nilai 0 , 1 , 2 ∈ ℤ. Hal ini merupakan suatu 1 -chain dari yang juga dapat
diekspresikan secara unik dalam bentuk 0 0 , 1 + 1 1 , 2 + 2 2 , 0
untuk 0 , 1 , 2 ∈ ℤ . Suatu 2 -chain dari
dapat diekspresikan secara unik
dalam bentuk
,
,
untuk
∈
ℤ.
0 1 2
Definisi Boundary Homomorphism
Misal
menjadi suatu simplicial complex dan � ∈ , � = 0 , 1 , … ,
.
Boundary homomorphism � :
→ −1 ( ) didefinisikan dengan � � =
(−1) 0 , 1 , … , , … ,
, di mana
dihapus dari sekuens (Zomorodian
2005).
Contoh. Misal diletakkan boundary dari simplices berorientasi di dalam
gambar. �1 , = − , �2 , , = , − , + , = , + , +
[ , ], �3 , , , = , , − , , + , , − [ , , ].
Definisi Cycle, Boundary
Grup cycle
adalah
= ker � . Grup boundary
(Zomorodian 2005).
adalah
= im�
+1
11
Teorema Dua Boundary
� −1 � 0 , 1 , … ,
= 0,untuk semua .
Bukti. � −1 � 0 , 1 , … ,
= � −1
=
<
−1
−1
0, 1, … ,
+
>
= 0.
(Zomorodian 2005)
Chain Complex
Dari
dimensional
sekuens berikut ini,
� +1
−1
−1
(−1)
,…,
−1
,…,
0, 1 , … ,
0, 1, … ,
,…,
,…,
,…,
dan boundary homomorfism dapat dikonstruksi suatu
�
� −1
�1
�0
0
…
0
−1
1
0( )
Dengan � � −1 ( ) = 0 untuk semua nilai . Catatan bahwa jika dimensi
< 0 maka
= 0 dan
+ 1 -simplex di .
+1 = 0 karena tidak ada
Sekuens tersebut disebut chain complex.
Definisi Grup Homologi
Grup homologi adalah
=
= ker �
im�
+1
(Zomorodian 2005).
Betti Number
Betti number ke- yang dinotasikan dengan
, dari suatu simplicial
complex adalah suatu jumlah lubang berdimensi di dalam complex.
Secara intuitif Betti number dapat dijelaskan sebagai berikut:
Lubang 0-dimensi menjadi sebuah unit yang terhubung (titik).
Lubang 1-dimensi menjadi sebuah lingkaran atau independent tunnel.
Lubang 2-dimensi menjadi sebuah ruang tak tertutup.
Betti number juga merupakan invariant topologi, seperti juga karakteristik
Euler dan grup homologi. Grup homologi merupakan salah satu cara untuk
mendeskripsikan topologi dan cara termudah utuk mendeskripsikan grup
homologi dengan Betti number. Grup homologi ini dapat mendeskripsikan suatu
ruang topologi secara feasible yang artinya dapat dipakai secara komputasi. Lalu
akan diberikan Betti number:
= rank
, = 0,1,2, …
(2.4)
= Betti number dimensi ke= grup homologi dimensi ke- .
(Zomorodian 2005)
12
HASIL DAN PEMBAHASAN
Dalam bab pembahasan ini akan dikonstruksi grup homologi dari sebuah 2simplex yang berupa simplicial complex . Selanjutnya dibuktikan bahwa torus
dan simplicial complex homeomorfik. Lalu akan diberikan alternatif pencarian
karakteristik Euler dari Torus dan simplicial complex .
Konstruksi Grup Homologi Simplicial Complex
Diketahui Sebuah 2 - simplex mempunyai himpunan simplicial complex
= {[ 0 ], [ 1 ], [ 2 ], [ 0 , 1 ], [ 1 , 2 ], [ 2 , 0 ], [ 0 , 1 , 2 ]} . Di mana 0 = (0,3),
1 = (4,0), 2 = (4,3), 0 , 1 , 2 ∈ ℤ × ℤ.Akan dikonstruksi suatu -chain group
( ), + dari simplicial complex . Pertama akan dikontruksi 0 - chain , dari
himpunan �0 = { 0 , 1 , 2 } lalu dibuat suatu free abelian group, 1 0 + 2 1 +
3 2 yang merupakan anggota 0 - chain . Selanjutnya konstruksi 1 -chain dari
himpunan �1 = {[ 0 , 1 ], [ 1 , 2 ], [ 2 , 0 ]} Lalu dibuat suatu free abelian group,
1[ 0, 1] +
2[ 1, 2] +
3 [ 2 , 0 ] yang merupakan anggota 1 - chain . Dan
terakhir konstruksi 2-chain dari himpunan �2 = {[ 0 , 1 , 2 ]} dibuat free abelian
group, 0 [ 0 , 1 , 2 ] yang merupakan anggota 2-chain .
Selanjutnya akan dikonstruksi chain complex dari simplicial complex .
0→ 2
→ 1
→ 0
→0
Karena 1 0 + 2 1 + 3 2 elemen 0-chain maka 0 , 1 , 2 adalah grup
(
).
Begitu juga 1 [ 0 , 1 ] + 2 [ 1 , 2 ] + 3 [ 2 , 0 ] yang merupakan elemen
0
1 - chain maka [ 0 , 1 ], [ 1 , 2 ], [ 2 , 0 ]
adalah grup 1 ( ) . Dan juga
[
,
,
]
yang
merupakan
elemen
2
chain
maka [ 0 , 1 , 2 ] adalah grup
0 0 1 2
2 ( ). Dapat dituliskan sebagai berikut,
0( ) =
0, 1, 2
= , ,
1
=
2
Di mana = [ 0 , 1 ], = [ 1 , 2 ], = [ 2 , 0 ], dan = [ 0 , 1 , 2 ].
Setelah itu akan dicari homologi dari simplicial complex .
Karena � 0 = � 0 = � 0 = 0 sehingga = 0 , 1 , 2 = 0 ( ).
Dengan 0
�( ) = �[ 0 , 1 ]
�( ) = �[ 2 , 0 ]
= 1− 0
= 0− 2
�( ) = [ 1 , 2 ]
= 2− 1
0
grup
1
= 0/ 0
= 0, 1, 1 / 1 −
= 0 − 1, 1 − 2,
= 0 − 1, 1 − 2,
= 2
=ℤ
didapat dari,
0,
2
2
2
/
/
−
1, 0
−
−
0
0
−
2
−
,
−
1 1
1, 1
2, 0
2
13
�
1
lalu
=� 1 + 2 + 3
= �( 1 [ 0 , 1 ] + 2 [ 1 , 2 ] + 2 [ 2 , 0 ])
= 1 ([ 1 ] − [ 0 ]) + 2 ([ 2 ] − [ 1 ]) + 3 ([ 0 ] − [ 2 ])
= ( 1 − 2 )[ 1 ] + ( 2 − 3 )[ 2 ] + ( 3 − 1 )[ 0 ]
0 = ( 1 − 2 )[ 1 ] + (
Sehingga 1 = 2 , 2 = 3 , 3 =
1 =
2 =
3
didapatlah 1 = + +
1(
) = 1/ 1
= + +
=0
2
1
−
3 )[ 2 ]
1
/
+ +
Kemudian 2 didapatkan dari
�( 0 ) = � 0 [ 0 , 1 , 2 ]
= 0 ([ 1 − 0 ] + [ 2 − 1 ] + [
Jika � 2 ( ) = 0 maka,
0 = 0 ([ 1 − 0 ] + [ 2 − 1 ] + [ 0 −
Jadi 2 = 0,
dilanjutkan dengan
2 ( ) = 2/ 2
= 0/0
=0
2
+(
3
−
1 )[ 0 ]
= � = �[ 0 , 1 , 2 ]
= [ 0, 1] + [ 1, 2 ] + [ 2,
= + +
0
−
2 ])
0]
2 ])
⟷
0
=0
= �0
=0
Penggunaan Teorema Homeomorphy 2-Manifold
Didefinisikan 1 adalah sebuah lingkaran pada ℝ2 . Himpunan 1 ini
dinotasikan sebagai berikut:
1
= {( , )| 2 + 2 = 1}
Ruang 1 merupakan topologi dengan basis
di mana
merupakan
himpunan dari busur-busur pada lingkaran.
Didefinisikan bahwa suatu torus di mana ∶ 1 × 1 adalah topologi
dengan basis × di mana dan merupakan basis dari 1 (Munkres 2000).
Gambar 2 Torus
Didefinisikan simplicial complex
= {1,2,3,4,5,6,7,8,9} dan himpunan,
dengan himpunan vertek-verteks vert
14
Gambar 3 Simplicial complex
= { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 1,2 , 2,3 , 3,1 , 4,1 , 5,2 , 6,3 , [4,
5], 5,6 , 6,4 , 7,4 , 8,5 , 9,5 , 7,8 , 8,9 , 1,5 , 2,6 , 3,4 , 4,8 , 5,9 , [6
,7], 7,2 , 8,3 , 9,1 , 9,7 , 1,7 , 2,8 , 3,9 , 1,5,2 , 4,1,5 , 2,6,3 , 5,2,6 ,
3,4,1 , 6,3,1 , 4,8,5 , 7,4,8 , 5,9,6 , 8,5,9 , 6,7,4 , 9,6,7 , 7,2,8 , [1,7,2]
8,3,9 , [2,8,3] 9,1,7 , [3,9,1]}.
(2.1)
Kemudian ada polyhedron | | yang merupakan gabungan dari semua
anggota , dan polyhedron | | merupakan topologi (Zomorodian 2005).
Transformasi torus dengan definisi basic 2 -manifold sehingga berupa
manifold dimensi dua. Dapat dilihat pada Gambar 4, yang merubah himpunan
torus tersebut menjadi = { , , , }.
Gambar 4 Basic 2-manifold torus.
Lalu akan dibuktikan bahwa torus
dan simplicial complex
adalah
homeomorfik. Untuk membuktikan hal tersebut pada umumnya akan
menggunakan definisi homeomorfisma. Namun itu terlalu sulit untuk dilakukan,
maka digunakanlah teorema berikut:
Teorema Homeomorphy 2-Manifold
Permukaan kompak tertutup �1 dan �2 adalah homeomorfik jika hanya
jika,
a) � �1 = � �2
b) Kedua permukaannya orientable atau keduanya tidak orientable
(Zomorodian 2005).
Teorema ini dapat digunakan pada ruang topologi yang berupa manifold
dimensi dua. Dalam kasus ini ruang topologi ( , | |) merupakan objek dua
dimensi (lihat Gambar 5) dan juga torus yang sudah di transformasi dengan
definisi basic 2-manifold. Selanjutnya ruang topologi ( , | |) akan disebutkan
menjadi simplicial complex .
15
Untuk menggunakan teorema tersebut pertama harus mencari karakteristik
Euler dari torus dan simplicial complex . Nilai Karakteristik Euler didapatkan
dengan menggunakan definisi karakteristik Euler, dimulai dengan mencari nilai
karakteristik Euler torus ;
� 1 = 2=0 −1 | |
= −1 0 | 0 |+ −1 1 | 1 |+ −1 2 | 2 |
=1−2+1
=0
Setelah itu mencari nilai karakteristik Euler dari simplicial complex ,
�
= 2=0 −1 | |
= −1 0 | 0 + −1 1 | 1 + −1 2 | 2 |
= 9 − 27 + 18
=0
Poin a) terpenuhi karena kedua nilai karakteristik yang didapat bernilai sama.
Bila melihat Gambar 3 dan Gambar 4 terlihat bahwa masing-masing torus dan
simplicial complex mempunyai orientasi, poin b) terpenuhi. Sehingga dengan
menggunakan Teorema homeomorphy 2-manifold dapat diyatakan bahwa torus T
dan simplicial complex itu homeomorfik.
Selanjutnya akan diberikan alternatif pencarian karakteristik
dari
simplicial complex dan torus
.
Penggunaan Teorema Euler Poincare
Untuk dapat mencari karakteristik Euler di mana dibutuhkan suatu Betti
number dari torus dan simplicial complex . Betti number didapatkan dari rank
grup homologi. Sehingga langkah pertama yang dilakukan yaitu mencari Betti
number dari torus dengan mencari grup homologi torus . Di mana teorema
berikut ini yang akan digunakan:
Teorema Euler Poincare
Jika adalah suatu simplicial complex hingga maka karakterisitik Euler
sama dengan alternatif penjumlahan Betti number dari setiap dimensi:
�
=
−1
( )
(2.2)
Bukti
Diperlukan beberapa fakta dari aljabar linear.
pertama. Jika Suatu , adalah ruang vektor dan : → operator linear
maka /ker
≃ im .
Fakta kedua. Jika ruang bagian dari ruang vektor maka dim / =
dim − dim .
Ada empat Vektor yang terlibat dalam peritungan Betti number dari :
grup chain, grup cycle, grup boundary dan grup homologi. Ini merupakan notasi
dimensi mereka:
= dim ( ) ,
= dim
,
= dim
,
=
dim ( ).
Ada operator boundary � :
→ −1 ( ) , lalu definisikan
=
ker � , dan
= Im � +1 . Fakta satu dan fakta dua mengimplikasikan suatu,
16
dim − dim ker = dim im
Kemudian mengaplikasikannya kepada operator boundary di atas, didapatkan:
dim ( ) − dim ker � = dim im � . Atau ,
− = −1
(2.3)
Mengingat bahwa
= ( )/ ( ) . Maka dari fakta dua
mengakibatkan.
= −
(2.4)
Langkah selanjutnya, misalkan dimensi tertinggi dari , maka:
subtitusikan persamaan (2.4)
0 − 1 + 2 − ⋯ + −1
= 0 − 0 − 1 − 1 + 2 − 2 − ⋯ + −1 ( − ).
− (−1)
.
= 0 − 0 − 1 + 1 + 2 − 2 − ⋯ + −1
= 0 − 1 − 1 − 1 + 2 − 2 + 2 − 3 − 3 − ⋯ + (−1)
−
−1 ( +1 − +1 ).
= 0 − 1 + 2 − 3 + ⋯ + (−1) +1 + (−1) +1 .
= 0 − 1 + 2 − 3 + ⋯ + 0 + 0.
= �( ).
∎
Kelebihan bila mencari karakteristik Euler dengan menggunakan teorema
ini adalah akan didapatkan gambaran geometri yang lebih rinci dari Betti number
yang didapat bila dibandingkan dengan hanya mengetahui nilai karakteristik Euler
saja dari definisi.
Untuk mempermudah penggunaan grup homologi, ditambahkan satu edge
(Wieldberg 2012f). Sehingga terjadi perubahan pada torus menjadi Gambar 5,
Gambar 5 Basic 2-manifold dengan tambahan
edge .
Lalu akan dimulai menghitung grup homologi torus .
Akan dibuat chain complex terlebih dahulu,
0→ 2→ 1→ 0→0
Di mana 0 =
, 1 = , , , 2 = , . Kemudian akan dicari
, ∈ ℤ.
0
=
0
1
=
1
0
1
≃
≃
/0 ≃ ℤ
(2.5)
, ,
+
+
≃
+ + , ,
+ +
≃
,
≃ ℤ⨁ℤ
(2.6)
17
2
=
2
2
≃
= 0 untuk
−
0.
0≃ℤ
(2.7)
(2.8)
Setelah mendapat grup homologi torus
number,
0 = rank 0 = 1.
1 = rank 1 = 2.
2 = rank 2 = 1.
= rank
= 0,
3.
dilanjutkan dengan mencari Betti
(2.9)
(2.10)
(2.11)
(2.12)
Jadi Betti number dari torus adalah 1 2 1.
Lalu setelah mengetahui Betti number dari torus maka akan digunakan
Teorema Euler Poincare untuk mencari nilai karakteristik Euler dari torus
tersebut.
Berdasarkan Betti number yang didapat sebelumnya akan dicari
karakteristik Euler dari torus tersebut (lihat Persamaan (2.9), (2.10). (2.11),
(2.12)),
�
= 0 − 1 + 2 − ⋯ + (−1)
.
= 1 − 2 + 1 − 0 + ⋯ + 0;
= 0 Untuk
2
= 0.
Setelah itu langkah ketiga. Dengan menggunakan peranti lunak Matlab
dapat dihitung Betti number dari simplicial complex , pemakaian peranti lunak
Matlab dikarenakan kesulitan yang dihadapi saat mencari Betti number dari
simplicial complex .
Akan dimulai mengkonstruksi dengan menggunakan perangkat lunak
Matlab. Kemudian diberikan kodingan dari pembuatan simplicial complex
(lampiran 1). Setelah memasukan koding sebelumnya lalu untuk menunjukan
Betti number dari objek tersebut dengan menuliskan perintah berikut:
% get persistence algorithm over Z/2Z
>>persistence = api.Plex4.getModularSimplicialAlgorithm(3, 2);
% compute the intervals
>>intervals = persistence.computeIntervals(stream);
% get the infinite barcodes
>>infinite_barcodes = intervals.getInfiniteIntervals();
% print out betti numbers array
>>betti_numbers_array = infinite_barcodes.getBettiSequence()
Sehingga output yang muncul ialah:
betti_numbers_array =
1
2
1
18
Nilai Betti number simplicial complex
penggunaan Teorema Euler Poincare,
�
= 0− 1+ 2
=1−2+1
=0
yang didapat akan dipakai dalam
SIMPULAN DAN SARAN
Simpulan
Didapat grup homologi simplicial complex adalah 0 = ℤ, dan
=0
untuk
1. Lalu dalam subbab selanjutnya terlihat bahwa torus dan simplicial
complex itu homeomorfik dengan menggunakan Teorema homeomorphy 2 manifold. karena terlihat karakteristik Euler dari keduanya bernilai sama yaitu
bernilai nol. Dan juga keduanya mempunyai orientasi. Dengan menggunakan
Teorema homeomorphy 2-manifold didapat kesimpulan bahwa torus
dan
simplicial complex
adalah homeomorfik sehingga ada
∶ →
yang
memetakan ruang topologi menuju ruang topologi . Dan fungsi tersebut
berupa fungsi homeomorfisma.
Didapatkan hasil pada pembahasan yaitu pertama nilai Betti number torus
adalah 1 2 1 kemudian didapat juga karakteristik Euler torus adalah 0 dengan
penggunaan Teorema Euler Poincare. Dari langkah selanjutnya didapatkan
karakteristik Euler simplicial complex yang bernilai sama dengan karakteristik
Euler dari torus juga menggunakan Teorema Euler Poincare.
Kemudian Betti number yang didapat menggambarkan bahwa bentuk
geometri torus dan simplicial complex adalah suatu satu kesatuan yang utuh
( 0 = 1) , disusun dari dua lingkaran ( 1 = 2 ), dan mempunyai sebuah void
( 2 = 1).
Saran
Untuk mengembangkan karya ilmiah ini dapat dibuat komputasi persistent
homology dari suatu objek topologi. Lalu ruang topologi yang menarik untuk
dibahas yaitu klein bottle, bola, projevtive plane dan tetrahedron.
DAFTAR PUSTAKA
Fraleigh JB. 1994. A First Course in Abstract Algebra. Ed ke-5. Michigan
(US):Addison-Wesley.
Leon SJ. 2001. Aljabar Linear dan Aplikasinya. Bondan A, penerjemah. Hardani
HW, editor. Jakarta (ID): Penerbit Erlangga. Terjemahan dari:Linera Algebra
with Application. Ed ke-5.
19
Munkres JR. 1984. Element of Algebreic Topology. Ed ke-1. Massachusetts
(US):Addison-Wesley.
Munkres JR. 2000. Topology. Ed ke-2. New Jersey (US): Prentice Hall.
Sexton H, Vedjemo-Johannson M. Jplex simplicial complex library. [diunduh
2013 July 20]. Tersedia pada: www.comptop.standford.edu/program/jplex.
Steward J. 2001. Calculus. Ed ke-4. Kalkulus. Susila IN, Gunawan H, penerjemah.
Mahanani N, Hardani W, editor. Jakarta (ID): Penerbit Erlangga. Terjemahan
dari:Calculus. Ed ke-4.
Wilkins DR. 2008. Algabreic Topology. Ed ke-1.[tempat tidak diketahui]:
[penerbit tidak diketahui].
Wieldberg NJ. 2012a. Algabreic Topology 30. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop30.
Wieldberg NJ. 2012b. Algabreic Topology 31. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop31.
Wieldberg NJ. 2012c. Algabreic Topology 32. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop32.
Wieldberg NJ. 2012d. Algabreic Topology 33. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop33.
Wieldberg NJ. 2012e. Algabreic Topology 34. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop34.
Wieldberg NJ. 2012f. Algabreic Topology 35. [diunduh 01 Desember 2013].
Tersedia pada:www.youtube.com/algtop35.
Zomorodian AJ. 2005. Topology for Computing. Ciarlet PG, Iserles A, Kohn RV,
Wright MH, editor. Cambridge (UK):Cambridge Pr.
20
Lampiran 1 Koding bentukan simplicial complex .
% We use 9 vertices, which we think of as a 3x3 grid numbered
as a
% telephone keypad. We identify opposite sides. For a picture,
see
% "javaplex_tutorial_solutions.pdf".
clc; clear; close all;
% get a new ExplicitSimplexStream
stream = api.Plex4.createExplicitSimplexStream();
% add simplices
for i = 1:9
stream.addVertex(i);
end
stream.addElement([1,
stream.addElement([2,
stream.addElement([3,
stream.addElement([7,
stream.addElement([8,
stream.addElement([9,
stream.addElement([4,
stream.addElement([5,
stream.addElement([6,
stream.addElement([1,
stream.addElement([7,
stream.addElement([4,
stream.addElement([2,
stream.addElement([8,
stream.addElement([5,
stream.addElement([3,
stream.addElement([9,
stream.addElement([6,
stream.addElement([2,
stream.addElement([3,
stream.addElement([8,
stream.addElement([1,
stream.addElement([9,
stream.addElement([5,
stream.addElement([7,
stream.addElement([6,
stream.addElement([4,
2]);
3]);
1]);
8]);
9]);
7]);
5]);
6]);
4]);
7]);
4]);
1]);
8]);
5]);
2]);
9]);
6]);
3]);
7]);
8]);
4]);
9]);
5]);
1]);
6]);
2]);
3]);
stream.addElement([1,
stream.addElement([2,
stream.addElement([2,
stream.addElement([3,
stream.addElement([1,
stream.addElement([1,
stream.addElement([4,
stream.addElement([4,
stream.addElement([5,
stream.addElement([5,
stream.addElement([6,
stream.addElement([4,
2,
7,
3,
8,
3,
7,
7,
5,
8,
6,
7,
6,
7]);
8]);
8]);
9]);
9]);
9]);
8]);
8]);
9]);
9]);
9]);
7]);
21
stream.addElement([1, 4, 5]);
stream.addElement([1, 2,
stream.addElement([2, 5,
stream.addElement([2, 3,
stream.addElement([3, 6,
stream.addElement([1, 3,
stream.finalizeStream();
5]);
6]);
6]);
4]);
4]);
22
RIWAYAT HIDUP
Penulis yang bernama Qowiyyul Amin Siregar lahir di Medan pada tanggal
07 Oktober 1991, putra pertama dari Muslil siregar dan Enjuh Juhaeriah. Riwayat
pendidikan Penulis SDN Pengadilan 2 (1997), SDIT Ummul Quro (1999), SMPN
2 Bogor (2003), SMAN 3 Bogor (2006), Institut Pertanian Bogor (2009-2014).
Penulis mempunyai pengalaman organisasi sebagai pengurus Gugus
Mahasiswa Matematika (GUMATIKA) periode 2010/2011, dan anggota Badan
Pengawas GUMATIKA periode 2011/2012. Penulis juga aktif mengikuti
kepanitiaan seperti IPB Art Contest sebagai anggota. Serta menjadi asisten
Kalkulus 2 pada tahun 2011/2012 , asisten praktikum Algoritma dan
Pemrograman pada tahun 2012/2013, asisten Persamaan Differensial Biasa pada
tahun 2012/2013, dan aktif menjadi pengajar di Bimbingan Belajar Gugus
Mahasiswa Matematika untuk mata kuliah Pengantar Matematika dan Kalkulus I
program Tingkat Persiapan Bersama pada tahun 2010/2012.
Penulis aktif mengikuti kompetisi olahraga tingkat fakultas. Beberapa
prestasi yang diraih penulis antara lain Juara II Kompetisi Olahraga Cabang
Basket Tingkat Fakultas MIPA pada tahun 2010/2011 dan 2012/2013, dan Juara
III Kompetisi Olahraga Cabang Basket Tingkat Fakultas MIPA pada tahun
2013/2014.