[논문 리뷰] Une Structure Uniforme sur un Espace F(E,F)

Nicolas Bouleau|arXiv (Cornell University)|2010. 01. 19.

Advanced Topology and Set Theory인용 수 6

한 줄 요약

이 논문은 위상 공간 E에서 균일 공간 F로의 함수 공간 𝒞(E,F)에 대해 V수렴 균일구조라 불리는 균일 구조를 도입한다. 이는 연속 함수의 점별 극한이 여전히 연속이 되도록 보장하며, 연속 함수 위에서의 수렴이 점별 수렴과 동치가 되도록 보장한다. 주요 기여는 점별 수렴을 더욱 정교화하면서도 극한의 연속성을 유지하는 𝒞(E,F)에 대한 균일 위상 구조를 수립하는 것이다.

ABSTRACT

Let E be a topological space and F a uniform space. We introduce a new topology (in fact a uniform structure) called the V-congergence on the space of applications from E to F such that C(E,F) is closed for this topology and the restriction of this topology to C(E,F) is equivalent to pointwise convergence. In other words this topology is the coarsest preserving continuity. We give a criterion of convergence for this topology not involving the limit. Among properties preserved are mesurability and alpha-borelianity for a countable ordinal alpha.

연구 동기 및 목표

• 위상 공간 E에서 균일 공간 F로의 함수 공간 𝒞(E,F)에 대해 균일 구조를 정의하는 것.
• 이 구조에서 연속 함수의 수열 극한이 여전히 연속이 되도록 보장하는 것.
• 이 구조를 𝒞(E,F)에 제한했을 때 점별 수렴 위상과 동치가 되도록 하는 것.
• 이 균일 구조가 함수해석학과 위상수학에서 응용될 수 있도록 연구하는 것.
• V수렴 하에서 상대 컴팩트성과 완비성에 대한 조건을 설정하는 것.

제안 방법

• 유한 부분집합 A ⊂ E와 F의 엔트로피 W를 사용하여 𝒞(E,F) × 𝒞(E,F)에 포함되는 엔트로피 𝒰_{W,A}를 정의하며, A의 근방에서 모든 x에 대해 (f(x),g(x)) ∈ W를 요구한다.
• family {𝒰_{W,A}}가 𝒞(E,F) 위의 균일 구조에 대한 기본 엔트로피 체계를 이룬다는 것을 증명하며, 이를 V수렴 균일구조라 부른다.
• 이 균일 구조가 점별 수렴보다 더 빠르고 국소 균일 수렴보다 더 느리다는 것을 보여준다.
• 평가 함수의 연속성과 𝒞(E,F)가 V균일구조에서 닫혀 있음을 이용하여 연속 함수의 극한이 연속임을 증명한다.
• 점별 상대 컴팩트성과 점별 수렴에 대한 닫힘 조건을 이용하여 V균일구조에서의 상대 컴팩트성에 대한 기준을 설정한다.
• F가 위상 벡터 공간이고 함수들이 국소 유계일 경우, V균일구조가 벡터 공간 연산과 호환됨을 증명한다.

실험 결과

연구 질문

• RQ1 위상 공간에서 균일 공간으로의 함수 공간에 대해, 연속 함수의 극한이 여전히 연속이 되도록 보장하는 균일 구조를 정의할 수 있는가?
• RQ2 이 균일 구조를 연속 함수 공간에 제한했을 때 점별 수렴 위상과 동치가 되는가?
• RQ3 V균일구조에서 상대 컴팩트성을 보장하는 조건는 무엇인가?
• RQ4 V수렴 균일구조는 함수 공간 위의 다른 표준 위상과 어떻게 관련이 있는가?
• RQ5 V수렴 균일구조 하에서 함수 공간이 완비가 되기 위한 조건는 무엇인가?

주요 결과

• 𝒞(E,F) 위의 V수렴 균일구조는 연속 함수의 집합 𝒞(E,F)가 이 균일구조를 지닌 𝒞(E,F)에서 닫혀 있음을 보장한다.
• V수렴 균일구조를 𝒞(E,F)에 제한했을 때 점별 수렴 위상과 동치이다.
• H ⊂ 𝒞(E,F)가 V수렴 하에서 상대 컴팩트일 조건은 각 x ∈ E에 대해 H(x)가 F에서 상대 컴팩트이며, H의 점별 닫힘집합이 𝒞(E,F)에 포함되어 있다는 것이다.
• F가 위상 벡터 공간일 경우, 국소 유계 함수들의 벡터 공간 구조와 V균일구조가 호환된다.
• X가 국소 컴팩트이자 σ-콤팩트이고 Y가 매트릭 가능할 경우, 보렐 가측 함수의 집합과 Borel 계급 α의 함수들은 V균일위상에서 닫혀 있다.
• σ-콤팩트이고 국소 컴팩트인 공간 X와 매트릭 가능인 Y에 대해, V균일위상은 가산 닫힘 성질을 만족한다: f₀이 집합 A의 닫힘에 속해 있다면, f₀은 A의 가산 부분집합의 닫힘에 속해 있다.