Distansa

Sia dà n'insieme $X$, na funsion $d:X\times X⟶ℝ$ se dixe distansa se ste qua łe xe tute vere:

1. $d(x,y)\ge 0\mathrm{\forall }x,y\in X$ e $d(x,y)=0⟺x=y$ ;
2. $d(x,y)=d(y,x)\mathrm{\forall }x,y\in X$;
3. $d(x,y)\le d(x,z)+d(z,y)\mathrm{\forall }x,y,z\in X$.

Se el "se e soło se" al primo ponto no xe vero eora $d$ se dixe pseudodistansa.

Eora $(X,d)$ se dixe spassio mètrico o spassio pseudomètrico (a seconda che $d$ ła sia na distansa o na pseudodistansa). Modeło:Interprojeto Modeło:Controło de autorità