An axiomatic approach to a coincidence index for noncompact function pairs (Q5936108)

This article deals with an axiomatic approach to a coincidence index for inclusions of type \(F(x)\in \Phi(x)\); it is assumed that \(F\) is a Vietoris map and \(\Phi\) is a convex-valued map with some compactness properties on countable sets. More precisely, it is assumed that \(\Phi: X\to Y\) ``may be approximated'' by single-valued maps and \(F: X\to Y\) is continuous, proper, and such that \(F^{-1}(\{y\})\) \((y\in Y)\) are acyclic, \(X\) is an arbitrary metric space, \(Y\) is a clsoed convex subset of some locally convex Hausdorff vector space. The author proves the existence of the coincidence index \(\text{ind}_F(\Phi,\Omega,K)\) of a triple \((\Phi, \Omega,K)\) (\(K\subseteq Y\) is compact, convex, \(\Omega\subseteq K\) open in \(K\), it is assumed that the relation \(F(x)\in \Phi(\{x\})\cap \overline\Omega\) implies \(F(x)\in \Omega)\) with standard properties of localization, coincidence (fixed) point property, normalization, homotopy invariance, permanence, excision, and additivity. This index is really an extension of a coincidence index \(\text{ind}_F(\Phi, \Omega,K)\) in the case when \(\Phi\) is compact or even finite-dimensional, the latter was investigated in articles by L. Górniewicz, Z. Kucharski, M. I. Kamenskiĭ, V. V. Obukhovskiĭ, P. Zecca, W. Krzyszewski and others. Further, the author presents a variant of his construction covering the case when \(\Phi\circ F^{-1}\) is non-compact; his considerations are based on a new variant of the notion of fundamental set and lead to some natural assumptions for \(F\) and \(\Phi\) only on countable subsets. The last part of the article presents coincidence/fixed point theorems for the inclusion \(F(x)\in \Phi(x)\) obtained on the base of the new coincidence index.