Banach-Stone theorems and Riesz algebras

Let X, Y be compact Hausdorff spaces and let E, F be both Banach lattices and Riesz algebras. In this paper, the following main result shall be proved: If F has no zero-divisor and there exists a Riesz algebraic isomorphism such that Φ(f) has no zero if f has none, then X is homeomorphic to Y and E is Riesz algebraically isomorphic to F.     

Small into isomorphisms on uniformly smooth spaces

Let X be a uniformly smooth infinite dimensional Banach space, and (Ω,Σ,μ) be a σ-finite measure space. Suppose that T:X→L∞(Ω,Σ,μ) satisfies

(1−ε)‖x‖?‖Tx‖?‖x‖,∀x∈X,     

Integrals,conditional expectations,and martingales of multivalued functions

Let (Ω, $\text{A}$, μ) be a finite measure space and $\text{X}$ a real separable Banach space. Measurability and integrability are defined for multivalued functions on Ω with values in the family of nonempty closed subsets of $\text{X}$. To present a theory of integrals, conditional expectations, and martingales of multivalued functions, several types of spaces of integrably bounded multivalued functions are formulated as complete metric spaces including the space L¹(Ω; $\text{X}$) isometrically. For multivalued functions in these spaces, multivalued conditional expectations are introduced, and the properties possessed by the usual conditional expectation are obtained for the multivalued conditional expectation with some modifications. Multivalued martingales are also defined, and their convergence theorems are established in several ways.     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

Amarts on Riesz Spaces

The concepts of conditional expectations, martingales and stopping times were extended to the Riesz space context by Kuo, Labuschagne and Watson （Discrete time stochastic processes on Riesz spaces, Indag. Math.,15（2004）, 435-451）. Here we extend the definition of an asymptotic martingale （amart） to the Riesz spaces context, and prove that Riesz space amarts can be decomposed into the sum of a martingale and an adapted sequence convergent to zero. Consequently an amart convergence theorem is deduced.     

On certain spaces of vector measures of bounded variation

If (Σ,X) is a measurable space and X a Banach space we investigate the X-inheritance of copies of ?_∞ in certain subspaces Δ(Σ,X) of bvca(Σ,X), the Banach space of all X-valued countable additive measures of bounded variation equipped with the variation norm. Among the consequences of our main theorem we get a theorem of J. Mendoza on the X-inheritance of copies of ?_∞ in the Bochner space L₁(μ,X) and other of the author on the X-inheritance of copies of ?_∞ in bvca(Σ,X).     

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.     

Riesz* homomorphisms on pre-Riesz spaces consisting of continuous functions

In the theory of operators on a Riesz space (vector lattice), an important result states that the Riesz homomorphisms (lattice homomorphisms) on C(X) are exactly the weighted composition operators. We extend this result to Riesz* homomorphisms on order dense subspaces of C(X). On those subspace we consider and compare various classes of operators that extend the notion of a Riesz homomorphism. Furthermore, using the weighted composition structure of Riesz* homomorphisms we obtain several results concerning bijective Riesz* homomorphisms. In particular, we characterize the automorphism group for order dense subspaces of C(X). Lastly, we develop a similar theory for Riesz* homomorphisms on subspace of \(C_0(X)\), for a locally compact Hausdorff space X, and apply it to smooth manifolds and Sobolev spaces.     

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.     

Uniform Homeomorphisms of Unit Spheres and Property H of Lebesgue–Bochner Function Spaces

Assume that the unit spheres of Banach spaces X and Y are uniformly homeomorphic.Then we prove that all unit spheres of the Lebesgue–Bochner function spaces L_p(μ, X) and L_q(μ, Y)are mutually uniformly homeomorphic where 1 ≤ p, q ∞. As its application, we show that if a Banach space X has Property H introduced by Kasparov and Yu, then the space L_p(μ, X), 1 ≤ p ∞,also has Property H.     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .     

Conjugate operators that preserve the nonconvergence of bounded martingales

We show that the conjugate T^∗ of an operator , with X and Y Banach spaces, satisfies the following dichotomy: either T^∗ preserves the nonconvergence of bounded martingales in Y^∗, or there exists a compact operator such that the kernel N(T^∗+K^∗) fails the Radon-Nikodým property.     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

Unconditional martingale difference sequences in Banach spaces

For a Banach space Y, the question of whether Lp(μ,Y) has an unconditional basis if 1<p<∞ and Y has unconditional basis, stood unsolved for a long time and was answered in the negative by Aldous. In this work we prove a weaker, positive result related to this question. We show that if (yj) is a basis of Y and (di) is a martingale difference sequence spanning Lp(μ) then the sequence (di⊗yj) is a basis of Lp(μ,Y) for 1?p<∞. Moreover, if 1<p<∞ and (yj) is unconditional then (di⊗yj) is strictly dominated by an unconditional tensor product basis. In addition, for 1<p<∞, we show that if (di)⊂Lp(μ) is a martingale difference sequence then there exists a constant K>0 so that

     

Compactification of the space of branched coverings of the two-dimensional sphere

For a closed oriented surface Σ we define its degenerations into singular surfaces that are locally homeomorphic to wedges of disks. Let X_Σ,n be the set of isomorphism classes of orientation-preserving n-fold branched coverings Σ → S ² of the two-dimensional sphere. We complete X_Σ,n with the isomorphism classes of mappings that cover the sphere by the degenerations of Σ. In the case Σ = S ², the topology that we define on the obtained completion \({\overline X _{\Sigma ,n}}\) coincides on \({X_{{s^2},n}}\) with the topology induced by the space of coefficients of rational functions P/Q, where P and Q are homogeneous polynomials of degree n on ?P¹ ≌ S ². We prove that \({\overline X _{\Sigma ,n}}\) coincides with the Diaz–Edidin–Natanzon–Turaev compactification of the Hurwitz space H(Σ, n) ? X _Σ,n consisting of isomorphism classes of branched coverings with all critical values being simple.     

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.     

Canonical conservative state/signal shift realizations of passive discrete time behaviors

A passive linear discrete time invariant s/s (state/signal) system Σ=(V;X,W) consists of a Hilbert (state) space X, a Kre?n (signal) space W, a maximal nonnegative (generating) subspace V of the Kre?n space K:=−X[?]X[?]W. The sets of trajectories (x(⋅);w(⋅)) generated by V on the discrete time intervals I⊂Z are defined by

     

Sufficient enlargements of minimal volume for finite-dimensional normed linear spaces

Let BY denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in a finite-dimensional normed linear space X is called a sufficient enlargement for X if, for an arbitrary isometric embedding of X into a Banach space Y, there exists a linear projection such that P(BY)⊂A. The main results of the paper: (1) Each minimal-volume sufficient enlargement is linearly equivalent to a zonotope spanned by multiples of columns of a totally unimodular matrix. (2) If a finite-dimensional normed linear space has a minimal-volume sufficient enlargement which is not a parallelepiped, then it contains a two-dimensional subspace whose unit ball is linearly equivalent to a regular hexagon.     

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.     

On the rate of convergence in the central limit theorem and the type of the Banach space

Let E be a Banach space. Let ξ be a sequence of which goes to zero. Let X be a centered E-valued random variable, which is bounded. Let S_n be the sum of n independent copies of X. Assume that whenever X satisfies the CLT, we have.

$\text{Sup}\text{t ?R}\text{|P(}\text{6S}{}_{\mathrm{n}}\text{√n | ? t}\text{) ? μ ({x;6x6 ?})| ? ξ}{}_{\mathrm{n}}$

where μ is the (Gaussian) limit of the laws of S_n. Then E is type 2.