Absolute fixed point sets for multi-valued maps
If \(Z\) is a compactum (i.e., a compact metric space), \(2^Z\) denotes the space of all compact subsets of \(Z\) with the Hausdorff metric. A multi-valued map is a map into some \(2^Z\). A fixed point of a multi-valued map \(F\) is a point \(p\) such that \(p\in F(p)\). The set of all fixed points of \(F\) is denoted by \({\mathcal F} (F)\). For \(n\in \{1,2, \dots, \omega\}\), where \(\omega\) denotes the first infinite ordinal number, define \(C_n(Z)= \{A\in 2^Z\): \(A\) has at most \(n\) components\}. An \(n\)-MAFS is defined as a compactum, \(A\), such that whenever \(A\) is embedded as a subspace, \(A'\), of any compactum \(Z\), then there is some mapping \(F: Z \to C_n(Z)\) for which \({\mathcal F} (F)=A'\). The following two theorems are proved. Theorem 1.1. Let \(A\) be a compactum, and let \(n\in \{1,2, \dots\}\). Then, \(A\) is an \(n\)-MAFS if and only if \(A\) has only finitely many components, all but at most \(n\) of which are locally connected. Theorem 1.2. Let \(A\) be a compactum. Then, \(A\) is an \(\omega\)-MAFS if and only if \(A\) has at most countably many components.
This page was built for publication: Absolute fixed point sets for multi-valued maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4211915)
