Abstract and Applied Analysis
Volume 2018 (2018), Article ID 8084712, 8 pages
https://doi.org/10.1155/2018/8084712

Research Article

Best Proximity Point Theorems for Cyclic Relatively -Nonexpansive Mappings in Modular Spaces

Karim Chaira¹ and Samih Lazaiz²

¹Laboratory of Algebra Analysis and Applications, Department of Mathematics and Computer Sciences, Faculty of sciences Ben M’Sik, Hassan II University of Casablanca, BP 7955, Sidi Othman, Casablanca, Morocco
²Department of Mathematics, Faculty of Sciences, Dhar El Mahraz University, Sidi Mohamed Ben Abdellah, Fes, Morocco

Correspondence should be addressed to Samih Lazaiz; samih.lazaiz@gmail.com

Received 17 June 2018; Accepted 12 September 2018; Published 2 October 2018

Academic Editor: Jozef Banas

Copyright © 2018 Karim Chaira and Samih Lazaiz. 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.

In this paper we introduce the notion of proximal -normal structure of pair of -admissible sets in modular spaces. We prove some results of best proximity points in this setting without recourse to Zorn’s lemma. We provide some examples to support our conclusions.

1. Introduction

Fixed point theory is powerful tools in different fields such as differential equations, dynamical systems, optimal control, and many other scientific branches; it treats equations of type where is a map of a nonempty set to itself.

Let and a cyclic mapping on ; that is, and , ; in this case, does not necessarily possess a fixed point if, for instance, . One often attempts to find a point which is closest to in the sense that the “distance” between and is equal to the distance between and ; such a point is said to be a best proximity point.

The first result of this kind is due to Fan [1] which is stated in locally convex Hausdorff topological vector space. Afterward, many extensions and generalizations were given; see, for instance, [2–6].

On the other hand, Eldred et al. in [7], after generalizing the geometric concept of normal structure for a pair of subsets in Banach space introduced earlier by Brodski and Milman (see [8]), proved the existence of best proximity points for relatively nonexpansive mappings in Banach space. Recall that a map is called relatively nonexpansive if for all and . This class of mapping is much larger than nonexpansive, because, it does not guarantee the continuity of .

After that, Sankar and Veeramani in [9] without using Zorn’s lemma, proved the existence of a best proximity point by using convergence theorem. Also, Espinola in [10] showed that under a suitable condition on the pair the relatively nonexpansive assumption can be seen as nonexpansive one, which in fact guarantees the continuity of the map.

Recently, the best proximity points results was investigated by many authors and found extension and generalization for different class of mappings and spaces; for a recent account of the theory we refer the reader to [11–18]. In this paper, we extend the notion of proximal -normal structure for a pair of -admissible subsets which is a generalization of Khamsi and Kozlowski definition. Also, we give existence results of a best proximity point in the setting of proximal -admissible subsets in modular space. Our proofs do not invoke Zorn’s lemma.

2. Preliminaries

We start by recalling some basic facts of modular space. For more details the reader can consult [19].

Let be an arbitrary vector space.

Definition 1. A function is called a modular on if for arbitrary ,

(1) if and only if (2) for every scalar with (3) if and  If the following property is satisfied,(4) if and  we say that is a convex modular. A modular defines a corresponding modular space, i.e., the vector space given by

In general the modular is not subadditive and therefore does not behave as a norm or a distance.

Definition 2. Let be a modular space.

(1)We say that is -convergent to and write if and only if .(2)A sequence , where , is called -Cauchy if as .(3)We say that is -complete if and only if any -Cauchy sequence in is -convergent.(4)A set is called -closed if for any sequence of ; the convergence implies that belongs to .(5)A set is called -bounded if .(6)A set is -sequentially compact, if for any sequence of , there exists a convergent subsequence of such that in .(7)We will say satisfies Fatou property if

We shall say that a pair of sets in a modular space satisfies a property if each of the sets and has that property. Thus is said to be -closed if both and are -closed, , is not reduced to one point which means that and are not singletons, etc. We shall also introduce the following notation:

