수학에서의 정의
관계(Relation)는 두 개 이상의 집합 사이에 정의된 연관성을 나타내는 수학적 구조로, 일반적으로 ordered tuples(정렬된 튜플)의 집합으로 표현된다. 가장 기본적인 형태는 이항 관계(binary relation) 로, 두 집합 $A$와 $B$에 대해
$$ R \subseteq A \times B $$
와 같이 정의한다. 여기서 $A \times B$는 $A$와 $B$의 데카르트 곱이며, $(a, b) \in R$이면 “$a$와 $b$는 관계 $R$에 의해 연결된다”는 의미가 된다.
일반화된 형태
- $n$항 관계($n$-ary relation): $n$개의 집합 $A_1, A_2, \dots, A_n$에 대해 $R \subseteq A_1 \times A_2 \times \dots \times A_n$ 로 정의된다.
- 함수(Function): 모든 입력에 대해 단 하나의 출력이 존재하는 특수한 이항 관계이며, $\forall a \in A , \exists! b \in B$ such that $(a,b) \in f$ 로 표현된다.
주요 유형 및 성질
| 유형 | 정의 | 주요 성질 |
|---|---|---|
| 동치 관계(Equivalence relation) | 이항 관계 $R$가 반사적(reflexive), 대칭적(symmetric), 전이적(transitive)인 경우 | 각 원소가 자신과 관련되고, 관계가 양방향이며, 연쇄적으로 연결 가능 |
| 부분 순서(partial order) | 이항 관계 $R$가 반사적, 반대칭적(antisymmetric), 전이적인 경우 | 집합 내 원소 사이의 “≤”와 유사한 구조를 제공 |
| 전순서(total order) | 부분 순서에 전순(total) 성질이 추가된 경우, 즉 모든 원소 쌍 $(a,b)$에 대해 $aRb$ 혹은 $bRa$가 성립 | 선형(선형화된) 순서를 형성 |
| 관계의 합성(Composition of relations) | 두 관계 $R \subseteq A \times B$, $S \subseteq B \times C$에 대해 $S \circ R = {(a,c) \mid \exists b \in B,\ (a,b) \in R \land (b,c) \in S}$ | 관계를 연쇄적으로 연결 |
| 역관계(Inverse relation) | 관계 $R$의 역은 $R^{-1} = {(b,a) \mid (a,b) \in R}$ | 관계의 방향을 뒤집음 |
대표적인 예시
- 등호(=) : ${(x,x) \mid x \in \mathbb{R}}$ — 동치 관계.
- 부등호(<) : ${(a,b) \mid a,b \in \mathbb{R}, a < b}$ — 비대칭이며 전순서가 아니다(전순서가 되려면 전체 순서가 필요).
- 나눗셈 관계(|) : ${(a,b) \mid a,b \in \mathbb{Z}, a \mid b}$ — 부분 순서.
- 친척 관계 : 사람 집합 $P$에 대해 “$a$는 $b$의 형제다”를 $(a,b) \in R$ 로 정의 — 일반적인 이항 관계의 사례.
표기법
- 관계는 보통 대문자 $R, S, T$ 등으로 표기한다.
- 원소 $a$와 $b$가 관계 $R$에 속하면 $a,R,b$ 혹은 $(a,b) \in R$ 로 쓴다.
- 관계의 역은 $R^{-1}$, 합성은 $S \circ R$ 로 표기한다.
수학적 활용
관계는 집합론, 논리학, 대수학, 그래프 이론 등 다양한 분야에서 기본적인 도구로 사용된다. 예를 들어, 그래프는 정점 집합 $V$와 간선 관계 $E \subseteq V \times V$ 로 정의되며, 데이터베이스 이론에서는 테이블 간의 외래키 관계가 관계 개념에 기반한다.
관련 개념
- 집합: 관계는 집합의 부분집합으로 정의된다.
- 함수: 함수는 특별한 형태의 관계이며, 함수와 관계 사이의 변환이 가능하다.
- 순서 구조: 부분 순서와 전순서는 관계의 특수한 사례이다.
참고 문헌(일반적인 교과서)
- Halmos, P. R. Naive Set Theory.
- Enderton, H. B. Elements of Set Theory.
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. Introduction to Algorithms (관계와 그래프 이론 부분).
위 내용은 수학 전반에서 널리 사용되는 “관계” 개념에 대한 객관적인 설명이다.
