Resumen

PARRA, CARLOS MARIO  y  SUAREZ RAMIREZ, JOHANY. Representación finita de variedades compactas. Integración - UIS [online]. 2015, vol.33, n.2, pp.97-105. ISSN 0120-419X.

Un logro notable de la topología algorítmica es el resultado de A.A. Márkov sobre la insolubilidad del problema del homeomorfismo para variedades. Posteriormente, Boone, Haken y Poénaru extendieron la idea original de Márkov al caso de variedades suaves cerradas. Una primera dificultad era la introducción de una representación finita de una variedad diferenciable o combinatórica que la describiese de forma natural. En este trabajo extendemos dicha representación a variedades suaves compactas y proponemos una definición de variedad suave representable

Palabras clave : Computabilidad y teoría de la recursión; topología algorítmica; variedades suaves.

        · resumen en Inglés     · texto en Español     · Español ( pdf )