长度空间的一个对偶刻画及其在Dirichlet度量空间中的应用
A dual characterization of length spaces with application to Dirichlet metric spaces
摘要：
我们证明了在极小的假设下，由强局部狄利克雷形式诱导的内禀度量诱导了一个长度空间。一个主要的输入是一个对偶的长度空间的性质，即1-Lipschitz函数形成一个层。
英文摘要：
We show that under minimal assumptions, the intrinsic metric induced by a strongly local Dirichlet form induces a length space. A main input is a dual characterization of length spaces in terms of the property that the 1-Lipschitz functions form a sheaf.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
