맨위로가기

정수

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

정수는 "전체의" 또는 "손대지 않은"을 의미하는 라틴어에서 유래된 수로, 양의 정수, 음의 정수, 0을 포함한다. 고대 중국에서 음수의 덧셈과 뺄셈이 사용되었고, 19세기 말 게오르크 칸토어가 무한집합 개념을 도입하기 전까지 '정수 집합'이라는 용어는 사용되지 않았다. 정수 집합은 덧셈, 뺄셈, 곱셈에 닫혀 있으며, 덧셈에 대한 아벨 군, 곱셈에 대한 가환 모노이드를 형성한다. 정수는 전순서 집합이며 순서환이다. 정수 체계는 자연수 체계로부터 구성될 수 있으며, 컴퓨터에서는 2진법을 사용하여 표현되며, 고정된 크기 또는 가변 길이로 표현될 수 있다.

2. 역사

"정수"라는 단어는 "전체의" 또는 "손대지 않은" 것을 의미하는 라틴어 ''integer''에서 유래했다.[8] 역사적으로 이 용어는 1의 배수[9][10] 또는 혼합수의 정수 부분[11][12]을 가리키는 데 사용되었으며, 처음에는 자연수와 같은 의미로 쓰였다. 시간이 지나면서 음수의 유용성이 인정되어, 레온하르트 오일러는 1765년 대수학 원론에서 양수와 음수를 모두 포함하는 정수를 정의했다.[13][14] 19세기 말 게오르크 칸토어가 무한집합과 집합론 개념을 도입하기 전까지는 "정수 집합"이라는 표현이 사용되지 않았다.

자연수는 1950년대 초까지 정수와 같은 의미로 사용되었다.[24][25][26] 1950년대 후반, 새로운 수학 운동의 일환으로, 미국의 초등학교 교사들은 "자연수"는 음수를 제외한 자연수를, "정수"는 음수를 포함한다고 가르치기 시작했다.[28][29]

사물의 개수를 세는 단순한 의미의 자연수에서는 덧셈과 곱셈은 자유롭게 할 수 있지만, 뺄셈은 "빼지는 수가 빼는 수보다 크다"라는 조건이 필요했다. 이러한 제한을 없애기 위해 "음의 정수"를 도입하여 수의 범위를 확장한 것이 정수의 개념이다. 즉,

:a+x=b

꼴의 방정식은, ab가 정수라면 반드시 유일한 해를 갖는다.

자연수를 "양의 정수"로 하고, 자연수 ''n''에 대해 덧셈에 대한 역원 −''n''을 도입하여 "음의 정수"로 정의한다. "양의 정수", "0", "음의 정수"를 합쳐서 일반적으로 덧셈, 뺄셈, 곱셈을 할 수 있으며, "양의 정수"에 대한 연산은 자연수로서의 연산과 같다.

:a-b=a+(-b)

하지만, 2 \times x=1과 같이 정수 x가 존재하지 않는 경우가 있어, 나눗셈은 자유롭지 못하다. (유리수로 수의 범위를 넓혀야 한다.)

페르시아의 수학자 아부르 와파는 음수끼리의 곱이 양수임을 기록했지만, 수는 여전히 물리적인 양과 연결되어 음수가 실존하는 것으로 인정받기 어려웠다. 알콰리즈미는 계수에 음수가 나타나지 않도록 이차방정식을 6가지 유형으로 분류했다.

2. 1. 동양

기원전 1세기부터 기원후 2세기에 걸쳐 편찬된 고대 중국의 『구장산술』에는 0과 음수의 덧셈, 뺄셈 연산이 나타난다.[42] 인도의 수학자 아리아바타는 음수를 부채, 양수를 수입으로 표현하여 덧셈과 뺄셈 규칙을 정의했다.

2. 2. 서양

유럽에서는 정수의 개념이 비교적 늦게 나타났으며, 사이먼 스테빈이 정수의 곱셈에 대한 부호 규칙을 제시했다.[43] 장 르 롱 달랑베르백과전서에서 정수가 불확실한 개념이라고 언급하기도 했다.[43]

