In this paper, we obtain a characterization of linear spaces which may be normed so as to become complete, linear, normed metric spaces. In this connection, K. Kunugui and M. Fréchet have shown that every metric space S is isometric with a subset of a complete, linear, normed metric space. I t follows from our result that if the cardinal number of 5 is the limit of a denumerable sequence of car...

Kaneko et al.[4] etc many authors extended with multi-valued maps for the notion of compatible maps in complete metric space. Recently, O’Regan et al.[5] presented fixed point and homotopy results for compatible single-valued maps on complete metric spaces. In this paper, we will establish some common fixed point theorems using compatible maps in intuitionistic fuzzy metric space. : Common fixe...

in the present paper, we give a new approach to caristi's fixed pointtheorem on non-archimedean fuzzy metric spaces. for this we define anordinary metric $d$ using the non-archimedean fuzzy metric $m$ on a nonemptyset $x$ and we establish some relationship between $(x,d)$ and $(x,m,ast )$%. hence, we prove our result by considering the original caristi's fixedpoint theorem.

We construct the Urysohn metric space in constructive setting without choice principles. The Urysohn space is a complete separable metric space which contains an isometric copy of every separable metric space, and any isometric embedding into it from a finite subspace of a separable metric space extends to the whole domain.

Proving  fixed point theorem in a fuzzy metric space is not possible for  Meir-Keeler contractive mapping. For this, we introduce the notion of $c_0$-triangular fuzzy metric space. This new space allows us to prove some fixed point theorems for  Meir-Keeler contractive mapping. As some pattern we introduce the class of $alphaDelta$-Meir-Keeler contractive and we establish some results of fixed ...

We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Ru...

We generalize the construction of the formal ball model for metric spaces due to A. Edalat and R. Heckmann to obtain computational models for separated Q-categories. We fully describe (a) Yoneda complete and (b) continuous Yoneda complete Q-categories via their formal ball models. Our results yield solutions to two open problems in the theory of quasi-metric spaces: we show that (a) a quasi-met...