Separable Lindenstrauss spaces whose duals do not contain weak* closed convex unbounded sets having the AFPP (Q6161731)
From MaRDI portal
scientific article; zbMATH DE number 7692205
Language | Label | Description | Also known as |
---|---|---|---|
English | Separable Lindenstrauss spaces whose duals do not contain weak* closed convex unbounded sets having the AFPP |
scientific article; zbMATH DE number 7692205 |
Statements
Separable Lindenstrauss spaces whose duals do not contain weak* closed convex unbounded sets having the AFPP (English)
0 references
5 June 2023
0 references
A nonempty closed convex subset \(C\) of a Banach space \(X\) has the \textit{approximate fixed point property} (AFPP) if, for every nonexpansive mapping \(T:C \to C\), \(\inf \{ \| Tx -x \| : x\in C \} = 0\). Banach's Contractive Mapping Principle implies that every such bounded set $C$ has the AFPP, while results of \textit{I.~Shafrir} [Isr. J. Math. 71, No.~2, 211--223 (1990; Zbl 0754.47035)] and \textit{E.~Matoušková} and \textit{S.~Reich} [Stud. Math. 159, No.~3, 403--415 (2003; Zbl 1054.46013)] combine to show that every nonreflexive Banach space contains an unbounded closed convex set with the AFPP. The second author et al. [Isr. J. Math. 230, No.~2, 509--526 (2019; Zbl 1473.46016)] characterized a class of \(\ell_1\)-preduals \(X\) with the property that no \(\sigma(\ell_1,X)\)-closed convex unbounded set in \(\ell_1\) has the AFPP. In the present article, the authors characterize all separable \(L_1\)-preduals \(X\) for which no \(\sigma(X^*,X)\)-closed convex unbounded set in \(X^*\) has the AFPP. To be more precise, given an \(\ell_1\)-predual \(X\), let \(J:X\to \ell_\infty\) denote the canonical embedding of \(X\) into its second dual \(\ell_\infty\) and let \(e_n = (\delta_{nk}) \in \ell_\infty\) where \(\delta_{nk}\) is the Kronecker delta. The authors prove that, if \(X\) is a separable \(L_1\)-predual, every \(\sigma(X^*,X)\)-closed convex unbounded set \(C\) in \(X^*\) lacks the AFPP if and only if \(X^*=\ell^1\) and the set \(\mathbb{N}\setminus \{n\in \mathbb{N} : e_n\in J(X) \}\) is finite. The authors provide a second characterization using the supports of the weak\(^*\)-cluster points of the set of extreme points of the dual unit ball \(B_{\ell_1}\) of \(X\).
0 references
\(L_1\)-predual
0 references
Lindenstrauss space
0 references
nonexpansive mapping
0 references
approximate fixed point property
0 references
\(\ell_1\)-predual
0 references