О сильно-справедливых порядках общественного благосостояния без аксиомы выбора

Основная информация

• ID статьи: 2406.08684
• Название: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• Автор: Luke Serafin
• Классификация: math.LO (математическая логика)
• Дата публикации: 17 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2406.08684

Аннотация

Порядки общественного благосостояния направлены на объединение различных предпочтений бесконечных поколений в единый справедливый порядок общественных предпочтений. Дубей и Лагуцци исследовали порядки общественного благосостояния, называемые SEA (сильно справедливые и конечно анонимные), доказав, что существование SEA-порядков влечёт существование множеств вещественных чисел без свойства Бэра, и заметили, что SEA-порядки можно конструировать, используя неглавные ультрафильтры на $\mathbb{N}$. Данная работа отвечает на два открытых вопроса: влечёт ли существование SEA-порядков существование неизмеримых по Лебегу множеств вещественных чисел и влечёт ли оно существование неглавного ультрафильтра на $\mathbb{N}$. Результаты показывают, что существование SEA-порядков действительно влечёт существование неизмеримых по Лебегу множеств, но не влечёт существование неглавного ультрафильтра на $\mathbb{N}$.

Исследовательский контекст и мотивация

Предпосылки проблемы

1. Проблема порядков общественного благосостояния: В теоретической экономике центральным вопросом является объединение различных полезностей, получаемых отдельными лицами или поколениями от одной политики, в единый порядок общественных предпочтений.
2. Требования справедливости: Порядки общественного благосостояния должны удовлетворять определённым разумным принципам справедливости, таким как конечная анонимность (finite anonymity) и сильная справедливость (strong equity).
3. Конструктивные проблемы: Экономисты обнаружили, что многие комбинации свойств невозможно реализовать без предположения аксиомы выбора, что придаёт им неконструктивный характер.

Исследовательская мотивация

1. Теоретическое совершенствование: Работа Дубея и Лагуцци оставила два важных открытых вопроса, требующих решения
2. Логические основания: Исследование логических связей между существованием SEA-порядков и важными концепциями теории множеств (такими как ультрафильтры и измеримость)
3. Результаты независимости: Определение того, какие математические объекты имеют взаимно независимое существование в ZF+DC

Основные вклады

1. Доказано, что существование SEA-порядков влечёт существование неизмеримых по Лебегу множеств вещественных чисел, что отвечает на первый открытый вопрос Дубея и Лагуцци
2. Доказано, что существование SEA-порядков не влечёт существование неглавного ультрафильтра на $\mathbb{N}$, что отвечает на второй открытый вопрос
3. Разработана общая теория предлинеаризации, применимая к более широкому классу борелевских предпорядков
4. Применены методы геометрической теории множеств, в частности метод сбалансированного форсинга Ларсона и Заплетала

Подробное описание методов

Определение задачи

Исследование логических связей между существованием SEA-порядков (порядков общественного благосостояния, одновременно удовлетворяющих сильной справедливости и конечной анонимности) и существованием других объектов теории множеств.

Основные определения

• Конечная анонимность: Для любой перестановки π с конечным носителем и любого $y \in Y^{\mathbb{N}}$ выполняется $y \approx y \circ \pi$
• Сильная справедливость: Если существуют $i,j \in \mathbb{N}$ такие, что $x(i) < y(i) < y(j) < x(j)$ и $x,y$ совпадают на других координатах, то $x \prec y$
• SEA-порядок: Порядок общественного благосостояния, одновременно удовлетворяющий сильной справедливости и конечной анонимности

Основные технические методы

1. Доказательство неизмеримости по Лебегу

Основная идея: Использование теоремы Фубини и эргодических аргументов

Ключевая лемма: Отношение $E_{S_<\infty} \times E_{S_<\infty}$ на $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ является эргодическим относительно меры Лебега.

Стратегия доказательства:

