Journal of Function Spaces

Volume 2017 (2017), Article ID 7347130, 4 pages

https://doi.org/10.1155/2017/7347130

## Best -Simultaneous Approximation in

Department of Mathematics, Faculty of Sciences, University of Alicante, 03080 Alicante, Spain

Correspondence should be addressed to Tijani Pakhrou

Received 6 April 2017; Accepted 21 May 2017; Published 12 July 2017

Academic Editor: Yoshihiro Sawano

Copyright © 2017 Tijani Pakhrou. 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

Let be a Banach space. Let and denote by the Banach space of all -valued Bochner -integrable functions on a certain positive complete -finite measure space , endowed with the usual -norm. In this paper, the theory of lifting is used to prove that, for any weakly compact subset of , the set is -simultaneously proximinal in for any arbitrary monotonous norm in .

*Dedicated to Hirak Chaabi Rifeño*

#### 1. Introduction

Throughout this paper, is a real Banach space and is the closed unit ball of , the dual of , with -topology. Let be a positive complete -finite measure space; is a lifting and is the associated lifting topology (a base for this topology is is a null set; see [1, p. 59]). For an and , will also be denoted by .

Let . We denote by the Banach space of all Bochner -integrable functions on with values in endowed with the usual norm for every (see [2]).

Let be a positive integer. We say that a norm in is monotonous if, for every , such that for ; we have

Let be a subset of ; we say that is a best –*simultaneous approximation from ** of the vectors * if for every . If every -tuple of vectors admits a best –simultaneous approximation from , then is said to be *–simultaneously proximinal in *. Of course, for , the preceding concepts are just best approximation and proximinality.

The problem of the best -simultaneous approximation in has been deeply and extensively studied; see, for example, [3–11]. When is a reflexive subspace of , it was proved in [3] that is –simultaneously proximinal in , where is the Lebesgue measure on . We have also obtained similar results, in the Banach space of -valued Bochner -integrable functions defined on , where is the restriction of to a certain sub--algebra of and is a reflexive space (see [8]).

Our purpose is to study the -simultaneous proximinality of the set defined by for certain subsets of .

#### 2. Preliminaries

In this section we wish to include some facts which are fundamental in our study.

*Definition 1. *Let be vectors in ; one says that a sequence in is -*simultaneously approximating to * in , if

Lemma 2 ([8, Lemma ]). *Let be vectors in , and let be a -simultaneously approximating sequence to in . Assume that is weakly convergent to . Then is a best -simultaneous approximation from of .*

The next result gives a property of -simultaneously approximating sequences* in the space *. The following lemma is taken from [8, Lemma ], which was proved for the case when and .

Lemma 3 ([8, Lemma ]). *Let be a subset of . Let be functions in , and let be an -simultaneously approximating sequence to in . If is a sequence of -measurable sets such that , then is also an -simultaneously approximating sequence to in .*

We also need a result which is probably the best known “subsequence splitting lemma” in integrable function spaces.

Lemma 4 (Kadec-Pełczyński-Rosenthal, Lemma in [12]). *If is a bounded sequence in , then there exists a subsequence of and a sequence of pairwise disjoint measurable sets such that is uniformly integrable.*

#### 3. Main Results

In this section we give the simple and direct proofs of the main results. These results are similar to [6]. However, in [6], more hypotheses are necessary and the proofs are totally different.

Theorem 5. *Let be a weakly compact subset of . Then is –simultaneously proximinal in .*

*Proof. *Let be functions in , and let be a -simultaneously approximating sequence to in . We have Since is a convergent sequence, by taking into account the fact that for each we have one deduces that is bounded in .

By Lemma 4, there exists a subsequence of and a sequence of pairwise disjoint measurable sets such that is uniformly integrable in .

On the one hand, so we have . Therefore, by Lemma 3, is a -simultaneously approximating sequence to in .

Let us denote for each .

Since is weakly compact, then the sequence for a.e. and has a weakly convergent subsequence, which again is denoted by . Let us denote by its weak limit for a.e. . Therefore for each the numerical function is -measurable. So is weakly -measurable. On the other hand, for each , is -essentially separably valued; that is, there exists with and such that is a norm separable subset of . For each let us pick a dense and countable subset, , of . Then the set is norm closed and separable. For every and we have . Since, is weak limit of for a.e. , we obtain that for a.e. . Thus is -essentially separably valued. Therefore, Pettis Measurability Theorem [2, p. 42] guarantees that the function is -measurable.

Since is weakly convergent to for a.e. , then is bounded and for a.e. . Using this result, the boundedness of , and Fatou’s lemma [13, Theorem , p. 131], we get .

We claim that is in the closed convex hull of in . Suppose this is not true. Then, by [14, Theorem , p. 65], there is such that Now, we will use the result that is the space of all bounded continuous mapping (see [1, Theorem , p. 94]); we get a.e. on . Using Egoroff’s theorem [13, Theorem , p. 110] and uniform integrability of , we get , a contradiction. By taking convex combinations of elements of , if necessary, we can assume that in . Therefore, by Lemma 2, we have the fact that is the best -simultaneous approximation from of .

