📈 economics

All Games Have Equilibria

Este artículo establece que todo juego con un conjunto de jugadores no vacío, conjuntos de acciones no vacíos y funciones de utilidad acotadas admite un equilibrio de Nash en estrategias mixtas finitamente aditivas, unificando así la teoría del equilibrio para juegos infinitos y superando limitaciones técnicas previas asociadas con la aditividad contable.

Autores originales: M. Ali Khan, Arthur Paul Pedersen, Maxwell B. Stinchcombe

Publicado 2026-07-20

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: M. Ali Khan, Arthur Paul Pedersen, Maxwell B. Stinchcombe

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

El Gran Juego del "¿Qué pasaría si...?"

Imagina un mundo donde cada decisión que tomas es parte de un gigante e invisible juego. Eliges qué vestir, qué comer o cómo conducir hacia la escuela, pero tu resultado depende no solo de tu elección, sino también de lo que el resto elija. Este es el reino de la Teoría de Juegos, una rama de las matemáticas que estudia cómo las personas (o las computadoras, o los animales) toman decisiones cuando sus destinos están entrelazados. Durante mucho tiempo, los matemáticos tuvieron una regla de oro para estos juegos: si el número de opciones es finito (como Piedra, Papel o Tijera), siempre existe un equilibrio "perfecto" llamado Equilibrio de Nash. Es un estado en el que nadie quiere cambiar su movimiento porque solo obtendría un resultado peor.

Pero, ¿qué sucede cuando el juego se vuelve infinito? ¿Qué pasa si puedes elegir cualquier número entre 0 y 1, o si hay jugadores infinitos? En el mundo real, muchas situaciones se sienten infinitas. No siempre puedes contar los granos de arena en una playa o la velocidad exacta de un coche. Durante décadas, cuando los matemáticos intentaron aplicar la regla del "equilibrio perfecto" a estos juegos infinitos, las matemáticas se rompieron. Las herramientas que utilizaban, que dependían de contar cosas de una manera muy estricta y "contable", de repente desaparecían o producían resultados imposibles. Era como intentar medir el océano con una cucharilla; cuanto más lo intentabas, más parecía desaparecer el agua. Esto dejó un enorme vacío en nuestra comprensión: ¿tienen estos juegos infinitos realmente una solución estable, o son simplemente un caos desordenado?

El Gran Descubrimiento del Artículo: "Todos los Juegos Tienen Equilibrios"

Este artículo, titulado "All Games Have Equilibria" (Todos los juegos tienen equilibrios), de M. Ali Khan, Arthur Paul Pedersen y Maxwell B. Stinchcombe, interviene para reparar las herramientas rotas. Los autores argumentan que el problema no eran los juegos en sí, sino la forma en que los matemáticos intentaban medirlos. Proponen una forma nueva y más flexible de pensar sobre las "estrategias mixtas", que son básicamente elecciones aleatorias, como lanzar una moneda para decidir tu movimiento.

En la vieja escuela de pensamiento, si querías mezclar tus estrategias, tenías que seguir reglas estrictas de "aditividad contable". Imagina que tienes un frasco de canicas. Si eliges una roja, luego una azul y luego una verde, la probabilidad total de elegir una de esas tres es simplemente la suma de sus probabilidades individuales. Esto funciona de maravilla para un frasco finito. Pero en un juego infinito, esta regla es como intentar sumar una lista infinente de números que cambia la respuesta dependiendo del orden en que los sumas. Los autores dicen: "Vamos a abandonar esa regla estricta". En su lugar, utilizan probabilidades finitamente aditivas. Piensa en esto como una lupa superpotente que puede ver los momentos de "apenas por poco" que las herramientas antiguas pasaban por alto. Permite que las matemáticas manejen el infinito sin perder los detalles diminutos y cruciales que determinan quién gana.

