이항 관계

Binary relation. 주어진 집합의 두 원소(같을 수도 있다)에 대해서 임의로 관계를 지은 것. 물론 어떤 원소는 아무 원소와도 짝이 지어지지 않거나, 둘 이상의 원소와 짝이 지어지거나, 자기와 짝이 지어지거나 안 지어지거나 할 수 있다. 기호로 나타내면 집합 X에 대한 이항 관계 R곱집합 X \times X = X^2부분집합이고, (a,b) \in R이면 간단하게 a\,R\,b, 그렇지 않으면 a\not\!R\,b로 표현한다.

수학전산학에서 이항 관계는 많은 수학 연산관계, 함수 등을 일반화하는 데 쓰인다. 이를테면 비교 연산자 =(대표적인 완전순서), \le(대표적인 부분 순서), 약수·배수 관계(대표적인 격자) 따위가 모두 이항 관계로 표현된다.


도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기