{contractive map, shrinking map} [ریاضی] نگاشت بر فضای سنجه ای با این ویژگی که به ازای هر و اگر آنگاه
