Fixed point theorems for multivalued nonexpansive mappings satisfying inwardness conditions

Let X be a Banach space whose characteristic of noncompact convexity is less than 1 and satisfies the nonstrict Opial condition. Let C be a bounded closed convex subset of X, KC(X) the family of all compact convex subsets of X and T a nonexpansive mapping from C into KC(X) with bounded range. We prove that T has a fixed point. The nonstrict Opial condition can be removed if, in addition, T is an 1-χ-contractive mapping.     

The Jordan–von Neumann constants and fixed points for multivalued nonexpansive mappings

The purpose of this paper is to study the existence of fixed points for nonexpansive multivalued mappings in a particular class of Banach spaces. Furthermore, we demonstrate a relationship between the weakly convergent sequence coefficient WCS(X) and the Jordan–von Neumann constant C_NJ(X) of a Banach space X. Using this fact, we prove that if C_NJ(X) is less than an appropriate positive number, then every multivalued nonexpansive mapping has a fixed point where E is a nonempty weakly compact convex subset of a Banach space X, and KC(E) is the class of all nonempty compact convex subsets of E.     

Fixed point iteration processes for asymptotic pointwise nonexpansive mappings in Banach spaces

Let X be a uniformly convex Banach space with the Opial property. Let T:C→C be an asymptotic pointwise nonexpansive mapping, where C is bounded, closed and convex subset of X. In this paper, we prove that the generalized Mann and Ishikawa processes converge weakly to a fixed point of T. In addition, we prove that for compact asymptotic pointwise nonexpansive mappings acting in uniformly convex Banach spaces, both processes converge strongly to a fixed point.     

Estimates of the weak distance between finite-dimensional Banach spaces

We prove a variant of a theorem of N. Alon and V. D. Milman. Using it we construct for everyn-dimensional Banach spacesX andY a measure space Ω and two operator-valued functionsT: Ω→L(X, Y),S: Ω→L(Y, X) so that ∫_Ω S(ω)oT(ω)dω is the identity operator inX and ∫_Ω||S(ω)||·||T(ω)||dω=O(n ^α ) for some absolute constantα<1. We prove also that any subset of the unitn-cube which is convex, symmetric with respect to the origin and has a sufficiently large volume possesses a section of big dimension isomorphic to ak-cube. Research supported in part by a grant of the Israel Academy of Sciences.     

Strong Convergence Theorems for Maximal Monotone Operators with Nonlinear Mappings in Hilbert Spaces

Let C be a closed and convex subset of a real Hilbert space H. Let T be a nonexpansive mapping of C into itself, A be an α-inverse strongly-monotone mapping of C into H and let B be a maximal monotone operator on H, such that the domain of B is included in C. We introduce an iteration scheme of finding a point of F (T)∩(A+B)⁻¹0, where F (T) is the set of fixed points of T and (A+B)⁻¹0 is the set of zero points of A+B. Then, we prove a strong convergence theorem, which is different from the results of Halpern’s type. Using this result, we get a strong convergence theorem for finding a common fixed point of two nonexpansive mappings in a Hilbert space. Further, we consider the problem for finding a common element of the set of solutions of a mathematical model related to equilibrium problems and the set of fixed points of a nonexpansive mapping.     

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

A fixed point result in strictly convex Banach spaces

We define an alternate convexically nonexpansive map T on a bounded, closed, convex subset C of a Banach space X and prove that if X is a strictly convex Banach space and C is a nonempty weakly compact convex subset of X, then every alternate convexically nonexpansive map T : C → C has a fixed point. As its application, we give an existence result for the solution of an integral equation.     

A structure theorem for boundary-transitive graphs with infinitely many ends

We prove a structure theorem for locally finite connected graphsX with infinitely many ends admitting a non-compact group of automorphisms which is transitive in its action on the space of ends, Ω _X . For such a graphX, there is a uniquely determined biregular treeT (with both valencies finite), a continuous representationφ : Aut(X) → Aut(T) with compact kernel, an equivariant homeomorphism λ : Ω _X → Ω _T , and an equivariant map τ : Vert(X) → Vert(T) with finite fibers. Boundary-transitive trees are described, and some methods of constructing boundary-transitive graphs are discussed, as well as some examples.     

