Mostra la font per a Espai mètric

En [[matemàtiques]], un '''espai mètric''' és un [[conjunt]] <math>X</math> dotat d'una [[funció]] de [[distància]] (o mètrica){{sfn|Čech|1969|p=42}} <math>d</math> entre totes les parelles d'elements de <math>X</math>. Un espai mètric és un cas particular d'[[espai topològic]], i d'un espai topològic que té associada una distància es diu que és "'''metritzable'''".

L'exemple més conegut d'espai mètric és l'[[Espai tridimensional|espai euclidià tridimensional]] amb la noció habitual de distància. Altres exemples coneguts són l'[[esfera]] equipada amb la [[distància angular]] i el [[Geometria hiperbòlica|pla hiperbòlic]]. Una mètrica pot correspondre a una noció de distància més metafòrica que no física: per exemple, el conjunt de [[Cadena (informàtica)|cadenes]] de 100 caràcters equipats amb la [[distància de Hamming]], que mesura el nombre de caràcterese que cal canviar per obtenir una cadena a partir d'una altra.

Com que són molt generals, els espais mètrics són una eina que s'utilitza en moltes branques de les matemàtiques. Molts tipus d'objectes matemàtics tenen una noció natural de distància i, per tant, admeten l'estructura d'un espai mètric, incloses les [[varietat riemanniana|varietats riemannianes]], els [[Espai vectorial normat|espais vectorials normats]] i els [[Graf (matemàtiques)|grafs]]. En [[àlgebra abstracta]], els [[Nombre p-àdic|nombres ''p''-àdics]] sorgeixen com elements de la [[Espai complet|compleció]] d'una estructura mètrica en els [[nombre racional|nombres racionals]]. També s'estudien els espais mètrics en si mateixos en els camps de la '''geometria mètrica'''{{sfn|Burago|Burago|Ivanov|2001}} i de l{{'}}'''anàlisi en espais mètrics'''.{{sfn|Heinonen|2001}}

== Definició formal ==
Sigui <math>X</math> un conjunt, <math>\Reals</math> el conjunt dels [[Nombre real|nombres reals]]. Una '''distància''' <math>d</math> en <math>X</math> és una aplicació:

<math>d:X\times X\rightarrow \mathbb R\,</math>

que verifica <math>\forall x,y,z \in X\,</math>:{{sfn|Burago|Burago|Ivanov|2001|p=1}}{{sfn|Gromov|2007|p=xv}}
{|
| style="width:20px" |1.
| style="width:250px" |<math>d(x,y) \ge 0 </math>
|no negativitat o separabilitat
|-
|2.
|<math>d(x,y) = 0 \Leftrightarrow x = y</math>
|identitat dels indiscernibles
|-
|3.
|<math>d(x,y) = d(y,x) </math>
|simetria
|-
|4.
|<math>d(x,z) \le d(x,y) + d(y, z)</math>
|subadditivitat o desigualtat triangular
|}
Un '''espai mètric''' és un [[parell ordenat]]<math>(X, d)</math> amb <math>X</math> un conjunt i <math>d</math> una distància sobre <math>X</math>. Als elements de <math>X</math> se'ls anomena '''punts'''.

Es pot prescindir de l'axioma 1, ja que es pot deduir dels altres 3: 
{|
|<math>d(x,x) \le d(x,y) + d(y, x)</math>
|Per la desigualtat triangular
|-
|<math>0 \le d(x,y) + d(y, x)</math>
|Per la identitat dels indiscernibles
|-
|<math>0 \le d(x,y) + d(x, y) = 2d(x,y)</math>
|Per la simetria
|-
|<math>0 \le d(x,y)</math>
|Tenim la separabilitat
|}

== Exemples d'espais mètrics ==
Exemple 1. El conjunt dels nombres reals <math>\reals</math> amb la '''distància euclidiana''' <math>d(x,y) = |{x-y}|</math>.

Exemple 2. Com a conjunt, <math>\reals^n</math>amb la '''distància euclidiana''' <math>d(x,y) = +({\sum_{i=1}^{n}(x_i-y_i)^2})^{\frac{1}{2}}</math>. L'exemple 1 és el cas particular n = 1. Per demostrar la [[desigualtat triangular]] amb la [[distància euclidiana]], es necessita la [[Desigualtat de Cauchy-Schwarz]].

Exemple 3. Qualsevol conjunt <math>X</math> amb la distància <math>d(x,y)=\left\{\begin{matrix}0&\mbox{si } x=y\\ 1&\mbox{si } x\ne y\end{matrix}\right.\, </math>. Aquesta distància, anomenada '''distància discreta''', és vàlida per a qualsevol conjunt, demostrant que tot conjunt admet, com a mínim, una mètrica.

Exemple 4. Qualsevol [[mètrica (matemàtiques)|mètrica]], per tal d'evitar els valors <math>\infty\,</math>, permet una reescalació a una [[mètrica (matemàtiques)|mètrica]] finita, definint, per exemple, <math>\delta (x,y)= \frac {d(x,y)}{1+d(x,y)}\,</math>, els dos espais mètrics són equivalents des d'un punt de vista [[topologia|topològic]].

== Caracterització d'un espai mètric ==
Convé definir alguns conceptes que ens permetin caracteritzar un espai mètric, o bé comparar espais mètrics entre si.

=== Boles obertes ===
Sigui <math>(X, d)</math> un espai mètric, <math>p \in X</math> un punt de <math>X</math>, i <math>r \in \reals^+</math> un nombre real positiu. Es defineix la [[Bola (matemàtiques)|bola oberta]] de radi <math>r</math> centrada en <math>p</math>,<math>B_r(p)</math>, com el conjunt:

<math>B_r(p) := \{x\in X \ | \ d(p,x) < r\}</math>.

És a dir, la bola oberta de radi <math>r</math> centrada en <math>p</math> conté tots els punts <math>x\in X</math> tals que la seva distància al punt <math>p</math>és menor que <math>r</math>.

==== Propietats de les boles obertes ====
# <math>B_r(p)\not= \emptyset</math>
# Sigui <math>q \in B_{r}(p)</math>. Aleshores, <math>\exists s\in \reals^+ \ | \ B_s(q) \sube B_r(p)</math>. Dit d'altra manera, donat un punt qualsevol <math> q</math> de la bola oberta <math>B_r(p)</math>, és possible trobar un radi <math>s</math> prou petit tal que la bola oberta <math>B_s(q)</math> està continguda en <math>B_r(p)</math>.
# Siguin <math>B_r(p)</math> i <math>B_s(q)</math> tals que <math>B_{r}(p) \cap B_{s}(q) \not= \emptyset </math>, i sigui <math>z\in{\displaystyle B_{r}(p)} \cap {\displaystyle B_{s}(q)} </math> qualsevol. Aleshores, <math>\exists t>0 \ | \ B_t(z) \sube B_r(p) \cap B_s(q) </math>. En altres paraules, donades dues boles amb intersecció no buida, és possible prendre un punt <math> z</math> de la intersecció i trobar un radi <math>t</math> prou petit perquè la bola oberta <math> B_t(z)</math> també està continguda en la intersecció de les altres dues.

==== Demostracions de les propietats ====
# Qualsevol bola oberta conté el seu centre <math>p</math>.
# Sigui <math>\delta = d(x,y)</math> i prenem <math>s = r - \delta</math>. Si <math>z \in B_s(q)</math>, es dedueix de la desigualtat triangular que <math>d(p,z) \le d(p,q) + d(q,z) < \delta + s = r </math>. Així doncs, la distància entre qualsevol <math>z\in B_s(q) </math> i el punt <math>p</math> és menor que <math>r</math> i, per tant, <math>z \in B_r(p)</math>.
# Per la propietat (2), existeixen <math>t', t'' \ \mid \ \Bigl(B_{t'}(z) \sube B_r(p) \Bigr) \land \Bigl(B_{t''}(z) \sube B_s(q)\Bigr) </math>. És suficient prendre <math>t = \min(t', t'')</math>.

=== Entorns ===
Sigui <math>(X, d)</math> un espai mètric i <math>p \in X</math> un punt de <math>X</math>. Un subconjunt <math>E\sube X</math> és un [[Veïnat (matemàtiques)|'''entorn''']] de <math>p</math> si existeix un <math>\epsilon \in \reals^+</math> tal que <math>B_\epsilon (p) \sube E</math>. Menys formalment, un subconjunt <math>E\sube X</math> és entorn d'un punt <math>p</math> si és possible trobar un radi prou petit perquè existeixi una bola centrada en <math>p</math> i continguda en <math>E</math>.

=== Oberts (i tancats) ===
Sigui <math>(X, d)</math> un espai mètric i <math>U \sube X</math> un subconjunt <math>X</math>. Diem que <math>U</math> és un [[Obert (matemàtiques)|'''obert''']] de <math>X</math> si, per a tot <math>x \in U</math> existeix <math>r \in \reals ^+</math> tal que <math>B_r(x) \sube U</math>. Alternativament, <math>U</math> és un obert si és entorn de tots els seus punts. Un [[Conjunt tancat|'''tancat''']] és un conjunt tal que el seu complementari és obert.

==== Propietats dels oberts ====
# <math>\empty, X </math> són oberts
# Sigui <math>\{U_i\}_{i\in I}</math> una família arbitrària d'oberts. Aleshores, <math>\bigcup_{i\in I} U_i</math> és un obert.
# Sigui <math>\{U_i\}_{i\in I}</math> una famïlia finita d'oberts. Aleshores, <math>\bigcap_{i\in I} U_i</math> és un obert.

==== Demostració de les propietats ====
# Donat que <math>\empty</math> no té elements, és obert (tots els seus elements compleixen la definició, ja que no en té). Qualsevol bola oberta, per definició, està continguda en <math>X</math>, i per tant, <math>X</math> és un obert.
# <math>x \in {\displaystyle \bigcup _{i\in I}U_{i}} </math> si i només si <math>\exist \alpha \in I </math> tal que <math>x \in U_\alpha</math>. Aleshores, com que <math>U_\alpha</math> és un obert, <math>\exist r \in \reals ^+ </math> tal que <math>B_r(x) \sube U_\alpha</math>. <math>\bigcup_{i\in I} U_i</math>és un obert ja que <math>B_r(x) \sube U_\alpha \sube \bigcup_{i\in I}U_i </math>.
# <math>x \in {\displaystyle \bigcup _{i\in I}U_{i}} </math>si i només si <math>x \in U_i</math>, <math>\forall i \in I </math>. Com que els <math>U_i</math> són obert, per a cadascun d'ells, <math>\exist r_i \in \reals ^+ </math> tal que <math>B_r(x) \sube U_i</math>. Prenent <math>r = min\{r_i\}_{i\in I}</math>, es té que <math>B_r(x) \sube B_{r_i}(x) \sube U_i </math>, <math>\forall i \in I </math>. Per tant, <math>B_r(x) \sube \bigcap_{i\in I}U_i </math>.
Cal notar que en la demostració de la propietat 3, la finitud de la famíia d'oberts es demana per a assegurar l'existència del mínim dels radis. Un contraexemple fàcil per veure que amb una família infinita pot no complir-se la propietat 3 és prendre com a conjunt els nombres reals dotats amb la distància euclidiana, i com a família infinita d'oberts <math>\{(-\frac{1}{n}, \frac{1}{n})\}_{n\in \mathbb{N}}</math>. Aleshores, la intersecció <math>\bigcap_{n\in \mathbb{N}}(-\frac{1}{n}, \frac{1}{n}) = \{ 0\}</math> no és un obert.

==== Propietats dels tancats ====
Són fàcils de demostrar, ja que només cal fer el pas al complementari.
# <math>\empty, X </math> són tancats.
# Sigui <math>\{F_i\}_{i\in I}</math> una família finita de tancats. Aleshores, <math>\bigcup_{i\in I} F_i</math> és un tancat.
# Sigui <math>\{F_i\}_{i\in I}</math> una família arbitrària de tancats. Aleshores, <math>\bigcap_{i\in I} U_i</math> és un tancat.

==== Oberts (o tancats) en espais topològics ====
Quan es generalitza el concepte d'espai mètric a espai topològic, serà un conjunt de subconjunts de <math>X</math> anomenat '''topologia''', al qual se li demana complir les tres propietats anteriors, el que dotarà d'estructura el conjunt <math>X</math>. Als elements de la topologia se'ls anomenarà, igualment, oberts (o tancats), ja que per als espais topològics metritzables coincidiran amb els oberts (o tancats) de l'espai mètric respectiu.

=== Aplicacions contínues ===
Sigui <math>f: (X,d_X) \longrightarrow (Y, d_Y) </math>una aplicació entre espais mètrics. Diem que <math>f</math> '''és [[Funció contínua|contínua]] en <math>p \in X</math>''' si, 

<math>\forall \epsilon \in \reals^+ \ \exists \delta \in \reals ^+ \mid f \big(B_\delta(p)\big) \sube B_\epsilon \big(f(p) \big)</math>.

És a dir, si per tota bola oberta en <math>Y</math> centrada en <math>f(p)</math>, existeix una bola oberta en <math>X</math> centrada en <math>p</math> i la segona està continguda en la primera.

Direm que una aplicació és '''contínua''' si ho és en tots els punts de <math>X</math>.

==== Algunes proposicions i teoremes amb aplicacions contínues ====
'''Proposició 1.''' Sigui <math>f: (X,d_X) \longrightarrow (Y, d_Y) </math> una aplicació entre espais mètrics. Aleshores, <math>f</math> és contínua en '''<math>p \in X</math>''' si i només si l'antiimatge d'un entorn qualsevol <math>E</math> de <math>f(p)</math> és un entorn de <math>p</math>.

Demostració: 

<math>\Rightarrow</math>) Suposem que <math>f</math> és contínua en <math>p</math>. Com que <math>E</math> és un entorn de <math>f(p)</math>, existeix un <math>\epsilon \in \reals^+</math> tal que <math>B_\epsilon (p) \sube E</math>. Degut a la continuïtat de <math>f</math> en <math>p</math>, hi ha un <math>\delta</math> tal que: 

<math>B_\delta(p) \sube f^{-1} \biggl(B_\epsilon \big(f(p)\big) \bigg) \sube f^{-1}(E)</math>.

Per tant, <math>f^{-1}(E)</math> és un entorn de <math>p</math>.

<math>\Leftarrow</math>) Suposem ara que <math>f^{-1}(E)</math>, essent <math>E</math> un entorn qualsevol de <math>f(p)</math>, és un entorn de <math>p</math>. Com que <math>E' = B_\epsilon \big(p \big) </math> és un entorn de <math>f(p)</math>, <math>f^{-1}(E')</math> és un entorn de <math>p</math>. És a dir, hi ha un <math>\delta \in \reals^+</math> tal que <math>f \big(B_\delta(p)\big) \sube B_\epsilon \big(f(p) \big)</math> i, per tant, <math>f</math> és contínua en <math>p</math>. <math>\square</math>

'''Teorema 1.''' Sigui <math>f: (X,d_X) \longrightarrow (Y, d_Y) </math> una aplicació entre espais mètrics. Aleshores, <math>f</math> és contínua en '''<math>p \in X</math>''' si i només si l'antiimatge d'un obert qualsevol <math>U</math> de <math>Y</math> és un obert de <math>X</math>.

La demostració és senzilla mitjançant la proposició 1, ja que un obert és entorn de tots els seus punts.

És important notar, donat aquest teorema, que la continuïtat de les aplicacions entre espais mètrics no depèn directament de la mètrica, sinó dels oberts que produeixen. Així, dues distàncies que produeixin els mateixos oberts, produiran també les mateixes aplicacions contínues. Això mostra que la continuïtat és un concepte topològic i no mètric.

== Història ==
L'any 1906, [[Maurice Fréchet]] va introduir els espais mètrics en la seva obra ''Sur quelques points du calcul fonctionnel'' (''Sobre alguns punts del càlcul de funcions'')<ref>{{cite journal |last1=Fréchet |first1=M. |title=Sur quelques points du calcul fonctionnel |journal=Rendiconti del Circolo Matematico di Palermo |date=December 1906 |volume=22 |issue=1 |pages=1–72 |doi=10.1007/BF03018603|s2cid=123251660 |url=https://zenodo.org/record/1428464 }}</ref> en el context de l'[[anàlisi funcional]]: el seu principal interès era el d'estudiar funcions reals d'un espai mètric, generalitzant la teoria de funcions de diverses o fins i tot infinites variables, matèria en què van ser pioners matemàtics com [[Cesare Arzelà]]. La idea va ser posteriorment desenvolupada i contextualitzada per [[Felix Hausdorff]] en el seu ''magnum opus'' ''Grundzüge der Mengenlehre'' (''Principis de la teoria de conjunts''), que també va introduir la idea dels [[Espai de Hausdorff|espais topològics de Hausdorff]].<ref>{{cite journal |last1=Blumberg |first1=Henry |title=Hausdorff's Grundzüge der Mengenlehre |journal=Bulletin of the American Mathematical Society |date=1927 |volume=6 |pages=778–781 |doi=10.1090/S0002-9904-1920-03378-1 |doi-access=free}}</ref>

Els espais mètrics generals s'han convertit en una part fonamental en el currículum matemàtic.{{sfn|Rudin|1976|p=30}} Són exemples notables d'espais mètrics en la recerca matemàtica les varietats riemannianes i els espais vectorials normats, que són el domini de la [[geometria diferencial]] i de l'[[anàlisi funcional]], respectivament.<ref>Per exemple, {{harvnb|Burago|Burago|Ivanov|2001|p=xiii}}: <blockquote>... durant gran part del darrer segle era una creença habitual que "geometria de varietats" bàsicament es reduïa a "anàlisi en varietats". Els mètodes geomètrics es basaven molt en eines diferencials, com es pot suposar a partir del terme "geometria diferencial".</blockquote></ref> La [[fractal|geometria fractal]] és font d'alguns espais mètrics "exòtics". D'altres han aparegut com a límits en l'estudi d'objectes discrets o [[Suavitat d'una funció|suaus]], inclosos [[Invariància d'escala|límits invariants d'escala]] en [[Mecànica estadística|física estadística]], espais d'Alexandrov que apareixen com a [[convergència de Grómov–Hausdorff|límits de Grómov–Hausdorff]] de seqüències en varietat riemannianes, i fronteres de Grómov i cons asimptòtics en la [[teoria geomètrica de grups]]. Finalment, moltes de les noves aplicacions d'espais mètrics discrets i finits provenen de les [[ciències de la computació]].

== Referències ==
{{Referències}}

== Bibliografia ==
{{refbegin}}
* {{cite book |last1=Burago |first1=Dmitri |author-link1=Dmitri Burago |last2=Burago |first2=Yuri |author-link2=Yuri Dmitrievich Burago |last3=Ivanov |first3=Sergei |author-link3=Sergei Ivanov (mathematician) |title=A course in metric geometry |date=2001 |publisher=American Mathematical Society |location=Providence, RI |isbn=0-8218-2129-6}}
* {{cite book |last1=Čech |first1=Eduard |author-link1=Eduard Čech |title=Point Sets |date=1969 |publisher=Academic Press |isbn=0121648508}}
* {{cite book |last1=Heinonen |first1=Juha |author-link1=Juha Heinonen |title=Lectures on analysis on metric spaces |date=2001 |publisher=Springer |location=Nova York|isbn=0-387-95104-0}}
* {{cite book |last1=Gromov |first1=Mikhael |author-link1=Mikhael Gromov (mathematician) |title=Metric structures for Riemannian and non-Riemannian spaces |title-link=Metric Structures for Riemannian and Non-Riemannian Spaces |date=2007 |publisher=Birkhäuser |location=Boston |isbn=978-0-8176-4582-3}}
* {{Cite book |last=Rudin |first=Walter |author-link=Walter Rudin |title=Principles of Mathematical Analysis |title-link=Principles of Mathematical Analysis |date=1976 |isbn=0-07-054235-X |edition=Third |location=Nova York|oclc=1502474}}
{{refend}}

{{Commonscat}}
{{Autoritat}}

{{ORDENA:Espai Metric}}
[[Categoria:Topologia]]