Journal of Mathematics
Volume 2018 (2018), Article ID 7856594, 5 pages
https://doi.org/10.1155/2018/7856594

Research Article

Subordinate Semimetric Spaces and Fixed Point Theorems

José Villa-Morales

Universidad Autónoma de Aguascalientes, Departamento de Matemáticas y Física, Av. Universidad No. 940, CP 20131, Cd. Universitaria, Ags, Mexico

Correspondence should be addressed to José Villa-Morales; jvilla@correo.uaa.mx

Received 12 March 2018; Accepted 10 May 2018; Published 10 June 2018

Academic Editor: Nan-Jing Huang

Copyright © 2018 José Villa-Morales. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We introduce the concept of subordinate semimetric space. Such notion includes the concept of RS-space introduced by Roldán and Shahzad; therefore the concepts of Branciari’s generalized metric space and Jleli and Samet’s generalized metric space are particular cases. For such spaces we prove a version of Matkowski’s fixed point theorem, and introducing the concept of -contraction we get a fixed point theorem of Kannan-Ćirić type. Moreover, using such result we characterize complete subordinate semimetric spaces.

1. Introduction

Fixed point theory has an enormous number of applications in ordinary (or partial) differential equations, game theory, functional analysis, calculus of several variables (the classical implicit function theorem), etc. This is one of the reasons why we always try to have a fixed point result in a general context, since it could be applied more broadly.

Generalizations of the concept of metric space are currently one of the most active branches of functional analysis (see [1–4] or [5], where the notion of quasimetric space is studied). In fact, in Table 1 we present a nonexhaustive review of some generalizations.

Table 1

Year
Author
Concept

1931
W.A Wilson [7]
quasi-metric space

1959
H. Nakano [8]
modular space

1993
S. Czerwik [9]
-metric space

2000
P. Hitzler, A. K. Seda [10]
dislocated metric space

2000
A. Branciari [11]
generalized metric space

2015
M. Jleli, B. Samet [1]
generalized metric space

2016
A. Roldán, N. Shahzad [2]
RS-space

Our work is related to the notion of generalized metric space introduced by Jleli and Samet [1]. Such concept was immediately generalized by Roldán and Shahzad [2] as follows.

Definition 1. An RS-space is a pair where is a nonempty set and is a function such that the following properties are fulfilled:

(i)if then ,(ii) for every ,(iii)there exists such that if are two points and is an infinite sequence with and then

The notions of modular space, quasimetric space, dislocated metric space, and generalized metric space (in the Branciari sense) are particular cases of the notion of RS-space (see [1] or [2]). In this paper we introduce the notion of subordinate semimetric space; such concept is a generalization of the notion of RS-space. On the other hand, we give in Example 5 a pair which is a subordinate semimetric space that is not an RS-space. In the context of subordinate semimetric spaces we prove a version of Matkowski’s fixed point theorem and introducing the notion of -contraction we obtain a version of the fixed point theorem of Kannan-Ćirić. Moreover, we prove that if in a subordinate semimetric space every -contraction has a fixed point then this must be complete.

2. Subordinate Metric Spaces

We start with a generalization of the common notion of semimetric space (see [6]).

Definition 2. A semimetric space is a pair where is a nonempty set and is a function that satisfies the following:

(i)for every , we have

(ii)for every , we have

Some important concepts can be introduced with this general notion.

Definition 3. Let be a semimetric space.

(i)A sequence in converges to if

(ii)A sequence in is a Cauchy sequence if

(iii) is complete if every Cauchy sequence in is convergent.

In order to get a rich mathematical structure we introduce a substitute of triangle inequality (for a metric).

Definition 4. We say that a semimetric space is subordinate if there is a function such that

(i) is nondecreasing; ,(ii)for every , with , and being an infinity Cauchy sequence in such that converges to we have

In this case we say that is subordinate to or that is a subordinate semimetric space.

It is clear that every RS-space is a subordinate semimetric space (just take ), and we give an example of a subordinate semimetric space that is not an RS-space.

Example 5. Let and define as

Since

the sequence is an infinite Cauchy sequence that converges to Suppose that there is a constant such that

then , for all . In this way is not an RS-space. However, the semimetric space is subordinate, for example, to the function .

With the subordination concept we will see that we are able to prove some important fixed point theorems. Then a natural question arises:

 What conditions implies that a semimetric space is subordinate?

The answer will give us fixed point theorems in a more general scheme.

3. Fixed Point Theorems

We now introduce a type of Kannan-Ćirić contraction condition.

Definition 6. Let be a semimetric space. A mapping is said to be a -contraction, with , if

holds for every .

Let be a function. For each we define recursively as and , for each . With the above notation we have a version of the Kannan-Ćirić’s fixed point theorem.

Theorem 7. Let be a -contraction on a complete semimetric space .
If there is an such that

then converge to some .
Suppose that is subordinate to and

If then is the unique fixed point of

Proof. Let us set , for each . The -contraction property of implies

