On complementability of \(c_0\) in spaces \(C(K\times L)\) (Q6583752)

The authors show that for any infinite compact Hausdorff spaces \(K,L\), there is a normalized sequence of finitely supported signed measures which converges to \(0\) with respect to the weak\(^*\) topology of \(C(K \times L)^*\). This can be understood as a stronger version of the classical Josefson-Nissenzweig theorem where we require the normalized weak\(^*\) null sequence in the dual to moreover consist of finitely supported measures.\N\NThis generalizes the results of \textit{P.~Cembranos} [Proc. Am. Math. Soc. 91, 556--558 (1984; Zbl 0604.46040)] and \textit{F.~J. Freniche} [Math. Ann. 267, 479--486 (1984; Zbl 0525.46022)] that for every infinite compact Hausdorff spaces \(K,L\), the Banach space \(C(K \times L)\) contains a complemented copy of \(c_0\).\N\NThe authors use a completely constructive approach -- a normalized finitely supported sequence \((\mu_n)_{n \in \mathbb{N}}\) in \(C(K \times L)^*\) is given by an explicit formula. Then a variant of the Weak Law of Large Numbers related to the Bernoulli distribution is used to prove that the sequence is weak\(^*\) null.