A bilinear version of Holsztyński's theorem on isometries of C(X)-spaces
We prove that, for a compact metric space X not reduced to a point, the existence of a bilinear mapping ⋄: C(X) × C(X) → C(X) satisfying ||f⋄g|| = ||f|| ||g|| for all f,g ∈ C(X) is equivalent to the uncountability of X. This is derived from a bilinear version of Holsztyński's theorem [3] on isometries of C(X)-spaces, which is also proved in the paper.