TOPOLOGI KOMPAK LOKAL HAUSDORFF

PADA RUANG LINTASAN TAK HINGGA

Oleh:
Azico Sudhagama
azico.sudhagama@yahoo.co.uk
Jurusan Pendidikan Matematika FPMIPA Universitas Pendidikan Matematika
Dosen Pembimbing: Rizky Rosjanuardi & Isnie Yusnitha
Abstrak

Aljabar- C telah banyak dimodelkan melalui pendekatan graf dan groupoid.

Kumjian, Pask, Raeburn, Renault (1997) menyatakan bahwa unit space dari groupoid
G merupakan ruang lintasan tak hingga E dari graf berarah baris-berhingga
E . Webster (2010) mengkaji lebih dalam bagaimana cara mengkonstruksi topologi
kompak lokal Hausdorff pada ruang lintasan tak hingga

dari graf berarah

baris-berhingga. Pada tulisan ini dipelajari bagaimana cara mengkonstruksi topologi

E1

E
pada ruang
yang merupakan subruang dari topologi produk
.
N
Dijelaskan pula basis dari ruang topologi

E .

Kata Kunci: Ruang Lintasan Tak Hingga, Graf Berarah Baris-Berhingga,

Himpunan Silinder, Topologi Kompak Lokal Hausdorff.

Abstract
A

-algebra can be modeled using graph and groupoid approach.

According to Kumjian, Pask, Raeburn, Renault (1997), unit space of groupoid G

is the infinite path space E

of row-finite directed graph E . Furthermore,
Webster (2010) study how to construct locally compact Hausdorff on infinite path

space E
of row-finite directed graph. In this paper, we study how to construct

topology on space

which is subspace of product topology

Moreover, we will explain basis of topological space

E1

E .

Keyword: Infinite Path Space, Row-Finite Directed Graph, Cylinder Set,

Locally Compact Hausdorff Topology.

1. Pendahuluan
E=(E0 , E1 ,r , s)

Graf berarah

adalah obyek kombinatorial yang terdiri dari

titik dan sisi. Sisi-sisinya berorientasi menghubungkan sepasang titik. Lintasan

E

berhingga
lintasan

En

dari graf berarah baris-berhingga

dimana

=1 n

=1 n

merupakan gabungan dari

sedemikian sehingga

1 i n1 . Sedangkan lintasan tak hingga

merupakan barisan

s ( i )=r ( i+1 )

dari graf berarah

sedemikian sehingga

s ( i )=r ( i+1 )

untuk
E

untuk

i> 1 .
Ruang lintasan dari graf berarah memainkan peranan penting dalam studi aljabarC . Hal ini terjadi karena aljabar- C

telah berkembang dan banyak dimodelkan

melalui pendekatan graf dan groupoid. Kumjian, Pask, Raeburn dan Renault (1997)
menyatakan bahwa unit space dari groupoid
hingga

dari graf berarah baris-berhingga

merupakan ruang lintasan tak

E . Beberapa tahun kemudian,

Webster (2010) mengkaji lebih dalam bagaimana cara mengkonstruksi topologi

kompak lokal Hausdorff pada ruang lintasan tak hingga

dari graf berarah

E .

baris-berhingga

2. Konsep Dasar Topologi

Misal X suatu himpunan dari obyek-obyek yang disebut titik-titik dari
X

Topologi di
2

X .

merupakan koleksi tak kosong

X , yang memenuhi empat aksioma

dari subhimpunan-subhimpunan di

berikut:
(i)
himpunan adalah himpunan buka,
(ii)
himpunan X sendiri adalah himpunan buka,
(iii)

gabungan dari sembarang keluarga himpunan-himpunan buka adalah

(iv)

himpunan buka,
irisan berhingga dari himpunan-himpunan buka adalah himpunan buka.

Basis dari topologi

di

adalah subkoleksi

sehingga setiap himpunan buka

himpunan (buka) di
setiap titik
Misalkan