• Предположим, что SEA-порядок ≾ измерим по Лебегу
• Благодаря конечной анонимности ≾ замкнут относительно $E_{S_<\infty}$ на каждой координате
• Эргодичность означает, что инвариантные множества либо имеют меру нуль, либо имеют дополнение меры нуль
• Анализ вертикальных сечений с помощью теоремы Фубини приводит к противоречию

2. Доказательство независимости неглавного ультрафильтра

Основная техника: Сбалансированный форсинг в геометрической теории множеств

Основные инструменты:

• Виртуальные условия: Описывают условия форсинга, согласованные в различных генерических расширениях
• Спокойный форсинг: Гарантирует, что не добавляются неглавные ультрафильтры
• Линеаризация факторпространства: Конструирование SEA-порядков через линеаризацию факторпространств эквивалентности

Технические инновации

1. Искусное применение теоремы Фубини: Применение инструментов теории меры к теории общественного выбора, доказывающее, что SEA-порядки необходимо неизмеримы
2. Введение методов геометрической теории множеств: Первое применение теории сбалансированного форсинга Ларсона-Заплетала к экономическим задачам
3. Общая рамка предлинеаризации: Разработка общей теории, применимой к "спокойным" борелевским предпорядкам

Экспериментальная установка

Методы теоретической верификации

Поскольку это чистое математическое теоретическое исследование, "эксперименты" в основном означают теоретические конструкции и верификацию доказательств:

1. Конструирование моделей: Конструирование расширений в симметричной модели Соловея W, содержащих SEA-порядки, но не содержащих неглавные ультрафильтры
2. Методы форсинга: Использование форсинга факторпространства линеаризации для расширения модели
3. Доказательства согласованности: Верификация того, что построенная модель удовлетворяет ZF+DC и обладает требуемыми свойствами

Верификация ключевых техник

• Верификация спокойности: Доказательство того, что предпорядок предлинеаризации P(≾) является спокойным
• Классификация сбалансированной эквивалентности: Классификация спокойных виртуальных условий через полную предлинеаризацию
• Замкнутость относительно ультрафильтровых пределов: Верификация того, что сбалансированные виртуальные условия замкнуты относительно ультрафильтровых пределов

Результаты экспериментов

Основные результаты

Теорема 1 (Неизмеримость по Лебегу)

Предложение 2: Пусть ≾ — SEA-порядок на $4^{\mathbb{N}}$. Тогда ≾ как подмножество $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ не является измеримым по Лебегу.

Теорема 2 (Независимость ультрафильтра)

Существует модель ZF+DC, в которой:

• Существует SEA-порядок
• Не существует неглавного ультрафильтра на $\mathbb{N}$
• Не существует $E_0$-трансверсали

Конструктивные результаты

Предложение 4: Конструирование SEA-порядков из ультрафильтров

Если существует неглавный ультрафильтр U на $\mathbb{N}$, то существует SEA-порядок на $(2^{\mathbb{N}})^{\mathbb{N}}$.

Предложения 5-6: Другие методы конструирования

• Линейный порядок на $2^{\mathbb{N}}/E_0$ достаточен для конструирования SEA-порядка на $4^{\mathbb{N}}$
• Линейный порядок на $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ достаточен для конструирования SEA-порядка на $Y^{\mathbb{N}}$ для любого упорядоченного польского пространства Y

Обобщённые результаты

Следствие 13: Предлинеаризация спокойных борелевских предпорядков

Если ≾ — спокойный борелевский предпорядок, то существует модель ZF+DC, в которой ≾ имеет предлинеаризацию, но не существует неглавного ультрафильтра на $\mathbb{N}$.

Связанные работы

Фон теоретической экономики

• Теория общественного выбора: Теорема невозможности Эрроу и её обобщения
• Справедливость между поколениями: Проблемы справедливого распределения между бесконечными поколениями
• Анонимность и справедливость: Основные аксиомы функций общественного благосостояния

Основания теории множеств

• Описательная теория множеств: Регулярные свойства борелевских и аналитических множеств
• Теория форсинга: Форсинг Коэна, модели Соловея
• Большие кардиналы: Согласованность недостижимых кардиналов

