Spaces of Vector-Valued Integrable Functions and Localization of Bounded Subsets

We study the structure of bounded sets in the space L¹{E} of absolutely integrable Lusin-measurable functions with values in a locally convex space E. The main idea is to extend the notion of property (B) of Pietsch, defined within the context of vector-valued sequences, to spaces of vector-valued functions. We prove that this extension, that at first sight looks more restrictive, coincides with the original property (B) for quasicomplete spaces. Then we show that when dealing with a locally convex space, property (B) provides the link to prove the equivalence between Radon–Nikodym property (the existence of a density function for certain vector measures) and the integral representation of continuous linear operators T: L¹ → E, a fact well-known for Banach spaces. We also study the relationship between Radon–Nikodym property and the characterization of the dual of L¹{E} as the space L^∞{E′_b}.     

The point of continuity property in Banach spaces not containing ℓ<Subscript>1</Subscript>

We obtain a local characterization of the point of continuity property for bounded subsets in Banach spaces not containing basic sequences equivalent to the standard basis of ℓ₁ and, as a consequence, we deduce that, in Banach spaces with a separable dual, every closed, bounded, convex and nonempty subset failing the point of continuity property contains a further subset which can be seen inside the set of Borel regular probability measures on the Cantor set in a weak-star dense way. Also, we characterize in terms of trees the point of continuity property of Banach spaces not containing ℓ₁, by proving that a Banach space not containing ℓ₁ satis- fies the point of continuity property if, and only if, every seminormalized weakly null tree has a boundedly complete branch.     

A Gelfand-Phillips Property with Respect to the Weak Topology

We consider a Gelfand-Phillips type property for the weak topology. The main results that we obtain are (1) for certain Banach spaces, E^?_? F inherits this property from E and F, and (2) the spaces L^p(μ, E) have this property when E does. A subset A of a Banach space E is a limited set if every (bounded linear) operator T:E → c₀ maps A onto a relatively compact subset of c₀. The Banach space E has the Gelfand-Phillips property if every limited set is relatively compact. In this note, we study the analogous notions set in the weak topology. Thus we say that A ? E is a Grothendieck set if every T: E → c₀ maps A onto a relatively weakly compact set; and E is said to have the weak type GP property if every Grothendieck set in E is relatively weakly compact. In the papers [3, 4 and 6], it is shown among other results that the ?-tensor product E and the spaces L^p(μ, E) inherit the Gelfand-Phillips property from E and F. In this paper, we study the same questions for the weak type GP property. It is easily verified that continuous linear images of Grothendieck sets are Grothendieck and that the weak type GP property is inherited by subspaces. Among the spaces with the weak type GP property one easily finds the separable spaces, and more generally, spaces with a weak* sequentially compact dual ball. Also, C(K) spaces where K is (DCSC) are weak type GP (see [3] and the discussion before Corollary 4 below). A Grothendieck space (a Banach space whose unit ball is a Grothendieck set) has the weak type GP if and only if it is reflexive.     

Asplund operators and holomorphic maps

LetE andF be locally convex topological vector spaces. A holomorphic mapf: E→F is defined to be an Asplund map if it takes the separable subsets of a neighbourhood of eacha∈E into absolutely convex weakly metrisable subsets ofF; a Banach space is an Asplund space if and only if its identity map has this property. We show that a continuous linear map from a quasinormable locally convex spaceE into a Banach spaceF is an Asplund map if and only if it factors through an Asplund space. IfE andF are both Banach spaces, then a holomorphic mapf: E→F is an Asplund map if and only if its derivative maps factor through Asplund spaces for eacha∈E. This is true if and only if such a factorisation holds ata=0. Part of this research was done during a visit to the University of Namibia, whose financial support is gratefully acknowledged This article was processed by the author using the Springer-Verlag T_EX mamath macro package 1990     

On unitary representability of topological groups

