MAJHMATIKH ANALUSH

1. 'Es tw d : Rn × R n → R pou gia x = (x1 , ..., xn ), y = (y1 , ..., yn ) ∈ Rn orÐzetai apì thn

sqèsh

d(x, y) = max{|yi − xi | : 1 ≤ i ≤ n}

(aþ) Na apodeiqjeÐ ìti apeikìnish d eÐnai metrik .

n
(bþ) To arijm simo sÔnolo Q eÐnai pantou puknì s to (Rn , d)

2. Na apodeiqjeÐ ìti h ènwsh twn s toiqeÐwn miac opoiasd pote peperasmènhc oikogèneiac

{F1 , ..., Fn } kleis t¸n uposunìlwn enìc metrikoÔ q¸rou X eÐnai kleis tì uposÔnolo tou

X .

3. (aþ) Na dojeÐ o orismìc thc bˆshc enìc metrikoÔ q¸rou.

(bþ) Na apodeiqjeÐ ìti se èna metrikì q¸ro X kˆje anoikt  sfaÐra V (x, ε) eÐnai anoiktì

sÔnolo.

(gþ) Na apodeiqjeÐ ìti to sÔnolo ìlwn twn anoikt¸n sfair¸n enìc metrikoÔ q¸rou X
eÐnai bˆsh tou X .

4. (aþ) Na apodeiqjeÐ ìti mia apeikìnish f apì èna metrikì q¸ro X se èna metrikì q¸ro

Y eÐnai suneq c an kai mìnon an to sÔnolo f −1 (G) eÐnai anoikto s to X gia kˆje

sÔnolo G anoiktì s to Y .

(bþ) Na apodeiqjeÐ ìti kˆje apeikìnish orismènh se èna diakritikì q¸ro eÐnai suneq c.

5. (aþ) Na dojeÐ o orismìc thc isometrÐac apì èna metrikì q¸ro X se èna metrikì q¸ro

Y .

(bþ) Na apodeiqjeÐ ìti kˆje isometrÐa eÐnai omoiomorfismìc.

 MAJHMATIKH ANALUSH

1. (aþ) Na dojeÐ o orismìc thc akoloujÐa tou Cauchy enìc metrikoÔ q¸rou kai o orismìc

tou pl rouc metrikoÔ q¸rou.

(bþ) Na apodeiqjeÐ ìti kˆje sugklÐnousa akoloujÐa enìc metrikoÔ q¸rou eÐnai akolou-

jÐa tou Cauchy .

(gþ) Jewr¸ntac gnws tì ìti o R me thn metrik  d1 (x, y) = |x − y| eÐnai pl rhc na

n
apodeiqjeÐ ìti o R me thn metrik 

v
u n
uX
dn ((x1 , ..., xn ), (y1 , ..., yn )) = t (yi − xi )2
i=1

eÐnai pl rhc gia kˆje n≥2 .

2. Kˆje pl rhc upìqwroc F enìc metrikoÔ q¸rou X eÐnai kleis tìc s to X .

Kˆje kleis tìc upìqwroc F enìc pl rouc metrikoÔ q¸rou X eÐnai pl rhc.

(aþ) an eÐnai sunektikìc

(bþ) poièc eÐnai oi akoloujÐec Cauchy tou q¸rou.

3. Na apodeiqjeÐ ìti an o metrikìc q¸roc X èqei arijm simh bˆsh, tìte kˆje anoiktì

kˆlumma tou X perièqei èna arijm simo anoiktì upokˆlumma.

4. (aþ) Na dojeÐ o orismìc thc omoiìmorfa suneqoÔc apeikìnishc f apì èna metrikì q¸ro

(X, dX ) se èna metrikì q¸ro (Y, dY ) .

(bþ) Na apodeiqjeÐ ìti kˆje suneq c apeikìnish orismènh se èna sumpag  metrikì q¸ro

eÐnai omoiìmorfa suneq c.

5. Na apodeiqjeÐ ìti an f : X → Y eÐnai suneq c apeikìnish apì èna sumpag  metrikì

q¸ro X se èna metrikì q¸ro Y , tìte o upìqwroc f [X] tou Y eÐnai sumpag c.

6. Na dojeÐ o orismìc tou pl rwc fragmènou metrikoÔ q¸rou kai na apodeiqjeÐ ìti kˆje

