Analisis Real Lanjut - PR 3

Salsabila (20816002)
22 A metric space is called separable if it contains a countable dense subset. Show that Rk
is separable. Hint: Consider the set of points which have only rational coordinates.
Jawab:
Misalkan
Qk = {q = (q1 , . . . , qk ) Rk |qi Q, i}.
Ambil sembarang  > 0 dan x = (x1 , . . . , xk ) Rk . Karena Q dense di R, maka untuk
masing-masing i = 1, . . . , k terdapat qi Q sehingga

|xi qi | < .
k
Ambil q = (q1 , . . . , qk ) Qk , maka
v
r
u k
uX
2
t
d(x, q) =
|xi qi |2 k = .
k
i=1
Jadi, untuk sembarang  > 0 dan x Rk terdapat q Qk sehingga d(x, q) < , dengan
kata lain Qk dense di Rk .
Karena Q countable dan Qk merupakan himpunan seluruh k-tuples (q1 , . . . , qk ) dengan
qi Q, i = 1, . . . , k, maka Qk countable.
Karena Rk memiliki subhimpunan countable dan dense, yaitu Qk , maka Rk dikatakan
separable.

23 A collection {V } of open subsets of X is said to be a base for X if the following is true:

For every x X and every open set G X such that x G, we have x V G for
some . In other words, every open set in X is the union of a subcollection of {V }.
Prove that every separable metric space has a countable base. Hint: Take all neighborhoods with rational radius and center in some countable dense subset of X.
Jawab:
Misalkan X ruang metrik separable. Misalkan E = {p1 , p2 , . . . } subhimpunan countable
dan dense dari X dan Q = {q1 , q2 , . . . } himpunan bilangan rasional. Pembarisan bilangan
rasional tersebut dapat dilakukan karena Q countable. Bangun
Vi,j = Nqj (pi ),
maka {Vi,j } adalah countable collection himpunan buka di X.

Ambil sembarang x X dan G X buka sehingga x G. Karena G buka, maka x

adalah titik interior G, yaitu terdapat r > 0 sehingga Nr (x) G.
Pilih pi E sehingga d(pi , x) = d < 2r . Pemilihan ini memungkinkan karena E dense di
X. Dan pilih qj Q sehingga d < qj < 2r . Pemilihan ini juga memungkinkan karena Q
dense di R.
Karena d(x, pi ) = d < qj , maka x Vij .
Ambil sembarang y Vi,j , maka
d(y, x) d(y, pi ) + d(pi , x) < qj + d < r,
yaitu y Nr (x). Jadi Vi,j Nr (x) G.
Jadi, untuk sembarang x X dan G X buka sehingga x G terdapat i, j sehingga
x Vi,j G. Dengan kata lain {Vi,j } adalah countable base.
Jadi, setiap ruang metrik separable memiliki countable base.

24 Let X be a metric space in which every infinite subset has a limit point. Prove that X
is separable. Hint: Fix > 0, and pick x1 X. Having chosen x1 , . . . , xj X, choose
xj+1 X, if possible, so that d(xi , xj+1 ) for i = 1, . . . , j. Show that this process must
stop after a finite number of steps, and that X can therefore be covered by finitely many
neighborhoods of radius . Take = n1 (n = 1, 2, 3, . . . ), and consider the centers fo the
corresponding neighborhoods.
Jawab:
Mengikuti petunjuk, ambil > 0 dan ambil x1 X. Kemudian, bila memungkinkan,
ambil x2 X sehingga d(x1 , x2 ) , dan seterusnya sehingga d(xi , xj ) untuk i 6= j.
Klaim (1): Proses ini hanya dilakukan berhingga kali.
Bukti (1): Andaikan proses ini berlanjut tak hingga kali, maka diperoleh himpunan tak
hingga E = {x1 , x2 , X | d(xi , xj ) , i 6= j}. Karena E subhimpunan tak hingga
dari X maka E memiliki titik limit di X, sebutlah p. Ambil r = 2 , maka Nr (p) hanya
memuat paling banyak 1 anggota E karena jarak antar anggota E adalah setidaknya .
Hal ini mengakibatkan kontradiksi dengan pernyataan bahwa setiap lingkungan dari p
haruslah memuat tak hingga banyaknya anggota E (teorema 2.20, hal. 32 pada buku
teks). Maka haruslah proses pengambilan anggota E tersebut hanya dilakukan berhingga
kali.
Jadi, dengan mengikuti petunjuk tersebut, diperoleh subhimpunan hingga dari X
E = {x1 , . . . , xj | d(xi , xj ) , i 6= j}.
Klaim (2): Himpunan E tersebut memenuhi X

N (x). Dengan kata lain, untuk

xE

setiap y X terdapat xi E sehingga d(y, xi ) < .

Bukti (2): Ambil sembarang y X dengan
S y 6= x, x E (karena apabila terdapat
x E sehingga y = x maka jelas y
N (x)). Andaikan d(y, xi ) untuk setiap
xE

xi E, maka haruslah
S y E. Hal ini mengakibatkan kontradiksi dengan pengambilan y
tersebut. Jadi X
N (x).
xE

Jadi, untuk setiap > 0, X dapat di-cover oleh berhingga banyaknya lingkungan dengan
radius .
Untuk setiap n N, bentuk
En = {xn1 , xn2 , . . . , xnNn | d(xni , xnj ) }
sehingga X

S
xEn

N 1 (x). Kemudian bentuk

n

S=

En .

n=1

Klaim (3): Himpunan S tersebut merupakah subhimpunan countable dan dense di X.

Bukti (3): Perhatikan bahwa S dapat pula dituliskan sebagai S = {xij | i N, 1
j Nn }, sehingga jelas bahwa S countable. Ambil sembarang  > 0 dan y X dengan
y 6= x, x S (karena apabila terdapat x S sehingga y = x maka jelas d(y, x) = 0 < ).
Pilih n > 1 , maka terdapat xni En S sehingga d(y, xni ) <  (dengan argumen yang
serupa dengan bukti klaim (2)). Jadi, untuk setiap  > 0 dan y X terdapat x S
sehingga d(x, y) < , yaitu S dense di X. Jadi S adalah subhimpunan countable dan
dense di X.
Jadi X memiliki subhimpunan yang countable dan dense, dengan kata lain X separable.
Jadi, jika X ruang metriks yang tiap subhimpunan tak hingganya memiliki titik limit,
maka X separable.