On uniformly Gâteaux smooth C (n)-smooth norms on separable Banach spaces

Every separable Banach space with C ⁽ⁿ⁾-smooth norm (Lipschitz bump function) admits an equivalent norm (a Lipschitz bump function) which is both uniformly Gâteaux smooth and C ⁽ⁿ⁾-smooth. If a Banach space admits a uniformly Gâteaux smooth bump function, then it admits an equivalent uniformly Gâteaux smooth norm.     

Smooth extension of functions on a certain class of non-separable Banach spaces

Let us consider a Banach space X with the property that every real-valued Lipschitz function f can be uniformly approximated by a Lipschitz, C¹-smooth function g with Lip(g)?CLip(f) (with C depending only on the space X). This is the case for a Banach space X bi-Lipschitz homeomorphic to a subset of c₀(Γ), for some set Γ, such that the coordinate functions of the homeomorphism are C¹-smooth (Hájek and Johanis, 2010 [10]). Then, we prove that for every closed subspace Y⊂X and every C¹-smooth (Lipschitz) function f:Y→R, there is a C¹-smooth (Lipschitz, respectively) extension of f to X. We also study C¹-smooth extensions of real-valued functions defined on closed subsets of X. These results extend those given in Azagra et al. (2010) [4] to the class of non-separable Banach spaces satisfying the above property.     

Uniformly Gâteaux smooth approximations on

Every Lipschitz mapping from c₀(Γ) into a Banach space Y can be uniformly approximated by Lipschitz mappings that are simultaneously uniformly Gâteaux smooth and C^∞-Fréchet smooth.     

Factorization of weakly continuous differentiable mappings

Given real Banach spaces X and Y, let C _wbu¹(X, Y) be the space, introduced by R.M. Aron and J.B. Prolla, of C ¹ mappings from X into Y such that the mappings and their derivatives are weakly uniformly continuous on bounded sets. We show that f ∈ C _wbu¹(X, Y) if and only if f may be written in the form f = g ∘ S, where the intermediate space is normed, S is a precompact operator, and g is a Gateaux differentiable mapping with some additional properties.     

On smooth, nonlinear surjections of banach spaces

It is shown that (1) every infinite-dimensional Banach space admits aC ¹ Lipschitz map onto any separable Banach space, and (2) if the dual of a separable Banach spaceX contains a normalized, weakly null Banach-Saks sequence, thenX admits aC ^∞ map onto any separable Banach space. Subsequently, we generalize these results to mappings onto larger target spaces. Supported by an NSF Postdoctoral Fellowship in Mathematics.     

Smooth extensions of functions on separable Banach spaces

Let X be a Banach space with a separable dual X*. Let ${Y\subset X}Let X be a Banach space with a separable dual X*. Let Y ì X{Y\subset X} be a closed subspace, and f:Y?\mathbbR{f:Y\rightarrow\mathbb{R}} a C ¹-smooth function. Then we show there is a C ¹ extension of f to X.     

Smooth approximations without critical points

In any separable Banach space containing c ₀ which admits a C ^k-smooth bump, every continuous function can be approximated by a C ^k-smooth function whose range of derivative is of the first category. Moreover, the approximation can be constructed in such a way that its derivative avoids a prescribed countable set (in particular the approximation can have no critical points). On the other hand, in a Banach space with the RNP, the range of the derivative of every smooth bounded bump contains a set residual in some neighbourhood of zero.     

Smoothing of bump functions

Let X be a separable Banach space with a Schauder basis, admitting a continuous bump which depends locally on finitely many coordinates. Then X admits also a C^∞-smooth bump which depends locally on finitely many coordinates.     

Lipschitz Quotients from Metric Trees and from Banach Spaces Containing ?1

If X is any separable Banach space containing l₁, then there is a Lipschitz quotient map from X onto any separable Banach space Y.     

Compactness in the fine topology

For reasonable spaces (including topological manifolds) X, Y, we characterize compact subsets of the space of continuous maps from X to Y, topologized with the fine (Whitney) C⁰-topology. In the case of smooth manifolds, we characterize also compact subsets of the space of C^r maps in the Whitney C^r topology.     

Towards variational analysis in metric spaces: metric regularity and fixed points

