Relating the cut distance and the weak* topology for graphons

The theory of graphons is ultimately connected with the so-called cut norm. In this paper, we approach the cut norm topology via the weak* topology. We prove that a sequence $W_{1},W_{2},W_{3},\ldots$ of graphons converges in the cut distance if and only if we have equality of the sets of weak* accumulation points and of weak* limit points of all sequences of graphons $W_{1}',W_{2}',W_{3}',\ldots$ that are weakly isomorphic to $W_{1},W_{2},W_{3},\ldots$. We further give a short descriptive set theoretic argument that each sequence of graphons contains a subsequence with the property above. This in particular provides an alternative proof of the theorem of Lovasz and Szegedy about compactness of graphons. These results are more naturally phrased in the Vietoris hyperspace $K(\mathcal W_0)$ over graphons with the weak* topology. We show that graphons with the cut distance topology are homeomorphic to a closed subset of $K(\mathcal W_0)$, and deduce several consequences of this fact. From these concepts a new order on the space of graphons emerges. This order allows to compare how structured two graphons are. We establish basic properties of this "structurdness order".