"Hans F. Zschintzsch" wrote:
> So there is at least one metric a little bit more interesting
> than just |f,g|=0 if f=g and |f,g|=1 otherwise.
Alas, it only appears to be more interesting. On a discrete space all metrics
are equivalent. (More technically, the various metric spaces are all
diffeomorphic.)
--
ray
-- je suis marxiste, tendance groucho