バナッハの不動点定理("x", "d")を空でない完備距離空間とし、"t" : "x" → "x" を縮小写像とする。