Veamos ahora que el operador de Picard es contractivo bajo ciertas hipótesis sobre formula_1 que más adelante podrán ser omitidas.