复椭球边界上的拟距离和零集

证明在复椭球边界上存在着自然的拟距离,使用这个拟距离和峰函数,可以在边界的紧子集上加上覆盖条件,使其成为零集。