Caríssimos, mais uma palestra do Lolita. Desta vez:
Título: Uma nova perspectiva para a Matemática Intervalar. Palestrante: Prof. Benedito Melo Acióly (Titular UESB) Local: Sala de Reuniões do DIMAp Data: 10 Junho 2011 às 15:00hs Resumo: Nesta palestra destacaremos a grande importância da aritmética intervalar, uma aritmética sobre intervalos fechados de números reais que deixa invariante a aritmética real. Nesta aritmética, as funções elementares reais, quando estendidas às funções elementares intervalares, se tornam isotônicas. Nesta perspectiva, introduzimos uma ordem no espaço dos intervalos, assim como uma topologia compatível com esta ordem que torna a “Categoria da Matemática Intervalar” uma categoria cartesiana fechada (CCC). Cada objeto desta categoria é um reticulado contínuo (o topo pode ser removido, restando um domínio contínuo) e como tal cada um desses objetos é um espaço topológico injetivo. Esta característica nos permite estender de forma natural as propriedades da análise real para a análise intervalar e reciprocamente. Interpretando um intervalo como uma aproximação de um número real, podemos definir uma igualdade no espaço dos intervalos tornando-o um corpo. Com essa igualdade (que infelizmente não é clássica, mas intuicionista) a categoria dos intervalos se torna um Topos não-clássico (com objeto reflexivo universal não-extensional) cujo objeto classificador é a topologia usual da reta; uma álgebra de Heyting contínua. Regivan -- ****************************************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679 Phone: +55 84 3215-3814 Ext. 211 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ****************************************************************************** _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
