The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

Epi-topology on spaces of lower semicontinuous functions into partially ordered spaces and hyperspaces

The concept of lower semicontinuity is extended to functions mapping into partially ordered spaces. A study is made of spaces of such lower semicontinuous functions under the epi-topology. These spaces are subspaces of hyperspaces with the Fell topology. The closure of such a function space in the hyperspace is characterized for certain spaces. A continuous selection theorem is established, showing that most such function spaces are not ech-complete.     

Measures of weak noncompactness in Banach spaces

Measures of weak noncompactness are formulae that quantify different characterizations of weak compactness in Banach spaces: we deal here with De Blasi's measure ω and the measure of double limits γ inspired by Grothendieck's characterization of weak compactness. Moreover for bounded sets H of a Banach space E we consider the worst distance k(H) of the weak^∗-closure in the bidual of H to E and the worst distance ck(H) of the sets of weak^∗-cluster points in the bidual of sequences in H to E. We prove the inequalities

     

Linearly ordered compacta and Banach spaces with a projectional resolution of the identity

We construct a compact linearly ordered space Kω₁ of weight ℵ₁, such that the space C(Kω₁) is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, Kω₁ is a continuous image of a Valdivia compact and every separable subspace of C(Kω₁) is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.     

Extensions for Sobolev mappings between manifolds

We consider two compact Riemannian manifoldsM andN, such thatM has a boundary (but notN). We address the extension problem in the Sobolev class, namely, we investigate the question: foru W ^1–1/p,pM,N is there a mapV inW ^1/p(M,N) such thatV=u on M. Various results are given, and an emphasis is put on the special (simple) caseN=S ¹.     

Densely two-valued metric projections in uniformly convex Banach spaces

For every uniformly convex Banach spaceX with dimX2 there is a residual setU in the Hausdorff metric spaceB(X) of bounded and closed sets inX such that the metric projection generated by a set fromU is two-valued and upper semicontinuous on a dense and everywhere continual subset ofX. For any two closed and separated subsetsM ₁ andM ₂ ofX the points on the equidistant hypersurface which have best approximations both inM ₁ andM ₂ form a dense G set in the induced topology.The author is partially supported by the National Fund for Scientific Research at the Bulgarian Ministry of Science and Education under contract MM 408/94.     

Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

We characterize metric spaces X whose hyperspaces X² (or Bd(X)) of non-empty closed (bounded) subsets, endowed with the Hausdorff metric, are absolute [neighborhood] retracts.     

Function spaces from core compact coherent spaces to continuous B-domains

It is proved in this paper that for a continuous B-domain L, the function space [X→L] is continuous for each core compact and coherent space X. Further, applications are given. It is proved that:

(1)

the function space from the unit interval to any bifinite domain which is not an L-domain is not Lawson compact;

(2)

the Isbell and Scott topologies on [X→L] agree for each continuous B-domain L and core compact coherent space X.

     

Locally bounded set-valued mappings and monotone countable paracompactness

We prove that the following statements are equivalent for a space X: (1) X is monotonically countably paracompact; (2) for every metric space Y there exists an operator Φ assigning to each locally bounded mapping , a locally bounded l.s.c. mapping with ?⊂Φ(?) such that Φ(?)⊂Φ(?^′) whenever ?⊂?^′, where B(Y) is the set of all non-empty closed bounded sets of Y; (3) for every metric space Y, there exist operators Φ and Ψ assigning to each u.s.c. mapping , an l.s.c. mapping and a u.s.c. mapping with ?⊂Φ(?)⊂Ψ(?) such that Φ(?)⊂Φ(?^′) and Ψ(?)⊂Ψ(?^′) whenever ?⊂?^′.     

Pre-compact families of finite sets of integers and weakly null sequences in Banach spaces

In this paper we use the Nash-Williams theory of fronts and barriers to study weakly null sequences in Banach spaces. Specifically, we show how barriers relate to the classical fact that C(K) with K a countable compactum is c₀-saturated. Another result relates the notion of a barrier to the Maurey-Rosenthal example of a weakly null sequence with no unconditional subsequences. In particular, we construct examples of weakly-null sequences which are α-unconditional but not β-unconditional.     

The heart of the Banach spaces

