|  | 7 
            FEVEREIRO 2002 10:00-11:00
 Auditório da Reitoria
   | RESUMO A área da 
            matemática conhecida por topologia não comutativa 
            estuda os chamados "espaços não comutativos", 
            ou "espaços quânticos", que na verdade são 
            álgebras não comutativas encaradas metaforicamente como 
            se de álgebras de funções se tratasse. Muitos 
            exemplos de tais espaços têm sido estudados no contexto 
            de vários campos da matemática, e em aplicações 
            à física, e de um modo geral o carácter "quântico" 
            dos espaços parece indissociável da teoria.
  Um outro tipo 
              de topologia não comutativa baseia-se na noção 
              algébrica de quantale e conduz-nos a um conceito de 
              espaço que num determinado sentido é equivalente ao 
              anterior, mas que por outro lado parece ser mais geral, dando origem 
              a certos "espaços dinâmicos", não 
              necessariamente "quânticos", que têm sido 
              aplicados em contextos distintos dos da topologia não comutativa 
              clássica, nomeadamente na teoria da computação.  Nesta palestra 
              far-se-á uma digressão pela teoria dos quantales, 
              ilustrando com exemplos algumas das ideias subjacentes. 
 |