dan

dari

sedemikian sehingga

ruang topologi. Fungsi

jika untuk setiap subhimpunan buka

merupakan subhimpunan buka dari

X .

sedemikian

merupakan gabungan dari beberapa

. Dengan kata lain, untuk setiap

x U , terdapat V

dari

f :X Y

dan untuk

xV U .

dikatakan kontinu

Y , himpunan

f (V )

f :X Y

Teorema 2.1[1] Jika

Y

ruang topologi

merupakan fungsi dari ruang topologi

ke

dengan basis dan sub-basis yang diberikan pada

topologinya, maka pernyataan berikut ekuivalen

(i)

Fungsi f : X Y

(ii)

Pra-peta

f 1 (U )

dari setiap himpunan buka

di Y

adalah buka

X .

di
(iii)

merupakan fungsi kontinu

f 1 (V ) dari setiap basic open set

Pra-peta

di Y

adalah buka di

X .
(iv)

f 1 (W )

Pra-peta

dari setiap sub-basic open set

di

adalah

X .

buka di

Diberikan

dan

merupakan ruang topologi. Misal

merupakan fungsi bijeksi. Jika fungsi

kontinu, maka

f 1 :Y X

dan fungsi invers

disebut homeomorfisma. Lebih lanjut,

f : X Y

dan

dikatakan homeomorfik atau ekuivalen secara topologi, bila terdapat sebuah

homeomorfisma f : X Y .
Ruang topologi
dari

lain, jika

disebut ruang Hausdorff bila untuk setiap dua titik berbeda

memiliki persekitaran-persekitaran yang saling lepas. Dengan kata

a

dan

merupakan dua titik yang berbeda dari

X , maka

terdapat himpunan buka U

dan V

X , sedemikian sehingga a U

di

, b V , dan U V = .
Proposisi 2.2[1] Setiap subruang

dari ruang Hausdorff

adalah ruang

Hausdorff.
X

Proposisi 2.3[1] Produk topologi

dari koleksi ruang-ruang Hausdorff

{X ; M } adalah ruang Hausdorff.

Diberikan

ruang topologi. Ruang

buka dari

memiliki berhingga subcover.

Proposisi 2.4[1] Setiap himpunan tutup

dikatakan kompak jika setiap cover

di ruang kompak

adalah

di ruang Hausdorff

adalah

kompak.
Akibat 2.5[1] Setiap himpunan kompak

tutup.
Proposisi 2.6[1] Diberikan
X

f :X Y

adalah ruang kompak dan

merupakan fungsi kontinu bijektif. Jika

ruang Hausdorff, maka

merupakan

homeomorfisma.
Teorema 2.7[1] Produk topologi dari keluarga ruang-ruang kompak adalah
kompak.

Ruang topologi

dikatakan kompak lokal pada titik

memiliki setidaknya satu persekitaran kompak di

pada setiap titiknya, maka

X . Jika

dari persekitaran-persekitaran

sehingga setiap persekitaran dari

Ruang topologi

jika

kompak lokal

disebut ruang kompak lokal.

Basis lokal atau persekitaran basis dari ruang topologi

merupakan koleksi

p X

p di

pada titik

p di

memuat anggota dari

p X ,

sedemikian
.

dikatakan memenuhi aksioma keterhitungan pertama (first

X

axiom of countability) jika

memiliki basis lokal yang terhitung disetiap

titik-titiknya.
Teorema 2.8[4] Diberikan

merupakan ruang topologi, misalkan

Jika terdapat barisan dari titik-titik di

p U
; berlaku kebalikan jika

yang konvergen ke

U X .
p , maka

memenuhi aksioma keterhitungan

pertama.
3. Graf Berarah Baris-Berhingga
Sebuah graf berarah
(i)

E0

E terdiri dari pasangan

merupakan himpunan terhitung (countable) yang unsur-unsurnya

