실수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
실수을 수직선으로 나타낸 것
수학 체계
기초

복소수의 확장
기타

허수 단위
원주율 ≈ 3.14159 26535 ...
자연로그의 밑 ≈ 2.71828 ( )

주요 상수

π - e - √2 - √3 - √5 -
γ - φ - β* - δ - α -
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

수학에서, 실수(實數, 영어: real number)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이다. 예를 들어, -1, 0, 1/2 2, e, π 등은 모두 실수이다.

실수에 대하여 사칙 연산(덧셈 · 뺄셈 · 곱셈 · 나눗셈)을 실행할 수 있다. 실수는 크기 비교가 가능하며, 실직선에서 더 왼쪽에 있는 수가 더 오른쪽에 있는 수보다 작다. 특히, 실수는 0보다 큰 양수 · 0보다 작은 음수 · 0으로 분류된다. 또한, 실수는 정수유리수와 그렇지 않은 무리수로도 분류되며, 정수 계수 다항식의 근대수적 수와 그렇지 않은 초월수로도 분류된다. 실직선은 복소 평면의 일부로 볼 수 있으며, 이 경우 실수는 허수와 함께 복소수를 이룬다.

공리적으로, 실수는 완비 순서체로 정의되며, 이는 동형 의미 아래 유일하다. 구성적으로, 실수는 유리수 코시 수열동치류 · 데데킨트 절단 · 십진법 전개의 동치류로서 구성된다. 실수의 완비성은 공집합이 아닌 실수 유계 집합이 항상 상한과 하한을 갖는다는 성질이다. 이는 유리수와 구별되는 중요한 성질이다.

실수 집합은 비가산 집합이다. 즉, 자연수 집합과 실수 집합은 둘다 무한 집합이나, 그 사이에 일대일 대응이 존재하지 않는다. 실수 집합의 크기는 자연수 집합의 크기보다 크다. 연속체 가설은 자연수 집합보다 크며 실수 집합보다 작은 크기를 갖는 실수 부분 집합이 존재하지 않는다는 명제이다. 연속체 가설은 ZFC(즉, 선택 공리를 추가한 체르멜로-프렝켈 집합론)에서 증명할 수도, 반증할 수도 없으며, 연속체 가설을 만족하거나, 그 부정을 만족하는 ZFC의 모형이 모두 존재한다.

역사[편집]

실수에 대한 엄밀한 정의는 게오르크 칸토어에 의해 이루어졌다. 유리수로부터 실수를 이론적으로 확장하여 그 성질을 규정짓게 된 것은 카를 바이어슈트라스, 게오르크 칸토어, 리하르트 데데킨트와 같은 수학자들의 공이 지대하였다.

정의[편집]

실수 공리적으로 기술하거나, 유리수 등으로부터 구성하여 정의할 수 있다.

공리적 방법[편집]

실수는 다음과 같은 공리를 만족하는 수 체계이다.

  • 를 이룬다. 즉, 덧셈과 곱셈을 갖추며, 이들은 익숙한 규칙대로 작용한다.
  • 순서체를 이룬다. 즉, 전순서를 갖추며, 이는 덧셈 및 곱셈과 조화를 이룬다.
  • 완비적이다. 즉, 공집합이 아닌 실수 부분 집합이 상계를 갖는다면, 항상 상한을 갖는다.

마지막 완비성은 실수를 유리수와 구분짓는 성질이다. 이들 공리를 만족하는 수 체계는 동형 의미 하에 유일하다.

구성적 방법[편집]

실수는 다음과 같은 대상으로서 구성할 수 있다. 이렇게 구성한 실수는 실수 공리계의 모형을 이룬다. 즉, 실수 공리계의 모든 공리들을 만족한다.

성질[편집]

사칙 연산[편집]

실수 집합 위에는 덧셈 +, 뺄셈 -, 곱셈 ×, 나눗셈 ÷이 정의되어 있으며, 이들중 덧셈과 곱셈은 교환 법칙, 결합 법칙, 분배 법칙을 만족한다.

순서[편집]

실수 집합은 아르키메데스 성질을 만족한다.

위상수학적 성질[편집]

실수 집합 위에는 표준적인 거리 공간 · 노름 공간 · 내적 공간 · 위상 공간 구조를 부여할 수 있다.

실수 집합 위의 표준적인 위상은 순서 위상이다.

실수 부분 집합 에 대하여, 다음 조건들이 서로 동치이다.

사실, 모든 유클리드 공간에 대하여, 위 네 조건은 서로 동치이며, 모든 거리 공간에 대하여, 뒤 세 조건은 서로 동치이다.

같이 보기[편집]

바깥 고리[편집]