📈 economics

All Games Have Equilibria

Este artigo estabelece que todo jogo com um conjunto não vazio de jogadores, conjuntos de ações não vazios e funções de utilidade limitadas admite um equilíbrio de Nash em estratégias mistas finitamente aditivas, unificando, assim, a teoria do equilíbrio para jogos infinitos e superando limitações técnicas anteriores associadas à aditividade enumerável.

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

Publicado 2026-07-20

📖 7 min de leitura🧠 Leitura aprofundada

CC BY 4.0

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

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

O Grande Jogo do "E Se?"

Imagine um mundo onde cada decisão que você toma faz parte de um jogo gigante e invisível. Você escolhe o que vestir, o que comer ou como dirigir para a escola, mas o seu resultado depende não apenas da sua escolha, mas do que todos os outros escolhem também. Este é o reino da Teoria dos Jogos, um ramo da matemática que estuda como as pessoas (ou computadores, ou animais) tomam decisões quando seus destinos estão interligados. Por muito tempo, os matemáticos tiveram uma regra de ouro para esses jogos: se o número de escolhas for finito (como Pedra, Papel e Tesoura), sempre existe um equilíbrio "perfeito" chamado Equilíbrio de Nash. É um estado onde ninguém quer mudar sua jogada porque isso resultaria em um resultado pior.

Mas o que acontece quando o jogo se torna infinito? E se você puder escolher qualquer número entre 0 e 1, ou se houver jogadores infinitos? No mundo real, muitas situações parecem infinitas. Você não pode sempre contar os grãos de areia em uma praia ou a velocidade exata de um carro. Durante décadas, quando os matemáticos tentaram aplicar a regra do "equilíbrio perfeito" a esses jogos infinitos, a matemática quebrava. As ferramentas que eles usavam, que dependiam de contar coisas de uma forma muito estrita, "contável", subitamente desapareciam ou produziam resultados impossíveis. Era como tentar medir o oceano com uma colher de chá; quanto mais você tentava, mais a água parecia desaparecer. Isso deixou uma enorme lacuna em nossa compreensão: esses jogos infinitos realmente possuem uma solução estável ou são apenas um caos desordenado?

A Grande Descoberta do Artigo: "Todos os Jogos Têm Equilíbrios"

Este artigo, intitulado "All Games Have Equilibria" (Todos os Jogos Têm Equilíbrios), de M. Ali Khan, Arthur Paul Pedersen e Maxwell B. Stinchcombe, intervém para consertar as ferramentas quebradas. Os autores argumentam que o problema não eram os jogos em si, mas a maneira como os matemáticos estavam tentando medi-los. Eles propõem uma nova forma mais flexível de pensar sobre "estratégias mistas" — que são, basicamente, escolhas aleatórias, como jogar uma moeda para decidir sua jogada.

Na velha escola de pensamento, se você quisesse misturar suas estratégias, teria que seguir regras estritas de "aditividade contável". Imagine que você tem um pote de bolinhas. Se você pegar uma vermelha, depois uma azul, depois uma verde, a probabilidade total de pegar uma dessas três é apenas a soma de suas chances individuais. Isso funciona muito bem para um pote finito. Mas em um jogo infinito, essa regra é como tentar somar uma lista infinente de números que muda a resposta dependendo da ordem em que você os soma. Os autores dizem: "Vamos abandonar essa regra estrita". Em vez disso, eles utilizam probabilidades finitamente aditivas. Pense nisso como uma lupa superpoderosa que consegue ver os momentos do "por pouco" que as ferramentas antigas perderam. Isso permite que a matemática lide com o infinito sem perder os detalhes minúsculos e cruciais que determinam quem vence.