19세기 후반, 리하르트 데데킨트를 비롯한 수학자들에 의해 집합론을 기반으로 정수의 엄밀한 구성이 이루어졌다.[43] 정수 집합 기호 ℤ는 다비드 힐베르트가 사용한 독일어 ''Zahlen''("수")에서 유래했으며,[15][16][17] 니콜라 부르바키 그룹에 의해 널리 퍼졌다.[15][18][43]

3. 대수적 성질

자연수 집합과 마찬가지로, 정수 집합은 덧셈곱셈에 대해 닫혀 있다. 하지만 자연수 집합과 다르게, 뺄셈에도 닫혀 있다. 나눗셈에는 닫혀 있지 않다.

정수에 대한 덧셈과 곱셈의 성질
덧셈곱셈
닫힘:a + b영어는 정수이다a × b영어는 정수이다
결합법칙:a + (b + c) = (a + b) + c영어a × (b × c) = (a × b) × c영어
교환법칙:a + b = b + a영어a × b = b × a영어
항등원의 존재:a + 0 = a영어a × 1 = a영어
역원의 존재:a + (−a) = 0영어역원을 가지는 정수(즉, 단원)는 –1과 1뿐이다.
분배법칙:a × (b + c) = (a × b) + (a × c)영어 및 (a + b) × c = (a × c) + (b × c)영어
영인자 없음:a × b = 0영어 이면 a = 0영어 또는 b = 0영어 (또는 둘 다)이다



위 표에서 덧셈에 대한 처음 다섯 가지 성질은 정수(\mathbb{Z})가 덧셈에 대해 아벨 군임을 보여준다. 또한 모든 0이 아닌 정수는 유한 합 1 + 1 + ... + 1영어 또는 (−1) + (−1) + ... + (−1)영어으로 쓸 수 있으므로 순환군이기도 하다. 사실, 덧셈에 대한 정수(\mathbb{Z})는 유일한 무한 순환군이다. 즉, 모든 무한 순환군은 정수(\mathbb{Z})와 동형이다.

위 표에서 곱셈에 대한 처음 네 가지 성질은 정수(\mathbb{Z})가 곱셈에 대해 가환 모노이드임을 보여준다. 그러나 모든 정수가 곱셈에 대한 역원을 가지는 것은 아니다(2와 같은 경우). 즉, 정수(\mathbb{Z})는 곱셈에 대해 군이 아니다.

위 표의 모든 규칙(마지막 규칙 제외)은 덧셈과 곱셈을 갖춘 정수(\mathbb{Z})가 단위원을 갖는 가환환임을 의미한다. 이는 그러한 모든 대수 구조의 원형이다. 변수의 모든 값에 대해 정수(\mathbb{Z})에서만 참인 표현식의 등식은 단위원을 갖는 모든 가환환에서 참이다. 특정 비영 정수는 특정 환에서 으로 사상된다.

정수에 영인자가 없다는 사실(표의 마지막 성질)은 가환환 정수(\mathbb{Z})가 정역임을 의미한다.

곱셈에 대한 역원이 없다는 사실은 정수(\mathbb{Z})가 나눗셈에 대해 닫혀 있지 않다는 사실과 같으며, 정수(\mathbb{Z})가 가 아님을 의미한다. 정수를 부분환으로 포함하는 가장 작은 체는 유리수의 체이다. 정수로부터 유리수를 구성하는 과정은 임의의 정역의 분수체를 형성하기 위해 모방될 수 있다. 대수적 수체(유리수의 확장)에서 시작하여, 그 정수환을 추출할 수 있으며, 그 안에는 정수(\mathbb{Z})가 부분환으로 포함된다.

