Distortion and stability of the fixed point property for non-expansive mappings

Let X be a Banach space. We say that X satisfies the fixed point property (weak fixed point property) if every non-expansive mapping defined from a convex closed bounded (convex weakly compact) subset of X into itself has a fixed point. We say that X satisfies the stable fixed point property (stable weak fixed point property) if the same is true for every equivalent norm which is close enough to the original one. Denote by P(X) the set formed by all equivalent norms with the topology of the uniform convergence on the unit ball of X. We prove that the subset of P(X) formed by the norms failing the fixed point property is dense in P(X) when X is a non-distortable space which fails the fixed point property. In particular, no renorming of ?₁ can satisfy the stable fixed point property. Furthermore, we show some examples of distortable spaces failing the weak fixed point property, which can be renormed to satisfy the stable weak fixed point property. As a consequence we prove that every separable Banach space can be renormed to satisfy the stable weak fixed point property.     

Fixed point property on symmetric products

For a metric continuum X, let Fn(X)={A⊂X:A is nonempty and has at most n points}. In this paper we show a continuum X such that F₂(X) has the fixed point property while X does not have it.     

Generalized Alexandroff-Urysohn squares and a characterization of the fixed point property

Given a Hausdorff continuum X, we introduce a topology on X×X that yields a Hausdorff continuum. We call the resulting space the Alexandroff-Urysohn square of X and prove that X has the fixed point property if and only if the Alexandroff-Urysohn square of X has the fixed point property.     

Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces

Let X be a non-empty set and F:X×X→X be a given mapping. An element (x,y)∈X×X is said to be a coupled fixed point of the mapping F if F(x,y)=x and F(y,x)=y. In this paper, we consider the case when X is a complete metric space endowed with a partial order. We define generalized Meir-Keeler type functions and we prove some coupled fixed point theorems under a generalized Meir-Keeler contractive condition. Some applications of our obtained results are given. The presented theorems extend and complement the recent fixed point theorems due to Bhaskar and Lakshmikantham [T. Gnana Bhaskar, V. Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, Nonlinear Anal. 65 (2006) 1379-1393].     

Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces

In this paper we introduce the concept of a tripled coincidence point for a pair of nonlinear contractive mappings F : X³ → X and g : X → X. The obtained results extend recent coincidence theorems due to ?iri? and Lakshmikantham [V. Lakshmikantham, L. ?iri?, L., Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces, Nonlinear Anal. 70 (2009) 4341-4349].     

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.     

Weakly K-analytic spaces and the three-space property for analyticity

Let (E,E^′) be a dual pair of vector spaces. The paper studies general conditions which allow to lift analyticity (or K-analyticity) from the weak topology σ(E,E^′) to stronger ones in the frame of (E,E^′). First we show that the Mackey dual of a space Cp(X) is analytic iff the space X is countable. This yields that for uncountable analytic spaces X the Mackey dual of Cp(X) is weakly analytic but not analytic. We show that the Mackey dual E of an (LF)-space of a sequence of reflexive separable Fréchet spaces with the Heinrich density condition is analytic, i.e. E is a continuous image of the Polish space NN. This extends a result of Valdivia. We show also that weakly quasi-Suslin locally convex Baire spaces are metrizable and complete (this extends a result of De Wilde and Sunyach). We provide however a large class of weakly analytic but not analytic metrizable separable Baire topological vector spaces (not locally convex!). This will be used to prove that analyticity is not a three-space property but we show that a metrizable topological vector space E is analytic if E contains a complete locally convex analytic subspace F such that the quotient E/F is analytic. Several questions, remarks and examples are included.     

A monotone version of the Sokolov property and monotone retractability in function spaces

We introduce the monotone Sokolov property and show that it is dual to monotone retractability in the sense that X   is monotonically retractable if and only if _Cp(X)$C_p(X)$ is monotonically Sokolov. Besides, a space X   is monotonically Sokolov if and only if _Cp(X)$C_p(X)$ is monotonically retractable. Monotone retractability and monotone Sokolov property are shown to be preserved by R$\mathbb{R}$-quotient images and _Fσ$F_{\sigma }$-subspaces. Furthermore, every monotonically retractable space is Sokolov so it is collectionwise normal and has countable extent. We also establish that if X   and _Cp(X)$C_p(X)$ are Lindelöf Σ-spaces then they are both monotonically retractable and have the monotone Sokolov property. An example is given of a space X   such that _Cp(X)$C_p(X)$ has the Lindelöf Σ-property but neither X   nor _Cp(X)$C_p(X)$ is monotonically retractable. We also establish that every Lindelöf Σ-space with a unique non-isolated point is monotonically retractable. On the other hand, each Lindelöf space with a unique non-isolated point is monotonically Sokolov.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

Fixed point theorems and the Ulam–Hyers stability in non-Archimedean cone metric spaces

Let (X,p)$(X,p)$ be a metric space with a K-valued non-Archimedean metric p  . In this paper, we prove the existence and approximation of a fixed point for operators F:X→X$F:X\to X$ satisfying the contractive condition in the form p(F(x),F(y))?Q[p(x,y)]$p(F(x),F(y))?Q[p(x,y)]$, where Q:K→K$Q:K\to K$ is an increasing operator. Then, we study the generalized Ulam–Hyers stability of fixed point equations. We next obtain an extension of the Krasnoselskii fixed point theorem for the sum of two operators. Finally, an application to functional equations is given.     