The hypothesis yields .
Now let us see that is a Cauchy sequence. Let , then there is such that

Therefore, if , then

Then there is such that .
Let us see that is a fixed point for . If the set is finite, the Cauchy property of implies that there exists such that , for all , then . On the other hand, if is an infinite set then there is an infinite Cauchy subsequence of such that . If , then there is such that

and in this way

If , then ; therefore or , but this is not possible, because Thus is a fixed point. If is other fixed point, then

From this the uniqueness of follows.

Now let us give an example where condition (12) is necessary to obtain a fixed point.

Example 8. Let be defined as , with . Given there is such that . Let us consider the set with the semimetric

Since the sequence is an infinite Cauchy sequence that converge to (this follows from ) we have

Therefore, the semimetric space is subordinate to . The function , defined as

does not have fixed points. On the other hand, for ,

this implies

and, for ,

Therefore, is a -contraction on the complete semimetric space subordinated to without fixed point.

Right away we will try a version of Matkowski’s theorem in the context of subordinate semimetric spaces.

Theorem 9. Let be a complete semimetric space subordinated to and . Suppose that there exists a nondecreasing function such that , for all , and

If there is an such that

then converges to some . Moreover, is the unique fixed point of .

Proof. Let us take . Suppose , then

The hypothesis implies that is a Cauchy sequence, then there is such that . Suppose that for some , then , and this yields

Hence all the terms in the Cauchy sequence are different. Moreover

Thus is a fixed point of . If is other fixed point, then

From this the uniqueness of follows.

It is clear that a semimetric space for which , for each , does not have fixed points, then (26) is a necessary condition in order to have a function and a fixed point.

Proposition 10. Let be a semimetric space subordinated to . Let be a Cauchy sequence in with whenever . If there is a subsequence of such that , then converge to .

Proof. Let , then there is such that , for each . On the other hand, there exists for which

Therefore,

Since is nondecreasing

Hence

With the next result we characterize when a subordinate semimetric space is complete; the corresponding result for metric spaces is due to Subrahmanyam [12].

Theorem 11. Let be a semimetric space subordinated to . Let ; if every -contraction has a fixed point then is complete.

Proof. Let us suppose that is not complete, then there is a nonconvergent Cauchy sequence . The Cauchy property implies that we can take, if necessary, a subsequence with all the elements different, so we suppose that are distinct (see the second part in the proof of Theorem 7). Let us define the sets , for each . If then Proposition 10 implies . The Cauchy property of implies that the sets ,  for all , are not empty. Let us define , then

For each there is such that ; thus is well defined. The function , defined as , does not have fixed points. Indeed, by definition and , since . Moreover, for , we assume, without loss of generality, that , then and (34) implies

Thus is a -contraction without fixed points; this contradicts the hypothesis.

Data Availability

No data were used to support this study.

Conflicts of Interest

The author declares that he has no conflicts of interest.

Acknowledgments

The author was partially supported by Centro de Ciencias Básicas and the Grant PIM18-2 of Universidad Autónoma de Aguascalientes.

References

M. Jleli and B. Samet, “A generalized metric space and related fixed point theorems,” Fixed Point Theory and Applications, vol. 61, 14 pages, 2015.

A. Roldán and N. Shahzad, “Fixed point theorems by combining Jleli and Samet's, and Branciari's inequalities,” Journal of Nonlinear Sciences and Applications. JNSA, vol. 9, no. 6, pp. 3822–3849, 2016.

T. Suzuki, B. Alamri, and M. Kikkawa, “Only 3-generalized metric spaces have a compatible symmetric topology,” Open Mathematics, vol. 13, pp. 510–517, 2015.

J. Villa-Morales, “A fixed point theorem and some properties of -generalized metric spaces,” Journal of Fixed Point Theory and Applications, vol. 20, no. 1, 9 pages, 2018.

S. Cobzas, Functional Analysis in Asymmetric Normed Spaces, Birkhauser, Basel, Switzerland, 2013.

W. A. Kirk and N. Shahzad, Fixed Point Theory in Distance Spaces, Springer, Berlin, Germany, 2014.

W. A. Wilson, “On quasi-metric spaces,” American Journal of Mathematics, vol. 53, no. 3, pp. 675–684, 1931.

H. Nakano, Modular Semi-Ordered Spaces, Maruzen, Tokyo, 1959.

S. Czerwik, “Contraction mappings in -metric spaces,” Communications in Mathematics, vol. 1, pp. 5–11, 1993.

P. Hitzler and A. K. Seda, “Dislocated topologies,” Journal of Electrical Engineering, vol. 51, no. 12, pp. 3–7, 2000.

A. Branciari, “A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces,” Publicationes Mathematicae, vol. 57, no. 1-2, pp. 31–37, 2000.

P. V. Subrahmanyam, “Completeness and fixed-points,” Monatshefte für Mathematik, vol. 80, no. 4, pp. 325–330, 1975.