Teoremas del punto fijo de Banach y Knaster-Tarski: ¿están relacionados?

Question

¿Existe alguna forma conocida de obtener el teorema del punto fijo de Banach a partir del teorema del punto fijo de Tarski o viceversa?

Answer 1

Hola,

Acabo de encontrar la pregunta, por lo que la respuesta puede que sea un poco tardía, pero ... Echa un vistazo a:

Paweł Waszkiewicz, "Patrones comunes para teoremas métricos y de puntos fijos ordenados", en Actas del 7º taller sobre puntos fijos en informática (Luigi Santocanale ed.), 2010, págs. 83-87.

Asistí a esta charla el verano pasado y aborda exactamente tu pregunta.

Answer 2

Mira el artículo: M.Jawahiri, D. Misane, M. Pouzet. Se retrae: gráficos y conjuntos ordrerd desde el punto de vista métrico. Matemáticas contemporáneas, 1986, vol. 57 págs. 175-226