Banach lattices with the fatou property and optimal domains of kernel operators

New features of the Banach function space L¹_w(v), that is, the space of all v-scalarly integrable functions (with v any vector measure), are exposed. The Fatou property plays an essential role and leads to a new representation theorem for a large class of abstract Banach lattices. Applications are also given to the optimal domain of kernel operators taking their values in a Banach function space.     

Geometry and entropy of generalized rotation sets

For a continuous map f on a compact metric space we study the geometry and entropy of the generalized rotation set Rot(Φ). Here Φ = (?₁, ..., ? _m ) is a m-dimensional continuous potential and Rot(Φ) is the set of all µ-integrals of Φ and µ runs over all f-invariant probability measures. It is easy to see that the rotation set is a compact and convex subset of ? ^m . We study the question if every compact and convex set is attained as a rotation set of a particular set of potentials within a particular class of dynamical systems. We give a positive answer in the case of subshifts of finite type by constructing for every compact and convex set K in ? ^m a potential Φ = Φ(K) with Rot(Φ) = K. Next, we study the relation between Rot(Φ) and the set of all statistical limits Rot _Pt (Φ). We show that in general these sets differ but also provide criteria that guarantee Rot(Φ) = Rot _Pt (Φ). Finally, we study the entropy function w ? H(w),w ∈ Rot(Φ). We establish a variational principle for the entropy function and show that for certain non-uniformly hyperbolic systems H(w) is determined by the growth rate of those hyperbolic periodic orbits whose Φ-integrals are close to w. We also show that for systems with strong thermodynamic properties (sub-shifts of finite type, hyperbolic systems and expansive homeomorphisms with specification, etc.) the entropy function w ? H(w) is real-analytic in the interior of the rotation set.     

Spaces of p-integrable Functions with Respect to a Vector Measure

We study several properties of the Banach lattices L^p (m) and L^p_w (m) of p-integrable scalar functions and weakly p-integrable scalar functions with respect to a countably additive vector measure m. The relation between these two spaces plays a fundamental role in our analysis. This research has been partially supported by La Consejería de Educatión y Ciencia de la Junta de Andalucía.     

Φ-Harmonic functions on discrete groups and the first ℓΦ-cohomology

We study the first cohomology groups of a countable discrete group G with coefficients in a G-module ?^Φ(G), where Φ is an N-function of class Δ₂(0) ∩ ?₂(0). Developing the ideas of Puls and Martin-Valette for a finitely generated group G, we introduce the discrete Φ-Laplacian and prove a theorem on the decomposition of the space of Φ-Dirichlet finite functions into the direct sum of the spaces of Φ-harmonic functions and ?^Φ(G) (with an appropriate factorization). We prove also that if a finitely generated group G has a finitely generated infinite amenable subgroup with infinite centralizer then \(\bar H^1\) (G, ?^Φ(G)) = 0. In conclusion, we show the triviality of the first cohomology group for the wreath product of two groups one of which is nonamenable.     

A Komlós Theorem for abstract Banach lattices of measurable functions

Consider a Banach function space X(μ) of (classes of) locally integrable functions over a σ-finite measure space (Ω,Σ,μ) with the weak σ-Fatou property. Day and Lennard (2010) [9] proved that the theorem of Komlós on convergence of Cesàro sums in L¹[0,1] holds also in these spaces; i.e. for every bounded sequence n(fn) in X(μ), there exists a subsequence k(fnk) and a function f∈X(μ) such that for any further subsequence j(hj) of k(fnk), the series converges μ-a.e. to f. In this paper we generalize this result to a more general class of Banach spaces of classes of measurable functions — spaces L¹(ν) of integrable functions with respect to a vector measure ν on a δ-ring — and explore to which point the Fatou property and the Komlós property are equivalent. In particular we prove that this always holds for ideals of spaces L¹(ν) with the weak σ-Fatou property, and provide an example of a Banach lattice of measurable functions that is Fatou but do not satisfy the Komlós Theorem.     

Best approximation with wavelets in weighted Orlicz spaces

Democracy functions of wavelet admissible bases are computed for weighted Orlicz Spaces L ^??(w) in terms of the fundamental function of L ^??(w). In particular, we prove that these bases are greedy in L ^??(w) if and only if L ^??(w) =?L ^p (w), 1?<?p?<???. Also, sharp embeddings for the approximation spaces are given in terms of weighted discrete Lorentz spaces. For L ^p (w) the approximation spaces are identified with weighted Besov spaces.     

