scientific article; zbMATH DE number 18686

From MaRDI portal
Publication:3976094





[For the entire collection see Zbl 0731.00015.] The author considers multivalued contraction mappings \(\Phi\) with closed, convex values defined on a closed, convex subset of a Banach space. In the first part he investigates the following question: ``Let us assume that the convex set \(\Phi(x)\), for each \(x\), is very large; is it true that even the fixed point set of \(\Phi\) is very large? The following results are about the above question. Theorem 8. Let \(H\) be a Hilbert space, \(C\) a closed, convex subset of \(H\) and \(\Phi\) a multivalued contraction on \(C\). If \(a\) is a fixed point of \(\Phi\) and \(\Phi(a)\) has dimension \(\geq p\), there is an affine \(V\) of dimension \(p\) and \(a\) compact \(T\) of the set \(X\) of fixed points of \(\Phi\) such that its orthogonal projection in \(V\) has nonempty interior. In particular, the Hausdorff dimension of \(X\) is at least \(p\). Theorem 9. Let \(H\), \(C\), \(\Phi\) be as in Theorem 8. Let \(\Phi\) have values of finite dimension and \(a\) be a fixed point of \(\Phi\). If \(\Phi(a)\) has dimension \(\geq p\), then the fixed point set \(X\) of \(\Phi\) has, in a neighborhood of \(a\), topological dimension \(\geq p\). In the second part he tries to find necessary and sufficient conditions for a closed subset \(X\) of a Banach space to be the set of fixed points of a multivalued contraction \(\Phi\); he shows the following Theorem 10. Let \(E\) be a Banach space, \(C\) a convex, closed subset of \(E,f:C\to R\) a lipschitzean function and \(E_ 1=E\times R\) equipped with the norm \(\| (x,t)\|=(\| x\|^ p+\| t\|^ p)^{1/p}\), \(1\leq p<\infty\). Then the graph \(X\) of \(f\) is a fixed point set. Theorem 11. Let \(X\) be arcwise connected (compact) in an euclidean space \(E\) of finite dimension \(p\). \(X\) is a fixed point set if and only if, for each \(x\in X\), the compact sets of the unit ball defined by \[ P(x)=\limsup_{z\to x}\left\{{{y-x} \over {\| y-x\|}}:\;y,z\in X,\;y\neq z\right\} \] are disjoints from hyperplanes.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976094)