UTS MATA KULIAH TEKNOLOGI INFORMASI

“Hasil terjemahan General Topology and its Applications”

Dosen Pengampu: Ratna Herdiana, M.Sc., Ph.D.

Disusun Oleh:

Muchammad Najid Labiba 24010120140158

DEPARTEMEN MATEMATIKA

FAKULTAS SAINS DAN MATEMATIKA

UNIVERSITAS DIPONEGORO

2021

1
 DAFTAR ISI

PEMBAHASAN .................................................................................................................................. 3
BAB 1. EDITORIAL ...................................................................................................................... 3
BAB 2. ON “ULTRAPRODUCTS IN TOPOLOGY” .............................................................. 3
BAB 3. ON θ-REFINABILTY OF STRICT p-SPACES .......................................................... 5
DAFTAR ISI...................................................................................................................................... 11
INDEKS.............................................................................................................................................. 11

2
 PEMBAHASAN
BAB 1. EDITORIAL
Kami ingin mengumumkan bahwa Profesor S. P Franklin mengundurkan diri sebagai
redaktur pelaksana dari jurnal efektif ini dengan penerbitan volume 10 dan redaktur pelaksana
yang baru adalaha Richard B.Sher dan Jerry E. Vaugan dari Departemen Matematika Universitas
of North Carolina di Greensboro, Greensboro,NC 27412, USA. Dengan bangga kami umumkan
lebih lanjut bahwa Profesor Franklin akan terus melayani sebagai anggota dewan penasihat.
Professor Franklin sudah menjadi redaktur pelaksana dari General Topology and its Applications
sejak 1971 dan Sebagian besar bertanggung jawab untuk menetapkan jurnal sebagai outlet 1 utama
untuk kertas berkualitas tinggi dalam topologi2. Kami sampaikan salam hangat dari kami dan
kedepannya untuk bekerja sama dengan dia dalam jurnal ini.
Dewan penasihat dari General Topology and its Applications telah merekomendasikan
memperluas jangkauan jurnal untuk memasukan berbagai bidang topologi dan aplikasinya yang
masih belum jelas tercantum di jurnal tempo lalu. Untuk menekan lingkup yang luas ini, nama
jurnal akan diubah menjadi Topology and its Applications dimulai dengan isu selanjutnya, volume
11 (1980). Sepertinya tidak pantas untuk mencoba mendefinisikan dengan tepat subjek apa yang
sekarang harus dimasukkan dalam jurnal, tapi itu dimaksudkan bahwa selain aksiomatik, teori
himpunan, umum, dan geometris topologi, mereka juga termasuk topologi aljabar dan topik lain
yang berinteraksi dengan topologi dan aplikasinya.
Kami juga ingin mengucapkan terima kasih kepada Dewan Penasehat, Dewan
Redaksi,dan North-Holland Publishing Company untuk membantu membuat perubahan dalam
editorchip berjalan semulus mungkin. Kami berharap dapat bekerja sama dengan mereka dan
dengan kami rekan-rekan di komunitas matematika di masa depan.

BAB 2. ON “ULTRAPRODUCTS IN TOPOLOGY”

Paul BANKSTON
Departemen Matematika, Universitas Southern Illinois di Carbondale, Carbondale, IL 62901, USA
Diterima 19 Juli 1977
Kami memperbaiki kesalahan dalam tulisan ini yang telah disebutkan di atas dan
memberikan solusi untuk masalah di dalamnya.

AMS Subj, Class.: Primary 02H13, 54B10,54G20;

Secondary 02K25,18A30,18B99,54F05.

Ultraproducts topological spaces

1
tempat penjualan itu hanya menjual barang-barang yang merupakan satu produk tertentu, misalnya produk baju
dengan merek tertentu.
2
cabang ilmu dari matematika yang mempelajari fungsi kontinu secara umum (abstrak) serta objek-objek yang
diawetkan oleh fungsi kontinu tersebut.

