폐포 연산자

순서론에서 폐포 연산자(閉包演算子, ) 또는 폐포 연산(閉包演算, )은 위상수학의 폐포와 유사한 성질들을 만족시키는 함수이다. 위상수학적 폐포와 달리 유한 합집합을 보존할 필요가 없다. 완비 격자를 판단하는 데 쓰일 수 있다. 보편 대수학과 계산 복잡도 이론 등에서 응용된다.

 정의 
 폐포 연산자 
부분 순서 집합  위의 폐포 연산자는 다음 세 조건을 만족시키는 함수 이다. 임의의 에 대하여,
 (확장성) 
 (증가성) 
 (멱등성) 
범주론적으로, 폐포 연산자는 (범주로 본) 부분 순서 집합 위의 모나드이다. 폐포 연산자 가 주어진 부분 순서 집합 의 닫힌 원소()는 인 원소 이다. 이는  꼴의 원소와 동치이다. 닫힌 원소들의 집합은 (의 순서를 물려받았을 때) 부분 순서 집합 을 이룬다. 만약 가 어떤 집합 의 부분 집합들을 모은 멱집합 이라면, 는 단순히  위의 폐포 연산자라고 하고, 닫힌 원소는 닫힌집합이라고 부른다.

 대수적 폐포 연산자 
대수적 격자  위의 폐포 연산자 가 다음 조건을 만족시키면, 대수적 폐포 연산자(代數的閉包演算子, )라고 한다.
 임의의 에 대하여, 
여기서 는 가 의 콤팩트 원소임을 나타낸다. 예를 들어, 가 멱집합인 경우, 콤팩트 원소는 의 유한 부분 집합이며, 대수적 폐포 연산자 조건은 임의의 집합의 폐포가 유한 부분 집합들의 폐포의 합집합임을 나타낸다.

 성질 
 순서론적 성질 
폐포 연산자가 주어진 격자의 닫힌 원소들의 부분 순서 집합은 격자를 이룬다. 폐포 연산자가 주어진 완비 격자의 닫힌 원소들의 부분 순서 집합은 완비 격자를 이룬다. 대수적 폐포 연산자가 주어진 대수적 격자의 닫힌 원소들의 부분 순서 집합은 대수적 격자를 이룬다. (닫힌 원소 격자의 콤팩트 원소는 정확히 원래 격자의 콤팩트 원소의 폐포이다.) 반대로, 모든 완비 격자는 폐포 연산자가 주어진 멱집합의 닫힌 원소 격자와 동형이며, 모든 대수적 격자는 대수적 폐포 연산자가 주어진 멱집합의 닫힌 원소 격자와 동형이다.

격자  및 폐포 연산자 에 대하여, 이 다음과 같은 이음·만남 연산에 대하여 격자를 이룸을 쉽게 보일 수 있다.

마찬가지로, 완비 격자  및 폐포 연산자 에 대하여, 은 다음 상한·하한에 대하여 완비 격자를 이룬다.

대수적 격자  및 대수적 폐포 연산자 가 주어졌다고 하자. 그렇다면, 은 완비 격자이다. 이 의 콤팩트 원소이며, 라고 하자. 대수적 격자의 정의 및 의 콤팩트성에 따라,

라고 하자. 다시 의 콤팩트성에 따라

인 를 취할 수 있다. 이 경우

이다. 이에 따라, 는 의 콤팩트 원소이다. 반대로, 이 의 콤팩트 원소라고 하자. 그렇다면,

이므로,

이다. 따라서

이며, 은 (유한 개의 콤팩트 원소의 이음이므로) 콤팩트 원소이다. 이에 따라, 의 콤팩트 원소는 정확히 의 콤팩트 원소 에 대하여  꼴로 나타낼 수 있는 원소이다. 대수적 폐포 연산자의 정의에 따라, 의 모든 원소는 의 콤팩트 원소들의 에서의 이음이며, 특히 이는 에서의 이음이다. 즉, 은 대수적 격자이다.

이제, 임의의 완비 격자 가 주어졌다고 하자. 다음 함수를 정의하자.

그렇다면, 는 (의 멱집합) 위의 폐포 연산자이며, 과  사이에 자연스러운 동형

이 존재한다.

마찬가지로, 임의의 대수적 격자 에 대하여,

은 의 콤팩트 원소의 집합  위의 대수적 폐포 연산자이며,

는 과  사이의 동형이다.

닫힌 원소들이 대수적 격자를 이루는, 대수적 격자 위의 폐포 연산자는 대수적 폐포 연산자일 필요가 없다.

무한 집합 의 멱집합  위에 다음과 같은 함수를 정의하자.
 만약 가 의 진부분 집합이라면, 
 만약 이거나 라면, 
이는  위의 폐포 연산자이다. 그 닫힌집합은 의 진부분 집합과 로 이루어지며, 이들은 (의 멱집합과 동형인) 대수적 격자를 이룬다. 그러나 이며, 인 의 유한 부분 집합 은 존재하지 않는다. (이는 가 무한 집합이므로, 의 모든 유한 부분 집합은 진부분 집합이기 때문이다.) 따라서 는 대수적 폐포 연산자가 아니다.