A Principal Descoberta:
O artigo prova um teorema surpreendentemente simples, mas poderoso: Todo e qualquer jogo com um pagamento limitado (significando que as recompensas não são infinitas) possui um Equilíbrio de Nash. Não importa se o jogo tem jogadores infinitos, escolhas infinitas ou pagamentos irregulares e acidentados que saltam de um lado para o outro. Se você usar essas novas estratégias "finitamente aditivas" flexíveis, um equilíbrio estável sempre existirá. Os autores mostram que o conjunto desses equilíbrios não é apenas vazio ou caótico; ele é "bem comportado", o que significa que é estável e previsível. Se você alterar o jogo ligeiramente, o equilíbrio se desloca ligeiramente, em vez de desaparecer no ar.

O Que Eles Descartam:
Os autores são muito claros sobre o que não funciona. Eles argumentam explicitamente contra a ideia de que podemos sempre forçar esses jogos infinitos a caber na antiga e estrita caixa "contavelmente aditiva". Eles mostram que tentar fazer isso frequentemente leva a "equilíbrios" que são, na verdade, absurdos — como um jogo onde ambos os jogadores ganham dinheiro em um jogo de soma zero (onde o ganho de uma pessoa é a perda da outra), o que é impossível. Eles também descartam a ideia de que podemos simplesmente ignorar os detalhes do "logo abaixo" ou "logo acima". Em muitos desses jogos, a diferença entre escolher 0,4999 e 0,5000 é tudo. A matemática antiga trataria esses pontos como o mesmo ponto e perderia a informação; a nova matemática mantém essa distinção viva.

O Quão Certos Eles Estão?
Isso não é um palpite ou uma simulação. Os autores fornecem provas matemáticas rigorosas. Eles não apenas sugerem que esses equilíbrios existem; eles demonstram que eles devem existir sob as condições que definem. Eles também provam que esses equilíbrios são "finitamente aproximáveis", o que significa que você pode encontrá-los ao observar versões menores e finitas do jogo e ver para onde elas levam. Isso dá à teoria um caráter prático e operacional: não é apenas um fantasma teórico; é algo que você pode realmente abordar e compreender.

A Magia do "Logo Abaixo"

Para entender por que isso importa, imagine um jogo de "Logo Abaixo". Dois jogadores estão tentando escolher um número logo abaixo de 0,5.

Jogador A escolhe 0,49.
Jogador B escolhe 0,499.
Jogador C escolhe 0,4999.

Na matemática antiga, conforme você se aproxima de 0,5, os números todos se fundem no ponto único 0,5. Se ambos os jogadores escolherem 0,5, o jogo pode quebrar ou não ter solução. Mas no mundo real, sempre há um "vencedor" no concurso do "logo abaixo". O jogador que escolheu 0,4999 está mais perto do objetivo do que aquele que escolheu 0,49.

Os autores mostram que sua nova matemática preserva essa informação do "logo abaixo". É como ter uma câmera que nunca perde o foco, mesmo quando os números se tornam infinitamente pequenos. Eles usam um truque inteligente envolvendo "redes" (uma forma sofisticada de organizar listas infinitas) e "conjuntos hiperfinitos" (conjuntos imaginários que são enormes, mas ainda assim finitos de uma maneira especial) para mostrar que você sempre pode encontrar um equilíbrio estável.

Por Que Isso Muda Tudo

O artigo aborda problemas famosos e persistentes com os quais os matemáticos lutam há décadas, como os jogos de Sion e Wolfe e o Jogo do Maior Inteiro de Wald. Nesses jogos, a matemática antiga dizia: "Não existe equilíbrio!" ou "A resposta depende de como você conta!". A nova matemática diz: "Aqui está o equilíbrio, e aqui está exatamente o porquê de ele funcionar".

Por exemplo, em um jogo onde você tenta escolher o maior número inteiro, a matemática antiga travava porque não existe um "maior" número inteiro. A nova matemática mostra que o equilíbrio envolve um tipo específico de probabilidade "finitamente aditiva" que captura o espírito de "tentar ser o maior" sem ficar preso ao fato de que você sempre pode ser maior.

Os autores também mostram que essa abordagem não quebra os jogos que já conhecemos. Se um jogo é simples e finito, a nova matemática deles fornece exatamente a mesma resposta que a matemática antiga. É um superconjunto: inclui todas as soluções antigas e adiciona novas para os casos infinitos.