3
Dalam catatan ini kami melakukan dua hal: pertama kami membenarkan kesalahan pada
pembuktian teorema 7.7 dalam [I], memperkuat teorema itu untuk menghindari penggunaan P-
titik di β(ω)-ω; dan yang kedua kami memberikan solusi E. penyelesaian van Douwenn
(dikomunikasikan pribadi kepada saya) dari Problem 10.2 (Tombol R), juga di [I] (dimana
pembaca dirujuk untuk semua notasi dan terminology3).
Koreksi pertama (kami sangat berterimakasih kepada F. Galvin karena membantu menemukan
kesalahan).
Teorema 7.7 (lama) misal 𝝒 menjadi regular, U sebagai ultrafilter selektif (i.e adalah P-titik dari 𝛃
(ω)-ω). Ketika ∆ (𝝒) tertutup di Πu (𝝒).
Dalam pembuktian kita biarkan [F] ∈ Πu(𝝒)- ∆ (𝝒) dan membuat ultrabox terbuka ΠU Nn tentang
[f] yang sebelumnya melewatkan ∆ (𝝒). Kita mengklaim bahwa set N disjoint pada anggota U. Ini
adalah salah. Meskipun demikian benar bahwa ⋃J∈U⋂N∈JNn =∅; dan ini semua yang kita
butuhkan. Tidak begitu sulit untuk menjadikan bukti ini benar. Namun, alih alih melakukan
ini, kami memberikan bukti yang telah diperkuat dari 7.7.
Teorema 7.7 (Baru) Biarkan 𝝒 menjadi regular, U sebagai ultrafilter selektif. Ketika ∆(𝝒)tertutup
di Πu(𝝒).

Bukti: misal [f] ∈ Πu(𝝒)-Δ (𝝒). Kami akan menunjukan dimana ΠU Nn berada di [f] dan tidak
termasuk ∆(𝝒). Seperti pada pembuktian yang lalu, kita mendapatkan
J = {m<ω: lim([f]) ≠ f(m)}.
Ketika J ∈ U; untuk ataupun jika [f] ∉ N (𝝒) atau lim ([f]) ≠ f(m) (semua m < ω), maka J= ω dan jika
lim([f]) = f (m0 ) sama untuk m0 < ω, maka dari Hausdorff ⊃ {m:f(m) ≠ f(m0 )}∈U.
Untuk setiap m∈J misal Mm adalah terbuka dari f(m)sedemikian hingga K m= {n ∈ J: f(n)∉ Mm } ∈ U
̅ n : n<m, f(m)∉ M
dan misal Nm = Mm - ⋃ { M ̅ n }. Maka Nm termasuk lingkup terbuka dari f(m).

Untuk semua K ⊂ J dengan K ∈ U, kami menunjukan ⋂m∈K Nm = ∅. Asumsikan sebaliknya, misal

x∈⋂m∈K Nm dan misal m0 menjadi anggota terkecil dari K pada ω. Maka m0 ∉ K m0 , sehingga misal
̅ m0 dan karenanya M
m0 ∈ K. Maka m0 < m1 , f(m1 ) ∉ M ̅ m0 ∩ Nm1 = ∅. Tetapi karena m0 , m1 ∈ K. kita
memiliki x ∈ Nm0 ∩ Nm1 ⊂ Mm0 ∩ Nm1 .

Tanda: (i) dengan model trivial 4, teorema 7.7 digenerelasikan menjadi: misal 𝝒 adalah regular
dan K terbuka (K adalah cardinal) dengan U sebagai ultrafilter di K, Ketika ∆ (𝝒) tertutup di Πu(𝝒).
(ii) Suatu ruang adalah Urysohn jika setiap pasangan titik yang berbeda dapat dipisahkan oleh
himpunan terbuka dengan penutupan terputus-putus. Jelas properti Urysohn terletak di antara
keteraturan dan Hausdorff. Dengan sedikit perubahan pada bukti di atas (i.e. dalam definisi J),
Teorema 7.7 berlaku untuk semua ruang Urysohn 𝝒.

(iii) Dengan mengacu pada [I], pembaca sekarang dapat menghilangkan praselektivitas dari
Teorema 7.8 serta, MA dari pembuktian pertama Teorema 8.2.

3
merupakan peristilahan (tentang kata-kata);
4
berkenaan dengan trivia. Arti lainnya dari trivial adalah bernilai nol.

4
Selanjutnya kita memecahkan Soal 10.2 yang menanyakan apakah ultraproduk dari ruang yang
tersebar. Van Douwrn mendemonstrasikan sebuah contoh yang mengatakan “tidak”; dan sedikit
tambahan mengerjakan contohnya mengarah ke yang berikut.

