If a self-map of a nonempty complete metric space has an iterate that is a contraction mapping, the contraction mapping theorem gives a unique fixed point of . The maps commute, so , and uniqueness forces . Conversely every fixed point of is fixed by . Thus is the unique fixed point of .
New to topics? Read the docs here!