A Conclusão

Este artigo é um programa unificador. Ele pega um mosaico de regras confusas e contraexemplos e os substitui por uma estrutura única e limpa. Ele nos diz que jogos infinitos não estão quebrados; nossas ferramentas é que eram rígidas demais. Ao relaxar as regras de como contamos as probabilidades, podemos ver que a estabilidade e o equilíbrio são sempre possíveis, mesmo nos cenários mais caóticos e infinitos. Os autores construíram uma ponte entre o mundo finito que podemos contar e o mundo infinito que só podemos imaginar, mostrando que as leis da teoria dos jogos permanecem válidas até a borda do infinito.

Resumo Técnico: "Todos os Jogos Possuem Equilíbrios"

Problema
O artigo aborda uma lacuna fundamental na teoria dos jogos: embora o teorema de existência de Nash garanta equilíbrios para jogos finitos, a literatura sobre jogos infinitos (onde os conjuntos de jogadores ou de ações são infinitos) carece de uma teoria de existência unificada. O arcabouço predominante baseia-se em estratégias mistas enumeravelmente aditivas e exige suposições topológicas fortes, especificamente espaços de ação compactos e continuidade conjunta das funções de utilidade. Sem isso, os resultados clássicos falham; contraexemplos seminais de Wald (1945) e Sion e Wolfe (1957) demonstram que jogos de soma zero com descontinuidades ou não-compactação frequentemente carecem de equilíbrios enumeravelmente aditivos, ou mesmo de equilíbrios aproximados ( $\epsilon$ -equilíbrios). Tentativas anteriores de resolver isso resultaram em um "mosaico" de precondições técnicas, condições restritivas sobre descontinuidades ou na redefinição de funções de utilidade via regras de partilha, muitas vezes ao custo da integridade estratégica (por exemplo, permitindo estratégias estritamente dominadas ou violando a natureza antagônica de jogos de soma zero).

Metodologia
Os autores propõem um programa unificado que revisa o modelo de estratégias mistas, substituindo a aditividade enumerável pela aditividade finita.

Especificação do Jogo: Um jogo é definido por um conjunto não vazio de jogadores, conjuntos de ações não vazios (sem suposição de estrutura topológica ou de medida) e funções de utilidade de von Neumann-Morgenstern limitadas.
Espaço de Estratégias: As estratégias mistas são modeladas como probabilidades finitamente aditivas definidas sobre a classe de todos os subconjuntos do espaço de ações (denotado por $\Delta(X)$ ). Este espaço é compacto na topologia do produto (Teorema de Tychonoff), onde a convergência é definida pela convergência de integrais contra todas as funções limitadas.
Conceito de Equilíbrio: Um equilíbrio é definido como um vetor de estratégias mistas independentes, tal que nenhum jogador pode ganhar desviando-se para uma estratégia pura. A independência é mantida via extensões de produto das estratégias individuais.
Aproximação: Os autores utilizam redes exaustivas de aproximações finitas em vez de simples sequências. Uma rede exaustiva garante que cada ação no conjunto infinito seja eventualmente incluída nas aproximações finitas. Isso permite a análise de limites que preservam informações relevantes para o pagamento (payoff) perdidas em limites enumeravelmente aditivos padrão.
Refinamento: O artigo isola um subconjunto de equilíbrios que surgem como limites de equilíbrios em aproximações finitas onde estratégias fracamente dominadas iterativamente foram deletadas.

Principais Contribuições e Resultados