We prove that the additive group (E*, τ _k (E)) of an -Banach space E, with the topology τ _k (E) of uniform convergence on compact subsets of E, is topologically isomorphic to a subgroup of the unitary group of some Hilbert space (is unitarily representable). This is the same as proving that the topological group (E*, τ _k (E)) is uniformly homeomorphic to a subset of for some κ. As an immediate consequence, preduals of commutative von Neumann algebras or duals of commutative C*-algebras are unitarily representable in the topology of uniform convergence on compact subsets. The unitary representability of free locally convex spaces (and thus of free Abelian topological groups) on compact spaces, follows as well. The above facts cannot be extended to noncommutative von Neumann algebras or general Schwartz spaces. Research partially supported by Spanish Ministry of Science, grant MTM2008-04599/MTM. The foundations of this paper were laid during the author’s stay at the University of Ottawa supported by a Generalitat Valenciana grant CTESPP/2004/086.     

Uniqueness of <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroups on a general locally convex vector space and an application

The main purpose is to generalize a theorem of Arendt about uniqueness of C ₀-semigroups from Banach space setting to general locally convex vector spaces. More precisely, we show that cores are the only domains of uniqueness for C ₀-semigroups on locally convex spaces. As an application, we find a necessary and sufficient condition for that the mass transport equation has one unique L ¹(ℝ ^d ,dx) weak solution.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

Boundedly Compatible Webs and Strict Mackey Convergence

We look for characterizations of those locally convex spaces that satisfy the strict Mackey convergence condition within the context of spaces with webs. We will say that a locally convex space has a boundedly compatible web if it has a web of absolutely convex sets whose members behave like zero neighborhoods in a metrizable locally convex space. It will be shown that these locally convex spaces satisfy the strict Mackey convergence condition. One consequence of this result will be a characterization of boundedly retractive inductive limits. We will also prove that if E is locally complete and webbed, then the strict Mackey convergence condition is equivalent to E having a boundedly compatible web.     

An Implicit Function Theorem in Locally Convex Spaces

The notion of strict differentiability in BANACH spaces is generalized to locally convex spaces in such a way, that computations in the bornological operator ideal of bounded operators play the role of norm estimations. We get a remarkably rich theory including not only the easy formulas like the chain rule, but also the deep theorems like the implicit function theorem. The BANACH space proofs can be translated almost literally.     

PROJECTIONS ON OPERATOR DUALS

Abstract

We discuss the existence of a projection with kernel K_b(E,F) ¹ (the annihilator of the quasi-compact operators) on the dual space of the space L _b,(E, F) of continous linear operators. Our results are proved in the context of Hausdorff locally convex spaces, but also provide extensions of recent results in the context of Banach spaces.     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

DIEUDONNÉ—KÖTHE DUALITY FOR VECTOR—VALUED FUNCTION SPACES: LOCALIZATION OF BOUNDED SETS AND BARRELLEDNESS

Abstract

