이진 관계에 관한 새로운 결과

초록

본 논문은 함수와 달리 일반적인 이진 관계에 대해 오른쪽 전전체(right total), 오른쪽 유일(right unique), 왼쪽 전전체(left total), 왼쪽 유일(left unique) 성질을 정의하고, 유한 집합에서 각각의 관계 개수를 정확히 계산한다. 또한 두 성질을 동시에 만족하는 관계(예: 오른쪽 유일·왼쪽 유일, 오른쪽 유일·오른쪽 전전체 등)의 개수와, 무작위로 선택된 관계가 오른쪽 유일 혹은 오른쪽 전전체일 확률을 구한다.

상세 분석

논문은 먼저 함수와 관계의 차이를 명확히 구분한다. 함수는 오른쪽 유일(right unique)과 왼쪽 전전체(left total)를 동시에 만족하는 특수한 이진 관계이며, 이러한 제약이 있을 때 역함수 존재와 전사·단사 성질이 바로 도출된다. 저자는 이러한 함수의 성질을 일반화하여, 관계에만 적용 가능한 네 가지 기본 속성—오른쪽 전전체(RT), 오른쪽 유일(RU), 왼쪽 전전체(LT), 왼쪽 유일(LU)—을 정의한다.

유한 집합 A와 B의 크기를 각각 m, n이라 할 때, 전체 가능한 관계의 수는 2^{mn}이다. 오른쪽 전전체는 각 b∈B에 대해 적어도 하나의 a∈A와 연결되어야 하므로, 각 열이 0이 아닌 비트열이 되도록 하는 경우의 수는 (2^{m}−1)^{n}이다. 오른쪽 유일은 각 b가 최대 하나의 a와만 연결되므로, 각 열이 0 또는 하나의 1을 가질 수 있다. 따라서 각 열당 (1+m)가지 선택이 가능해 전체 경우의 수는 (1+m)^{n}이다. 왼쪽 전전체와 왼쪽 유일도 대칭적으로 (2^{n}−1)^{m}와 (1+n)^{m}으로 계산된다.

두 속성을 동시에 만족하는 경우는 교집합을 이용해 포함‑배제 원리를 적용한다. 예를 들어, RU∧LU(즉, 양쪽 모두 유일)인 관계는 각 (a,b) 쌍이 최대 하나의 연결만 허용되므로, 이는 정확히 일대일 대응(전단사) 관계와 동치이며, 개수는 Σ_{k=0}^{min(m,n)} C(m,k)·C(n,k)·k! 로 표현된다. RU∧RT(오른쪽 유일이면서 오른쪽 전전체)인 경우는 각 b가 정확히 하나의 a와 연결되어야 하므로, 이는 B의 각 원소에 대해 A에서 선택하는 함수와 동일하고, 개수는 m^{n}이다. 마찬가지로 LU∧LT는 n^{m}이 된다.

확률적 분석에서는 무작위 관계를 2^{mn}개의 등가능한 경우 중 하나로 가정한다. 따라서 RU의 확률은 (1+m)^{n} / 2^{mn}, RT의 확률은 (2^{m}−1)^{n} / 2^{mn} 등으로 구한다. 이러한 확률은 집합 크기가 커질수록 급격히 감소하거나 특정 한계값으로 수렴함을 보이며, 특히 m=n일 때 RU와 RT의 기대값이 서로 대칭적임을 확인한다.

마지막으로 저자는 이러한 결과가 관계 기반 데이터 모델링, 그래프 이론, 그리고 조합론적 설계 문제에 직접적인 응용 가능성을 가진다고 주장한다. 특히 관계의 전전체·유일성을 보장해야 하는 데이터베이스 스키마 설계나, 매칭 문제에서의 전단사 관계 카운팅 등에 유용하게 활용될 수 있다.