A homeomorphism between strong measure zero sets whose graph is not of strong measure zero (Q972551)

Under Martin's axiom (MA), the author shows that there are strongly measure zero sets with additional properties. By a strongly measure zero set \(A\) we mean a set having the following properties: for any positive sequence \(\{\varepsilon_n\}\), there exists a sequence of sets \(\{A_n\}\) such that the diameters of \(A_n<\varepsilon_n\) and \(A\subset\Sigma A_n\). Then the main results are: under MA, there are two strongly measure zero sets \(A_0\), \(A_1\) of the Cantor set \(C\) having the properties: 1) there is a homeomorphism \(h\) from \(A_0\) to \(A_1\); 2) The graph of \(h\) is not a strongly measure zero set in \(C\times C\).