Monad Metrizable Space

Abstract

Do the topologies of each dimension have to be same and metrizable for metricization of any space? I show that this is not necessary with monad metrizable spaces. For example, a monad metrizable space may have got any indiscrete topologies, discrete topologies, different metric spaces, or any topological spaces in each different dimension. I compute the distance in real space between such topologies. First, the passing points between different topologies is defined and then a monad metric is defined. Then I provide definitions and some properties about monad metrizable spaces and PAS metric spaces. I show that any PAS metric space is also a monad metrizable space. Moreover, some properties and some examples about them are presented.