완비 격자 위의 폐포 연산자들의 (점별 순서에 의한) 부분 순서 집합은 완비 격자를 이룬다. 대수적 격자 위의 대수적 폐포 연산자들의 (점별 순서에 의한) 부분 순서 집합은 대수적 격자를 이룬다. 이는 폐포 연산자 격자의 부분 격자이지만, 부분 완비 격자가 아닐 수 있다.

 닫힌 원소 집합일 조건 
집합 의 부분 집합들의 집합 에 대하여, 다음 두 조건이 서로 동치이다.
 는 어떤 폐포 연산자 에 대한 닫힌 원소들의 집합이다.
 (임의 교집합에 대한 닫힘) 임의의 에 대하여, 

집합 의 부분 집합들의 집합 에 대하여, 다음 두 조건이 서로 동치이다.
 는 어떤 대수적 폐포 연산자 에 대한 닫힌 원소들의 집합이다.
 다음 두 조건을 만족시킨다.
 (임의 교집합에 대한 닫힘) 임의의 에 대하여, 
 (사슬의 합집합에 대한 닫힘) 임의의 사슬 에 대하여, 

 타르스키 여분이 없는 기저 정리 
집합  위의 폐포 연산자  및 음이 아닌 정수 이 주어졌다고 하자. 다음과 같은 함수 를 정의하자.

이를 사용하여, 일련의 함수 들을 다음과 같이 재귀적으로 정의할 수 있다.
 따름 순서수 에 대하여, 
 극한 순서수 에 대하여, 
만약 라면, 가 계수 의 폐포 연산자()라고 한다. (사실, 임의의 폐포 연산자 에 대하여, 는 계수 의 폐포 연산자이며, 점별 순서를 부여하였을 때 이는 를 만족하는 것들 가운데 최대이다.)

폐포 연산자 가 주어진 집합 의 극소 생성 집합()은 다음 두 조건을 만족시키는 부분 집합 이다.

 임의의 진부분 집합 에 대하여, 

다음이 주어졌다고 하자.
 집합 
 음이 아닌 정수 
 계수 의 폐포 연산자 
 음이 아닌 정수 . 또한,
 크기 의 극소 생성 집합이 존재한다.
 크기 의 극소 생성 집합 이 존재하지 않는다.
타르스키 여분이 없는 기저 정리()에 따르면, 이다. 특히, 계수 3의 폐포 연산자의 경우, 극소 생성 집합들의 크기는 연속된 정수들로 이루어진다.

크기 의 극소 생성 집합 를 취하자. 임의의 유한 극소 생성 집합 에 대하여, 가 인 최소의 음이 아닌 정수라고 하자. 그렇다면, 의 극소성에 따라 이거나 이다. 이제, 다음 조건들을 만족시키는 를 고르자.
 는 극소 생성 집합이다.

 크기  이하의 극소 생성 집합 가운데, 가 최소이다.
  값이 최소인, 크기  이하의 극소 생성 집합 가운데, 가 최소이다.
또한, 라고 하자. 이므로, , 인 가 존재한다. 따라서

이다. 가 유한 집합이므로, 극소 생성 집합 을 취할 수 있다.

이므로 이다. 또한, 이므로,

이다. 의 선택에 따라 이며, 다시 와 에 대한 가정에 따라

이다.

 예 
(범주로 본) 두 부분 순서 집합 ,  사이의 수반 함자의 쌍

이 주어졌다고 하자. (순서론에서 이는 갈루아 연결이라고 한다.) 그렇다면,

는 각각 와  위의 폐포 연산자를 이룬다.

폐포 연산자의 예로는 다음이 있다.
 부분 순서 집합   의 콤팩트 원소  의 대수적 격자 여부  닫힌 원소들의 집합   의 콤팩트 원소  의 대수적 격자 여부  폐포 연산자   대수적 폐포 연산자 여부 위상 공간 의 멱집합   의 유한 부분 집합  참  위상수학적 닫힌집합의 격자  유한 집합의 폐포  거짓일 수 있음  위상수학적 폐포  거짓일 수 있음 가환환 의 아이디얼 격자  유한 생성 아이디얼  반소 아이디얼 격자  주 아이디얼의 소근기  참  소근기  참 부호수 의 대수 구조 의 멱집합   의 유한 부분 집합  부분 대수 격자   유한 생성 부분 대수  참    참 부호수 의 대수 구조  위의 이항 관계의 집합   유한 이항 관계  합동 관계 격자   유한 생성 합동 관계  참    참
여기서,
 부호수 의 대수 구조 의 부분 집합 에 대하여, 
 부호수 의 대수 구조  위의 이항 관계 에 대하여, 
임의의 군의 부분군을 생성하는 함수는 계수 3의 폐포 연산자이다. 타르스키 여분이 없는 기저 정리에 따라, 임의의 군의 극소 생성 집합의 크기의 집합은 연속된 정수들로 구성된다. 보다 일반적으로, 항 이하의 연산들로 구성된 대수 구조의 부분 대수 생성 함수는 계수 의 폐포 연산자이다.

 역사 
폐포 연산자에 관한 연구는 E. H. 무어의 1910년 저서 《Introduction to a form of general analysis》에 처음으로 등장한다.

 참고 문헌 

 외부 링크 




분류:위상수학
분류:대수학
분류:순서론