Matematikan, multzo bat, metrika batekin batera espazio metrikoa izango da, non metrikak multzo horretako bi puntu edo elementuren arteko distantzia definituko digun. Ideia gisa, metrikak honako propietateak beteko ditu:

* Puntu batetik puntu berdinera dagoen distantzia nulua da.
* Bi puntu ezberdinen arteko distantziaren balioa beti positiboa izango da.
* A puntutik B punturainoko distantzia eta B puntutik A punturainoko distantziaren balioa berdina da.
* A puntutik B punturainoko distantzia txikiagoa ala berdina izango da, bakoitzetik beste C puntu batera dagoen distantzien batura baino.

Espazio bati metrika atxikitzean, zenbait kontzeptu topologiko ondorioztatu ditzakegu; multzo ireki eta itxiak esaterako, eta honek, espazio topologikoen azterketa abstraktuago batera garamatza.

Espazio metriko ezagunena, espazio tridimentsionala da. Izan ere, metrika kontzeptua, metrika euklidearraren orokorpen bat da, metrika honen lau propietate ezagunetatik abiatuta. Metrika euklidearrak, distantzia, bi puntu lotzen dituen segmentuaren luzera bezala definitzen du. Geometria eliptikoan zein geometría hiperbolikoan, beste espazio metriko batzuk aurki ditzakegu non esfera batean distantzia angeluen bidez neurtuta, metrika definitzen dugun.

1906. urtean, Maurice Fréchet matematikari frantziarrak, Felix Hausdorff alemaniarraren eraginpean, *Sur quelques points du calcul fonctionnel* izeneko lanean definitu eta landu zuen lehen aldiz espazio metrikoaren kontzeptua.

Definizioa
----------

Espazio metrikoa definizioz, {\displaystyle (X,d)} bikotea da non {\displaystyle X(\neq \emptyset )} multzoa eta {\displaystyle d} ondorengo aplikazioa izanik:



d
:
X
×
X
⟶

R

{\displaystyle d:X\times X\longrightarrow \mathbb {R} }

{\displaystyle d:X\times X\longrightarrow \mathbb {R} }non propietate hauek beteko dituen:

1. {\displaystyle d(x,y)\geq 0}
2. {\displaystyle d(x,y)=0\Longleftrightarrow x=y}
3. {\displaystyle d(x,y)=d(y,x)}
4. {\displaystyle d(x,z)\leq d(x,y)+d(y,z)}

Ohar gaitezke lehen propietatea hurrengo hiruen ondorio gisa har daitekeela:



d
(
x
,
x
)
≤
d
(
x
,
y
)
+
d
(
y
,
x
)
⟹
d
(
x
,
x
)
≤
d
(
x
,
y
)
+
d
(
x
,
y
)
⟹
0
≤
2
d
(
x
,
y
)
⟹
0
≤
d
(
x
,
y
)

{\displaystyle d(x,x)\leq d(x,y)+d(y,x)\Longrightarrow d(x,x)\leq d(x,y)+d(x,y)\Longrightarrow 0\leq 2d(x,y)\Longrightarrow 0\leq d(x,y)}

{\displaystyle d(x,x)\leq d(x,y)+d(y,x)\Longrightarrow d(x,x)\leq d(x,y)+d(x,y)\Longrightarrow 0\leq 2d(x,y)\Longrightarrow 0\leq d(x,y)}
{\displaystyle d} aplikazioa, {\displaystyle X}-ren gaineko metrika edo distantzia dela esaten da.

Espazio metrikoen adibideak
---------------------------

