开集构成定理是实变函数中的一个重要概念，它表明任何一个度量空间中的非空开集都可以表示为可数个互不相交的子集的并集。这个定理在实变函数理论中有着重要的应用，例如在Lebesgue积分的定义中就用到了这个定理。
关于开集构成定理的证明方法，有很多种。其中一种方法是使用Borel集的性质来证明。Borel集是实数线上的一组集合，它具有很好的性质，例如闭包运算、交运算和并运算等都满足一定的规律。根据这些性质，我们可以构造出一组互不相交的Borel集，使得它们的并集就是给定的开集。
另一种方法是使用测度论来证明。测度论是研究集合大小的一种数学工具，它可以帮助我们更好地理解集合之间的关系。通过引入测度论，我们可以将开集构成定理转化为一个关于测度的问题，然后利用测度论中的工具来证明这个问题。