Espai mètric

En matemàtiques, un espai mètric és un conjunt $X$ dotat d'una funció de distància (o mètrica) $d$ entre totes les parelles d'elements de $X$. 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".

Definició formal

Sigui $X$ un conjunt, $\mathbb {R}$ el conjunt dels nombres reals. Una distància $d$ en $X$ és una aplicació:

$d:X\times X\rightarrow \mathbb {R} \,$

que verifica $\forall x,y,z\in X\,$:

1.	$d(x,y)\geq 0$	no negativitat o separabilitat
2.	$d(x,y)=0\Leftrightarrow x=y$	identitat dels indiscernibles
3.	$d(x,y)=d(y,x)$	simetria
4.	$d(x,z)\leq d(x,y)+d(y,z)$	subadditivitat o desigualtat triangular

Un espai mètric és un parell ordenat$(X,d)$ amb $X$ un conjunt i $d$ una distància sobre $X$. Als elements de $X$ se'ls anomena punts.

Es pot prescindir de l'axioma 1, ja que es pot deduir dels altres 3:

$d(x,x)\leq d(x,y)+d(y,x)$	Per la desigualtat triangular
$0\leq d(x,y)+d(y,x)$	Per la identitat dels indiscernibles
$0\leq d(x,y)+d(x,y)=2d(x,y)$	Per la simetria
$0\leq d(x,y)$	Tenim la separabilitat

Exemples d'espais mètrics

Exemple 1. El conjunt dels nombres reals $\mathbb {R}$ amb la distància euclidiana $d(x,y)=|{x-y}|$.

