En matemáticas, la topología diferencial es una rama de la topología que considera las variedades diferenciables y a las funciones diferenciables entre ellas.