The Domínguez–Lorenzo condition and multivalued nonexpansive mappings

Let E be a nonempty bounded closed convex separable subset of a reflexive Banach space X   which satisfies the Domínguez–Lorenzo condition, i.e., an inequality concerning the asymptotic radius of a sequence and the Chebyshev radius of its asymptotic center. We prove that a multivalued nonexpansive mapping T:E→2^X$T:E\to 2^X$ which is compact convex valued and such that T(E)$T(E)$ is bounded and satisfies an inwardness condition has a fixed point. As a consequence, we obtain a fixed-point theorem for multivalued nonexpansive mappings in uniformly nonsquare Banach spaces which satisfy the property WORTH, extending a known result for the case of nonexpansive single-valued mappings. We also prove a common fixed point theorem for two nonexpansive commuting mappings t:E→E$t:E\to E$ and T:E→KC(E)$T:E\to \mathit{KC}(E)$ (where KC(E)$\mathit{KC}(E)$ denotes the class of all compact convex subsets of E) when X is a uniformly convex Banach space.     

On set-valued cone absolutely summing maps

Spaces of cone absolutely summing maps are generalizations of Bochner spaces L ^p (μ, Y), where (Ω, Σ, μ) is some measure space, 1 ≤ p ≤ ∞ and Y is a Banach space. The Hiai-Umegaki space $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] of integrably bounded functions F: Ω → cbf(X), where the latter denotes the set of all convex bounded closed subsets of a separable Banach space X, is a set-valued analogue of L ¹(μ, X). The aim of this work is to introduce set-valued cone absolutely summing maps as a generalization of $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] , and to derive necessary and sufficient conditions for a set-valued map to be such a set-valued cone absolutely summing map. We also describe these set-valued cone absolutely summing maps as those that map order-Pettis integrable functions to integrably bounded set-valued functions.     

Universal spaces for the subdifferentials of sublinear operators with values in the spaces of continuous functions

Given a continuous sublinear operator P: V → C(X) from a Hausdorff separable locally convex space V to the Banach space C(X) of continuous functions on a compact set X we prove that the subdifferential ∂P at zero is operator-affinely homeomorphic to the compact subdifferential ∂ ^c Q, i.e., the subdifferential consisting only of compact linear operators, of some compact sublinear operator Q: ł² → C(X) from a separable Hilbert space ł², where the spaces of operators are endowed with the pointwise convergence topology. From the topological viewpoint, this means that the space L ^c (ł², C(X)) of compact linear operators with the pointwise convergence topology is universal with respect to the embedding of the subdifferentials of sublinear operators of the class under consideration.     

Common fixed point theorems and minimax inequalities in locally convex Hausdorff topological vector spaces

In this article, we introduce the concept of a family of set-valued mappings generalized Knaster–Kuratowski–Mazurkiewicz (KKM) w.r.t. other family of set-valued mappings. We then prove that if X is a nonempty compact convex subset of a locally convex Hausdorff topological vector space and 𝒯 and 𝒮 are two families of self set-valued mappings of X such that 𝒮 is generalized KKM w.r.t. 𝒯, under some natural conditions, the set-valued mappings S ∈ 𝒮 have a fixed point. Other common fixed point theorems and minimax inequalities of Ky Fan type are obtained as applications.     

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.     

Special Uniform Approximations of Continuous Vector-Valued Functions. Part I: Special Approximations in CX(T)

In this paper, we give special uniform approximations of functions u from the spaces C_X(T) and C_∞(T,X), with elements of the tensor products C_Γ(T)X, respectively C₀(T,Γ)X, for a topological space T and a Γ-locally convex space X. We call an approximation special, if satisfies additional constraints, namely supp vu⁻¹(X\{0}) and (T) co(u(T)) (resp. co(u(T){0})). In Section 3, we give three distinct applications, which are due exactly to these constraints: a density result with respect to the inductive limit topology, a Tietze–Dugundji's type extension new theorem and a proof of Schauder–Tihonov's fixed point theorem.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

