The Core in a Distributional Economy

1. Formulação do Problema

A teoria do equilíbrio geral tradicional define economias atribuindo características específicas (preferências, dotações) a um contínuo de agentes individuais. Embora os equilíbrios competitivos possam ser definidos puramente em termos da distribuição dessas características (como demonstrado por Hart, Hildenbrand e Kohlberg), o conceito de núcleo resistiu a tal formulação.

O núcleo baseia-se na noção de coalizões de bloqueio, que tradicionalmente requerem uma descrição individualista dos agentes para determinar:

1. Identidade: Quais agentes específicos estão em uma coalizão.
2. Contagem: Quantos agentes de um tipo específico existem para formar um grupo de bloqueio.
3. Viabilidade: Se a coalizão pode redistribuir sua dotação agregada para tornar os membros melhor situados.

Críticos (por exemplo, Hart, Hildenbrand, Kohlberg; Mas-Colell) argumentaram que uma descrição distribucional é muito "esparso" para análise do núcleo, pois perde informações sobre a identidade do agente e o número específico de agentes por tipo. Este artigo desafia essa afirmação, perguntando: O núcleo e as coalizões de bloqueio podem ser definidos e analisados usando apenas a distribuição de características, sem referência a agentes individuais?

2. Metodologia

Os autores empregam ferramentas avançadas de teoria da medida para preencher a lacuna entre economias individualistas e distribucionais.

• Alocações Distribucionais: Eles definem uma economia não como um mapa de agentes para características, mas como uma medida de probabilidade $\mu$ no espaço de características (preferências $\times$ dotações). Uma alocação é uma distribuição conjunta de características e cestas de mercadorias.
• Coalizões Generalizadas: Eles interpretam coalizões não como conjuntos de agentes, mas como subpopulações (medidas $\nu$ tais que $\nu \leq \mu$). Isso alinha-se com conceitos como "conjuntos ideais" (Aumann & Shapley), "coalizões difusas" (Aubin) e "conjuntos convexos de agentes".
• Espaços Superatômicos: Uma inovação matemática crucial é a dependência de espaços de probabilidade superatômicos.
  • Um espaço é atômico se não possui átomos indivisíveis.
  • Um espaço é superatômico (ou saturado) se for "rico" o suficiente para representar qualquer distribuição conjunta concebível de características e alocações. Formalmente, um espaço $(T, \Sigma, \nu)$ é superatômico se $L^1(A, \nu)$ for não separável para todo $A$ com $\nu(A) > 0$.
  • Essa propriedade garante que qualquer coalizão distribucional (subpopulação) possa ser exatamente representada por um conjunto mensurável de agentes no espaço subjacente.
• Dominação Estocástica e Teorema de Strassen: Para definir eficiência de Pareto e bloqueio sem distribuições conjuntas, eles utilizam dominação estocástica de primeira ordem (Reif & Wiesmeth) e o Teorema de Strassen (e sua extensão por Lindvall) sobre pré-ordens estocásticas. Isso permite que eles construam distribuições conjuntas a partir de distribuições marginais que satisfazem condições de ordenação específicas.
• Teorema de Lyapunov para Medidas de Young: Eles utilizam a extensão de Balder (2000) do teorema de Lyapunov para lidar com a convexificação de conjuntos de alocações, provando a existência de alocações de bloqueio mesmo quando o espaço subjacente é meramente atômico (não necessariamente superatômico) para a existência de alguma coalizão de bloqueio.

3. Contribuições Principais

A. Caracterização da Eficiência de Pareto

O artigo demonstra que a eficiência de Pareto pode ser totalmente caracterizada em termos distribucionais.

• Resultado: Uma alocação é Pareto-eficiente se e somente se não houver outra alocação distribucional que a domine estocasticamente no sentido de Reif e Wiesmeth.
• Significado: Isso resolve a questão da "identidade perdida". Mesmo sem saber qual agente está melhor situado, a distribuição conjunta de características e cestas permite uma classificação completa das alocações.

B. Definição do Núcleo Distribucional

Os autores definem um núcleo distribucional onde uma alocação é bloqueada se existir uma subpopulação (uma medida $\mu'$ dominada pela distribuição da economia) que possa redistribuir sua dotação para tornar seus membros estritamente melhor situados.

• Teorema 4 (Caso Superatômico): Se o espaço de agentes subjacente é superatômico, toda coalizão distribucional de bloqueio corresponde exatamente a uma coalizão individualista clássica.
• Teorema 5 (Caso Atômico): Mesmo que o espaço seja apenas atômico (não superatômico), a existência de uma coalizão distribucional de bloqueio implica a existência de uma coalizão de bloqueio clássica. Este é um resultado crítico: não é necessário o espaço "rico" para provar que uma economia distribucional tem um núcleo não vazio; a condição distribucional é suficiente para garantir a existência de uma coalizão de bloqueio do mundo real.

C. Teorema da Equivalência do Núcleo

O artigo fornece uma prova puramente distribucional do Teorema da Equivalência do Núcleo (Teorema 7).

• Declaração: Em uma economia distribucional com preferências contínuas, irreflexivas e estritamente monótonas e uma dotação agregada estritamente positiva, uma alocação está no núcleo se e somente se for um equilíbrio Walrasiano (competitivo).
• Novidade: Ao contrário de provas anteriores (por exemplo, Hildenbrand, 1982), esta prova não depende de uma representação individualista auxiliar. Ela opera inteiramente dentro do quadro distribucional.
• Implicação: O teorema clássico de equivalência do núcleo para economias individualistas com espaços atômicos é derivado como um corolário direto.

4. Resumo dos Resultados Principais

5. Significado e Aplicações

• Unificação Teórica: O artigo unifica vários conceitos de "coalizões generalizadas" (conjuntos ideais, coalizões difusas, subpopulações) sob um único quadro distribucional. Ele mostra que estes são meramente diferentes representações matemáticas da mesma realidade econômica subjacente: uma redistribuição de uma subpopulação de tipos.
• Parcimônia: Ele prova que a descrição "individualista" não é necessária para a análise do núcleo. A distribuição de características sozinha contém todas as informações economicamente relevantes para determinar estabilidade e equilíbrio.
• Robustez: Ao mostrar que o bloqueio distribucional implica bloqueio individualista mesmo em espaços meramente atômicos, os autores demonstram que a abordagem distribucional é robusta e não um artefato de suposições matemáticas excessivamente fortes (como a superatomicidade).
• Aplicações Mais Amplas: Os autores observam que esses métodos se estendem além das economias de troca para:
  • Grandes mercados de emparelhamento.
  • Análogos do valor de Shapley para economias atômicas.
  • Jogos de contínuo.

Conclusão

Greinecker e Podczeck desmantelam com sucesso a crença de longa data de que o núcleo requer uma descrição individualista dos agentes. Ao alavancar as propriedades de espaços superatômicos e dominação estocástica, eles constroem uma teoria rigorosa e puramente distribucional do núcleo. Isso não apenas simplifica o quadro teórico de grandes economias, mas também fornece uma ferramenta mais poderosa para analisar economias onde identidades individuais são irrelevantes ou não observáveis, confirmando que a distribuição de tipos é suficiente para determinar a estabilidade do mercado.