Exemple 2. Com a conjunt, $\mathbb {R} ^{n}$amb la distància euclidiana $d(x,y)=+({\sum _{i=1}^{n}(x_{i}-y_{i})^{2}})^{\frac {1}{2}}$. 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 $X$ amb la distància $d(x,y)=\left\{{\begin{matrix}0&{\mbox{si }}x=y\\1&{\mbox{si }}x\neq y\end{matrix}}\right.\,$. 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, per tal d'evitar els valors $\infty \,$, permet una reescalació a una mètrica finita, definint, per exemple, $\delta (x,y)={\frac {d(x,y)}{1+d(x,y)}}\,$, els dos espais mètrics són equivalents des d'un punt de vista topològic.

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Espai mètric

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 $(X,d)$ un espai mètric, $p\in X$ un punt de $X$, i $r\in \mathbb {R} ^{+}$ un nombre real positiu. Es defineix la bola oberta de radi $r$ centrada en $p$,$B_{r}(p)$, com el conjunt:

$B_{r}(p):=\{x\in X\ |\ d(p,x)<r\}$.

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

Propietats de les boles obertes

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

Demostracions de les propietats

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

Entorns

Sigui $(X,d)$ un espai mètric i $p\in X$ un punt de $X$. Un subconjunt $E\subseteq X$ és un entorn de $p$ si existeix un $\epsilon \in \mathbb {R} ^{+}$ tal que $B_{\epsilon }(p)\subseteq E$. Menys formalment, un subconjunt $E\subseteq X$ és entorn d'un punt $p$ si és possible trobar un radi prou petit perquè existeixi una bola centrada en $p$ i continguda en $E$.

Oberts (i tancats)

Sigui $(X,d)$ un espai mètric i $U\subseteq X$ un subconjunt $X$. Diem que $U$ és un obert de $X$ si, per a tot $x\in U$ existeix $r\in \mathbb {R} ^{+}$ tal que $B_{r}(x)\subseteq U$. Alternativament, $U$ és un obert si és entorn de tots els seus punts. Un tancat és un conjunt tal que el seu complementari és obert.

Propietats dels oberts

1. $\emptyset ,X$ són oberts
2. Sigui $\{U_{i}\}_{i\in I}$ una família arbitrària d'oberts. Aleshores, $\bigcup _{i\in I}U_{i}$ és un obert.
3. Sigui $\{U_{i}\}_{i\in I}$ una famïlia finita d'oberts. Aleshores, $\bigcap _{i\in I}U_{i}$ és un obert.

Demostració de les propietats

1. Donat que $\emptyset$ 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 $X$, i per tant, $X$ és un obert.
2. $x\in {\displaystyle \bigcup _{i\in I}U_{i}}$ si i només si $\exists \alpha \in I$ tal que $x\in U_{\alpha }$. Aleshores, com que $U_{\alpha }$ és un obert, $\exists r\in \mathbb {R} ^{+}$ tal que $B_{r}(x)\subseteq U_{\alpha }$. $\bigcup _{i\in I}U_{i}$és un obert ja que $B_{r}(x)\subseteq U_{\alpha }\subseteq \bigcup _{i\in I}U_{i}$.
3. $x\in {\displaystyle \bigcup _{i\in I}U_{i}}$si i només si $x\in U_{i}$, $\forall i\in I$. Com que els $U_{i}$ són obert, per a cadascun d'ells, $\exists r_{i}\in \mathbb {R} ^{+}$ tal que $B_{r}(x)\subseteq U_{i}$. Prenent $r=min\{r_{i}\}_{i\in I}$, es té que $B_{r}(x)\subseteq B_{r_{i}}(x)\subseteq U_{i}$, $\forall i\in I$. Per tant, $B_{r}(x)\subseteq \bigcap _{i\in I}U_{i}$.

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 $\{(-{\frac {1}{n}},{\frac {1}{n}})\}_{n\in \mathbb {N} }$. Aleshores, la intersecció $\bigcap _{n\in \mathbb {N} }(-{\frac {1}{n}},{\frac {1}{n}})=\{0\}$ no és un obert.

Propietats dels tancats

Són fàcils de demostrar, ja que només cal fer el pas al complementari.

1. $\emptyset ,X$ són tancats.
2. Sigui $\{F_{i}\}_{i\in I}$ una família finita de tancats. Aleshores, $\bigcup _{i\in I}F_{i}$ és un tancat.
3. Sigui $\{F_{i}\}_{i\in I}$ una família arbitrària de tancats. Aleshores, $\bigcap _{i\in I}U_{i}$ é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 $X$ anomenat topologia, al qual se li demana complir les tres propietats anteriors, el que dotarà d'estructura el conjunt $X$. 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 $f:(X,d_{X})\longrightarrow (Y,d_{Y})$una aplicació entre espais mètrics. Diem que $f$ és contínua en $p\in X$ si,

$\forall \epsilon \in \mathbb {R} ^{+}\ \exists \delta \in \mathbb {R} ^{+}\mid f{\big (}B_{\delta }(p){\big )}\subseteq B_{\epsilon }{\big (}f(p){\big )}$.

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

Direm que una aplicació és contínua si ho és en tots els punts de $X$.

Algunes proposicions i teoremes amb aplicacions contínues

Proposició 1. Sigui $f:(X,d_{X})\longrightarrow (Y,d_{Y})$ una aplicació entre espais mètrics. Aleshores, $f$ és contínua en $p\in X$ si i només si l'antiimatge d'un entorn qualsevol $E$ de $f(p)$ és un entorn de $p$.

Demostració:

$\Rightarrow$) Suposem que $f$ és contínua en $p$. Com que $E$ és un entorn de $f(p)$, existeix un $\epsilon \in \mathbb {R} ^{+}$ tal que $B_{\epsilon }(p)\subseteq E$. Degut a la continuïtat de $f$ en $p$, hi ha un $\delta$ tal que:

$B_{\delta }(p)\subseteq f^{-1}{\biggl (}B_{\epsilon }{\big (}f(p){\big )}{\bigg )}\subseteq f^{-1}(E)$.

Per tant, $f^{-1}(E)$ és un entorn de $p$.

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

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

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 continues. Això mostra que la continuïtat és un concepte topològic i no mètric.