Spațiu metric

Format:Note de subsol În matematică, prin spațiu metric se înțelege orice mulțime X pe care este definită o funcție $d:X\times X\to [0,\mathrm{\infty })$ ce satisface proprietățile:

• $d(x,y)=0$ dacă și numai dacă $x=y$ (d este pozitiv definită)
• $d(x,y)=d(y,x),\mathrm{\forall }x,y\in X$ (d este simetrică)
• $d(x,z)\le d(x,y)+d(y,z),\mathrm{\forall }x,y,z\in X$ (inegalitatea triunghiului)

Orice funcție d cu proprietățile de mai sus se numește funcție distanță sau metrică.

Exemple importante

• mulțimile numerelor naturale, întregi, raționale, reale, complexe, împreună cu funcția distanță definită ca $d(x,y)=|x-y|$
• orice spațiu vectorial normat, cu distanța indusă de normă: $d(x,y)=\Vert x-y\Vert$
  • în particular, spațiul ${ℝ}^n$ cu distanța euclidiană $d(x,y)=\sqrt{(x_1-y_1{)}^2+(x_2-y_2{)}^2+\dots +(x_n-y_n{)}^2}$,

unde $x=(x_1,x_2,\dots ,x_n)$.

Bile

Prin bila deschisă de centru $x\in X$ și de rază $r\in (0,\mathrm{\infty })$, notată $B(x,r)$, se înțelege mulțimea punctelor a căror distanță până la x este strict mai mică decât r: $B(x,r)=\{y\in X|d(x,y)<r\}$. Bila închisă de centru x și rază r, notată $\tilde{B}(x,r)$ sau, uneori, $\bar{B}(x,r)$, este $\tilde{B}(x,r)=\{y\in X|d(x,y)\le r\}$.

De notat că, în raport cu topologia indusă de metrică (vezi secțiunea următoare), orice bilă deschisă este o mulțime deschisă și orice bilă închisă este o mulțime închisă. În orice spațiu metric are loc $\tilde{B}(x,r)\subseteq \bar{B}(x,r)$, unde $\bar{M}$ desemnează închiderea topologică a mulțimii M. În spațiile normate finit-dimensionale, de exemplu în $ℝ$, ${ℝ}^n$, $ℂ$ și ${ℂ}^n$, are loc egalitatea $\tilde{B}(x,r)=\bar{B}(x,r)$.

Topologia indusă de metrică

Orice metrică induce o topologie pe mulțimea de puncte. Astfel, orice spațiu metric este și spațiu topologic. Topologia indusă de metrică este definită astfel (oricare din cele două variante sunt echivalente):

• O submulțime $A\subseteq X$ a spațiului este deschisă dacă pentru orice punct al ei există o bilă centrată în acel punct și de rază nenulă inclusă în A ($\mathrm{\forall }x\in A,\mathrm{\exists }r>0:B(x,r)\subseteq A$)
• O submulțime $V\subseteq X$ este vecinătate a punctului $x\in X$ dacă V include cel puțin o bilă de rază nenulă centrată în x:$\mathrm{\exists }r>0:B(x,r)\subseteq V$

Echivalența metricilor

Pe o aceeași mulțime se pot defini mai multe funcții distanță, rezultând structuri de spațiu metric distincte pe aceeași mulțime de bază. Două funcții distanță, $d_1$ și $d_2$ definite pe aceeași mulțime $X$ se numesc:

• echivalente topologic dacă induc aceeași topologie pe $X$, adică dacă orice vecinătate în raport cu $d_1$ este vecinătate și în raport cu $d_2$
• echivalente Lipschitz dacă există două constante reale pozitive $a,b\in (0,\mathrm{\infty })$ astfel încât $\mathrm{\forall }x,y\in X,a\cdot d_1(x,y)\le d_2(x,y)\le b\cdot d_1(x,y)$

Două metrici Lipschitz-echivalente sunt întotdeauna echivalente topologic; reciproca nu este însă adevărată totdeauna.

Spații metrice complete

Un spațiu metric se numește complet dacă orice șir Cauchy este convergent.

De exemplu, mulțimea numerelor raționale nu este spațiu metric complet deoarece șirul $x_n={(1+\frac{1}{n})}^n$ este fundamental fără a fi convergent (același șir, în mulțimea numerelor reale este convergent și are ca limită numărul e. În schimb, mulțimea numerelor reale este spațiu metric complet.

Alte exemple

1. Fie $(G,+)$ un grup comutativ și $p:G\to {ℝ}_{+}$ o funcție ce satisface proprietățile:

1. $p(x)=0\iff x=0;$
2. $p(-x)=p(x),\mathrm{\forall }x\in G;$
3. $p(x+y)\le p(x)+p(y),\mathrm{\forall }x,y\in G.$

Atunci aplicația $d:G\times G\to ℝ,d(x,y)=p(x-y),\mathrm{\forall }x,y\in G$ este o metrică pe G.

2. Următoarele aplicații sunt distanțe pe $\mathbb{N}:$

1. $d:\mathbb{N}\times \mathbb{N}\to {ℝ}_{+},d(m,n)=|m-n|,\mathrm{\forall }m,n\in \mathbb{N}.$
2. $d:{\mathbb{N}}^{*}\times {\mathbb{N}}^{*}\to {ℝ}_{+},d(m,n)=|\frac{1}{m}-\frac{1}{n}|,\mathrm{\forall }m,n\in {\mathbb{N}}^{*}.$
3. $d:\mathbb{N}\times \mathbb{N}\to {ℝ}_{+},d(m,n)=|\frac{m}{1+m}-\frac{n}{1+n}|,\mathrm{\forall }m,n\in \mathbb{N}.$