Weak compactness is not equivalent to the fixed point property in \(c\) (Q2352196)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weak compactness is not equivalent to the fixed point property in \(c\)
scientific article

    Statements

    Weak compactness is not equivalent to the fixed point property in \(c\) (English)
    0 references
    0 references
    0 references
    0 references
    30 June 2015
    0 references
    A classical result of \textit{B. Maurey} [Semin. Anal. Fonct. 1980--1981, Exposé No. 8, 18 p. (1981; Zbl 0476.46023)] asserts that every nonexpansive (i.e., \(1\) -Lipschitz) mapping \(T:C\rightarrow C\) defined on a weakly compact, convex subset \(C\) of the Banach space \((c_{0},\left\| \cdot \right\| _{\infty })\) or \((c,\left\| \cdot \right\| _{\infty })\) has a fixed point. \textit{P. N. Dowling} et al. [Proc. Am. Math. Soc. 132, No. 6, 1659--1666 (2004; Zbl 1057.47064)] solved a longstanding open problem in metric fixed point theory by showing that weak compactness is also a necessary condition for a closed, bounded and convex (c.b.c., for short) subset of \(c_{0}\) to have the fixed point property for nonexpansive mappings. As for the space \(c\), it was proved in [\textit{P. N. Dowling} et al., Stud. Math. 154, No. 3, 277--293 (2003; Zbl 1037.47039)] a little less, namely, that for every non-weakly compact c.b.c.\ set \(C\), there exists a further c.b.c.\ subset \(K\) and a nonexpansive mapping \( T:K\rightarrow K\) without fixed points. In this interesting paper, the authors give examples of c.b.c.\ subsets of \(c\) with the fixed point property for nonexpansive mappings. Specifically, they prove that a large family of sets, including \[ W=\left\{ (y_{n})\in c:1\geq y_{1}\geq y_{2}\geq y_{3}\geq\dots\geq 0\right\} \] and \[ Z=\left\{ (y_{n})\in c:1=y_{1}\geq y_{2}\geq y_{3}\geq\dots\geq 0\right\}, \] consists of hyperconvex sets and, consequently, every such set has the fixed point property. These are the first examples of non-weakly compact c.b.c.\ subsets of a space isomorphic to \(c_{0}\) with this property. A~related open question is whether there exists an isomorphic copy of \(c_{0}\) such that its every closed, bounded and convex subset has the fixed point property for nonexpansive mappings.
    0 references
    0 references
    0 references
    0 references
    0 references
    fixed point property
    0 references
    nonexpansive mapping
    0 references
    non-weakly compact, closed, bounded, convex set
    0 references
    hyperconvex metric space
    0 references
    retraction
    0 references
    0 references