Existência Universal (Teorema A):
O artigo prova que todo jogo com utilidades limitadas admite um equilíbrio de Nash em estratégias mistas finitamente aditivas. Este resultado mantém-se independentemente da cardinalidade do conjunto de jogadores, da topologia dos espaços de ação ou da continuidade das funções de utilidade.
Estabilidade e Continuidade (Teorema B):
A correspondência de equilíbrio (mapeando funções de utilidade para o conjunto de equilíbrios) mostra-se de valor não vazio, de valor compacto e hemicontínua à esquerda (upper hemicontinuous). Isso estabelece que a teoria é estável sob perturbações de pagamentos, uma propriedade frequentemente ausente na teoria clássica de jogos infinitos.
Operacionalidade e Aproximabilidade Finita (Teorema C):
Os autores demonstram que o conjunto de equilíbrios finitamente aproximáveis (limites de equilíbrios de aproximações finitas exaustivas) é não vazio e bem comportado. Além disso, o subconjunto destes equilíbrios que sobrevive à deleção iterativa de estratégias fracamente dominadas também é não vazio, de valor compacto e hemicontínuo à esquerda. Crucialmente, estes limites não atribuem massa a estratégias iterativamente fracamente dominadas.
Resolução de Patologias Clássicas:

Teorema de Fubini: O artigo argumenta que a falha do teorema de Fubini para medidas finitamente aditivas não é um defeito para a análise de equilíbrio. Para a classe específica de equilíbrios identificada no Teorema C (limites de probabilidades de produto com suporte finito), o limite permanece uma extensão de produto, preservando a independência.
Descontinuidades: Em jogos como o jogo de Sion-Wolfe ou o jogo de localização assimétrica, o arcabouço finitamente aditivo captura comportamentos "ligeiramente abaixo" ou "ligeiramente acima" (por exemplo, concentrando massa infinitesimalmente próxima a um ponto de descontinuidade) que os limites enumeravelmente aditivos colapsam em um único ponto, destruindo assim a propriedade de equilíbrio.
Regras de Partilha: Diferente da abordagem de regra de partilha de Simon-Zame (1990), que redefine utilidades em descontinuidades e pode selecionar estratégias estritamente dominadas, a abordagem finitamente aditiva preserva as funções de utilidade originais e a lógica estratégica sem regras arbitrárias de desempate.

Equivalência de Utilidade (Teoremas D & E):
O artigo delineia a fronteira entre a nova teoria e a clássica. Identifica condições (relacionadas à continuidade dos pagamentos de desvio e à massa do equilíbrio nos conjuntos de descontinuidade) sob as quais os equilíbrios finitamente aditivos produzem as mesmas previsões de utilidade que os enumeravelmente aditivos. Quando estas condições falham, a divergência reflete distinções de pagamento relevantes presentes em aproximações finitas que o arcabouço clássico não consegue representar.

Significância e Alegações
Os autores alegam que sua abordagem fornece um único programa abrangente para a teoria do equilíbrio que restaura as propriedades fundamentais dos jogos finitos (existência, estabilidade e operacionalidade) ao caso infinito.

Naturalidade: Eles argumentam que relaxar a aditividade enumerável não é meramente um manejo técnico, mas um passo necessário para reter a informação codificada em aproximações finitas. Em problemas descontínuos, o arcabouço enumeravelmente aditivo descarta sistematicamente informações relevantes para respostas estratégicas.
Não Revisionista: A teoria não é indiscriminadamente revisionista; ela coincide com os resultados clássicos (ex: Glicksberg, 1952) para espaços Hausdorff compactos com pagamentos conjuntamente contínuos.
Operacionalidade: Ao fundamentar os equilíbrios em limites de aproximações finitas e deleção iterativa, a teoria conecta jogos infinitos à lógica estratégica de modelos finitos, tornando jogos anteriormente "intratáveis" passíveis de análise direta.
Direções Futuras: O artigo sugere que este arcabouço é particularmente adequado para jogos de forma extensa de contínuo e jogos de população infinita, onde o "desaparecimento" de informação no limite (um problema conhecido em modelos enumeravelmente aditivos) é central para o problema do equilíbrio.

Em resumo, o artigo afirma que, ao adotar estratégias mistas finitamente aditivas e aproximações finitas exaustivas, é possível construir uma teoria de equilíbrio robusta, geral e estrategicamente fiel para todos os jogos com utilidades limitadas, efetivamente unificando o tratamento de jogos finitos e infinitos.