선택공리 없는 강공평 사회복지순서에 관하여

기본정보

• 논문ID: 2406.08684
• 제목: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• 저자: Luke Serafin
• 분류: math.LO (수리논리학)
• 발표시간: 2025년 10월 17일
• 논문링크: https://arxiv.org/abs/2406.08684

초록

사회복지순서는 무한 세대의 서로 다른 선호도를 단일의 공평한 사회적 선호순서로 통합하는 것을 목표로 한다. Dubey와 Laguzzi는 SEA(강공평성 및 유한익명성)라고 불리는 사회복지순서를 연구하였으며, SEA 순서의 존재가 Baire 성질을 갖지 않는 실수 집합의 존재를 함축함을 증명했고, $\mathbb{N}$ 위의 비주 초필터를 사용하여 SEA 순서를 구성할 수 있음을 관찰했다. 본 논문은 두 가지 개방 문제에 답한다: SEA 순서의 존재가 비Lebesgue 가측 실수 집합의 존재를 함축하는지 여부, 그리고 $\mathbb{N}$ 위의 비주 초필터의 존재를 함축하는지 여부. 결과는 SEA 순서의 존재가 실제로 비Lebesgue 가측 실수 집합의 존재를 함축하지만, $\mathbb{N}$ 위의 비주 초필터의 존재는 함축하지 않음을 보여준다.

연구 배경 및 동기

문제 배경

1. 사회복지순서 문제: 이론경제학에서 서로 다른 개인 또는 세대가 동일한 정책으로부터 얻는 서로 다른 효용을 단일의 사회적 선호순서로 통합하는 방법은 핵심 문제이다.
2. 공평성 요구: 사회복지순서는 유한익명성(finite anonymity)과 강공평성(strong equity)과 같은 합리적인 공평성 원칙을 만족해야 한다.
3. 구성성 문제: 경제학자들은 많은 성질의 조합이 선택공리를 가정하지 않고는 실현될 수 없으며 비구성적 특성을 가짐을 발견했다.

연구 동기

1. 이론 완성: Dubey와 Laguzzi의 연구가 남긴 두 가지 중요한 개방 문제 해결
2. 논리적 기초: SEA 순서의 존재성과 집합론의 중요한 개념(초필터, 가측성)들 간의 논리적 관계 탐구
3. 독립성 결과: 어떤 수학적 대상의 존재성이 ZF+DC에서 상호 독립적인지 결정

핵심 기여

1. SEA 순서의 존재가 비Lebesgue 가측 실수 집합의 존재를 함축함을 증명하여 Dubey와 Laguzzi의 첫 번째 개방 문제에 답함
2. SEA 순서의 존재가 $\mathbb{N}$ 위의 비주 초필터의 존재를 함축하지 않음을 증명하여 두 번째 개방 문제에 답함
3. 일반적인 전선형화 이론을 발전시켜 더 광범위한 Borel 전순서 클래스에 적용
4. 기하학적 집합론 기법 적용, 특히 Larson과 Zapletal의 균형 강제 방법

방법론 상세 설명

과제 정의

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. 비Lebesgue 가측성 증명

핵심 아이디어: Fubini 정리와 에르고딕성 논증 사용

주요 보조정리: 관계 $E_{S_<\infty} \times E_{S_<\infty}$는 $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ 위의 Lebesgue 측도에 대해 에르고딕적이다.

증명 전략:

• SEA 순서 ≾가 Lebesgue 가측이라고 가정
• 유한익명성으로 인해 ≾는 각 좌표에서 $E_{S_<\infty}$에 대해 닫혀있음
• 에르고딕성은 불변 집합이 영측집이거나 여영측집임을 의미
• Fubini 정리를 통해 수직 단면을 분석하여 모순 도출

2. 비주 초필터 독립성 증명

핵심 기법: 기하학적 집합론의 균형 강제(balanced forcing)

주요 도구:

• 가상 조건: 서로 다른 일반적 확장에서 일관된 강제 조건 기술
• 평온 강제: 비주 초필터를 추가하지 않는 강제 성질 보장
• 몫공간 선형화: 등가 관계의 몫공간을 선형화하여 SEA 순서 구성

기술적 혁신점

1. Fubini 정리의 교묘한 적용: 측도론 도구를 사회선택이론에 적용하여 SEA 순서가 필연적으로 비가측임을 증명
2. 기하학적 집합론 기법의 도입: Larson-Zapletal의 균형 강제 이론을 경제학 문제에 처음 적용
3. 일반 전선형화 프레임워크: "평온한" Borel 전순서에 적용 가능한 일반 이론 발전

실험 설정

이론 검증 방법

순수 수학 이론 연구이므로 "실험"은 주로 이론 구성과 증명 검증을 의미한다:

