层 sheaf 交错距离的一个性质

设 $X$ 为赋予满足适当性质距离的实数解析流形，$\mathbf{k}$ 为一个域。在[PS20]中，作者在上构造了 $X$ 上 $\mathbf{k}$-模层导出范畴上的一个伪距离，推广了[KS18]之前的构造。此处我们证明，若 $X$ 上两个具有紧支集（或更一般地，至无穷远的构造性层）的构造性层之间的距离为零，则这两个层同构。这特别地回答了[KS18]中的一个问题。