[논문 리뷰] Free paratopological groups

Ali Sayed Elfard|arXiv (Cornell University)|2012. 12. 23.

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

한 줄 요약

이 논문은 위상수학적 공간 X 위의 자유 평행위상군 FP(X)와 AP(X)를 조사하며, 특히 Pα-공간과 알렉산드로프 공간에 초점을 맞춘다. X가 알렉산드로프 공간이면 FP(X)가 알렉산드로프 공간임을 증명하고, 항등원에서의 명시적 이웃기저를 구성하며, FP(X)가 T₀이면 오직 X가 T₀일 때에만 성립함을 증명한다. 주요 기여는 FP(X)가 위상군이 되는 조건을 규명하고, 그가 유도한 극한 성질을 만족하는 조건을 제시하는 것이다.

ABSTRACT

Let $\FP(X)$ be the free paratopological group on a topological space $X$ in the sense of Markov. In this paper, we study the group $\FP(X)$ on a $P_α$-space $X$ where $α$ is an infinite cardinal and then we prove that the group $\FP(X)$ is an Alexandroff space if $X$ is an Alexandroff space. Moreover, we introduce a neighborhood base at the identity of the group $\FP(X)$ when the space $X$ is Alexandroff and then we give some properties of this neighborhood base. As applications of these, we prove that the group $\FP(X)$ is $T_0$ if $X$ is $T_0$, we characterize the spaces $X$ for which the group $\FP(X)$ is a topological group and then we give a class of spaces $X$ for which the group $\FP(X)$ has the inductive limit property.

연구 동기 및 목표

• Pα-공간과 알렉산드로프 공간 위의 자유 평행위상군 FP(X)와 AP(X)의 구조를 연구하기 위해.
• FP(X)가 위상군이 되는 조건을 규명하기 위해, 즉 역원 연산이 연속일 때를 위해.
• FP(X)와 AP(X)가 유도한 극한 성질을 만족하는 조건을 설정하기 위해.
• X가 알렉산드로프 공간일 때 FP(X)의 항등원에서의 이웃기저를 특성화하기 위해.
• FP(X)가 T₀이면 오직 X가 T₀일 때에만 성립함을 증명하여, 분리공리의 확장을 자유군 구성에 적용하기 위해.

제안 방법

• 마르코프의 자유 평행위상군 구성법을 활용하여, FP(X)를 X 위의 자유군으로 정의하고, X의 위상으로 확장되는 가장 강력한 평행위상군 위상으로 정의한다.
• Pα-공간의 개념을 적용한다—즉, α 미만의 개수의 열린 집합의 임의의 교집합이 열린 집합이 되는 공간—을 통해 FP(X)의 위상적 성질을 분석한다.
• 알렉산드로프 공간의 구조를 이용하여, 임의의 열린 집합의 교집합이 열린다는 사실을 활용하여, FP(X)의 항등원에서의 이웃기저를 구성한다.
• X에서 유한 T₀ 공간(예: R_n)으로의 연속 준동형사를 활용하여 군 원소를 분리하고, FP(X)에서의 T₀ 분리성을 증명한다.
• 유도한 극한 성질을 적용하기 위해, X가 T₁ P-공간이면 FP(X)가 길이 최대 n인 단어들로 이루어진 부분군 FP_n(X)들의 유도한 극한임을 보인다.
• 이전 연구들(예: [3], [7], [8])에서의 자유 평행위상군과 분리공리에 관한 결과를 응용하여 새로운 특성화를 도출한다.

실험 결과

연구 질문

• RQ1 X에 어떤 조건이 성립할 때 자유 평행위상군 FP(X)가 알렉산드로프 공간이 되는가?
• RQ2 자유 평행위상군 FP(X)가 위상군이 되는 조건은 무엇인가? 즉, 역원 연산이 연속일 때는 언제인가?
• RQ3 X가 알렉산드로프 공간일 때 FP(X)의 항등원에서의 이웃기저는 무엇인가?
• RQ4 FP(X)가 어떤 조건에서 유도한 극한 성질을 만족하는가?
• RQ5 X의 T₀ 성질과 FP(X)의 T₀ 성질 사이의 관계는 무엇인가?

주요 결과

• X가 알렉산드로프 공간이면, FP(X) 역시 알렉산드로프 공간이다.
• X가 알렉산드로프 공간일 경우, X의 위상에 기반하여 FP(X)의 항등원에서의 간단한 이웃기저를 구성할 수 있다.
• FP(X)가 T₀이면 오직 X가 T₀일 때에만 성립하며, 이는 X의 분리공리와 그 자유 평행위상군 간의 직접적인 연결 고리를 확립한다.
• FP(X)가 위상군이 되는 것은 X가 T₀ 공간이면서 동시에 역원 연산이 연속이 되는 추가적인 구조적 조건을 만족할 때에만 성립한다.
• X가 T₁ P-공간이면, FP(X)는 길이 최대 n인 단어들로 이루어진 부분군 FP_n(X)들의 유도한 극한이다.
• 자유 아벨 평행위상군 AP(X)는 유사한 성질을 공유한다: X가 T₀이면 AP(X) 역시 T₀이며, 동일한 조건 하에서 유도한 극한 성질을 만족한다.