Observations on a variant of compatibility.
The classical theorem of Borsuk and Ulam [2] says that for any continuous mapping there exists a point such that f(-x) = f(x). In this note a discrete version of the antipodal theorem is proved in which is replaced by the set of vertices of a high-dimensional cube equipped with Hamming’s metric. In place of equality we obtain some optimal estimates of which were previously known (as far as the author knows) only for f linear (cf. [1]).
Let be a closed convex subset of a complete convex metric space . In this paper a class of selfmappings on , which satisfy the nonexpansive type condition below, is introduced and investigated. The main result is that such mappings have a unique fixed point.
Let be a uniformly convex Banach space, , a nonexpansive map, and a closed bounded subset such that . If (1) is weakly inward and is star-shaped or (2) satisfies the Leray-Schauder boundary condition, then has a fixed point in . This is closely related to a problem of Gulevich [Gu]. Some of our main results are generalizations of theorems due to Kirk and Ray [KR] and others.