Characterizations of continuous and Lipschitz continuous metric selections in normed linear spaces

Characterizations are given of when the metric projection P_M onto a proximal subspace M has a continuous, pointwise Lipschitz continuous, or Lipschitz continuous selection. Moreover, it is shown that ifP_M has a continuous selection, then it has one which is also homogeneous and additive modulo M. An analogous result holds if P_M has a pointwise Lipschitz or Lipschitz continuous selection provided that M is complemented. If dimM < ∞ and P_M is Lipschitz (resp. pointwise Lipschitz) continuous, then P_M has a Lipschitz (resp. pointwise Lipschitz) continuous selection. A conjecture of R. Holmes and B. Kripke (Michigan Math. J. 15 (1968), 225–248) is resolved.     

Nonexpansive selections of metric projections in spaces of continuous functions

A subset A of a metric space X is said to be a nonexpansive proximinal retract (NPR) of X if the metric projection from X to A admits a nonexpansive selection. We study the structure of NPR's in the space C(K) of continuous functions on a compact Hausdorff space K. The main results are a characterization of finite-codimensional and of finite-dimensional NPR subspaces of C(K) and a complete characterization of all NPR subsets of .     

度量射影的Lipschitz连续选择

It has shown that, for Lipschitz continuous metric projections, it has a Lips-chitz continuous selection for l-Chebyshev subspace and, for each subspace M which is ismorphism to a Hilbert space ,P_M admits a selection s which is locally Lipschitz continuous with index 1/2.     

On solutions of IHPT equations on tangent bundles with the metric II + III

The main purpose of the present paper is to determine the most general IHPT (Infinitesimal Holomorphically Projective Transformation) on T(M_n) with respect to a Levi-Civita connection of the metric II+III and adapted almost complex structure. Moreover, if T(M_n) admits a non-affine infinitesimal holomorphically projective transformation, then M_n and T(M_n) are locally flat.     

Some common fixed point theorems for Banach operator pairs with applications in best approximation

The ordered pair (T,I) of two self-maps of a metric space (X,d) is called a Banach operator pair if the set F(I) of fixed points of I is T-invariant i.e. T(F(I))⊆F(I). Some common fixed point theorems for a Banach operator pair and the existence of common fixed points of best approximation are presented in this paper. The results prove, generalize and extend some results of Al-Thagafi [M.A. Al-Thagafi, Common fixed points and best approximation, J. Approx. Theory 85 (1996) 318-323], Carbone [A. Carbone, Applications of fixed point theorems, Jnanabha 19 (1989) 149-155], Chen and Li [J. Chen, Z. Li, Common fixed points for Banach operator pairs in best approximations, J. Math. Anal. Appl. 336 (2007) 1466-1475], Habiniak [L. Habiniak, Fixed point theorems and invariant approximation, J. Approx. Theory 56 (1989) 241-244], Jungck and Sessa [G. Jungck, S. Sessa, Fixed point theorems in best approximation theory, Math. Japon. 42 (1995) 249-252], Sahab, Khan and Sessa [S.A. Sahab, M.S. Khan, S. Sessa, A result in best approximation theory, J. Approx. Theory 55 (1988) 349-351], Shahzad [N. Shahzad, Invariant approximations and R-subweakly commuting maps, J. Math. Anal. Appl. 257 (2001) 39-45] and of few others.     

Nonuniqueness and selections in spline approximation

This paper studies problems of nonuniqueness for the metric projection ofC(T),T a compact Hausdorff space, onto a finite-dimensional subspaceG, and discusses the results for polynomial spline approximation. Among others, we prove that the metric projection ofC[a, b] ontoS _k,n , the space of polynomial splines of degree less than or equal ton withk simple knots in (a, b), is lower semicontinuous on an open, dense subset ofC[a, b] and, consequently, any standard selection of the projection is continuous on this subset. We further show that continuous selections are not so easy to construct.Communicated by Ronald A. DeVore.     

Weak Chebyshev Subspaces and Continuous Selections for Parametric Projections

We examine the existence of continuous selections for the parametric projection onto weak Chebyshev subspaces. In particular, we show that if is the class of polynomial splines of degree n with the k fixed knots then the parametric projection admits a continuous selection if and only if the number of knots does not exceed the degree of splines plus one. February 15, 1996. Date revised: September 16, 1996.     

Smooth approximations

We prove, among other things, that a Lipschitz (or uniformly continuous) mapping f:X→Y can be approximated (even in a fine topology) by smooth Lipschitz (resp. uniformly continuous) mapping, if X is a separable Banach space admitting a smooth Lipschitz bump and either X or Y is a separable C(K) space (resp. super-reflexive space). Further, we show how smooth approximation of Lipschitz mappings is closely related to a smooth approximation of C¹-smooth mappings together with their first derivatives. As a corollary we obtain new results on smooth approximation of C¹-smooth mappings together with their first derivatives.     

Unique continuous selections for metric projections of C(X) onto finite-dimensional vector subspaces, II

