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!