EMBEDDING C0 IN THE SPACE OF PETTIS INTEGRABLE FUNCTIONS

Abstract

We show that the normed space of μ-measurable Pettis integrable functions on a probability space with values in a Banach space X contains a copy of the sequence space c₀ if and only if X contains a copy of c₀. In this case, if the probability μ has infinite range, a copy of c₀ consisting of μ-measurable functions can be found, such that it is complemented in the bigger space of all weakly μ-measurable Pettis integrable functions.     

$$\mathfrak{S}$$ -Uniform Scalar Integrability and Strong Laws of Large Numbers for Pettis Integrable Functions with Values in a Separable Locally Convex Space

Generalizing techniques developed by Cuesta and Matrán for Bochner integrable random vectors of a separable Banach space, we prove a strong law of large numbers for Pettis integrable random elements of a separable locally convex space E. This result may be seen as a compactness result in a suitable topology on the set of Pettis integrable probabilities on E.     

The weak McShane integral

We present a weaker version of the Fremlin generalized McShane integral (1995) for functions defined on a σ-finite outer regular quasi Radon measure space (S,Σ, T, µ) into a Banach space X and study its relation with the Pettis integral. In accordance with this new method of integration, the resulting integral can be expressed as a limit of McShane sums with respect to the weak topology. It is shown that a function f from S into X is weakly McShane integrable on each measurable subset of S if and only if it is Pettis and weakly McShane integrable on S. On the other hand, we prove that if an X-valued function is weakly McShane integrable on S, then it is Pettis integrable on each member of an increasing sequence (S _l ) _l?1 of measurable sets of finite measure with union S. For weakly sequentially complete spaces or for spaces that do not contain a copy of c ₀, a weakly McShane integrable function on S is always Pettis integrable. A class of functions that are weakly McShane integrable on S but not Pettis integrable is included.     

On Pettis Integrability

Assuming that (Ω, Σ, μ) is a complete probability space and X a Banach space, in this paper we investigate the problem of the X-inheritance of certain copies of c ₀ or l_￥\ell _\infty in the linear space of all [classes of] X-valued μ-weakly measurable Pettis integrable functions equipped with the usual semivariation norm.     

THE COMPLETENESS PROBLEM IN SPACES OF PETTIS INTEGRABLE FUNCTIONS

Abstract

Two subspaces of the space of Banach space valued Pettis integrable functions are considered: the space P(μ, X, var) of Pettis integrable functions with integrals of finite variation in a Banach space X and LLN(μ,X,var), the space of functions satisfying the law of large numbers. It is proved that LLN(μ,X*,var) is always complete and P(μ, X*,var) is complete if Martin's axiom and the perfectness of μ are assumed. Moreover, a non-trivial example of a non-conjugate Banach space X with non-complete P(μ, X, var) is presented.     

Decomposability in the space of HKP‐integrable functions

In this paper we introduce the notion of decomposability in the space of Henstock‐Kurzweil‐Pettis integrable (for short HKP‐integrable) functions. We show representations theorems for decomposable sets of HKP‐integrable or Henstock integrable functions, in terms of the family of selections of suitable multifunctions.     

Birkhoff integral for multi-valued functions

The aim of this paper is to study Birkhoff integrability for multi-valued maps , where (Ω,Σ,μ) is a complete finite measure space, X is a Banach space and cwk(X) is the family of all non-empty convex weakly compact subsets of X. It is shown that the Birkhoff integral of F can be computed as the limit for the Hausdorff distance in cwk(X) of a net of Riemann sums ∑_nμ(A_n)F(t_n). We link Birkhoff integrability with Debreu integrability, a notion introduced to replace sums associated to correspondences when studying certain models in Mathematical Economics. We show that each Debreu integrable multi-valued function is Birkhoff integrable and that each Birkhoff integrable multi-valued function is Pettis integrable. The three previous notions coincide for finite dimensional Banach spaces and they are different even for bounded multi-valued functions when X is infinite dimensional and X∗ is assumed to be separable. We show that when F takes values in the family of all non-empty convex norm compact sets of a separable Banach space X, then F is Pettis integrable if, and only if, F is Birkhoff integrable; in particular, these Pettis integrable F's can be seen as single-valued Pettis integrable functions with values in some other adequate Banach space. Incidentally, to handle some of the constructions needed we prove that if X is an Asplund Banach space, then cwk(X) is separable for the Hausdorff distance if, and only if, X is finite dimensional.     