Although the proof of the following theorem is similar to that of Theorem 5, we provide the proof here as a means for the reader to readily justify these assertions.

Theorem 6. *Let be a weakly compact subset of . Then is –simultaneously proximinal in for each .*

*Proof. *Let be functions in , and let be a -simultaneously approximating sequence to in . We have Notice that for each we have Since is a convergent sequence, we deduce that is bounded in . Therefore, is uniformly integrable.

Since is weakly compact, then the sequence for a.e. has a weakly convergent subsequence, which again is denoted by . Let us denote by its weak limit for a.e. . Therefore for each the numerical function is -measurable. So is weakly -measurable. On the other hand, for each , is -essentially separably valued; that is, there exists with and such that is a norm separable subset of . For each let us pick a dense and countable subset, , of . Then the set is norm closed and separable. For every and we have . Since is weak limit of for a.e. , we obtain that for a.e. . Thus is -essentially separably valued. Therefore, the Pettis Measurability Theorem [2, p. 42] guarantees that the function is -measurable.

Since is weakly convergent to for a.e. , then is bounded and for a.e. . Using this result, the boundedness of , and Fatou’s lemma [13, Theorem , p. 131], we get .

We claim that is in the closed convex hull of in . Suppose this is not true. Then, by [14, Theorem , p. 65], there is a such that Now, we will be using the result that is the space of all bounded continuous mapping (see [1, Theorem , p. 97]); we get a.e. on . Using Egoroff’s theorem [13, Theorem , p. 110] and uniform integrability of , we get , a contradiction. By taking convex combinations of elements of , if necessary, we can assume that in . Therefore, by Lemma 2, we have the fact that is the best -simultaneous approximation from of .

Let be a sub––algebra of and the restriction of to . Let . We defined the set where is a subset of . We obtain analogously the following theorem.

Theorem 7. *Let be a weakly compact subset of and . Then is –simultaneously proximinal in .*

#### Conflicts of Interest

The author declares that there are no conflicts of interest regarding the publication of this paper.

#### Acknowledgments

Research is partially supported by MTM 2012-31286 (Spanish Ministry of Economy and Competitiveness).

#### References

- A. Ionescu Tulcea and C. Ionescu Tulcea,
*Topics in the Theory of Liftings*, Spring, Berlin, Germany, 1969. - J. Diestel and J. J. Uhl, “Vector Measures,”
*Mathematical Surveys and Monographs, American Mathematical Society*, vol. 15, article RI, 1977. View at Google Scholar - F. B. Saidi, D. Hussein, and R. Khalil, “Best simultaneous approximation in ${L}^{p}(I,E)$,”
*Journal of Approximation Theory*, vol. 116, no. 2, pp. 369–379, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - A. L. Garkavi, “On the Chebyshev center and the convex hull of a set,”
*Uspekhi Matematicheskikh Nauk*, vol. 19, pp. 139–145, 1964. View at Google Scholar - S. V. Konyagin, “A remark on renormings of nonreflexive spaces and the existence of a Chebyshev center,”
*Moscow University Mathematics Bulletin*, vol. 43, no. 2, pp. 55-56, 1988. View at Google Scholar - X.-F. Luo, C. Li, H.-K. Xu, and J.-C. Yao, “Existence of best simultaneous approximations in ${L}_{p}(S,\mathrm{\Sigma},X)$,”
*Journal of Approximation Theory*, vol. 163, no. 9, pp. 1300–1316, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - J. Mach, “Best simultaneous approximation of bounded functions with values in certain Banach spaces,”
*Mathematische Annalen*, vol. 240, no. 2, pp. 157–164, 1979. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Mendoza and T. Pakhrou, “Best simultaneous approximation in ${L}_{1}(\mu ,X)$,”
*Journal of Approximation Theory*, vol. 145, no. 2, pp. 212–220, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - T. S. Rao, “Approximation properties for spaces of Bochner integrable functions,”
*Journal of Mathematical Analysis and Applications*, vol. 423, no. 2, pp. 1540–1545, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Shi and R. Huotari, “Simultaneous approximation from convex sets,”
*Computers & Mathematics with Applications. An International Journal*, vol. 30, no. 3-6, pp. 197–206, 1995. View at Publisher · View at Google Scholar · View at MathSciNet - L. Veselý, “Generalized centers of finite sets in Banach spaces,”
*Acta Mathematica Universitatis Comenianae (N.S.)*, vol. 66, pp. 83–115, 1997. View at Google Scholar - P. Cembranos and J. Mendoza, “Banach spaces of vector-valued functions,” in
*Lecture Notes in Mathematics*, vol. 1676, Springer, Berlin, Germany, 1997. View at Google Scholar - V. I. Bogachev,
*Measure Theory*, vol. I, Springer, Berlin, Germany, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - H. H. Schaeffer,
*Topological Vector Spaces*, Springer, Berlin, Germany, 1986.