Complex interpolation of Orlicz spaces with respect to a vector measure

We apply the Calderón interpolation methods to Orlicz and weakly Orlicz function spaces with respect to a Banach‐space‐valued measure defined on a σ‐algebra. The results we obtain generalize those in the case of Banach lattices of p‐integrable and weakly p‐integrable functions with respect to such a vector measure.     

Ideal properties of the Dunford integration operator

Let F be a Banach space. We establish necessary and sufficient conditions for the Dunford integration operator, from the space of F‐valued Dunford integrable functions to the bidual of F, to belong to a given operator ideal. We also show how this fact can be used to characterize important classes of Banach spaces, such as Banach spaces with the Banach‐Saks property, separable Banach spaces not containing c₀, Banach spaces not containing c₀ or ?₁ and Asplund spaces not containing c₀.     

Finite codimensional linear isometries on spaces of differentiable and Lipschitz functions

We characterize finite codimensional linear isometries on two spaces, C ⁽ⁿ⁾[0; 1] and Lip [0; 1], where C ⁽ⁿ⁾[0; 1] is the Banach space of n-times continuously differentiable functions on [0; 1] and Lip [0; 1] is the Banach space of Lipschitz continuous functions on [0; 1]. We will see they are exactly surjective isometries. Also, we show that C ⁽ⁿ⁾[0; 1] and Lip [0; 1] admit neither isometric shifts nor backward shifts.     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

Holomorphic liftings and Bergman kernel estimates for 𝒟ℱ𝒩‐domains

Let E be a 𝒟ℱ𝒩‐space and let U ⊂ E be open. By applying the nuclearity of the Fréchet space ℋ︁(U) of holomorphic functions on U we show that there are finite measures μ on U leading to Bergman spaces of μ ‐square integrable holomorphic functions. We give an explicit construction for μ by using infinite dimensional Gaussian measures. Moreover, we prove boundary estimates for the corresponding Bergman kernels K_μ on the diagonal and we give an application of our results to liftings of μ ‐square integrable Banach space valued holomorphic functions over U. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A nonstandard density theorem for weak topologies on Banach and Bochner spaces

We prove a nonstandard density result. It asserts that if a particular formula is true for functions in a set K of linear continuous functions between Banach spaces E and D, then it remains valid for functions that are limits, in the uniform convergence topology on a given class ?? of subsets of E, of nets of vectors in K. We then apply this result to various class ?? and setsK in the context of E‐valued Bochner integrable functions defined on a finite measure space.     

Uniform domain representations of ℓp ‐spaces

The category of Scott‐domains gives a computability theory for possibly uncountable topological spaces, via representations. In particular, every separable Banach‐space is representable over a separable domain. A large class of topological spaces, including all Banach‐spaces, is representable by domains, and in domain theory, there is a well‐understood notion of parametrizations over a domain. We explore the link with parameter‐dependent collections of spaces in e. g. functional analysis through a case study of ?^p ‐spaces. We show that a well‐known domain representation of ?^p as a metric space can be made uniform in the sense of parametrizations of domains. The uniform representations admit lifting of continuous functions and are effective in p. Dependent type constructions apply, and through the study of the sum and product spaces, we clarify the notions of uniformity and uniform computability. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Fatou's Lemma for Gelfand Integrable Mappings

We provide a version of Fatou's lemma for mappings taking their values in E ^*, the topological dual of a separable Banach space. The mappings are assumed to be Gelfand integrable, a difference with previous papers, which, in infinite dimensional spaces, are mainly considering Bochner integrable mappings. This result is motivated by a general equilibrium model with locations studied by Cornet and Medecin (1999) and directly applies to it, since the space E ^* considered by Cornet and Medecin is the space of (Radon) vector measures defined on a compact metric space.     

Controlled convergence theorems for Henstock-Kurzweil-Pettis integral on m-dimensional compact intervals

In this paper we use a generalized version of absolute continuity defined by J. Kurzweil, J. Jarník, Equiintegrability and controlled convergence of Perron-type integrable functions, Real Anal. Exch. 17 (1992), 110–139. By applying uniformly this generalized version of absolute continuity to the primitives of the Henstock-Kurzweil-Pettis integrable functions, we obtain controlled convergence theorems for the Henstock-Kurzweil-Pettis integral. First, we present a controlled convergence theorem for Henstock-Kurzweil-Pettis integral of functions defined on m-dimensional compact intervals of ℝ ^m and taking values in a Banach space. Then, we extend this theorem to complete locally convex topological vector spaces.     

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}.     

Vector-valued Modulation Spaces and Localization Operators with Operator-valued Symbols