We study Dieudonné-Köthe spaces of Lusin-measurable functions with values in a locally convex space. Let Λ be a solid locally convex lattice of scalar-valued measurable functions defined on a measure space Ω. If E is a locally convex space, define Λ {E} as the space of all Lusinmeasurable functions f: Ω → E such that q(f(·)) is a function in Λ for every continuous seminorm q on E. The space Λ {E} is topologized in a natural way and we study some aspects of the locally convex structure of A {E}; namely, bounded sets, completeness, duality and barrelledness. In particular, we focus on the important case when Λ and E are both either metrizable or (DF)-spaces and derive good permanence results for reflexivity when the density condition holds.     

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L _p,k, and the finite field F(p ^k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ₁ of the variety V(L _p,k) generated by L _p,k into the variety V(F(p ^k)) generated by F(p ^k) and an interpretation Φ₂ of V(F(p ^k)) into V(L _p,k) such that Φ₂Φ₁(B) = B for every B ε V(L _p,k) and Φ₁Φ₂(R) = R for every R ε V(F(p ^k)).     

Intersections of Fréchet Schwartz spaces and their duals

In this article the structure of the intersections of a Fréchet Schwartz space F and a (DFS)-space E=ind _n E _n is investigated. A complete characterization of the locally convex properties of E ⋃ F is given. This space is boraological if and only if the inductive limit E + F is complete. The results are based on recent progress on the structure of (LF)-spaces. The article includes examples of (FS)-spaces F and (DFS)-spaces E such that there are sequentially continuous linear forms on E ⋃ F which are not continuous, thus answering a question of Langenbruch. Acknowledgement: The results in this article were obtained during the author’s stay at the University of Paderborn, Germany, during the academic year 1994/95. The support of the Alexander von Humboldt Stiftung is greatly appreciated. The content of the article was presented as an invited paper in a Special Session of the AMS meeting in New York in April, 1996.     

A characterization of distinguished Fréchet spaces

Bierstedt and Bonet proved in 1988 that if a metrizable locally convex space E satisfies the Heinrich's density condition, then every bounded set in the strong dual (E ′, β (E ′, E)) of E is metrizable; consequently E is distinguished, i.e. (E ′, β (E ′, E)) is quasibarrelled. However there are examples of distinguished Fréchet spaces whose strong dual contains nonmetrizable bounded sets. We prove that a metrizable locally convex space E is distinguished iff every bounded set in the strong dual (E ′, β (E ′, E)) has countable tightness, i.e. for every bounded set A in (E ′, β (E ′, E)) and every x in the closure of A there exists a countable subset B of A whose closure contains x. This extends also a classical result of Grothendieck. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Diagonal sequence property in Banach spaces with weaker topologies

We investigate the diagonal sequence property in Banach spaces with weaker topologies. In particular, we present examples of Banach spaces with weaker locally convex topologies which have the diagonal sequence property but are not Fréchet–Urysohn. The examples answer negatively a question of Averbukh and Smolyanov. We give also a very simple proof of the fact that each Banach space contains a subset A whose weak closure includes 0, but 0 is not contained in the weak closure of any bounded subset of A.     

Some results related to interpolation on hardy spaces of regular martingales

Let (Ω,F, P) be a probability space and {F _n}_n≥0 a regular increasing sequence of sub-σ-fields ofF. LetH ₁(Ω) be the usual Hardy space ofF _n-martingales. We show that the couple (H ₁(Ω),L _∞(Ω)) is a partial retract of (L ₁(Ω),L _∞(Ω)). It is also proved that (L _p(Ω),BMO(Ω)) is a partial retract of (L _p(Ω),L _∞(Ω)) for all 1<p<∞.     

On some relationships between biorthogonal systems,linear topologies and the weak‐AFPP

In this paper, we obtain new results for the weak‐AFPP in abstract spaces by exploiting biorthogonal systems techniques. Firstly, we investigate the strong‐AFPP on countably infinite dimensional Hausdorff locally convex spaces. Spaces of this class are shown to be sequentially complete iff they have the hereditary FPP for totally bounded, closed convex sets. This might open a research line for the analysis of weak‐AFPP in such frames. In connection, we provide a simple criterion for the containement of ?₁‐sequences in terms of strongly‐equicontinuous biorthogonal systems. We then establish a few results concerning the existence of Hausdorff finer vector topologies on abstract spaces having as prescribed condition the existence of such systems. The proofs are based on methods of Peck and Porta concerning building of finer vector topologies, and a classical construction of Singer which allows us to prove under rather natural conditions the existence of equicontinuous biorthogonal systems in metrizable locally convex spaces. These results are compatible with the failure of the weak‐AFPP. We also study the inverse problem by proving that every infinite dimensional vector space admits a (non‐locally convex) Hausdorff vector topology which is complete, non‐metrizable and is compatible with a bounded Hamel Schauder basis. It is shown further that such a topology has the ‐AFPP, where is the linear span of coefficient functionals associated to a Hamel basis. Finally, inspired by a result of Shapiro, we observe that if X is a non‐locally convex F‐space with an absolute basis, then the weak‐AFPP is equivalent to the fact that every bounded convex subset of X is compact.     

Grothendieck Spaces of Compact Operators

In this paper we study the Grothendieck spaces among the operator spaces L_e(E'_c, F). Conditions under which L_e(E'_c, F) contains complemented copy of c₀ are given. We apply these results to spaces of the type C_b(X; F) endowed with strict topologies.     

Solution to König's Graph Embedding Problem

Let H : L_p ( R ) → L_p( R ), 1 < p < ∞ be the real HILBERT transform. A bounded, linear operator u:E → F (E, F BANACH spaces) is a HT-operator, if the mapping u ? H : E ? L₂( R , E) → L₂( R , F) has a bounded, linear extension to L₂( R ) → L₂( R , F). For E = F and u = id_E BOURGAIN [3] and BURKHOLDER [5] have shown that this holds if and only if E ? UMD. We study these HT-operators and, in particular, we construct a HT-operator which is not UMD-factorable. Furthermore, we show that a UMD-space E is a HILBERT space if and only if |id_E ? H| = 1.