Embeddings and frames of function spaces

For every Tychonoff space X we denote by Cp(X) the set of all continuous real-valued functions on X with the pointwise convergence topology, i.e., the topology of subspace of RX. A set P is a frame for the space Cp(X) if Cp(X)⊂P⊂RX. We prove that if Cp(X) embeds in a σ-compact space of countable tightness then X is countable. This shows that it is natural to study when Cp(X) has a frame of countable tightness with some compactness-like property. We prove, among other things, that if X is compact and the space Cp(X) has a Lindelöf frame of countable tightness then t(X)?ω. We give some generalizations of this result for the case of frames as well as for embeddings of Cp(X) in arbitrary spaces.     

Domination by second countable spaces and Lindelöf Σ-property

Given a space M, a family of sets A of a space X is ordered by M if A={AK:K is a compact subset of M} and K⊂L implies AK⊂AL. We study the class M of spaces which have compact covers ordered by a second countable space. We prove that a space Cp(X) belongs to M if and only if it is a Lindelöf Σ-space. Under MA(ω₁), if X is compact and (X×X)\Δ has a compact cover ordered by a Polish space then X is metrizable; here Δ={(x,x):x∈X} is the diagonal of the space X. Besides, if X is a compact space of countable tightness and X²\Δ belongs to M then X is metrizable in ZFC.We also consider the class M^? of spaces X which have a compact cover F ordered by a second countable space with the additional property that, for every compact set P⊂X there exists F∈F with P⊂F. It is a ZFC result that if X is a compact space and (X×X)\Δ belongs to M^? then X is metrizable. We also establish that, under CH, if X is compact and Cp(X) belongs to M^? then X is countable.     

The fixed point property in -triples and preduals of -triples

We prove that for every member X in the class of real or complex JB^*-triples or preduals of JBW^*-triples, the following assertions are equivalent:

(1) X has the fixed point property.

(2) X has the super fixed point property.

(3) X has normal structure.

(4) X has uniform normal structure.

(5) The Banach space of X is reflexive.

As a consequence, a real or complex C^*-algebra or the predual of a real or complex W^*-algebra having the fixed point property must be finite-dimensional.

On a fixed point theorem for partially ordered sets

An elementary combinatorial proof is presented of the following fixed point theorem: Let P be a finite partially ordered set with a cut-set X. If every subset of X has either a meet or a join, then P has the fixed point property. This theorem is strengthened to include a certain class of infinite partially ordered sets, as well.     

On the weak-approximate fixed point property

Let X be a Banach space and C a bounded, closed, convex subset of X. C is said to have the weak-approximate fixed point property if for any norm-continuous mapping , there exists a sequence {xn} in C such that (xn−fn(xn)) converges to 0 weakly. It is known that every infinite-dimensional Banach space with the Schur property does not have the weak-approximate fixed point property. In this article, we show that every Asplund space has the weak-approximate fixed point property. Applications to the asymptotic fixed point theory are given.     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

Antiproximinal Norms in Banach Spaces

We prove that every Banach space containing a complemented copy of c₀ has an antiproximinal body for a suitable norm. If, in addition, the space is separable, there is a pair of antiproximinal norms. In particular, in a separable polyhedral space X, the set of all (equivalent) norms on X having an isomorphic antiproximinal norm is dense. In contrast, it is shown that there are no antiproximinal norms in Banach spaces with the convex point of continuity property (CPCP). Other questions related to the existence of antiproximinal bodies are also discussed.     

Both compact and sequentially compact sets in abelian topological group

We show that every abelian topological group contains many interesting sets which are both compact and sequentially compact. Then we can deduce some useful facts, e.g.,

(1)

if G is a Hausdorff abelian topological group and μ:N²→G is countably additive, then the range μ(N²)={μ(A):A⊆N} is compact metrizable;

(2)

if X is a Hausdorff locally convex space and {xj}⊂X, then F={_∑j∈Δxj:Δ⊂N, Δ is finite} is relatively compact in (X,weak) if and only if F is relatively compact in X, and if and only if F is relatively compact in (X,F(M)) where F(M) is the Dierolf topology which is the strongest 〈X,X^′〉-polar topology having the same subseries convergent series as the weak topology.

     

Fixed point theory and product,sub-, super-spaces

In this paper, we definen-segmentwise metric spaces and then we prove the following results:

1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX ⁿ has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C ^*(X) → C^*(X) and for anyn-tuple of distinct points x₁, x₂, ?, x_n ∈X, there exists anh ∈C ^*(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC ^*(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
2. LetX _i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX ₁ × ? × X_n has the fixed point property for alln ∈N Then the product spaceX ₁ × X₂ × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX ⁺ does not have the fixed point property.

Other relevant results and examples will be presented in this paper.     

Fixed point for set-valued mappings satisfying an implicit relation in partially ordered metric spaces

Let (X,?) be a partially ordered set and d be a complete metric on X. Let F,G be two set-valued mappings on X. We obtained sufficient conditions for the existence of common fixed point of F and G satisfying an implicit relation in partially ordered set X.