在介绍第二个引理之前先给出下面的定义 定义1:设B,E2CR2,令心 d(E2)=ifx1-x2)2+(1+y2)2|(x,n)∈B1(x2y2)∈B2 则称d(B1,B2)为码1,E2之间的距离 引理2:设码CR2是有界闭集(也称紧致集),B2CR2是闭集,且 B1∩E2=,则 d(21,2E2)>0