What is Connectivity?

제목: 연결성(Connectivity)이란 무엇인가?
저자: 장 F. 뒤 플레시스 (Jean F. Du Plessis), 주라브 야넬리제 (Zurab Janelidze), 베르나르두스 A. 웨셀스 (Bernardus A. Wessels)
출처: MIT-CTP/5835 (arXiv:2501.19226v2)

문제 제기

본 논문은 점-집합(point-set) 맥락과 점-무관(point-free) 맥락 모두를 포괄하는 통일된 일반적 연결성 이론의 필요성에 대해 다룬다. 점-무관 위상수학은 위상 공간을 프레임 (완전 격자) 으로 일반화하지만, 기존 연결성의 일반 이론들은 대부분 점-집합 기반이며, 연결된 객체들을 주어진 집합의 부분집합으로 취급한다. 비록 R. 뵈르거 (R. Börger) 가 연결성의 범주론적 이론을 제안했고 J. 세라 (J. Serra) 가 디지털 이미징에 영감을 받아 일반 격자를 사용한 점-무관 접근법을 도입했음에도 불구하고, 그래프 연결성, 경로 연결성, $k$-연결성 등 다양한 연결성 개념들을 단일 격자-이론적 구조 내에서 체계적으로 비교하고 분류하는 포괄적인 프레임워크는 부재했다. 저자들은 뵈르거의 광범위한 범주론적 도구에 의존하지 않고 이를 부분순서집합 (posets) 에 특화시킨 연결성을 위한 기초적 분류 체계를 수립하는 것을 목표로 한다.

방법론

저자들은 **연결성 격자 (connectivity lattice)**라는 개념에 기반한 이론을 개발하며, 이는 $L$이 완전 격자이고 $\mathcal{C} \subseteq L$이 "연결된 원소들"의 부분집합인 쌍 $(L, \mathcal{C})$로 정의된다. 방법론은 다음과 같은 단계를 거쳐 진행된다:

1. 공리적 정의: 저자들은 $(L, \mathcal{C})$에 단일 공리를 부과한다: $x \in L$인 원소 아래에 있는 모든 연결된 원소는 $x$ 아래에 있는 유일한 극대 연결 원소 아래에 있어야 한다. 이는 모든 원소가 "연결 성분"들로 분해될 수 있음을 보장한다.
2. 갈루아 연결 (Galois Connections): 그들은 격자 $L$과 $\mathcal{C}$의 "완전히 메일-분리된 (totally mail-disconnected)" 부분집합들의 부분순서집합 $D(\mathcal{C})$ 사이의 갈루아 연결 (이를 **연결성 쌍대 (connectivity adjunction)**라 명명함) 을 통해 구조를 분석한다. 왼쪽 수반은 집합을 그 합 (join) 으로 매핑하고, 오른쪽 수반은 원소를 그 연결 성분들의 집합으로 매핑한다.
3. 체인메일 (Chainmails) 의 도입: 저자들은 모든 "메일-연결된 (mail-connected)" 부분집합이 합을 갖는 부분순서집합인 체인메일 개념을 도입한다. "메일"은 공통 하한을 갖는 비어 있지 않은 원소들의 집합이며, 집합이 메일-연결되었다는 것은 임의의 두 원소가 겹치는 메일들의 시퀀스로 연결될 수 있음을 의미한다.
4. 분류학적 분류: 연결성 쌍대성의 속성 (예: 동형사상인지 여부, 바닥 원소와 같은 특정 원소를 보존하는지 여부, 또는 특정 폐포 조건을 만족하는지 여부) 을 변화시킴으로써, 저자들은 다양한 유형의 연결성 격자 (예: 커널, 전형적, 세라, 분리된, 절대적) 를 분류한다.

주요 기여 및 결과

1. 체인메일의 개념과 성질 (C)
본 논문은 모든 메일-연결된 부분집합이 합을 갖는 부분순서집합을 체인메일로 정의한다. 이는 모든 원소 $x$에 대해 상집합 $x^\uparrow$가 완전 격자가 된다는 조건과 동등함이 증명된다. 저자들은 임의의 연결성 격자에서 연결된 원소들의 부분순서집합이 체인메일을 이룬다는 것을 증명한다.

2. 체인메일을 통한 연결성의 특징화
핵심적인 결과는 완전 격자 $L$의 부분집합 $\mathcal{C}$가 연결성이 되기 위한 필요충분조건이 $\mathcal{C}$가 $L$의 부분체인메일 (subchainmail) (메일-연결된 부분집합들의 합에 대해 닫혀 있음) 이라는 것이다. 이는 제목의 질문에 대한 간결한 답변을 제공한다: "연결성이란 부분집합이 부분체인메일이 되는 성질이다."