Porposisi. Biarkan U menjadi ultrafilter terhitung yang tidak lengkap pada himpunan I dengan 𝝒
a topologi ruang. Kemudian ultrapower (𝝒) tersebar jika peringkat Z Ctintor-Bendixson adalah
terbatas.

Bukti: kita ingat notasi 𝝒’ = 𝝒− (titik terisolasi); dan untuk α sebagai ordinal, ϰα , 𝝒=
⋂β<α(ϰβ)’. Jika x ∈ 𝝒 maka rk(x)= α terkecil sedemikian hingga x ∉ ϰα jika ada α dan ∞
sebaliknya. Rk (𝝒)= sup {rk(x): x ∈ 𝝒}. 𝝒 tersebar jika rk(𝝒) < ∞. Mudah untuk mengecek
itu jika rk(𝝒) < ω, maka rk (∏u(𝝒)) <ω untuk setiap ultrafilter U. Disisi lain,jika U terhitung
tidak lengkap, misal Jn:n < ω menjadi partisi dari I dimana himpunan komplemennya masuk
dalam U. Desiniskan x: I→ 𝝒 sehingga jika I ϵ Jn, maka rk (x1 ) ≥ n. Misal
A= {[y]U ∈ ∏U (𝝒): untuk semua n<ω {i: rk (yi ) ≥ n} ∈ U}
Jelas [x]U berada di A, sehingga A≠∅ dan tidak berlaku pada U, A tidak memiliki titik
terisolasi. Jadi ∏U (𝝒) tidak tersebar

BAB 3. ON θ-REFINABILTY OF STRICT p-SPACES

Józef CHABER

Universitas Warsaw, Polandia

Heikki JUNNILA

Departemen Matematika, Politeknik dan Universitas Negri Virginia, Blacksburg,VA 24061, USA
Diterima 15 Mei 1978

Dalam tulisan ini, beberapa solusi parsial5 diberikan untuk masalah tentang θ-Refinability dari
ketepatan p-ruang. Ditunjukkan bahwa setiap ketepatan ruang p lokal adalah θ-refinable dan setiap
p ruang local dapat dipisahkan tepat adalah subparakompak6.

AMS(MOS) Subj. Class (1970): Primary 54D99, 54D20, 25D45

Strict p-space θ-refinable

locally hereditarily separable developable
locally compact

5
Bagian dari keseluruhan
6
jika ruang tersebut Hausdorff dan setiap selimut terbuka A dari x memiliki suatu penyempurnaan terbuka B yang
berhingga lokal yang menutup X

5
Properti untuk menjadi ruang-p [l] adalah salah satu simultan yang paling sukses generalisasi dari
sifat kekompakan dan metrizability7. Kelas dari p-spasi terlalu lebar untuk berbagai tujuan (karena
beberapa ruang yang patologis, seperti sebagai ruang ordinal [0, Ω), adalah ruang-p) tetapi
untungnya banyak aksioma penutup menentukan subkelas yang pas dari kelas ini; jadi misalnya
properti seperti parakompak, metakompak, subparakompak dan θ-refinability dapat dihitung
secara produktif di kelas ruang-p ini.
Salah satu subkelas penting dari ruang-p adalah kelas dari ketepatan ruang-p [2]. Wajar untuk
menanyakan apa hubungan antara ketepatan ruang-p dan ruang-p yang memunculkan sifat
tertentu. di [3],ada contoh ketepatan ruang-p yang tidak subparakompak Pertanyaan berikut,
bagaimanapun,tetap terbuka:

Pertanyaan: Apakah setiap ketepatan ruang p dapat diperbaiki?

Karena ditunjukkan pada [4] bahwa setiap ruang-p θ-refinable adalah ketepatan ruang-p,
merupakan jawaban afirmatif untuk pertanyaan ini, akan menunjukkan bahwa 'mencirikan'
Ketepatan ruang-p di kelas ruang-p. Kami tidak dapat menjawab pertanyaan sepenuhnya tetapi
hasil di bawah ini menunjukkan bahwa jawabannya afirmative jika salah satu hanya
mempertimbangkan bahwa ruang lokal kompak atau secara lokal dapat dipisahkan secara turun-
temurun.

