4.

3 BASIS DAN SUBBASIS

( X , T ) suatu ruang Topologi. Suatu basis B untuk T

Difinisi: Misalkan

collection dari

dengan aturan bahwa setiap anggota dari

adalah sub-

adalah gabungan dari anggota

B . Referensi topolgi kadang-kadang ditinggalkan dan kita mengatakan basis dari

basis untuk topologi

X . Anggota-anggota B

topologi yang dihasilkan oleh

dikatakan himpunan buka dasar dan

daripada

adalah

B.

Contoh 4.3.1

(a) Koleksi

dari semua interval buka adalah suatu basis untuk topologi biasa dari

(b) Untuk sebarang ruang metrik

( X , d ) , koleksi B untuk bola terbuka

B ( a ,r ) , a X ,r > 0 , adalah suatu basis untuk topologi yang dibangun oleh d .

X , koleksi dari semua himpunan singleton {x},

(c) Untuk sebarang himpunan

x X

adalah suatu basis untuk topologi diskrit.

(d) Untuk sebarang ruang (X,

T ) topologi T adalah suatu basis untuk dirinya sendiri.

Fakta ini adalah sebagian kecil digunakan karena poin dari definisi suatu basis adalah
menghasilkan suatu koleksi terkecil dari himpunan buka yang dikerjakan.
Definisi: Misalkan
local basis di
(1)

( X , T ) suatu ruang dan misalkan a anggota dari X. suatu local base atau

a adalah subcollection

B a dari T

sedemikian sehingga

a belongs to setiap anggota dari B a dan

(2) setiap himpunan buka yang berisi

a berisi anggota

Ba .

Contoh 4.3.2
(a) Untuk

R , koleksi B a dari semua interval buka dari bentuk ( a , a+ ) , > 0 ,

adalah basis lokal di a .

(b) Untuk sebarang ruang metric
berpusat di

(X , d ) dan a X , koleksi

B a dari semua bola buka

a adalah base lokal di a .

(c) Untuk suatu ruang dikrit

X , himpunan singleton {a } membentuk suatu basis lokal di

a . ( basis lokal adalah koleksi dimana yang anggota hanya {a } .)

( X , T ) dan a X , koleksi dari semua himpunan buka

(d) Untuk sebarang ruang

mengandung
(e) Jika

a adalah lokal basis di a .

adalah basis dari ruang

mengandung

X , maka koleksi dari semua anggota dari B

dimana

a adalah basis lokal di a , maka a X B a adalah basis dari topologi

X.
Definisi: suatu ruang

adalah first countable(terhitung pertama) atau satisfies the first axiom of

countability(memenuhi axioma pertama dari perhitungan) asalkan ada suatu basis lokal terhitung pada
setiap titik di

X . Ruang

adalah second countable(terhitung kedua) atau satisfies the

second axiom of countability(memenuhi axioma kedua dari perhitungan) asalkan topologi

memiliki basis terhitung

Jika suatu ruang X mempunyai basis terhitung, maka, suatu basis
terhitung dari himpunan buka, maka anggota
suatu lokal basis terhitung di

terdiri dari suatu kelompok

dimana berisi titik particular

a membentuk

a . Maka setiap ruang terhitung kedua adalah terhitung pertama.