@mcc in Hilbert Spaces (vector spaces with an inner product) that’s the definition of the norm. And then from there you define the metric.
undefined
javier :vericol:
@javier@col.social
Piero Bosio Social Web Site Personale 
Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone
undefined