Геометрическая теория множеств

• Теория Ларсона-Заплетала: Сбалансированный форсинг, виртуальные условия
• Линеаризация факторпространств: Форсинг-линеаризация факторпространств отношений эквивалентности
• Спокойный форсинг: Свойства форсинга, сохраняющие несуществование определённых множеств

Выводы и обсуждение

Основные выводы

1. Теоретико-множественная сила существования SEA-порядков:
   • Сильнее, чем "все множества вещественных чисел измеримы по Лебегу"
   • Слабее, чем "существует неглавный ультрафильтр"
   • Независима от "существует $E_0$-трансверсаль"
2. Иерархия методов конструирования:
   • Неглавный ультрафильтр → SEA-порядок
   • $E_1$-трансверсаль → общий SEA-порядок
   • $E_0$-трансверсаль → SEA-порядок с конечной полезностью

Ограничения

1. Предположения о больших кардиналах: Доказательство независимости ультрафильтра требует согласованности недостижимых кардиналов
2. Нерешённые проблемы ANIP-порядков: Аналогичные вопросы для анонимных бесконечных парето-порядков остаются открытыми
3. Ограничения условия спокойности: Общая теория предлинеаризации требует, чтобы предпорядок был спокойным

Будущие направления

1. Исследование ANIP-порядков: Можно ли применить аналогичные методы к условиям бесконечного Парето
2. Более общие предпорядки: Расширение на все борелевские или аналитические предпорядки
3. Необходимость больших кардиналов: Определение того, действительно ли необходимы предположения о больших кардиналах
4. Несепарабельные пространства: Исследование пространств полезности на произвольных определимых линейных порядках

Глубокая оценка

Достоинства

1. Техническая инновативность:
   • Первое применение геометрической теории множеств к теории общественного выбора
   • Искусное применение теоремы Фубини в данном контексте
   • Разработка более широко применимой теории предлинеаризации
2. Теоретическая полнота:
   • Полное решение двух открытых вопросов Дубея-Лагуцци
   • Точная теоретико-множественная характеризация существования SEA-порядков
   • Установление связей между экономическими концепциями и концепциями теории множеств
3. Методологический вклад:
   • Демонстрация потенциала применения современных инструментов теории множеств в экономике
   • Предоставление систематической рамки для решения аналогичных проблем

Недостатки

1. Высокий технический уровень: Требуется глубокий фон в теории множеств, что ограничивает восприятие экономистами
2. Ограниченная практическая применимость: Результаты в основном теоретические, с ограниченным руководством для практического принятия решений
3. Условные предположения: Некоторые результаты требуют предположений о согласованности больших кардиналов

Влияние

1. Академическая ценность:
   • Продвижение теоретико-множественных основ теории общественного выбора
   • Предоставление новой области применения геометрической теории множеств
   • Возможное вдохновение для дальнейших междисциплинарных исследований
2. Теоретическое значение:
   • Уточнение логического статуса важных экономических концепций
   • Демонстрация тонких ролей аксиомы выбора в экономике

Сценарии применения

1. Теоретическая экономика: Исследование существования и конструктивности функций общественного благосостояния
2. Теория множеств: Применение результатов независимости и теории форсинга
3. Математическая логика: Пересечение описательной теории множеств и теории больших кардиналов

Библиография

Статья цитирует 17 важных работ, среди которых ключевыми являются:

• 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" — формулировка исходных проблем
• 11 Larson & Zapletal: "Geometric set theory" — предоставление основных технических инструментов
• 7 Kanamori: "The higher infinite" — стандартный справочник по теории больших кардиналов
• 8 Kechris: "Classical descriptive set theory" — основания описательной теории множеств

Данная статья представляет важный прогресс в пересечении математической экономики и современной теории множеств, уточняя логический статус фундаментальных концепций теории общественного выбора посредством точного математического анализа и создавая прочную основу для дальнейших исследований в смежных областях.