The following definitions are extensions of Definition 5.7 in [19] and are more adapted for a pair of subsets .

Definition 3. Let be a -bounded pair.
We will say that is proximal -admissible pair of if

where , , is an arbitrary index set, and the standard -closed ball of . The family of all proximal -admissible pair of will be denoted by .

If we write

Remark 4. Note that and is the smallest -admissible pair of which contains . Indeed, let such that ; then and for each and we have . Hence, since , which implies that

In the same manner, we obtain .

Definition 5. Let be a -bounded pair.

(1) is said to satisfy the property -proximal, if for any sequence

 which are nonempty and decreasing, has a nonempty intersection.(2) is said to be proximal -normal, if for each proximal -admissible pair not reduced to one point of for which and there exists such that

(3)We say that the pair is proximal -sequentially compactness provided that every sequence of satisfying the condition that has a convergent subsequence in .

Remark 6. Notice that the is proximal -normal (resp., has the -proximal property) if and only if is -normal (resp., has the -property) in the sense of Khamsi-Kozlowski (see [19, Definition 5.7]).

Definition 7. A map will be said cyclic relatively -nonexpansive on if

(1) and (2) for ,

We conclude this section by a modular version of Kirk’s fixed point theorem [20] which follows as a corollary from our former result Theorem 10 (see Corollary 11 below).

Theorem 8 (see [19, Theorem 5.9]). Let be a -bounded and -closed nonempty subset of which satisfies -property. Assume that is -normal. If is -nonexpansive, then has a fixed point.

3. Best Proximity Results with -Normal Structure

In what follows, we investigate the validity of technical lemma due to Gillespie and Williams [21] for a pair of -admissible subsets in modular space. This result can be considered as the main ingredient and will play an important role in this article.

Lemma 9. Let be a -bounded pair of . Let be a cyclic relatively -nonexpansive mapping. Assume that is proximal -normal. Let be a nonempty and -cyclic pair; i.e., and with not reduced to one point. Then, there exists a nonempty -cyclic pair such that and

Proof. Set . If one can choose . We assume that . Since is proximal -normal, we have

and hence . Thus, there exists such that

Let

then since .
Let denote the set of all nonempty pairs of which are subsets of such that is cyclic on and with for all . Obviously, is nonempty since . Defining by

it is clear that since and is cyclic on , is proximal -admissible for each so it is , and it is easy to check that ; thus .
Let and ; it is claimed that

Indeed, , and the pair is proximal -admissible; then

since is the smallest -admissible pair which contains . Also,

which implies

Note that since is relatively -nonexpansive mapping. And, since we get

and hence ; that is,

Define

We claim that is the desired pair. Since the pair is nonempty; also .
Note that for each and we have

Next, we show that is cyclic on to complete the proof. Let ; then,

since is relatively -nonexpansive. Thus, .
Recall that ; then if we have for all

and since , we get ; then . It is clear that ; that is,

and hence , which implies

this deduces that ; that is, . Similarly, we can see that . Since we get

Theorem 10. Let be a nonempty -bounded and -closed pair in a modular space . Moreover, assume that has the proximal -normal structure and the property -proximal.
If is cyclic relatively -nonexpansive on , then there exists such that

Proof. Let denote the set of all nonempty pairs of which are subsets of such that is cyclic on and , where .
is nonempty since . Define by

Set ; by definition of , there exists such that , , and

and suppose that are constructed for . Again, by definition of , there exists such that

and . Since has the property -proximal, where

note that ; in the same manner . Also, since for all . Also, we have

and then .
If , then for each we get

Assume that .
First Case. If one of the pair is reduced to one point, say, for example, , since is cyclic relatively -nonexpansive on we get for all

which implies that

for ; note that for each .
Second Case. The pair is not reduced to one point; by Lemma 9, there exists

which implies

for any . If we let , we get . By (35) we get

and this is in contradiction with the assumption that is proximal -normal. This completes the proof.

If we set , we get Theorem 8.

Corollary 11. Let be a -bounded and -closed nonempty subset of . Assume that is -normal and satisfies the property -proximal. If is -nonexpansive, then has a fixed point.