pl rwc fragmènoc metrikìc q¸roc eÐnai fragmènoc.

 MAJHMATIKH ANALUSH

1. Na dojeÐ o orismìc tou anoiktoÔ uposunìlou A enìc metrikoÔ q¸rou X . Na apodeiqjeÐ

ìti h ènwsh twn s toiqeÐwn miac opoiasd pote oikogèneiac {At }t∈T anoikt¸n uposunìlwn

enìc metrikoÔ q¸rou X eÐnai anoiktì uposÔnolo tou X .

2. Na dojeÐ o orismìc tou kleis toÔ uposunìlou K enìc metrikoÔ q¸rou X . Na apodeiqjeÐ

ìti h tom  twn s toiqeÐwn miac opoiasd pote oikogèneiac {Kt }t∈T kleis t¸n uposunìlwn

enìc metrikoÔ q¸rou X eÐnai kleis tì uposÔnolo tou X .

3. Na apodeiqjeÐ ìti an S eÐnai kleis tì uposÔnolo metrikoÔ q¸rou X , tìte X\S eÐnai

anoiktì s to X .

4. Na dojeÐ o orismìc thc akoloujÐac tou Cauchy enìc metrikoÔ q¸rou. Na apodeiqjeÐ

ìti kˆje sugklÐnousa akoloujÐa enìc metrikoÔ q¸rou eÐnai akoloujÐa tou Cauchy .

5. Na apodeiqjeÐ ìti ènac upìqwroc F tou Rn eÐnai sumpag c an kai mìnon an to sÔnolo

F eÐnai fragmeno kai kleis to s to Rn .

6. Na dojeÐ o orismìc tou pl rouc metrikoÔ q¸rou. Na apodeiqjeÐ ìti kˆje pl rhc upì-

qwroc Z enìc metrikoÔ q¸rou X eÐnai kleis tìc s to X .

MAJHMATIKH ANALUSH

1. Na apodeiqjeÐ ìti an f : (X, dX ) → (Y, dY ) eÐnai suneq c apeikìnish, tìte to sÔnolo

f −1 (F ) eÐnai kleis tì s to X gia kˆje kleis tì uposÔnolo F tou Y .

2. Na dojeÐ o orismìc tou anoiktoÔ uposunìlou enìc metrikoÔ q¸rou. Na apodeiqjeÐ

ìti h tom  twn s toiqeÐwn opoiasd pote peperasmènhc oikogèneiac {A1 , ..., An } anoikt¸n

uposunìlwn enìc metrikoÔ q¸rou X eÐnai anoiktì uposÔnolo tou X .

3. Na dojoÔn oi orismoÐ tou fragmènou metrikoÔ q¸rou kai tou pl rouc fragmènou metrikoÔ

q¸rou.

Na apodeiqjeÐ ìti kˆje pl rwc fragmènoc metrikìc q¸roc eÐnai fragmènoc.

4. Na apodeiqjeÐ ìti kˆje pragmatik  suneq c sunˆrthsh orismènh se èna sumpag  metrikì

q¸ro eÐnai fragmènh kai èqei mègis th kai elˆqis th tim .

5. Na apodeiqjeÐ ìti kˆje kleis tìc upìqwroc K enìc pl rouc metrikoÔ q¸rou X eÐnai

pl rhc.

6. Na dojeÐ o orismìc tou sumpagoÔc metrikoÔ q¸rou.

Na apodeiqjeÐ ìti kˆje ˆpeiro uposÔnolo enìc sumpagoÔc metrikoÔ q¸rou X èqei s to

X èna shmeÐo suss¸reushc.

 MAJHMATIKH ANALUSH

1. 'Es tw X ènac metrikìc q¸roc kai M ⊆X .

Na dojeÐ o orismìc tou peribl matoc M tou M .

Na apodeiqjeÐ ìti gia opoiad pote uposÔnola M kai N tou X isqÔei N ∪M = N ∪ M .

2. Na apodeiqjeÐ ìti h ènwsh twn s toiqeÐwn opoiasd pote peperasmènhc oikogèneiac {N1 , ..., Nn }
kleis t¸n uposunì- lwn enìc metrikoÔ q¸rou X eÐnai kleis tì sÔnolo.

