Teorema de Knaster-Tarski
Knaster–Tarski theorem
- Fecha
- 1928/1955 · fiabilidad baja
- Lugar
- Berkeley, California, Estados Unidos
- Autoría
- Bronisław Knaster y Alfred Tarski
- Ámbito
- Saber y símbolos
Qué se descubrió
El teorema de Knaster-Tarski, en teoría de retículos, afirma que si (L, ≤) es un retículo completo y f: L → L es una función monótona, entonces el conjunto de puntos fijos de f en L forma también un retículo completo. Bronisław Knaster y Alfred Tarski lo probaron para un caso particular en 1928, y Tarski lo generalizó en 1955.
A qué dio paso
- Herramienta estándar para demostrar la existencia de puntos fijos en informática teórica
- Base de la semántica denotacional de la recursión en lenguajes de programación
- Uso en teoría de juegos y economía (existencia de equilibrios)