Copies of c 0 in the space of Pettis integrable functions with integrals of finite variation

Let (Ω,Σ,μ) be a complete finite measure space and X a Banach space. If all X-valued Pettis integrals defined on (Ω,Σ,μ) have separable ranges we show that the space of all weakly μ-measurable (classes of scalarly equivalent) X-valued Pettis integrable functions with integrals of finite variation, equipped with the variation norm, contains a copy of?c ₀ if and only if X does.     

COMPLEMENTED COPIES OF c 0 IN THE SPACE OF PETTIS INTEGRABLE FUNCTIONS

Abstract

Let X be a Banach space containing a copy of c0, then the space of Pettis integrable functions defined from any perfect atomless measure space to X, contains a complemented copy of c0.     

Vitali type convergence theorems for Banach space valued integrals

Let(Ω,Σ,μ)be a complete probability space and let X be a Banach space.We introduce the notion of scalar equi-convergence in measure which being applied to sequences of Pettis integrable functions generates a new convergence theorem.We also obtain a Vitali type I-convergence theorem for Pettis integrals where I is an ideal on N.     

NOWHERE WEAK DIFFERENTIABILITY OF THE PETTIS INTEGRAL

Abstract

For an arbitrary infinite-dimensional Banach space 𝔛, we construct examples of strongly-measurable 𝔛-valued Pettis integrable functions whose indefinite Pettis integrals are nowhere weakly differentiable; thus, for these functions the Lebesgue Differentiation Theorem fails rather spectacularly. We also relate the degree of nondifferentia-bility of the indefinite Pettis integral to the cotype of 𝔛, from which it follows that our examples are reasonably sharp.     

Measurable selectors and set-valued Pettis integral in non-separable Banach spaces

Kuratowski and Ryll-Nardzewski's theorem about the existence of measurable selectors for multi-functions is one of the keystones for the study of set-valued integration; one of the drawbacks of this result is that separability is always required for the range space. In this paper we study Pettis integrability for multi-functions and we obtain a Kuratowski and Ryll-Nardzewski's type selection theorem without the requirement of separability for the range space. Being more precise, we show that any Pettis integrable multi-function F:Ω→cwk(X) defined in a complete finite measure space (Ω,Σ,μ) with values in the family cwk(X) of all non-empty convex weakly compact subsets of a general (non-necessarily separable) Banach space X always admits Pettis integrable selectors and that, moreover, for each A∈Σ the Pettis integral coincides with the closure of the set of integrals over A of all Pettis integrable selectors of F. As a consequence we prove that if X is reflexive then every scalarly measurable multi-function F:Ω→cwk(X) admits scalarly measurable selectors; the latter is also proved when (X^∗,w^∗) is angelic and has density character at most ω₁. In each of these two situations the Pettis integrability of a multi-function F:Ω→cwk(X) is equivalent to the uniform integrability of the family . Results about norm-Borel measurable selectors for multi-functions satisfying stronger measurability properties but without the classical requirement of the range Banach space being separable are also obtained.     

DE LA VALLÉE POUSSIN'S THEOREM AND WEAKLY COMPACT SETS IN ORLICZ SPACES

Abstract