3. Na dojeÐ o orismìc tou kleis toÔ uposunìlou S enìc metrikoÔ q¸rou X . Na apodeiqjeÐ

ìti an to S eÐnai anoiktì s to X , tìte X \S eÐnai kleis tì s to X .

4. Na apodeiqjeÐ ìti kˆje pl rhc upìqwroc Y enìc metrikoÔ q¸rou X eÐnai kleis tìc s to

X .

5. Na apodeiqjeÐ ìti an f : (X, dX ) → (Y, dY ) eÐnai suneq c apeikìnish, tìte to sÔnolo

f −1 (G) eÐnai anoiktì s to X gia kˆje anoiktì uposÔnolo G tou Y .

6. Na apodeiqjeÐ ìti an f : X → Y eÐnai suneq c apeikìnish apì èna sumpag  metrikì

q¸ro X se èna metrikì q¸ro Y f (X) = Y

kai , tìte o Y eÐnai sumpag c.

MAJHMATIKH ANALUSH

1. 'Es tw X ènac metrikìc q¸roc kai N ⊆X .

◦
Na dojeÐ o orismìc tou eswterikoÔ N tou N .

Na apodeiqjeÐ ìti gia opoiad pote uposÔnola M kai N tou X isqÔei (N ∩ M )◦ =

N◦ ∩ M◦ .

2. Na apodeiqjeÐ ìti h tom  twn s toiqeÐwn opoiasd pote

peperasmènhc oikogèneiac {A1 , ..., An } anoikt¸n uposunìlwn enìc metrikoÔ q¸rou X

eÐnai anoiktì sÔnolo.

3. Na apodeiqjeÐ ìti h ènwsh twn s toiqeÐwn opoiasd pote oikogèneiac {Ai }i∈I anoikt¸n

uposunìlwn enìc metrikoÔ q¸rou X eÐnai anoiktì uposÔnolo tou X .

4. Na apodeiqjeÐ ìti kˆje pragmatik  suneq c sunˆrthsh orismènh se èna sumpag  metrikì

q¸ro eÐnai fragmènh kai èqei mègis th kai elˆqis th tim .

5. Na apodeiqjeÐ ìti kˆje kleis tìc upìqwroc K enìc pl rouc metrikoÔ q¸rou Z eÐnai

pl rhc.

6. Na apodeiqjeÐ ìti an ènac metrikìc q¸roc X èqei arijm simh bˆsh, tìte o X perièqei

èna arijm simo pantoÔ puknì uposÔnolo.

 MAJHMATIKH ANALUSH

1. 'Es tw X ènac metrikìc q¸roc kai A⊆X .

Na dojeÐ o orismìc tou peribl matoc A tou A .

Na apodeiqjeÐ ìti gia opoiad pote uposÔnola A kai B tou X isqÔei A∪B =A∪B .

2. Na apodeiqjeÐ ìti h ènwsh twn s toiqeÐwn opoiasd pote peperasmènhc oikogèneiac {A1 , ..., An }
kleis t¸n uposunì- lwn enìc metrikoÔ q¸rou X eÐnai kleis tì sÔnolo.

3. Na apodeiqjeÐ ìti h tom  twn s toiqeÐwn opoiasd pote

oikogèneiac {Nt }t∈T kleis t¸n sunìlwn enìc metrikoÔ q¸rou X eÐnai kleis tì sÔnolo.

4. Na apodeiqjeÐ ìti gia opoiad pote dÔo diaforetikˆ shmeÐa x y

kai enìc metrikoÔ q¸rou

X upˆrqoun sfaÐrec V (x, ε) kai V (y, ε) tètoia ¸s te V (x, ε) ∩ V (y, ε) = ∅ .

5. Na apodeiqjeÐ ìti ènac upìqwroc Stou Rn eÐnai sumpag c an kai mìnon an to sÔnolo

S eÐnai fragmeno kai kleis to s to Rn .

6. Na apodeiqjeÐ ìti to sÔnolo Q2 eÐnai pantoÔ puknì s to R2 me thn metrik  d pou orÐzetai

apì thn sqèsh

p
d(M, N ) = (xM − xN )2 + (yM − yN )2 ,

ìpou M = (xM , yM ), y = (xN , yN ) ∈ R2 .

 MAJHMATIKH ANALUSH

