Esta dissertação apresenta um estudo sobre a existência e a unicidade de atratores topológicos e de medidas invariantes em Sistemas Iterados de Funções (IFS). Inicialmente, desenvolve-se a teoria clássica dos IFS hiperbólicos a partir dos resultados de Hutchinson, incluindo a construção do atrator como conjunto compacto invariante e a existência da medida invariante associada ao sistema, com a devida contextualização do resultado de completude estabelecido por Kravchenko. Em seguida, com base no trabalho de Arbieto, Junqueira e Santiago, analisa-se a classe mais geral dos IFS fracamente hiperbólicos, nos quais a condição de contração uniforme é substituída pelo colapso assintótico dos diâmetros das imagens sucessivas. Nesse contexto, sob hipóteses de compacidade, demonstram-se a existência e a unicidade do atrator topológico global e de uma medida teoricamente atratora, cujo suporte coincide com o atrator sob uma condição natural sobre a distribuição dos parâmetros, além de sua ergodicidade. Por fim, esses resultados são estendidos, sob hipóteses adicionais de encadeamento, a espaços métricos completos não necessariamente compactos.