Abstract
We show that a discrete fixed point theorem of Eilenberg is equivalent to the restriction of the contraction principle to the class of non-Archimedean bounded metric spaces. We also give a simple extension of Eilenberg's theorem which yields the contraction principle.