따름서수
위키백과 ― 우리 모두의 백과사전.
수학의 집합론에서 따름서수(successor ordinal)는 어느 서수의 '바로 다음 수'인 서수를 말한다. 가장 일반적으로 사용되는 폰 노이만식 서수의 정의에서, 임의의 서수 α에 대해 그 바로 다음 수 S(α)를 다음과 같이 정의한다:
0이 아니고 따름서수도 아닌 서수는 극한서수라고 한다. 위의 바로 다음 수 연산 S를 이용해 서수의 덧셈을 초한반복으로 엄밀하게 정의할 수 있다:
,
극한서수 λ에 대해서는
.
특히, S(α) = α + 1이다. 곱셈과 지수 연산도 비슷하게 정의된다.
[편집] 함께 보기
- 서수의 산술
- 극한서수
- 따름기수