Pointwise Best Approximation in the Space of Strongly Measurable Functions with Applications to Best Approximation in L(μ,X)

The object of this paper is to prove the following theorem: Let Y be a closed subspace of the Banach space X, (S,Σ,μ) a σ-finite measure space, L(S,Y) (respectively, L(S, X)) the space of all strongly measurable functions from S to Y (respectively, X), and p a positive number. Then L(S,Y) is pointwise proximinal in L(S,X) if and only if L^p(μ,Y) is proximinal in L^p(μ,X). As an application of the theorem stated above, we prove that if Y is a separable closed subspace of the Banach space X, p is a positive number, then L^p(μ,Y) is proximinal in L^p(μ,X) if and only if Y is proximinal in X. Finally, several other interesting results on pointwise best approximation are also obtained.     

Absolute continuity of information channels

Let [X, v, Y] be an abstract information channel with the input X = (X, ) and the output Y = (Y, ) which are measurable spaces, and denote by L(Y) = L(Y, ) the Banach space of all bounded signed measures with finite total variation as norm. The channel distribution ν(·,·) is considered as a function defined on (X, ) and valued in L(Y). It will be proved that, if the measurable space (Y, ) is countably generated, then the is a strongly measurable function from X into L(Y) if and only if there exists a probability measure μ on (Y, ) which dominates every measure ν(x, ·) (x X). Furthermore, under this condition, the Radon-Nikodym derivative ν(x, dy)/μ(dy) is jointly measurable with respect to the product measure space (X, , m) (Y, , μ) where m is any but fixed probability measure of (X, ). As an application, it will be shown that the channel given as above is uniformly approximated by channels of Hibert-Schmidt type.     

Best simultaneous approximation in

Let X be a Banach space, (Ω,Σ,μ) a finite measure space, and L₁(μ,X) the Banach space of X-valued Bochner μ-integrable functions defined on Ω endowed with its usual norm. Let us suppose that Σ₀ is a sub-σ-algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in . It is shown that if X is reflexive then L₁(μ₀,X) is N-simultaneously proximinal in L₁(μ,X) in the sense of Fathi et al. [Best simultaneous approximation in L^p(I,E), J. Approx. Theory 116 (2002), 369–379]. Some examples and remarks related with N-simultaneous proximinality are also given.     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

Best simultaneous approximation in L∞(μ, X)

Let Y be a reflexive subspace of the Banach space X, let (Ω, Σ, μ) be a finite measure space, and let L_∞(μ, X) be the Banach space of all essentially bounded μ ‐Bochner integrable functions on Ω with values in X, endowed with its usual norm. Let us suppose that Σ₀ is a sub‐σ ‐algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in ?ⁿ . We prove that L_∞(μ, Y) is N ‐simultaneously proximinal in L_∞(μ,X), and that if X is reflexive then L_∞(μ₀, X) is N ‐simultaneously proximinal in L_∞(μ, X) in the sense of Fathi, Hussein, and Khalil [3]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

L 1 (μ, X) as a constrained subspace of its bidual

In this note we consider the property of being constrained in the bidual, for the space of Bochner integrable functions. For a Banach spaceX having the Radon-Nikodym property and constrained in its bidual and forY ⊂ X, under a natural assumption onY, we show thatL ¹ (μ, X/Y) is constrained in its bidual andL ¹ (μ, Y) is a proximinal subspace ofL ¹(μ, X). As an application of these results, we show that, ifL ¹(μ, X) admits generalized centers for finite sets and ifY ⊂ X is reflexive, thenL ¹ μ, X/Y) also admits generalized centers for finite sets.     

L（Ω, μ） CANNOT ISOMETRICALLY CONTAIN SOME THREE-DIMENSIONAL SUBSPACES OF AM-SPACES

This article presents a novel method to prove that: let E be an AM-space and if dim E≥3, then there does not exist any odd subtractive isometric mapping from the unit sphere S(E) into S[L(Ω,μ)]. In particular, there does not exist any real linear isometry from E into L(Ω,μ).     

Best approximation in polyhedral Banach spaces

In the present paper, we study conditions under which the metric projection of a polyhedral Banach space X onto a closed subspace is Hausdorff lower or upper semicontinuous. For example, we prove that if X satisfies (∗) (a geometric property stronger than polyhedrality) and Y⊂X is any proximinal subspace, then the metric projection P_Y is Hausdorff continuous and Y is strongly proximinal (i.e., if {y_n}⊂Y, x∈X and , then ).One of the main results of a different nature is the following: if X satisfies (∗) and Y⊂X is a closed subspace of finite codimension, then the following conditions are equivalent: (a) Y is strongly proximinal; (b) Y is proximinal; (c) each element of Y^⊥ attains its norm. Moreover, in this case the quotient X/Y is polyhedral.The final part of the paper contains examples illustrating the importance of some hypotheses in our main results.     

