HIMPUNAN TERTUTUP
Contoh 3.Dalam topologi diskrit di set, setiap set terbuka; berikut bahwa setiap set ditutup
juga.X
Y = [ 0,1 ] ∪ ( 2,3 ) ,
[0,1] dan (2,3) saling komplemen di satu sama lain, dapat disimpulkan bahwa kedua [0,1]
dan (2,3) ditutup pada Y.
Koleksi himpunan bagian tertutup dari ruang memiliki sifat yang sama dengan yang
puas dengan koleksi himpunan bagian terbuka dari:XX
1) ∅ dan.X tertutup
2) Arbitrary intersection dari himpunan tertutup adalah tertutup
3) Finite set dari himpunan tertutup adalah tertutup
Bukti.
c
Karena sesuai definisi ( A∝ ) = X− A∝terbuka , dan arbitrary union pada persamaan
di atas terbuka, sehingga ∩ ∝∈J A∝ (arbitrary intersection) tertutup.
3) Demikian pula, jika finite set Ai tertutup padai=1, … , n, maka dengan hukum
DeMorgan :
X −¿ i=1 ¿ n A i=¿ i=1 ¿ n ( X− A i ) . ¿
c
Karena sesuai definisi ( Ai ) =X− A iterbuka , dan arbitrary intersection pada
persamaan di atas terbuka, sehingga∪i=1 A i (finite union) tertutup. ∎
Jika Y adalah subruang dari X, A dikatakan tertutup pada Y, jika A subset dari Y dan
A tertutup pada subruang topologi Y (Y-A tertbuka pada Y).
Teorema 6.2.Jika Y subruang dari X, maka A tertutup pada Y jika dan hanya jika A
sama dengan irisan dari himpunan tertutup dari X dengan Y.
Bukti. Asumsikan bahwa A=C ∩Y , dimana C tertutup pada X (Gambar 10). Maka
X −C terbuka pada X, dengan demikian ( X −C)∩Y terbuka pada Y (definisi subruang
topologi : Y subruang topology dari X merupakan himpunan terbuka yang memuat semua
irisan dari himpunan terbuka pada X dengan Y). Sebaliknya, asumsikan A terbuka di Y
(gambar 11). Maka, Y − A terbuka di Y. Jika ada U himpunan terbuka yang memuat Y pada
X, maka X −U tertutup pada X, dan A=Y ∩( X −U ), dengan demikian A sama dengan irisan
dari himpunan tertutup dari X dengan Y. ∎
Teorema 6.3. MisalkanY subruang dari X. Jika A tertutup pada Y dan Y tertutup
pada X, maka A tertutup pada X.
Ȧ ⊂ A ⊂ Á .
Jika A terbuka, A= Ȧ ;
jika A tertutup, A= Á .
Di sisi lain, kita tahu bahwa B tertutup di Y. Dari teorema 6.2, B=C ∩ Y untuk
beberapa set C ditutup di X. Kemudian C adalah himpunan tertutup dari X yang memuat A:
karena Á merupakan irisan semua himpunan , kita menyimpulkan bahwa Á ⊂ C . Kemudian
( Á ∩Y ) ⊂ ( C ∩Y )=B .
(a) x ∈ Á jika dan hanya jika setiap set terbuka U memuat x beririsan dengan A
(b) Jika topologi X diberikan sebagai irisan, maka x ∈ Á jika dan hanya jika setiap
irisan elemen B yang memuat x beririsan dengan A
Jika xtidak di Á , HimpunanU =X− Á terbuka yang memuat xyang tidak beririsan dengan A,
seperti yang diinginkan. Sebaliknya jika ada himpunan terbuka U memuat xyang tidak
berisisan A, maka X −U adalah himpunan tertutup memuat A; Berdasarkankan definisi
penutup Á , X −U harus memuat Á Oleh karena itu, x tidak terdapat di Á .
Pernyataan (b), Jika setiap set terbuka yang memuat x beririsan A,begitu juga irisan
elemen B memuat x, karena B adalah himpunan terbuka. Sebaliknya, jika setiap basis elemen
yang memuat x irisan A, begitu juga setiap himpunan terbuka U memuat x, karena U memuat
basis yang berisi x. ∎
Jika A adalah himpunan bagian dari ruang topologi X, maka x ∈ Á jika dan hanya Jika setiap
lingkungan dari x beririsan dengan A.
Contoh 5. Misalkan X garis real R. Jika A = maka untuk setiap lingkungan dari 0 irisan A,
sementara setiap titik di luar [0,1] memiliki lingkungan d adalah gabungan dari A. argumen
serupa berlaku untuk subset berikut X:( 0,1 ] , Á=[ 0,1 ] ,
jika B=¿kemudian Jika kemudian jika Q adalah himpunan bilangan rasional, maka
Jika adalah himpunan bilangan bulat positif, maka. jika adalah himpunan real positif, maka
penutupan adalah set (ini adalah himpunan real positif, maka untuk mengatur kembali
B́= {0 } ∪ B .C= { 0 } ∪ ( 1,2 ) , Ć= { 0 } ∪ [ 1,2 ] . Q́=R . Z+ ¿ Z = Z
+¿ + ¿ R+¿ R
´ ¿¿ ¿
¿
+¿ R ¿
+¿ ∪{ 0 } .Ŕ ¿
+¿ R ¿
+¿ ∪ { 0 } ,1−2. ¿
Contoh 6.Pertimbangkan ruang bagian dari garis real R. Perangkat ini bagian dari Y;
penutupannya in set dan penutupan di Y adalah himpunan
( 12 ) R [ 0 , 12 ] ,[ 0 , 12 ] ∩Y =(0 , 12 ] .
Y =¿ A= 0 ,
TITIK LIMIT
Jika A adalah himpunan bagian dari ruang topologi X dan jika x adalah titik X, kita
mengatakan bahwa x adalah titik limit (atau “titik cluster,” atau titik akumulasi”) dari A jika
setiap lingkungan dari x beririsan A di beberapa titik selain x itu sendiri. Dengan kata lain, x
adalah titik limit A jika merupakan penutup dari A−{ x } .Titik x mungkin terletak pada A atau
tidak; untuk definisi ini tidak masalah
CONTOH 7. Pada garis bilangan R. Jika A=( 0,1 ] maka titik 0 adalah titik limit A dan begitu
1
juga titik . Bahkan, setiap titik interval [0,1] adalah titik limit A
2
Jika B=¿, Maka hanya 0 yang merupakan titik limit B. Setiap titik x pada R memiliki
lingkungan yang tidak berpotongan B sama sekali kecuali di titik x itu sendiri. Jika
C={ 0 } ∪ ( 1,2 )maka titik limit C adalah titik interval [1,2]. Jika Q adalah himpunan bilangan
rasional, setiap titik R adalah titik limit Q. JikaZ+¿ ¿ adalah himpunan bilangan bulat positif,
tidak satupun titik pada R yang menjadi titik limit Z+¿ ¿.
Teorema 6.6 Misalkan A himpunan bagian dari ruang topologi X; misalkan A' himpunan
semua titik limit A. Kemudian Á=A ∪ A ' .
Bukti. Jika x di A ', maka setiap lingkungan dari x beririsan dengan A (di titik yang
berbeda dari x). Oleh karena itu, menurut Teorema 6.5, x terdapat pada Á . Oleh karena itu
A' ⊂ Á ,karena definisi A ⊂ Á maka A ∪ A ' ⊂ Á atau A ∪ A ' = Á ∎
Corollary 6.7. Sebuah subset dari ruang topologi tertutup jika dan hanya jika memuat
semua titik limitnya.
Bukti. Himpunan A ditutup jika dan hanya jika A= Á ,dan berlaku jika dan hanya jika
'
A ⊂A. ∎
Ruang Hausdorff
Definisi ruang topologi X disebut ruang Hausdorff jika untuk setiap pasangan x 1 , x 2 dari titik
selain x, terdapat lingkungan U 1 dan U 2 dari x 1 dan x 2 secara berurutan, saling lepas.
Teorema 6.8
pembuktian
Buktikan bahwa setiap satu tiitik pada himpunan { x 0 } adalah tertutup. Jika x adalah titik pada
X yang berbeda dari x 0, maka x dan x 0 saling memiliki lingkungan yang saling lepas U dan
V . Karena U tidak memilki irisan { x 0 }, akibatnya penutup himpunan {x 0 } adalah { x 0 }itu
sendiri jadi setiap titik berhingga
Teorema 6.9
misalkan X sebuah ruang Hausdorff ; misalkan A subset dari X . Maka titik x adalah titik
limit dari A jika dan hanya jika setiap lingkungan dari x memuat titik A yang tak terhingga.
Pembuktian
Jika setiap lingkungan dari x beririsan dengan A pada banyak titik tak berhingga, tentu saja
beririsan dengan A pada beberapa titik selain x. Dengan demikian x adalah titik limit dari A
Konvers :
Ambil x titik limit dari A, dan beberapa lingkungan U dari x beririsan dengan A hanya di
banyak titik berhingga. Maka U juga beririsan dengan A−{x } pada banyak titik yang
berhingga. Jika {x 1 , … , x m } pada himpunan terbuka X , karena himpunan titik berhingga
{x 1 , … , x m } tertutup, maka
U ∩( X− { x 1 , … , x m } )
adalah lingkungan x yang tidak beririsan dengan semua himpunan A−{x } ini merupakan
kontradiksi. Pada asumsi x adalah titik limit dari A.
Teorama 6.10
Setiap order himpunan terurut sederhana adalah ruang Hausdorff pada topologi yang terurut.
Produk dari dua ruang Hausdorff adalah ruang Hausdorff
Pembuktian
himpunan terbuka dan tertutup dan titik limit dalam garis salah satu ruang topologi
yang lebih umum. Misalnya, dalam topologi order pada R interval (a, b) selalu memiliki b
sebagai titik limit. Tapi ini tidak benar dalam rangka topologi pada umumnya.
satu contoh yang memiliki ruang topologi; topologi pada tiga - set point{a ,b , c }
ditunjukkan dalam Gambar 12. Dalam ruang ini, satu - set point b tidak tertutup, untuk
pelengkap tidak terbuka.
Topologi seperti ini sangat tidak menarik untuk matematika, karena jarang terjadi
pada cabang lain dari matematika. Dan teorema theat seseorang dapat membuktikan tentang
ruang topologi agak limit jika contoh sych diperbolehkan. Oleh karena itu, salah satu sering
membebankan kondisi tambahan yang akan mengesampingkan contoh seperti ini, membawa
kelas ruang bawah pertimbangan lebih dekat dengan orang-orang yang intuisi geometris
seseorang berlaku. ItuKondisi disarankan bt matematikawan Felix Hausdorff, sehingga
matematikawan datang untuk menyebutnya dengan namanya.
Definisi. Sebuah ruang topologi X disebut ruang Hausdorff jika untuk setiap pasang
titik yang berbeda dari X, terdapat lingkungan dan, masing-masing yaitu . x 1 , x 2 U 1 U 2 x 1 x2
Teorema 6.8. Setiap titik yang terlimit diatur dalam ruang Hausdorff X ditutup.
Bukti.Itu sudah cukup untuk menunjukkan bahwa setiap satu - set point ditutup. Jika
x adalah titik X berbeda dari kemudian dan memiliki lingkungan menguraikan U dan V,
masing-masing. Sejak U tidak berpotongan titik tidak bisa milik penutupan set Akibatnya
penutupan set itu sendiri, sehingga yang ditutup.{ x 0 } x 0 , x x 0 { x 0 } , x { x 0 } . {x 0 }{ x 0 }
Bukti. Jika setiap lingkungan dari x irisan A tak terhingga banyaknya poin, tentu
irisan A di beberapa titik selain x itu sendiri, sehingga x adalah titik limit A.
U ∩ ( X−{ x l , … , x m } )
Adalah lingkungan dari x yang irisan himpunan tidak sama sekali. Ini bertentangan dengan
asumsi bahwa x adalah titik limit A.
Kondisi ruang Hausdorff lebih akurat dari pembuktian Teorema 6.8 dan 6.9. bukti
masih akan terus jika salah satu diasumsikan , yang biasanya disebut aksioma:T 1
Untuk membuktikan banyak teorema yang menarik topologi salah satu kebutuhan
kondisi Hausdorff. Selain itu, sebagian besar ruang yang penting bagi matematikawan yang
Hausdorff ruang.
Teorema 6.10.Setiap himpunan adalah ruang Hausdorff. Sebuah ruang bagian dari
ruang Hausdorff adalah Hausdorff sapce.
definisi
Untuk alasan ini kondisi Hausdorff umumnya dianggap sebagai kondisi tambahan
yang sangat ringan untuk memaksakan pada ruang topologi. Memang, dalam kursus pertama
dalam topologi beberapa matematikawan pergi sejauh untuk memaksakan kondisi ini pada
awalnya, menolak untuk mempertimbangkan ruang yang tidak Hausdorff Spaces. Kami tidak
akan pergi sejauh ini, tapi kami pasti akan menganggap Hausdorff Kondisi kapan pun ia
butuhkan dalam bukti tanpa keraguan apapun tentang memlimiti serius berbagai aplikasi dari
hasil.
Kondisi Hausdirff adalah salah satu dari sejumlah kondisi ekstra satu dapat
memaksakan pada ruang topologi .Setiap waktu satu membebankan kondisi seperti ini,
seseorang dapat membuktikan teorema kuat, tapi satu memlimiti kelas ruang yang teorema
berlaku. Banyak penelitian yang memiliki telah dilakukan dalam topologi sejak
permulaannya telah berpusat pada masalah menemukan kondisi yang akan cukup kuat untuk
memungkinkan seseorang untuk membuktikan teorema menarik tentang ruang memuaskan
mereka untuk mengaktifkan, namun tidak begitu kuat sehingga mereka memlimiti berat
berbagai aplikasi dari hasil .
Kita akan mempelajari sejumlah conditi sepertions dalam dua bab berikutnya. The
Hausdorff kondisi sebuah aksioma hanyalah dua dari koleksi kondisi yang sama satu sama
lain yang disebut secara kolektif aksioma pemisahan. Kondisi lain termasuk aksioma
tercacah, dan berbagai kekompakan dan keterhubungan confitions. Beberapa ini adalah cukup
stringents persyaratan, karena Anda akan melihat.T 1