We conclude by the following example.

Example 12. Let the real space , and define the modular functional by

Suppose that is the canonical basis of and let

Then, is -bounded, -closed in , and not convex. Note that (resp., ) is not -sequentially compact, because the sequence (resp., ) does not have any -convergent subsequence in (resp., in ).
We have ; also, for all and , , which implies that .
satisfies the property -proximal; indeed, let be a sequence of which are nonempty and decreasing.

(1)If, for each , , so, for all , , because , and since for each , we have . Hence, .(2)If, for each , , so , since for all . Hence .(3)If there exists such that

 we have , and hence .

Analogously, we obtain that replacing and by and , respectively.
has the proximal -normal structure. Indeed, let be a proximal -admissible pair of not reduced to one point for which and ; then and . So, there exist such that

Therefore, and ; then we get

Let be a mapping defined by

is cyclic and for each and

and for each

Then, is cyclic relatively -nonexpansive on . Therefore, all assumptions of Theorem 10 are satisfied, so has a best proximity point; in particular

4. Best Proximity for Proximal -Sequentially Compact Pair

In this section, we use to denote the proximal pair obtained from upon setting

Lemma 13. Let be a nonempty -bounded and proximal -sequentially compactness pair in a modular space for which satisfies Fatou property. Then is a nonempty -sequentially compact pair of such that .

Proof. It is clear that Let and be two sequences in and , respectively, such that

Since is a proximal -compactness pair, there exist subsequences and of and , respectively, such that and as . Since has Fatou property

This implies that is nonempty, since . Similarly, we can see that is nonempty. The -sequentially compact of is vacuous since for each sequence of has a convergent subsequence for which this limit is in because is -closed in . Indeed, let such that ; then there exists a sequence in such that

and the proximal -compactness of implies the existence of subsequences and of and , respectively, such that and . Since has Fatou property,

Then ; the uniqueness of the limit implies that . Hence is -sequentially compact pair.

Theorem 14. Let be a nonempty -bounded and proximal -sequentially compactness pair in a modular space for which has the Fatou property. Moreover, assume that has the proximal -normal structure.
If is cyclic relatively -nonexpansive on , then there exists such that

Proof. Let ; then there exists such that

That is, . Hence , similarly, and is cyclic relatively -nonexpansive on .
Let denote the set of all nonempty -closed pairs of which are subsets of such that is cyclic on and for some , where . Thus, is nonempty since .
Define by

Set ; by definition of , there exists such that , , and

Suppose that are constructed for . Again, by definition of , there exists such that

and . Since is -sequentially compact, , where

Indeed, one can choose two sequences and such that for each and

Using the proximal -compactness of , there exists of and of such that and ; let and define two subsets of and as follows:

Hence and . Thus, and . Also, satisfies Fatou property and we get

Note that

In the same manner . Hence, since for all , which implies .
In this step, we can use the same argument as Theorem 14 to prove that

Hence we get for each

which completes the proof.

Corollary 15. Let be a -bounded and -sequentially compact nonempty subset of which satisfies Fatou property. Assume that is -normal. If is -nonexpansive, then has a fixed point.

We conclude by the following example.

Example 16. Let the real space and define the modular functional by

Suppose that is the canonical basis of and let

Then, is -bounded and not convex. Let in ; we have , also for each , , which implies that .
Also, for all and such that there exists such that

for each , so and are -convergent sequences and the pair is proximal -sequentially compactness. However, is not -sequentially compact since the sequence does not have any -convergent subsequence in .
has the proximal -normal structure. Indeed, let be a proximal -admissible pair of not reduced to one point for which ; then and . Also, , so there exits such that and or .
If we obtain and

and hence
If , then, and Hence, we have

Let be a mapping defined by

So, for each and , we get , and, for each and , we obtain,
Then, is cyclic relatively -nonexpansive on . Therefore, all assumptions of Theorem 14 are satisfied, so has a best proximity point; in particular

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

