[논문 리뷰] A fixed point theorem for closed-graphed decomposable-valued correspondences

Idione Meneghel, Rabee Tourky|arXiv (Cornell University)|2013. 06. 17.

Advanced Graph Theory Research참고 문헌 13인용 수 3

한 줄 요약

이 논문은 원소가 없는 측도 공간에서 닫힌 그래프를 가진 분해 가능 값의 대응에 대해 고정점 정리를 수립하며, 이는 이전 결과를 일반화하여 컴팩트성 조건을 완화한다. 주요 기여는 분해 가능 함수에 대해 순서적으로 닫힌 그래프를 가진 고정점 존재 결과를 제시하는 것으로, 범위에서 노름 컴팩트성의 필요성을 제거하고 $μ$-균일 컴팩트성과 점별 수렴 위상에서의 미터리시티에 기반한다.

ABSTRACT

We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the fixed point theorem in Cellina, Colombo, and Fonda (1986).

연구 동기 및 목표

• 원소가 없는 측도 공간의 맥락에서 닫힌 그래프를 가진 분해 가능 값의 대응에 대해 고정점 정리를 수립하기 위해.
• 범위에서 노름 컴팩트성을 $μ$-균일 컴팩트성으로 대체함으로써 Cellina 등이 제시한 고정점 결과를 일반화하기 위해.
• 점별 수렴 위상에서 컴팩트하고 미터리시티인 부분집합이 $μ$-고정점 성질을 갖는다는 것을 보여주기 위해.
• 순수하게 주관적인 불확실성과 베이지안 게임을 포함한 전략 모델에서의 고정점 분석 기초를 마련하기 위해.

제안 방법

• 증명은 $L([0,1],C)$에서 $L(S,T)$로의 순차적 점별 연속 사상 $\theta$를 구성함으로써 위상적 성질을 전달한다. 여기서 $C$는 칸토어 집합이다.
• 원소가 없는 측도 공간에서의 가측 집합의 최대 사슬을 사용하여, $S$의 각 점에 실수 $[0,1]$를 할당하는 가측 함수 $r(s)$를 정의함으로써 함수의 릿지잉을 가능하게 한다.
• 이 구성은 가чёт한 집합에서 다름을 가진 함수들이 $μ$-영집합에서 다름을 가진 함수로 매핑되도록 보장하여 본질적 동치성을 유지한다.
• Eilenberg-Montgomery 고정점 정리를 활용하기 위해, $\theta$에 대한 분해 가능 집합의 역상이 역시 분해 가능하고, 결과적으로 컴팩트 절대 첨부체임을 보여준다.
• 증명은 점별 수렴 위상에서 $L(S,T)$의 단조 함수 집합이 페아노 연속체임을 보여주며, 국소 연결성과 절대 첨부체 성질을 보장한다.
• Eilenberg-Montgomery 정리를 적용하여 $\tilde{Q}$ 대응체를 역상 공간에서 고정점을 갖는 것으로 결론 내린다.

실험 결과

연구 질문

• RQ1 범위에서 노름 컴팩트성이 필요 없이 분해 가능 값의 대응에 대해 고정점 정리를 수립할 수 있는가?
• RQ2 어떤 위상적 및 측도 이론적 조건에서 닫힌 그래프를 가진 분해 가능 값의 대응이 고정점을 갖는가?
• RQ3 점별 수렴 위상에서 컴팩트하고 미터리시티인 부분집합은 $μ$-고정점 성질을 갖는 순차적 컴팩트 집합에 임베딩될 수 있는가?
• RQ4 분해 가능 집합의 $L_1(\mu, L)$에서의 구조는 순차적 닫힘과 고정점 존재성과 어떻게 상호작용하는가?
• RQ5 점별 수렴 위상은 함수 공간에서의 대응에 대해 고정점 결과를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 원소가 없는 측도 공간에서 닫힌 그래프를 가진 분해 가능 값의 대응에 대해 고정점 정리가 수립되었으며, 이는 이전 결과를 일반화하여 노름 컴팩트성의 필요성을 완화한다.
• 핵심 결과는 대응체 $B$가 닫힌 그래프를 가지며, 분해 가능 값이면서, 모든 $f \in X$에 대해 $X \cap B(f) \neq \emptyset$를 만족하고, $X$가 $\mu$-균일 컴팩트일 경우 $B$는 고정점을 가진다.
• 점별 수렴 위상에서 $L(S,T)$의 컴팩트하고 미터리시티인 부분집합은 $μ$-고정점 성질을 갖는 순차적 컴팩트 집합 $Y$에 임베딩될 수 있다.
• $\theta$의 구성은 순차적 점별 수렴을 유지하며, 가чёт한 집합에서 다름을 가진 함수들이 $μ$-영집합에서 다름을 가진 함수로 매핑됨을 보장한다.
• $((\mathcal{G} \cap \mathcal{M})^{\leftarrow}, \delta)$의 역상 공간은 페아노 연속체이므로 컴팩트 절대 첨부체이며, Eilenberg-Montgomery 고정점 정리의 적용이 가능하다.
• $\mathcal{Z}^{\leftarrow}$에서의 대응체 $\tilde{Q}$는 닫힌 그래프를 가지며 따라서 고정점을 갖는다. 이는 정리 2.2의 증명을 완료한다.