G 연속성의 새로운 시각

초록

본 논문은 1차 가산 하우스도르프 위상군에서 정의되는 G‑연속성 개념을 심층적으로 확장한다. 기존의 실수 함수에 대한 G‑연속성을 위상군으로 일반화하고, G‑연속 함수의 폐쇄·열림 집합, 내부·경계, 그리고 연속성 보존 성질을 다양한 정리와 예제로 제시한다. 특히 정규·부분수열법인 G에 대해 전통적인 위상 개념과 일치함을 증명하고, G‑연속성의 이미지와 원상에 대한 보존 정리를 체계화한다.

상세 분석

논문은 먼저 X를 1차 가산 하우스도르프 위상군이라 가정하고, 수열의 극한을 일반화한 선형 함수 G를 도입한다. G는 s(X)의 부분공간 c_G(X) 위에서 정의되는 선형 사상이며, 모든 수렴 수열에 대해 G(x)=lim x 를 만족하는 정규성(regularity)을 기본 가정으로 둔다. 이때 G‑수렴(G‑convergent)이라는 개념을 “x∈c_G(X)이고 G(x)=ℓ”으로 정의하고, G‑연속성은 “G‑수렴하는 수열의 이미지도 G‑수렴한다”는 조건으로 설정한다.

핵심적인 정의로는 G‑연속 폐쇄(G‑sequentially closed)와 G‑연속 열림(G‑sequentially open) 집합이 있다. G‑폐쇄는 A_G = {ℓ∈X | ∃ x⊂A, G(x)=ℓ} 로 정의되며, A가 G‑폐쇄이면 A_G⊂A가 성립한다. 반대로 G‑열림은 보완이 G‑폐쇄인 집합으로, G‑열린 이웃집합을 이용해 위상적 이웃 개념을 재구성한다. 논문은 이러한 집합들의 연산(교집합, 합집합, 내부, 경계 등)이 일반 위상 공간의 연산과 어떻게 달라지는지를 정리한다. 예를 들어, 정규 G에 대해 교집합은 항상 G‑열림을 보존하지만, 합집합은 보존하지 않을 수 있음을 구체적인 실수 예시( G(x)=lim ( (x_n+x_{n+1})/2 ) )를 들어 설명한다.

정리 1~10은 G‑폐쇄·열림 연산의 기본 성질을 체계화한다. 특히 정리 2와 3은 G‑열린 집합들의 임의 합집합이 다시 G‑열림이 됨을 보이며, 이는 G‑열린 집합들의 체계가 위상 구조를 형성하지 못하는 경우와 대비된다. 정리 5와 6은 함수 이미지가 G‑폐쇄·열림을 보존하는 조건을 제시하고, 정리 8은 G‑열린 함수와 내부 연산 사이의 동치성을 보여준다.

또한, 정규이면서 부분수열법(subsequential)인 G에 대해서는 G‑열림과 전통적인 열림이 일치함을 Lemma 2에서 증명한다. 이는 G‑연속성이 기존 연속성과 동일한 위상적 의미를 갖는 경우를 명확히 제시한다. Lemma 3·4는 G‑연속 함수가 일반 연속함수임을, 그리고 G‑연속성 보존을 위한 역상(image)과 원상(preimage) 연산의 폐쇄성을 각각 증명한다.

마지막으로, G‑연속 함수의 전단사(bijection) 경우 정리 13에서 내부 연산이 함수와 교환됨을 보여, G‑연속성 하에서 위상 동형사상의 기본 성질을 확장한다. 전체적으로 논문은 G‑연속성이라는 추상적 수열 기반 연속 개념을 위상군에 적용하면서, 기존 위상학적 개념과의 관계를 명확히 하고, 새로운 예시와 반례를 통해 이론의 한계와 가능성을 동시에 제시한다.