The classical theorem of Dunford and Pettis identifies the bounded, uniformly integrable subsets of L¹(μ) with the relatively weakly compact sets. Another characterization of uniform integrability is given in a theorem of De La Vallée Poussin which states that a subset K of L¹ (μ) is bounded and uniformly integrable if and only if there is an N-function F so that sup{f F(f)dμ: f ε K} < ∞. De La Vallée Poussin's theorem is the focal point of the fmt part of this paper as well as the driving force for the results in the second part. We refine and improve this theorem in several directions. The theorem of De La Vallée Poussin does not, for instance, specify just how well the function F can be chosen. It gives little additional information in case the set in question is relatively norm compact in L¹ (μ). Finally it gives no information on the structure of the set in the corresponding Band space of F-integrable functions. More specifically we establish the fact that a subset K of L¹ is relatively compact if and only if there is an N-function F ε δ' so that K is relatively compact in L*_F. Furthermore we prove that a subset K of L¹ is relatively weakly compact if and only if there is an N-function F ε δ' so that K is relatively weakly compact in L*_F. We then go on to show that a large class of non-reflexive Orlicz spaces has the weak Band-Saks property, by establishing a result for these spaces, very similar to the Dunford-Pettis theorem for L¹.     

The Pettis integral for multi-valued functions via single-valued ones

We study the Pettis integral for multi-functions defined on a complete probability space (Ω,Σ,μ) with values into the family cwk(X) of all convex weakly compact non-empty subsets of a separable Banach space X. From the notion of Pettis integrability for such an F studied in the literature one readily infers that if we embed cwk(X) into ?_∞(BX^∗) by means of the mapping defined by j(C)(x^∗)=sup(x^∗(C)), then j○F is integrable with respect to a norming subset of B?_∞^∗(BX^∗). A natural question arises: When is j○F Pettis integrable? In this paper we answer this question by proving that the Pettis integrability of any cwk(X)-valued function F is equivalent to the Pettis integrability of j○F if and only if X has the Schur property that is shown to be equivalent to the fact that cwk(X) is separable when endowed with the Hausdorff distance. We complete the paper with some sufficient conditions (involving stability in Talagrand's sense) that ensure the Pettis integrability of j○F for a given Pettis integrable cwk(X)-valued function F.     

On the equivalence of McShane and Pettis integrability in non-separable Banach spaces

We show that McShane and Pettis integrability coincide for functions , where μ is any finite measure. On the other hand, assuming the Continuum Hypothesis, we prove that there exist a weakly Lindelöf determined Banach space X, a scalarly null (hence Pettis integrable) function and an absolutely summing operator u from X to another Banach space Y such that the composition is not Bochner integrable; in particular, h is not McShane integrable.     

Some new results on integration for multifunction

It has been proven in Di Piazza and Musia? (Set Valued Anal 13:167–179, 2005, Vector measures, integration and related topics, Birkhauser Verlag, Basel, vol 201, pp 171–182, 2010) that each Henstock–Kurzweil–Pettis integrable multifunction with weakly compact values can be represented as a sum of one of its selections and a Pettis integrable multifunction. We prove here that if the initial multifunction is also Bochner measurable and has absolutely continuous variational measure of its integral, then it is a sum of a strongly measurable selection and of a variationally Henstock integrable multifunction that is also Birkhoff integrable (Theorem 3.4). Moreover, in case of strongly measurable (multi)functions, a characterization of the Birkhoff integrability is given using a kind of Birkhoff strong property.     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

Strong Dunford–Pettis Sets and Spaces of Operators

Bibasic sequences of Singer are used to show that ℓ₁ embeds complementably in the Banach space X if and only if X^* contains a non-relatively compact strong Dunford–Pettis set. Spaces of operators and strongly additive vector measures are also discussed. An erratum to this article is available at .     

Pettis integrability of Stone transforms

Letf be a bounded Pettis integrable function ranging in a Banach spaceX (the range of the indefinite Pettis integral is separable). We consider Pettis integrability conditions for the Stone transform off and relate this problem to the regular oscillation condition for the family of functions {x ^* fx^*B(X^*)}, whereB(X^*) is the unit ball inX ^*.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 238–253, August, 1996.