El Hallazgo Principal:
El artículo demuestra un teorema sorprendentemente simple pero poderoso: Cada uno de los juegos con una recompusa acotada (es decir, que las recompensas no son infinitas) tiene un Equilibrio de Nash. No importa si el juego tiene jugadores infinitos, elecciones infinitas o recompensas irregulares y dentadas que saltan de un lado a otro. Si utilizas estas nuevas y flexibles estrategias "finitamente aditivas", un equilibrio estable siempre existe. Los autores demuestran que el conjunto de estos equilibrios no es solo vacío o caótico; es "bien comportado", lo que significa que es estable y predecible. Si retocas ligeramente el juego, el equilibrio se desplaza ligeramente, en lugar de desvanecerse en el aire.

Lo que Descartan:
Los autores son muy claros sobre lo que no funciona. Argumentan explícitamente contra la idea de que siempre podemos forzar estos juegos infinitos para que encajen en la vieja y estricta caja de la "aditividad contable". Demuestran que intentar hacerlo a menudo conduce a "equilibrios" que son en realidad disparates —como un juego donde ambos jugadores ganan dinero en un juego de suma cero (donde la ganancia de una persona es la pérdida de la otra), lo cual es imposible. También descartan la idea de que podamos simplemente ignorar los detalles de "justo debajo" o "justo encima". En muchos de estos juegos, la diferencia entre elegir 0.4999 y 0.5000 lo es todo. Las matemáticas antiguas tratarían estos puntos como si fueran el mismo y perderían la información; las nuevas matemáticas mantienen viva esa distinción.

¿Qué tan Seguros Están?
Esto no es una suposición o una simulación. Los autores proporcionan pruebas matemáticas rigurosas. No solo sugieren que estos equilibrios existen; demuestran que deben existir bajo las condiciones que definen. También demuestran que estos equilibrios son "finitamente aproximables", lo que significa que puedes encontrarlos observando versiones más pequeñas y finitas del juego y viendo hacia dónde conducen. Esto le da a la teoría un sentido práctico y operativo: no es solo un fantasma teórico; es algo a lo que realmente puedes acercarte y comprender.

La Magia del "Justo Debajo"

Para entender por qué esto es importante, imagina un juego de "Justo Debajo". Dos jugadores intentan elegir un número justo por debajo de 0.5.

Jugador A elige 0.49.
Jugador B elige 0.499.
Jugador C elige 0.4999.

En las matemáticas antiguas, a medida que te acercas más y más a 0.5, los números todos se desdibujan en el punto único 0.5. Si ambos jugadores eligen 0.5, el juego podría romperse o no tener solución. Pero en el mundo real, siempre hay un "ganador" en el concurso de "justo debajo". El jugador que eligió 0.4999 está más cerca de la meta que el que eligió 0.49.

Los autores demuestran que su nueva matemática preserva esta información de "justo debajo". Es como tener una cámara que nunca pierde el enfoque, incluso cuando los números se vuelven infinitamente pequeños. Utilizan un truco ingenioso con "redes" (una forma elegante de organizar listas infinitas) y "conjuntos hiperfinitos" (conjuntos imaginarios que son enormes pero aún finitos de una manera especial) para demostrar que siempre puedes encontrar un equilibrio estable.

Por Qué Esto lo Cambia Todo

El artículo aborda problemas famosos y persistentes con los que los matemáticos han luchado durante décadas, como el juego de Sion y Wolfe y el Juego del Mayor Entero de Wald. En estos juegos, las matemáticas antiguas decían: "¡No existe un equilibrio!" o "¡La respuesta depende de cómo cuentes!". La nueva matemática dice: "Aquí está el equilibrio, y aquí está exactamente por qué funciona".

Por ejemplo, en un juego donde intentas elegir el entero más grande, las matemáticas antiguas se quedaban estancadas porque no existe un "mayor" entero. La nueva matemática muestra que el equilibrio implica un tipo específico de probabilidad "finitamente aditiva" que captura el espíritu de "intentar ser el más grande" sin quedarse atrapado en el hecho de que siempre puedes ser más grande.

Los autores también muestran que este enfoque no rompe los juegos que ya conocemos. Si un juego es simple y finito, su nueva matemática da exactamente la misma respuesta que la antigua. Es un superconjunto: incluye todas las soluciones antiguas y añade nuevas para los casos infinitos.

