Fecha: 24 de Septiembre, 2015. 5pm.

Expositor: Favio E. Miranda Perea (Fac. de Ciencias, UNAM-DF)

Actividad: Coloquio Oaxaqueño del Instituto de Matemáticas de la UNAM.

Lugar: Instituto de Matemáticas Unidad Oaxaca.

Resumen:

Dado un operador F: L --> L, donde L es una latiz completa, se garantiza la existencia de  puntos fijos de F, sólo cuando dicho operador es monótono. El mínimo o máximo punto fijo de un operador monótono es suficiente para dar significado matemático a la gran mayoría de las definiciones (co)inductivas surgidas informalmente, por ejemplo, en el ámbito de las ciencias de la computación. Sin embargo, existen definiciones empleadas en la práctica que no corresponden a un operador monótono. 

El objetivo de esta charla es discutir algunas maneras de dar significado a esta clase de definiciones mediante la monotonización de un operador, enfocándonos en las propiedades de este concepto así como en los principios de (co)inducción subyacentes.