일반적인 나눗셈은 정수(\mathbb{Z})에서 정의되지 않지만, "나머지가 있는" 나눗셈은 정의되어 있다. 이것은 유클리드 나눗셈이라고 하며, 다음과 같은 중요한 성질을 갖는다. 0이 아닌 두 정수 ''a''영어와 ''b''영어가 주어지면, ''a'' = ''q'' × ''b'' + ''r''영어이고 0 ≤ ''r'' < |''b''|영어를 만족하는 고유한 정수 ''q''영어와 ''r''영어가 존재한다. 정수 ''q''영어는 ''b''영어로 ''a''영어를 나눈 몫이라고 하고, ''r''영어는 나머지라고 한다. 최대공약수를 계산하는 유클리드 호제법은 유클리드 나눗셈의 연속으로 작동한다.

위에서 언급한 내용은 정수(\mathbb{Z})가 유클리드 정역임을 보여준다. 이는 정수(\mathbb{Z})가 주이상 정역이며, 모든 양의 정수는 소수들의 곱으로 본질적으로 유일하게 쓸 수 있음을 의미한다.[32] 이것이 산술의 기본 정리이다.

4. 순서 구조

ℤ는 상한과 하한이 없는 전순서 집합이다. ℤ의 순서는 다음과 같이 주어진다.

:... −3 < −2 < −1 < 0 < 1 < 2 < 3 < ...

정수는 0보다 크면 ''양수'', 0보다 작으면 ''음수''이다. 0은 양수도 음수도 아니다.

정수의 순서는 다음과 같은 방식으로 대수적 연산과 호환된다.

# a < b 이고 c < d 이면 a + c < b + d 이다.

# a < b 이고 0 < c 이면 ac < bc 이다.

따라서 위 순서와 함께 ℤ는 순서환이 된다.

정수는 양의 원소가 우수순서인 유일한 비자명 전순서 아벨 군이다.[33] 이것은 임의의 네터 환 값환이 이거나 이산 값환임과 동치이다.

5. 엄밀한 구성

정수는 (0을 포함하는) 자연수 체계 \mathbb N으로부터 정의할 수 있다. 집합 \mathbb N\times\mathbb N 위에 동치 관계를 다음과 같이 정의한다.

:(m,n)\sim(m+k,n+k)\forall k\in\mathbb N

이 동치 관계에 대한 몫집합을 정수 집합 \mathbb Z=(\mathbb N\times\mathbb N)/\sim라고 정의한다.

격자점과 정수와의 대응


덧셈과 곱셈은 다음과 같이 정의한다.

:[(m,n)]_\sim+[(p,q)]_\sim=[(m+p,n+q)]_\sim

:[(m,n)]_\sim\cdot[(p,q)]_\sim=[(mp+nq,mq+np)]_\sim

이러한 구성 방법은 모노이드에서 군으로 체계를 확장할 때 생기는 그로텐디크 군의 한 형태이다.[34]

현대 집합론적 수학에서는 정수를 자연수의 순서쌍의 동치류로 구성한다.[36][37][38] (a, b)a에서 b를 뺀 결과를 나타낸다.[39] (1, 2)(4, 5)가 같은 수를 나타낸다는 것을 보이기 위해 동치 관계 \sim를 다음과 같이 정의한다.

:(a,b)\sim(c,d) a+d=b+c 인 경우이다.

정수의 덧셈과 곱셈은 자연수에 대한 연산으로 정의할 수 있다.[39] [(a,b)]를 사용하면 다음과 같다.

:[(a,b)]+[(c,d)]:=[(a+c,b+d)]

:[(a,b)]\cdot[(c,d)]:=[(ac+bd,ad+bc)]

정수의 부호(가법적 역원)는 순서를 바꿈으로써 얻을 수 있다.

:-[(a,b)]:=[(b,a)]

뺄셈은 가법적 역원의 덧셈으로 정의할 수 있다.

:[(a,b)]-[(c,d)]:=[(a+d,b+c)]

정수의 표준 순서는 다음과 같다.

:[(a,b)]<[(c,d)] 만약 그리고 오직 만약 a+d.

이러한 정의가 동치류의 대표자 선택과 무관함을 확인할 수 있다.

모든 동치류는 (n,0) 또는 (0,n) 형태의 고유한 원소를 갖는다. 자연수 n는 클래스 [(n,0)]와 동일시되며, 클래스 [(0,n)]-n로 표시된다.

따라서 [(a,b)]는 다음과 같이 표시된다.

:\begin{cases}a-b,&\mbox{if }a\ge b\\-(b-a),&\mbox{if }a

몇 가지 예는 다음과 같다.

:\begin{align}0&=[(0,0)]&=[(1,1)]&=\cdots& &=[(k,k)]\\1&=[(1,0)]&=[(2,1)]&=\cdots&&=[(k+1,k)]\\-1&=[(0,1)]&=[(1,2)]&=\cdots&&=[(k,k+1)]\\2&=[(2,0)]&=[(3,1)]&=\cdots&&=[(k+2,k)]\\-2&=[(0,2)]&= [(1,3)]&=\cdots&&=[(k,k+2)]\end{align}

자연수 전체 '''N'''은 뺄셈에 대해 닫혀 있지 않지만, 음의 정수를 도입하여 정수 전체 '''Z'''를 구성하였다. 잘 알려진 방법[44]으로, 자연수의 덧셈과 곱셈만으로 동치 관계나 상집합과 같은 도구를 사용하여 정수를 구성할 수 있다. 이하의 구성에서는 자연수에 0을 포함하지 않는다.[45]

직곱집합 '''N'''2 = '''N''' × '''N''' = {(''a'', ''b'') | ''a'', ''b''는 자연수}를 생각한다.[46] '''N'''2동치 관계 ~를 다음과 같이 정의한다.

: (''a'', ''b'') ~ (''c'', ''d'') ⇔ ''a'' + ''d'' = ''b'' + ''c''

'''N'''2를 동치 관계 ~로 분류한 집합(상집합) '''N'''2/~를 생각한다. (''a'', ''b'') ∈ '''N'''2의 동치류를 [''a'', ''b''] ∈ '''N'''2/''R''로 나타낸다. [''a'', ''b'']는 다음과 같다.

: [''a'', ''b''] = {(''c'', ''d'') ∈ '''N'''2 | (''a'', ''b'') ~ (''c'', ''d'')}

(''a'', ''b'')를 이 동치류의 대표원이라고 부른다. 대표원은 동치인 것이라면 다른 것으로 바꿀 수 있다.[46] 상집합 '''N'''2/~에 덧셈 +와 곱셈 ×를 다음과 같이 정의한다.

: [''a'', ''b''] + [''c'', ''d''] = [''a'' + ''c'', ''b'' + ''d'']

: [''a'', ''b''] × [''c'', ''d''] = [''ac'' + ''bd'', ''ad'' + ''bc'']

이들은 대표원을 어떻게 취하든지 동치류끼리의 연산으로 정의된다.[46]

[''a'', ''b''] + [''m'', ''m''] = [''a'' + ''m'', ''b'' + ''m''] = [''a'', ''b'']이므로, ''R'' = {(''m'', ''m'') | ''m'' ∈ '''N'''}은 '''N'''2/~의 덧셈에 관한 단위원이다.

자연수 ''m''에 대해 [''m'' + 1, 1]을 대응시키는 사상은 단사이며, 다음과 같다.

: [''m'' + 1, 1] + [''n'' + 1, 1] = [''m'' + ''n'' + 2, 2] = [(''m'' + ''n'') + 1, 1]

: [''m'' + 1, 1] × [''n'' + 1, 1] = [(''m'' + 1)(''n'' + 1) + 1, (''m'' + 1) + (''n'' + 1)] = [''mn'' + ''m'' + ''n'' + 1, ''m'' + ''n'' + 2] = [''mn'' + 1, 1]

따라서 '''N'''은 '''N'''2/~에 연산까지 포함하여 포함될 수 있다.[47]

기호의 남용이지만, 자연수 ''m''을 포함시킨 곳과 동일시하여 ''m'' = [''m'' + 1, 1]로 쓰고, (양의) 정수 ''m''이라고 부른다.[48]

같은 포함은, 자연수 ''m''에 대해 [1, ''m'' + 1]을 대응시키는 것으로도 얻을 수 있지만, 합과 곱은 다음과 같다.