La Conclusión

Este artículo es un programa unificador. Toma un mosaico de reglas confusas y contraejemplos y los reemplaza con un marco único y limpio. Nos dice que los juegos infinitos no están rotos; nuestras herramientas eran simplemente demasiado rígidas. Al relajar las reglas de cómo contamos las probabilidades, podemos ver que la estabilidad y el equilibrio siempre son posibles, incluso en los escenarios más caóticos e infinitos. Los autores han construido un puente entre el mundo finito que podemos contar y el mundo infinito que solo podemos imaginar, demostando que las leyes de la teoría de juegos se mantienen vigentes hasta el borde del infinito.

Resumen Técnico: "Todos los juegos tienen equilibrios"

Planteamiento del problema
El artículo aborda una brecha fundamental en la teoría de juegos: mientras que el teorema de existencia de Nash garantiza equilibrios para juegos finitos, la literatura sobre juegos infinitos (donde los conjuntos de jugadores o de acciones son infinitos) carece de una teoría de existencia unificada. El marco predominante se basa en estrategias mixtas de aditividad contable y requiere supuestos topológicos fuertes, específicamente espacios de acción compactos y continuidad conjunta de las funciones de utilidad. Sin estos, los resultados clásicos fallan; los contraejemplos seminales de Wald (1945) y Sion y Wolfe (1957) demuestran que los juegos de suma cero con discontinuidades o falta de compacidad a menudo carecen de equilibrios contablemente aditivos, o incluso de equilibrios aproximados ( $\epsilon$ -equilibrios). Los intentos previos para resolver esto han dado lugar a un "remiendo" de precondiciones técnicas, condiciones restrictivas sobre las discontinuidades o la redefinición de las funciones de utilidad mediante reglas de reparto, a menudo a costa de la integridad estratégica (por ejemplo, permitiendo estrategias estrictamente dominadas o violando la naturaleza antagónica de los juegos de suma cero).

Metodología
Los autores proponen un programa unificado que revisa el modelo de estrategias mixtas reemplazando la aditividad contable por la aditividad finita.

Especificación del juego: Un juego se define por un conjunto no vacío de jugadores, conjuntos de acciones no vacíos (sin asumir estructura topológica o de medida) y funciones de utilidad de von Neumann-Morgenstern acotadas.
Espacio de estrategias: Las estrategias mixtas se modelan como probabilidades de aditividad finita definidas sobre la clase de todos los subconjuntos del espacio de acción (denotado $\Delta(X)$ ). Este espacio es compacto en la topología producto (teorema de Tychonoff), donde la convergencia se define por la convergencia de integrales contra todas las funciones acotadas.
Concepto de equilibrio: Un equilibrio se define como un vector de estrategias mixtas independientes de tal manera que ningún jugador puede ganar desviándose a una estrategia pura. La independencia se mantiene mediante extensiones producto de las estrategias individuales.
Aproximación: Los autores utilizan redes exhaustivas de aproximaciones finitas en lugar de simples sucesiones. Una red exhaustiva asegura que cada acción en el conjunto infinito sea eventualmente incluida en las aproximaciones finitas. Esto permite el análisis de límites que preservan la información relevante para el pago que se pierde en los límites contablemente aditivos estándar.
Refinamiento: El artículo aísla un subconjunto de equilibrios que surgen como límites de equilibrios en aproximaciones finitas donde se han eliminado las estrategias iterativamente débilmente dominadas.

Contribuciones clave y resultados

