[논문 리뷰] Idempotent measures:absolute retracts and soft maps

Taras Radul|arXiv (Cornell University)|2018. 10. 22.

Advanced Topology and Set Theory참고 문헌 5인용 수 8

한 줄 요약

이 논문은 $IX$의 공간이 절대 재구성 가능체(absolute retract)임을 $X$가 무게가 $\omega_1$ 이하인 열린 방식으로 생성된 컴acts $X$이면 필요이고 충분하다고 규명하며, $X = [0,1]^{\omega_1}$일 때의 이드포텐트 바리센터 사상 $\beta_{IX}$가 0-소프트가 아니라는 것을 증명한다. 이는 확률 측도의 행동과 대조된다. 결과적으로 이 논문은 맥스플러스 볼록성과 소프트 사상 이론을 활용하여 디토르-헤이든 유형 정리들을 이드포텐트 설정으로 확장한다.

ABSTRACT

We investigate under which conditions the space of idempotent measures is an absolute retract and the idempotent barycenter map is soft.

연구 동기 및 목표

• 이드포텐트 측도 공간 $IX$가 절대 재구성 가능체(AR)가 되는 조건을 규명하는 것.
• 기저 컴팩트 $X$의 위상적 성질과 관련하여 이드포텐트 바리센터 사상 $\beta_{IX}$의 소프트성(scalability)을 조사하는 것.
• 클래식한 확률 측도 이론의 결과들(예: 디토르-헤이든 정리)을 이드포텐트(Maslov) 측도 설정으로 확장하는 것.
• 페도르추크의 바리센터 소프트성에 관한 질문들에 대한 이드포텐트 설정에서의 이론적 해법을 제시하는 것.

제안 방법

• 연속 사상과 임bedding을 보존하는 이드포텐트 측도 공간 $I$의 함자적 구조를 사용한다.
• Max-Plus 볼록성을 $\mathbb{R}^\tau$에서 정의하고, 이를 통해 $IX$를 컴팩트한 Max-Plus 볼록 부분집합으로 분석한다.
• 좌표 사영 $f_t$에 대해 $\beta_A(\mu)(t) = \mu(f_t)$로 정의되는 이드포텐트 바리센터 사상 $\beta_A: IX \to IX$를 적용한다.
• 특히 $\tau = \omega_1$일 때 $X = [0,1]^\tau$에 대해 $IX$를 분석하기 위해 역극한 기법과 역계측계를 적용한다.
• 소프트성과 개방성을 반박하기 위해 개방 사상과 특성 사상 $\chi$를 활용한 모순 증명 기법을 사용한다.
• 디라크 측도 $\delta_x$, 유한 지지 이드포텐트 측도 및 그들의 $IX$ 내 밀도 임베딩 성질에 의존한다.

실험 결과

연구 질문

• RQ1 언제 이드포텐트 측도 공간 $IX$가 절대 재구성 가능체인가?
• RQ2 비메트릭 컴팩트에 대해 이드포텐트 바리센터 사상 $\beta_{IX}$는 소프트한가?
• RQ3 이드포텐트 바리센터 소프트성의 해법을 갖는 비메트릭 컴팩트 $X$가 존재하는가?
• RQ4 기저 컴팩트 $X$의 위상적 성질(예: 무게, 개방적 생성)이 $IX$의 소프트성 및 AR 성질에 미치는 영향은 무엇인가?
• RQ5 $X = [0,1]^{\omega_1}$일 때 이드포텐트 바리센터 사상은 개방적인가?

주요 결과

• $IX$는 $X$가 무게가 $\omega_1$ 이하인 열린 방식으로 생성된 컴팩트일 때에만 절대 재구성 가능체이다.
• $X = [0,1]^{\omega_1}$일 때 이드포텐트 바리센터 사상 $\beta_{I([0,1]^{\omega_1})}$는 0-소프트가 아니며, 이는 확률 측도의 경우와의 유사성 가정을 반박한다.
• 바리센터 다이어그램과 관련된 특성 사상 $\chi$는 개방적이지 않으며, 이는 소프트성 가정 하에 모순을 초래한다.
• $X = [0,1]^{\omega_1}$일 때 바리센터 사상은 개방적이지 않으며, 이는 선형(확률) 경우와의 근본적 차이를 보여준다.
• $\tau > \omega_1$일 때 $I([0,1]^\tau)$는 절대 재구성 가능체가 아니며, 이는 이전 연구에서의 부정적 결과를 확인한다.
• 결과적으로, $IX$의 바리센터 소프트성은 $X$의 메트릭성과 동치이며, 이는 확률 측도의 경우와 유사하다.