A constructive proof of the Bollobás-Varopoulos theorem

Abstract

The Bollobás-Varopoulos theorem is an analogue of Hall's matching theorem on non-atomic measure spaces. Here we prove a finite version with a completely constructive proof.