COMPLETE METRIC SPACES

MAKALAH
Disusun untuk memenuhi tugas Topologi
yang diampuh oleh Bapak Sukoriyanto

Diususun oleh :

Febri Nur Azis ; 160312604898

Hadiyatul Maula ; 170312612016
Litha Ramadany ; 160312604884

UNIVERSITAS NEGERI MALANG

FAKULTAS ILMU PENGETAHUAN ALAM DAN MATEMATIKA
JURUSAN MATEMATIKA
PROGRAM STUDI S1 MATEMATIKA
OKTOBER 2018
Definisi 1
Misal (X,d) adalah ruang metrik. Barisan {𝑋𝑛}∞
𝑛=1 dari titik X adalah barisan Cauchy

dengan syarat setiap ɛ positif ada bilangan bulat positif N jika m dan n adalah bilangan bulat
lebih atau sama dengan N , sehingga d(xn, xm) < ɛ

Definisi 2
Ruang metrik (X, d) adalah lengkap (complete) jika setiap barisan Cauchy di X
konvergen ke titik X.

Contoh 3.7.1
(a) Kelengkapan garis real ℝ merupakan fakta dari analisis dasar. Bukti dapat
ditunjukkan menggunakan Teorema 2.11,
(b) Kelengkapan dari ℝ𝑛 mengikuti ℝ. Perhatikan barisan Cauchy {𝑥𝑘 }∞
𝑘=1 pada

ℝ𝑛 , 𝑛 ≥ 2. Untuk 1 ≤ 𝑖 ≤ 𝑛, barisan koordinat ke-𝑖 dari titik 𝑥𝑘 adalah barisan

Cauchy pada ℝ dan konvergen ke bilangan real 𝑧𝑖 . Didapatkan bahwa
{𝑥𝑘 }∞
𝑘=1 konvergen ke 𝑧 = (𝑧1 , 𝑧2, … . , 𝑧𝑛 )

(c) Setiap interval tertutup [𝑎, 𝑏] adalah complete. Bukti, perhatikan barisan Cauchy
{𝑥𝑘 }∞
𝑘=1 pada [𝑎, 𝑏]. Karena ℝ complete, barisan ini konvergen ke bilangan real

𝑥 pada ℝ. Karena [𝑎, 𝑏] tertutup, berakibat bahwa 𝑥 berada pada [𝑎, 𝑏]

(d) Interval buka dan setengah-buka, interval setengah-tutup merupakan tidak
1
complete. Contohnya, {𝑛}∞
𝑛=1 adalah barisan Cauchy di (0,1) yang tidak konvergen

ke titik (0,1). Contoh analog menujukkan ketidaklengkapan/incompleteness dari

(𝑎, 𝑏), (𝑎, 𝑏], 𝑑𝑎𝑛 [𝑎, 𝑏] untuk semua bilangan real 𝑎 < 𝑏
(e) Ruang Hilbert (contoh 3.6.3) adalah complete.

Teorema 3.16
Misal (X,d) adalah ruangmatrik lengkap (complete) . A sub ruang A pada X adalah
lengkap jika dan hanya jika tertutup.

Bukti :
Anggap pertama bahwa A adalah subruang lengkap. Akan terbukti bahwa A adalah
tertutup dengan menunjukkan bahwa A berisi semua titik limitnya. Jika x adalah titik limit A,
maka dari Theorem 3.9 ada persamaan titik-titik yang berbeda dari A yang konvergen ke x.
Karena setiap persamaan konvergen adalah Cauchy dan A lengkap, limit dari persamaan ini,
yaitu x, harus dalam A. Jadi A tertutup.
Misalkan sekarang bahwa A adalah subruang pada metrik lengkap ruang X. Untuk
menunjukkan bahwa A lengkap, pertimbangkan persamaan titik-titik Cauchy pada persamaan
{𝑥𝑛 }∞
𝑛=1 pada titik pada A. Karena X lengkap, persamaan ini konvergen ke sebuah titik x

termasuk X. Dengan Teorema 3.7 (b), fakta bahwa A tertutup menjamin bahwa limit x
termasuk ke A. Dengan demikian masing-masing persamaan cauchy dari titik A konvergen
ke titik A, dan kita simpulkan A itu adalah subruang lengkap.

