Resumo. Uma técnica para lidar com domínios não contáveis através de domínios contáveisé usar a noção de completação. Neste artigo, propomos uma representação de domínios bi-Scott (domínios de Scott cuja reversa tambémé um domínio de Scott) via completação por ideais de posets contáveis bi-finitamente consistentemente completos com menor e maior elemento. Mostramos que o construtor intervalaré fechado sobre esta classe de domínios e que funções monotônicas entre estes posets podem ser transformadas (completadas) numa função contínua entre os domínios bi-Scotts representados pelos posets. A partir desteúltimo resultado, podemos obter uma definição básica de computabilidade entre domínios bi-Scott baseada na noção clássica de computabilidade (por exemplo, usando máquinas de Turing) entre seus posets de elementos finitos. IntroduçãoA matemática intervalar, introduzida por R. Moore [10,12], visa prover um controle dos erros computacionais que resultam de computações numéricas envolvendo representações finitas de números reais. A teoria original de Moore não somente considera intervalos reais, mas também intervalos complexos, matrizes de intervalos reais e complexos, etc. [3,12,8]. Assim, podemos ter intervalos de diversos tipos de dados, pelo que podemos pensar em intervalos paramétricos, o qual implica em ver intervalos como um construtor de tipos. Com este objetivo, em [4], foi introduzido um construtor intervalar sobre posets junto com uma categoria de poset, os domínios d-Scott (dcpos ω-algébricos consistentemente completos cujos posets opostos também são dcpos ω-algébricos consistentemente completos), fechada sobre este construtor. Neste artigo, consideraremos uma sub-categoria de d-Scott, chamada por nós de domínios bi-Scott, istoé domínios de Scott (cpos ω-algébricos consistentemente completos) cujo poset oposto tambémé um domínio de Scott e que provamos ser fechada sobre o construtor intervalar.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.