기수 (수학)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
0은 가장 작은 무한 기수이다.
수학 체계
기초

\mathbb{N}\sub\mathbb{Z}\sub\mathbb{Q}\sub\mathbb{R}\sub\mathbb{C}

복소수의 확장
기타

i 허수 단위 = \sqrt{-1}
\pi 원주율 ≈ 3.14159 26535 ...
e 자연로그의 밑 ≈ 2.71828 ( \notin \mathbb{Q})

주요 상수

π - e - √2 - √3 - γ -
φ - β* - δ - α - C2 -
M1 - B2 - B4 - Λ - K -
K - K - L - μ - EB -
Ω - β - λ - D(1) - λμ -
Cah. - Lap. - A-G - Λ - K-L -
Apr. - θ - Bac. - Prt. - Lb. -
Niv. - Sie. - Kin. - F - L

수학에서, 기수(基數, 영어: cardinal number)는 집합크기를 나타내는 척도이다. 유한 집합의 크기는 자연수로 나타내어지는데, 이를 무한 집합에 대하여 일반화한 개념이다. 무한 집합의 진부분집합은 자신이 포함된 집합 전체와 같은 크기를 가질 수도 있다. 모든 무한 집합이 같은 크기를 갖는 것은 아니며, 무한히 많은 크기의 무한 집합들이 있다.

정의[편집]

동치류를 사용한 정의[편집]

두 집합 S, T사이에 전단사 함수가 존재한다면 S\approx T라고 하자. 이는 (집합론적인 문제를 무시하면) 동치 관계를 이룬다. 그렇다면 기수는 집합의 이 동치 관계에 대한 동치류로 정의할 수 있다. 그러나 체르멜로-프렝켈 집합론에서는 이러한 동치류는 고유 모임이 되며, 이는 기술적으로 문제를 일으킨다. 예를 들어, 기수들의 집합을 정의할 수 없다. 반면, 형 이론이나 새 기초(영어: New Foundations) 등의 체계에서는 이 정의를 그대로 사용할 수 있다. 예를 들어, 형 이론을 사용하는 《수학 원리》에서 이 정의가 사용된다.

폰 노이만 정의[편집]

선택 공리를 추가한 체르멜로-프렝켈 집합론에서는 집합의 동치류의 대표원을 다음과 같이 고를 수 있다. 이는 존 폰 노이만이 도입한 정의다.

집합 X크기 |X|전단사 함수 X\to\alpha가 존재하는 가장 작은 순서수 \alpha이다.

|X|=\min\{\alpha\in\operatorname{Ord}\colon\alpha\cong X\}

순서수의 고유 모임정렬 순서를 갖추었으므로 이 최소는 항상 존재한다.

특정한 집합의 크기가 되는 순서수기수라고 한다. 예를 들어, 모든 자연수는 기수이며, 순서수 \omega는 기수 \aleph_0이다. 반면, 순서수 \omega+1이나 \omega2, \omega^\omega, \omega^{\omega^{\omega}} 따위는 \omega와 같은 집합의 크기를 가지므로 기수가 아니다.

스콧 정의[편집]

선택 공리를 가정하지 않는다면, 위와 같은 폰 노이만 정의를 사용할 수 없다. 이를 피하기 위해 다음과 같은, 대너 스콧(영어: Dana Scott)이 도입한 정의를 사용할 수 있다. 이 경우, 집합 X크기 \operatorname{card}(X)는 이와 같은 계수를 갖는 모든 집합들의 집합이며, 기수는 어떤 집합의 크기가 되는 집합이다.

연산[편집]

순서수와 마찬가지로, 기수에 대하여 덧셈과 곱셈 등을 정의할 수 있다. 이러한 연산은 자연수에 국한하면 자연수의 연산과 같다. 무한 기수의 연산은 무한 순서수의 연산과 매우 다르며, 무한 기수 경우 이들 연산은 대부분 자명하다.

두 기수 \kappa\lambda가 각각 집합 AB의 크기라고 하자. 아래의 정의들은 A 또는 B가 구체적으로 어떤 집합인지 관계없다.

순서[편집]

만약 단사 함수

A\hookrightarrow B

가 존재한다면,

\kappa\le\lambda

라고 정의한다. 마찬가지로, 만약 전사 함수

A\twoheadrightarrow B

가 존재하거나 B가 공집합이라면,

\kappa\ge\lambda

로 정의한다.

바로 뒤 기수[편집]

