Homotopia Intervalar

Abstract

Nesse trabalho apresentamos uma formalização do conceito matemático de homotopia mergulhado no ambiente das funções intervalares definidas sobre o conjunto dos intervalos com extremos reais I(R), tanto considerando a Scottcontinuidade quanto a Moore-continuidade. Definimos o que é uma homotopia Scott intervalar, bem como o que é uma homotopia Moore intervalar. Em seguida mostramos que esses dois conceitos coincidem para representações canônicas. Para finalizar, mostramos alguns resultados envolvendo homotopia intervalar e conceitos relacionados, tais como composição de homotopias e retrato por deformação.