Notasi dan terminology: untuk urutan (A n) dari sebuah himpunan, kita tuliskan A n↑ B jika
⋃n∈NA n= B dan A n ⊂ A n+1 untuk setiap n∈N. Misal ℒ adalah keluarga dari himpunan bagian
dari himpunan A. maka ℒ F (ℒ C ) menunjukan bentuk kerabat dari semua yang tak terhingga (dapat
dihitung) gabungan dari himpunan ℒ .Untuk setiap a∈A. (ℒ) a dinotasikan dalam bentuk {L∈
ℒ |a∈L} dan St(a,ℒ )=⋃(ℒ) a . Kerabat dari himpunan bagian 𝒩 dari A adalah penyempurnaan
parsial dari kerabat ℒ untuk semua N∈𝒩, kita memiliki N⊂L untuk L∈𝝒 (seperti biasa, 𝒩
disebut perbaikan dari ℒ jika 𝒩 adalah parsial dari perbaikan ℒ dan ⋃𝒩= ⋃ℒ ). Barisan
(𝒩n ) sampul dari A adalah θ-barisan jika untuk setiap a∈A, terdapat n∈ℕ sedemikian
sehingga kerabat (𝒩n ) adalah berhingga.

Mengikuti pernyataan, X menunjukkan ruang topologi. X adalah ℵ-kompak jika masing-masing

keluarga diskrit8 dari himpunan bagian dari X dapat dihitung. X adalah θ-refinable [8] jika setiap
sampul terbuka dari X memiliki θ-sequence dari penyempurnaan terbuka. Saya menggunakan
karakterisasi berikut dari ketepatan ruang-p [5]: X adalah ketepatan ruang-p jika X adalah ruang
Tychonoff dan X memiliki urutan (𝒰n ) penutup terbuka sedemikian hingga untuk setiap x∈X,
himpunan Px = ⋂n∈NSt (x, 𝒰n ) adalah kompak dan barisan (St (x, 𝒰n )) adalah basis tetangga
untuk himpunan Px.

7
jika setiap titik x dari X mempunyai suatu lingkungan U yang metrizable di dalam ruang bagian topologi.
8
Sejumlah berhingga elemen yang berbeda atau tidak bersambungan

6
Kami mulai dengan hasil awal:

Lemma9 I. Misal 𝒪 menjadi cover terbuka X dan misalkan A ⊂ X sedemikian rupa sehingga untuk
setiap a∈A, kita memiliki St (a, 𝒪) ⊂ W untuk W∈𝒪 F (W ∈ 𝒪 F). Kemudian 𝒪 memiliki
penyempurnaan parsial terbuka yang mencakup A dan terbatas titik (point-countable) pada A.

