A fixed box theorem for the cartesian product of graphs and metric spaces (Q1363705)

This paper proves the following result: Let \((X,\delta)=\prod_{i=I} (X_i, \delta_i)\) be a product of a finite number of finite metric spaces, where the distance in \(X\) is the sum of the coordinate distances. Then, for each non-expanding map \(\varphi: X\to X\), there exists a set \(R\subseteq X\) such that \(R\) coincides with the product of its projections and \(\varphi (R) =R\). This theorem extends known results on cubes and Hamming graphs.