[논문 리뷰] Separation Axioms in Bi-soft Topological Spaces

Munazza Naz, Muhammad Shabir외 1명|arXiv (Cornell University)|2015. 08. 29.

Fuzzy and Soft Set Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 유니버설 세트에 두 개의 소프트 위상수학을 도입함으로써 소프트 위상수학의 일반화로 이중 소프트 위상공간을 제안한다. 이는 두 개의 소프트 분리 공리(T₀, T₁, T₂)를 정의하고, 이중 소프트 하우스도르프 공간에 대한 특성 정리를 증명함으로써 고전적 소프트 및 클리프트 위상수학적 분리 성질과의 관계를 규명한다. 본 연구는 또한 이 프레임워크를 러프 세트 이론에 적용하여 소프트 위상수학과 정보 시스템의 불확실성 모델링을 연결한다.

ABSTRACT

Concept of bi-soft topological spaces is introduced. Several notions of a soft topological space are generalized to study bi-soft topological spaces. Separation axioms play a vital role in study of topological spaces. These concepts have been studied in context of bi-soft topological spaces. There is a very close relationship between topology and rough set theory. An application of bi-soft topology is given in rough set theory.

연구 동기 및 목표

• 두 개의 위상수학적 구조를 도입함으로써 소프트 위상공간을 일반화하여 이중 소프트 위상공간의 개념을 도입하는 것.
• 고전적 분리 공리(T₀, T₁, T₂)를 두 개의 위상수학을 가진 소프트 환경으로 확장하여 이중 소프트 분리 공리 정의하는 것.
• 이중 소프트 Tᵢ 공간과 그에 대응하는 고전적 소프트 및 클리프트 Tᵢ 공간 간의 관계를 조사하는 것.
• 이중 소프트 하우스도르프 공간에 대한 특성 정리를 제공하는 것.
• 정보 시스템에서의 불확실성 모델링에 이중 소프트 위상공간을 적용하는 것.

제안 방법

• 저자들은 X를 유니버설 세트, E를 매개변수 집합, T₁, T₂를 X 위의 소프트 위상수학으로 하는 삼중조합 (X, T₁, T₂, E)를 이중 소프트 위상공간으로 정의한다.
• 매개변수화된 열린 집합을 사용하여 고전적 비위상공간 분리 공리의 소프트 환경으로의 확장을 통해 이중 소프트 T₀, T₁, T₂ 공리를 도입한다.
• 이중 소프트 환경에서 소프트 내부, 소프트 닫힘, 소프트 여집합 등의 소프트 세트 연산을 사용하여 소프트 열린 및 닫힌 집합을 정의하고 분석한다.
• 소프트 닫힘과 소프트 내부의 교차를 이용하여 이중 소프트 하우스도르프 공간에 대한 특성 정리를 증명한다.
• 논리적 함의와 매개변수 집합 E 위의 소프트 세트에 대한 집합론적 연산을 통해 이론적 결과를 도출한다.
• 정보 시스템이 하한 및 상한 근사화를 통해 자연스럽게 이중 소프트 위상수학을 유도하므로 러프 세트 이론에 적용을 제안한다.

실험 결과

연구 질문

• RQ1 이중 소프트 Tᵢ 공간인 (X, T₁, T₂, E)일 때, (X, T₁, E)와 (X, T₂, E)가 모두 소프트 Tᵢ 공간이 되는 조건은 무엇인가?
• RQ2 이중 소프트 Tᵢ 공간인 (X, T₁, T₂, E)일 때, 소프트 위상수학 T₁ ∨ T₂가 소프트 Tᵢ 공간이 되는 조건은 무엇인가?
• RQ3 이중 소프트 Tᵢ 공간인 (X, T₁, T₂, E)일 때, 모든 e ∈ E에 대해 매개변수화된 비위상공간 (X, T₁ₑ, T₂ₑ)가 Tᵢ 공간이 되는 조건은 무엇인가?
• RQ4 이중 소프트 Tᵢ 공간인 (X, T₁, T₂, E)일 때, 모든 비어있지 않은 이중 소프트 부분공간 (Y, T₁Y, T₂Y, E)가 Tᵢ 공간이 되는 조건은 무엇인가?
• RQ5 이중 소프트 위상공간은 러프 세트 이론에서 정보 시스템의 불확실성 모델링에 어떻게 적용될 수 있는가?

주요 결과

• 논문은 이중 소프트 위상공간 (X, T₁, T₂, E)가 이중 소프트 T₂(하우스도르프)임을 다음 조건과 동치임을 증명한다: 임의의 서로 다른 두 점 x, y ∈ X에 대해, x ∈ U, y ∈ V, 그리고 U ∩ V = ∅ 를 만족하는 소프트 열린 집합 U, V 가 존재한다.
• 이중 소프트 Tᵢ 공간인 (X, T₁, T₂, E)일 경우, (X, T₁, E)와 (X, T₂, E) 모두 소프트 Tᵢ 공간이지만, 그 역은 반드시 성립하지는 않는다.
• 소프트 닫힘의 합집합은 항등식 (F₁ ∪ F₂)̅ = F̅₁ ∪ F̅₂ 를 만족하고, 소프트 닫힘의 교집합은 (F₁ ∩ F₂)̅ ⊆ F̅₁ ∩ F̅₂ 를 만족한다.
• 소프트 내부 및 닫힘 연산자는 상호 이중성 원리를 만족한다: (F̅)ᶜ = (Fᶜ)̅ 와 (F̄)ᶜ = (Fᶜ)̄ 로서 소프트 세트 연산의 일관성을 보장한다.
• 소프트 내부는 소프트 내부의 소프트 내부와 같음을 증명한다: (F̄)̄ = F̄, 마찬가지로 닫힘에 대해서도 동일한 성질이 성립한다.
• 정보 시스템이 하한 및 상한 근사화를 통해 자연스럽게 이중 소프트 위상수학을 유도하므로, 러프 세트 이론에 대한 적용이 입증되었으며, 이는 소프트 위상수학과 불확실성 모델링을 연결한다.