The main results of the paper include (a) a theorem containing estimates for the surjection modulus of a “partial composition” of set-valued mappings between metric spaces which contains as a particlar case well-known Milyutin’s theorem about additive perturbation of a mapping into a Banach space by a Lipschitz mapping; (b) a “double fixed point” theorem for a couple of mappings, one from X into Y and another from Y to X which implies a fairly general version of the set-valued contraction mapping principle and also a certain (different) version of the first theorem.     

On distribution of the norm for normal random elements in the space of continuous functions

We consider distributions of norms for normal random elements X in separable Banach spaces, in particular, in the space C(S) of continuous functions on a compact space S. We prove that, under some nondegeneracy condition, the functions $ {{\mathcal{F}}_X}=\left\{ {\mathrm{P}\left( {\left\| {X-z} \right\|\leqslant r} \right):\;z\in C(S)} \right\},\;r\geqslant 0 $ , are uniformly Lipschitz and that every separable Banach space B can be ε-renormed so that the family $ {{\mathcal{F}}_X} $ becomes uniformly Lipschitz in the new norm for any B-valued nondegenerate normal random element X.     

Some topics on the continuation and smoothing of vector functions

We consider problems of continuation of vector functions from a subspace to the entire space and of smoothing problems for these functions. It is shown that there exists a reflexive separable spaceX and a subspaceY such that even a very smooth mapping ofY does not extend to a uniformly continuous mapping of a neighborhood ofY.Translated fromMatematicheskie Zametki, Vol. 58, No. 6, pp. 906–916, December, 1995.     

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.     

A note on non-support points, negligible sets, Gâteaux differentiability and Lipschitz embeddings

This paper first presents a characterization of three classes of negligible closed convex sets (i.e., Gauss null sets, Aronszajn null sets and cube null sets) in terms of non-support points; then gives a generalization of Gâteaux differentiability theorems of Lipschitz mapping from open sets to those closed convex sets admitting non-support points; and as their application, finally shows that a closed convex set in a separable Banach space X can be Lipschitz embedded into a Banach space Y with the Radon–Nikodym property if and only if the closure of its linear span is linearly isomorphic to a closed subspace of Y.     

Iterative schemes for computing fixed points of nonexpansive mappings in Banach spaces

Let X be a real Banach space with a normalized duality mapping uniformly norm-to-weak^? continuous on bounded sets or a reflexive Banach space which admits a weakly continuous duality mapping JΦ with gauge ?. Let f be an α-contraction and {Tn} a sequence of nonexpansive mappings, we study the strong convergence of explicit iterative schemes

(1)     

Diagonals of separately pointwise Lipschitz mappings

It is proved that, for a metric space X and a normed space Z, the diagonals of pointwise Lipschitz mappings f : X ²? →?Z are exactly stable pointwise limits of pointwise Lipschitz mappings. The joint Lipschitz property of separately pointwise Lipschitz mappings f : X?×?Y?→?Z, where X, Y, and Z are metric spaces, is investigated.     

Components of first-countability and various kinds of pseudoopen mappings

Some new classes of pseudoopen continuous mappings are introduced. Using these, we provide some sufficient conditions for an image of a space under a pseudoopen continuous mapping to be first-countable, or for the mapping to be biquotient. In particular, we show that if a regular pseudocompact space Y is an image of a metric space X under a pseudoopen continuous almost S-mapping, then Y is first-countable. Among our main results are Theorems 2.5, 2.11, 2.12, 2.13, 2.14. See also Example 2.15, Corollary 2.7, and Theorem 2.18.     

On the homeomorphism of continuous mappings

Denote by C(X) the partially ordered (PO) set of all continuous epimorphisms of a space X under the natural identification of homeomorphic epimorphisms. The following homeomorphism theorem for bicompacta is implicitly contained in Magill’s 1968 paper: two bicompacta X and Y are homeomorphic if and only if the PO sets C(X) and C(Y) are isomorphic. In the present paper, Magill’s theorem is extended to the category of mappings in which the role of bicompacta is played by perfect mappings. The results are obtained in two versions, namely, in the category TOP _Z (of triangular commutative diagrams) and in the category MAP (of quadrangular commutative diagrams).