Obecné konečné geometrie
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]).
One of the most outstanding problems in combinatorial mathematics and geometry is the problem of existence of finite projective planes whose order is not a prime power.