We study the short-time Fourier transformation, modulation spaces, Gabor representations and time-frequency localization operators, for functions and tempered distributions that have as range space a Banach or a Hilbert space. In the Banach space case the theory of modulation spaces contains some modifications of the scalar-valued theory, depending on the Banach space. In the Hilbert space case the modulation spaces have properties similar to the scalar-valued case and the Gabor frame theory essentially works. For localization operators in this context symbols are operator-valued. We generalize two results from the scalar-valued theory on continuity on certain modulation spaces when the symbol belongs to an L^p,q space and M^∞, respectively. The first result is true for any Banach space as range space, and the second result is true for any Hilbert space as range space.     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.     

The Denjoy extension of the Riemann and Mcshane integrals

In this paper we study the Denjoy-Riemann and Denjoy-McShane integrals of functions mapping an interval [a, b] into a Banach space X. It is shown that a Denjoy-Bochner integrable function on [a, b] is Denjoy-Riemann integrable on [a, b], that a Denjoy-Riemann integrable function on [a, b] is Denjoy-McShane integrable on [a, b] and that a Denjoy-McShane integrable function on [a, b] is Denjoy-Pettis integrable on [a, b]. In addition, it is shown that for spaces that do not contain a copy of c ₀, a measurable Denjoy-McShane integrable function on [a, b] is McShane integrable on some subinterval of [a, b]. Some examples of functions that are integrable in one sense but not another are included.     

Arzela-Ascoli's theorem for Riemann-integrable functions on compact spaces

We recall that the ⁿ-valued Riemann integrable functions resp. more general: the Banach space (algebra) -valued Darboux integrable functions — on the compact support of a non negative Radon measure are a Banach space (algebra) with respect to the ess. sup. norm. It is shown that the Darboux integrable functions with a precompact range also form a Banach space (algebra). For this space we deduce a direct analogue of Arzela-Ascoli's theorem.     

Estimates of Disjoint Sequences in Banach Lattices and R.I. Function Spaces

We introduce UDS _p -property (resp. UDT _q -property) in Banach lattices as the property that every normalized disjoint sequence has a subsequence with an upper p-estimate (resp. lower q-estimate). In the case of rearrangement invariant spaces, the relationships with Boyd indices of the space are studied. Some applications of these properties are given to the high order smoothness of Banach lattices, in the sense of the existence of differentiable bump functions     

James' Theorem Fails for Starlike Bodies

Starlike bodies are interesting in nonlinear functional analysis because they are strongly related to bump functions and to n-homogeneous polynomials on Banach spaces, and their geometrical properties are thus worth studying. In this paper we deal with the question whether James' theorem on the characterization of reflexivity holds for (smooth) starlike bodies, and we establish that a feeble form of this result is trivially true for starlike bodies in nonreflexive Banach spaces, but a reasonable strong version of James' theorem for starlike bodies is never true, even in the smooth case. We also study the related question as to how large the set of gradients of a bump function can be, and among other results we obtain the following new characterization of smoothness in Banach spaces: a Banach space X has a C¹ Lipschitz bump function if and only if there exists another C¹ smooth Lipschitz bump function whose set of gradients contains the unit ball of the dual space X*. This result might also be relevant to the problem of finding an Asplund space with no smooth bump functions.     

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.     

Integrals and Banach spaces for finite order distributions

Let B _c denote the real-valued functions continuous on the extended real line and vanishing at −∞. Let B _r denote the functions that are left continuous, have a right limit at each point and vanish at −∞. Define A _c ⁿ to be the space of tempered distributions that are the nth distributional derivative of a unique function in B _c . Similarly with A _r ⁿ from B _r . A type of integral is defined on distributions in A _c ⁿ and A _r ⁿ . The multipliers are iterated integrals of functions of bounded variation. For each n ∈ ℕ, the spaces A _c ⁿ and A _r ⁿ are Banach spaces, Banach lattices and Banach algebras isometrically isomorphic to B _c and B _r , respectively. Under the ordering in this lattice, if a distribution is integrable then its absolute value is integrable. The dual space is isometrically isomorphic to the functions of bounded variation. The space A _c ¹ is the completion of the L ¹ functions in the Alexiewicz norm. The space A _r ¹ contains all finite signed Borel measures. Many of the usual properties of integrals hold: H?lder inequality, second mean value theorem, continuity in norm, linear change of variables, a convergence theorem.     

Sets which are dense in the space of all Pettis integrable functions

Using the examples given by S.J. Dilworth and M. Girardi, we prove that the set of all nowhere Pettis differentiable functions is a G _δ -dense set in the space of all X-valued Pettis integrable functions on [0, 1]. Also an another example of a dense set in the space of all Pettis integrable functions is given.