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.     

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.     

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.     

A bilinear version of Orlicz-Pettis theorem

Given three Banach spaces X, Y and Z and a bounded bilinear map , a sequence x=n(xn)⊆X is called B-absolutely summable if is finite for any y∈Y. Connections of this space with are presented. A sequence x=n(xn)⊆X is called B-unconditionally summable if is finite for any y∈Y and z^∗∈Z^∗ and for any M⊆N there exists xM∈X for which _∑n∈M〈B(xn,y),z^∗〉=〈B(xM,y),z^∗〉 for all y∈Y and z^∗∈Z^∗. A bilinear version of Orlicz-Pettis theorem is given in this setting and some applications are presented.     

Convergence theorems for fixed points of uniformly continuous generalized Φ-hemi-contractive mappings

Let E be a real normed linear space, K be a nonempty subset of E and be a uniformly continuous generalized Φ-hemi-contractive mapping, i.e., , and there exist x^∗∈F(T) and a strictly increasing function , Φ(0)=0 such that for all x∈K, there exists j(x−x^∗)∈J(x−x^∗) such that

〈Tx−x^∗,j(x−x^∗)〉?‖x−x^∗‖2−Φ(‖x−x^∗‖).     

The extension of the Krein-Šmulian theorem for Orlicz sequence spaces and convex sets

If X is a Banach space and C⊂X∗∗ a convex subset, for x∗∗∈X∗∗ and A⊂X∗∗ let be the distance from x∗∗ to C and . In this paper we prove that if φ is an Orlicz function, I an infinite set and X=?φ(I) the corresponding Orlicz space, equipped with either the Luxemburg or the Orlicz norm, then for every w^∗-compact subset K⊂X∗∗ we have if and only if φ satisfies the Δ₂-condition at 0. We also prove that for every Banach space X, every nonempty convex subset C⊂X and every w^∗-compact subset K⊂X∗∗ then and, if K∩C is w^∗-dense in K, then .     

Elementary operators on self-adjoint operators

Let H be a Hilbert space and let A and B be standard ∗-operator algebras on H. Denote by As and Bs the set of all self-adjoint operators in A and B, respectively. Assume that and are surjective maps such that M(AM^∗(B)A)=M(A)BM(A) and M^∗(BM(A)B)=M^∗(B)AM^∗(B) for every pair A∈As, B∈Bs. Then there exist an invertible bounded linear or conjugate-linear operator and a constant c∈{−1,1} such that M(A)=cTAT^∗, A∈As, and M^∗(B)=cT^∗BT, B∈Bs.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

The crossed product by a partial endomorphism and the covariance algebra

Given a local homeomorphism where U⊆X is clopen and X is a compact and Hausdorff topological space, we obtain the possible transfer operators Lρ which may occur for given by α(f)=f○σ. We obtain examples of partial dynamical systems (XA,σA) such that the construction of the covariance algebra C^∗(XA,σA), proposed by B.K. Kwasniewski, and the crossed product by a partial endomorphism O(XA,α,L), recently introduced by the author and R. Exel, associated to this system are not equivalent, in the sense that there does not exist an invertible function ρ∈C(U) such that O(XA,α,Lρ)≅C^∗(XA,σA).     

Nonlinear conditions for weighted composition operators between Lipschitz algebras

Let T:Lip₀(X)→Lip₀(Y) be a surjective map between pointed Lipschitz ^∗-algebras, where X and Y are compact metric spaces. On the one hand, we prove that if T satisfies the non-symmetric norm ^∗-multiplicativity condition:

     

The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

Integral representations for a class of operators

Let X be a completely regular Hausdorff space, E Hausdorff a quasi-complete locally convex space and Cb(X,E) all E-valued bounded continuous functions on X with strict topologies βt, , . We prove that a linear continuous mapping T:Cb(X,E)→E arises from a scalar measure μ∈(Cb^′(X),βz)(z=t,∞,τ) if and only if g(T(f))=0 whenever g○f=0 for any f∈Cb(X,E), g∈E^′.     

Sum of graphs of continuous functions and boundedness of additive operators

Assume that and are uniformly continuous functions, where D₁,D₂⊂X are nonempty open and arc-connected subsets of a real normed space X. We prove that then either f and g are affine functions, that is f(x)=x^∗(x)+a and g(x)=x^∗(x)+b with some x^∗∈X^∗ and a,b∈R or the algebraic sum of graphs of functions f and g has a nonempty interior in a product space X×R treated as a normed space with a norm .     

