포셋을 위한 케일리 정리

초록

오름차순 사슬 조건(ACC)을 만족하는 모든 부분순서집합(P,≤)은, 그 집합의 모든 반체인 A(P)에 대한 함수 공간 A(P)^P에 자연스럽게 삽입될 수 있다. 삽입은 각 원소 a에 대해 f_a(x)=Max L(a,x) (L(a,x)= {y∈P | y≤a, y≤x}) 로 정의되는 함수로 주어지며, a≤b ⇔ f_a≤f_b 가 성립한다.

상세 분석

이 논문은 전통적인 케일리 정리를 부분순서집합(poset)이라는 구조로 확장한다는 점에서 의미가 크다. 기존의 케일리 정리는 군을 자기 자신에 대한 전치(permutation)군의 부분군으로 표현한다는 사실에 기반한다. 여기서는 “함수”라는 보다 일반적인 사상을 이용해, 부분순서집합 자체를 반체(antichain)들의 집합 A(P) 위의 함수 공간에 삽입한다. 핵심 아이디어는 두 원소 a, b에 대해 “공통 하위 원소들의 최대 집합”인 Max L(a,b)를 이용해 함수를 정의하는 것이다. L(a,x)= {y∈P | y≤a ∧ y≤x} 로 정의하고, 이 집합의 최대 원소들을 모은 Max L(a,x) 를 f_a(x) 로 두면, f_a는 P→A(P) 의 사상이다.

논문은 먼저 A(P) 위에 정의된 새로운 이분 관계 ≤ 를 검증한다. B≤C ⇔ ∀x∈B ∃y∈C (x≤y) 로 정의된 이 관계는 반체들 사이에서는 반사적, 전이적, 반대칭성을 만족해 부분순서가 된다(정리 1). 반체가 아닌 경우에는 위 관계가 반대칭성을 잃어 부분순서가 아니므로, A(P) 로 제한하는 것이 핵심이다.

다음으로, ACC(오름차순 사슬 조건)를 가정한다. ACC는 모든 원소가 어떤 최대 원소에 도달함을 보장한다. 즉, 임의의 부분집합 B⊆P에 대해 Max B≠∅ 이며, 이는 Max L(a,x) 가 항상 정의됨을 의미한다. 이 조건 없이는 f_a가 잘 정의되지 않을 수 있다.

주요 정리(정리 2)는 “P는 f_a (a∈P) 로 정의된 함수들의 집합에 부분순서 동형으로 삽입된다”는 것이다. 증명은 두 방향을 모두 보인다. a≤b이면, 임의의 x에 대해 Max L(a,x)⊆Max L(b,x) 가 성립하고, 이는 f_a(x)≤f_b(x) 로 이어진다. 반대로 f_a≤f_b이면, a∈f_a(a)⊆f_b(a)=Max L(b,a) 로부터 a≤b 를 얻는다. 따라서 a↦f_a는 순서 보존 전단사이며, P는 A(P)^P 의 부분순서집합으로 동형임을 확인한다.

예시를 통해 구체적인 경우를 살펴보면, 유한 poset P를 그림 1에 제시하고, 각 원소에 대한 f_a를 표로 계산한다. 그 결과 f_a들의 이미지가 A(P) 위의 부분순서로서 원래 P와 동형임을 확인한다. 또한 격자(lattice) 상황을 논의한다. 격자에서는 Max L(a,x)=a∧x 가 되므로, f_a는 기존의 meet 연산을 재현한다. 그러나 일반적인 격자에서는 a↦f_a가 격자 동형이 되지 않을 수 있음을 예시(M₃)로 보여준다. 이는 이 사상이 순서 동형은 되지만, 격자 구조(∨,∧)를 보존하지는 않음을 의미한다.

결과적으로, 이 논문은 부분순서집합에 대한 케일리식 표현을 제공함으로써, 순서 이론과 대수 구조 사이의 연결 고리를 새롭게 제시한다. 특히 ACC를 만족하는 모든 poset에 대해 일반적인 “함수 공간”에의 삽입이 가능하다는 점은, 이후 연구에서 자동동형군, 순서 보존 변환군 등에 대한 이해를 확장하는 기반이 될 수 있다.