📈 economics

On the construction and representation of social welfare orders satisfying consequentialist equity axioms

Este artigo investiga a natureza construtiva de ordens de bem-estar social sobre fluxos de utilidade infinitos que satisfazem axiomas de equidade como Equidade Forte, Equidade de Hammond ou o princípio de transferência de Pigou-Dalton, demonstrando que, embora descrições lexicográficas explícitas existam quando o conjunto de utilidade é bem ordenado, a existência de tais ordens em domínios gerais necessita de pressupostos set-teóricos não construtivos, como a existência de uma coleção não-Ramsey.

Autores originais: Ram Sewak Dubey

Publicado 2026-06-23

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Ram Sewak Dubey

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

Imagine que você é um árbitro cósmico encarregado de classificar a felicidade de uma linha infinita de gerações futuras. Você tem uma lista de fluxos de utilidade (como um cartão de pontuação para cada geração, estendendo-se para sempre no futuro). Seu trabalho é decidir qual lista é "melhor" que outra, mas você deve seguir regras estritas de justiça.

Este artigo de Ram Sewak Dubey é um mergulho profundo na questão: Podemos construir um sistema de classificação justo para futuros infinitos usando métodos claros, passo a passo (métodos construtivos), ou temos que confiar em ferramentas mágicas e invisíveis (métodos não construtivos) que não podemos realmente escrever?

Aqui está o detalhamento das descobertas do artigo usando analogias simples.

As Três Regras da Justiça

O artigo foca em três regras específicas de "justiça" que um bom sistema de classificação deve seguir:

Equidade Forte: Se você tem dois cenários onde todos são iguais, exceto por duas gerações, e em um cenário a geração "pobre" recebe um aumento enquanto a geração "rica" sofre um impacto (mas permanece mais rica que a pobre), o sistema deve preferir o cenário onde o pobre recebeu o aumento.
Equidade de Hammond: Uma versão ligeiramente mais fraca da anterior.
Transferência de Pigou-Dalton: Se você tira um pouco de felicidade de uma pessoa rica e a dá a uma pessoa pobre (sem tornar a pessoa pobre mais rica que a rica), o sistema deve preferir este novo arranjo.

O Grande Conflito: "Construção" vs. "Provar que Existe"

O artigo distingue duas maneiras de encontrar uma solução:

Construção (O Projeto): Você pode escrever um algoritmo ou receita específica que qualquer pessoa possa seguir para comparar quaisquer duas listas e obter um resultado. Isso é como construir uma casa com projetos claros.
Representação (A Prova Mágica): Você pode provar que uma classificação deve existir usando matemática abstrata (frequentemente baseando-se no "Axioma da Escolha", que é como uma varinha mágica que diz "uma solução existe em algum lugar, mesmo que não possamos encontrá-la"). Isso é como dizer: "Existe uma casa perfeita em algum lugar do universo", sem ser capaz de dizer onde ela fica ou como construí-la.

A Boa Notícia: Quando Podemos Construir

O artigo descobre que, se os níveis possíveis de felicidade (o "domínio") forem bem ordenados (significando que estão organizados como uma escada onde você sempre pode apontar para o "próximo" degrau, como os números naturais 1, 2, 3...), nós podemos construir um sistema de classificação justo.

A Analogia: Imagine que os níveis de felicidade são como degraus de uma escada. O autor cria um sistema "lexicográfico" (estilo dicionário) especial. Em vez de olhar apenas para a primeira geração, depois a segunda, este sistema olha para os limiares de felicidade. Ele converte cada fluxo infinito de felicidade em uma longa sequência de códigos binários (0s e 1s) baseada em se a felicidade de uma geração está acima ou abaixo de certos degraus de "limiar".
O Resultado: Ao comparar esses códigos binários como palavras em um dicionário, o autor cria um sistema de classificação perfeito e explícito que satisfaz todas as regras de justiça. Nenhuma varinha mágica é necessária.

A Má Notícia: Quando Precisamos de Magia (Não Construtivo)

O artigo também descobre que, se os níveis de felicidade estiverem organizados em uma ordem decrescente (como números inteiros negativos: -1, -2, -3... descendo para sempre) ou tiverem uma estrutura específica "do tipo inteiro", atingimos um muro.

A Analogia: Imagine tentar classificar fluxos infinitos onde os níveis de felicidade são como uma escada descendo para um porão interminável. O artigo prova que, se você tentar construir um sistema de classificação justo aqui, será forçado a criar um "Conjunto Não-Ramsey".
O que é um Conjunto Não-Ramsey? Pense nisso como uma "coleção de caos". É um grupo de subconjuntos infinitos de números que é tão bagunçado e complexo que não pode ser construído por qualquer regra lógica, passo a passo. É um objeto matemático que existe apenas se você usar o "Axioma da Escolha" (a varinha mágica).
A Conclusão: Se o seu domínio de felicidade parece uma escada descendente, você não pode escrever uma receita para um sistema de classificação justo. Você só pode provar que um existe usando a magia não construtiva. Isso significa que um formulador de políticas do mundo real nunca poderia realmente usar tal sistema para tomar decisões, pois não conseguiria calcular o resultado.