1. 'Es tw dn : Rn × Rn → R pou orÐzetai apì thn sqèsh

v
u n
uX
dn (x, y) = t (yi − xi )2 , ìpou x = (x1 , ..., xn ), y = (y1 , ..., yn ) ∈ Rn
i=1

Na apodeiqjeÐ ìti

(i) H apeikìnish dn eÐnai metrik 

(ii) To sÔnolo Qn twn s toiqeÐwn tou Rn me suntetagmènec rhtoÔc arijmoÔc eÐnai pantoÔ

puknì s to (Rn , dn )
(iii) To sÔnolo Rn me th metrik  dn eÐnai plhrhc q¸roc.

2. Na apodeiqjeÐ ìti se kˆje metrikì q¸ro h ènwsh twn s toiqeÐwn miac opoiasd pote peperas-

mènhc oikogèneiac {F1 , ..., Fn } kleis t¸n sunìlwn eÐnai kleis tì sÔnolo.

3. Na apodeiqjeÐ ìti èna uposÔnolo S enìc metrikoÔ q¸rou X eÐnai anoiktì tìte kai mìnon

tìte ìtan to uposÔnolo X \S eÐnai kleis tì.

4. Na dojeÐ o orismìc tou diakritikoÔ metrikoÔ q¸rou kai na exetas teÐ

(i) an eÐnai sunektikìc

(ii) poièc eÐnai oi akoloujÐec Cauchy tou q¸rou.

5. Na dojeÐ o orismìc thc omoiìmorfa suneqoÔc apeikìnishc f apì èna metrikì q¸ro (X, dX )
se èna metrikì q¸ro (Y, dY ) .

Na apodeiqjeÐ ìti h apeikìnish f : IRn → IRk , ìpou n≥k , h opoÐa orÐzetai apì ton tÔpo

f hx1 , ...., xk , ..., xn i = hx1 , ...., xk i

eÐnai omoiìmorfa suneq c.

6. Na dojeÐ o orismìc tou pl rwc fragmènou metrikoÔ q¸rou kai na apodeiqjeÐ ìti kˆje

pl rwc fragmènoc metrikìc q¸roc eÐnai fragmènoc.

7. Na apodeiqjeÐ ìti an f :X→Y eÐnai suneq c apeikìnish apì èna sumpag  metrikì q¸ro

X se èna metrikì q¸ro Y, tìte o upìqwroc f [X] tou Y eÐnai sumpag c.

BajmologÐa: 30-10-10-15-15-10-10
 MAJHMATIKH ANALUSH

1. (aþ) Na dojoÔn oi orismoÐ: thc akoloujÐac tou Cauchy enìc metrikoÔ q¸rou, tou

pl rouc metrikoÔ q¸rou, tou sumpagoÔc metrikoÔ q¸rou.

(bþ) Na apodeiqjeÐ ìti kˆje sugklÐnousa akoloujÐa enìc metrikoÔ q¸rou eÐnai akolou-

jÐa tou Cauchy .

2. (aþ) Na apodeiqjeÐ ìti kˆje pl rhc upìqwroc F enìc metrikoÔ q¸rou X eÐnai kleis tìc

s to X .

(bþ) Na apodeiqjeÐ ìti kˆje kleis tìc upìqwroc F enìc pl rouc metrikoÔ q¸rou X eÐnai

pl rhc.

3. Na apodeiqjeÐ ìti kˆje sumpag c metrikìc q¸roc èqei thn idiìthta B-W (dhlad  ìti

kˆje ˆpeiro uposÔnolo tou X èqei shmeÐo suss¸reushc).

4. 'Es tw f :X→Y suneq c apeikìnish apì èna metrikì q¸ro X epÐ enìc metrikoÔ q¸rou

Y . Na apodeiqjeÐ ìti

(aþ) An o X eÐnai sumpag c, tìte o Y eÐnai sumpag c.

(bþ) An o X eÐnai sunektikìc, tìte o Y eÐnai sunektikìc.

5. Na apodeiqjeÐ ìti kˆje pragmatik  suneq c sunˆrthsh orismènh se èna sumpag  metrikì

q¸ro eÐnai fragmènh kai èqei mègis th kai elˆqis th tim .

BajmologÐa: 20 - 30 - 15 - 20 - 15
 MAJHMATIKH ANALUSH.

