소프트 집합 연산의 재정의와 고전 집합 법칙의 완전 보존

초록

본 논문은 기존 소프트 집합 연산이 고전 집합론의 기본 법칙을 위배하는 문제를 지적하고, 교집합·보충집합·차집합을 새롭게 정의한다. 새 연산과 기존의 합집합을 조합한 연산 체계가 교환법, 결합법, 드모르간 법칙 등 모든 기본 성질을 만족함을 증명한다. 이를 통해 소프트 집합이 불확실성 모델링 도구로서 보다 일관된 수학적 기반을 갖게 된다.

상세 분석

소프트 집합 이론은 파라미터 집합 E와 매핑 F: E→𝒫(U) (여기서 U는 기본 원소 집합)으로 정의되는 𝔽 = {(e,F(e)) | e∈E} 형태의 구조를 갖는다. 기존 연구에서는 두 소프트 집합 𝔽₁, 𝔽₂ 에 대해 합집합, 교집합, 차집합, 보충집합을 정의했으나, 이들 연산이 고전 집합론에서 기대되는 교환법·결합법·분배법·드모르간 법칙 등을 모두 만족하지 못했다. 특히 교집합을 “공통 파라미터에 대해 교집합을 취한다”는 방식은 파라미터가 겹치지 않을 경우 결과가 공집합이 되는 등 비직관적인 현상을 초래한다.

논문은 이러한 결함을 해소하기 위해 공통 파라미터 집합을 전체 파라미터 집합의 교집합으로 제한하지 않고, 모든 파라미터에 대해 정의역을 확장하는 방식을 도입한다. 구체적으로, 두 소프트 집합 𝔽₁=(E₁,F₁), 𝔽₂=(E₂,F₂) 에 대해 새로운 교집합 𝔽₁∩𝔽₂ 은 파라미터 집합 E₁∪E₂ 위에 정의되며, 각 파라미터 e에 대해

e∈E₁∩E₂이면 (F₁∩F₂)(e)=F₁(e)∩F₂(e)
e∈E₁\E₂이면 (F₁∩F₂)(e)=F₁(e)
e∈E₂\E₁이면 (F₁∩F₂)(e)=F₂(e)
으로 설정한다. 이렇게 하면 파라미터가 겹치지 않아도 원소 정보가 손실되지 않는다.

보충집합은 전체 파라미터 E (논문에서는 보통 E₁∪E₂)와 전체 원소 집합 U 를 기준으로 정의한다. 즉, 𝔽ᶜ = (E, U\F(e)) 형태이며, 이는 고전 집합의 보충과 동일한 의미를 갖는다. 차집합은 보충집합과 교집합을 결합한 형태로, 𝔽₁\𝔽₂ = 𝔽₁∩(𝔽₂)ᶜ 로 정의한다.

이러한 정의를 바탕으로 논문은 다음과 같은 주요 정리를 증명한다.

교환법: 𝔽₁∪𝔽₂ = 𝔽₂∪𝔽₁, 𝔽₁∩𝔽₂ = 𝔽₂∩𝔽₁.
결합법: (𝔽₁∪𝔽₂)∪𝔽₃ = 𝔽₁∪(𝔽₂∪𝔽₃), (𝔽₁∩𝔽₂)∩𝔽₃ = 𝔽₁∩(𝔽₂∩𝔽₃).
분배법: 𝔽₁∩(𝔽₂∪𝔽₃) = (𝔽₁∩𝔽₂)∪(𝔽₁∩𝔽₃), 𝔽₁∪(𝔽₂∩𝔽₃) = (𝔽₁∪𝔽₂)∩(𝔽₁∪𝔽₃).
드모르간 법칙: (𝔽₁∪𝔽₂)ᶜ = 𝔽₁ᶜ∩𝔽₂ᶜ, (𝔽₁∩𝔽₂)ᶜ = 𝔽₁ᶜ∪𝔽₂ᶜ.
멱집합 구조: 전체 파라미터 E와 전체 원소 집합 U 에 대해 정의된 모든 소프트 집합들의 집합은 Boolean 대수와 동형인 구조를 형성한다.

이러한 결과는 소프트 집합 연산 체계가 고전 집합론과 완전하게 일치함을 의미한다. 따라서 기존에 소프트 집합을 이용한 의사결정, 데이터 마이닝, 위험 분석 등에서 발생하던 연산상의 모순을 해소하고, 수학적 엄밀성을 확보할 수 있다. 또한, 파라미터와 원소의 독립적인 확장이 가능하므로, 실제 응용에서 파라미터가 동적으로 추가·삭제되는 상황에서도 일관된 연산이 보장된다.