A Armadilha da Representação (Números Reais vs. Classificações)

O artigo também aborda um equívoco comum: "Se podemos classificar coisas, podemos apenas dar a elas uma pontuação (um número real)?"

A Descoberta: Para alguns domínios (como o intervalo [0, 1]), é impossível atribuir um único número real (uma pontuação) a cada fluxo infinito enquanto satisfaz as regras de justiça.
A Reviravolta: No entanto, mesmo que você não possa dar a eles uma pontuação, você pode ainda ser capaz de classificá-los explicitamente (como mostrado na seção "Boa Notícia" acima).
A Lição: Só porque você não pode escrever uma fórmula que produza um número (como 85,4), não significa que não possa ter uma regra clara para decidir o que é melhor. A "pontuação" e a "regra de classificação" são coisas diferentes.

Resumo das Alegações do Artigo

Sucesso Construtivo: Se o seu universo de felicidade é "bem ordenado" (como uma escada subindo), podemos construir explicitamente um sistema de classificação justo usando um código inteligente estilo dicionário.
Falha Construtiva: Se o seu universo de felicidade possui uma estrutura "descendente" (como uma escada descendo para sempre), construir um sistema de classificação justo é impossível sem recorrer à magia matemática não construtiva (Conjuntos Não-Ramsey).
Limites de Representação: Você não pode transformar essas classificações justas em pontuações simples de números reais, especialmente em domínios complexos como [0, 1].
A Lacuna: O conjunto de mundos onde podemos construir um sistema de classificação é diferente do conjunto de mundos onde podemos atribuir uma pontuação a cada resultado. Eles nem sempre coincidem.

Em suma, o artigo mapeia exatamente onde podemos construir um guia passo a passo e justo para julgar o futuro, e onde somos forçados a admitir que tal guia é matematicamente impossível de ser escrito.

Resumo Técnico: Sobre a Construção e Representação de Ordens de Bem-Estar Social que Satisfazem Axiomas de Equidade Consequencialista

Definição do Problema
O artigo aborda a tensão fundamental entre a existência e a construção explícita de Ordens de Bem-Estar Social (SWOs) em fluxos de utilidade infinitos ( $X = Y^{\mathbb{N}}$ ) que satisfaçam axiomas de equidade consequencialista. Especificamente, investiga-se se SWOs que satisfazem a Equidade Forte (SE), a Equidade de Hammond (HE) ou o princípio de transferência de Pigou–Dalton (PD) podem ser construídas explicitamente sem depender de dispositivos de teoria dos conjuntos não construtivos, tais como o Axioma da Escolha (AC) ou a existência de conjuntos não-Ramsey.

Enquanto a literatura anterior (ex: Bossert et al., 2007) estabeleceu a existência de tais SWOs utilizando métodos não construtivos (Lema de Szpilrajn), e trabalhos recentes (Lauwers, 2010; Zame, 2007) confirmaram que dispositivos não construtivos são necessários para a existência em certos contextos, a fronteira precisa entre domínios que admitem construções explícitas e aqueles que exigem objetos não construtivos ainda não foi totalmente delineada. Além disso, o artigo busca esclarecer a relação entre a existência de uma representação por Função de Bem-Estar Social (SWF) de valor real e a existência de uma SWO definida explicitamente.

Metodologia
O autor emprega uma abordagem dual combinando teoria de ordens construtivas e provas de impossibilidade de teoria dos conjuntos:

Abordagem Construtiva: Para domínios específicos, o artigo constrói SWOs explícitas utilizando relações de preferência lexicográficas. Crucialmente, estas construções não aplicam a ordenação lexicográfica diretamente às gerações (o que violaria a equidade), mas sim mapeiam fluxos de utilidade em códigos de utilidade de limiar binário. Estes códigos são então ordenados lexicograficamente sobre um conjunto de índices bem ordenado derivado do domínio de utilidade $Y$ .
Abordagem Não Construtiva/Impossibilidade: Para estabelecer a necessidade de métodos não construtivos, o artigo utiliza o conceito de coleções não-Ramsey. Ao construir fluxos de utilidade específicos baseados em subconjuntos de números naturais e aplicar os axiomas de equidade, o autor demonstra que a existência de uma SWO que satisfaça estes axiomas em certos domínios "ricos" (especificamente aqueles contendo subconjuntos de tipo de ordem $\omega^*$ ou $\mu$ ) implica a existência de um conjunto não-Ramsey. Uma vez que conjuntos não-Ramsey são objetos não construtivos (sua existência depende de AC), isso prova que nenhuma SWO explícita pode existir em tais domínios.
Análise de Representação: O artigo distingue entre a existência de uma SWF (um mapa de valor real) e uma SWO (uma relação binária). Utiliza argumentos de separabilidade (ex: construção de intervalos disjuntos incontáveis) para provar resultados de não-representabilidade em domínios específicos como $[0, 1]$ .

