主测试计划存在的简短证明
A short proof of the existence of master test plans
摘要：
本文的目的是对以下已知事实提供一个简单而又快速的证明：在一个索伯列夫空间可分的度量测度空间上，存在一个检验方案，它足以确定每个Sobolev函数的最小弱上梯度。
英文摘要：
The aim of this brief note is to provide a quick and elementary proof of the following known fact: on a metric measure space whose Sobolev space is separable, there exists a test plan that is sufficient to identify the minimal weak upper gradient of every Sobolev function.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
