L 퍼지 위상공간에서 약한 반열림 및 반폐함수 연구

초록

본 논문은 L‑퍼지 위상공간에서 새로운 함수 클래스인 약한 반열림(Weakly Semi‑Preopen) 및 약한 반폐(Semi‑Preclosed) 함수를 정의하고, 이들의 기본 성질, 여러 기존 함수 클래스와의 관계, 그리고 대표적인 특징화 정리를 제시한다.

상세 분석

논문은 먼저 L‑퍼지 집합과 L‑퍼지 위상공간의 기본 개념을 재정리한다. 여기서 L은 완전 잔여 격자(complete residuated lattice)이며, 퍼지 집합의 멤버십 값은 L의 원소로 표현된다. L‑퍼지 위상은 멤버십 함수 τ: L^X → L이 특정 연산(교차, 합집합, 임계값 등)에 대해 닫힌 형태를 만족하도록 정의된다. 이러한 배경 위에 기존의 퍼지 개념인 퍼지 개방집합, 퍼지 폐집합, 퍼지 반열림집합, 퍼지 전열림집합 등이 소개된다.

새롭게 제시된 ‘약한 반열림 함수’는 전통적인 반열림 함수와는 달리, 함수 f: (X, τ_X) → (Y, τ_Y) 가 임의의 퍼지 개방집합 U⊆X에 대해 f(U)의 상(이미지)이 τ_Y‑전열림 집합이 되는 대신, f⁻¹(V)가 τ_X‑반열림 집합이 되는 조건을 완화한다. 구체적으로, 정의 3.1에서는 f가 ‘약한 반열림’이라 함은 모든 a∈L와 모든 퍼지 집합 A⊆X에 대해
  a ∧ τ_X(A) ≤ τ_Y(f(A))
가 성립하고, 동시에 f⁻¹(τ_Y‑전열림 집합) 가 τ_X‑반열림 집합에 포함되는 것을 요구한다. 이와 대조적으로 ‘약한 반폐 함수’는 이미지가 퍼지 폐집합이 되도록 하는 대신, 원상이 퍼지 반폐 집합에 포함되는 조건을 완화한다(정의 3.2).

논문은 이러한 정의가 기존의 퍼지 연속함수, 퍼지 개방함수, 퍼지 폐함수, 퍼지 반열림·전열림·반폐·전폐 함수와 어떻게 계층적으로 연결되는지를 체계적으로 정리한다. 예를 들어 정리 4.5에서는
  연속 ⇒ 약한 반열림 ⇒ 반열림,
  전열림 ⇒ 약한 반열림,
  전폐 ⇒ 약한 반폐 ⇒ 반폐
와 같은 함의 관계를 증명한다. 또한 정리 4.8에서는 약한 반열림 함수와 약한 반폐 함수가 동시에 만족될 경우, 함수가 퍼지 개방·폐함수인 충분조건을 제공한다.

특징화 측면에서 논문은 두 가지 주요 동등조건을 제시한다. 첫 번째는 ‘f가 약한 반열림 함수’ ⇔ ‘모든 퍼지 집합 A에 대해 f⁻¹(Cl_Y(f(A))) ≤ Cl_X(A)’ 형태의 불등식이 성립한다는 것(정리 5.1). 두 번째는 ‘f가 약한 반폐 함수’ ⇔ ‘모든 퍼지 집합 B에 대해 Int_X(f⁻¹(B)) ≥ f⁻¹(Int_Y(B))’가 성립한다는 것(정리 5.3). 이러한 동등조건은 기존의 퍼지 연속성 조건과 유사하지만, 멤버십 값 a∈L에 대한 조절을 통해 보다 일반적인 상황을 포괄한다.

또한 논문은 몇 가지 예시와 반례를 통해 정의의 비자명성을 강조한다. 예시 6.2에서는 L을