K. Fan, “Extensions of two fixed point theorems of F. E. Browder,” Mathematische Zeitschrift, vol. 112, pp. 234–240, 1969.

J. B. Prolla, “Fixed-point theorems for set-valued mappings and existence of best approximants,” Numerical Functional Analysis and Optimization, vol. 5, no. 4, pp. 449–455, 1983.

S. Reich, “Approximate selections, best approximations, fixed points, and invariant sets,” Journal of Mathematical Analysis and Applications, vol. 62, no. 1, pp. 104–113, 1978.

V. M. Sehgal and S. P. Singh, “A generalization to multifunctions of Fan's best approximation theorem,” Proceedings of the American Mathematical Society, vol. 102, no. 3, pp. 534–537, 1988.

V. M. Sehgal and S. P. Singh, “A theorem on best approximations,” Numerical Functional Analysis and Optimization, vol. 10, no. 1-2, pp. 181–184, 1989.

V. Vetrivel, P. Veeramani, and P. Bhattacharyya, “Some extensions of Fan's best approximation theorem,” Numerical Functional Analysis and Optimization, vol. 13, no. 3-4, pp. 397–402, 1992.

A. A. Eldred, W. A. Kirk, and P. Veeramani, “Proximal normal structure and relatively nonexpansive mappings,” Studia Mathematica, vol. 171, no. 3, pp. 283–293, 2005.

M. S. Brodskii and D. P. Milman, on The Center of A Convex Set, Doklady Akademii Nauk, Vol. 59, PP. 837–840, 1948.

V. Sankar Raj and P. Veeramani, “Best proximity pair theorems for relatively nonexpansive mappings,” Applied General Topology, vol. 10, no. 1, pp. 21–28, 2009.

R. Espnola, “A new approach to relatively nonexpansive mappings,” Proceedings of the American Mathematical Society, vol. 136, no. 6, pp. 1987–1995, 2008.

A. A. Eldred and P. Veeramani, “Existence and convergence of best proximity points,” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1001–1006, 2006.

K. Chaira and S. Lazaiz, “Best proximity pair and fixed point results for noncyclic mappings in modular spaces,” Arab Journal of Mathematical Sciences, vol. 24, no. 2, pp. 147–165, 2018.

R. Espinola and A. Fernández-León, “On best proximity points in metric and Banach spaces,” Canadian Journal of Mathematics. Journal Canadien de Mathematiques, vol. 63, no. 3, pp. 533–550, 2011.

M. Gabeleh, “On cyclic relatively nonexpansive mappings in generalized semimetric spaces,” Applied General Topology, vol. 16, no. 2, pp. 99–108, 2015.

M. Gabeleh and N. Shahzad, “Some new results on cyclic relatively nonexpansive mappings in convex metric spaces,” Journal of Inequalities and Applications, 2014:350, 14 pages, 2014.

M. Gabeleh, “Semi-normal structure and best proximity pair results in convex metric spaces,” Banach Journal of Mathematical Analysis, vol. 8, no. 2, pp. 214–228, 2014.

M. Gabeleh, “Minimal sets of noncyclic relatively nonexpansive mappings in convex metric spaces,” Fixed Point Theory. An International Journal on Fixed Point Theory, Computation and Applications, vol. 16, no. 2, pp. 313–322, 2015.

W. A. Kirk, S. Reich, and P. Veeramani, “Proximinal retracts and best proximity pair theorems,” Numerical Functional Analysis and Optimization, vol. 24, no. 7-8, pp. 851–862, 2003.

M. A. Khamsi and W. M. Kozlowski, “Fixed point theory in modular function spaces,” Fixed Point Theory in Modular Function Spaces, pp. 1–245, 2015.

W. A. Kirk, “Nonexpansive mappings in metric and Banach spaces,” Rendiconti del Seminario Matematico e Fisico di Milano, vol. 51, pp. 133–144 (1983), 1981.

A. A. Gillespie and B. B. Williams, “Fixed point theorem for nonexpansive mappings on Banach spaces with uniformly normal structure,” Applicable Analysis: An International Journal, vol. 9, no. 2, pp. 121–124, 1979.