선택 공리를 가정하면, 모든 기수 \kappa에 대하여 그 바로 뒤 기수(영어: successor) \kappa^+가 존재한다. 이는 \kappa<\lambda<\kappa^+인 기수 \lambda가 존재하지 않는 기수 \lambda^+이다. 자연수의 경우 이는 단순히 n^+=n+1이며, 알레프 수의 경우

\aleph_{\alpha}^+=\aleph_{\alpha+1}

이다.

유한 기수의 따름 기수는 따름 순서수와 차이가 없으나, 무한의 경우에는 무한 순서수와 그 따름 순서수의 크기가 같으므로 다른 정의를 필요로 한다. 따라서, 폰 노이만 기수 배정법선택 공리를 이용해 기수 κ의 따름 기수 κ+를 다음과 같이 정의한다:

\kappa^+ = |\inf \{ \lambda \in\operatorname{Ord} \ |\ \kappa < |\lambda| \}|.

여기에서 \operatorname{Ord}는 순서수들의 고유 모임이다. 하르톡스의 정리에 따르면 임의의 정렬 가능 기수에 대해 그보다 더 큰 정렬 가능 기수를 구성할 수 있으므로, 위의 집합이 공집합이 아니며, 또한 순서수는 정렬 집합이므로 최소 원소가 실제로 존재한다. 따라서 κ와 κ+ 사이에 기수가 존재하지 않는다.

덧셈 · 곱셈 · 거듭제곱[편집]

두 기수의 덧셈과 곱셈 및 거듭제곱은 다음과 같다.

  • (덧셈) \kappa+\lambda=|A\sqcup B|
  • (곱셈) \kappa\lambda=|A\times B|
  • (거듭제곱) \kappa^\lambda=|A^B|
    • 즉, 함수 B\to A의 집합의 크기다.

성질[편집]

모든 기수의 모임고유 모임이다 (칸토어 역설). 선택 공리를 가정한다면, 기수의 고유 모임의 순서는 정렬 순서이다. 알레프 함수

\aleph\colon\operatorname{Ord}\to\operatorname{Card}

는 서수의 고유 모임과 무한 기수의 고유 모임일대일 대응을 정의하며, 이는 정렬 순서를 갖춘 고유 모임의 동형사상이다.

모든 무한 기수는 극한 순서수이다. 그러나 그 역은 성립하지 않는다. 예를 들어, \omega\cdot2는 극한 순서수이지만, 그 크기는 \aleph_0=\omega이므로 기수가 아니다. 대부분의 순서수는 극한 순서수가 아니므로, 기수들은 순서수들 중에 상당히 드물게 분포한다.

산술 연산의 대수적 성질[편집]

기수의 덧셈과 곱셈, 거듭제곱은 자연수에 국한시키면, 0^0을 제외하고 기수의 연산은 자연수의 연산과 일치한다. (자연수의 경우 보통 0^0을 정의하지 않지만, 기수의 경우 0^0=1이다.)

\kappa, \lambda, \mu가 임의의 기수라고 하자. 기수의 덧셈과 곱셈은 결합 법칙교환 법칙을 만족시킨다.

\kappa+\lambda=\lambda+\kappa
\kappa\lambda=\lambda\kappa
(\kappa+\lambda)+\mu=\kappa+(\lambda+\mu)
(\kappa\lambda)\mu=\kappa(\lambda\mu)

덧셈은 0을 항등원으로 갖고, 곱셈은 1을 항등원으로 갖는다. 0과의 곱은 0이다.

\kappa+0=\kappa\cdot1=\kappa
\kappa\cdot0=0

거듭 제곱은 다음과 같은 성질들을 만족시킨다.

0^\kappa=\begin{cases}0&\kappa\ne0\\1&\kappa=1\end{cases}
1^\kappa=1
2^\kappa>\kappa (칸토어의 정리)
\kappa^0=1
\kappa^1=\kappa

또한, 다음과 같은 분배 법칙이 성립한다.

\kappa(\lambda+\mu)=\kappa\lambda+\kappa\mu
\kappa^{\lambda+\mu}=\kappa^\lambda\kappa^\mu
\kappa^{\lambda\mu}=(\kappa^\lambda)^\mu (집합의 데카르트 닫힘)
(\kappa\lambda)^\mu=\kappa^\mu\lambda^\mu

산술 연산의 단조성[편집]

기수의 덧셈과 곱셈은 증가 함수이다. 거듭제곱 역시 두 매개변수에 대해서 증가 함수이다.

