A topological and domain theoretical study of total computable functions
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFRN |
Texto Completo: | https://repositorio.ufrn.br/jspui/handle/123456789/22327 |
Resumo: | O conjunto de funções totais computáveis somente tem sido estudado topologicamente como um subespaço de um espaço de Baire. Onde a topologia deste espaço de Baire é a topologia induzida de uma topologia de Scott para as funções parciais (não necessariamente computáveis). Nesta tese constrói-se uma topologia original no conjunto de índices das funções totais computáveis e demonstra-se que ela não é homeomorfa com o subespaço do espaço de Baire que foi mencionado. Há um subconjunto indecidível importante no conjunto de funções totais computáveis chamado “o conjunto de funções computáveis regulares”, que recebe atenção especial nesta tese. Com a finalidade de fazer um estudo topológico deste conjunto constrói-se todo um aparato teórico. Após apresentar o estado da arte da teoria dos domínios generalizada introduz-se uma generalização original dos domínios algébricos nomeados como “quase domínios algébricos”. Com uma ordem parcial adequada, constrói-se um quase-domínio algébrico para o conjunto de funções computáveis totais. Por meio da topologia de Scott associada a esse quase-domínio algébrico, obtém-se uma condição necessária para as funções computáveis regulares. Fica provado que esta última topologia não é homeomorfa com o subespaço previamente mencionado do espaço de Baire apresentado. Como subproduto, introduz-se uma topologia de Scott para o conjunto de funções totais (não necessariamente computáveis). Fica provado que esta última topologia não é homeomorfa com o espaço de Baire apresentado. Fica também provado que as topologias de Scott no conjunto de funções totais e no subconjunto de funções totais computáveis têm o conjunto de funções totais com suporte finito como conjunto denso comum. Analogamente, fica provado que a topologia no conjunto índice do conjunto de funções totais computáveis tem como conjunto denso os índices correspondentes a uma enumeração computável sem repetição do conjunto de funções totais com suporte infinito. |
id |
UFRN_904a83a9cfe2fa8418bdc3ec4db2b6e0 |
---|---|
oai_identifier_str |
oai:https://repositorio.ufrn.br:123456789/22327 |
network_acronym_str |
UFRN |
network_name_str |
Repositório Institucional da UFRN |
repository_id_str |
|
spelling |
Olguin, Cláudio Andrés Callejashttp://lattes.cnpq.br/6212733101266338http://lattes.cnpq.br/4601263005352005Santiago, Regivan Hugo Nuneshttp://lattes.cnpq.br/7536988783793885Santana, Fagner Lemos dehttp://lattes.cnpq.br/9444112594388983Viana, Jorge Petruciohttp://lattes.cnpq.br/2332327416299928Oliveira Júnior, Wilson Rosa dehttp://lattes.cnpq.br/1812805997541734Bedregal, Benjamin Rene Callejas2017-03-17T20:07:55Z2017-03-17T20:07:55Z2016-07-29OLGUIN, Cláudio Andrés Callejas. A topological and domain theoretical study of total computable functions. 2016. 70f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2016.https://repositorio.ufrn.br/jspui/handle/123456789/22327O conjunto de funções totais computáveis somente tem sido estudado topologicamente como um subespaço de um espaço de Baire. Onde a topologia deste espaço de Baire é a topologia induzida de uma topologia de Scott para as funções parciais (não necessariamente computáveis). Nesta tese constrói-se uma topologia original no conjunto de índices das funções totais computáveis e demonstra-se que ela não é homeomorfa com o subespaço do espaço de Baire que foi mencionado. Há um subconjunto indecidível importante no conjunto de funções totais computáveis chamado “o conjunto de funções computáveis regulares”, que recebe atenção especial nesta tese. Com a finalidade de fazer um estudo topológico deste conjunto constrói-se todo um aparato teórico. Após apresentar o estado da arte da teoria dos domínios generalizada introduz-se uma generalização original dos domínios algébricos nomeados como “quase domínios algébricos”. Com uma ordem parcial adequada, constrói-se um quase-domínio algébrico para o conjunto de funções computáveis totais. Por meio da topologia de Scott associada a esse quase-domínio algébrico, obtém-se uma condição necessária para as funções computáveis regulares. Fica provado que esta última topologia não é homeomorfa com o subespaço previamente mencionado do espaço de Baire apresentado. Como subproduto, introduz-se uma topologia de Scott para o conjunto de funções totais (não necessariamente computáveis). Fica provado que esta última topologia não é homeomorfa com o espaço de Baire apresentado. Fica também provado que as topologias de Scott no conjunto de funções totais e no subconjunto de funções totais computáveis têm o conjunto de funções totais com suporte finito como conjunto denso comum. Analogamente, fica provado que a topologia no conjunto índice do conjunto de funções totais computáveis tem como conjunto denso os índices correspondentes a uma enumeração computável sem repetição do conjunto de funções totais com suporte infinito.Topologically the set of total computable functions has been studied only as a subspace of a Baire space. Where the topology of this Baire space is the induced topology of a Scott topology for the partial functions (not necessarily computable). In this thesis a novel topology on the index set of the set of total computable functions is built and proved that it is not homeomorphic to the aforementioned subspace of the presented Baire space. There is an important undecidable subset of the set of total computable functions called the set of regular computable functions that receives particular attention in this thesis. In order to make a topological study of this set a whole theoretical apparatus is constructed. After presenting the state of the art of generalised domain theory, a novel generalisation of algebraic domains coined as algebraic quasidomains is introduced. With a suited partial-order an algebraic quasi-domain is built for the set of total computable functions. Through the Scott topology associated with this algebraic quasi-domain a necessary condition for the regular computable functions is obtained. It is proved that this later topology is not homeomorphic to the previously mentioned subspace of the presented Baire space. As a byproduct a Scott topology for the set of total functions (not necessarily computable) is introduced. It is proved that this later topology is not homeomorphic to the presented Baire space. It is also proved that the Scott topologies in the set of total functions and in the subset of total computable functions have the set of total functions with finite support as a common dense set. Analogously it is proved that the topology in the index set of the set of total computable functions has as a dense set the indexes corresponding to a computable enumeration without repetition of the set of total functions with finite support.porCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOComputabilidadeFunções totais computáveisEspaços topológicosMétricasTopologia de ScottDomínios algébricosA topological and domain theoretical study of total computable functionsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃOUFRNBrasilinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALClaudioAndresCallejasOlguin_TESE.pdfClaudioAndresCallejasOlguin_TESE.pdfapplication/pdf2211980https://repositorio.ufrn.br/bitstream/123456789/22327/1/ClaudioAndresCallejasOlguin_TESE.pdf43d6739cb7eb1fed182e4f8e8c47fb05MD51TEXTClaudioAndresCallejasOlguin_TESE.pdf.txtClaudioAndresCallejasOlguin_TESE.pdf.txtExtracted texttext/plain179428https://repositorio.ufrn.br/bitstream/123456789/22327/4/ClaudioAndresCallejasOlguin_TESE.pdf.txt14d9eb2a40419073c523c5f77df95917MD54THUMBNAILClaudioAndresCallejasOlguin_TESE.pdf.jpgClaudioAndresCallejasOlguin_TESE.pdf.jpgIM Thumbnailimage/jpeg2279https://repositorio.ufrn.br/bitstream/123456789/22327/5/ClaudioAndresCallejasOlguin_TESE.pdf.jpg8f944a4a547c9604e8e4a54d5cfa8352MD55123456789/223272017-11-03 23:25:46.898oai:https://repositorio.ufrn.br:123456789/22327Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-04T02:25:46Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
dc.title.pt_BR.fl_str_mv |
A topological and domain theoretical study of total computable functions |
title |
A topological and domain theoretical study of total computable functions |
spellingShingle |
A topological and domain theoretical study of total computable functions Olguin, Cláudio Andrés Callejas CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO Computabilidade Funções totais computáveis Espaços topológicos Métricas Topologia de Scott Domínios algébricos |
title_short |
A topological and domain theoretical study of total computable functions |
title_full |
A topological and domain theoretical study of total computable functions |
title_fullStr |
A topological and domain theoretical study of total computable functions |
title_full_unstemmed |
A topological and domain theoretical study of total computable functions |
title_sort |
A topological and domain theoretical study of total computable functions |
author |
Olguin, Cláudio Andrés Callejas |
author_facet |
Olguin, Cláudio Andrés Callejas |
author_role |
author |
dc.contributor.authorID.pt_BR.fl_str_mv |
|
dc.contributor.authorLattes.none.fl_str_mv |
http://lattes.cnpq.br/6212733101266338 |
dc.contributor.advisorID.pt_BR.fl_str_mv |
|
dc.contributor.advisorLattes.none.fl_str_mv |
http://lattes.cnpq.br/4601263005352005 |
dc.contributor.referees1.none.fl_str_mv |
Santiago, Regivan Hugo Nunes |
dc.contributor.referees1ID.pt_BR.fl_str_mv |
|
dc.contributor.referees1Lattes.none.fl_str_mv |
http://lattes.cnpq.br/7536988783793885 |
dc.contributor.referees2.none.fl_str_mv |
Santana, Fagner Lemos de |
dc.contributor.referees2ID.pt_BR.fl_str_mv |
|
dc.contributor.referees2Lattes.none.fl_str_mv |
http://lattes.cnpq.br/9444112594388983 |
dc.contributor.referees3.none.fl_str_mv |
Viana, Jorge Petrucio |
dc.contributor.referees3ID.pt_BR.fl_str_mv |
|
dc.contributor.referees3Lattes.none.fl_str_mv |
http://lattes.cnpq.br/2332327416299928 |
dc.contributor.referees4.none.fl_str_mv |
Oliveira Júnior, Wilson Rosa de |
dc.contributor.referees4ID.pt_BR.fl_str_mv |
|
dc.contributor.referees4Lattes.none.fl_str_mv |
http://lattes.cnpq.br/1812805997541734 |
dc.contributor.author.fl_str_mv |
Olguin, Cláudio Andrés Callejas |
dc.contributor.advisor1.fl_str_mv |
Bedregal, Benjamin Rene Callejas |
contributor_str_mv |
Bedregal, Benjamin Rene Callejas |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
topic |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO Computabilidade Funções totais computáveis Espaços topológicos Métricas Topologia de Scott Domínios algébricos |
dc.subject.por.fl_str_mv |
Computabilidade Funções totais computáveis Espaços topológicos Métricas Topologia de Scott Domínios algébricos |
description |
O conjunto de funções totais computáveis somente tem sido estudado topologicamente como um subespaço de um espaço de Baire. Onde a topologia deste espaço de Baire é a topologia induzida de uma topologia de Scott para as funções parciais (não necessariamente computáveis). Nesta tese constrói-se uma topologia original no conjunto de índices das funções totais computáveis e demonstra-se que ela não é homeomorfa com o subespaço do espaço de Baire que foi mencionado. Há um subconjunto indecidível importante no conjunto de funções totais computáveis chamado “o conjunto de funções computáveis regulares”, que recebe atenção especial nesta tese. Com a finalidade de fazer um estudo topológico deste conjunto constrói-se todo um aparato teórico. Após apresentar o estado da arte da teoria dos domínios generalizada introduz-se uma generalização original dos domínios algébricos nomeados como “quase domínios algébricos”. Com uma ordem parcial adequada, constrói-se um quase-domínio algébrico para o conjunto de funções computáveis totais. Por meio da topologia de Scott associada a esse quase-domínio algébrico, obtém-se uma condição necessária para as funções computáveis regulares. Fica provado que esta última topologia não é homeomorfa com o subespaço previamente mencionado do espaço de Baire apresentado. Como subproduto, introduz-se uma topologia de Scott para o conjunto de funções totais (não necessariamente computáveis). Fica provado que esta última topologia não é homeomorfa com o espaço de Baire apresentado. Fica também provado que as topologias de Scott no conjunto de funções totais e no subconjunto de funções totais computáveis têm o conjunto de funções totais com suporte finito como conjunto denso comum. Analogamente, fica provado que a topologia no conjunto índice do conjunto de funções totais computáveis tem como conjunto denso os índices correspondentes a uma enumeração computável sem repetição do conjunto de funções totais com suporte infinito. |
publishDate |
2016 |
dc.date.issued.fl_str_mv |
2016-07-29 |
dc.date.accessioned.fl_str_mv |
2017-03-17T20:07:55Z |
dc.date.available.fl_str_mv |
2017-03-17T20:07:55Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
OLGUIN, Cláudio Andrés Callejas. A topological and domain theoretical study of total computable functions. 2016. 70f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2016. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufrn.br/jspui/handle/123456789/22327 |
identifier_str_mv |
OLGUIN, Cláudio Andrés Callejas. A topological and domain theoretical study of total computable functions. 2016. 70f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2016. |
url |
https://repositorio.ufrn.br/jspui/handle/123456789/22327 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.program.fl_str_mv |
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO |
dc.publisher.initials.fl_str_mv |
UFRN |
dc.publisher.country.fl_str_mv |
Brasil |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
instacron_str |
UFRN |
institution |
UFRN |
reponame_str |
Repositório Institucional da UFRN |
collection |
Repositório Institucional da UFRN |
bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/123456789/22327/1/ClaudioAndresCallejasOlguin_TESE.pdf https://repositorio.ufrn.br/bitstream/123456789/22327/4/ClaudioAndresCallejasOlguin_TESE.pdf.txt https://repositorio.ufrn.br/bitstream/123456789/22327/5/ClaudioAndresCallejasOlguin_TESE.pdf.jpg |
bitstream.checksum.fl_str_mv |
43d6739cb7eb1fed182e4f8e8c47fb05 14d9eb2a40419073c523c5f77df95917 8f944a4a547c9604e8e4a54d5cfa8352 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
repository.mail.fl_str_mv |
|
_version_ |
1802117793980612608 |