O documento apresenta uma introdução sobre espaços de Sobolev em variedades, incluindo definições, resultados de independência da métrica, compacidade de mergulho de Sobolev e desigualdades de Poincaré. Aplicações incluem um teorema de finitude do tipo Cheeger e o problema de Kazdan-Warner de preescrever curvatura em superfícies.