\kappa\le\lambda\implies\kappa+\mu\le\lambda+\mu
\kappa\le\lambda\implies\kappa\mu\le\lambda\mu
\kappa\le\lambda\implies\kappa^\mu\le\lambda^\mu
\kappa\le\lambda\implies\mu^\kappa\le\mu^\lambda (\mu>0)

대우를 취하면 다음을 얻는다.

\kappa+\mu<\lambda+\mu\implies \kappa<\lambda
\kappa\mu<\lambda\mu\implies \kappa<\lambda
\kappa^\mu<\lambda^\mu\implies\kappa<\lambda
\mu^\kappa<\mu^\lambda\implies\kappa<\lambda (\mu>0)

그러나 기수의 연산들은 순증가 함수가 아니다. 예를 들어,

2<3

이지만

\aleph_0+2=\aleph_0+3
\aleph_0\cdot2=\aleph_0\cdot3
\aleph_0^2=\aleph_0^3
2^\aleph_0=3^{\aleph_0}

이다.

무한 기수의 산술 연산[편집]

선택 공리를 가정하면, 무한 기수의 덧셈과 곱셈은 자명하다. \kappa\lambda 가운데 적어도 하나가 무한 기수라면, 다음이 성립한다.

\kappa+\lambda=\max\{\kappa,\lambda\}

\kappa\lambda 가운데 적어도 하나가 무한 기수이고, 둘 다 0이 아니라면, 다음이 성립한다.

\kappa\lambda=\max\{\kappa,\lambda\}

기수의 거듭제곱에 대하여 다음이 성립한다.

\kappa^n=\kappa\qquad(\aleph_0\le\kappa)
\lambda^\kappa=2^\kappa\qquad(2\le\lambda\le\kappa\ge\aleph_0)
\kappa^n=\kappa\qquad(1\le n<\aleph_0\le\kappa)

무한 기수의 거듭제곱은 집합론의 통상적인 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)로는 대부분 결정할 수 없다. 예를 들어, 2^{\aleph_0}과 같은 간단한 거듭 제곱 또한 결정할 수 없다 (연속체 가설). 다만, 만약 일반화 연속체 가설을 추가로 가정한다면 무한 기수의 거듭제곱들이 완전히 결정되며, 다음과 같다.[1]:147 여기서 n은 임의의 2 이상의 자연수이며, \kappa\lambda는 임의의 무한 기수이다.

n^\kappa=\kappa^+
\kappa^n=\kappa
\kappa^\lambda=\begin{cases}
\lambda^+&\kappa\le\lambda^+\\
\kappa&\kappa>\lambda^+,\;\operatorname{cf}(\kappa)>\lambda\\
\kappa^+&\kappa>\lambda^+,\;\operatorname{cf}(\kappa)\le\lambda
\end{cases}

여기서 \operatorname{cf}는 기수의 공종도이다.

분류[편집]

유한 집합의 크기인 기수를 유한 기수, 무한 집합의 크기인 기수는 무한 기수라고 한다. 유한 기수는 자연수(음이 아닌 정수)와 같으며, 선택 공리를 가정한다면 무한 기수는 알레프 수와 같다. 즉, 선택 공리를 가정하였을 때 기수의 열은

0, 1, 2, 3, \cdots n, \cdots ; \aleph_0, \aleph_1, \aleph_2, \dots, \aleph_\omega,\aleph_{\omega+1},\dots

이다. 알레프 수의 경우, 임의의 순서수 \alpha가 알레프 수 \aleph_\alpha의 첨수가 될 수 있으며, 따라서 어떤 의미에서 알레프 수는 순서수만큼이나 많다. 동시에, 자연수와 알레프 수는 순서수들의 고유 모임의 부분모임이다. 선택 공리를 가정하지 않을 경우에는 알레프 수가 아닌 무한 기수가 있을 수도 있다.

기수는 순서수의 경우와 비슷하게, 세 가지의 분류로 나눌 수 있다. 모든 기수 \kappa는 다음 세 분류 가운데 정확히 하나에 속한다.

  • 0
  • 따름 기수(영어: successor cardinal). 이는 \kappa=\lambda^+인 기수 \lambda가 존재하는 경우이다.
  • 극한 기수(영어: limit cardinal)는 0이 아니며 따름 기수가 아닌 기수이다.

[편집]

수학에서 흔히 등장하는 기수는 다음과 같다.

참고 문헌[편집]

  1. Hayden, Seymour; John F. Kennison (1968). 《Zermelo–Fraenkel Set Theory》 (영어). Columbus, Ohio, U.S.: Charles E. Merrill Publishing Company. 

바깥 고리[편집]

같이 보기[편집]