Real interpolation method on spaces of scalar integrable functions with respect to vector measures

For a given measurable space (Ω,Σ), and a vector measure m:Σ→X with values in a Banach space X we consider the spaces of p-power integrable and weakly integrable, respectively, functions with respect to the measure m, Lp(m) and , for 1?p<∞. In this note we describe the real interpolated spaces that we obtain when the K-method is applied to any couple of these spaces.     

Embeddings between weak Orlicz martingale spaces

Let Φ be an increasing and convex function on [0,∞) with Φ(0)=0 satisfying that for any α>0, there exists a positive constant Cα such that Φ(αt)?CαΦ(t), t>0. Let wLΦ denote the corresponding weak Orlicz space. We obtain some embeddings between vector-valued weak Orlicz martingale spaces by establishing the wLΦ-inequalities for martingale transform operators with operator-valued multiplying sequences. These embeddings are closely related to the geometric properties of the underlying Banach space. In particular, for any scalar valued martingale f=(fn)_n?1, we claim that

     

Vector measure Maurey–Rosenthal-type factorizations and -sums of -spaces

Consider a vector measure of bounded variation m with values in a Banach space and an operator T:XL¹(m), where L¹(m) is the space of integrable functions with respect to m. We characterize when T can be factorized through the space L²(m) by means of a multiplication operator given by a function of L²(|m|), where |m| is the variation of m, extending in this way the Maurey–Rosenthal Theorem. We use this result to obtain information about the structure of the space L¹(m) when m is a sequential vector measure. In this case the space L¹(m) is an ℓ-sum of L¹-spaces.     

Positive Representations of L 1 of a Vector Measure

We characterize the vector measures n on a Banach lattice such that the map provides a quasi-norm which is equivalent to the canonical norm of the space L₁(n) of integrable functions as an specific type of transformations of positive vector measures that we call cone-open transformations. We also prove that a vector measure m on a Banach space X constructed as a cone-open transformation of a positive vector measure can be considered in some sense as a positive vector measure by defining a new order on X.     

Ordered representations of spaces of integrable functions

Let X be a Banach space, (Ω,Σ) a measurable space and let m : Σ → X be a (countably additive) vector measure. Consider the corresponding space of integrable functions L¹(m). In this paper we analyze the set of (countably additive) vector measures n satisfying that L¹(n) = L¹(m). In order to do this we define a (quasi) order relation on this set to obtain under adequate requirements the simplest representation of the space L¹(m) associated to downward directed subsets of the set of all the representations. This research has been partially supported by La Junta de Andalucía. The support of D.G.I. under project MTM2006–11690–C02 (M.E.C. Spain) and FEDER is gratefully acknowledged.     

Some discontinuous translation-invariant linear forms

The author proved in [3] that every translation-invariant linear form on $\text{D}$(Rⁿ), as well as on other spaces of test functions and distributions, is necessarily continuous. The same result has also been proved for the Hilbert space L²(G) where G is a compact connected Abelian group. In contrast to this it is proved here that there do exist discontinuous translation-invariant linear forms on the Banach spaces l₁(Z) and L¹(R), and on the Hibert spaces L²(D) and L²(R). Here Z denotes the additive group of the integers, D denotes the totally disconnected compact Abelian Cantor discontinuum group, and R denotes the additive group of the real numbers. The proofs divide into two parts: A general criterion (Theorem 1) and proofs that the spaces l₁(Z), L²(D), L²(R), and L¹(R) satisfy this criterion (Theorems 2, 3, 4, and 5, respectively).     

The biased graphs whose matroids are binary

A biased graph Φ consists of a graph and a class of distinguished polygons such that no theta subgraph contains exactly two distinguished polygons. There are three matroids naturally associated with Φ: the bias matroid G(Φ), the lift matroid L(Φ), and the complete lift L₀(Φ). We characterize those Φ for which any of these matroids is binary.     

On convergence of sections of sequences in Banach spaces

An elementary proof of the (known) fact that each element of the Banach space? _w ^p (X) of weakly absolutelyp-summable sequences (if 1≤p<∞) in the Banach spaceX is the norm limit of its sections if and only if each element of? _w ^p (X) is a norm null sequence inX, is given. Little modification to this proof leads to a similar result for a family of Orlicz sequence spaces. Some applications to spaces of compact operators on Banach sequence spaces are considered.     

On extension of isometries and approximate isometries between unit spheres