Consider an exact category in the sense of Quillen. Assume that in this category every morphism has a kernel and that every kernel is an inflation. In their seminal 1982 paper, Beĭlinson, Bernstein and Deligne consider in this setting a t-structure on the derived category and remark that its heart can be described as a category of formal quotients. They further point out that the category of Banach spaces is an example, and that here a similar category of formal quotients was studied by Waelbroeck already in 1962. In the current article, we give a direct and rigorous construction of the latter category by considering first the monomorphism category. Then we localize with respect to a multiplicative system. Our approach gives rise to a heart-like category not only for the Banach spaces. In particular, the main results apply to categories in which the set of all kernel–cokernel pairs does not form an exact structure. Such categories arise frequently in functional analysis.     

Filter spaces

The category FIL of filter spaces and cauchy maps is a topological universe. This paper establishes the foundation for a completion theory forT ₂ filter spaces.     

Ideal convergent subseries in Banach spaces

Abstract

Assume that is an ideal on ?, and ∑_n x_n is a divergent series in a Banach space X. We study the Baire category, and the measure of the set A() := {t ∈ {0, 1}^?: ∑_n t(n)x_n is -convergent}. In the category case, we assume that has the Baire property and ∑_n x_n is not unconditionally convergent, and we deduce that A() is meager. We also study the smallness of A() in the measure case when the Haar probability measure λ on {0, 1}^? is considered. If is analytic or coanalytic, and ∑_n x_n is -divergent, then λ(A()) = 0 which extends the theorem of Dindo?, ?alát and Toma. Generalizing one of their examples, we show that, for every ideal on ?, with the property of long intervals, there is a divergent series of reals such that λ(A(Fin)) = 0 and λ(A()) = 1.     

A remark on weakly convex continuous mappings in topological linear spaces

Let C be a compact convex subset of a Hausdorff topological linear space and T:C→C a continuous mapping. We characterize those mappings T for which T(C) is convexly totally bounded.     

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.     

Isometries of some Banach spaces of analytic functions

We characterize the surjective isometries of a class of analytic functions on the disk which include the Analytic Besov spaceB _p and the Dirichlet spaceD ^p . In the case ofB _p we are able to determine the form of all linear isometries on this space. The isometries for these spaces are finite rank perturbations of integral operators. This is in contrast with the classical results for the Hardy and Bergman spaces where the isometries are represented as weighted compositions induced by inner functions or automorphisms of the disk.     

A class of Banach spaces with few non-strictly singular operators

We construct a family (X_γ) of reflexive Banach spaces with long (countable as well as uncountable) transfinite bases but with no unconditional basic sequences. The method we introduce to achieve this allows us to considerably control the structure of subspaces of the resulting spaces as well as to precisely describe the corresponding spaces on non-strictly singular operators. For example, for every pair of countable ordinals γ,β, we are able to decompose every bounded linear operator from X_γ to X_β as the sum of a diagonal operator and an strictly singular operator. We also show that every finite-dimensional subspace of any member X_γ of our class can be moved by and (4+?)-isomorphism to essentially any region of any other member X_δ or our class. Finally, we find subspaces X of X_γ such that the operator space L(X,X_γ) is quite rich but any bounded operator T from X into X is a strictly singular pertubation of a scalar multiple of the identity.     

Genericity and amalgamation of classes of Banach spaces

We study universality problems in Banach space theory. We show that if A is an analytic class, in the Effros-Borel structure of subspaces of C([0,1]), of non-universal separable Banach spaces, then there exists a non-universal separable Banach space Y, with a Schauder basis, that contains isomorphs of each member of A with the bounded approximation property. The proof is based on the amalgamation technique of a class C of separable Banach spaces, introduced in the paper. We show, among others, that there exists a separable Banach space R not containing L¹(0,1) such that the indices β and rND are unbounded on the set of Baire-1 elements of the ball of the double dual R∗∗ of R. This answers two questions of H.P. Rosenthal.We also introduce the concept of a strongly bounded class of separable Banach spaces. A class C of separable Banach spaces is strongly bounded if for every analytic subset A of C there exists Y∈C that contains all members of A up to isomorphism. We show that several natural classes of separable Banach spaces are strongly bounded, among them the class of non-universal spaces with a Schauder basis, the class of reflexive spaces with a Schauder basis, the class of spaces with a shrinking Schauder basis and the class of spaces with Schauder basis not containing a minimal Banach space X.     

Extreme differences between weakly open subsets and convex combinations of slices in Banach spaces

We show that every Banach space containing isomorphic copies of _c0$c_0$ can be equivalently renormed so that every nonempty relatively weakly open subset of its unit ball has diameter 2 and, however, its unit ball still contains convex combinations of slices with diameter arbitrarily small, which improves in an optimal way the known results about the size of this kind of subsets in Banach spaces.