disebut titik.
1
(ii) E
merupakan himpunan terhitung (countable) yang unsur-unsurnya
disebut sisi.

r , s : E1 E 0

(iii)
source,

e E1 ,

merupakan dua fungsi yang disebut fungsi range dan

s (e )

merupakan source dari

merupakan range dari e .

(iv)Jika s ( e ) =v dan r ( e )=w , e
Sebuah graf berarah

dan

adalah sebuah sisi dari v

r (e )

ke w .

disebut baris-berhingga, jika setiap titiknya menerima

paling banyak berhingga sisi, yaitu, dimana

1
1
r ( v ) {e E ; r ( e )=v }

adalah

0
himpunan berhingga untuk setiap v E .

Produk

dari

graf

berarah

E F=( E 0 F0 , ( E1 F 0) ( E 0 F 1 ) , r , s ) ,

dan
dimana

adalah
r

dan

graf
s

didefinisikan sebagai berikut:

1
1
0
0
Untuk setiap e E , f F , u E , v F ,
r ( e , v )=( r E ( e ) , v ) r (u , f )=( u ,r F ( f ) )
s ( e , v )=( s E ( e ) , v ) s (u , f )=( u , s F ( f ))
Lintasan dengan panjang
=1 n
1 i n1 .

dari sisi-sisi di

dari graf berarah

E

sedemikian sehingga

merupakan barisan
s ( i )=r ( i+1 ) untuk

||=n

Selanjutnya dituliskan

. Himpunan

untuk panjang dari

merupakan himpunan dari lintasan-lintasan dengan panjang

n .

En

En
dapat

diilustrasikan sebagai berikut

2
E

Lintasan tak hingga

dari graf berarah

n
E

merupakan barisan

=1 n sedemikian sehingga s ( i )=r ( i+1 ) untuk i> 1 .

Untuk

, kita definisikan himpunan silinder dari

oleh

