概率度量空间中一类压缩型映象的不动点定理
개솔도량공간중일류압축형영상적불동점정리