Iterated contraction gives a summable orbit

ID: iterated-contraction-gives-a-summable-orbit

If a map on a normed vector space satisfies for every , with , induction gives . The geometric series then proves absolute convergence of its orbit series whenever the ambient normed vector space is complete. The scalar map satisfies the bound because .

New to topics? Read the docs here!