Immersions of non-orientable surfaces

Let F be a closed non-orientable surface. We classify all finite order invariants of immersions of F into R³, with values in any Abelian group. We show they are all functions of a universal order 1 invariant which we construct as T⊕P⊕Q, where T is a Z valued invariant reflecting the number of triple points of the immersion, and P,Q are Z/2 valued invariants characterized by the property that for any regularly homotopic immersions , P(i)−P(j)∈Z/2 (respectively, Q(i)−Q(j)∈Z/2) is the number mod 2 of tangency points (respectively, quadruple points) occurring in any generic regular homotopy between i and j.For immersion and diffeomorphism such that i and i○h are regularly homotopic we show:

P(i○h)−P(i)=Q(i○h)−Q(i)=(rank(h_∗−Id)+ε(deth∗∗))mod2     

Lifting fixed points of completely positive mappings

Let 1?n?∞, and let be a row contraction on some Hilbert space H. Let F(T) be the space of all X∈B(H) such that . We show that, if non-zero, this space is completely isometric to the commutant of the Cuntz part of the minimal isometric dilation of .     

Quantitative characterization of the difference between Birkhoff orthogonality and isosceles orthogonality

In this paper we introduce a new geometry constant D(X) to give a quantitative characterization of the difference between Birkhoff orthogonality and isosceles orthogonality. We show that 1 and is the upper and lower bound for D(X), respectively, and characterize the spaces of which D(X) attains the upper and lower bounds. We calculate D(X) when X=(R²,‖⋅p_‖) and when X is a symmetric Minkowski plane respectively, we show that when X is a symmetric Minkowski plane D(X)=D(X^∗).     

Spectral conditions for admissibility of evolution equations in Hilbert space

We study properties of solutions of the evolution equation , where B is a closable operator on the space AP(R,H) of almost periodic functions with values in a Hilbert space H such that B commutes with translations. The operator B generates a family of closed operators on H such that (whenever eiλtx∈D(B)). For a closed subset Λ⊂R, we prove that the following properties (i) and (ii) are equivalent: (i) for every function f∈AP(R,H) such that σ(f)⊆Λ, there exists a unique mild solution u∈AP(R,H) of Eq. (∗) such that σ(u)⊆Λ; (ii) is invertible for all λ∈Λ and .     

Additive Jordan isomorphisms of nest algebras on normed spaces

Let X be a real or complex Banach space. Let and be two nest algebras on X. Suppose that φ is an additive bijective mapping from onto such that φ(A²)=φ(A)² for every . Then φ is either a ring isomorphism or a ring anti-isomorphism. Moreover, if X is a real space or an infinite dimensional complex space, then there exists a continuous (conjugate) linear bijective mapping T such that either φ(A)=TAT⁻¹ for every or φ(A)=TA∗T−1 for every .     

Dynamics of a family of transcendental meromorphic functions having rational Schwarzian derivative

In the present paper, a class F of critically finite transcendental meromorphic functions having rational Schwarzian derivative is introduced and the dynamics of functions in one parameter family is investigated. It is found that there exist two parameter values λ^∗=?(0)>0 and , where and is the real root of ?^′(x)=0, such that the Fatou sets of fλ(z) for λ=λ^∗ and λ=λ∗∗ contain parabolic domains. A computationally useful characterization of the Julia set of the function fλ(z) as the complement of the basin of attraction of an attracting real fixed point of fλ(z) is established and applied for the generation of the images of the Julia sets of fλ(z). Further, it is observed that the Julia set of fλ∈K explodes to whole complex plane for λ>λ∗∗. Finally, our results found in the present paper are compared with the recent results on dynamics of one parameter families λtanz, [R.L. Devaney, L. Keen, Dynamics of meromorphic maps: Maps with polynomial Schwarzian derivative, Ann. Sci. École Norm. Sup. 22 (4) (1989) 55-79; L. Keen, J. Kotus, Dynamics of the family λtan(z), Conform. Geom. Dynam. 1 (1997) 28-57; G.M. Stallard, The Hausdorff dimension of Julia sets of meromorphic functions, J. London Math. Soc. 49 (1994) 281-295] and , λ>0 [G.P. Kapoor, M. Guru Prem Prasad, Dynamics of : The Julia set and bifurcation, Ergodic Theory Dynam. Systems 18 (1998) 1363-1383].