1. Na exetas teÐ ean ènac metrikìc diakritikìc q¸roc

(aþ) eÐnai pl rhc

(bþ) eÐnai pl rwc fragmènoc

2. (aþ) Na dojeÐ o orismìc thc omoiìmorfa suneqoÔc apeikìnishc f apì èna metrikì q¸ro

(X, dX ) se èna metrikì q¸ro (Y, dY ) .

(bþ) Na apodeiqjeÐ ìti h apeikìnish f : IRn → IRk , ìpou n ≥ k , h opoÐa

orÐzetai apì ton tÔpo

f hx1 , ...., xk , ..., xn i = hx1 , ...., xk i

eÐnai omoiìmorfa suneq c.

3. Na dojeÐ o orismìc tou pl rwc fragmènou metrikoÔ q¸rou kai na

apodeiqjeÐ ìti kˆje pl rwc fragmènoc metrikìc q¸roc eÐnai fragmènoc.

4. Na apodeiqjeÐ ìti an kˆje akoloujÐa enìc metrikoÔ q¸rou X èqei

sugklÐnousa upakoloujÐa, tìte o q¸roc X eÐnai sumpag c.

5. Na apodeiqjeÐ ìti an f : X → Y eÐnai suneq c apeikìnish apì èna sumpag  metrikì

q¸ro X se èna metrikì q¸ro Y , tìte o upìqwroc f [X] tou Y eÐnai sumpag c.

6. Na apodeiqjeÐ ìti kˆje suneq c apeikìnish orismènh se èna sumpag 

metrikì q¸ro eÐnai omoiìmorfa suneq c.

7. Na exetas teÐ ean to sÔnolo P (X) ìlwn twn uposunìlwn enìc sunìlou X orÐzei topologÐ-

,
a ep autoÔ.

BajmologÐa: 15-15-15-15-15-15-10
 MAJHMATIKH ANALUSH

1. 'Es tw dn : Rn × Rn → R pou orÐzetai apì thn sqèsh

v
u n
uX
dn (x, y) = t (yi − xi )2 , ìpou x = (x1 , ..., xn ), y = (y1 , ..., yn ) ∈ Rn
i=1

Na apodeiqjeÐ ìti apeikìnish dn eÐnai metrik .

2. Na apodeiqjeÐ ìti èna uposÔnolo S enìc metrikoÔ q¸rou X eÐnai anoiktì tìte kai mìnon

tìte ìtan to uposÔnolo X \S eÐnai kleis tì.

3. Na dojeÐ o orismìc tou diakritikoÔ metrikoÔ q¸rou kai na exetas teÐ

(aþ) an eÐnai sunektikìc

(bþ) poièc eÐnai oi akoloujÐec Cauchy tou q¸rou.

4. Na apodeiqjeÐ ìti an o metrikìc q¸roc X èqei arijm simh bˆsh, tìte kˆje anoiktì

kˆlumma tou X perièqei èna arijm simo anoiktì upokˆlumma.

5. (aþ) Na dojeÐ o orismìc thc omoiìmorfa suneqoÔc apeikìnishc f apì èna metrikì q¸ro

(X, dX ) se èna metrikì q¸ro (Y, dY ) .

(bþ) Na apodeiqjeÐ ìti kˆje suneq c apeikìnish orismènh se èna sumpag  metrikì q¸ro

eÐnai omoiìmorfa suneq c.

6. Na apodeiqjeÐ ìti an f : X → Y eÐnai suneq c apeikìnish apì èna sumpag  metrikì

q¸ro X se èna metrikì q¸ro Y , tìte o upìqwroc f [X] tou Y eÐnai sumpag c.

7. Na dojeÐ o orismìc tou pl rwc fragmènou metrikoÔ q¸rou kai na apodeiqjeÐ ìti kˆje

pl rwc fragmènoc metrikìc q¸roc eÐnai fragmènoc.

 MAJHMATIKH ANALUSH

1. 'Es tw d : Rn × R n → R pou gia x = (x1 , ..., xn ), y = (y1 , ..., yn ) ∈ Rn orÐzetai apì thn

sqèsh

d(x, y) = max{|yi − xi | : 1 ≤ i ≤ n}

(aþ) Na apodeiqjeÐ ìti apeikìnish d eÐnai metrik .

