가변 기반 퍼지 내부 연산자 이론

초록

본 논문은 전통적인 위상공간에서 폐쇄·내부 연산자가 동등하게 작용하지만, 일반 범주에서는 그렇지 않다는 점에 착안하여, 퍼지 집합 이론 내에서 가변 기반(fixed‑basis) 퍼지 내부 연산자를 일반화한다. 비보완 격자와 범주론적 도구를 활용해 L‑위상 구조를 기술하고, 새로운 위상 범주들을 구성함으로써 기존 연구들을 포괄하는 통합 프레임워크를 제시한다.

상세 분석

논문은 먼저 고전적인 위상공간에서 폐쇄 연산자와 내부 연산자가 서로의 보완 관계에 의해 동등한 위상 구조를 정의한다는 사실을 상기한다. 그러나 범주론적 관점에서 보면, 특히 L‑값 퍼지 집합을 다루는 경우, 격자 L이 비보완(non‑complemented)일 때 이러한 대칭성이 깨진다. 저자는 이 문제를 해결하기 위해 “가변 기반(variable‑basis)”이라는 개념을 도입한다. 여기서 ‘기반’이란 퍼지 집합에 적용되는 격자 L을 의미하며, 고정된 L이 아니라 상황에 따라 다른 격자를 선택할 수 있게 함으로써 보다 유연한 내부 연산자 정의가 가능해진다.

수학적으로는, 각 집합 X에 대해 L‑값 함수 𝑓:X→L을 객체로 보고, 내부 연산자 I는 함수 I_X: L^X → L^X 를 만족시킨다. I는 다음 세 가지 공리를 만족한다: (i) 확대성(I_X(f) ≥ f), (ii) 단조성( f ≤ g ⇒ I_X(f) ≤ I_X(g) ), (iii) 정규성(I_X(⊤)=⊤). 저자는 이러한 공리를 기존의 퍼지 내부 연산자 정의와 비교하면서, 가변 기반 설정에서는 격자 L이 변함에 따라 I_X의 정의역·공역이 달라지는 점을 강조한다.

범주론적 구조를 구축하기 위해, 저자는 객체를 (X, L, I_X) 형태의 삼중항으로, 사상은 함수 φ:X→Y와 격자 사상 ψ:L→M의 쌍 (φ,ψ) 로 정의한다. 이때 사상은 내부 연산자와의 호환성을 보장하도록 ψ∘I_X = I_Y∘ψ∘φ_* 형태의 교환법칙을 만족한다. 이러한 정의는 ‘내부 연산자 위상 범주’를 형성하며, 이는 전통적인 위상 범주 Top과 L‑위상 범주 L‑Top 사이의 중간 범주 역할을 한다.

또한 저자는 기존 연구들—Höhle와 Sostak의 퍼지 내부 연산자, Diker·Dost·Ugur의 텍스처 공간, Shi의 L‑퍼지 이웃 체계—을 특수한 경우로서 이 새로운 프레임워크 안에 포함시킨다. 특히 비보완 격자에서의 폐쇄 연산자와 내부 연산자의 비대칭성을 보정하기 위해, ‘가변 기반’ 접근법이 제공하는 자유도가 핵심적인 역할을 한다는 점을 강조한다.

마지막으로, 저자는 이론적 결과를 토대로 두 개의 새로운 위상 범주를 제시한다. 첫 번째는 ‘가변 기반 퍼지 내부 연산자 범주’ (VIF), 두 번째는 ‘가변 기반 폐쇄 연산자 범주’ (VCF) 로, 각각 내부·폐쇄 연산자를 보존하는 사상들로 구성된다. 이 두 범주는 서로 이중대수적(diadjoint) 관계를 가지며, 기존의 Top과 L‑Top 사이에 존재하는 사상들의 완전성을 확장한다. 이러한 결과는 퍼지 위상학의 범주론적 기반을 한층 강화하고, 비보완 격자 위에서의 위상 구조 연구에 새로운 도구를 제공한다.