Revista Integración, temas de matemáticas.
Vol. 35 Núm. 1 (2017): Revista Integración, temas de matemáticas
Artículos científicos

Un acercamiento coinductivo al análisis real

Guillermo Ortiz-Rico
Universidad del Valle, Departamento de Matemática, Cali, Colombia.
Lina Isabel Triviño-Viera
Universidad del Valle, Departamento de Matemática, Cali

Publicado 2017-08-09

Palabras clave

  • Categorias,
  • Álgebra,
  • Coálgebra,
  • inducción,
  • coinducción

Cómo citar

Ortiz-Rico, G., & Triviño-Viera, L. I. (2017). Un acercamiento coinductivo al análisis real. Revista Integración, Temas De matemáticas, 35(1), 103–125. https://doi.org/10.18273/revint.v35n1-2017007

Resumen

La coinducción, un concepto dual a la inducción ha sido descubierto y estudiado recientemente. Una forma sencilla de entender su naturalidad es observando que este se refiere a los puntos fijos más grandes, mientras que la inducción se refiere a los mas pequeños. Inicialmente el soporte técnico de la coinducción estaba en la teoría de retículos a través de los puntos fijos más grandes, ahora dicho soporte se centra en el lenguaje de categorías a través de las F-coálgebras finales. Las F-coálgebras son un concepto dual a la generalización de F-álgebras para un funtor F. En el presente trabajo nos centraremos en un tipo muy particular de F-coálgebras: los autómatas de cadena para ilustrar el carácter coinductivo del análisis real a través de resultados clásicos como el teorema fundamental del cálculo, las series de Taylor y la solución de ciertas ecuaciones diferenciales.

MSC2010: 18A05, 18C10,03B70, 68Q65

Descargas

Los datos de descargas todavía no están disponibles.

Referencias

[1] Aczel P., Non-Well-Founded Sets, Stanford University, Center for the Study of Language and Information, 1988.

[2] Burris S. and Sankappanavar H.P., A Course in Universal Algebra, Springer-Verlarg, New York, 1981.

[3] Fauser B. and Pavlovic D., "Smooth coalgebra: testing vector analysis", Math. Structures Comput. Sci. (2015), 1-141.

[4] Gumm P., "Functor for Coalgebras", Algebra Universalis 45 (2001), No. 2-3, 135-147.

[5] Hansen H.H., Kupke C. and Rutten J.J., "Stream differential equations: specifications formats and solution methods", Log. Methods Comput. Sci 13 (2017), No. 1, 151.

[6] Jacobs B. and Rutten J.J., "A tutorial on (Co)algebras and (Co)induction", EATCS Bulletin 62 (1997), 222-259.

[7] Ortiz G. and Valencia S., "La Categoricidad de los reales en Hilbert, Rev. Bras. Hist. Mat. 10 (2010), No. 19, 39-65.

[8] Pattinson D., An introduction to the Theory of Coalgebras, Course notes Institut für Informatik, München, 2003.

[9] Rutten J.J., "A coinductive calculus of streams", Math. Structures Comput. Sci. 15 (2005), No. 1 93-147.

[10] Rutten J.J., "Behavioural differential equations: a coinductive calculus of streams, automatas and power series", Theoret. Comput. Sci. 308 (2003), 1-153.