Future-blindness and the product topology

기술 요약: 미래 불감증(Future-blindness)과 곱위상(Product Topology)

문제 제기
무한한 소비 흐름의 평가는 사회 선택 이론 및 세대 간 복지 연구에서 핵심적인 쟁점이다. 잘 알려진 불가능성 정리(Diamond [1965])는 무한 시계 모델에서 연속성, 파레토 효율성, 그리고 세대 간 형평성(익명성)을 동시에 만족시킬 수 없음을 입증한다. 기존의 많은 문헌이 형평성과 인내(patience)를 조화시키는 데 집중해 온 반면, 본 논문은 그 반대의 극단적인 행동 양식인 **미래 불감증(future-blindness)**을 조사한다. 이 개념은 충분히 먼 미래의 세대에 대해 아무리 큰 보상이 제공되더라도 해당 세대를 사실상 무시하는 극단적인 조급함을 보이는 행위자를 묘사한다. 본 논문은 이러한 행동에 대응하는 유계 수열 공간($l^\infty$) 상의 위상적 구조를 정식으로 규명하고자 하며, 특히 연속성 가정이 어떻게 시간 할인(time discounting)으로 변환되는지를 다룬다.

방법론
저자들은 국소 볼록 위상 벡터 공간(locally convex topological vector spaces)의 틀 안에서 위상학적 접근법을 사용한다. 이들은 무한한 소비 흐름을 나타내는 유계 실수 수열의 공간인 $l^\infty$를 분석한다. 방법론은 다음과 같다:

1. 행동 개념의 정의: 두 가지 구별된 미래 불감증 개념을 도입한다:
   • $N$-불감증($N$-blindness): 행위자가 고정된 외생적 시점 $N$ 이후의 모든 기간을 무시하는 경우.
   • 결국적 불감증(Eventual blindness): 행위자가 유한한 수의 날짜만을 제외하고 나머지를 무시하는 경우. 여기서 절단점(cutoff)은 내생적이며, 비교되는 특정 흐름에 따라 달라질 수 있다(심지어 미래의 흐름이 증가하는 비율로 보상되더라도 마찬가지이다).
2. 위상적 규명: 모든 연속 선호 관계가 이러한 행동적 정의를 만족하게 하는 가장 미세한(finest) 국소 볼록 위상을 식별한다. 이는 생성되는 준노름(seminorm)의 성질과 꼬리 연산자(tail operators, $T_n$)의 수렴성을 분석하는 과정을 포함한다.
3. 쌍대 공간 분석: 이러한 위상들과 관련된 위상 쌍대 공간(연속 선형 범함수의 공간)을 조사하여, 이러한 환경에서의 일반화된 가격 벡터의 구조를 결정한다.

주요 기여 및 결과

1. $N$-불감증의 규명:

   • 본 논문은 모든 연속 선호가 $N$-불감증을 따르는 가장 미세한 국로 볼록 위상인 $N$-불감증 위상($\tau^b_N$)을 정의한다.
   • 결과: $\tau^b_N$은 준노름 패밀리 $\{p_k : k = 0, \dots, N\}$에 의해 생성된다 (여기서 $p_k(x) = |x_k|$이다).
   • 특성: 이 위상은 하우스도르프(Hausdorff)가 아니다. 영집합(zero set)의 폐포는 $N$ 시점까지 0인 수열들의 부분 공간($T_N$)이다. 쌍대 공간 $(l^\infty, \tau^b_N)'$은 $n > N$일 때 0인 수열들의 공간인 $c^N_{00}$와 동형이다.

2. 결국적 불감증과 곱위상의 규명:

   • 본 논문은 모든 연속 선호가 결국적 불감증을 보이는 가장 미세한 국소 볼록 위상인 결국적 불감증 위상($\tau^b$)을 정의한다.
   • 주요 정리 (Proposition 4.3): 가장 미세한 결국적 불감증 국소 볼록 위상은 정확히 곱위상(product topology, $\tau_p$)과 일치한다.
   • 행동적 해석: 곱위상에 대한 연속성은 행동적으로 결국적 불감증과 동등하다. 즉, 한 흐름이 다른 흐름보다 엄격히 선호되는 경우, 덜 선호되는 쪽에 어떠한 수열의 개선을 추가하더라도 엄격한 선호 관계를 바꿀 수 없는 유한한 시점이 존재한다는 것을 의미한다.
   • 쌍대 공간: 쌍대 공간 $(l^\infty, \tau^b)'$은 유한한 개수의 0이 아닌 원소만을 갖는 수열의 공간인 $c_{00}$와 동형이다.

3. 근시안성(Myopia)과의 비교:

   • 본 논문은 근시적 위상이 매키 위상($\tau_{Mc}$)과 일치한다는 브라운과 루이스(Brown and Lewis [1981])의 근시성 연구 내에 이 결과를 위치시킨다.
   • 저자들은 다음과 같은 엄격한 계층 구조를 확립한다: $\tau^b_N \subsetneq \tau^b = \tau_p \subsetneq \tau_{Mc} = \tau_m$.
   • 이는 곱위상에서 연속인 행위자가 매키 위상에서 연속인 행위자보다 "더 근시적이거나"(또는 최소한 그만큼 근시적인) 것으로 나타남을 의미한다.

의의 및 주장
본 논문은 곱위상의 행동적 기초에 관한 기존 문헌의 중요한 공백을 메운다고 주장한다. 곱위상은 티코노프 정리(Tychonoff's theorem)에 의한 예산 집합의 콤팩트성을 통해 균형의 존재를 보장하기 위해 일반 균형 이론(예: Peleg and Yaari [1970])에서 널리 사용되어 왔으나, 직접적인 행동적 해석이 부족했다.

• 행동적 기초: 저자들은 곱위상의 연속성이 결국적 불감증에 대응함을 보여주는 첫 번째 명시적 규명을 제공한다. 이는 무한 차원 경제 모델에서 곱위상을 사용하는 것에 대한 행동적 정당성을 부여한다: 즉, 이는 원격 세대를 보상 여부와 상관없이 결국 무시하는 행위자를 모델링한다.
• 쌍대 공간 규명: 본 논문은 이러한 환경에서의 가격의 성격을 명확히 한다. 결국적 불감증 하에서는 가격이 유한한 지지 집합(finite support)을 갖는 수열($c_{00}$)이어야 함을 보여주며, 이는 근시성(myopia)과 관련된 $l^1$ 가격(매키 위상 관련)과 대조된다.

저자들은 자신의 결과가 브라운과 루이스(Brown and Lewis [1981])의 선구적인 연구와 평행을 이루면서도, Bewley [1972]의 균형 존재 증명에 사용된 매키 위상과는 구별되는 곱위상의 특수한 사례로 분석을 확장했음을 밝힌다. 결론적으로, 이러한 위상적 구조는 무한 시계 경제 모델에서 극단적인 형태의 조급함과 꼬리 민감도 결여(tail insensitivity)를 모델링하기 위한 엄밀한 틀을 제공한다.