[논문 리뷰] Uniformity of uniform convergence on the family of sets

Alexander V. Osipov|arXiv (Cornell University)|2012. 09. 07.

Advanced Topology and Set Theory참고 문헌 1인용 수 3

한 줄 요약

이 논문은 균일 수렴의 위상이 연속 함수 공간 $ C(X,Y) $ 위의 집합개방 위상과 일치하는 조건을 규명한다. 히우스도르프 공간 $ X $ 와 균일 공간 $ Y $ 에 대해, 가족 $ \nu $ 에 속한 집합들이 $ Y $-콤팩트일 때, 특히 $ Y $ 가 닫힘-동질적이고 완비일 경우, 가족 $ \nu $ 에서의 균일 수렴의 균일성과 집합개방 위상 간에 일치함을 증명한다. 주요 기여는 균일 수렴이 집합개방 위상으로 이끌어내는 가족들에 대한 위상적 특성화이다.

ABSTRACT

We prove that for every Hausdorff space X and any uniform quadra space (Y,U) the topology on C(X,Y) induced by the uniformity U| of uniform convergence on the saturation family L coincides with the set-open topology on C(X,Y). In particular, for every pseudocompact space X and any metrizable topological vector space Y with uniform U the topology on C(X,Y) induced by the uniformity U| of uniform convergence coincides with the C-compact-open topology on C(X,Y), and depends only on the topology induced on Y by the uniformity U. It is also shown that in the class closed-homogeneous complete uniform spaces Y necessary condition for coincidence of topologies is Y-compactness of elements of family L.

연구 동기 및 목표

• 균일 수렴의 가족에 의한 위상이 $ C(X,Y) $ 에서의 집합개방 위상과 일치하는 조건을 규명하는 것.
• 균일 수렴의 균일성이 집합개방 위상으로 이끌어내는 가족들을 특성화하는 것.
• 위상 일치를 위한 가족 $ \lambda $ 와 공간 $ Y $ 에 대한 필요 및 충분 조건을 설정하는 것.
• 콤팩트성, 닫힘-동질성, 완비성 등의 성질이 위상 동치를 보장하는 데 어떻게 기여하는지 탐구하는 것.

제안 방법

• 집합 $ X $ 의 가족 $ \lambda $ 에서의 균일 수렴의 균일성 $ \mathcal{\hat{U}}|\lambda $ 을 정의하며, $ A \in \lambda $ 와 $ V \in \mathcal{U} $ 에 대해 엔트로피 $ \hat{V}|A $ 를 사용한다.
• 집합개방 위상은 $ A \in \lambda $, $ U \subseteq Y $ 가 열린 집합일 때, $ [A, U] = \{ f \in C(X,Y) : f(A) \subseteq U \} $ 의 부분기저로 생성된다.
• Quadra 공간과 $ Y $-콤팩트 집합의 성질을 활용하여 연속 함수에 대한 교차 및 상의 성질을 분석한다.
• 닫힘-동질성의 성질을 적용하여 점을 이동시키면서 위상을 유지하는 호메오멀피즘을 구성함으로써, 가정이 실패할 경우 모순을 이끌어낸다.
• 완비성의 성질을 사용하여 닫힌 완전유계 집합이 콤팩트임을 보여주며, 완전유계성과 콤팩트성 간의 연결 고리를 확립한다.
• 반증을 통해 $ Y $-콤팩트성의 필수성을 증명한다. 비콤팩트 상과 호메오멀피즘 변형을 통해 위상 동치가 성립하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 가족 $ \lambda $ 에서의 균일 수렴의 균일성이 $ C(X,Y) $ 에서의 집합개방 위상과 같은 위상을 유도하는 조건은 무엇인가?
• RQ2 특히 $ Y $ 가 닫힘-동질적일 경우, 위상 일치를 위해 가족 $ \lambda $ 가 가져야 할 위상적 성질은 무엇인가?
• RQ3 예를 들어 $ Y $ 가 Quadra 공간이거나 $ G_\delta $-대각선을 갖는 경우, $ Y $ 의 구조는 균일 수렴과 집합개방 위상 간의 관계에 어떻게 영향을 미치는가?
• RQ4 $ Y $ 가 완비이자 닫힘-동질적일 경우, $ \lambda $ 의 원소들이 $ Y $-콤팩트임이 위상 일치에 필수적이고 충분한 조건인가?
• RQ5 일부 $ Y $ 의 조건 하에서, $ \lambda $ 가 비콤팩트 집합을 포함하더라도 균일 수렴의 균일성이 집합개방 위상으로 이어질 수 있는가?

주요 결과

• 모든 히우스도르프 공간 $ X $ 와 임의의 균일 공간 $ (Y,\mathcal{U}) $ 에 대해, $ C(X,Y) $ 의 위상이 $ \mathcal{\hat{U}}|\lambda $ 에 의해 유도될 때, 집합개방 위상과 일치하는 것은 $ \lambda $ 가 $ Y $-콤팩트 집합들로 이루어져 있을 때이다.
• 특히, $ X $ 가 준콤팩트이고 $ Y $ 가 메트릭 위상선형공간일 경우, 균일 수렴의 균일성 $ \mathcal{\hat{U}} $ 는 $ C $-콤팩트개방 위상과 같은 위상을 유도한다.
• 만약 $ Y $ 가 닫힘-동질적이고 완비인 균일 공간이며, 위상들이 일치한다면, $ \lambda $ 의 모든 집합은 $ Y $-닫힘 완전유계여야 한다.
• 닫힘-동질적이고 완비인 균일 공간 $ Y $ 에 대해, 위상들이 일치하기 위해서는 가족 $ \lambda $ 가 $ Y $-콤팩트 집합들로 이루어져야 한다.
• 소르겐프라이의 직선 $ Z $ 는 Quadra 공간이므로, 임의의 히우스도르프 공간 $ X $ 에 대해, 컴팩트 집합들에서의 균일 수렴의 균일성 $ \mathcal{\hat{U}}|\lambda $ 는 $ C(X,Z) $ 에서 집합개방 위상을 유도한다.
• 반증을 통해 $ \lambda $ 에서의 $ Y $-콤팩트성의 필수성을 입증한다. 비콤팩트성을 가정하면, 위상 동치를 위반하는 호메오멀피즘을 구성할 수 있다.