n
(bþ) To arijm simo sÔnolo Q eÐnai pantou puknì s to (Rn , d)

2. Na apodeiqjeÐ ìti h ènwsh twn s toiqeÐwn miac opoiasd pote peperasmènhc oikogèneiac

{F1 , ..., Fn } kleis t¸n uposunìlwn enìc metrikoÔ q¸rou X eÐnai kleis tì uposÔnolo tou

X .

3. (aþ) Na dojeÐ o orismìc thc bˆshc enìc metrikoÔ q¸rou.

(bþ) Na apodeiqjeÐ ìti se èna metrikì q¸ro X kˆje anoikt  sfaÐra V (x, ε) eÐnai anoiktì

sÔnolo.

(gþ) Na apodeiqjeÐ ìti to sÔnolo ìlwn twn anoikt¸n sfair¸n enìc metrikoÔ q¸rou X
eÐnai bˆsh tou X .

4. (aþ) Na apodeiqjeÐ ìti mia apeikìnish f apì èna metrikì q¸ro X se èna metrikì q¸ro

Y eÐnai suneq c an kai mìnon an to sÔnolo f −1 (G) eÐnai anoikto s to X gia kˆje

sÔnolo G anoiktì s to Y .

(bþ) Na apodeiqjeÐ ìti kˆje apeikìnish orismènh se èna diakritikì q¸ro eÐnai suneq c.

5. (aþ) Na dojeÐ o orismìc thc isometrÐac apì èna metrikì q¸ro X se èna metrikì q¸ro

Y .

(bþ) Na apodeiqjeÐ ìti kˆje isometrÐa eÐnai omoiomorfismìc.

 MAJHMATIKH ANALUSH

1. 'Es tw X ènac metrikìc q¸roc kai A⊆X . Na apodeiqjeÐ ìti

(aþ) X \ Bd(A) = Int(X \ A) ∪ Int(A) .

(bþ) To perÐblhma tou A eÐnai h tom  ìlwn twn kleis t¸n uposunìlwn tou X pou per-

ièqoun to A .

2. Na apodeiqjoÔn oi protˆseic:

(aþ) Se kˆje metrikì q¸ro oi anoiktèc sfaÐrec S(x, ε) eÐnai anoiktˆ sÔnola, oi kleis tèc

sfaÐrec S[x, ε] eÐnai kleis tˆ sÔnola kai ta monosÔnola eÐnai kleis tˆ sÔnola.

(bþ) Mia oikogèneia anoikt¸n sunìlwn B = {Ui }i∈I enìc metrikoÔ q¸rou X eÐnai bˆsh

tou X an kai mìnon an gia kˆje anoiktì uposÔnolo A tou X kai gia kˆje a∈A
upˆrqei Ui ∈ B tètoio ¸s te

a ∈ Ui ⊆ A

3. (aþ) Na dojeÐ o orismìc thc omoiìmorfa suneqoÔc apeikìnishc apì èna metrikì q¸ro

(N, dN ) se èna metrikì q¸ro (M, dM ) . Na apodeiqjeÐ ìti h apeikìnish

r f apì to Rn
n
P
me thn metrik  dn ((x1 , ..., xn ), (y1 , ..., yn )) = (yi − xi )2 s to R me thn metrik 

i=1
d(x, y) = |x − y| pou orÐzetai apì thn sqèsh f (x1 , ..., xn ) = x1 eÐnai omoiìmorfa

suneq c.

(bþ) Na dojeÐ o orismìc tou omoiomorfismoÔ enìc metrikoÔ q¸rou se èna ˆllo metrikì

q¸ro. Na apodeiqjeÐ ìti gia mia èna proc èna, epÐ kai suneq c apeikìnish f :
(X, dX ) → (Y, dY ) oi akìloujec sunj kec eÐnai isodÔnamec:

(i) f eÐnai omoiomorfismìc

(ii) to sÔnolo f (K) eÐnai kleis tì s to Y gia kˆje K kleis tì s to X

(iii) to sÔnolo f (A) eÐnai anoikto s to Y gia kˆje A anoiktì s to X

4. Na apodeiqjoÔn oi protˆseic:

(aþ) Kˆje pl rhc upìqwroc F enìc metrikoÔ q¸rou X eÐnai kleis tìc s to X .

