The approximation property in terms of the approximability of weak∗-weak continuous operators

By a well-known result of Grothendieck, a Banach space X has the approximation property if and only if, for every Banach space Y, every weak∗-weak continuous compact operator T:X∗→Y can be uniformly approximated by finite rank operators from X⊗Y. We prove the following “metric” version of this criterion: X has the approximation property if and only if, for every Banach space Y, every weak∗-weak continuous weakly compact operator T:X∗→Y can be approximated in the strong operator topology by operators of norm ?‖T‖ from X⊗Y. As application, easier alternative proofs are given for recent criteria of approximation property due to Lima, Nygaard and Oja.     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

The weak metric approximation property and ideals of operators

We study the weak metric approximation property introduced by Lima and Oja. We show that a Banach space X has the weak metric approximation property if and only if F(Y,X), the space of finite rank operators, is an ideal in W(Y,X∗∗), the space of weakly compact operators for all Banach spaces Y.     

Automatic continuity of biseparating homomorphisms defined between groups of continuous functions

Let C(X,T) be the group of continuous functions of a compact Hausdorff space X to the unit circle of the complex plane T with the pointwise multiplication as the composition law. We investigate how the structure of C(X,T) determines the topology of X. In particular, which group isomorphisms H between the groups C(X,T) and C(Y,T) imply the existence of a continuous map h of Y into X such that H is canonically represented by h. Among other results, it is proved that C(X,T) determines X module a biseparating group isomorphism and, when X is first countable, the automatic continuity and representation as Banach-Stone maps for biseparating group isomorphisms is also obtained.     

Uniform convergence on weakly compact subsets

Using a theorem of Kadets, we construct on an arbitrary infinite dimensional Banach space X equipped with the weak topology a sequence of real-valued continuous functions convergent uniformly on weakly compact subsets to a discontinuous limit.     

Coincidence of the Isbell and fine Isbell topologies

Let C(X,Y) be the set of all continuous functions from a topological space X into a topological space Y. We find conditions on X that make the Isbell and fine Isbell topologies on C(X,Y) equal for all Y. For zero-dimensional spaces X, we show there is a space Z such that the coincidence of the Isbell and fine Isbell topologies on C(X,Z) implies the coincidence on C(X,Y) for all Y. We then consider the question of when the Isbell and fine Isbell topologies coincide on the set of continuous real-valued functions. Our results are similar to results established for consonant spaces.     

A fixed point result in strictly convex Banach spaces

We define an alternate convexically nonexpansive map T on a bounded, closed, convex subset C of a Banach space X and prove that if X is a strictly convex Banach space and C is a nonempty weakly compact convex subset of X, then every alternate convexically nonexpansive map T : C → C has a fixed point. As its application, we give an existence result for the solution of an integral equation.     

New criterion of the approximation property

This paper is concerned with the approximation property which is an important property in Banach space theory. We show that a Banach space X has the approximation property if (and only if), for every Banach space Y, the set of finite rank operators from X to Y is dense in the corresponding space of compact operators, in the usual topology of uniform convergence on compact sets.     

Operator-valued measures and linear operators

We study operator-valued measures , where L(X,Y) stands for the space of all continuous linear operators between real Banach spaces X and Y and Σ is a σ-algebra of sets. We extend the Bartle-Dunford-Schwartz theorem and the Orlicz-Pettis theorem for vector measures to the case of operator-valued measures. We generalize the classical Vitali-Hahn-Saks theorem to sets of operator-valued measures which are compact in the strong operator topology.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.     

ech-complete spaces and the upper topology

Let X be a topological space and let be the set of all compact subsets of X. The purpose of this note is to prove the following: if X is regular and q-space, then X is Lindelöf and ech-complete if and only if there exists a continuous map f from a Lindelöf and ech-complete space Y to the space endowed with the upper topology, such that f(Y) is cofinal in . This result extends the following result of Saint Raymond and Christensen: if X is separable metrizable, then X is a Polish space if and only if the space endowed with the Vietoris topology is the continuous image of a Polish 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.     

Approximately spectrum-preserving maps

Let X and Y be superreflexive complex Banach spaces and let B(X) and B(Y) be the Banach algebras of all bounded linear operators on X and Y, respectively. If a bijective linear map Φ:B(X)→B(Y) almost preserves the spectra, then it is almost multiplicative or anti-multiplicative. Furthermore, in the case where X=Y is a separable complex Hilbert space, such a map is a small perturbation of an automorphism or an anti-automorphism.     

G-narrow operators and G-rich subspaces

Let X and Y be Banach spaces. An operator G: X → Y is a Daugavet center if ‖G +T‖ = ‖G‖+‖T‖ for every rank-1 operator T. For every Daugavet center G we consider a certain set of operators acting from X, so-called G-narrow operators. We prove that if J is the natural embedding of Y into a Banach space E, then E can be equivalently renormed so that an operator T is (J ○ G)-narrow if and only if T is G-narrow. We study G-rich subspaces of X: Z ? X is called G-rich if the quotient map q: X → X/Z is G-narrow.     

Michael's problem and weakly infinite-dimensional spaces

Let X be a compact Hausdorff space. Suppose that any multivalued map , where Y is a Gδ subset of a Banach space, such that the values of F are convex and closed in Y, has a continuous single-valued selection. Then we prove that X is weakly infinite-dimensional. This provides a partial solution of Gδ-problem, posed by Ernest Michael.     

A generalisation of the functional approach to compactness

A topological space X is compact iff the projection π:X×Y→Y is closed for any space Y. Taking this as a definition and then asking that π maps α-closed subspaces of X×Y onto β-closed subspaces of Y, for different closures α and β, extends the notion of compactness to include also examples of “asymmetric compactness” pursued in the article.Categorical closure operators and a so-called “functional approach to general topology” are employed to define and prove fundamental properties of compact objects and proper maps in this generalised setting.     

Consistent invertibility and Weyl's theorem

A Banach space operator T∈B(X) may be said to be “consistent in invertibility” provided that for each S∈B(X), TS and ST are either both or neither invertible. The induced spectrum contributes the conditions equivalent to various forms of “Weyl's theorem”.     

Ideals of Priestley powers of semilattices

Let X be a poset and Y an ordered space; X ^Y denotes the poset of continuous order-preserving maps from Y to X with the discrete (respectively, Scott, Lawson) topology. If S is a -semilattice, its ideal semilattice, and T a bounded distributive lattice with Priestley dual space P(T), it is shown that the following isomorphisms hold: Moreover, and sufficient conditions and necessary conditions for the isomorphism to hold are obtained (both necessary and sufficient if S is a distributive -semilattice). Received September 27, 1995; accepted in final form April 6, 1998.     

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.     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .