수학에서 실수 체계를 정의하는 방법은 다양하다. 실수 공리 문단에서는 실수를 완비순서체로서 공리화하였다. 집합론 공리 하에, 실수 공리계를 만족하는 실수 모형이 존재하며, 임의의 두 모형이 동형임을 보일 수 있다. 대부분의 실수 모형은 순서체로서의 유리수 체계의 기본적 성질을 이용하여 구성되었다. 실수의 모형은 집합 , 의 서로 다른 두 원소 , 상의 두 이항연산 (각각 덧셈 , 곱셈 이라고 한다), 그리고 상의 이항관계 로 이루어져 있으며 다음 성질을 만족한다. # 는 체를 이룬다. 즉, # 임의의 에 대하여 (덧셈, 곱셈의 결합법칙) # 임의의 에 대하여 (덧셈, 곱셈의 교환법칙) # 임의의 에 대하여 (덧셈에 대한 곱셈의 분배법칙) # 임의의 에 대하여 (덧셈 항등원의 존재) # 또한 임의의 에 대하여 (곱셈 항등원의 존재) # 임의의 에 대하여 이 존재해 (덧셈 역원의 존재) # 의 임의의 원소에 대하여 이 존재해 (곱셈 역원의 존재) # 는 전순서 집합을 이룬다. 즉, # 임의의 에 대하여 (반사성) # 임의의 에 대하여 또한 이면 (반대칭성) # 임의의 에 대하여 또한 이면 (추이성) # 임의의 에 대하여 혹은 (완전성) # 상의 체 연산 는 순서 와 양립한다. 즉, # 임의의 에 대하여 이면 (덧셈 하의 순서 보존) # 임의의 에 대하여 또한 이면 (곱셈 하의 순서 보존) # 순서 는 데데킨트 완비성을 만족한다. 즉, 임의의 공집합이 아닌 의 부분집합 에 대하여, 가 위로 유계이면 는 상한을 가진다. 첫번째 성질은 체 공리 , 둘째와 셋째를 합쳐서 순서 공리 , 넷째는 (데데킨트) 완비성 공리 라고 한다. 유리수는 순서체, 즉 체 공리와 순서 공리를 만족하는 수 체계이지만, 데데킨트 완비성 공리는 만족하지 않는다. 이는 완비성이 실수의 근본적인 성질임을 엿보여 준다. 데데킨트 완비성으로부터 아르키메데스 성질을 유추할 수 있다. 아래 문단에 실수 공리의 몇가지 모형이 제시되어 있다. 실수 공리의 임의의 두 모형은 서로 동형이다. 즉, 완비순서체는 동형의 의미 하에 유일하다. 여기서 임의의 두 모형 이 동형이라는 것은, 체 연산과 순서를 모두 보존하는 전단사 함수 가 존재한다는 것, 즉 다음을 만족하는 함수 가 존재한다는 것이다. 는 에서 로 가는 전단사 함수이다. 또한 임의의 에 대하여 또한 임의의 에 대하여 일 필요충분조건은 이다. 실수의 각 구성은 수학적으로나 역사적으로나 중요성이 크다. 앞의 세 개는 각각 게오르크 칸토어/찰스 메레, 리하르트 데데킨트, 카를 바이어슈트라스/오토 슈톨츠에 의한 것으로 모두 몇년 간격으로 나타났으며, 각각의 장단점이 존재한다. 이 세가지 구성의 주된 동기는 수학 교육이다. 거리 공간의 모든 코시 수열을 수렴하게 만드는 정석적 방법은 완비화를 통해 거리 공간에 새로운 점을 추가하는 것이다. 은 의 거리 에 대한 완비화로 정의된다. 다른 거리에 대한 의 완비화는 p진수 참고. 유리수 코시 수열, 즉 임의의 유리수 에 대해 자연수 이 존재해 임의의 에 대해 임을 만족하는 유리수열 의 집합을 이라 두자. 두 코시 수열의 덧셈, 곱셈, 순서를 다음과 같이 정의한다. 에 정의한 두 수열 사이의 거리가 0으로 수렴한다 는 동치관계는, 앞서 정의한 덧셈, 곱셈, 순서에 대해 불변이며, 동치류들의 집합 이 모든 실수 공리를 만족하는 것을 보일 수 있다. 유리수 를 수열 의 동치류로 재정의함으로써 를 에 매장시킬 수 있다. 가 동치이거나, 자연수 이 존재하여 임의의 에 대해 이다 는 순서관계 를 통해 실수 간의 순서 관계를 정립할 수 있다. 이러한 구성에서 모든 실수 는 유리수 코시 수열로 표현될 수 있다. 그러나 이러한 표현은 유일하지 않다. 로 수렴하는 유리수 코시 열 모두가 의 한 표현이다. 여기에서 하나의 실수를 여러가지 수열로 근사할 수 있다는 관점이 보여진다. 이 구성에서 최소 상계 공리가 성립함은 다음과 같이 증명할 수 있다. 를 의 공집합이 아닌 부분집합이라 두고, 상계 가 존재한다고 하자. 가 유리수라고 가정해도 무방하다. 가 공집합이 아니므로 어떤 유리수 과 어떤 가 존재하여 이다. 이제 수열 을 다음과 같이 정의한다. 이 만약 상계가 맞으면, 아니면, 두 수열 모두 유리수 코시 수열이며, 서로 동치이다. 이로부터 실수 를 얻는다. 에 대한 귀납법에 의해 다음이 성립한다. # 모든 은 의 상계가 아니다. # 모든 은 의 상계이다. 첫번째 결론에 의해 의 임의의 상계 에 대하여, 가 빠짐없이 성립하므로 이고, 두번째 결론에 의해 는 의 상계이다. 따라서 는 의 최소상계이며 는 완비적이다. 십진법으로 표현된 실수는 자연스럽게 코시 수열로 바꿔 나타낼 수 있다. 예를 들어 의 십진법 표기 3.1415...는 코시 수열 의 동치류로 해석된다. 또 0.999... = 1은 코시 수열 , 이 동치라는 의미로 이해할 수 있다. 유리수의 완비화에 의한 실수 구성의 장점 중 하나는, 실수에 국한되지 않고 다른 거리 공간에도 적용 가능하다는 것이다. 순서체 상의 데데킨트 절단 는, 아래로 닫혀있고 최대원소가 없는 집합 와 위로 닫힌 집합 로 이루어진, 순서체의 분할이다. 데데킨트 절단을 실수로 두어 실수 체계를 구성할 수 있다. 데데킨트 절단 는 간단히 로 나타내도 되는데, 이는 가 에 의해서만 결정되기 때문이다. 따라서 실수를 그보다 작은 유리수 전체의 집합이라 생각할 수 있다. 자세히 말해, 실수 은 아래 조건을 만족하는 의 부분집합이다. # # # 은 아래로 닫혀있다. 즉, 이고 이면 이다. # 은 최대 원소를 가지지 않는다. 즉, 임의의 에 대하여 이 존재하여 모든 실수의 집합을 이라 두고 그 위의 순서와 연산을 아래와 같이 구성한다. 위의 전순서 유리수 끼워넣기 유리수 를 그보다 작은 전체 유리수의 집합 으로 간주한다. 이는 유리수의 조밀성에 의해 최대원소가 존재하지 않으므로 데데킨트 절단의 조건을 만족한다. 실수로서의 유리수는 원래 유리수의 성질을 보존한다. 덧셈 뺄셈 여기서 는 에 대한 의 차집합이다. 반수(덧셈의 역원)는 뺄셈의 특례이다. . 절댓값 곱셈 * 일 때, * 중 음수가 있을 때에는 에 적당한 부호를 붙인다. 나눗셈의 정의도 곱셈과 비슷하다. * 일 때, * 또한 중 음수가 있을 때에는 에 적당한 부호를 붙인다. 상한 의 상계를 가지는 부분집합 는 에서 상한 를 가진다. 무리수를 데데킨트 절단으로 표현하는 예로, 2의 양의 제곱근은 집합 로 표현될 수 있다. 가 실수이며 임을 위의 정의를 통해 알 수 있다. 가 실수임을 증명하려면 임의의 에 대해 가 존재하여 임을 보여야 한다. 를 취하면 된다. 는 자명하고, 등호의 성립을 보이려면 임의의 유리수 에 대하여, 양의 유리수 가 존재하여 임을 보이면 된다. 이 구성의 장점은 임의의 실수가 유일한 하나의 절단과 대응한다는 점이다. 십진법에 의한 실수의 표기는 시몬 스테빈 때부터 널리 알려졌다. 실수를 그의 (무한) 십진법 전개식으로 정의하고, 0.999...와 1.000... 등을 같은 실수로 정의한 뒤, 실수의 연산과 순서의 정의를 더한다. 십진법에 의한 정의는 코시 열과 데데킨트 절단에 의한 것과 동치이다. 10 외의 다른 밑을 사용해도 무방하다. 이 구성의 장점은, 실수에 대한 처음의 인상과 가까우며, 함수의 급수 전개를 시사한다는 것이다. 모든 실수 모형의 동형성을 증명하는 표준적 방법은 각각의 모델에서 모든 실수의 소수 전개식을 제시하는 것이다. *구성주의 (수학) 분류:실수 분류:구성주의 (수학) 분류:공리