A superreflexive banach spaceX withL(X) admitting a homomorphism onto the Banach algebraC(βN)

A separable superreflexive Banach spaceX is constructed such that the Banach algebraL(X) of all continuous endomorphisms ofX admits a continuous homomorphism onto the Banach algebraC(βN) of all scalar valued functions on the Stone-Čech compacification of the positive integers with supremum norm. In particular: (i) the cardinality of the set of all linear multiplicative functionals onL(X) is equal to 2^c and (ii)X is not isomorphic to any finite Cartesian power of any Banach space.     

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.     

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.     

On a generalized Mazur-Ulam question: Extension of isometries between unit spheres of Banach spaces

We call a Banach space X admitting the Mazur-Ulam property (MUP) provided that for any Banach space Y, if f is an onto isometry between the two unit spheres of X and Y, then it is the restriction of a linear isometry between the two spaces. A generalized Mazur-Ulam question is whether every Banach space admits the MUP. In this paper, we show first that the question has an affirmative answer for a general class of Banach spaces, namely, somewhere-flat spaces. As their immediate consequences, we obtain on the one hand that the question has an approximately positive answer: Given ε>0, every Banach space X admits a (1+ε)-equivalent norm such that X has the MUP; on the other hand, polyhedral spaces, CL-spaces admitting a smooth point (in particular, separable CL-spaces) have the MUP.     

Smoothness in weakly compactly generated Banach spaces

If $\text{X}{}^1$ is a weakly compactly generated (WCG) Banach space, then X admits an equivalent C¹-smooth norm. If a WCG Banach space X admits a C^k-smooth function with bounded support, then X admits C^k-smooth partitions of unity.     

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.     

The problem of envelopes for Banach spaces

LetX be a Banach space. A Banach spaceY is an envelope ofX if (1)Y is finitely representable inX; (2) any Banach spaceZ finitely representable inX and of density character not exceeding that ofY is isometric to a subspace ofY. Lindenstrauss and Pelczynski have asked whether any separable Banach space has a separable envelope. We give a negative answer to this question by showing the existence of a Banach space isomorphic tol ₂, which has no separable envelope. A weaker positive result holds: any separable Banach space has an envelope of density character ≦ℵ₁ (assuming the continuum hypothesis).     

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.     

Bidual renormings of Banach spaces

Given a separable Banach space X with no isomorphic copies of ℓ₁ and a separable subspace Y of its bidual, we provide a sufficient condition on Y to ensure that X admits an equivalent norm such that the restriction to Y of the corresponding bidual norm is midpoint locally uniformly rotund. This result applies to the separable subspaces of the bidual of a Banach space with a shrinking unconditional Schauder basis and to the bidual of the James space.     

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.     

Banach spaces in various positions

We formulate a general theory of positions for subspaces of a Banach space: we define equivalent and isomorphic positions, study the automorphy index a(Y,X) that measures how many non-equivalent positions Y admits in X, and obtain estimates of a(Y,X) for X a classical Banach space such as ?p,Lp,L₁,C(ωω) or C[0,1]. Then, we study different aspects of the automorphic space problem posed by Lindenstrauss and Rosenthal; namely, does there exist a separable automorphic space different from c₀ or ?₂? Recall that a Banach space X is said to be automorphic if every subspace Y admits only one position in X; i.e., a(Y,X)=1 for every subspace Y of X. We study the notion of extensible space and uniformly finitely extensible space (UFO), which are relevant since every automorphic space is extensible and every extensible space is UFO. We obtain a dichotomy theorem: Every UFO must be either an L_∞-space or a weak type 2 near-Hilbert space with the Maurey projection property. We show that a Banach space all of whose subspaces are UFO (called hereditarily UFO spaces) must be asymptotically Hilbertian; while a Banach space for which both X and X^∗ are UFO must be weak Hilbert. We then refine the dichotomy theorem for Banach spaces with some additional structure. In particular, we show that an UFO with unconditional basis must be either c₀ or a superreflexive weak type 2 space; that a hereditarily UFO Köthe function space must be Hilbert; and that a rearrangement invariant space UFO must be either L_∞ or a superreflexive type 2 Banach lattice.     

