시리얼·전이 관계 기반 정규집합의 반모듈라 격자와 매트로이드 폐집합 구조 연구

초록

본 논문은 시리얼(serial)하고 전이(transitive)인 관계 위에 정의된 일반화된 러프셋의 정규집합이 반모듈라 격자를 이루는 것을 증명하고, 이 격자의 높이 함수를 이용해 매트로이드를 구성한다. 이후 매트로이드의 폐집합 격자를 해당 격자와 연결시키는 방법을 제시함으로써, 격자 이론이 러프셋 분석에 새로운 시각을 제공함을 보인다.

상세 요약

논문은 먼저 우주 U 위에 정의된 시리얼·전이 관계 R 에 대해 일반화된 러프셋 이론을 적용한다. R‑정규집합은 R‑상한과 R‑하한이 일치하는 부분집합으로, 기존 러프셋에서의 근사집합과 달리 완전한 동치 클래스를 형성한다. 저자들은 이러한 정규집합 전체 𝔖(R) 가 포함 관계에 따라 격자를 이룬다는 사실을 기존 연구(예: Pawlak, 1982)와 대비해 엄밀히 증명한다. 특히, 𝔖(R) 가 반모듈라(semi‑modular) 격자임을 보이기 위해, 격자 원소들의 높이 함수 h (즉, 최소 원소 ∅ 부터 해당 원소까지의 사슬 길이)를 정의하고, 두 원소 X, Y 에 대해 h(X) + h(Y) ≥ h(X∧Y) + h(X∨Y) 가 성립함을 보인다. 이는 반모듈라 격자의 핵심 특성으로, 이후 매트로이드 구성에 직접 활용된다.

다음 단계에서는 반모듈라 격자의 높이 함수를 기반으로 독립 집합 𝕀 을 정의한다. 구체적으로, I⊆U 가 독립이라 함은 |I∩X| ≤ h(X) 을 모든 X∈𝔖(R) 에 대해 만족하는 경우이다. 이 정의는 전통적인 매트로이드의 독립성 공리(비공허성, 하위집합 폐쇄, 교환 공리)를 모두 만족함을 저자는 정리와 증명을 통해 확인한다. 따라서 (U, 𝕀) 는 실제 매트로이드가 된다.

매트로이드가 구축된 뒤, 저자들은 매트로이드의 폐집합(클로즈드 셋) 격자 ℒ(M) 과 원래의 정규집합 격자 𝔖(R)  사이의 구조적 대응 관계를 탐구한다. 핵심 결과는 다음과 같다. (1) 𝔖(R) 의 모든 원소는 매트로이드의 폐집합이 되며, 특히 𝔖(R) 는 ℒ(M) 의 부분 격자를 형성한다. (2) 반대로, ℒ(M) 의 임의의 폐집합 C 는 𝔖(R) 의 원소와 동일하거나, 𝔖(R) 의 원소들의 합집합·교집합을 통해 생성될 수 있다. 이를 통해 폐집합 격자를 𝔖(R) 의 사슬과 높이 정보를 이용해 효율적으로 열거하는 알고리즘적 절차를 제시한다.

마지막으로, 저자들은 이론적 결과를 간단한 예시(예: 4개의 원소와 특정 시리얼·전이 관계)로 시연하고, 매트로이드 이론이 제공하는 순환성·교환성 특성이 러프셋 기반 데이터 전처리, 특히 특성 선택과 군집화에 어떻게 활용될 수 있는지를 논의한다. 전체적으로, 격자와 매트로이드 사이의 상호 변환 메커니즘을 명확히 함으로써 두 이론 영역을 통합하는 새로운 연구 틀을 제시한다.