MATEMATICAS.NET

Semimétricas (o seudométricas)

Anuncios

Hemos visto en la entrada anterior la definición de métrica sobre un conjunto . Vimos que se trataba de una función real definida en con la propiedad de ser no negativa, de verificar la simetría para cada par de , de cumplir la desigualdad triangular para y de anularse exclusivamente en el caso de que el par verifique . También vimos que existe otra manera de definirla con menos condiciones, pero una de esas nuevas condiciones era precisamente la anulación de la función sólo en el caso de que los dos componentes del par sean iguales. Cuando esta condición se “relaja” obtenemos lo que se denomina una semimétrica. Es decir, es una semimétrica sobre si es una aplicación

que verifica

(i) si , entonces .

(ii)  para todos , .

Es fácil comprobar siguiendo los desarrollos de la entrada anterior que estas dos condiciones dan lugar a la definición usual de semimétrica. El lector debe darse cuenta que en este caso la ecuación

no implica .

 

Anuncios