Resumo

PARRA, CARLOS MARIO  e  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

Palavras-chave : Computabilidad y teoría de la recursión; topología algorítmica; variedades suaves.

        · resumo em Inglês     · texto em Espanhol     · Espanhol ( pdf )