Bukti: Untuk setiap a∈A, misal 𝒪 (a) menjadi subfamili berhingga (dapat dihitung) dari 𝒪
sedemikian sehingga St (a, 𝒪 ') ⊂ ⋃ 𝒪 (a). Misal B menjadi subset maksimal dari A sehingga setiap
set dari keluarga 𝒪 terdapat paling banyak satu titik B, dan misal 𝒲 = {St (b, 𝒪) | b ∈ B}.
Menggunakan kemaksimalan dari B, kita lihat bahwa keluarga 𝒲 mencakup A. Untuk setiap a∈A,
himpunan ⋃𝒪 (a) berisi di paling berhingga (dapat dihitung) banyak titik B dan mengikutinya,
karena St (a, 𝒪) ⊂ ⋃𝒪 (a), bahwa keluarga (𝒲)a adalah berhingga (dapat dihitung). Keluarga 𝒰
= {0 ∩ St (b, 𝒪) | b ∈ B dan (Ο ∈ 𝒪 (b)} adalah penyempurnaan parsial terbuka dari 𝒪 dengan
syarat yang diperlukan dalam lemma.

Proposisi10 1, X adalah lokal kompak dan metakompak (lokal Lindeltif dan metakompak
Lindelloff) jika X memiliki penutup terbuka 𝓤 sehingga untuk setiap x 𝝐X, himpunan St (x, 𝒰)
adalah termasuk dalam beberapa subruang kompak (Lindelof-subruang) dari X.

Bukti: Kebutuhan jelas karena persatuan kompak yang terbatas (dapat dihitung) (Lindelof)
subruang adalah subruang kompak (Lindelof). Kecukupan adalah sesuatu yang instan dengan
konsekuensi dari hasil Lemma 1 (dengan A = X).

Perhatikan bahwa seseorang dapat menggunakan Proposisi 1 untuk mendapatkan bukti mudah
untuk hasil bahwa produk dari dua kompak lokal dan metakompak (meta Lindeloof adalah
metakompak (meta-Lindelof).

Untuk dapat menggunakan hasil Lemma 1 sehubungan dengan B-refinability, kita perlu hasil
tambahan.

Lemma 2. Misal X adalah metakompakc yang dapat dihitung dan 𝒱 = ⋃n∈ℕ𝒱n menjadi cover
terbuka dari X sehingga ada peningkatan cover {A n} ∞
n=1 dari X sedemikian hingga untuk setiap n
∈ ℕ. 𝒱n meliputi A n dan merupakan titik-berhingga pada A n. Maka 𝒱 memiliki θ-barisan dari
perbaikan terbuka.

Bukti: Karena A n→X. seperti yang kita lihat untuk setiap n ∈ ℕ, keluarga yang dapat dihitung
{⋃𝒱n+k |k∈ℕ} adalah cover terbuka dari X. Oleh karena itu terdapat, untuk setiap n ∈ ℕ., cover
terbuka titik berhingga {⋃𝒱n+k |k ∈ ℕ} dari X sedemikian hingga Un,k ⊂ ⋃𝒱n+k untuk setiap
k∈ℕ. untuk semua n∈ℕ, dinotasikan sebagai 𝒲nkeluarga dari {V∩Un,k | k∈ℕ dan V∈ 𝒱n+k }
dan catat ini sebagai keluarga yang perbaikan terbuka dari 𝒱. Untuk menunjukan itu (𝒲n)
adalah θ-barisan, misal x ∈X dan n∈ℕ sedemikian sehinhga x∈ A n. Lebih jauh lagi, misal I∈ℕ
sedemikian hingga x ∈~Un,k untuk setiap k>I. maka {𝒲n) x termasuk kedalam kluarga

9
teorema sederhana yang mana dipergunakan sebagai hasil-antara dalam pembuktian teorema yang lain.
10
pernyataan yang melukiskan beberapa keadaan yang belum tentu benar atau salah dalam bentuk sebuah
kalimat berita

7
{V∩Un,k | k=1.…, I dan V∈ (𝒱n+k) x } dan keluarga ini adalah berhingga karena x ∈ A n+k untuk
setiap k=1..., l.

Proposisi 2. X adalah lokal kompak dan 𝜃-refinable jika X memiliki urutan (𝒰n ) dari cover11
terbuka sedemikian hingga untuk setiap x∈X, terdapat n∈ℕ sehingga himpunan St (x, 𝒰n ) adalah
termasuk di dalam beberapa subruang kompak X.

Bukti. Perlu asumsikan bahwa X kompak secara lokal dan θ-refinable. Maka X memiliki cover
terbuka oleh interior himpunan bagian kompak dan cover ini memiliki θ-barisan (𝒰n ) dari
penyempurnaan terbuka. Jelas, barisan (𝒰n ) memiliki sifat yang diperlukan dalam proporsi.

Asumsikan bahwa X memiliki urutan (𝒰n ) cover terbuka dengan syarat yang disebutkan dalam
proposisi; kita dapat berasumsi bahwa untuk setiap n∈ℕ, 𝒰n+1 menyempurnakan 𝒰n . Jelas bahwa
X adalah kompak lokal. Jika 𝔏 = (Q n| n∈ℕ) adalah cover terbuka dari X, maka

Rn = Q n~ {x| St (x, 𝒰n )⊂⋃k<n Q n} untuk setiap n∈ℕ

Dengan menggunakan Proposisi 2,sekarang kita dapat membuktikan hasil utama dari makalah ini.

Teorema. Ruang Hausdorff kompak lokal adalah ketepatan ruang-p jika ruangnya adalah 𝛉-
refinable12.

Bukti. Karena ruang HausdorfI yang kompak secara lokal adalah ruang p, maka cukup ikuti
menggunakan hasil dari [4] bahwa setiap θ-refinable p-space adalah ketepatan ruang p.

Kebutuhan. Misal Y menjadi ketepatan p-space lokal kompak. Maka X memiliki barisan (𝒰n )
dari cover terbuka sedemikian hingga untuk setiap x ∈ X, himpunan Px = ⋂n∈N St(x, 𝒰n ) adalah
kompak dan (St (x, 𝒰n )) adalah basis lingkup dari Px. Untuk setiap x∈X, himpunan bagian kompak
Px dari ruang kompak lokal X memiliki lingkup kompak, katakanlah Vx, dan dengan barisan
(𝒰n ), terdapat n(x)∈N sedemikian hingga St(x, 𝒰n(x) ) ⊂ Vx. Itu mengikuti hasil dari Proposisi 2
bahwa X adalah θ-refinable.

Kami sekarang beralih dari ruang kompak lokal ke mempertimbangkan secara turun-temurun
dapat dipisahkan secara local.

Reposisi 3, misal X menjadi local ruang secara turun temurun yang dapat dipisahkan dan
diasumsikan bahwa X memiliki barisan (𝒰n ) dari cover terbuka sedemikian hingga untuk setiap
x∈X, terdapat n∈ℕ sedemikian hingga himpunan St (x, 𝒰n ) berisi menjadi Lindelof -subruang dari
X. Maka setiap cover terbuka dari X memiliki penyempurnaan σ-diskrit.

11
Cover dalam topologi, misal 𝐵 adalah suatu himpunan. Suatu koleksi 𝒜 disebut cover dari 𝐵 jika 𝐵 termuat
dalam gabungan semua himpunan dari 𝒜
12
menyempurnakan

8
Bukti: misal 𝒪 adalah operasi dari X.

Menggunakan Lemma 1, kita melihat bahwa untuk setiap n∈ℕ, 𝒰n memiliki perbaikan parsial
terbuka Vnyang mencakup A ndan merupakan titik yang dapat dihitung pada A n. Untuk setiap, n∈ℕ
dilambangkan dengan ℒn , keluarga {V⋂A n|V∈𝒱n } Maka keluarga ℒ = ⋃n∈Nℒnadalah
penyempurnaan dari cover 𝒪. Untuk menunjukkan bahwa ℒ adalah σ-diskrit, cukup menunjukkan
bahwa setiap ℒn adalah p-diskrit. Misalkan n∈ℕ, Maka ℒn adalah titik-yang dapat dihitung cover
penutup dari subruang A, dan setiap L∈ℒn dapat dipisahkan. Karena keluarga himpunan titik dari
himpunan bagian terbuka dari ruang yang dapat dipisahkan dapat dihitung, maka keluarga ℒn dapat
dihitung. Bukaan yang dapat dihitung bintang cover ruang topologi adalah σ-diskrit (lihat bukti
Teorema 5.10 dalam [6]); maka ℒn adalah σ-diskrit di subruang A ndari X dan karenaA n tertutup,
ℒn adalah σ-diskrit di X.

Ruang memiliki dapat dihitung karna keduanya Lindelof dan turunan yang dapat dipisahkan.
Karena sesuai dengan aturan ialah konsekuensi dari proposisi 3.

Akibat 1. Asumsikan bahwa X memiliki urutan (𝒰n ) cover terbuka sedemikian hingga untuk
setiap x∈X, terdapat n∈ℕ sedemikian hingga subruang St (x,𝒰n ) dari X memiliki jumlah yang
dapat dihitung. X memiliki jaringan σ-diskrit.

Ruang reguler adalah subparakompak (dan karenanya θ-refinable) jika masing-masing ruang
cover terbuka memiliki σ-refinable diskrit. Karena setiap subparakompak yang dapat
dikembangkan secara lokal adalah dapat dikembangkan (lihat [8] atau [3]), kami memiliki hasil
untuk hal tersebut.

Akibat 2. Asumsikan bahwa X reguler dan X memiliki barisan (𝒰n ) dari cover terbuka sedemikian
hingga untuk setiap x∈X, terdapat n∈ℕ sedemikian hingga subruang St (x, 𝒰n ) dari X adalah
hitungan kedua. Kemudian X dapat dikembangkan.

Hasil ini juga dapat digunakan sebagai penghubung dengan ketepatan ruang-p. Menggunakan
argumen serupa dengan yang digunakan dalam pembuktian teorema di atas, kita melihat bahwa
akibat 2 menyiratkan hal tersebut.

Akibat 3. Ketepatan ruang-p hitungan kedua secara lokal dapat dikembangkan.

Karena ruang Hausdorff13 kompak dengan Gδ -diagonal dapat diukur, dan karenanya hitungan
kedua, hal ini mengikuti dari akibat 3 bahwa ketepatan ruang-p lokal kompak dengan Gδ -diagonal
dapat dikembangkan (hasil ini juga mengikuti dari: teorema di atas dan hasil dari [7] bahwa θ-
refinable ruang-p dengan Gδ -diagonal, dapat dikembangkan).

13
Ruang topologi X disebut hausdorff jika, setiap pasangan titik yang berbeda a dan b di X masing masing masuk ke
dalam himpunan himpunan terbuka yang disjoint

9
Untuk membuktikan hasil akhir kita, kita membutuhkan lemma berikut.

Lemma 3. Sebuah ketepatan ℵ-ruang-p kompak X adalah Lindelof14.

Bukti. Misal 𝒪 cover terbuka X. Misal (𝒰n ) menjadi urutan dari cover terbuka X dengan syarat
yang diperlukan dalam karakterisasi ketepatan ruang-p. Untuk setiap n∈ℕ, Misalkan A n= {x∈X
|St (x,𝒰n )⊂V untuk beberapa V∈𝒪 𝐹 }. Maka ⋃n∈N A n=X. Untuk setiap n∈ℕ, misal Bn ⊂A n
sedemikian hingga A n⊂ St (Bn , 𝒰n ) dan masing masing himpunan U∈𝒰n berisi paling banyak
satu titik Bn (bandingkan dengan pembuktian lemma1). Himpunan Bn tertutup dan diskrit,
maka dapat dihitung. Karena X adalah ℵ-kompak. Untuk setiap n∈ℕ dan setiap B ∈Bn , misal
𝒪 (b,n) adalah subkeluarga terhingga dari 𝒪 sedemikian hingga ⊂ St (b , 𝒰n ) ⊂ ⋃ 𝒪(b,n).
maka 𝒪’= ⋃ {𝒪 (b, n)|n ∈ ℕ dan 𝐵 ∈ Bn} adalah subcover yang dapat dihitung dari 𝒪.

proposisi 4. Ketepatan Ruang-p yang dapat dipisahkan secara turun temurun secara lokal adalah
subparakompak.

Bukti. misal X ketepatan ruang p yang dapat dipisahkan secara lokal. Kami menunjukkan pertama
bahwa X adalah lokal Lindeloof. Misal x∈X dan misal V adalah lingkungan yang dapat dipisahkan
secara turun temurun dari x. Karena X teratur, kita dapat mengasumsikan bahwa tertutup di X.
Maka subruang V dari X adalah ketepatan ruang-p. Karena ruang yang dapat dipisahkan secara
turun temurun adalah ℵ-kompak, hal ini mengikuti Lemma 3 bahwa lingkungan V dari x adalah
Lindelof.

Misal (𝒰n ) menjadi urutan dari cover terbuka X dengan syarat yang diperlukan dalam
karakterisasi ketepatan ruang-p. Karena X adalah Lindelof lokal, kita melihat bahwa untuk setiap
x∈X, terdapat n∈ℕ sedemikian hingga himpunan St (x,𝒰n ) memuat beberapa subruang Lidelof
dari X (bandingkan dengan pembuktian teorema di atas). Ini diikuti oleh Proposisi 3 bahwa
setiap cover terbuka X memiliki penyempurnaan σ-diskrit teratur, karena X adalah regular , oleh
karena itu X adalah subparakompak.

14
Lindelof berlaku jika untuk setiap cover terbuka dari X memiliki subcover yang dapat dihitung

10
 DAFTAR ISI

[1] R. B. S. and J. E. V., “Editorial,” Gen. Topol. its Appl., vol. 10, no. 3, p. 213, Sep. 1979, doi:
10.1016/0016-660X(79)90033-3.

[2] P. Bankston, “On ‘Ultraproducts in topology,’” Gen. Topol. its Appl., vol. 10, no. 3, pp. 231–232,
Sep. 1979, doi: 10.1016/0016-660X(79)90035-7.

[3] J. Chaber and H. Junnila, “On θ-refinability of strict p-spaces,” Gen. Topol. its Appl., vol. 10, no. 3,
pp. 233–238, 1979.

INDEKS

Hausdorff, 4, 5, 8, 9 subparakompak, 5, 6, 9, 10
Lindeloof, 7, 10 topologi, 3, 5, 6, 8, 9
ruang-p, 6, 8, 9, 10 ultrafilter, 4, 5

11