Existencia Universal (Teorema A): El artículo demuestra que todo juego con utilidades acotadas admite un equilibrio de Nash en estrategias mixtas de aditividad finita. Este resultado se mantiene independientemente de la cardinalidad del conjunto de jugadores, la topología de los espacios de acción o la continuidad de las funciones de utilidad.
Estabilidad y Continuidad (Teorema B): Se demuestra que la correspondencia de equilibrio (el mapeo de las funciones de utilidad al conjunto de equilibrios) es de valores no vacíos, de valores compactos y es semicontinua superiormente. Esto establece que la teoría es estable bajo perturbaciones de los pagos, una propiedad que suele faltar en la teoría de juegos infinitos clásica.
Operacionalidad y Aproximabilidad Finita (Teorema C): Los autores demuestran que el conjunto de equilibrios finitamente aproximables (límites de equilibrios de aproximaciones finitas exhaustivas) es no vacío y bien comportado. Además, el subconjunto de estos equilibrios que sobreviven a la eliminación iterativa de estrategias débilmente dominadas es también no vacío, de valores compactos y semicontinuo superiormente. Crucialmente, estos límites no asignan masa a estrategias iterativamente débilmente dominadas.
Resolución de Patologías Clásicas:
- Teorema de Fubini: El artículo argumenta que el fallo del teorema de Fubini para las medidas de aditividad finita no es un defecto para el análisis del equilibrio. Para la clase específica de equilibrios identificados en el Teorema C (límites de productos de probabilidades de soporte finito), el límite sigue siendo una extensión producto, preservando la independencia.
- Discontinuidades: En juegos como el juego de Sion-Wolfe o el juego de localización asimétrica, el marco de aditividad finita captura comportamientos de "justo por debajo" o "justo por encima" (por ejemplo, concentrando masa infinitesimalmente cerca de un punto de discontinuidad) que los límites contablemente aditivos colapsan en un solo punto, destruyendo así la propiedad de equilibrio.
- Reglas de Reparto: A diferencia el enfoque de la regla de reparto de Simon-Zame (1990), que redefine las utilidades en las discontinuidades y puede seleccionar estrategias estrictamente dominadas, el enfoque de aditividad finita preserva las funciones de utilidad originales y la lógica estratégica sin reglas arbitrarias de desempate.
Equivalencia de Utilidad (Teoremas D y E): El artículo delinea la frontera entre la nueva teoría y la clásica. Identifica condiciones (relacionadas con la continuidad de los pagos de desviación y la masa del equilibrio en los conjuntos de discontinuidad) bajo las cuales los equilibrios de aditividad finita producen las mismas predicciones de utilidad que los de aditividad contable. Cuando estas condiciones fallan, la divergencia refleja distinciones relevantes para el pago presentes en las aproximaciones finitas que el marco contablemente aditivo no puede representar.

Significancia y Reivindicaciones
Los autores afirman que su enfoque proporciona un programa único y global para la teoría del equilibrio que restaura las propiedades fundamentales de los juegos finitos (existencia, estabilidad y operacionalidad) al caso infinito.

Naturalidad: Argumentan que relajar la aditividad contable no es meramente una maniobra técnica, sino un paso necesario para retener la información codificada en las aproximaciones finitas. En problemas discontinuos, el marco de aditividad contable descarta sistemáticamente información relevante para las respuestas estratégicas.
No Revisionista: La teoría no es indiscriminadamente revisionista; coincide con los resultados clásicos (por ejemplo, Glicksberg, 1952) para espacios de Hausdorff compactos con pagos conjuntamente continuos.
Operacionalidad: Al fundamentar los equilibrios en límites de aproximaciones finitas y en la dominancia iterada, la teoría conecta los juegos infinitos con la lógica estratégica de los modelos finitos, haciendo que los juegos previamente "intratables" sean susceptibles de un análisis directo.
Direcciones Futuras: El artículo sugiere que este marco es particularmente adecuado para los juegos de forma extensiva de continuo y los juegos de población infinita, donde la "desaparición" de la información en el límite (un problema conocido en los modelos de aditividad contable) es central para el problema del equilibrio.

En resumen, el artículo sostiene que, al adoptar estrategias mixtas de aditividad finita y aproximaciones finitas exhaustivas, se puede construir una teoría del equilibrio robusta, general y estratégicamente fiel para todos los juegos con utilidades acotadas, unificando efectivamente el tratamiento de los juegos finitos e infinitos.