×

A fix-finite approximation theorem. (English) Zbl 1067.41032

Let \(E\) be a metrizable locally convex vector space whose topology is defined by a translation invariant metric \(d\) given by \(d(x,y)=\sum^\infty_{h=1}\frac1{2^n}\;\frac{p_n(x-y)}{1+p_n(x-y)}\).Let \(C(E)\) be the set of non-empty compact subsets of \(E\). For \(A,B\in C(E)\), the Hausdorff distance is defined as \(d_H(A,B)=\max\{P(A,B),P(B,A)\}\), \(P(A,B)=\sup\{d(x),B:x\in A\}\). A multifunction \(F:E\to E\) is a map from \(E\) to the set of nonempty subsets of \(E\). \(F\) is said to be (i) \(n\)-valued if \(F(x)\) consists of \(n\) points for all \(x\), (ii) continuous at \(x_0\in E\) if for every \(\varepsilon>0\), there exists \(B>0\) such that \(d(x_0,x)<\beta\Rightarrow d_H(F(x_0),F(x))<\varepsilon\), (iii) continuous on \(E\) if it is continuous at every point of \(E\), (iv) compact if it is continuous and the closure of its range \(\overline{F(E)}\) is a compact subset of \(E\). An element \(x\) of \(E\) is said to be a fixed point of \(F\) if \(x\in F(x)\). For two compact multifunctions \(F\) and \(G\) from \(E\) to \(E\), the Hausdorff distance between \(F\) and \(G\) is given by \(d_H(F,G)=\sup\{d_H(F(x),G(x)): x\in E\}\). \(F\) and \(G\) are said to be \(\varepsilon\)-near if \(d_H(F,G)<\varepsilon\).
In this paper, the author proves that if \(c_i\) is a nonempty convex comapct subset of metrizable locally convex vector space \(E\) for \(i=1,2,\dots,m\) such that \(\bigcap^m_{i=1}c_i\neq \emptyset\) or \(c_i\cap c_j=\emptyset\) for \(i\neq j\), then for every \(\varepsilon >0\) and for every \(n\)-valued continuous multifunction \(F:\bigcup^m_{i=1}C_i\to \bigcup^m_{i=1}C_i\) there exists an \(n\)-valued continuous multifunction \(G:\bigcup^m_{i=1}c_i\to \bigcup^m_{i=1}c_i\) which is \(\varepsilon\)-near to \(F\) and has only a finite number of fixed points.

MSC:

41A65 Abstract approximation theory (approximation in normed linear spaces and other abstract spaces)
46A03 General theory of locally convex spaces
46A55 Convex sets in topological linear spaces; Choquet theory
47H10 Fixed-point theorems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] J.B. Baillon and N.E. Rallis, Not too many fixed points , Contemp. Math.,vol. 72, Birkhäuser, Boston, 1988, pp. 21-24. · Zbl 0653.47038
[2] K. Borsuk, Theory of retracts , Monograf. Mat., vol. 44, PWN, Warsaw, 1967. · Zbl 0153.52905
[3] R.F. Brown, The Lefschetz fixed point theorem , Scott, Foresman and Co., Glenview, Illinois, 1971. · Zbl 0216.19601
[4] J. Dugundji, Absolute neighborhood retracts and local connectedness in arbitrary metric spaces , Compositio Math. 13 (1958), 229-296. · Zbl 0089.38903
[5] H. Hopf, Über die algebraische Anzahl von Fixpunkten , Math. Z. 29 (1929), 493-524. · JFM 55.0970.02 · doi:10.1007/BF01180550
[6] S.T. Hu, Theory of retracts , Wayne State Univ. Press, Detroit, Michigan, 1959. · Zbl 0097.43202
[7] G. Kőthe, Topological vector spaces I, Springer-Verlag, New York, 1969.
[8] H. Schirmer, Fix-finite approximation of \(n\)-valued multi-functions , Fund. Math. 121 (1984), 73-80. · Zbl 0537.55005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.