: [1, ''m'' + 1] + [1, ''n'' + 1] = [2, ''m'' + ''n'' + 2] = [1, ''m'' + ''n'' + 1]

: [1, ''m'' + 1] × [1, ''n'' + 1] = [1 + (''m'' + 1)(''n'' + 1), (''m'' + 1) + (''n'' + 1)] = [''mn'' + ''m'' + ''n'' + 1, ''m'' + ''n'' + 2] = [''mn'' + 1, 1]

자연수 ''m''에 대해, −''m''을 [1, ''m'' + 1]을 나타내는 것으로 도입하여, 음의 정수 −''m''이라고 부른다.[49]

음의 정수끼리의 곱이 양의 정수가 되는 것을 확인할 수 있다.

''m'' + (−''m'') = [''m'' + 1, 1] + [1, ''m'' + 1] = [''m'' + 2, ''m'' + 2] = ''R''이므로, 음의 정수 −''m'' = [1, ''m'' + 1]은 '''N'''2/~에서 양의 정수 ''m'' = [''m'' + 1, 1]의 덧셈에 관한 역원이다.[50]

''R''을 0으로 쓰고, '''N'''2/~ = {''m'', 0, −''m'' | ''m'' ∈ '''N'''}을 정수 전체의 집합이라고 부르고, '''Z'''로 쓴다.

6. 관련 개념

유리수와 정수의 관계는 대수적 수와 대수적 정수의 관계로 일반화될 수 있다.

7. 컴퓨터에서의 정수 표현

정수는 컴퓨터 언어에서 기본적인 자료형으로 자주 사용된다. 하지만 실제 컴퓨터는 유한한 용량을 가지고 있기 때문에 정수 자료형은 모든 정수의 부분집합만 나타낼 수 있다. 또한 일반적인 2의 보수 표현 방식에서는 고유한 부호 정의에 따라 "음수"와 "음수가 아닌 수"를 구분하며, "음수, 양수, 0"으로 구분하지 않는다. (하지만 컴퓨터는 정수 값이 실제로 양수인지 여부를 판별하는 것이 가능하다.) 고정 길이 정수 근사 자료형(또는 부분집합)은 여러 프로그래밍 언어(예: 알골 68, C, 자바, 델파이 등)에서 ''int'' 또는 Integer로 표시된다.

큰 정수와 같이 가변 길이로 정수를 나타내는 방법은 컴퓨터 메모리에 들어갈 수 있는 모든 정수를 저장할 수 있다. 다른 정수 자료형은 고정된 크기로 구현되며, 일반적으로 2의 거듭제곱(4, 8, 16 등)인 비트 수 또는 기억하기 쉬운 10진수 자릿수(예: 9 또는 10)를 사용한다.[1]

컴퓨터 내부에서는 전기적 신호의 유무를 1과 0에 할당하여 2진법을 사용하여 정수를 표현하는 것이 기본이다. 일반적으로 2 바이트(16 비트) 또는 4 바이트(32비트)의 범위에서 표현할 수 있는 범위의 수를 다룬다. 음수를 다루는 경우에는 2의 보수 표현 등이 사용된다. 일반적으로는 유한한 범위의 정수만 다룰 수 있지만, 처리 속도를 희생하여 무한한 정수를 다루는 방법도 있다.[2]

사무 처리 등 금액과 같이 큰 자릿수나 10진 소수를 정확하게 다뤄야 하는 경우에는 이진화십진 표현을 사용한다.[3]

참조

