Among the approaches to digital topology discussed in the first section,
only Khalimsky's (based on Khalimsky's space
) is purely
topological in that concepts used in digital topology, such as
``connected'' and ``boundary'', are given their topological meanings. It
is not difficult to show that the Khalimsky topology on
is (up to
homeomorphism) the only one such that the resulting space is a *COTS:*
a connected space such that among any three distinct points is one whose
deletion from the space leaves the others in distinct components of the
remainder (see [KKM91a]). Intervals in
are also COTS.

In this section we explain why any such purely topological approach must
be based on this space. Such an explanation, and much more, results from
the notion of metric analog, defined in [KK90] by Kong and
Khalimsky. Our definition uses the following terminology: As usual, given
spaces with base points
, a (*base point preserving*)
map
is a continuous function such that
. Given two such maps , a *homotopy*
from to is a continuous function such that, whenever and
,
, and
.

Given a quotient , and two maps
such that ,
a homotopy from to such that
is constant for
each is said to *ignore* . We say are -*quotient
homotopic* (via ) and write
.

- for any map there is a map
such that , and
- any two maps such that are -quotient homotopic.

Composition by the open quotient induces a bijection between the path components of and those of , and this composition induces isomorphisms between the homotopy groups of and those of ; that is to say, is a weak homotopy equivalence between and .

As a central case of the above, let be defined by setting, for and whenever ; this is clearly an open quotient. Also let , be base points such that . We show that , with , is a metric analog of :

To see the two special properties of the definition, note that if is a metric space with base point and then the function , defined by if is continuous; it certainly satisfies . For the other property, notice that if is another such map and , then are always in the same interval of the form or , thus is also in the same one of these intervals, which is to say that, for each , . is clearly continuous, so a homotopy from to ignoring .

The map also has the above properties, as seen coordinatewise, and similar considerations (see [KKM91b]) show that each Alexandroff space has a metric analog. The following summarizes key facts about the existence and uniqueness (up to homotopy equivalence) of metric analogs. (Below, let denote the identity map on .)

(b) ([KK90]) Suppose is a metric analog of a space . If is another metric analog of , then there are maps and such that and . Conversely, if is a metric space, is an open quotient, and there are maps so that and , then is metric analog of .

The converse part of (b)
is useful in creating other metric analogs from a given one.
In particular, it is used to show the existence, for each locally finite
space, of a *polyhedral analog*: one whose space is a geometric
realization of the abstract simplicial complex which has a vertex
identified with each point in the finite space, and whose simplices are
its specialization order chains, with the quotient map which takes each
point of this metric space into the specialization-largest vertex of the
smallest simplex whose geometric realization contains the point.
The proof in [KMW91] of a Jordan surface theorem for three-dimensional
digital spaces uses polyhedral analogs.

The definition of 4-adjacency in (6-adjacency in ) is easily extended to obtain -adjacency in , and that of 8-adjacency in (26-adjacency in ) is easily extended to get -adjacency in . In [Kon], the fact that is a metric analog of is used to establish the following result, which is the result we promised at the beginning of the section.