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

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\).