Finitely locally finite coverings of Banach spaces

A well-known result due to H. Corson states that, for any covering τ by closed bounded convex subsets of any Banach space X containing an infinite-dimensional reflexive subspace, there exists a compact subset C of X that meets infinitely many members of τ. We strengthen this result proving that, even under the weaker assumption that X contains an infinite-dimensional separable dual space, an (algebraically) finite-dimensional compact set C with that property can always be found.     

Approximative compactness and continuity of metric projector in Banach spaces and applications

First we prove that the approximative compactness of a nonempty set C in a normed linear space can be reformulated equivalently in another way.It is known that if C is a semi-Chebyshev closed and approximately compact set in a Banach space X,then the metric projectorπC from X onto C is continuous.Under the assumption that X is midpoint locally uniformly rotund,we prove that the approximative compactness of C is also necessary for the continuity of the projectorπC by the method of geometry of Banach spaces.Using this general result we find some necessary and sufficient conditions for T to have a continuous Moore-Penrose metric generalized inverse T~ ,where T is a bounded linear operator from an approximative compact and a rotund Banach space X into a midpoint locally uniformly rotund Banach space Y.     

On the bounded approximation property in Banach spaces

We prove that the kernel of a quotient operator from an L ₁-space onto a Banach space X with the Bounded Approximation Property (BAP) has the BAP. This completes earlier results of Lusky-case ? ₁-and Figiel, Johnson and Pe?czyński-case X* separable. Given a Banach space X, we show that if the kernel of a quotient map from some L ₁-space onto X has the BAP, then every kernel of every quotient map from any L ₁-space onto X has the BAP. The dual result for L _∞-spaces also holds: if for some L _∞-space E some quotient E/X has the BAP, then for every L _∞-space E every quotient E/X has the BAP.     

Biorthogonal systems and quotient spaces via baire category methods

We show that every Banach space X of density smaller that the Baire category number admits a quotient with a long Schauder basis that can be taken of length ω₁ if X is not separable. So, assuming that the Baire category number does not take its minimal possible value, a Banach space X is separable if and only if all biorthogonal systems of X are countable.     

On Peano's theorem in Banach spaces

We show that if X is an infinite-dimensional separable Banach space (or more generally a Banach space with an infinite-dimensional separable quotient) then there is a continuous mapping f:X→X such that the autonomous differential equation x^′=f(x) has no solution at any point.     

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.     

An extension theorem for separable Banach spaces

We construct a totally disconnected ω^*, norming subsetF of the unit ballB ^* of an arbitrary separable Banach space,X, and an operator fromC(F) toC(B^*) that “amost” commutes with the natural embeddings ofX. This is used to give a new proof of Milutin's theorem and to prove some new results on complemented subspaces ofC[0, 1] with separable dual. In particular we show that a complemented subspace ofC(ω^ω), is either isomorphic toC(ω^ω) or toc _u.     

The space of maps from a locally compact space to a Banach space

The space of continuous maps from a topological spaceX to topological spaceY is denoted byC(X,Y) with the compact-open topology. In this paper we prove thatC(X,Y) is an absolute retract ifX is a locally compact separable metric space andY a convex set in a Banach space. From the above fact we know thatC(X,Y) is homomorphic to Hilbert spacel ₂ ifX is a locally compact separable metric space andY a separable Banach space; in particular,C(R ⁿ,R^m) is homomorphic to Hilbert spacel ₂. This research is supported by the Science Foundation of Shanxi Province's Scientific Committee     

The Radon-Nikodým Property Does Not Imply the Separable Complementation Property

There is a Banach space X enjoying the Radon-Nikodým Property and a separable subspace Y which is not contained in any complemented separable subspace of X.