Metrization of soft metric spaces and its application to fixed point theory

Soft set theory has attracted many researchers from several different branches. Sound theoretical improvements are accompanied with successful applications to practical solutions of daily life problems. However, some of the attempts of generalizing crisp concepts into soft settings end up with completely equivalent structures. This paper deals with such a case. The paper mainly presents the metrizability of the soft topology induced by a soft metric. The soft topology induced by a soft metric is known to be homeomorphic to a classical topology. In this work, it is shown that this classical topology is metrizable. Moreover, the explicit construction of an ordinary metric that induces the classical topology is given. On the other hand, it is also shown that soft metrics are actually cone metrics. Cone metrics are already proven to be an unsuccessful attempt of generalizing metrics. These results clarify that most, if not all, properties of soft metric spaces could be directly imported from the related classical theory. The paper concludes with an application of the findings, i.e., a new soft fixed point theorem is stated and proven with the help of the obtained homemorphism.