On Banach function M-spaces

Let ω be a measure space and L_∞ be the Banach algebra of all essentially bounded measurable scalar functions defined on ω. In the present paper we study so-called Banach M-spaces X such as Banach L_∞-modules of ^m-valued measurable functions in the vector-valued case m > 1. We present with complete proofs the new technical tool via so-called representative families (of m measurable functions) for X which is necessary for constructing correctly the theory of Banach M-spaces X of ^m-valued functions with m > 1. We emphasize main new moments in proving basic theorems for Banach M-spaces of ^m-valued functions with m > 1.     

Banach-valued holomorphic functions on the maximal ideal space of H ∞

We study Banach-valued holomorphic functions defined on open subsets of the maximal ideal space of the Banach algebra H ^∞ of bounded holomorphic functions on the unit disk $\mathbb{D}\subset \mathbb{C}$ with pointwise multiplication and supremum norm. In particular, we establish vanishing cohomology for sheaves of germs of such functions and, solving a Banach-valued corona problem for H ^∞, prove that the maximal ideal space of the algebra $H_{\mathrm{comp}}^{\infty}(A)$ of holomorphic functions on $\mathbb{D}$ with relatively compact images in a commutative unital complex Banach algebra A is homeomorphic to the direct product of maximal ideal spaces of H ^∞ and A.     

On the hellinger square integral with respect to an operator valued measure and stationary processes

A construction of the Hellinger square integral with respect to a semispectral measure in a Banach space B is given. It is proved that the space of values of a B-valued stationary stochastic process is unitarily isomorphic to the space of all B¹-valued measures that are Hellinger square integrable with respect to the spectral measure of the process. Some applications of the above theorem in the prediction theory (especially to interpolation problem) are also considered.     

On the Feynman integral in the space of continuous functions on a compact set. III

Some results of Cameron-Storvick on the structure of the Banach algebra S of functionals on the space C^p[a, b] of p-dimensional vector-valued functions x(t), t [a, b], x(a)=0, are generalized to a Banach algebra containing functionals defined on the set C^p(Y), where Y is an infinite-dimensional compact set. In particular it is shown that analytic Feynman integrals of such functionals over the space C^p(Y) exist.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 3, 1997, pp. 45–49.     

L 1 (μ,X) as a complemented subspace of its bidual

We show that for a Banach spaceX, if the space ofX-valued Bochner integrable functions is complemented in some dual space, then it is complemented in the space ofX-valued countably additive, μ-continuous vector measures.     

Relatively weakly open subsets of the unit ball in functions spaces

For an infinite Hausdorff compact set K and for any Banach space X we show that every nonempty weak open subset relative to the unit ball of the space of X-valued functions that are continuous when X is equipped with the weak (respectively norm, weak-∗) topology has diameter 2. As consequence, we improve known results about nonexistence of denting points in these spaces. Also we characterize when every nonempty weak open subset relative to the unit ball has diameter 2, for the spaces of Bochner integrable and essentially bounded measurable X-valued functions.     

Relations among Henstock,McShane and Pettis integrals for multifunctions with compact convex values

Fremlin (Ill J Math 38:471–479, 1994) proved that a Banach space valued function is McShane integrable if and only if it is Henstock and Pettis integrable. In this paper we prove that the result remains valid also in case of multifunctions with compact convex values being subsets of an arbitrary Banach space (see Theorem 3.4). Di Piazza and Musia? (Monatsh Math 148:119–126, 2006) proved that if $X$ is a separable Banach space, then each Henstock integrable multifunction which takes as its values convex compact subsets of $X$ is a sum of a McShane integrable multifunction and a Henstock integrable function. Here we show that such a decomposition is true also in case of an arbitrary Banach space (see Theorem 3.3). We prove also that Henstock and McShane integrable multifunctions possess Henstock and McShane (respectively) integrable selections (see Theorem 3.1).     

Representation of Banach space valued quasimartingales by real quasimartingales

