バナッハの不動点定理によれば、空でない完備距離空間における収縮写像には唯一の不動点があり、"m" 内の任意の "x" について反復関数列 "x", "f" ("x"), "f" ("f" ("x")), "f" ("f" ("f" ("x"))),...