Best approximation in C(X) by elements of a Chebyshev subspace is governed by Haar's theorem, the de la Vallée Poussin estimates, the alternation theorem, the Remez algorithm, and Mairhuber's theorem. J. Blatter (1990, J. Approx. Theory 61, 194–221) considered best approximation in C(X) by elements of a subspace whose metric projection has a unique continuous selection and extended Haar's theorem and Mairhuber's theorem to this situation. In the present paper we so extend the de la Vallée Poussin estimates, the alternation theorem, and the Remez algorithm.     

On statistical approximation in spaces of continuous functions

Our goal is to present approximation theorems for sequences of positive linear operators defined on C(X), where X is a compact metric space. Instead of the uniform convergence we use the statistical convergence. Examples and special cases are also provided.      

THE INDUCED H-STRUCTURE ON FUNCTION SPACES

Abstract

Let (Z,Γ) be an H-structure. Then, for each exponential object Y in TOP, an H-structure is induced on the topological space C_t(Y,Z) of continuous maps equipped with the appropriate function space topology t (e.g. t = T_is, where T_is is the Isbell topology on C(Y,Z)).

If (Z,Γ) is H-associative (resp.admits inversion), then the induced H-structure is also H-associative (resp. admits inversion).

If (Z,Γ) is H-associative and admits inversion (e.g. a topological group) then all path components of C_t(Y,Z) belong to the same homotopy type.

We also study the special case of (Z,Γ) being a topological group. Moreover, we prove that certain functions between function spaces are H-homomorphisms of the induced H-structures in the function spaces.     

The uniform norm of hyperinterpolation on the unit sphere in an arbitrary number of dimensions

In this paper we study the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere S ^r−1 ⊂ R^r. The hyperinterpolation approximation L _n ƒ, where ƒ ∈ C(S ^r −1), is derived from the exact L ² orthogonal projection Π ƒ onto the space P _n ^r (S ^r −1) of spherical polynomials of degree n or less, with the Fourier coefficients approximated by a positive weight quadrature rule that integrates exactly all polynomials of degree ≤ 2n. We extend to arbitrary r the recent r = 3 result of Sloan and Womersley [9], by proving that under an additional “quadrature regularity” assumption on the quadrature rule, the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere is O(n ^r /2−1), which is the same as that of the orthogonal projection Π_n, and best possible among all linear projections onto P _n ^r (S ^r −1).     

Upper semicontinuity of parametric projections

In this paper we study upper semicontinuity of the metric projection P _(p)(x) with respect to (x, p), where x is a point in a normed linear space X and (p) is an approximatively compact subset of X depending on a parameter p. An application to parametric spline approximation is given.     

Special Uniform Approximations of Continuous Vector-Valued Functions. Part I: Special Approximations in CX(T)

In this paper, we give special uniform approximations of functions u from the spaces C_X(T) and C_∞(T,X), with elements of the tensor products C_Γ(T)X, respectively C₀(T,Γ)X, for a topological space T and a Γ-locally convex space X. We call an approximation special, if satisfies additional constraints, namely supp vu⁻¹(X\{0}) and (T) co(u(T)) (resp. co(u(T){0})). In Section 3, we give three distinct applications, which are due exactly to these constraints: a density result with respect to the inductive limit topology, a Tietze–Dugundji's type extension new theorem and a proof of Schauder–Tihonov's fixed point theorem.     

Lipschitz-type functions on metric spaces

In order to find metric spaces X for which the algebra Lip^∗(X) of bounded Lipschitz functions on X determines the Lipschitz structure of X, we introduce the class of small-determined spaces. We show that this class includes precompact and quasi-convex metric spaces. We obtain several metric characterizations of this property, as well as some other characterizations given in terms of the uniform approximation and the extension of uniformly continuous functions. In particular we show that X is small-determined if and only if every uniformly continuous real function on X can be uniformly approximated by Lipschitz functions.     

Some Results on Best Coapproximation in L 1 (S, X)

As a counterpart to best approximation in normed linear spaces, best coapproximation was introduced by Franchetti and Furi. In this paper, we shall show that if M is a separable, coproximinal subspace of X satisfying some additional conditions, then L ¹ (S, M) is coproximinal in L ¹(S, X).      

Lipschitz continuity of the best approximation operator in vector-valued Chebyshev approximation

When G is a finite dimensional Haar subspace of C(X,R^k), the vector-valued continuous functions (including complex-valued functions when k is 2) from a finite set X to Euclidean k-dimensional space, it is well-known that at any function f in C(X,R^k) the best approximation operator satisfies the strong unicity condition of order 2 and a Lipschitz (Hőlder) condition of order . This note shows that in fact the best approximation operator satisfies the usual Lipschitz condition of order 1.     

Function Spaces and Dieudonné Completeness

Abstract

For a completely regular space X and a normed space E let C_k (x, E) (resp., C_p (x, E)) be the set of all E-valued continuous maps on X endowed with the compact-open (resp., pointwise convergence) topology. It is shown that the set of all F-valued linear continuous maps on C_k (x, E) when equipped with the topology of uniform convergence on the members of some families of bounded subsets of C_k (x, E) is a complete uniform space if F is a Band space and X is Dieudonné complete. This result is applied to prove that Dieudonné completeness is preserved by linear quotient surjections from C_k (x, E) onto C_k (Y, E) (resp., from C_p (x, E) onto C_p (x, E)) provided E, F are Band spaces and Y is a k-space.