Fixed point sets through iteration schemes (Q640968): Difference between revisions
From MaRDI portal
Latest revision as of 14:05, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed point sets through iteration schemes |
scientific article |
Statements
Fixed point sets through iteration schemes (English)
0 references
21 October 2011
0 references
Let \((f_n)\) be a sequence of selfmaps on a Hausdorff space \(X\), \(s_n=\prod_{i=1}^nf_i\) and \(\mathcal S=(s_n)\). The sequence \(\mathcal S\) is called a fixed point iteration scheme (or simply a scheme) on \(X\) if \(\emptyset\neq F(\mathcal S)=r(\mathcal C(\mathcal S))\), where \(F(\mathcal S)=\bigcap_{f\in\mathcal S}F(f)\), \(F(f)\) is the fixed point set of \(f\), \(\mathcal C(\mathcal S)=\{x\in X:(s_n(x))\text{ converges}\}\), and \(r:\mathcal C(\mathcal S)\to F(\mathcal S)\) is defined by \(r(x)=\lim_{n\to\infty}s_n(x)\) for all \(x\in\mathcal C(\mathcal S)\). The scheme \(\mathcal S\) is said to have a continuous subsequence if there is a subsequence \((s_{c_n})\) of \(\mathcal S\) consisting of continuous maps. The authors call the scheme \(\mathcal S\) virtually stable if every point \(p\in F(\mathcal S)\) is virtually stable, i.e., for each neighborhood \(U\) of \(p\), there exist a neighborhood \(V\) of \(p\) and an increasing sequence \((k_n)\) of positive integers such that \(\prod_{i=j}^{k_n}f_i(V)\subseteq U\) for all \(n\in\mathbb{N}\) and \(j\leq k_n\). They prove the following: if \(X\) is a regular space and \(\mathcal S=(s_n)=(\prod_{i=1}^nf_i)\) is a virtually stable scheme having a continuous subsequence, then the map \(r:\mathcal C(\mathcal S)\to F(\mathcal S)\) defined above is continuous and hence \(F(\mathcal S)\) is a retract of \(\mathcal C(\mathcal S)\). The result is applied to obtain a new criterion for contractibility of the fixed point set of a Suzuki-type generalized nonexpansive selfmap on a compact convex space. Examples are provided to illustrate these results.
0 references
iteration scheme
0 references
fixed point set
0 references
virtually stable
0 references
0 references
0 references