Pseudometriek

Een pseudometriek is in de wiskunde, meer bepaald in het deelgebied de topologie, een iets algemener begrip dan een metriek. Het is 'bijna' een metriek in de zin dat een pseudometriek toestaat dat elementen een "(pseudo)afstand" 0 hebben en toch verschillend zijn, iets wat bij een (echte) metriek is uitgesloten.

Definitie

Een pseudometriek op een verzameling $V$ is een afbeelding $d:V\times V\rightarrow \mathbb {R}$ die aan de volgende voorwaarden voldoet:

voor willekeurige $x,y,z\in V$ geldt:

$d(x,y)\geq 0$ (niet-negativiteit).
$d(x,x)=0$ .
$d(x,y)=d(y,x)$ (symmetrie).
$d(x,z)\leq d(x,y)+d(y,z)$ (de driehoeksongelijkheid).

Het paar $(V,d)$ noemt men wel een pseudometrische ruimte.

Het verband tussen pseudometriek en metriek

Een pseudometriek is een metriek als verschillende punten geen onderlinge afstand 0 hebben:

d\ {\text{pseudometriek}}\land \{\forall x,y\in V:d(x,y)=0\implies x=y\}\implies d\ {\text{metriek}}

Opmerking: Voor een metriek geldt altijd dat twee verschillende punten een onderlinge afstand hebben die groter dan nul is.

Verband met topologie

Noem een deelverzameling $D$ van $V$ open als voor elk element $x\in D\,$ de punten die voldoende dicht bij $x$ liggen, ook tot $D$ behoren. In formule:

D\subset V\ {\text{heet open, als}}\ \{\forall x\in D\ \exists \epsilon >0\ \forall y\in V:\ d(x,y)<\epsilon \implies y\in D\}

De collectie van alle open verzamelingen van $V$ vormt een topologie op $V$ . Lang niet alle topologische ruimten zijn afkomstig van pseudometrieken.

Als $d$ een metriek is, dan voldoet deze topologische ruimte aan het scheidingsaxioma $T_{4}$ . Als $d$ een "echte" pseudometriek is (dat wil zeggen geen metriek), dan voldoet deze topologische ruimte niet eens aan het zwakste scheidingsaxioma $T_{0}$ .

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.