A closed graph theorem for hyperbolic iterated function systems

Abstract

In this note, we introduce the notion of a morphism between two hyperbolic iterated function systems. We prove that the graph of such a morphism is the attractor of an iterated function system, giving a closed graph theorem, and demonstrate how it can be used to approach the topological conjugacy problem for iterated function systems.