Invariant Compact Sets of Nonexpansive Iterated Function Systems

Abstract

In this work we prove the existence of invariant compact sets under the action of nonexpansive iterated functions systems on normed spaces. We generalized the previous result to convex metric spaces and we also show that uniqueness of invariant compact sets is not guaranteed. Finally, in the last section we prove a result that provides a method for calculating an invariant set under nonexpansive iterated functions systems which is maximal with respect to inclusion.