2-Summing operators on C([0, 1], lp) with values in l1

Let Ω be a compact Hausdorff space, X a Banach space, C(Ω, X) the Banach space of continuous X-valued functions on Ω under the uniform norm, U: C(Ω, X) → Y a bounded linear operator and U ^#, U _# two natural operators associated to U. For each 1 ≤ s < ∞, let the conditions (α) U ∈ Π _s (C(Ω, X), Y); (β)U ^# ∈ Π _s (C(Ω), Π _s (X, Y)); (γ) U _# ε Π _s (X, Π _s (C(Ω), Y)). A general result, [10, 13], asserts that (α) implies (β) and (γ). In this paper, in case s = 2, we give necessary and sufficient conditions that natural operators on C([0, 1], l _p ) with values in l ₁ satisfies (α), (β) and (γ), which show that the above implication is the best possible result.     

Differentiable and analytic families of continuous martingales in manifolds with connection

Summary.  We prove that the derivative of a differentiable family X _t (a) of continuous martingales in a manifold M is a martingale in the tangent space for the complete lift of the connection in M, provided that the derivative is bicontinuous in t and a. We consider a filtered probability space (Ω,(ℱ _t )_{0≤ t ≤1}, ℙ) such that all the real martingales have a continuous version, and a manifold M endowed with an analytic connection and such that the complexification of M has strong convex geometry. We prove that, given an analytic family a↦L(a) of random variable with values in M and such that L(0)≡x ₀∈M, there exists an analytic family a↦X(a) of continuous martingales such that X ₁(a)=L(a). For this, we investigate the convexity of the tangent spaces T ^{( n )} M, and we prove that any continuous martingale in any manifold can be uniformly approximated by a discrete martingale up to a stopping time T such that ℙ(T<1) is arbitrarily small. We use this construction of families of martingales in complex analytic manifolds to prove that every ℱ₁-measurable random variable with values in a compact convex set V with convex geometry in a manifold with a C ¹ connection is reachable by a V-valued martingale. Received: 14 March 1996/In revised form: 12 November 1996     

Asymptotically Nonexpansive Mappings in Modular Function Spaces

In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying a Δ₂-type condition, C a convex, ρ-bounded, ρ-a.e. compact subset of L_ρ, and T: C → C a ρ-asymptotically nonexpansive mapping, then T has a fixed point. In particular, any asymptotically nonexpansive self-map defined on a convex subset of L¹(Ω, μ) which is compact for the topology of local convergence in measure has a fixed point.     

Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces

This paper studies the convergence of the sequence defined by x0∈C,xn 1=αnu (1-αn)Txn,n=0,1,2,…, where 0 ≤αn ≤ 1, limn→∞αn = 0, ∑∞n=0 αn = ∞, and T is a nonexpansive mapping from a nonempty closed convex subset C of a Banach space X into itself. The iterative sequence {xn} converges strongly to a fixed point of T in the case when X is a uniformly convex Banach space with a uniformly Gateaux differentiable norm or a uniformly smooth Banach space only. The results presented in this paper extend and improve some recent results.     

Fixed point theorems for non-Lipschitzian mappings of asymptotically nonexpansive type

LetX be a Banach space,K a nonempty, bounded, closed and convex subset ofX, and supposeT:K→K satisfies: for eachx∈K, lim sup _i→∞{sup _y∈K ‖t ⁱx−Tⁱy∼−‖x−y‖}≦0. IfT ^N is continuous for some positive integerN, and if either (a)X is uniformly convex, or (b)K is compact, thenT has a fixed point inK. The former generalizes a theorem of Goebel and Kirk for asymptotically nonexpansive mappings. These are mappingsT:K→K satisfying, fori sufficiently large, ‖Tⁱx−Tⁱy‖≦k _i‖x−y∼,x,y∈K, wherek _i→1 asi→∞. The precise assumption in (a) is somewhat weaker than uniform convexity, requiring only that Goebel’s characteristic of convexity, ɛ₀ (X), be less than one. Research supported by National Science Foundation Grant GP 18045.