가변 기반 퍼지 필터와 위상 구조의 범주론적 통합

초록

본 논문은 SET×C 형태의 기저 범주 위에 정의된 가변 기반 퍼지 필터(C‑FFIL)와 가변 기반 퍼지 위상공간(C‑FTOP) 사이의 범주론적 관계를 조사한다. 완전 준단일 격자(CQML)의 부분범주 C를 이용해 필터와 위상의 객체·사상 정의를 일반화하고, 초기·최종 필터, 초필터(ultrafilter) 개념을 제시한다. 또한, 전이 사상에 대한 연속성 조건을 Galois 연결을 통해 기술한다.

상세 분석

논문은 먼저 Hölle·Šostak이 제시한 완전 준단일 격자(CQML)와 Rodabaugh가 정의한 그 반대 범주를 바탕으로, SET과 C의 곱 범주 SET×C를 “ground” 범주로 채택한다. 여기서 C는 LOQML(완전 준단일 격자)의 부분범주이며, 각 객체는 집합 X와 격자 L∈C의 쌍 (X,L)으로 표현된다. 사상은 집합 사상 f와 격자 사상 Φ의 쌍 (f,Φ)이며, 구성은 각각 SET과 C에서의 합성·항등을 그대로 사용한다. 전진·후진 파워셋 연산자는 (f,Φ)→와 (f,Φ)← 로 정의되며, 이는 Galois 연결을 이루는 adjoint pair 로서 필터와 위상 구조 전이의 핵심 도구가 된다.

다음으로 저자는 C‑FFIL 범주를 정의한다. 객체는 (X,L,ℱ) 형태의 삼중항으로, ℱ: L^X → L 은 퍼지 필터 연산자이며 다음 네 가지 공리를 만족한다: (i) 상수 1_X 에 대해 ℱ(1_X)=⊤, (ii) 상수 0_X 에 대해 ℱ(0_X)=⊥, (iii) 단조성 f≤g ⇒ ℱ(f)≤ℱ(g), (iv) 곱연산에 대한 약한 보존 ℱ(f)⊗ℱ(g) ≤ ℱ(f⊗g). 사상 (f,φ): (X,L,ℱ)→(Y,M,Ω) 은 ground 사상 (f,φ)∈SET×C와 연산자 보존 조건 φ^op∘Ω ≤ ℱ∘(f,φ)← 로 정의된다. 이 조건은 φ^op와 ℱ 사이의 Galois 연결을 이용해 동치인 φ^op∘Ω ≤ ℱ∘(f,φ)← ⇔ Ω ≤ φ_*∘ℱ∘(f,φ)← 로 변형된다. 따라서 연속성은 격자 사상 φ가 보존하는 구조와 집합 사상 f가 끌어오는 전이 연산자 사이의 adjoint 관계에 의해 완전히 기술된다.

C‑FFIL이 SET×C 위의 구체 범주임을 증명하면서, 망각함수 V가 충실함을 보이고, 합성 폐쇄성을 확인한다. 특히, 두 사상 (f,φ)와 (g,ψ)의 합성은 (g∘f, ψ∘φ) 로 정의되며, 연속성 조건이 보존됨을 상세히 검증한다. 또한, 필터들의 집합적 상한(∨) 연산이 다시 필터가 됨을 보이며, 이는 Zorn의 보조정리를 이용해 초필터(ultrafilter)의 존재를 보장한다. 초필터는 ℱ(f)=ℱ(f→0_X)→⊥ 형태의 등가조건을 만족함을 증명하고, 사상에 대한 초필터 전이 규칙 φ→U 가 초필터임을 제시한다.

초기와 최종 필터에 대한 두 주요 정리도 제시된다. 초기 필터는 (f,Φ) 가 전사인 경우 Φ^op∘ℱ’∘(f,Φ)→ 로 구성되며, 이는 ℱ’가 Y‑측 필터일 때 X‑측에 대한 초기 구조를 만든다. 최종 필터는 (f,Φ) 가 임의 사상일 때 ℱ_(f,Φ)=Φ^op_*∘ℱ∘(f,Φ)← 로 정의되며, 이는 ℱ가 X‑측 필터일 때 Y‑측에 대한 최종 구조를 제공한다. 최종성은 ℱ’ ≤ ℱ_(f,Φ) ⇔ (f,Φ) 가 ℱ’‑연속 사상이라는 동치관계로 서술된다.

마지막으로, 저자는 C‑FTOP 범주(가변 기반 퍼지 위상공간)를 정의하고, 객체를 (X,L,Υ) 로, 사상을 (f,Φ) 로 두며, 연속성 조건 Φ^op∘Γ ≤ Υ∘(f,Φ)← 를 채택한다. 이는 C‑FFIL과 구조적으로 동일하지만, 위상공간의 경우 Υ가 추가적인 합성공칙(∧-보존 등)을 만족한다. 두 범주 사이의 관계는 필터와 위상 연산자를 서로 변환하는 함수를 통해 구축되며, 필터는 위상공간의 폐집합 연산자를, 위상은 필터의 수축 연산자를 제공한다는 상호보완적 해석을 제시한다. 전체적으로 논문은 가변 기반 퍼지 구조를 범주론적 관점에서 일관되게 정형화하고, 초기·최종, 초필터, 위상 연계 등 다양한 고전적 개념을 일반화함으로써 향후 퍼지 이론과 응용 분야에서의 구조적 연구에 기반을 제공한다.