In this paper, we will study the isometric extension problem for L¹-spaces and prove that every surjective isometry from the unit sphere of L¹(μ) onto that of a Banach space E can be extended to a linear surjective isometry from L¹(μ) onto E. Moreover, we introduce the approximate isometric extension problem and show that, if E and F are Banach spaces and E satisfies the property (m) (special cases are L^∞(Γ), C₀(Ω) and L^∞(μ)), then every bijective ?-isometry between the unit spheres of E and F can be extended to a bijective 5?-isometry between their closed unit balls. At last, we will give an example to show that the surjectivity assumption cannot be omitted. Using this, we solve the non-surjective isometric extension problem in the negative.     

Radon-Nikodým derivatives for vector measures belonging to Köthe function spaces

Let m, n be a couple of vector measures with values on a Banach space. We develop a separation argument which provides a characterization of when the Radon-Nikodým derivative of n with respect to m—in the sense of the Bartle-Dunford-Schwartz integral—exists and belongs to a particular sublattice Z(μ) of the space of integrable functions L¹(m). We show that this theorem is in fact a particular feature of our separation argument, which can be applied to prove other results in both the vector measure and the function space settings.     

Ranges of positive contractive projections in Nakano spaces

We show that in any nontrivial Nakano space X=L_p(·) (Ω, Σ, μ) with essentially bounded random exponent function p(·), the range Y = R(P) of a positive contractive projection P is itself representable as a Nakano space L_pY(·) (Ω_Y Σ_Y, ν_Y), for a certain measurable set Y_Ω⊆Ω (the support of the range), a certain sub-sigma ring Y_Σ⊆Σ (with maximal element Ω_Y) naturally determined by the lattice structure of Y, and a semi-finite measure ν_Y, namely the restriction of some measure Ω on E which is equivalent to μ. Furthermore, we show that the random exponent p_Y(·) associated with such a range can be taken to be the restriction to Ω_Y of the random exponent p(·) (this restriction turns out to be Σ_Y-measurable). As an application of this result, we find Banach lattice isometric characterizations of suitable classes of Nakano spaces. These classes are defined in terms of an important lattice-isometric invariant of Nakano spaces, the essential range of the variable exponent.     

Uniqueness of complex structure and real hereditarily indecomposable Banach spaces

There exists a real hereditarily indecomposable Banach space X=X(C) (respectively X=X(H)) such that the algebra L(X)/S(X) is isomorphic to C (respectively to the quaternionic division algebra H).Up to isomorphism, X(C) has exactly two complex structures, which are conjugate, totally incomparable, and both hereditarily indecomposable. So there exist two Banach spaces which are isometric as real spaces but totally incomparable as complex spaces. This extends results of J. Bourgain and S. Szarek [J. Bourgain, Real isomorphic complex Banach spaces need not be complex isomorphic, Proc. Amer. Math. Soc. 96 (2) (1986) 221-226; S. Szarek, On the existence and uniqueness of complex structure and spaces with “few” operators, Trans. Amer. Math. Soc. 293 (1) (1986) 339-353; S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444], and proves that a theorem of G. Godefroy and N.J. Kalton [G. Godefroy, N.J. Kalton, Lipschitz-free Banach spaces, Studia Math. 159 (1) (2003) 121-141] about isometric embeddings of separable real Banach spaces does not extend to the complex case.The quaternionic example X(H), on the other hand, has unique complex structure up to isomorphism; other examples with a unique complex structure are produced, including a space with an unconditional basis and non-isomorphic to l₂. This answers a question of S. Szarek in [S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444].     

L 1-spaces of vector measures defined on δ-rings

Given a vector measure v defined on a -ring with values in a Banach space, we study the relation between the analytic properties of the measure v and the lattice properties of the space L¹(v) of real functions which are integrable with respect to v.Received: 22 April 2004; revised: 5 October 2004     

Polynomial numerical indices of Banach spaces with absolute norm

We study when a Banach space with absolute norm may have polynomial numerical indices equal to one. In the real case, we show that a Banach space X with absolute norm, which has the Radon-Nikodým property or is Asplund, satisfies n⁽²⁾(X)<1 unless it is one-dimensional. In the complex case, we show that the only Banach spaces X with absolute norm and the Radon-Nikodým property which satisfy n⁽²⁾(X)=1 are the spaces . Also, the only Asplund complex space X with absolute norm which satisfies n⁽²⁾(X)=1 is c₀(Λ).