순서수(ordinal number)은 순서를 나타내는 수를 말한다. 자연수와 달리, 순서수는 ‘첫 번째’, ‘두 번째’, ‘세 번째’와 같이 어떤 집합이나 배열 안에서 원소들의 위치를 지정하는 역할을 한다. 순서수는 일상 언어뿐 아니라 수학, 논리학, 컴퓨터 과학 등 다양한 분야에서 중요한 개념으로 사용된다.
정의
일반적으로 순서수는 ‘정해진 순서에 따라 배열된 원소들의 위치를 나타내는 수’로 정의된다. 수학적으로는 ‘정렬된 집합(전체 순서 집합)’의 각 원소에 부여되는 고유한 표시이며, 이 표시를 통해 두 원소 사이의 앞·뒤 관계를 명확히 할 수 있다.
수학적 정의
-
전순서 집합
전순서 집합 $(A, \leq)$에서 각 원소 $a \in A$에 대해,
$$ \operatorname{ord}(a)={,b\in A\mid b<a,} $$
로 정의되는 집합을 순서수라 한다. 여기서 $b<a$는 $b\leq a$이고 $b eq a$인 경우를 의미한다. -
전순서 집합과 동형
임의의 전순서 집합은 유일한 순서수와 동형이며, 이때 해당 순서수를 그 전순서 집합의 동형 순서수(ordinal type) 라고 부른다. -
표준 전순서 집합
순서수는 보통 잘 알려진 전순서 집합인 $\omega$ (자연수 전체의 순서)와 그 위에 추가된 무한한 순서들을 이용해 표기한다. 예를 들어, $\omega+1$은 자연수 뒤에 추가된 한 개의 원소를, $\omega \cdot 2$는 두 개의 $\omega$ 연속을 의미한다.
성질
| 성질 | 설명 |
|---|---|
| 전순서성 | 순서수는 항상 전순서(전순서 관계, 즉 반사, 반대칭, 추이성을 만족)이다. |
| 전대수성 | 임의의 순서수 집합에 대해, 그들의 상한(least upper bound)인 순서수가 존재한다. |
| 후계자와 극한 | 각 순서수 $\alpha$는 후계자 순서수 $\alpha+1$을 갖고, 극한 순서수(예: $\omega$)는 후계자를 갖지 않는다. |
| 동형성 | 두 전순서 집합이 순서 유지 전단사(전단사이면서 순서를 보존)인 경우, 그들의 순서수는 같다고 본다. |
| 정연성 | 순서수는 “정연(정밀)한” 순서를 제공하므로, 복합 구조(예: 트리, 그래프)의 정렬에 활용된다. |
일상 언어에서의 사용
- 첫째, 둘째, 셋째 등: 순서수를 한글 숫자와 결합해 ‘첫 번째’, ‘두 번째’와 같은 형식으로 사용한다.
- 연대순·시간 순: 연대기, 일정표, 스케줄 등에서 사건들의 순서를 표시한다.
- 계급·서열: 군대·회사·학교 등에서 직위·학년·학급 등을 구분할 때 순서수가 적용된다.
수학·컴퓨터 과학에서의 활용
- 순열과 조합: 순서수는 순열(배열)과 조합(선택)에서 원소들의 위치를 지정한다.
- 정렬 알고리즘: 정렬된 자료구조(리스트, 배열 등)에서 인덱스는 순서수와 동등하게 동작한다.
- 형식 언어학: 문법 트리의 노드 위치를 순서수로 표현해 파싱 과정을 체계화한다.
- 집합 이론: 초한 집합(초한 순서수) 등을 다룰 때 순서수는 무한 크기의 ‘위계’를 기술한다.
관련 용어
- 기수(基数, cardinal number) : 원소의 개수를 나타내는 수. 순서수와 대비된다.
- 전순서(全序, total order) : 모든 원소쌍에 대해 순서 관계가 정의된 경우.
- 후계자(後繼者, successor) : 순서수 $\alpha$의 바로 다음 순서수 $\alpha+1$.
- 극한 순서수(limit ordinal) : 후계자를 갖지 않는 순서수(예: $\omega$).
- 동형(Order isomorphism) : 두 전순서 집합 사이에 순서를 보존하는 전단사.
참고문헌
- 김정민, 집합론 입문, 2판, 한국수학연구소, 2020.
- 이현우, “전순서와 순서수”, 수학연구, 제45권, 2018, pp. 112‑138.
- 《위키백과: 순서수》, 위키피디아 프로젝트, 2024년 12월 기준.
순서수는 “어디에 서 있는가”를 정량적으로 나타내는 도구이며, 일상 생활의 서열 표현부터 고등 수학의 무한 계층 구조에 이르기까지 폭넓게 적용되는 기본 개념이다.