弱可微上链的 Wolfe 定理

Wolfe 的一个基本定理等距地识别了 $\mathbb{R}^n$ 中 $m$ 维平坦微分形式空间与平坦 $m$-上链空间，即 $\mathbb{R}^n$ 中 $m$ 维平坦链空间的对偶空间。本文的主要目的是将 Wolfe 定理推广到 $\mathbb{R}^n$ 中 Sobolev 微分形式和 Sobolev 上链的情形。由第二和第三作者最近发起的 Sobolev 上链理论，基于上链的上范数和上梯度的概念，该类比于 Heinonen-Koskela 提出的函数上梯度概念。