정규함자 확장의 성질과 1전상 보존

본 논문은 컴팩트 Hausdorff 공간(Comp)에서 정의된 함자를 티히코프 공간(Tych)으로 확장하는 Chigogidze 방법을 일반화하고, 그 과정에서 어떤 성질이 보존되는지를 체계적으로 조사한다. 서론에서는 Shchepin이 제시한 정상함자(normal functor)의 정의와 그 핵심 조건(연속성, 단사성, 전사성, 교차 보존, 무게 보존 등)을 요약한다. 정상함자는 컴팩트 공간 사이의 전통적인 위상수학적 구조를 보존하는 중요한 도구이며, 대표적인 예로 hyperspace functor exp, 확률측도 functor P, 전력 functor 등이 있다. 그러나 일부 유용한 함자들은 정상함자의 모든 조건을 만족하지 못한다. 예를 들어, 약하게 정상적인(projective power) functor는 전상 보존을 잃어 임베딩을 유지하지 못한다. Chigogidze는 정상함자 F에 대해 확장 Fβ를 정의했으며, 이 확장은 Comp의 함자를 Tych로 옮기면서도 정상함자성을 그대로 유지한다. 저자들은 이 확장 과정을 모든 함자에 적용하고, 특히 전상 보존 조건을 완화했을 때 어떤 성질이 유지되는지를 분석한다. 이를 위해 “1‑전상 보존”이라는 새로운 개념을 도입한다. 정의에 따르면, 임베딩 i:A→X와 연속 사상 f:X→Y에 대해, 닫힌 집합 A⊂Y에서 f|_{f^{-1}(A)}가 동형이면 (Ff)^{-1}(FA)=F(f^{-1}(A))가 성립해야 한다. 이는 전상 보존을 전형적인 경우가 아닌, 동형 제한에만 요구함으로써 조건을 약화한다. 논문은 일련의 명제와 정리를 통해 1‑전상 보존과 임베딩 보존 사이의 정확한 관계를 밝힌다. Proposition 1은 열린 사상에 대해 1‑전상 보존이면 일반 사상에서도 동일한 식이 성립함을 보이며, 이를 위해 곱공간과 적절한 동형 사상을 구성한다. Proposition 2는 1‑전상 보존을 만족하는 단사함자 F에 대해 확장된 함자 Fβ가 임베딩을 보존한다는 것을 증명한다. 여기서는 Fβ(f)가 닫힌 사상이며 삽입성을 유지함을 이용한다. Proposition 4는 역을 증명해, Fβ가 임베딩을 보존하면 원래 함자 F가 1‑전상 보존임을 보인다. 이 두 결과를 결합한 Theorem 1은 “연속적 단사함자에 대해 Fβ가 임베딩을 보존 ⇔ F가 1‑전상 보존”이라는 동치성을 제시한다. 이는 Chigogidze 확장의 핵심적인 구조적 특징을 명확히 한다. 다음으로 무게 보존, 교차 보존, 전상 보존 등 다른 정상함자 특성에 대한 전이를 조사한다. Proposition 5는 임베딩·1‑전상·교차를 보존하는 F가 Fβ에서도 교차를 보존하고, 임베딩·전상을 보존하면 전상을 보존한다는 일련의 함자적 전이 규칙을 제시한다. 또한, Proposition 3과 Corollary 1을 통해 1‑전상 보존과 무게 보존이 동시에 성립하면 Fβ도 무게를 보존함을 확인한다. 연속성에 관한 부정적 예시도 제시한다. 약하게 정상적인 포함 하이퍼스페이스 functor G는 전상 보존이 없으므로, 그 확장 Gβ는 연속성을 잃는다. 구체적으로, 역시스템 {X_n, p_{mn}}를 구성하고, 그 극한에서 lim Gβ(p_n) 가 전사성이 아니게 되는 상황을 만들어 Gβ가 연속함수가 아님을 보인다. 이는 전상 보존이 연속성 유지에 필수적임을 시사한다. 마지막 섹션에서는 함수공간 C(X) 위에 정의된 다양한 함수적을 이용해 여러 함자를 구체화한다. V는 모든