Published online by Cambridge University Press: 24 October 2008
In a recent paper, Fenn (3) has established the following theorem: if ø is a piecewise linear involution on Sn without fixed points, if f: Sn → Sn and g: are continuous and the degree of f is odd, then there are points x and y on Sn such that f(x) = ø(f(y)) and g(x) = g(y). The Borsuk–Ulam theorem is the special case of this in which f is the identity and ø corresponds to reflexion in the origin. Since an infinite-dimensional version of the Borsuk–Ulam theorem is known, involving compact maps (see, for example, page 72 of (2)), it is natural to ask whether Fenn's result can also be extended to general Banach spaces, and in this paper we give such an extension when ø is reflexion in the origin. More precisely, we prove that if B is the closed unit ball in a Banach space X and f, g: B → X are compact, with deg (I − f, B, 0) odd (this is the Leray–Schauder degree and I is the identity map) and (I − g) (B) contained in a proper, closed subspace of X, then there exist x, y on the boundary ∂B of B and apositive numberα such that α(I − f) (x) = − (I − f) (y) and (I − g) (x) = (I – g) (y).