[논문 리뷰] Metrizable TAP and STAP groups

Xabier Domínguez Vaja Tarieladze|arXiv (Cornell University)|2009. 09. 08.

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

한 줄 요약

이 논문은 mTAP 및 mSTAP 성질을 갖는 미터러블 위상군을 조사하며, Weil 완비인 미터러블 mTAP 군은 mNSS임을 보이고, mNSS 군은 mSTAP임을 증명한다. 또한, 미터러블 군의 경우 mSTAP와 mNSS가 동치임을 보이며, 무한한 Tychonoff 공간 X에 대해 C_p(X,ℝ)는 절대 mSTAP가 아니며, 미터러블 국소 균형 잡힌 TVS는 ℤ^(ℕ)과 위상적으로 동형인 부분군을 갖지 않을 때에만 mSTAP임을 증명한다.

ABSTRACT

In a recent paper by D. Shakhmatov and J. Spěvak [Group-valued continuous functions with the topology of pointwise convergence, Topology and its Applications (2009), doi:10.1016/j.topol.2009.06.022] the concept of a ${ m TAP}$ group is introduced and it is shown in particular that ${ m NSS}$ groups are ${ m TAP}$. We prove that conversely, Weil complete metrizable ${ m TAP}$ groups are ${ m NSS}$. We define also the narrower class of ${ m STAP}$ groups, show that the ${ m NSS}$ groups are in fact ${ m STAP}$ and that the converse statement is true in metrizable case. A remarkable characterization of pseudocompact spaces obtained in the paper by D. Shakhmatov and J. Spěvak asserts: a Tychonoff space $X$ is pseudocompact if and only if $C_p(X,\mathbb R)$ has the ${ m TAP}$ property. We show that for no infinite Tychonoff space $X$, the group $C_p(X,\mathbb R)$ has the ${ m STAP}$ property. We also show that a metrizable locally balanced topological vector group is ${ m STAP}$ iff it does not contain a subgroup topologically isomorphic to $\mathbb Z^{(\mathbb N)}$.

연구 동기 및 목표

• 미터러블 위상군에서 mTAP, mSTAP, mNSS 성질 간의 관계를 명확히 하기.
• Tychonoff 공간 X에 대해 C_p(X,ℝ)가 mSTAP 성질을 만족하는지 조사하기.
• 미터러블 국소 균형 잡힌 위상 벡터 군에서 mSTAP를 특성화하기.
• 미터러블 설정에서 mSTAP와 mNSS가 동치임을 입증하기.

제안 방법

• 함수 군 내 수열 수렴을 통한 mTAP 및 mSTAP 군 성질의 정의 사용.
• Weil 완비성의 적용을 통해 mTAP 군의 구조적 성질 유도.
• ℤ^(ℕ)과 위상적으로 동형인 부분군 분석을 위한 위상 동형성 논증을 통한 미터러블 국소 균형 잡힌 TVS 내 분석.
• 이전 연구에서 도출된 C_p(X,ℝ)에서의 준콤팩트성의 특성화를 통한 mTAP 적용.
• C_p(X,ℝ)가 무한한 X에 대해 절대 mSTAP가 될 수 없음을 보이기 위한 위상적 및 순서적 논증.
• 구조적 군론적 분석을 통한 mSTAP 및 mNSS 성질 간 비교.

실험 결과

연구 질문

• RQ1 Weil 완비인 미터러블 mTAP 군은 반드시 mNSS인가?
• RQ2 미터러블 설정에서 mSTAP 성질은 mNSS와 동치인가?
• RQ3 어떤 Tychonoff 공간 X에 대해 C_p(X,ℝ)는 mSTAP인가?
• RQ4 미터러블 국소 균형 잡힌 위상 벡터 군이 ℤ^(ℕ)과 위상적으로 동형인 부분군을 포함하면 mSTAP를 갖는가?
• RQ5 X가 무한할 때 C_p(X,ℝ)는 mSTAP가 될 수 있는가?

주요 결과

• Weil 완비인 미터러블 mTAP 군은 mNSS이며, 이는 기존 함의의 역을 증명함.
• mNSS 군은 mSTAP이며, 미터러블 경우 그 역도 성립함: mSTAP는 mNSS를 함의함.
• 무한한 Tychonoff 공간 X에 대해 C_p(X,ℝ)는 어떤 경우에도 mSTAP가 아니며, 이는 함수 공간에서 mSTAP 성질에 대한 강력한 제약 조건을 보여줌.
• 미터러블 국소 균형 잡힌 위상 벡터 군은 ℤ^(ℕ)과 위상적으로 동형인 부분군을 포함하지 않을 때에만 mSTAP임.
• 미터러블 군에서 mSTAP 성질은 특정 가산离산 부분군의 부재와 동치이며, 이는 구조적 특성화를 제공함.