Contribuições Principais e Resultados

1. Resultados de Construção Positiva (Domínios Bem Ordenados)

Teorema 1: Se o domínio de utilidade $Y$ é bem ordenado pela ordem usual, existe uma SWO explicitamente definida em $X = Y^{\mathbb{N}}$ que satisfaz Pareto Forte (SP), Equidade Forte (SE), Equidade de Hammond (HE) e o princípio de Pigou–Dalton (PD).
Mecanismo: A construção mapeia fluxos para códigos binários baseados em limiares em $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ . A ordenação é lexicográfica sobre o espaço produto $\bar{Y} \times \mathbb{N}$ , priorizando limiares inferiores e, em seguida, as gerações. Este método preserva comparações sensíveis à equidade enquanto mantém a completude e a transitividade.
Extensão: O artigo também fornece construções de SWO explícitas para SE isoladamente sob condições mais fracas: se o conjunto de potenciais níveis de utilidade "pobres pré-transferência" $L(Y)$ é bem ordenado, ou se o conjunto de níveis "ricos pré-transferência" $U(Y)$ é reversamente bem ordenado.

2. Implicações Não Construtivas (Domínios Descendentes Ricos)

Teorema 2: A existência de uma SWO que satisfaça SE e Monotonicidade (M) em um domínio $Y$ contendo um subconjunto de tipo de ordem $\omega^*$ (ex: inteiros negativos) acarreta a existência de uma coleção não-Ramsey.
Teorema 2(b): Da mesma forma, para o princípio PD combinado com Monotonicidade, se $Y$ contém sequências com uma estrutura descendente de intervalo constante, a existência de uma SWO implica uma coleção não-Ramsey.
Proposição 4: Para domínios de tipo de ordem $\mu$ (contendo um subconjunto do tipo inteiro), a existência de uma SWO satisfazendo apenas SE (sem axiomas de eficiência) também acarreta a existência de uma coleção não-Ramsey. Isto identifica uma classe clara de domínios onde as classificações de SE são inerentemente não construtivas.

3. Representação vs. Construção

Proposição 1: Se $Y$ é enumerável, existe uma SWF de valor real que satisfaz SE. No entanto, a prova depende do Lema de Szpilrajn (extensão de ordens parciais), tornando-a não construtiva em geral.
Proposição 2: Se $Y = [0, 1]$ , nenhuma SWF de valor real que satisfaça SE existe. Esta impossibilidade surge da própria SE, independentemente de axiomas de eficiência, devido à incapacidade de embutir a ordenação estrita da SE na reta real (via argumento de separabilidade).
Distinção: O artigo destaca que o domínio que admite uma construção explícita de SWO (ex: $Y$ bem ordenado) não é necessariamente o mesmo domínio que admite uma representação por SWF de valor real. Inversamente, a existência de uma SWF em um domínio enumerável não garante uma construção explícita da SWO subjacente.

Significância e Alegações
O artigo afirma refinar a compreensão da "correspondência" entre representação e construção na equidade intergeracional.

Reformulação da Correspondência: Argumenta-se que a literatura anterior, que sugeria uma coincidência entre domínios que admitem SWFs de valor real e aqueles que admitem SWOs construtíveis, está incorreta para axiomas de equidade consequencialista. Os domínios são específicos ao axioma e dependem da estrutura de ordem de $Y$ .
Explícito vs. Não Explícito: Os resultados demonstram que construções explícitas de SWO são possíveis em domínios bem ordenados mesmo onde as representações de valor real falham (ex: em $Y=\mathbb{N}$ com SE+SP). Por outro lado, em domínios de tipo inteiro, a existência de qualquer SWO (construtiva ou não) está ligada à teoria dos conjuntos não construtiva.
Relevância Política: O artigo observa que, se uma SWO for mostrada existir apenas via métodos não construtivos (AC), permanece uma questão aberta se um planejador social pode classificar explicitamente pares de fluxos de utilidade. Os resultados construtivos fornecem um quadro para classificação explícita em domínios bem ordenados, enquanto os resultados não construtivos delineiam os limites de tais ferramentas de política explícitas.

Em suma, o artigo estabelece que, embora axiomas de equidade como SE, HE e PD possam ser satisfeitos por SWOs explicitamente construídas em domínios bem ordenados, sua satisfação em domínios com estruturas descendentes do tipo inteiro exige objetos matemáticos não construtivos, limitando assim a implementabilidade prática de tais ordens de bem-estar social nesses contextos específicos.