[논문 리뷰] Krasinkiewicz spaces and parametric Krasinkiewicz maps

Eiichi Matsuhashi, Vesko Valov|ArXiv.org|2008. 02. 29.

Advanced Topology and Set Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $ Y $ 가 강한 가산차원이거나 $ C $-공간이고, $ M $ 이 Krasinkiewicz 완비 $ ANR $-공간일 때, $ f: X \to Y $ 가 완벽한 사상이라면, 소스 제한 위상으로 장비된 함수 공간 $ C(X,M) $ 는 각 제한 $ g|f^{-1}(y) $ 가 Krasinkiewicz 사상이 되는 함수 $ g $ 의 조밀한 $ G_\delta $-집합을 포함한다. 이 결과는 $ X $ 가 $ C $-공간일 때 $ M $ 이 바나흐 공간의 닫힌 볼록부분집합인 경우로도 확장된다.

ABSTRACT

We say that a metrizable space $M$ is a Krasinkiewicz space if any map from a metrizable compactum $X$ into $M$ can be approximated by Krasinkiewicz maps (a map $g\colon X o M$ is Krasinkiewicz provided every continuum in $X$ is either contained in a fiber of $g$ or contains a component of a fiber of $g$). In this paper we establish the following property of Krasinkiewicz spaces: Let $f\colon X o Y$ be a perfect map between metrizable spaces and $M$ a Krasinkiewicz complete $ANR$-space. If $Y$ is a countable union of closed finite-dimensional subsets, then the function space $C(X,M)$ with the source limitation topology contains a dense $G_δ$-subset of maps $g$ such that all restrictions $g|f^{-1}(y)$, $y\in Y$, are Krasinkiewicz maps. The same conclusion remains true if $M$ is homeomorphic to a closed convex subset of a Banach space and $X$ is a $C$-space.

연구 동기 및 목표

• 완벽한 사상에 의한 매개변수 제한 하에서 Krasinkiewicz 공간의 특성화 및 안정성 분석.
• 함수 공간 $ C(X,M) $ 내에서 각각의 제한 $ f^{-1}(y) $ 가 Krasinkiewicz 사상이 되는 함수들의 조밀한 $ G_\delta $-부분집합 존재성 입증.
• Krasinkiewicz 사상 이론을 $ C $-공간과 완비 $ ANR $-공간을 포함하는 매개변수 설정으로 확장.
• 소스 제한 위상이 부여된 함수 공간에서 Krasinkiewicz 사상으로서의 근사가 가능한 조건 규명.
• Krasinkiewicz 부분공간의 열린 커버를 통한 Krasinkiewicz 공간의 위상적 특성화 제공.

제안 방법

• 모든 연속체가 해당 섬유에 포함되거나 섬유의 성분을 포함하는 사상으로 Krasinkiewicz 사상 정의.
• 연속 함수 $ \varepsilon: X \to (0,1] $ 를 이용해 정의되는 소스 제한 위상으로 $ C(X,M) $ 를 장비하며, 완비 메트릭 공간 $ M $ 에 대해 Baire 성질 확보.
• 각 $ f^{-1}(y) $ 의 성분이 $ g $ 에서 하위연속체와 균일하게 가까워지는 경우를 포괄하는 집합 $ \mathcal{K}(m,n,y) $ 도입.
• $ \mathcal{K}(H) = \bigcap_{m,n} \mathcal{K}(m,n,H) $ 를 증명하여 원하는 집합의 $ G_\delta $-구조 입증.
• $ ANR $-확장 성질과 열린 부분집합의 Krasinkiewicz 성질을 이용해 $ C(X,M) $ 내에서 $ H_y $ 의 조밀성과 열린 성질 확보.
• Baire 카테고리 정리 적용으로 조밀한 $ G_\delta $-집합의 교집합이 조밀한 $ G_\delta $-집합임을 도출해 주요 결과 도출.

실험 결과

연구 질문

• RQ1 함수 공간 $ C(X,M) $ 가 각 제한 $ f^{-1}(y) $ 가 Krasinkiewicz 사상이 되는 함수들의 조밀한 $ G_\delta $-집합을 포함하는 조건은 무엇인가?
• RQ2 $ Y $ 의 위상적 성질, 예를 들어 강한 가산차원성 또는 $ C $-공간 성질이 이러한 함수의 존재성에 어떤 영향을 미치는가?
• RQ3 매개변수 Krasinkiewicz 사상의 맥락에서 $ K $-공간과 $ ANR $-공간 간의 관계는 무엇인가?
• RQ4 만약 $ M $ 이 바나흐 공간의 닫힌 볼록부분집합이라면, 완벽한 사상 하에서 Krasinkiewicz 성질이 유지되는가?
• RQ5 Krasinkiewicz 공간이 될 수 없는 공간은 무엇이며, 투영 사상의 Krasinkiewicz 사상에 의한 근사 불가능성을 초래하는 위상적 장애물은 무엇인가?

주요 결과

• 완벽한 사상 $ f: X \to Y $ 에 대해 $ Y $ 가 강한 가산차원이고 $ M $ 이 완비 $ ANR $-공간이면서 Krasinkiewicz일 경우, $ C(X,M) $ 는 각각의 $ g|f^{-1}(y) $ 가 Krasinkiewicz 사상이 되는 함수 $ g $ 의 조밀한 $ G_\delta $-집합을 포함한다.
• 결과는 $ M $ 이 바나흐 공간의 닫힌 볼록부분집합이고 $ X $ 가 $ C $-공간일 경우에도 유지되며, 이때 $ Y $ 가 $ C $-공간이어야 한다.
• 완비 $ ANR $ 는 정의상 Krasinkiewicz 공간이 되기 위한 필요충분조건으로, Krasinkiewicz 부분공간의 열린 커버를 가질 것임이 보장된다.
• 모든 $ n $-다양체 $ (n \geq 1) $, 컴act 다각형, 1차원 페아노 연속체는 Krasinkiewicz 공간이다.
• 완전히 분해 불가능한 연속체는 Krasinkiewicz 공간이 될 수 없으며, $ Y $ 가 어떤 열린 집합에서 호를 포함하지 않을 경우, $ p: Y \times \mathbb{I} \to Y $ 의 투영이 Krasinkiewicz 사상으로 근사될 수 없음을 보여준다.
• 고립점이 없는 완비 다각형 $ P $ 에 대해 함수 공간 $ C(X,P) $ 는 각각의 $ g|f^{-1}(y) $ 가 Krasinkiewicz 이면서 Bing 이 되는 함수 $ g $ 의 조밀한 $ G_\delta $-집합을 포함한다. 이는 $ Y $ 가 강한 가산차원이거나 $ C $-공간일 경우 성립한다.