A new technique is developed which allows to study quasimartingales with values in a Banach space E via real quasimartingales. As a byproduct path compactness for a wide class of E-valued quasimartingales is proved. The first application of this technique yields the equivalence of a.s. convergence and path compactness for E-valued martingales. Furthermore local decomposability of an E-valued semimartingale into a square integrable martingale and a process of integrable variation is established. Finally, it is shown that each process of integrable variation, with values in a Banach space with Radon-Nikodym property, can be approximated by processes taking values in a finite-dimensional subspace.     

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.     

The norm-strict bidual of a Banach algebra and the dual of Cu(G)

To each Banach algebra A we associate a (generally) larger Banach algebra A⁺ which is a quotient of its bidual A. It can be constructed using the strict topology on A and the Arens product on A. A⁺ has certain more pleasant properties than A, e.g. if A has a bounded right approximate identity, then A⁺ has a two-sided unit. In the special case A=L¹(G) (G a locally compact abelian group) one gets A⁺=C_u(G), the dual of the space of bounded, uniformly continuous functions on G, and we show that the center of the convolution algebra C_u(G) is precisely the space M(G) of finite measures on G.     

On the square root of a positive B( )-valued function

Let (Ω, , μ) be a measure space, a separable Banach space, and ^* the space of all bounded conjugate linear functionals on . Let f be a weak^* summable positive B( ^*)-valued function defined on Ω. The existence of a separable Hilbert space , a weakly measurable B( )-valued function Q satisfying the relation Q^*(ω)Q(ω) = f(ω) is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺( ^*)-valued measures, the concepts of weak^*, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

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     

Infinite dimensional Banach spaces of functions with nonlinear properties

The aim of this paper is to show that there exist infinite dimensional Banach spaces of functions that, except for 0, satisfy properties that apparently should be destroyed by the linear combination of two of them. Three of these spaces are: a Banach space of differentiable functions on ?ⁿ failing the Denjoy‐Clarkson property; a Banach space of non Riemann integrable bounded functions, but with antiderivative at each point of an interval; a Banach space of infinitely differentiable functions that vanish at infinity and are not the Fourier transform of any Lebesgue integrable function (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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.     

Infinite-dimensional flag manifolds in integrable systems

In this paper, we present several instances where infinite-dimensional flag varieties and their holomorphic line bundles play a role in integrable systems. As such, we give the correspondence between flag varieties and Darboux transformations for the KP hierarchy and the nth KdV hierarchy. We construct solutions of the nth MKdV hierarchy from the space of periodic flags and we treat the geometric interpretation of the Miura transform. Finally, we show how the group extension connected with these line bundles shows up at integrable deformations of linear systems on ¹().     

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.     

Iterative Algebras without Projections

We deal with iterative algebras of functions of -valued logic lacking projections, which we call algebras without projections. It is shown that a partially ordered set of algebras of functions of -valued logic, for , without projections contains an interval isomorphic to the lattice of all iterative algebras of functions of -valued logic. It is found out that every algebra without projections is contained in some maximal algebra without projections, which is the stabilizer of a semigroup of non-surjective transformations of the basic set. It is proved that the stabilizer of a semigroup of all monotone non-surjective transformations of a linearly ordered 3-element set is not a maximal algebra without projections, but the stabilizer of a semigroup of all transformations preserving an arbitrary non one-element subset of the basic set is.     

The spectrum of a commutator Hamiltonian is hydrogenlike

For any finite group, an element (commutator Hamiltonian) is defined in its group algebra so that in any representation of that group the image of this element is diagonalizable and has the spectrum contained in the set {1/n ²|n = 1,2,3,…}. The result is generalized onto an arbitrary compact group. In particular, it is pointed out that for the natural representation of the group SU(2, C) in the space of complex-valued functions with the square of absolute values integrable over the Haar measure the multiplicity of the eigenvalue 1/n ² of the commutator Hamiltonian is equal to n ².     

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.