On Continuity of Separately Convex Preferences and Correspondences

기술적 요약: 분리 볼록 선호 및 대응 관계의 연속성에 관하여

문제 제기
본 논문은 자원 배분, 경쟁 시장, 그리고 의사결정 이론의 맥락에서 현대 경제학의 기초적인 역할을 하는 볼록성(convexity)의 역할을 다룬다. 표준적인 볼록성 공리는 많은 균형 및 표현 결과에 필수적이지만, 위험, 모호성 또는 다속성 의사결정과 같은 특정 응용 분야에서는 필요 이상으로 강한 경우가 많다. 저자들은 완전한 볼록성과 비볼록성 사이에 위치하는 더 약한 대수적 개념인 "분리 볼록성(separate convexity)"을 조사한다. 핵심 문제는 이 더 약한 가정이 일반적인 볼록성 하에서 유도되는 다양한 연속성 공리들(예: 혼합 연속성, 섹션 연속성, 그래프 연속성, 아르키메데스적 성질 등) 사이의 표준적 동치 관계를 회복하기에 충분한지를 결정하는 것이다. 나아가, 본 논문은 비순서적 선호를 대응 관계(correspondences)로 정식화할 때, 일반적인 영역에서 섹션 연속성과 열린 그래프 성질(open graph property) 사이의 관계에 관한 미해결 문제들을 다룬다.

방법론
저자들은 수학적 경제학, 위상수학, 그리고 볼록 해석학의 도구들을 활용하여 엄밀한 공리적 접근법을 사용한다. 방법론은 세 단계로 진행된다:

1. 정의 및 프레임워크: 논문은 이진 관계와 대응 관계에 대한 분리 볼록성을 정의한다. 관계가 분리 볼록하다는 것은 그 상부 및 하부 섹션이 좌표축에 평행한 직선(또는 혼합 집합의 좌표 섹션)으로 제한되었을 때 볼록하다는 것을 의미한다.
2. 동치 정리: 저자들은 분리 볼록성 가설 하에서 서로 다른 연속성 공리들을 연결하는 동치 정리들을 확립한다. 이 증명들은 속성을 분리 연속에서 결합 연속으로 반복적으로 격상시키는 "좌표 해방(coordinate-release)" 논리에 의존하며, 이는 종종 도메인의 특정한 기하학적 성질(예: 곱집합에 대한 성질 A 또는 다면체에 대한 성격 B)을 요구한다.
3. 반례 및 경계 분석: 결과의 한계를 규명하기 위해, 저자들은 특정 반례(예: 예시 4, 예시 10)를 구축하여 유한 차원 구조가 특정 동치 관계에 필수적임을 보여주며, 결과가 추가적인 가정 없이 무한 차원 공간이나 임의의 볼록 집합으로 자동 확장되지 않음을 입증한다.

주요 기여 및 결과

• 순서 선호를 위한 연속성 공리의 동치성:

  • 혼합 집합: 정리 1은 곱 혼합 집합에서의 완전하고 이행적인 선호에 대해, 분리 볼록성이 혼합 연속성을 분리 혼합 연속성 및 아르키메데스 유형의 공리들과 동치로 만드는 데 충분함을 입증한다. 구체적으로, 상부 분리 볼록성은 하부 혼합 연속성과 쌍을 이루고 그 역도 성립한다.
  • 유클리드 공간: 정리 2와 3은 이러한 결과들을 $\mathbb{R}^n$의 볼록 부분집합으로 확장한다. 정리 2는 분리 볼록성 하에서 분리 섹션-연속성이 일반적인 섹션-연속성으로 격상됨을 보여준다. 정리 3은 분리 볼록성과 순서 조밀성(order denseness) 하에서 그래프 연속성을 제한된 가해성(restricted solvability)과 연결한다.
  • 차원 제약: 논문은 이러한 동치 관계가 본질적으로 유한 차원적임을 강조한다. 예시 10은 힐베르트 공간의 약한 위상(weak topology)을 가진 곱 형태의 무한 차원 인자들 위에서, 분리 볼록성과 분리 연속성이 쌍선형 형식(bilinear form)에 대해서조차 결합 연속성을 함의하지 못함을 보여준다.

