- Open Access
Proximinality in Banach space valued Musielak-Orlicz spaces
Journal of Inequalities and Applications volume 2014, Article number: 146 (2014)
Let be a σ-finite complete measure space and let Y be a subspace of a Banach space X. Let φ be a generalized Φ-function on . Denote by and the Musielak-Orlicz spaces whose functions take values in Y and X, respectively. Firstly, let , we characterize the distance of f from . Then, if Y is weakly -analytic and proximinal in X, we show that is proximinal in . Finally, we give the connection between the proximinality of in and the proximinality of in .
It is well known that Musielak-Orlicz spaces include many spaces as special spaces, such as Lebesgue spaces, weighted Lebesgue spaces, variable Lebesgue spaces and Orlicz spaces; see . Especially, in recent decades, variable exponent function spaces, such as Lebesgue, Sobolev, Besov, Triebel-Lizorkin, Hardy, Morrey, and Herz spaces with variable exponents, have attracted much attention; see [2–16] and references therein. Cheng and the author discussed geometric properties of Banach space valued Bochner-Lebesgue and Bochner-Sobolev spaces with a variable exponent in . Very recently, Musielak-Orlicz-Hardy spaces have been systemically developed; see, for example, [18–22]. These spaces have many applications in various fields such as PDE, electrorheological fluids, and image restoration; see [6, 23–25].
In recent years, proximinality in Banach space valued Bochner-Lebesgue spaces with constant exponent have been extensively studied; see [26–33]. Proximinality in Banach space valued Bochner-Lebesgue spaces with variable exponent was discussed by the author in . In fact, we generalized those results in [29, 31] to Banach space valued Bochner-Lebesgue spaces with a variable exponent. Khandaqji, Khalil and Hussein considered proximinality in Orlicz-Bochner function spaces on the unit interval in , and Al-Minawi and Ayesh consider the same problem on finite measures in . The best simultaneous approximation in Banach space valued Orlicz spaces was discussed in [37, 38]. Micherda discussed proximinality of subspaces of vector-valued Musielak-Orlicz spaces via modular in . However, as usual, one considers the best approximation via the norm, so in this paper, we will discuss proximinality of subspaces of vector-valued Musielak-Orlicz spaces via the norm. To proceed, we need to recall some definitions. Our results will be given in the next section.
In what follows, will be a σ-finite complete measure space. Suppose D is a subset of A, let be the indicator function on D. Let be a Banach space. The dual space of X is the vector space of all continuous linear mappings from X to ℝ or ℂ. To avoid a double definition we let be either ℝ or ℂ.
Definition 1 A convex, left-continuous function with , , is called a Φ-function. It is called positive if for all .
It is easy to see that if φ is a Φ-function, then it is nondecreasing on .
Definition 2 Let be a σ-finite complete measure space. A real function is called a generalized Φ-function on if
is a Φ-function for all ,
is measurable for all .
If φ is a generalized Φ-function on , we write .
Definition 3 Let . Define
for strongly μ-measurable functions . Then the Bochner-Musielak-Orlicz space is the collection of all strongly μ-measurable functions endowed with the norm:
Definition 4 Let . The function φ is said to obey the -condition if there exists such that
for all and all .
When X is ℝ or ℂ, we simply denote by , and by . Usually, is a proper subspace of . But when the φ satisfies the -condition, they are the same. It is easy to see that is equivalent to , this means that the equality depends only on φ.
We remark that is a semimodular on the space of all X-valued strongly μ-measurable functions on A. For a semimodular, we recommend the reader reference . Let ρ be a semimodular on vector space E, , . We will use the following elementary result for a semimodular, which is Corollary 2.1.15 in .
Lemma 1 Let ρ be a semimodular on E, .
If , then .
If , then .
Let X be a Banach space and let Y be a closed subspace of X. Then Y is called proximinal in X if for any there exists such that
In this case y is called a best approximation of x in Y. If this best approximation is unique for any , then Y is said to be Chebyshev.
For simplicity, we denote or by . For , , let
2 Main results
Firstly, we estimate .
Theorem 1 Let Y be a subspace of Banach space X. Suppose . For , define by . Then
Proof (i) Given , we see that there exists a sequence of simple functions which converges to f almost everywhere and in . Since the distance function is a continuous function of , implies that . Moreover, each function defined by is a simple function; therefore we conclude that ϕ is measurable. Now, for any and any ,
Thus, we have
This implies and, by taking an infimum on , we have
(ii) We first assume that f is a simple function. Let where are disjoint measurable subsets in A such that and for . Without loss of generality, we suppose that . Let . Since , we have for any . Then, by the dominated convergence theorem, we find that there exists such that
Now take such that for . Let . Therefore . By Lemma 1, we see that
Thus, . Since ϵ is arbitrary, we have . By Lemma 1 again, we have . This means that . Therefore, we have proved that for simple functions.
Finally, let , there exists a sequence of simple functions convergent to f μ-almost everywhere, μ-almost everywhere and as n tends to ∞. Let . From the previous proof, we have
It is easy to see that as . Since μ-almost everywhere, and μ-almost everywhere as n tends to ∞, by Lemma 2.3.16(c) in , we conclude that in . Hence, letting , we see that
which completes the proof of Theorem 1. □
Corollary 1 Let Y be a closed subspace of a Banach space X. Suppose . An element g of is a best approximation to an element f in if and only if is a best approximation in Y to for almost every . Furthermore, if φ satisfies the -condition, then an element g of is a best approximation to an element f in if and only if is a best approximation in Y to for almost every .
Corollary 2 Let Y be a Chebyshev subspace of a Banach space X. Suppose satisfies the -condition. If is proximinal in , then it is a Chebyshev subspace of .
Remark 1 Our results Theorem 1, Corollaries 1 and 2 cover the results for vector Orlicz spaces in . Indeed, in  the authors only considered vector Orlicz spaces on finite measures. Analogous results for best simultaneous approximation were obtained in [37, 38] for vector Orlicz spaces on finite measures.
Next, we transfer the proximinality of Y in X to in . To do so, we need some preliminaries.
Lemma 2 Let be a σ-finite complete measure space. Suppose . Let Y be a proximinal subspace of a Banach space X. Suppose and g is a strongly μ-measurable function such that is a best approximation to from Y for almost everywhere . Then g is a best approximation to f from .
Proof Since , it follows that μ-almost everywhere. Thus, . For each , by assumption we know that μ-almost everywhere. So for any . Thus, . This ends the proof. □
Definition 5 Let be a Polish space (i.e. a topological space which is separable and completely metrizable). A set is analytic if it is empty or if there exists a continuous mapping satisfying , where denotes the space of all infinite sequences of natural numbers endowed with the Tychonoff topology.
Definition 6 Let be a Polish space, H a topological space and denote by the smallest σ-algebra containing all analytic subsets of T. Then a mapping is said to be analytic measurable if for every , where is for the Borel sets of H.
Definition 7 Let H, T be topological spaces. Then a multifunction is said to be upper semi-continuous if for every and for every open set U satisfying , there exists an open neighborhood V of x such that .
Definition 8 A subset C of a topological space T is -analytic if it can be written as for some upper semi-continuous mapping with compact values. In the case when T is a Banach space endowed with its weak topology, C is said to be weakly -analytic.
Lemma 3 Let be a real Banach space and let Y be a proximinal, weakly -analytic convex subset of X. Then, for each closed and separable set , there exists an analytic measurable mapping such that is separable in Y and is a best approximation of x in Y for any .
Thus, following the argument of the proof of (i) → (ii) in [, p.185], we have the following conclusion, the details being omitted.
Theorem 2 Let be a σ-finite complete measure space. Suppose , and Y is a weakly -analytic linear subspace of a real Banach space X. If Y is proximinal in X, then is proximinal in .
Theorem 3 Let be a σ-finite measure space. Suppose such that . Let Y be a linear subspace of a real Banach space X. If is proximinal in , then Y is proximinal in X.
Proof Since the measure μ is σ-finite, let us choose positive measure set Q such that . For any , let , . Then . By the assumption, we know that there is a g in which is a best approximation element of f. Consequently, is a best approximation to in Y for almost every by Corollary 1. Therefore, there is a best approximation element of x in Y. Thus, Y is proximinal in X. □
From Theorems 2 and 3, we deduce the following corollary.
Corollary 3 Let be a σ-finite complete measure space. Suppose such that . Let Y be a weakly -analytic linear subspace of a real Banach space X. Then the following conditions are equivalent:
Y is proximinal in X;
is proximinal in .
Remark 2 An analog to Corollary 3 in terms of a modular was obtained in .
Finally, we give a characterization of proximinity of in via the proximinity of in . When is a Bochner-Lebesgue space, which was obtained in  and [32, 33] on finite measure spaces and σ finite measure spaces, respectively. is a Bochner-Orlicz space, which was discussed in .
Theorem 4 Let be a σ-finite complete measure space. Suppose such that the set of simple functions, , satisfies , where is the conjugate function of φ (see ). Let Y be a closed subspace of a Banach space X. If is proximinal in , then is proximinal in .
Proof Since A is σ-finite, we may write , where is a sequence of disjoint measurable sets each of finite measure. Let . For any , since , then . Thus, by the norm conjugate formula (see Corollary 2.7.5 in ), we find that . By assumption, we know that there exists such that
By Corollary 1, we have, for all ,
μ-almost everywhere. Therefore μ-almost every . Let . Since , it follows that for all ,
μ-almost everywhere. Because , it follows that . Thus, and
for all . This finishes the proof. □
Theorem 5 Let be a σ-finite complete measure space. Suppose satisfies and, for each , is strictly increasing. Let Y be a closed subspace of a Banach space X. If is proximinal in , then is proximinal in .
Proof We use the idea from . Indeed in  the authors only considered Banach space valued Orlicz spaces on the unit interval. Since, for each , is strictly increasing, let be its inverse function, which means, for each , . Define the map by setting
Then . Therefore . So J is injective. Moreover, if , let
Then and . Thus, . In addition, for ,
If , then also, thus . Hence J is surjective and also.
Now, let . Without loss of generality we may suppose that μ-almost everywhere, for otherwise we can restrict our measure to the support of f. Since , by the assumption, we know that there exists some such that
for all . By Corollary 1, we see that, for all ,
μ-almost everywhere. Multiplying both sides of the last inequality by , we obtain, for all ,
Let . Since is a best approximation of in Y, and , it follows that . Therefore, . Thus, for all ,
μ-almost everywhere. Thus, by Corollary 1 h is a best approximation of f in . This finishes the proof. □
From Theorems 4 and 5, we deduce the following corollary.
Corollary 4 Let be a σ-finite complete measure space. Suppose such that , for each , is strictly increasing and the set of simple functions satisfies . Let Y be a closed subspace of a Banach space X. Then the following conditions are equivalent:
is proximinal in ;
is proximinal in .
Remark 3 When is a finite measure and φ is a Orlicz function that satisfies the -condition, the result of Corollary 4 was obtained in . While is the unit interval and φ is a Young function that satisfies the -condition, the result of Corollary 4 was obtained in .
Musielak J: Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.
Kováčik O, Rákosník J:On spaces and . Czechoslov. Math. J. 1991, 41: 592-618.
Almeida A, Drihem D: Maximal, potential and singular type operators on Herz spaces with variable exponents. J. Math. Anal. Appl. 2012, 394: 781-795. 10.1016/j.jmaa.2012.04.043
Almeida A, Hästö P: Besov spaces with variable smoothness and integrability. J. Funct. Anal. 2010, 258: 1628-1655. 10.1016/j.jfa.2009.09.012
Diening L, Hästö P, Roudenko S: Function spaces of variable smoothness and integrability. J. Funct. Anal. 2009, 256: 1731-1768. 10.1016/j.jfa.2009.01.017
Diening L, Harjulehto P, Hästö P, Růžička M: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Berlin; 2011.
Harjulehto P, Hästö P, Le UV, Nuortio M: Overview of differential equations with non-standard growth. Nonlinear Anal. 2010, 72: 4551-4574. 10.1016/j.na.2010.02.033
Izuki M: Boundedness of sublinear operators on Herz spaces with variable exponent and application to wavelet characterization. Anal. Math. 2010, 36: 33-50. 10.1007/s10476-010-0102-8
Izuki M: Boundedness of commutators on Herz spaces with variable exponent. Rend. Circ. Mat. Palermo 2010, 59: 199-213. 10.1007/s12215-010-0015-1
Izuki M: Vector-valued inequalities on Herz spaces and characterizations of Herz-Sobolev spaces with variable exponent. Glas. Mat. 2010, 45: 475-503. 10.3336/gm.45.2.14
Kempka H: 2-Microlocal Besov and Triebel-Lizorkin spaces of variable integrability. Rev. Mat. Complut. 2009, 22: 227-251.
Kempka H: Atomic, molecular and wavelet decomposition of generalized 2-microlocal Besov spaces. J. Funct. Spaces Appl. 2010, 8: 129-165. 10.1155/2010/469513
Nakai E, Sawano Y: Hardy spaces with variable exponents and generalized Campanato spaces. J. Funct. Anal. 2012, 262: 3665-3748. 10.1016/j.jfa.2012.01.004
Samko S: Variable exponent Herz spaces. Mediterr. J. Math. 2013, 10: 2007-2025. 10.1007/s00009-013-0285-x
Xu J: Variable Besov and Triebel-Lizorkin spaces. Ann. Acad. Sci. Fenn., Math. 2008, 33: 511-522.
Xu J: The relation between variable Bessel potential spaces and Triebel-Lizorkin spaces. Integral Transforms Spec. Funct. 2008, 19: 599-605. 10.1080/10652460802030631
Cheng C, Xu J: Geometric properties of Banach space valued Bochner-Lebesgue spaces with variable exponent. J. Math. Inequal. 2013, 7: 461-475.
Cao J, Chang DC, Yang D, Yang S: Weighted local Orlicz-Hardy spaces on domains and their applications in inhomogeneous Dirichlet and Neumann problems. Trans. Am. Math. Soc. 2013, 365: 4729-4809. 10.1090/S0002-9947-2013-05832-1
Liang Y, Huang J, Yang D: New real-variable characterizations of Musielak-Orlicz Hardy spaces. J. Math. Anal. Appl. 2012, 395: 413-428. 10.1016/j.jmaa.2012.05.049
Yang D, Yang S:Orlicz-Hardy spaces associated with divergence operators on unbounded strongly Lipschitz domains of . Indiana Univ. Math. J. 2012, 61: 81-129. 10.1512/iumj.2012.61.4535
Yang D, Yang S: Local Hardy spaces of Musielak-Orlicz type and their applications. Sci. China Math. 2012, 55: 1677-1720. 10.1007/s11425-012-4377-z
Yang D, Yang S: Musielak-Orlicz-Hardy spaces associated with operators and their applications. J. Geom. Anal. 2014, 24: 495-570. 10.1007/s12220-012-9344-y
Chen Y, Levine S, Rao R: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 2006, 66: 1383-1406. 10.1137/050624522
Li F, Li Z, Pi L: Variable exponent functionals in image restoration. Appl. Math. Comput. 2010, 216: 870-882. 10.1016/j.amc.2010.01.094
Růžička M: Electrorheological Fluids: Modeling and Mathematical Theory. Springer, Berlin; 2000.
Abu-Sirhan E: Simultaneous approximation in function spaces. In Approximation Theory XIII: San Antonio Edited by: Neamtu M, Schumaker L. 2010, 321-329.
Abu-Sirhan E: Best simultaneous approximation in function and operator spaces. Turk. J. Math. 2012, 36: 101-112.
Khalil R:Best approximation in . Math. Proc. Camb. Philos. Soc. 1983, 94: 277-279. 10.1017/S0305004100061120
Khalil R, Deeb W:Best approximation in . J. Approx. Theory 1989, 59: 296-299. 10.1016/0021-9045(89)90094-4
Khalil R, Saidi F:Best approximation in . Proc. Am. Math. Soc. 1995, 123: 183-190.
Light WA:Proximinality in . Rocky Mt. J. Math. 1989, 19: 251-259. 10.1216/RMJ-1989-19-1-251
Mendoza J:Proximinality in . J. Approx. Theory 1998, 93: 331-343. 10.1006/jath.1997.3163
You ZY, Guo TX:Pointwise best approximation in the space of strongly measurable functions with applications to best approximation in . J. Approx. Theory 1994, 78: 314-320. 10.1006/jath.1994.1081
Xu, J: Proximinality in Banach space valued Bochner-Lebesgue spaces with variable exponent (submitted)
Khandaqji M, Khalil R, Hussein D: Proximinality in Orlicz-Bochner function spaces. Tamkang J. Math. 2003, 34: 71-75.
Al-Minawi H, Ayesh S: Best approximation in Orlicz spaces. Int. J. Math. Math. Sci. 1991, 14: 245-252. 10.1155/S0161171291000273
Khandaqji M, Al-Sharif S: Best simultaneous approximation in Orlicz spaces. Int. J. Math. Math. Sci. 2007., 2007: Article ID 68017
Shen ZS, Yang ZY:Best simultaneous approximation in . J. Math. Res. Expo. 2010, 30: 863-868.
Micherda B: On proximinal subspaces of vector-valued Orlicz-Musielak spaces. J. Approx. Theory 2013, 174: 182-191.
Kakol J, Kubiś W, López-Pellicer M: Descriptive Topology in Selected Topics of Functional Analysis. Springer, Berlin; 2011.
The author would like to thank the referee for carefully reading which made the presentation more readable and for his or her suggestion for references [36–38]. The author was supported by the National Natural Science Foundation of China (Grant No. 11361020) and the National Natural Science Foundation of Hainan Providence (113004).
The author declare that he has no competing interests.
About this article
Cite this article
Xu, J. Proximinality in Banach space valued Musielak-Orlicz spaces. J Inequal Appl 2014, 146 (2014). https://doi.org/10.1186/1029-242X-2014-146
- Musielak-Orlicz space
- best approximation
- weakly -analytic