* Zenbaki errealak, balio absolutuak emandako {\displaystyle d(x,y)=\left\vert x-y\right\vert } distantzia funtzioarekin eta orokortuz, {\displaystyle n} dimentsioko espazio euklidearra, distantzia euklidearrarekin, espazio metrikoa lortzen da. Zenbaki arrazionalen multzoak ere, distantzia berdinarekin, espazio metriko bat osatzen du. Ohiko metrika deritzo distantzia honi.
* Zenbaki positibo errealen multzoa {\displaystyle d(x,y)=\left\vert \log(x/y)\right\vert } distantzia funtzioarekin, espazio metriko osoa lortzen da.
* Normadun espazio metriko oro, {\displaystyle d(x,y)=\lVert y-x\rVert } definituz, espazio metriko bat da.
* Postariaren metrika (British Rail) izeneko metrika ("SNCF metrika" izenez ere ezaguna), normadun espazio bektorial bat, {\displaystyle d(x,y)=\lVert x\rVert +\lVert y\rVert }distantziarekin non {\displaystyle \forall x\neq y} eta {\displaystyle d(x,x)=0} beteko den.
* {\displaystyle (X,d)} espazio metrikoa bada, eta {\displaystyle U}, {\displaystyle X}-ren azpimultzoa bada, {\displaystyle d} metrika {\displaystyle U} multzora murriztuz gero, eta hau {\displaystyle d\_{x}} izanik, orduan {\displaystyle (U,d\_{x})} ere espazio metrikoa ere izango da.
* Izan bedi {\displaystyle X}edozein multzo ez-hutsa. Defini dezagun {\displaystyle d}:

d
(
x
,
y
)
=

