Compact graphings
arXiv:1902.09573 · doi:10.1007/S10474-019-01010-8
Abstract
Graphings are special bounded-degree graphs on probability spaces, representing limits of graph sequences that are convergent in a local or local-global sense. We describe a procedure for turning the underlying space into a compact metric space, where the edge set is closed and nearby points have nearby graph neighborhoods.
10 pages; improved version of an auxiliary result from arXiv:1709.03179v1