Example 3.7.2
Syarat kelengkapan tidak diawetkan oleh ekuivalensi topologi. Dengan kata lain, ada
pasangan atau ruang metrik yang ekuivalen secara topologi dengan satu ruang lengkap dan
yang lainnya tidak lengkap. Garis IR nyata dan Interval terbuka (0, 1) mengilustrasikan
fenomena ini.

Definisi 3
A subset ruang metrik X disebut nowhere dense (padat hampir di mana-mana) di X ↔
𝑖𝑛𝑡(𝐴̅) = ∅

Contoh 3.7.3
(a) Sama seperti subset garis real R, suatu himpunan hingga, daerah hasil dari barisan
{1/𝑛}∞
𝑛=1 dan himpunan bilangan bulat Z merupakan nowhere dense (padat hampir

di mana-mana).
(b) Sama seperti bidang, suatu himpunan hingga, titik-titik yang mempunyai koordinat
bilangan bulat, sutu kumpulan garis berhingga dan lingkaran merupakan nowhere
dense (padat hampir di mana-mana).

Definisi 4
Ruang metrik atau subruang metric yang merupakan gabungan dari countable family
pada himpunan padat di katakan kategori pertama. Suatu ruang metric yang bukan
merupakan kategori pertama dikatakan kategori kedua.
Example 3.7.4
(a) Sebagai subruang dari ℝ, himpunan ℝ dari bilangan rasional adalah kategori
pertama. Ini merupakan gabungan dari suatu koleksi countable dari himpunan
tunggal yang padat, yang masing-masing mengandung satu bilangan rasional.
Demikian pula, himpunan titik-titik dalam ℝ𝑛 memiliki semua koordinat rasional
juga merupakan kategori pertama.
(b) Teorema selanjutnya, Teorema Kategori Baire menunjukkan bahwa setiap ruang
metric lengkap adalah kategori kedua. Itu akan membenarkan penegasan bahwa
kategori kedua untuk setiap integer positif n.

Lemma 1
Himpunan bagian A dari ruang metrik X adalah tidak padat dimana-mana dalam X jika
dan hanya jika setiap himpunan buka tidak kosong dari X memuat bola buka yang
penutupnya
saling asing dengan A.

Teorema 3.17 Baire Category Theorem

Setiap ruang metrik lengkap, yang dianggap sebagai subruang dari dirinya sendiri,
merupakan kategori kedua.

Bukti :
Andaikan teorema salah, yaitu misalkan ruang metrik lengkap X bukan merupakan
kategori kedua. Maka X merupakan gabungan dari keluarga terhitung himpunan tidak padat
∞
dimana-mana {𝐴𝑛}𝑛=1 . Perhatikan himpunan tidak padat dimana-mana 𝐴1. Berdasarkan

lemma 1.7.11, himpunan buka X memuat bola buka 𝐵1 yang penutupnya 𝐵1 yang saling asing
dengan 𝐴1. Kita pilih bola buka 𝐵1 dengan jari-jari kurang dari 1. Karena 𝐵1 adalah himpunan
buka yang tidak kosong, maka 𝐵1 pasti memuat bola buka 𝐵2 yang jari-jarinya kurang dari
1/2 dengan penutup B2 saling asing dengan 𝐴2. Begitu seterusnya akhirnya kita dapatkan
∞
barisan nested {B𝑛}𝑛=1 dari bola buka 𝐵𝑛 yang jari-jarinya kurang dari 1/𝑛 dan penutupnya

𝐵𝑛 saling asing dengan 𝐴𝑛. Pusat dari masing-masing bola buka 𝐵𝑛 membentuk barisan
∞ ∞
Cauchy {X𝑛}𝑛=1. Karena X adalah ruang metrik lengkap, maka barisan {X𝑛}𝑛=1 konvergen
∞
ke x dalam X. Perhatikan bahwa {B𝑛}𝑛=1 adalah barisan nested dan 𝐵𝑛 adalah himpunan
tutup sehingga x termuat dalam setiap penutup 𝐵𝑛 . Karena 𝐵𝑛 saling asing dengan 𝐴𝑛,
maka x tidak mungkin termuat di 𝐴𝑛 untuk setiap n. Hal ini bertentangan dengan asumsi
∞
bahwa X adalah gabungan dari {𝐴𝑛}𝑛=1. Sehingga dapat kita simpulkan bahwa ruang metrik
X digolongkan kategori kedua.