Z ( ) { E E ; = ' } .
Himpunan silinder dari lintasan

E E

, dimana

adalah lintasan

yang berada di

merupakan faktor dari .

4. Topologi Kompak Lokal Hausdorff pada Ruang Lintasan Tak Hingga

E
Lemma 4.1[6] Jika
graf berarah baris-berhingga, maka
{Z ( ) E ; E }

diwariskan dari

adalah basis untuk subruang topologi pada

1
E

yang

Bukti:
Untuk barisan berhingga
definisikan

G=(g 1 , g2 , , g N )

unsur-unsur dari

Z ( G ) ( e m )m=1 E1 ; en=g n untuk 1 n N .

N

E1 membawa topologi diskrit, keluarga

Karena

{ Z ( G ) ; Gmerupakan barisan berhinggadi E1 }

merupakan basis dari topologi produk
Z ( G ) E

Karena
himpunan
pada

E1

jika dan hanya jika

{Z ( ) E ; E }

g1 g N E , himpunan-

membentuk basis untuk subruang topologi

E .

Lemma 4.2[6] Untuk setiap

topologi pada

En

n N

yang diwariskan dari

n N . Jika

En E1

berhingga, maka produk

bersesuaian dengan topologi relatif pada

E1

En

n N

Bukti
Notasikan

En

n N

Misalkan

dengan

X .

merupakan topologi produk pada

merupakan topologi relatif pada

X , misalkan

yang diwariskan dari

misalkan juga merupakan pemetaan identitas pada X .

Selanjutnya, berdasarkan Proposisi 2.6, akan ditunjukkan bahwa
: ( X , 1 ) ( X , 2 )
merupakan homeomorfisma.

E1

, dan

Karena

En

merupakan subhimpunan berhingga dari

, Teorema 2.7

mengakibatkan bahwa 1 adalah ruang kompak.

Selanjutnya, karena

E1

membawa topologi diskrit, dan karena setiap ruang

diskrit merupakan ruang Hausdorff, maka

E1

merupakan ruang Hausdorff.

Lebih lanjut, berdasarkan Proposisi 2.2 dan Proposisi 2.3, maka

2 merupakan

topologi Hausdorff.
Jadi, merupakan bijeksi dari ruang kompak ke ruang Hausdorff. Oleh
karena itu, cukup ditunjukkan bahwa kontinu.
Misal V =Z (G)

merupakan basic open set di

1
E

1
Jika V X= , maka ( V X )= buka di ( X , 1 ) .
Misalkan bahwa V X .

Maka, berdasarkan Teorema 2.1 (iii)

1

( V X )= {(e i)i=1 X ; e i=gi untuk i N }

merupakan basic open set di (X , 1 ) .
Karena

merupakan homemorfisma, maka

( X , 2)

merupakan topologi

kompak.
Teorema 4.3[6]

E merupakan ruang kompak lokal Hausdorff.

Bukti:
Untuk melihat bahwa

ruang kompak lokal, akan ditunjukkan bahwa basic

open sets dari basis Z ( ) E adalah kompak.

X untuk setiap

Pertama, akan dikonstruksikan himpunan

X

bahwa

1
E

adalah ruang kompak di

. Selanjutnya, berdasarkan

Proposisi 2.4, akan ditunjukkan bahwa Z ( ) E tutup di

{{

Karena

{ n }
1

e E ; s ( ) E
E

X .

E , dan untuk setiap n N , definisikan

Selanjutnya tetapkan
En

dan tunjukkan

n||1

, untuk 1 n ||
r ( e ) } , untuk n>||

merupakan graf berarah baris-berhingga, akibatnya

berhingga untuk setiap

n N . Oleh karena itu

En

n N

En

merupakan ruang

kompak.
Berdasarkan Lemma 4.2,

diwariskan dari

E1

X En
n N

dengan topologi relatif yang

juga ruang kompak. Karena

Z ( ) E X , cukup

ditunjukkan bahwa Z ( ) E tutup.

Berdasarkan definisi graf berarah dan aksioma keterhitungan pertama, dan

dengan menggunakan Teorema 2.8, kita dapat menggunakan barisan.
n

Misalkan ( )n N merupakan barisan di Z ( ) E

yang konvergen ke
X , artinya

i i

untuk setiap

i N . Akan ditunjukkan bahwa

Z ( ) E .
Untuk setiap

j N , diperoleh

n
sedemikian sehingga n M j j = j .

j j , sehingga terdapat

Mj

Kemudian

tetapkan

n P j nj= j

dan

jN .

Jika

P j =maks { M j , M j+1 } ,

maka

nj+1= j +1 .

n
n
Ini mengakibatkan s ( j )=r ( j+1 )=r ( j+1 ) .
( j)=
s

Karena ini benar untuk semua

dan oleh karena itu
Akibatnya

merupakan lintasan di

Z ( ) E .

{Z ( ) E ; E }

oleh karena itu

j N , maka

merupakan basis kompak untuk

merupakan ruang kompak lokal.

E , dan

Referensi
[1] Hu, Sze-Tsen. (1969). Elements of General Topology, Third Edition. San
Fransisco: Holden-Day, Inc.

[2] Johnston, A. dan Reynolds, A. (2009). C -Algebras of Graph Products. Dalam

Research Experiences for Undergraduates, Canisius College.
[3] Kumjian, Pask, Raeburn, Renault. (1997). Graphs, Groupoids and Cuntz-Krieger
Algebras. Dalam J. Func. Anal. 144, 505-541.
[4] Munkres, J.R. (1975). Topology, Second Edition. New Jersey: Prentice Hall, Inc.
[5] Raeburn, I. (2005). Graph Algebras. Rhode Island: American Mathematical
Society.
[6] Webster, S.B. (2010). Directed Graphs and K-graphs: Topology of The Path

Space and How It Manifests In The Associated

-Algebra. Tesis Doktor

School of Mathematics and Applied Statistics, University Wollongong: tidak

diterbitkan.