One of the main problems in the theory of fuzzy topological spaces is to obtain an appropriate and consistent notion of fuzzy metric space. Many authors have investigated this question and several different notions of a fuzzy metric space have been defined and studied. In [A. George
and the reviewer, ibid. 64, No. 3, 395-399 (1994; Zbl 0843.54014
)] by modifying the concept of metric fuzziness introduced by I. Kramosil
and J. Michalek
[Kybernetika, Praha 11, 336-344 (1975; Zbl 0319.54002
)] an interesting notion of fuzzy metric space has been studied. In [J. Fuzzy Math. 3, No. 4, 933-940 (1995; Zbl 0870.54007
)] A. George
and the reviewer, have proved that every such metric space is metrizable. In this paper the authors give a more natural proof for this result. In addition to this result the authors prove some interesting results like: every separable fuzzy metric space admits a compatible precompact fuzzy metric and, a fuzzy metric space is compact if ond only if it is precompact and totally bounded. In particular, the celebrated Niemytzki-Tychonoff theorem is generalized to the fuzzy setting.