Definisi 5
Misal 𝑥 menjadi ruang metrik dan 𝑓: 𝑋 → 𝑋 sebuah fungsi. maka 𝑓 adalah contractive
with respect to the metric d (kontraktif sehubungan dengan metrik d) dengan ketentuan
bahwa ada bilangan positif 𝛼 < 1 sehingga, untuk semua 𝑥, 𝑦 dalam 𝑋.
𝑑(𝑓(𝑥), 𝑓(𝑦)) ≤ 𝛼𝑑(𝑥, 𝑦)
Teorema 3.18 The Contraction Lemma
Misal 𝑥 menjadi ruang metrik yang lengkap dan 𝑓: 𝑋 → 𝑋 fungsi kontraktif. Maka ada
tepat satu titik 𝑥 dalam 𝑋 untuk 𝑓(𝑥) = 𝑥.

Bukti:
untuk menunjukkan keberadaan titik seperti itu, pilih titik 𝑥1 dalam 𝑋 dan definisikan
𝑥2 = 𝑓(𝑥1 ), 𝑥3 = 𝑓(𝑥2 ), … … … , 𝑥𝑛 = 𝑓(𝑥𝑛−1 ), 𝑛≥2
faktanya bahwa 𝑓 adalah fungsi kontraktif menjamin bahwa {𝑥𝑛 }∞
𝑛=1 adalah chaucy
sequence. Dengan kelengkapan, urutan ini memiliki batas 𝑥 dalam 𝑋. karena 𝑓: 𝑋 → 𝑋 adalah
continu, maka urutan {𝑓(𝑥𝑛 )}∞
𝑛=1 konvergen ke 𝑓(𝑥). tetapi 𝑓(𝑥𝑛 ) = 𝑥𝑛+1 , 𝑛 ≥ 1, jadi
{𝑓(𝑥𝑛 )}∞ ∞
𝑛=1 di simpelkan menjadi {𝑥𝑛 }𝑛=2 , yang limitnya 𝑥, jadi 𝑓(𝑥).

untuk menunjukkan properti keunikan yang disyaratkan, anggaplah bahwa 𝑦 adalah titik
kedua yang memenuhi 𝑓(𝑦) = 𝑦. Maka
𝑑(𝑥, 𝑦) = 𝑑(𝑓(𝑥), 𝑓(𝑦)) ≤ 𝛼𝑑(𝑥, 𝑦)
karena 𝛼 < 1, hubungan ini tidak dapat dipertahankan kecuali jika 𝑑(𝑥, 𝑦) = 0 dan 𝑥 = 𝑦.

Definisi 6
Misal (X,d) dan (Y,d’) adalah ruang metrik. Jarak fungsi f: X  Y dari X ke Y disebut
isometric embedding (penyematan isometrik)

Definisi 7
Sub ruang dari ruang metrik X adalah kompleks di X dengan syarat Ā = X
Teorema 3.19 :
Misal (X,d) adalah ruang metrik. Maka ada ruang metrik lengkap(complete) (Y, d’) dan
isometric embedding(penyematan isometrik) e: X  Y dimana X adalah sub ruang kompleks
dari Y. Ruang (Y, d’) khusus untuk ekuivalen metrik.

Bukti:
Misal C menjadi bagian dari barisan Cauchy {𝑋𝑛}∞
𝑛=1 di X. Untuk meringkasnya, akan

dinotasikan jenis barisan Cauchy oleh <xn>. Didefinisikan relasi ekuivalen ~ di C sehingga:
barisan Cauchy <xn> dan <yn> menjadi ekuivalen <xn> ~ <yn>, dengan syarat
{𝑑(𝑋𝑛, 𝑌𝑛)}∞
𝑛=1 dari bilangan real mempunyai limit 0. Untuk memverifikasi relasi ekuivalen

~ , dibuktikan sendiri sebagai latihan. Misal Y = C/ ~ dinotasikan sebagai bagian dari

ekuivalen, dimana [<xn>] dinotasikan dengan ekuivalen dari <xn>. Untuk [<xn>], [<yn>] di
Y, didefinisikan:
d’ ([<xn>], [<yn>]) = limit d(xn, yn)
menjadi limit dari barisan {𝑑(𝑋𝑛, 𝑌𝑛)}∞
𝑛=1 dari bilangan real.

