On 2/19/2013 5:08 AM, Shmuel (Seymour J.) Metz wrote: > In <ut6dnU8pievPZYLMnZ2dnUVZ_rudnZ2d@giganews.com>, on 02/16/2013 > at 03:21 PM, fom <fomJUNK@nyms.net> said: > >> Ok. So, the trivial topology > >> d(x,x)=0 > >> d(x,y)=1,-(x=y) > > That's not a topology, it's a metric. The topology associated with > that metric is the discrete topology, and it's just as easy to define > the discrete topology without bothering with a metric. > Yes.
You are correct.
All that had been intended was to choose a metric representation that was easily related to the information processing domain.