Hajl asz 梯度为上梯度,蒋仁进, NAGESWARI SHANMUGALINGAM,令$(X, d, mu)$为度量测度空间, $mu$为Borel正则测度.本文证明了, 当$uin L^1_loc(X)$且$g$为$u$的一个Hajl asz梯度时, 存在函数$widetilde u$, 使得$widetil