• $n$-인 게임에서의 효용 표현:

  • 다중 선형 효용: 명제 1은 전략형 게임에서의 다중 선형 효용에 대한 새로운 공리화를 제공한다. 이는 표준적인 분리 아르키메데스* 가정을 분리 독립성 및 분리 중간값 성질(IVP)로 대체하여 다중 선형 표현을 회복한다.
  • 분리 준오목 효용: 명제 2는 연속적인 분리 준오목 효용 표현을 공리화한다. 이는 하부 섹션이 $n-1$ 좌표에 대해 분리 볼록성을 만족한다면 상부 연속성을 상부 분리 연속성으로 약화할 수 있음을 보여준다.
  • 주관적 기대 효용(SEU): 명제 3과 따름정리 1은 스칼라 Anscombe–Aumann 환경에서, 완전성과 전체 혼합-연속성이 분리 연속성과 약한 독립성 가정 아래에 "숨겨져" 있음을 입증한다. 이를 통해 완전성을 원초적 가정으로 두지 않고도 SEU 표현을 도출할 수 있다.

• 대응 관계의 연속성 (비순서 선호):

  • 열린 그래프 성질: 정리 4와 5는 분리 볼록성 하에서 대응 관계의 열린 그래프 성질을 규명한다. 정리 4는 성질 A(곱집합 또는 열린 집합)를 만족하는 도메인에서 분리 볼록한 상부 섹션을 가진 대응 관계의 경우, 열린 그래프 성질이 열린 하부 섹션과 분리 열린 상부 섹션을 갖는 것과 동치임을 보여준다.
  • 고전적 결과의 일반화: 이 결과들은 Schmeidler (1969), Shafer (1974), 그리고 Bergstrom, Parks, and Rader (1976)의 연구를 일반화하고 약화시킨다. 구체적으로, 이들은 강한 볼록성이나 단조성 가정을 분리 볼록성으로 대체하고 더 일반적인 도메인을 허용한다.
  • 미해결 문제의 해결: 예시 4는 Bergstrom, Parks, and Rader (1976)가 남긴 질문을 해결하며, 열린 섹션과 열린 그래프의 동치성에 관한 그들의 결과가 추가적인 구조적 가정(성질 A와 같은) 없이는 $\mathbb{R}^n$의 임의의 볼록 집합으로 확장될 수 없음을 보여준다.

의의 및 주장
본 논문은 세 가지 주요 기여를 주장한다:

1. 이론적 통합: 경제학 및 수학적 심리학에서 널리 사용되는 연속성 공리들이 분리 볼록성이라는 더 약한 가정 하에서도 동치임을 입증함으로써, 기존의 결과들을 통합하고 이러한 동치 관계를 위해 완전한 볼록성이 반드시 필요하지 않음을 보여준다.
2. 새로운 공리화: $n$-인 게임(카디널 및 오디널 모두)에서의 효용 표현과 주관적 기대 효용에 대한 새로운 공리화를 제공하며, 분리 연속성을 사용하여 완전성과 같은 결합적 성질을 회복한다.
3. 대응 관계로의 확장: 비순서 선호(대응 관계)로 분석을 확장하여, 약한 볼록성 및 섹션-연속성 가정 하에서 열린 그래프 성질을 규명함으로써 Schmeidler, Shafer, Bergstrom-Parks-Rader의 기념비적인 연구들을 일반화한다.

저자들은 본 연구가 경제 이론의 "핵심"(Koopmans, 1957 참조)을 포착하기 위해 더 약한 공리적 가정이 수행하는 역할을 강조하며, 분리 연속성을 결합 연속성으로 격상시키기 위한 유한 차원 구조의 필요성 등 결과의 경계를 명확히 한다. 본 논문은 균형 존재 문제를 직접 해결하는 것이 아니라, 약한 가정이 어떻게 표준적인 표현 정리를 이끌어낼 수 있는지를 보여주는 공리화 문헌에 초점을 맞춘다.