{

0
,

baldin 

x
=
y

1
,

baldin 

x
≠
y



{\displaystyle d(x,y)={\begin{cases}0,&{\text{baldin }}x=y\\1,&{\text{baldin }}x\neq y\end{cases}}}

{\displaystyle d(x,y)={\begin{cases}0,&{\text{baldin  }}x=y\\1,&{\text{baldin }}x\neq y\end{cases}}}{\displaystyle d} distantziari, metrika diskretua deritzo eta {\displaystyle (X,d)} espazio metrikoa izango da. Sinplea izan arren, adibide honek garrantzi handia du, edozein multzo ez-hutsentzat, berari dagokion espazio metriko bat existitzen dela jakin baitezakegu. Metrika hau erabiliz, edozein puntu bola ireki gisa kontsidera dezakegu, eta beraz edozein azpimultzo irekia da, espazio metriko honek sortzen duen topologian, topologia diskretuan hain zuzen.
* Plano hiperbolikoa, espazio metrikoa da. Orokorrago esanda, {\displaystyle X} Riemannen espazioko edozein multzo konexu izanik, {\displaystyle (X,d)} espazio metrikoa izango da, bi punturen arteko distantzia, bi puntuak batzen dituzten ibilbideen luzeren infimoa hartuz.
* {\displaystyle U}multzoa eta {\displaystyle (X,d)} espazio metrikoa izanik, {\displaystyle f:U\longrightarrow X} itxurako funtzio bornatuen multzoa, {\displaystyle d} funtzioarekin espazio metrikoa izango da non {\displaystyle d(f,g)=\sup(\operatorname {d} \!(f(x),g(x))} izango den, {\displaystyle f} eta {\displaystyle g} funtzioak aipaturiko multzoko elementuak izanik. Metrika edo distantzia honi, metrika uniformea edo supremoaren metrika deritzo.
* {\displaystyle G} grafo ez-zuzendua bada, orduan {\displaystyle V}, {\displaystyle G} grafoko erpinen multzoa izanik, {\displaystyle (V,d)} espazio metriko bihurtu daiteke {\displaystyle d(x,y)}, {\displaystyle x}eta {\displaystyle y}erpinak lotzen dituen ibilbiderik motzenaren luzeraren balioa izanik.
* Levenshteinen distantzia, {\displaystyle u} eta {\displaystyle v} karaktere kateen antzekotasun eza neurtzen duen distantzia da, non {\displaystyle u} karaktere katea {\displaystyle v}-n transformatzeko gutxienez beharko ditugun karaktereen aldaketa (ezabatzea, txertatzea edo ordezkatzea) kopuruaren bidez definitzen den. Grafo batean, ibilbide motzenaren metrikaren kasu berezia da distantzia hau.
* {\displaystyle (X,d)} espazio metrikoa bada, eta {\displaystyle f:[0,inf)\longrightarrow [0,inf)}gorakorra eta ahurra den funtzioa, zeinetarako {\displaystyle f(x)=0} den baldin eta soilik baldin {\displaystyle x=0} bada, orduan {\displaystyle f\circ d} ere metrika da {\displaystyle X} multzoan.
* Gorputz baten gaineko {\displaystyle m\times n}ordenako matrize guztiek osaturiko multzoa, espazio metrikoa izango da heinaren bidez definitu dezakegun ondoko d distantziarekin: {\displaystyle d(A,B)=rg(B-A)}
* Hellyren metrika, joko-teorian erabili ohi da.

Multzo ireki eta itxiak, topologia eta konbergentzia
----------------------------------------------------

Espazio metriko batek, beti espazio topologiko bat sortzen du (distantzia batek beti topologia bat sortzen du) eta ondorioz, espazio topologikoei buruzko teorema eta definizio oro, hauekin ere aplikatu daitezke.

{\displaystyle (X,d)} espazio metriko baten {\displaystyle x} edozein puntutarako, {\displaystyle r>0} erradioko {\displaystyle (r\in \mathbb {R} )} eta {\displaystyle x} zentruko bola irekia defini dezakegu honako multzo gisa:


B
(
x
,
r
)
=
{
y
∈
X
:
d
(
x
,
y
)
<
r
}

{\displaystyle B(x,r)=\{y\in X:d(x,y)<r\}}

{\displaystyle B(x,r)=\{y\in X:d(x,y)<r\}}Adibidez, {\displaystyle \mathbb {R} }-ren ohiko topologiaz, {\displaystyle B(x,r)=(x-r,x+r)} izango da eta metrika diskretuaz, {\displaystyle B(x,r)=\{x\}}.

Bola irekien multzoak, {\displaystyle X} multzoaren gaineko topologia baten oinarria osatzen du, espazio topologikoa eratuz.

Esplizituki, {\displaystyle U} {\displaystyle X}-ren azpimultzoari ireki deritzo, {\displaystyle \forall x\in X,\exists r>0:B(x,r)\subseteq U} betetzen bada. Multzo ireki baten osagarriari, multzo itxi deritzo.

{\displaystyle x\in X} bakoitzerako, {\displaystyle B\_{x}=\{B(x,\epsilon ):\epsilon >0\}} familia hartuz gero, {\displaystyle \{B\_{x}\}\_{x\in X}} bildumak topologiaren baten ingurune-oinarria izateko baldintzak betetzen ditu beti, eta beraz, honako topologia hau sortzen du: 



τ

d

=
{
U
⊆
X
:
∀
x
∈
U
,
∃
B
∈

B

x

:
B
⊆
U
}

{\displaystyle \tau \_{d}=\{U\subseteq X:\forall x\in U,\exists B\in \mathrm {B} \_{x}:B\subseteq U\}}

{\displaystyle \tau _{d}=\{U\subseteq X:\forall x\in U,\exists B\in \mathrm {B} _{x}:B\subseteq U\}}Adibidez, {\displaystyle \tau \_{u}=\{U\subseteq \mathbb {R} :\forall x\in U,\exists \epsilon >0:(x-\epsilon ,x+\epsilon )\subseteq U\}} ohiko topologia, ohiko metrikatik dator eta bestetik, {\displaystyle \tau \_{disk}=\{U\subseteq X:\forall x\in U,\exists B\in \mathrm {B} \_{x}:B\subseteq U\}=P(X)} topologia diskretua, metrika diskretutik.

{\displaystyle (X,d)} espazio metrikoa izanik eta {\displaystyle r>0}, orduan {\displaystyle {\bar {B}}(x,r)=\{y\in X:d(x,y)=r\}} multzoari, {\displaystyle x} zentruko eta {\displaystyle r} erradioko bola itxia deritzo. Bestalde, {\displaystyle S(x,r)=\{y\in X:d(x,y)=r\}} multzoari, {\displaystyle x} zentruko eta {\displaystyle r} erradioko esfera esaten zaio.

{\displaystyle (X,d)}espazio metrikoa izanik, hurrengo propietateak betetzen dira:

* {\displaystyle x\in X} bakoitzerako eta {\displaystyle r>0} edozeinetarako, {\displaystyle {\bar {B}}(x,r)\neq \emptyset \neq B(x,r)} betetzen da. Hala ere, {\displaystyle S(x,r)} multzoa hutsa izan daiteke.
* {\displaystyle 0<r\leq s} bada, {\displaystyle B(x,r)\subset B(x,s),{\bar {B}}(x,r)\subset {\bar {B}}(x,s),{\bar {B}}(x,r)\subset B(x,s)} ({\displaystyle r<s}bada)

{\displaystyle (X,\tau )} espazio topologikoa metrizagarria dela esaten da, {\displaystyle \tau }topologia metrika batetik datorrenean, hau da, existitzen bada {\displaystyle d} {\displaystyle X}-ren gaineko metrika non {\displaystyle \tau \_{d}=\tau } den. Bestetik, {\displaystyle (X,d)} espazio metrikoa eta {\displaystyle \{x\_{n}\}\_{n\in \mathbb {N} }}bertan definitutako segida izanik, esaten da segida honen limitea {\displaystyle a\in X} puntua dela, beraz konbergentea dela, baldin eta: 


∀
ϵ
>
0
,
∃
n
∈

N

:
∀
n
≥

n

0

,
d
(

x

n

,
a
)
<
ϵ

{\displaystyle \forall \epsilon >0,\exists n\in \mathbb {N} :\forall n\geq n\_{0},d(x\_{n},a)<\epsilon }

{\displaystyle \forall \epsilon >0,\exists n\in \mathbb {N} :\forall n\geq n_{0},d(x_{n},a)<\epsilon }Segidek oso tresna baliogarria izaten jarraitzen dute espazio metrikoetan, izan ere, {\displaystyle \mathbb {R} }-n dituzten funtsezko propietateak mantentzen dituzte, espazio topologikoetan ez bezala. Esaterako, limitearen bakartasuna betetzen da (espazio topologikoetan, espazioa Hausdorff denean soilik) eta jarraitutasuna eta beste zenbait kontzeptu topologiko deskribatzeko baliogarriak zaizkigu.

Espazio metriko motak
---------------------

### Espazio osoa

{\displaystyle (X,d)} espazio metriko bat osoa dela esaten da, Cauchyren segida guztiak {\displaystyle X}multzoan konbergenteak badira. Baliokidea dena: {\displaystyle \lim \_{n,m\to \infty }d(x\_{n},x\_{m})} bada, orduan {\displaystyle \exists y\in X:\lim \_{n\to \infty }d(x\_{n},y)}.

Espazio euklidear oro osoa da, eta zenbaki arrazionalen multzoa aldiz, balio absolutuaren {\displaystyle d(x,y)=|x-y|} distantzia erabiliz, ez da osoa.

### Espazio bornatuak eta guztiz bornatuak

{\displaystyle (X,d)}espazio metriko bat bornatua dela esaten da, existitzen bada {\displaystyle r\in \mathbb {R} }non {\displaystyle d(x,y)\leq r} betetzen den {\displaystyle \forall x,y\in X}. {\displaystyle r} ahalik eta txikiena hartuz, {\displaystyle X}-ren diametroa lortuko da. Bestetik, guztiz bornatua dela esaten da, edozein {\displaystyle r>0} baliotarako existitzen bada {\displaystyle r}erradioko bola irekien kopuru finitua non bola hauen bildurak {\displaystyle X}estaliko duen. Bola ireki hauen zentruek osatzen duten multzoa finitua denez, {\displaystyle X}espazioak diametro finitua du, eta beraz ondoriozta daiteke (desberdintza triangeluarraren bidez) guztiz bornatua den espazio metrikoa, bornatua ere izango dela. Alderantzizko kasua ez da beti emango. Kontradibide gisa, edozein multzo infinituri metrika diskretua egokituz gero, hau bornatua da, baina ez guztiz bornatua (ohartu kasu honetan {\displaystyle B(x,1)=\{x\}} dela).

### Espazio trinkoak

{\displaystyle (X,d)}espazio metrikoa trinkoa izango da, {\displaystyle X} multzoan definitutako edozein segidak, {\displaystyle X} multzoko elementu batera konbergentea den azpisegida bat badu. Kontuan izan trinkotasunaren definizio hau espazio metrikoetarako soilik erabili daitekeela, eta ez edozein espazio topologikorako.

#### Heine Borel-en teorema:

{\displaystyle (\mathbb {R} ^{n},\tau \_{u})} espazioan, {\displaystyle A\subseteq \mathbb {R} ^{n}} trinkoa {\displaystyle \Longleftrightarrow }itxia {\displaystyle +}bornatua

Ohartu hau {\displaystyle \tau \_{u}} ohiko topologiarekin soilik beteko dela eta ez espazio metrizagarri guztietan. Esaterako, {\displaystyle (X,\tau \_{disk})} espazioa metrizagarria izan arren, inpikazioa ez da bi aldetara beteko. Orokorrean, espazio metrikoetarako beteko da: {\displaystyle (X,d)} trinkoa {\displaystyle \Longleftrightarrow }osoa eta guztiz bornatua

### Espazio lokalki trinkoak

Espazio metriko bat lokalki trinkoa dela esaten da, espazioko puntu guztietarako, ingurune trinko bat existitzen bada. Espazio euklidearrak lokalki trinkoak dira, baina infinitu dimentsiodun Banach-en espazioak ez.

### Espazio konexuak

{\displaystyle (X,d)} espazio metrikoa konexua dela esaten da, aldi berean itxiak eta irekiak diren {\displaystyle X}-ren azpimultzo bakarrak, multzo hutsa eta {\displaystyle X} bera baldin badira. Ideia intuitibo gisa, {\displaystyle (X,d)} konexua izango da, {\displaystyle X} "pieza bakar batez osatua" baldin bada. {\displaystyle A\subset X} multzoa konexua dela esaten da {\displaystyle (A,d\_{A})} konexua baldin bada.

Beste modu batera definituz, {\displaystyle (X,d)}konexua dela esaten da, ez bada espazio metriko ez-konexua. {\displaystyle A\subset X} izanik, {\displaystyle A}ez-konexua dela esaten da baldin eta soilik baldin existitzen badira {\displaystyle U} eta {\displaystyle V}multzoak, {\displaystyle (X,d)}espazio metrikoan irekiak non hiru baldintza hauek beteko diren:



{

U
∩
A
≠
∅
≠
A
∩
V

A
∩
U
∩
V
=
∅

A
⊆
U
∪
V



{\displaystyle {\begin{cases}U\cap A\neq \emptyset \neq A\cap V\\A\cap U\cap V=\emptyset \\A\subseteq U\cup V\end{cases}}}

{\displaystyle {\begin{cases}U\cap A\neq \emptyset \neq A\cap V\\A\cap U\cap V=\emptyset \\A\subseteq U\cup V\end{cases}}}Adibidez;

* Edozein espazio metrikorako, atomoak (elementu bakarrez osatutako multzoak) konexuak dira.
* {\displaystyle (\mathbb {R} ,d\_{u})} espazioan, multzo ez-konexuak dira {\displaystyle (0,1]\cup [2,5)} eta {\displaystyle \mathbb {R} -\{0\}}. Espazio honetan konexuak izango dira aldiz, tarte bakar gisa definitu daitekeen edozein multzo.

### Espazio banagarriak

Espazio metriko bat banagarria dela esaten da, kontagarria eta dentsoa den azpimultzo bat baldin badu. Adibide ohikoenak, zenbaki errealen kasua edo edozein espazio euklidearrenak dira. Espazio metrikoetarako (baina ez espazio topologikoetarako) bigarren zenbakigarritasuna eta Lindelöf-en propietatea baliokideak dira.

Espazio metrikoen arteko aplikazio motak
----------------------------------------

Demagun {\displaystyle (M\_{1},d)} eta {\displaystyle (M\_{2},\rho )} espazio metrikoak direla.

### Aplikazio jarraituak

{\displaystyle f:(M\_{1},d)\longrightarrow (M\_{2},\rho )} aplikazioa jarraitua dela diogu baldin eta baliokideak diren propietate hauek betetzen badira (bat betetzen bada, besteak ere beteko dira):

* {\displaystyle V} {\displaystyle (M\_{2},\rho )} espazioan irekia den edozein multzotarako, {\displaystyle f^{-1}(V)} irekia bada {\displaystyle (M\_{1},d)} espazioan. (Topologian ematen den jarraitutasunaren definizio orokorra)
* {\displaystyle F}{\displaystyle (M\_{2},\rho )} espazioan itxia den edozein multzotarako, {\displaystyle f^{-1}(V)} itxia bada {\displaystyle (M\_{1},d)} espazioan.

* {\displaystyle x\in M\_{1}} eta {\displaystyle \epsilon >0} guztietarako, existitzen bada {\displaystyle \mu >0} bat, {\displaystyle \forall y\in M\_{1}} hau beteko den: {\displaystyle d(x,y)<\mu \Longrightarrow \rho (f(x),f(y))<\epsilon }

#### Adibideak:

1. {\displaystyle f:(M\_{1},d)\longrightarrow (M\_{2},\rho )}konstantea bada, jarraitua da.
2. {\displaystyle 1\_{M\_{1}}:(M\_{1},d)\longrightarrow (M\_{1},d)}jarraitua da.
3. {\displaystyle (M\_{1},d)} diskretua bada, {\displaystyle (M\_{2},\rho )} edozein espazio metrikorako eta edozein {\displaystyle f} funtziorako, {\displaystyle f:(M\_{1},d)\longrightarrow (M\_{2},\rho )} aplikazioa jarraitua izango da.

### Isometriak

{\displaystyle f:(M\_{1},d)\longrightarrow (M\_{2},\rho )}aplikazioa isometria izango da baldin eta: 


ρ
(
f
(
x
)
,
f
(
y
)
)
=
d
(
x
,
y
)
:
∀
x
,
y
∈

M

1

{\displaystyle \rho (f(x),f(y))=d(x,y):\forall x,y\in M\_{1}}

{\displaystyle \rho (f(x),f(y))=d(x,y):\forall x,y\in M_{1}}Isometria bat beti izango da injektiboa eta multzo bat trinkoa edo osoa bada, bere irudia (isometria batean) ere trinkoa edo osoa izango da. Hala ere, isometria bat ez da beti suprajektiboa, hau da, ez du zertan {\displaystyle M\_{2}}-ko elementu bakoitza gutxienez {\displaystyle M\_{1}}-eko elementu baten irudia izan.

### Uniformeki jarraituak diren aplikazioak

{\displaystyle f:M\_{1}\longrightarrow M\_{2}} aplikazioa uniformeki jarraitua dela esango dugu {\displaystyle \epsilon >0} guztietarako existitzen bada {\displaystyle \delta >0} non: 


∀
x
,
y
∈

M

1

:
d
(
x
,
y
)
<
δ
⟹
ρ
(
f
(
x
)
,
f
(
y
)
)
<
ϵ

{\displaystyle \forall x,y\in M\_{1}:d(x,y)<\delta \Longrightarrow \rho (f(x),f(y))<\epsilon }

{\displaystyle \forall x,y\in M_{1}:d(x,y)<\delta \Longrightarrow \rho (f(x),f(y))<\epsilon }Uniformeki jarraitua den espazio metrikoen arteko edozein {\displaystyle f} aplikazio jarraitua da. Alderantzizkoa egia izango da {\displaystyle M\_{1}} trinkoa baldin bada (Heine-Cantor-ren teorema).

#### Adibideak:

1. Identitatea. {\displaystyle id:(M\_{1},d)\longrightarrow (M\_{1},d)}
2. Aplikazio konstanteak uniformeki jarraituak dira.
3. Kontuan hartuz metrika diskretutik datorren espazio topologikoari espazio topologiko diskretua deritzola, {\displaystyle (M\_{1},d)} edozein espazio metrikorako, {\displaystyle f:(X,d\_{disk})\longrightarrow (M\_{1},d)}itxurako aplikazioa uniformeki jarraitua izango da.
4. Isometriak uniformeki jarraituak dira, baina alderantzizkoa ez da egia: {\displaystyle 1\_{R}:(R,d\_{disk})\longrightarrow (R,d\_{u})} aplikazioa bijektiboa eta uniformeki jarraitua da, baina ez da isometria bat.

### Aplikazio lipschitziar jarraituak edo lipschitziarrak eta uzkurdurak

{\displaystyle k>0}zenbaki erreala izanik, {\displaystyle f:(M\_{1},d)\longrightarrow (M\_{2},\rho )}aplikazioa, lipschitziar jarraitua edo lipschitziarra izango da baldin eta 


ρ
(
f
(
x
)
,
f
(
y
)
)
≤
k
⋅
d
(
x
,
y
)
:
∀
x
,
y
∈

M

1

{\displaystyle \rho (f(x),f(y))\leq k\cdot d(x,y):\forall x,y\in M\_{1}}

{\displaystyle \rho (f(x),f(y))\leq k\cdot d(x,y):\forall x,y\in M_{1}}Lipschitziar jarraitua den aplikaio oro, uniformeki jarraitua da, baina alderantzizkoa ez da beti gertatzen.

{\displaystyle k>1} den kasuan, {\displaystyle f} uzkurdura bat baldin bada, orduan puntu finko bakarra onartuko du (Banachen puntu finkoaren teorema). {\displaystyle M\_{1}}trinkoa den kasuan aldiz, {\displaystyle f} aplikazioak puntu finko bakarra onartuko du baldin eta: 


d
(
f
(
x
)
,
f
(
y
)
)
≤
d
(
x
,
y
)
:
∀
x
≠
y
∈

M

1

{\displaystyle d(f(x),f(y))\leq d(x,y):\forall x\neq y\in M\_{1}}

{\displaystyle d(f(x),f(y))\leq d(x,y):\forall x\neq y\in M_{1}}

Espazio metrikoen arteko baliokidetasun nozioak
-----------------------------------------------

Demagun {\displaystyle (M\_{1},d)} eta {\displaystyle (M\_{2},\rho )} espazio metrikoak direla:

* Homeomorfoak direla esaten da, existitzen bada {\displaystyle f:(M\_{1},d)\longrightarrow (M\_{2},\rho )}homeomorfismoa, hau da, existitzen bada bi espazio metrikoen arteko {\displaystyle f} aplikazioa non {\displaystyle f} bijektiboa, jarraitua eta bere alderantzizkoa ere jarraitua den.
* Uniformeki isomorfoak direla esaten da, existitzen bada bi espazio metrikoen arteko isomorfismo uniforme bat, hau da, existitzen bada bi espazio metrikoen arteko {\displaystyle f} aplikazioa non {\displaystyle f} injektiboa,buniformeki jarraitua eta bere alderantzizkoa ere uniformeki jarraitua den.
* Isometrikoak direla esaten da existitzen bada bi espazio metrikoen arteko isometria bijektibo bat. Kasu honetan, bi espazio metrikoak izatez berdinak izango dira.

Puntuen eta multzoen arteko distantzia; Hausdorffen distantzia
--------------------------------------------------------------

Puntu bat, multzo itxi batengandik bereiziko duen funtzio bat eraikitzeko modu sinple bat, puntu horren eta multzo horren arteko distantzia hartzea da. {\displaystyle (X,d)} espazio metrikoa bada, {\displaystyle A\subseteq X}bada eta {\displaystyle x\in X} bada, {\displaystyle x}-tik {\displaystyle A}-ra definitzen den distantzia honako hau izango da: {\displaystyle d(x,A)=\inf\{d(x,a):a\in A\}}.

{\displaystyle d(x,A)=0} izango da baldin eta soilik baldin {\displaystyle x\in {\bar {A}}}, non {\displaystyle {\bar {A}}}multzoa, {\displaystyle A}-ren itxitura den. Are gehiago, desberdintza triangeluarraren orokorpen gisa: 


d
(
x
,
A
)
≤
d
(
x
,
y
)
+
d
(
y
,
A
)

{\displaystyle d(x,A)\leq d(x,y)+d(y,A)}

{\displaystyle d(x,A)\leq d(x,y)+d(y,A)}Hortik ondoriozta dezakegu {\displaystyle x\longmapsto d(x,A)} aplikazioa jarraitua izango dela.

{\displaystyle A} eta {\displaystyle S}, {\displaystyle X}-ren azpimultzoak izanik, bi azpimultzoen arteko Hausdorffen distantzia honako hau izango da: 



d

H

(
A
,
S
)
=
max
{
sup
{
d
(
a
,
S
)
:
a
∈
A
}
,
sup
{
d
(
s
,
A
)
:
s
∈
S
}
}

{\displaystyle d\_{H}(A,S)=\max\{\sup\{d(a,S):a\in A\},\sup\{d(s,A):s\in S\}\}}

{\displaystyle d_{H}(A,S)=\max\{\sup\{d(a,S):a\in A\},\sup\{d(s,A):s\in S\}\}}Orokorrean, Hausdorffen distantzia, {\displaystyle d\_{H}(A,S)}, infinitua izan daiteke. Bi multzo elkarrekiko hurbil daude Hausdorffen distantzian baldin eta multzo bateko elementu oro, hurbil badago beste multzoko elementuren batekiko.

Biderkadura espazio metrikoak
-----------------------------

{\displaystyle (M\_{1},d\_{1}),(M\_{2},d\_{2}),...(M\_{n},d\_{n})}espazio metrikoak baldin badira eta {\displaystyle N}norma euklidearra bada {\displaystyle \mathbb {R} ^{n}}-n, orduan {\displaystyle (M\_{1}\times M\_{2}\times ...\times M\_{n},N(d\_{1},d\_{2},...d\_{n}))}espazio metrikoa da non biderkadura distantzia modu honetan definitzen den: 


N
(

d

1

,

d

2

,
.
.
.
,

d

n

)
(
(

x

1

,

x

2

,
.
.
.
,

x

n

)
,
(

y

1

,

y

2

,
.
.
.
,

y

n

)
)
=
N
(

d

1

(

x

1

,

y

1

)
,
.
.
.
,

d

n

(

x

n

,

y

n

)
)

{\displaystyle N(d\_{1},d\_{2},...d\_{n})((x\_{1},x\_{2},...x\_{n}),(y\_{1},y\_{2},...y\_{n}))=N(d\_{1}(x\_{1},y\_{1}),...d\_{n}(x\_{n},y\_{n}))}

{\displaystyle N(d_{1},d_{2},...d_{n})((x_{1},x_{2},...x_{n}),(y_{1},y_{2},...y_{n}))=N(d_{1}(x_{1},y_{1}),...d_{n}(x_{n},y_{n}))}Era berean, espazio metrikoen familia kontagarri baten biderkadura distantzia modu honetan kalkula dezakegu: 


d
(
x
,
y
)
=

∑

i
=
1

∞

1

2

i

⋅

d

i

(

x

i

,

y

i

)

1
+

d

i

(

x

i

,

y

i

)


{\displaystyle d(x,y)=\sum \_{i=1}^{\infty }{\frac {1}{2^{i}}}\cdot {\frac {d\_{i}(x\_{i},y\_{i})}{1+d\_{i}(x\_{i},y\_{i})}}}

{\displaystyle d(x,y)=\sum _{i=1}^{\infty }{\frac {1}{2^{i}}}\cdot {\frac {d_{i}(x_{i},y_{i})}{1+d_{i}(x_{i},y_{i})}}}Espazio metrikoen familia ez-kontagarri baten biderkadurak ez du zertan metrizagarria izan.

Espazio metrikoen orokortzeak
-----------------------------

* Espazio metriko oro espazio uniforme bat da, modu natural batean, eta espazio uniforme oro naturalki espazio topologiko bat da. Espazio uniforme eta topologikoak beraz, espazio metrikoen orokortze gisa kontsideratzen dira.
* Arestian aipaturiko espazio metrikoen lehen definizioa kontsideratzen badugu, eta bigarren baldintza kendu, espazio pseudometrikoaren zenbait kontzeptutara iritsi gaitezke. Hirugarren ala laugarren baldintza ezabatzen badugu aldiz, espazio quasimetrikora ala espazio semimetrikora iritsi gaitezke.
* Distantzia funtzioak zuzen erreal hedatuan balioak hartzen baditu, eta definizioko lau baldintzak betetzen baditu, orduan metrika hedatua deritzo eta izango duen espazioa, \infty -espazio metrikoa izango da.

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q180953
* Commonscat Multimedia: Metric geometry

---

* **Identifikadoreak**
* BNF: 119444311 (data)
* GND: 4169745-5
* LCCN: sh85084441
* NDL: 00567250
* NKC: ph122785
* **Hiztegiak eta entziklopediak**
* Britannica: url

 |

* Wd Datuak: Q180953
* Commonscat Multimedia: Metric geometry