Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributorVarela Borda, Januario
dc.contributor.authorGarcía Gómez, Rafael Armando
dc.date.accessioned2019-07-03T10:22:29Z
dc.date.available2019-07-03T10:22:29Z
dc.date.issued2018-04-11
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/69345
dc.description.abstractResumen: En este trabajo se estudia el contenido de efectividad presente en la Categoría de los Campos de Espacios Métricos a la luz de la Teoría de Efectividad Tipo-2 (TTE). Más precisamente, el objetivo es importar, desarrollar y estudiar una noción de computabilidad en la Categoría de los Campos de Espacios Métricos sobre un espacio topológico T. A tal efecto, se establece una primera relación entre las teorías demostrando que todo espacio topológico computable induce la existencia de un campo de espacios métricos; se presentan los efectos de imponer condiciones de computabilidad sobre las fibras de un campo de espacios métricos sobre un espacio topológico T; se estudian los efectos de imponer condiciones de computabilidad sobre el espacio base T; y se presentan las condiciones necesarias para obtener una estructura computable en un campo de espacios métricos sobre un espacio topológico T. Finalmente se presentan aplicaciones de los campos de espacios métricos computables planteando versiones dinámicas de problemas clásicos en la Teoría de Grafos y proponiendo sus respectivas soluciones.
dc.description.abstractAbstract: This work studies the effective content in the category of metric bundles in the framework of the Type-2 Theory of Effectivity (TTE). More precisely, the goal is to import, to develop and to study a notion of computability in the category of metric bundles over a topological space T. In order to achieve this, a first relationship between the theories is established, demonstrating that any computable topological space induces the existence of a metric bundle; the effects of imposing computability conditions on the fibers of the metric bundles are presented; the effects of imposing computability conditions on the base space are studied; and presents the necessary conditions to obtain a computable structure in a metric bundle. Finally some applications are presented with the formulation and solution of dynamic versions for clasical problems in graph theory.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.relation.ispartofUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas Matemáticas
dc.relation.ispartofMatemáticas
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc0 Generalidades / Computer science, information and general works
dc.subject.ddc5 Ciencias naturales y matemáticas / Science
dc.subject.ddc51 Matemáticas / Mathematics
dc.titleSobre computabilidad en campos de espacios métricos
dc.typeTrabajo de grado - Doctorado
dc.type.driverinfo:eu-repo/semantics/doctoralThesis
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/71056/
dc.description.degreelevelDoctorado
dc.relation.referencesGarcía Gómez, Rafael Armando (2018) Sobre computabilidad en campos de espacios métricos. Doctorado thesis, Universidad Nacional de Colombia - Sede Bogotá.
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalCampos de espacios métricos
dc.subject.proposalComputabilidad
dc.subject.proposalRepresentaciones
dc.subject.proposalGrafos dinámicos
dc.subject.proposalMetric bundles
dc.subject.proposalComputability
dc.subject.proposalRepresentations
dc.subject.proposalDynamic graphs
dc.type.coarhttp://purl.org/coar/resource_type/c_db06
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/TD
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit