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

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