순서쌍
두 개의 수학적 대상을 순서를 정하여 짝지어 나타낸 쌍 / From Wikipedia, the free encyclopedia
수학에서 순서쌍(順序雙, 영어: ordered pair)이란 두 개의 수학적 대상을 순서를 정하여 짝지어 나타낸 쌍이다. 두 대상 a, b로부터 순서를 생각하여 만든 쌍을 흔히 (a, b)로 적는다. 이는 a와 b가 같지 않는 한, (b, a)와 다른 순서쌍이다. 순서쌍은 2-튜플, 또는 두짝(영어: 2-tuple)이라고도 불린다. 순서쌍 (a, b)에서의 a, b를 각각 첫 번째, 두 번째 성분(영어: first (second) entry)이라고 한다. 때로는 첫 번째, 두 번째 좌표(영어: first (second) coordinate)라고도 한다.
두 순서쌍이 같을 필요충분조건은, 두 순서쌍의 첫째와 둘째 성분이 각각 같은 것이다. 집합론에서는 이 성질을 구현하기 위해 (a, b) := {{a}, {a, b}}와 같은 정의를 자주 사용한다.
순서쌍의 성분은 스칼라이거나(2 차원 벡터), 다른 순서쌍일 수 있다. 이로써, 순서쌍을 이용해 순서있는 n-튜플을 귀납적으로 정의하는 것이 가능하다. 예를 들어, 순서쌍 (a, b, c)는 (a, (b, c))로 정의할 수 있다.