(bþ) Kˆje ˆpeiroc diakritikìc q¸roc X eÐnai fragmènoc allˆ den eÐnai pl rwc frag-

mènoc.

5. Na apodeiqjoÔn oi protˆseic:

(aþ) 'Es tw X ènac metrikìc q¸roc kai F ⊆ XS . An gia kˆje oikogèneia anoikt¸n upo-

sunìlwn {Gi }i∈I tou X tètoia ¸s te F ⊆ Gi upˆrqei peperasmènh upooikogèneia

i∈I
{Gi1 , ..., Gin } tètoia ¸s te F ⊆ Gi1 ∪ ... ∪ Gin , tìte o upìqwroc F eÐnai sumpag c.

(bþ) Kˆje sumpag c upìqwroc enìc metrikoÔ q¸rou eÐnai kleis tìc.
 MAJHMATIKH ANALUSH

1. 'Es tw X ènac metrikìc q¸roc kai A⊆X . Na apodeiqjeÐ ìti

(aþ) X \ Bd(A) = Int(X \ A) ∪ Int(A) .

(bþ) To perÐblhma tou A eÐnai h tom  ìlwn twn kleis t¸n uposunìlwn tou X pou per-

ièqoun to A .

2. Na apodeiqjoÔn oi protˆseic:

(aþ) Se kˆje metrikì q¸ro oi anoiktèc sfaÐrec S(x, ε) eÐnai anoiktˆ sÔnola, oi kleis tèc

sfaÐrec S[x, ε] eÐnai kleis tˆ sÔnola kai ta monosÔnola eÐnai kleis tˆ sÔnola.

(bþ) Mia oikogèneia anoikt¸n sunìlwn B = {Ui }i∈I enìc metrikoÔ q¸rou X eÐnai bˆsh

tou X an kai mìnon an gia kˆje anoiktì uposÔnolo A tou X kai gia kˆje a∈A
upˆrqei Ui ∈ B tètoio ¸s te

a ∈ Ui ⊆ A

3. (aþ) Na dojeÐ o orismìc thc omoiìmorfa suneqoÔc apeikìnishc apì èna metrikì q¸ro

(N, dN ) se èna metrikì q¸ro (M, dM ) . Na apodeiqjeÐ ìti h apeikìnish

r f apì to Rn
n
P
me thn metrik  dn ((x1 , ..., xn ), (y1 , ..., yn )) = (yi − xi )2 s to R me thn metrik 

i=1
d(x, y) = |x − y| pou orÐzetai apì thn sqèsh f (x1 , ..., xn ) = x1 eÐnai omoiìmorfa

suneq c.

(bþ) Na dojeÐ o orismìc tou omoiomorfismoÔ enìc metrikoÔ q¸rou se èna ˆllo metrikì

q¸ro. Na apodeiqjeÐ ìti gia mia èna proc èna, epÐ kai suneq  apeikìnish f :
(X, dX ) → (Y, dY ) oi akìloujec sunj kec eÐnai isodÔnamec:

(i) f eÐnai omoiomorfismìc

(ii) to sÔnolo f (K) eÐnai kleis tì s to Y gia kˆje K kleis tì s to X

(iii) to sÔnolo f (A) eÐnai anoikto s to Y gia kˆje A anoiktì s to X

4. Na apodeiqjoÔn oi protˆseic:

(aþ) Kˆje ˆpeiroc diakritikìc q¸roc X eÐnai fragmènoc allˆ den eÐnai pl rwc frag-

mènoc.

(bþ) Kˆje pl rhc upìqwroc F enìc metrikoÔ q¸rou X eÐnai kleis tìc s to X .

5. Na apodeiqjoÔn oi protˆseic:

(aþ) An o upìqwroc F enìc metrikoÔ q¸rou X eÐnai sumpag c, tìte gia kˆje oikogèneia
S
anoikt¸n sunìlwn {Gi }i∈I tou X tètoia ¸s te F ⊆ Gi upˆrqei peperasmènh

i∈I
upooikogèneia {Gi1 , ..., Gin } tètoia ¸s te F ⊆ Gi1 ∪ ... ∪ Gin .

(bþ) Kˆje sumpag c upìqwroc enìc metrikoÔ q¸rou eÐnai kleis tìc.