Definición y propiedades básicas de la homotopía