[1] 서적 Science and Technology Encyclopedia https://books.google[...] University of Chicago Press 2000-09-01
[2] 서적 Algebra and trigonometry; https://archive.org/[...] Allyn and Bacon 1963-01-01
[3] 서적 Introduction to Algebra https://books.google[...] Oxford University Press 2016-02-15
[4] 서적 Mathematical Methods in Linguistics https://books.google[...] Springer Science & Business Media 1990-04-30
[5] 서적 Introduction to Proof in Abstract Mathematics https://books.google[...] Courier Corporation 2014-06-10
[6] 서적 Meaning in Mathematics https://books.google[...] OUP Oxford 2011-05-19
[7] 서적 GMAT Complete 2020: The Ultimate in Comprehensive Self-Study for GMAT https://books.google[...] Simon and Schuster 2019-06-04
[8] 서적 Quantification in Natural Languages https://books.google[...] Kluwer Academic Publishers
[9] 서적 Encyclopædia Metropolitana https://books.google[...] B. Fellowes 1845-01-01
[10] 서적 Encyclopaedia Britannica https://books.google[...] 1771-01-01
[11] 원고 Incipit liber Abbaci compositus to Lionardo filio Bonaccii Pisano in year Mccij https://bibdig.museo[...] Museo Galileo 1202-01-01
[12] 서적 Encyclopaedia Britannica https://books.google[...] 1771-01-01
[13] 서적 Negative Math Princeton University Press 2014-01-01
[14] 서적 Vollstandige Anleitung Zur Algebra https://archive.org/[...] 1771-01-01
[15] 웹사이트 Earliest Uses of Symbols of Number Theory http://jeff560.tripo[...] 2010-09-20
[16] 서적 Introduction to Algebra https://books.google[...] Oxford University Press 2016-02-15
[17] 서적 The University of Leeds Review https://books.google[...] University of Leeds. 1989-01-01
[18] 서적 Algèbre, Chapter 1 https://archive.org/[...] Hermann 1951-01-01
[19] 서적 Lattice Theory https://archive.org/[...] American Mathematical Society 1948-01-01
[20] 서적 Canadian Journal of Mathematics https://books.google[...] Canadian Mathematical Society 1960-01-01
[21] 서적 Contemporary Progress in Mathematics: Teacher Supplement [to] Part 1 and Part 2 https://books.google[...] Boston College 1961-01-01
[22] 서적 Edexcel AS and A Level Modular Mathematics: Core Mathematics 1 Pearson
[23] 서적 Advanced Mathematics Longman
[24] 서적 Theory of Numbers https://books.google[...] Deighton, Bell and Company 1892-01-01
[25] 서적 Junior Mathematics for Today https://books.google[...] Ginn 1934-01-01
[26] 서적 Elements of Algebra https://books.google[...] McGraw-Hill 1950-01-01
[27] PhD A history of the "new math" movement in the United States https://dr.lib.iasta[...] Iowa State University 1981-01-01
[28] 서적 The Growth of Mathematical Ideas, Grades K-12: 24th Yearbook https://books.google[...] National Council of Teachers of Mathematics 1959-01-01
[29] 서적 Elementary School Mathematics: New Directions https://books.google[...] U.S. Department of Health, Education, and Welfare, Office of Education 1963-01-01
[30] 웹사이트 entry: whole number https://www.ahdictio[...] HarperCollins
[31] 웹사이트 Integer {{!}} mathematics https://www.britanni[...] 2020-08-11
[32] 서적 Algebra Addison-Wesley
[33] 서적 Modern Algebra https://books.google[...] Courier Corporation 2015-04-29
[34] 서적 Number systems and the foundations of analysis https://archive.org/[...] Malabar, Fla. : R.E. Krieger Pub. Co. 1985-01-01
[35] 서적 Number Systems and the Foundations of Analysis https://books.google[...] Courier Dover Publications 2016-02-15
[36] book Álgebra
[37] book From Natural Numbers to Quaternions Springer Cham
[38] book Learning to Teach Number: A Handbook for Students and Teachers in the Primary School https://books.google[...] Nelson Thornes 2016-02-15
[39] book The structure of arithmetic https://archive.org/[...] Appleton-Century-Crofts
[40] conference On the Most Suitable Axiomatization of Signed Integers https://hal.inria.fr[...] Springer 2018-01-25
[41] text
[42] reference
[43] website Earliest Uses of Symbols of Number Theory http://jeff560.tripo[...]
[44] reference
[45] text
[46] text
[47] text
[48] text
[49] text
[50] text



본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com