Sejak d` didefinisikan untuk pasangan dari ekuivalen, perlu untuk menunjukkan

d’[<xn>], [<yn>] adalah berdiri sendiri dari pilihan <xn> dan <yn> di masing-masing jenis.
Untuk barisan Cauchy <x’n> dan <y’n>masing-masing ekuivalen ke <xn> dan <yn>, harus
menunjukkan
limit d(xn, yn) = limit d(x’n, y’n)
dari fungsi jarak d maka
limit d(xn, yn) = limit d(x’n, y’n) = 0
bukti akan ditinggalkan sebagai latihan. Bukti dari d’ metrik juga ditinggalkan sebagai
latihan.
Untuk x di X, barisan konstan <x> yang mana nilai x dengan jelas adalah Cauchy dan
menentukan anggota [<xn>] dari Y. Didefinisikan e: X  Y oleh
E(x) = [<x>], x € X

Definisi 8
Misal (𝑋, 𝑑) adalah ruang metrik. Ruang (𝑌, 𝑑 ′ ) didefinisikan oleh Teorema 3.19
disebut completion dari (𝑋, 𝑑′ ).
Contoh 3.7.5
(a) Penyelesaian ruang bilangan rasional adalah garis real ℝ. Faktanya, konstruksi
penyelesaiannya sering digunakan untuk mendefinisikan bilangan real dari
bilangan rasional. Dengan asumsi bahwa bilangan real telah
didefinisikan,pernyataan ditetapkan sebagai berikut: Garis real adalah ruang metrik
lengkap yang berisi ruang metrik bilangan rasional sebagai subruang padat.
Ketunggalan penyelesaian menunjukkan bahwa ℝ adalah penyelesaian yang
diinginkan.
(b) Penyelesaian dari (0,1) adalah [0,1]. Berdasarkan ketunggalan penyelesaian: [0,1]
adalah ruang metrik yang berisi (0,1) sebagai subruang padat.

Example 3.7.6 Ruang C (X,R)

Contoh ini menggeneralisasi ruang ∁ [a, b] fungsi kontinu, bernilai real didefinisikan pada
interval tertutup [a, b]. Untuk ruang metrik tertentu (X, d), C (X, R) menunjukkan bahwa
fungsi kontinu, terbatas, bernilai real dengan domain X. (A fungsi terbatas 𝑓 ∶ 𝑋 → 𝑅 adalah
fungsi yang gambarnya f(X) terbatas. Untuk f,g dalam C(X, R), definisikan
𝑝(𝑓, 𝑔) = 𝑙𝑢𝑏 {|𝑓(𝑥) − 𝑔(𝑥)|: 𝑥 ∈ 𝑋 }.
Pembuktian bahwa p adalah sebuah metric ditinggalkan jadi latihan. Metrik p disebut
supremum metric atau metric seragam untuk C(X,R)
Ruang metric (C(X,R),p) adalah ruang metric lengap. Untuk melihat ini, misalh
{𝑓𝑛 }∞ ∞
𝑛=1 adalah persamaan Cauchy di C(X,R). Maka untuk x di X. persamaan{𝑓𝑛 (𝑥)}𝑛=1

adalah persamaan Cauchy pada bilangan real yang mana konvergen ke sebuah bilangan real
f(x). Definisi ini sebuah fungsi 𝑓 ∶ 𝑋 → 𝑅, disebut limit pada persamaan{𝑓𝑛 }∞
𝑛=1 . Persamaan

{𝑓𝑛 }∞
𝑛=1 konvergen ke limit fungsi yang artinya cukup kuat : Diberikan 𝜀 > 0, ada positif

integer N sedemikian jika n≥N dan x ∈ X , maka

|𝑓𝑛 (𝑥) − 𝑓(𝑥)| < 𝜀
Fitur penting di sini adalah fakta bahwa bilangan bulat N hanya bergantung pada 𝜀 dan bukan
pada pilihan x. Bilangan bulat yang sama N akan cukup untuk setiap titik x dalam X. Untuk
alasan ini, persamaan {𝑓𝑛 }∞
𝑛=1 disebut Konvergen seragam ke f. kelengkapan C (X,R) akan

dibentuk dengan menunjukkan bahwa fungsi limit f terbatas dan kontinu.

 Fakta bahwa f adalah terbatas ditunjukkan dengan mudah : Misal M adalah bilangan
bulat positif untuk dimana n≥ M impikasi 𝑝(𝑓𝑛 , 𝑓) < 1. Maka 𝑓𝑀 adalah terbatas dan f(x)
dan 𝑓𝑀 (𝑥) berbeda tidak lebih dari 1 untuk setiap x di X, f harus terpatas juga.
Kontinu pada f ditetapkan sebagai berikut. Misal 𝑥0 adalah sebuah titik pada X dan 𝜀
adalah sebuah bilangan positif. Misal N adalah bilangan bulat positif tunjukkan bahwa jika
𝑛 ≥ 𝑁 maka 𝑝(𝑓𝑛 , 𝑓) < 𝜀/3. Sejak 𝑓𝑁 adalah kontinu pada 𝑥0 , maka ada sebuah bilangan
positif 𝛿 tunjukkan bahwa jika d(x, 𝑥0 )< 𝛿, maka d(𝑓𝑁 (𝑥), 𝑓𝑁 (𝑥0 )) < 𝜀/3. Demikian untuk
x di X memenuhi d(x, 𝑥0 )< 𝛿,
𝑑(𝑓(𝑥), 𝑓(𝑥0 )) ≤ 𝑑(𝑓(𝑥), 𝑓𝑁 (𝑥)) + 𝑑(𝑓𝑁 (𝑥), 𝑓𝑁 (𝑥0 )) + 𝑑(𝑓𝑁 (𝑥0 ), 𝑓(𝑥0 ))
< 𝜀/3 + 𝜀/3 + 𝜀/3 = 𝜀
Dengan demikian limit fungsi f adalah kontinu, dan C (X, R) adalah ruang metrik lengkap.
Ruang C (X, R) memiliki struktur tambahan yang mana, meskipun menarik, adalah tidak
penting untuk tujuan teks ini. Ini memiliki struktur tambahan aljabar dan perkalian dengan
bilangan real yang didefinisikan sebagai berikut:
(f+g)(x)=f(x)+g(x), f,g ∈ C(X,R),
(𝑎𝑓)(𝑥) = 𝑎𝑓(𝑥), f ∈ C(X,R), 𝑎 ∈ R
Dengan operasi ini, C (X, R) adalah ruang vektor. Norm untuk C (X, R), memiliki
sifat analog untuk norm di 𝑅 𝑛 , didefinisikan oleh ||𝑓|| = lub {|f(x)|: x ∈ X}, f ∈ C(X, R).
Norm ini definisi metric untuk C(X, R) sebagai berikut
p(f,g)=||f-g||, f,g∈ C(X,R)
Jadi C (X, P) adalah ruang vektor dengan norm, dan itu lengkap dalam metrik ditentukan oleh
norm itu. Ruang seperti itu disebut ruang Banach. Ruang Banach adalah sangat penting
dalam topologi dan analisis. Ruang Hilbert adalah ruang Banach; bukti ini dibiarkan sebagai
latihan. Informasi tambahan tentang topik Ruang Banach dapat ditemukan dalam daftar
bacaan tambahan di akhir bab.

Definisi 9
Diberikan : (X,d) dan (Y, d’) suatu ruang metrik
{𝑓𝑛 (𝑥), 𝑓(𝑥)}∞
𝑛=1 suatu barisan dari fungsi X ke Y

{𝑓𝑛 (𝑥), 𝑓(𝑥)}∞

𝑛=1 konvergen seragam ke fungsi 𝑓 ∶ 𝑋 → 𝑌 ↔ ∀𝜖 > 0 ∃ 𝑁 ∈ 𝑍 ∋ 𝑛 ≥
𝑁, 𝑥 ∈ 𝑋 → 𝑑′ (𝑓𝑛 (𝑥), 𝑓(𝑥)) < 𝜖
Teorema 3.20
Diberikan : (X,d) dan (Y, d’) suatu ruang metrik
{𝑓𝑛 }∞
𝑛=1 suatu barisan dari fungsi kontinu dari X ke Y

{𝑓𝑛 }∞
𝑛=1 konvergen seragam ke fungsi 𝑓 ∶ 𝑋 → 𝑌 ↔ 𝑓 𝑘𝑜𝑛𝑡𝑖𝑛𝑢