3. 연결성 쌍대성과 분류
본 논문은 $L$과 $D(\mathcal{C})$ 사이의 특정 갈루아 연결의 존재가 연결성 격자의 특징적 성질임을 확립한다. 이 쌍대성의 행동에 기반하여 저자들은 다음과 같은 분류 체계를 정의한다:

• 커널 연결성 (Kernel Connectivity): 바닥 원소 $0$이$\mathcal{C}$에 속한다.
• 전형적 연결성 (Typical Connectivity): $0 \notin \mathcal{C}$이지만, 원소들이 성분들로 분해된다.
• 세라 연결성 (Serra Connectivity): 모든 원소가 그 성분들의 합인 전형적 연결성 (조건 CL2 를 만족함).
• 분리된 연결성 (Separated Connectivity): 오른쪽 수반이 왼쪽 수반의 왼쪽 역함수이다.
• 절대적 연결성 (Absolute Connectivity): 연결성 쌍대성이 동형사상이다.

4. 체인메일과의 대응
본 논문은 절대적 연결성 격자의 동형사상 클래스와 체인메일의 동형사상 클래스 사이의 일대일 대응을 증명한다.

• 매핑 $(L, \mathcal{C}) \mapsto \mathcal{C}$는 절대적 연결성 격자를 그 연결된 원소들의 체인메일로 보낸다.
• 역 매핑은 체인메일 $\Gamma$를 그 외부 $D(\Gamma)$ (완전히 메일-분리된 집합들의 격자) 로 보내며, 이는 절대적 연결성 격자를 이룬다.
  이 결과는 체인메일이 "연결된 객체들의 보편적 부분순서집합" 역할을 함을 시사한다.

5. 절대적 연결성과 프레임
저자들은 프레임 (분배 격자) 의 맥락에서 네 가지 동등한 조건 (E1–E4) 을 통해 절대적으로 연결된 원소를 정의한다. 그들은 프레임 내에서 절대적으로 연결된 원소들의 집합이 일반적인 위상적 의미의 연결된 원소들의 집합과 일치함을 보인다. 결과적으로, 프레임이 국소 연결적일 필요충분조건은 그것이 절대적 연결성 격자라는 것이다.

6. 예시 및 범위
이 이론은 표준 개념들을 성공적으로 통합한다:

• 그래프와 초그래프: 연결된 부분집합들의 부분순서집합은 체인메일을 이룬다.
• 위상수학: 위상 공간에서의 연결된 집합과 경로 연결된 집합은 체인메일을 이룬다.
• 디지털 이미징: 이 프레임워크는 일반 격자를 통해 이진법이 아닌 이미지를 수용하여 세라의 작업을 확장한다.
• 반례: 본 논문은 특정 체인메일에서 유도된 비분배 격자 (예: 특정 체인메일에서 유도된 일부 비분배 격자) 와 같이 프레임이 아닌 연결성 격자의 예시를 제공하며, 이 이론이 프레임 내 국소 연결성보다 엄격하게 더 일반적임을 보여준다.

의의 및 주장

본 논문은 범주론의 전체 도구를 요구하지 않고 점-집합 및 점-무관 접근법 사이의 연결성을 위한 기초적 분류 체계를 제공한다고 주장한다. "주변" 격자와 "연결된" 부분집합의 구조적 속성을 격리함으로써, 저자들은 다음과 같은 것을 입증한다:

• 연결성은 갈루아 연결 (연결성 쌍대성) 의 존재를 통해 엄밀하게 정의될 수 있다.
• 체인메일은 근본적인 구성 요소이다; 임의의 연결성 격자는 본질적으로 완전 격자 내로의 체인메일의 임베딩이다.
• 절대적 연결성은 격자의 구조가 완전히 그 연결 성분들에 의해 결정되는 "보편적" 형태의 연결성을 나타낸다.

저자들은 명시적으로 그들의 작업이 범주론적 이론을 부분순서집합에 특화시킨 것이며, 그들의 결과를 전체 범주론적 맥락으로 확장하는 것은 향후 연구에 맡겨졌다고 밝힌다. 그들은 위상수학이나 컴퓨터 과학의 미해결 문제를 직접 해결한다고 주장하지 않으며, 대신 다양한 수학 영역에서 이러한 문제들을 분석하는 데 필요한 구조적 언어와 분류 체계를 제공한다고 주장한다. 본 논문은 연결성 격자의 분류 체계 자체가 완전 격자를 형성하여 서로 다른 연결성 개념들을 비교할 수 있는 구조화된 방법을 제공한다는 점을 지적하며 결론을 맺는다.