1. 모델 구성: 대칭 Solovay 모델 W에서 비주 초필터를 포함하지 않지만 SEA 순서를 포함하는 확장 구성
2. 강제 방법: 몫공간 선형화 poset을 사용한 강제 확장
3. 일관성 증명: 구성된 모델이 ZF+DC를 만족하고 원하는 성질을 가짐을 검증

핵심 기술 검증

• 평온성 검증: 전선형화 poset P(≾)가 평온함을 증명
• 균형 동치 분류: 완전 전선형화를 통해 평온한 가상 조건 분류
• 초필터 극한 폐쇄성: 균형 가상 조건이 초필터 극한에서 폐쇄됨을 검증

실험 결과

주요 결과

정리 1 (비Lebesgue 가측성)

명제 2: ≾가 $4^{\mathbb{N}}$ 위의 SEA 순서이면, ≾는 $4^{\mathbb{N}} \times 4^{\mathbb{N}}$의 부분집합으로서 Lebesgue 가측이 아니다.

정리 2 (초필터 독립성)

ZF+DC의 모델이 존재하여:

• SEA 순서가 존재
• $\mathbb{N}$ 위의 비주 초필터가 존재하지 않음
• $E_0$-횡단면이 존재하지 않음

구성적 결과

명제 4: 비주 초필터로부터 SEA 순서 구성

$\mathbb{N}$ 위의 비주 초필터 U가 존재하면, $(2^{\mathbb{N}})^{\mathbb{N}}$ 위의 SEA 순서가 존재한다.

명제 5-6: 다른 구성 방법

• $2^{\mathbb{N}}/E_0$의 선형순서는 $4^{\mathbb{N}}$ 위의 SEA 순서를 구성하기에 충분
• $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$의 선형순서는 임의의 순서 Polish 공간 Y에 대해 $Y^{\mathbb{N}}$ 위의 SEA 순서를 구성하기에 충분

일반화 결과

추론 13: 평온한 Borel 전순서의 전선형화

≾가 평온한 Borel 전순서이면, ≾가 전선형화를 가지지만 $\mathbb{N}$ 위의 비주 초필터가 존재하지 않는 ZF+DC 모델이 존재한다.

관련 연구

이론경제학 배경

• 사회선택이론: Arrow 불가능 정리 및 그 일반화
• 세대 간 공평성: 무한 세대 간의 공평한 분배 문제
• 익명성과 공평성: 사회복지함수의 기본 공리

집합론 기초

• 기술적 집합론: Borel 집합, 해석적 집합의 정칙성
• 강제 이론: Cohen 강제, Solovay 모델
• 큰 기수: 도달 불가능 기수의 일관성 강도

기하학적 집합론

• Larson-Zapletal 이론: 균형 강제, 가상 조건
• 몫공간 선형화: 등가 관계 몫공간의 강제 선형화
• 평온 강제: 특정 집합의 비존재를 유지하는 강제 성질

결론 및 논의

주요 결론

1. SEA 순서 존재성의 집합론적 강도:
   • "모든 실수 집합이 Lebesgue 가측"보다 강함
   • "비주 초필터 존재"보다 약함
   • "존재 $E_0$-횡단면"과 독립적
2. 구성 방법의 계층:
   • 비주 초필터 → SEA 순서
   • $E_1$-횡단면 → 일반 SEA 순서
   • $E_0$-횡단면 → 유한 효용 SEA 순서

제한사항

1. 큰 기수 가정: 초필터 독립성 증명은 도달 불가능 기수의 일관성 필요
2. ANIP 순서 문제 미해결: 익명 무한 Pareto 순서의 유사 문제는 여전히 개방
3. 평온성 조건 제약: 일반 전선형화 이론은 전순서가 평온함을 요구

향후 방향

1. ANIP 순서 연구: 유사한 방법으로 무한 Pareto 조건 처리 가능성
2. 더 일반적인 전순서: 모든 Borel 또는 해석적 전순서로 확장
3. 큰 기수 필요성: 큰 기수 가정이 실제로 필요한지 결정
4. 비분리가능 공간: 임의의 정의 가능한 선형순서 위의 효용 공간 연구

심층 평가

장점

1. 기술적 혁신성:
   • 기하학적 집합론을 사회선택이론에 처음 적용
   • 이 맥락에서 Fubini 정리의 교묘한 적용
   • 더 광범위하게 적용 가능한 전선형화 이론 발전
2. 이론적 완전성:
   • Dubey-Laguzzi가 제시한 두 개의 개방 문제 완전 해결
   • 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" - 기술적 집합론 기초

이 논문은 수리경제학과 현대 집합론의 교차 분야에서의 중요한 진전을 나타내며, 정밀한 수학적 분석을 통해 사회선택이론의 기본 개념의 논리적 지위를 명확히 하고, 관련 분야의 추가 연구를 위한 견고한 기초를 제공한다.