Proximinality in Subspaces of c0

We say that a normed linear space X is a R(1) space if the following holds: If Y is a closed subspace of finite codimension in X and every hyperplane containing Y is proximinal in X then Y is proximinal in X. In this paper we show that any closed subspace of c₀ is a R(1) space.     

RETRACTED ARTICLE: Some applications of BP-theorem in approximation theory

In this paper we apply Bishop-Phelps property to show that if X is a Banach space and G X is the maximal subspace so that G⊥ = {x* ∈ X*|x*(y) = 0; y∈ G} is an L-summand in X*, then L1(Ω,G) is contained in a maximal proximinal subspace of L1(Ω,X).     

Global nonparametric estimation of conditional quantile functions and their derivatives

Let (X, Y) be a random vector such that X is d-dimensional, Y is real valued, and θ(X) is the conditional αth quantile of Y given X, where α is a fixed number such that 0 < α < 1. Assume that θ is a smooth function with order of smoothness p > 0, and set r = (p − m)/(2p + d), where m is a nonnegative integer smaller than p. Let T(θ) denote a derivative of θ of order m. It is proved that there exists estimate of T(θ), based on a set of i.i.d. observations (X₁, Y₁), …, (X_n, Y_n), that achieves the optimal nonparametric rate of convergence n^−r in L_q-norms (1 ≤ q < ∞) restricted to compacts under appropriate regularity conditions. Further, it has been shown that there exists estimate of T(θ) that achieves the optimal rate (n/log n)^−r in L_∞-norm restricted to compacts.     

A discrete Korovkin theorem

In this paper we give a sufficient condition for the pointwise Korovkin property on B(X), the space of bounded real valued functions on an arbitrary countable set X = {x_l,…, x_j,…}. Our theorem follows from its L_p(X, μ) analogue (and conversely); here 1 p < ∞ and μ is a positive finite measure on X such that μ({x_j}) > 0 for all j.     

On the Spectrum of Frobenius–Perron Operators

We prove more results on the spectrum of the Frobenius–Perron operator P: L¹ → L¹ associated with a nonsingular transformation S: X → X on a σ-finite measure space (X, Σ, μ).     

Local Uniform Strong Proximinality of the Space of Continuous Vector-Valued Functions

Let X be a Banach space, S be a compact Hausdorff space and Y be a U-proximinal subspace of X. We prove that C(S,Y) is locally uniformly strongly proximinal in C(S,X) and the corresponding metric projection map is Hausdorff metric continuous.     

L1-optimal estimates for a regression type function in R

Let X₁, X₂, …, X_n be random vectors that take values in a compact set in R^d, d ≥ 1. Let Y₁, Y₂, …, Y_n be random variables (“the responses”) which conditionally on X₁ = x₁, …, X_n = x_n are independent with densities f(y | x_i, θ(x_i)), i = 1, …, n. Assuming that θ lives in a sup-norm compact space Θ_q,d of real valued functions, an optimal L₁-consistent estimator of θ is constructed via empirical measures. The rate of convergence of the estimator to the true parameter θ depends on Kolmogorov's entropy of Θ_q,d.     

Embedding Subspaces of Lp into 𝓁Np, 0 < p < 1

It is shown that if X is an n – dimensional subspace of L_p, 0 < p < 1, then there exists a subspace Y of 𝓁^N_p such that d(X, Y) ≤ 1 + ε and N ≤ C(ε, p)n(log n)³.     

Canonical forms of Borel-measurable mappings Δ: [ω] →

We show that for every Borel-measurable mapping Δ: [ω]^ω → there exists A [ω]^ω and there exists a continuous mapping Γ: [A]^ω → [A]^ω with Γ(X) X such that for all X, Y [A]^ω it follows that Δ(X) = Δ(Y) if Γ(X) = Γ(Y). In a sense, this is generalization of the Erdös-Rado canonization theorem     

On the square root of a positive B( )-valued function

Let (Ω, , μ) be a measure space, a separable Banach space, and ^* the space of all bounded conjugate linear functionals on . Let f be a weak^* summable positive B( ^*)-valued function defined on Ω. The existence of a separable Hilbert space , a weakly measurable B( )-valued function Q satisfying the relation Q^*(ω)Q(ω) = f(ω) is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺( ^*)-valued measures, the concepts of weak^*, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.