수와
연산 Numbers and Operations |
|||
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
<colbgcolor=#765432> 수 체계 | 자연수 ( 홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 ( 정수가 아닌 유리수) · 실수 ( 무리수 · 초월수) · 복소수 ( 허수) · 사원수 | |
표현 | 숫자 ( 아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법( 과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 · BEAF· 버드 표기법) · 진법 ( 십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 ( 분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 { 유한소수 · 무한소수 ( 순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수 | ||
연산 | 사칙연산 ( 덧셈 · 뺄셈 · 곱셈 구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 ( 이중근호) · 거듭제곱 · 로그 ( 상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자 | ||
방식 | 암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자 | ||
용어 | 이항연산( 표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙 | ||
기타 | 수에 관련된 사항 ( 0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 ( 48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기( 바퀴 이론) · 0의 0제곱 | }}}}}}}}} |
[[대수학|대수학 Algebra ]]
|
||||
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
이론 | |||
기본 대상 | 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술) | |||
수 체계 | 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간 | |||
다루는 대상과 주요 토픽 | ||||
대수적 구조 | ||||
군(group) | 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리 | |||
환(ring) | 아이디얼 | |||
체(field) | 갈루아 이론 · 분해체 | |||
대수 | 가환대수 · 리 대수 · 불 대수( 크로네커 델타) | |||
마그마· 반군· 모노이드 | 자유 모노이드 · 가환 모노이드 | |||
선형대수학 | 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자) | |||
정리·추측 | ||||
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결 | ||||
관련 하위 분야 | ||||
범주론 | 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론 | |||
대수 위상수학 | 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 | |||
대수기하학 | 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 | |||
대수적 정수론 | 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리 | |||
가환대수학 | 스펙트럼 정리 | |||
표현론 | 실베스터 행렬 | |||
기타 및 관련 문서 | ||||
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 | }}}}}}}}} |
1. 정의
有 理 數 / rational number두 정수 [math(m)], [math(n)] ([math(n \ne 0)])으로 몫 [math(\dfrac mn)]을 나타낼 수 있는 수. 즉, 분자와 분모가 모두 정수이고 분모가 0이 아닌 분수로 나타낼 수 있는 수. 유리수의 집합은 몫을 뜻하는 이탈리아어 quoziente의 머릿글자를 따서 [math(\mathbb Q)]로 나타낸다.[1] 유리수는 ([math(0)]으로 나누는 것을 제외한) 모든 사칙연산( 덧셈, 뺄셈, 곱셈, 나눗셈)에 대해 닫혀있는 '최소의' 집합이기도 하다. 그래서 체 중에 가장 작은 체라는 뜻으로 소체(prime field)라고도 한다.[2] 지수 연산에 대해서는 닫혀 있지 않다. 예를 들면, [math(\left(\dfrac 12\right)^{\frac 12} = \dfrac 1{\sqrt 2} \notin \mathbb Q)], [math(\left(-\dfrac 23\right)^{\frac 12} = i \sqrt{\dfrac 23} \notin \mathbb Q)]
임의의 정수는 [math(\dfrac n1)]으로 나타낼 수 있으므로 유리수이고, 정수가 아닌 유리수는 분수 혹은 소수로 나타낼 수 있다.
유리수 [math(\dfrac pq)] [math((q \ne 0))]는 일차방정식 [math(qx - p = 0)]의 해이므로 항상 대수적 수이다. 즉, 초월수인 유리수는 존재하지 않는다.
2. 유리수의 소수표현
중1 올라가면 맨 처음으로 배운다. 초등학교 때 배운 분수와 소수의 관계에다 소인수분해가 섞여 나온다.정수가 아닌 유리수 [math(x=\dfrac mn)]을 나눗셈을 사용해 소수로 표현하면, 유한한 자리에서 나눗셈이 끝나는 유한소수 혹은 일정 자리 이후로 특정 패턴이 반복되는 순환소수가 된다. 역으로, 유한소수나 순환소수로 나타나는 소수는 유리수이다.[3]
유리수를 소수로 표현했을 때에 나타나는 내용에 관련해서는 다음의 문서에서 자세히 다루며 '관련 문서' 문단의 문서들도 참고한다.
- [ 유리수가 유한소수거나 순환소수임을 증명 펼치기 · 접기 ]
- 나눗셈 [math(x =\dfrac mn)]이 유한자리에서 끝나지 않는다면, 일정 자리 이후로 특정 패턴이 반복되어야 한다. 즉, 순환마디가 나타나야 한다. 우리가 흔히 소수의 나눗셈을 하는 방식에 따르면, 나눠지는 수(피제수)의 소숫점 아래자리에서 나누는 수의 배수만큼을 덜어내고, 그 나머지를 다시 나누게 된다. 이 때 나누는 수가 [math(n)]이면 나머지는 [math(0)]부터 [math((n-1))]까지 [math(n)]개만이 가능하고, 똑같은 나머지가 다시 나온다면 그 뒤로의 나눗셈 과정 역시 반복되기 때문에 순환 패턴이 생기는 것.[4] 역으로 순환소수는 반드시 분수로 나타낼 수 있다.[5]
유리수가 반드시 순환소수로 표현된다는 위의 설명이 불충분하게 느껴진다면 다음과 같은 더 강력한 방법을 쓸 수도 있다. [math(\dfrac mn)]([math(m)]은 정수, [math(n)]은 자연수)이 순환소수라는 것은 정수 [math(a)]와 자연수 [math(r)], [math(s)]를 이용하여 [math(\dfrac a{10^s \left( 10^r - 1 \right)})]의 꼴로 나타낼 수 있다는 것과 동치이다.[6] 왜냐하면 [math(\dfrac 1{10^r - 1} = \dfrac 1{10^r} + \dfrac 1{10^{2r}} + \dfrac 1{10^{3r}} + \cdots\cdots)] 이므로 다음과 같이 풀어쓸 수 있기 때문이다.
[math(\dfrac mn = \dfrac c{10^s} + \dfrac 1{10^s} \left( \dfrac d{10^r} + \dfrac d{10^{2r}} + \dfrac d{10^{3r}} + \cdots\cdots \right))].
여기서 [math(c)], [math(d)]는 각각 [math(a)]를 [math(10^r - 1)]로 나눠서 얻은 몫과 나머지[7]이며, [math(d)]가 바로 순환구간에 해당한다는 것을 알 수 있다. 예를 들어 [math(\dfrac 17 = 0.\dot14285\dot7)] 같은 경우 [math(r=6)], [math(s=c=0)], [math(d=142857)]이고 [math(\dfrac{67}{55} = 1.2\dot1\dot8)] 같은 경우 [math(r=2)], [math(s=1)], [math(c=12)], [math(d=18)]이다.
한편, 여기서 [math(s=c=0)]인 경우만 다뤄도 충분하다. 어차피 순환소수에 [math(10)]의 거듭제곱을 곱하든 정수를 더하든 순환소수가 될 뿐이고 [math(r)]과 [math(d)], 즉 순환구간의 길이와 내용은 바뀌지 않기 때문이다. 모든 혼순환소수는 어떤 순순환소수에 유한소수를 더한 것과 같기에 순순환소수만 다뤄도 충분한 것이다. 물론 [math(m)]이 자연수여도 상관없다. 또한 [math(n)]이 [math(2)]와 [math(5)]에 대해 서로소인 경우만 다뤄도 충분하다. 그렇지 않다 하더라도 분자와 분모에 적당한 [math(2)]와 [math(5)]의 거듭제곱을 곱하면 자연수 [math(q)], [math(n')]에 대해 [math(2^k 5^l n = 10^q n')]([math(n')]은 [math(2)], [math(5)]에 대해 각각 서로소)꼴로 만들 수 있는데, 이는 곧 [math(s=q)]인 혼순환소수이기 때문이다. 위의 [math(\dfrac{67}{55} = \dfrac{134}{110} = \dfrac{134}{10\times 11})]가 이에 해당한다. 당연히 [math(n'=1)]인 경우는 고려하지 않아도 된다. 따라서 주어진 문제는 [math(0<m<n)]이고, [math(n \ (n>1))]은 [math(2)]와 [math(5)]에 대해 서로소인 자연수인 경우로 좁혀진다. 그 결과 최종적으로 [math(\dfrac mn = \dfrac a{10^r - 1})]인 자연수 [math(a)], [math(r)]을 찾는 것으로 좁혀진다.
이걸 확실하게 풀기 위해선 페르마의 소정리에 대한 오일러의 일반화가 필요하다. 이 명제는 다음과 같이 주어진다.
서로소인 두 자연수 [math(\boldsymbol a)], [math(\boldsymbol n)]에 대해 [math(\boldsymbol{a^{\phi \left( n \right)}})]를 [math(\boldsymbol n)]으로 나눈 나머지는 [math(\boldsymbol 1)]이다.
([math(\phi \left( n \right))]는 오일러 파이 함수[8])
이 정리에서 [math(a=10)]로 놓으면 다음을 알 수 있다. 앞서 놓은 가정에 의하여 [math(n)]은 [math(10)]과 서로소이므로 [math(r = \phi \left( n \right))]을 만족하는 자연수 [math(r)]에 대해 [math(10^r -1)]는 [math(n)]의 배수이다. 이를 다르게 쓰자면 어떤 자연수 [math(r)], [math(q)]에 대해 [math(nq = 10^r - 1)]이다. 따라서 다음이 성립한다.
[math(\dfrac mn = \dfrac{mq}{nq} = \dfrac{mq}{10^r - 1})].
이것은 정확히 우리가 원하던 꼴이다. 결국 정수가 아닌 모든 유리수는 유한소수이거나 순환소수임이 증명되었다.
3. 조밀성과 완비성
임의의 두 실수 [math(a)], [math(b\left(a<b\right))] 사이에는 항상 유리수 [math(c)]가 있다. 따라서 수직선에서 유리수는 아무리 작은 선분에도 항상 존재하는데, 이를 유리수의 조밀성이라 한다. 하지만 유리수가 이렇게 조밀하게 있는데도, 유리수가 아닌 무리수들도 조밀성을 만족한다. 즉, 서로 다른 두 무리수 사이에는 항상 또 다른 무리수가 존재한다. 심지어 무리수 쪽이 훨씬 조밀하다. 즉 수직선 위의 유리수는 빽빽하게 들어차 있는데도 빈틈투성이인 이상한 세계인 것이다.이렇듯 유리수가 이상한 세계인 덕에 인간은 실수공간을 이해하는데 무한이라는 허들이 있음에도 근사치라는 개념을 통해 원하는 수를 가늠할 수 있게 하고 이에 정밀하게 접근할 수 있게 되었다. 이러한 유리수의 좋은 성질은 분리가능(Separable)이라는 개념으로 일반화되어 여러 해석학 이론에서 연구되고 있으며, 마찬가지로 이런 집합은 여러 함수와 모델에 보다 정밀한 접근이 가능해지는 만큼 유리수가 가져오는 공학적 모티브에도 매우 큰 의미가 있는 성질이라 할 수 있다.
수직선이 빈틈을 허용하지 않는다는 성질은 '완비성(completeness)'이라 부르는데, 이 완비성의 정의는 꽤나 복잡하다. 이 완비성이라는 성질과 유리수의 조밀성에 대해 더 알고 싶으면 실수 문서를 참고.
4. '유리수'는 잘못된 번역?
'유리수'라는 명칭은 잘못된 번역이라는 주장이 있다.이 단어는 일본 수학계에서 유리수의 영어 명칭인 'rational number'를 사전적인 의미[9] 그대로 번역한 有理数가 중역되어 한국으로 넘어온 것인데, 단순히 사전적인 의미에 의존하여 번역하는 것은 잘못된 것이고 'ratio[10]-nal'로 나누어 번역해 '유비수'라고 해야 한다는 것이 이쪽의 주장. 사실 유리수 자체가 비(분수꼴)로 나타낼 수 있는 수를 뜻하므로 이쪽도 일리있는 주장이다. 무리수도 똑같은 이유로 '무비수'라고 해야 한다는 것.
이는 영어 irrational의 어원인 라틴어 irratiōnālis의 역사에서 더 명확히 드러나는데, 고대 그리스 시대에 아리스토텔레스가 [math(\sqrt 2)]는 비로 나타낼 수 없음(incommensurable)을 증명하고 이를 'irratiōnālis'(도리에 어긋난, 비합리적인)이라고 한 것이 최초지만[11], 나중에 피타고라스 학파 출신 아르키타스(Archytas)의 제자 에우독소스(Eudoxus)[12]가 irratiōnālis라는 단어에 '비로 나타낼 수 없는'이라는 뜻을 재정립[13]해버렸다. 출처
그렇게 처음 단어가 만들어졌을 당시에는 '합리성'의 여부에 따라 단어가 만들어진 것이었으나, 이는 무리수를 수로 인정하지 않던 시대의 발상이기 때문에 오늘날의 수학계의 패러다임에서는 받아들이기 어렵다. 특히나 수학 용어에서는 지금 현재 나타내는 의미를 정확하게 나타내는 것이 더 중요하므로, '비'로 재편된 수학적 의미를 따라 번역하는 것이 더 적절할 수 있다.
5. 동음이의어
遊離水. 생체나 토양에 함유된 수분 가운데서 자유로이 이동이 가능한 물. 생체 반응이나 영양물ㆍ이온의 수송 따위에 중요한 역할을 한다. ‘자유수’(自由水)로 순화.6. 관련 문서
수 체계 Number Systems |
||||||
{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-5px -1px -11px; word-break: keep-all" |
사원수 [math(\mathbb H)] · 팔원수 [math(\mathbb O)] | |||||
↑ 확장 ↑ | ||||||
복소수 [math(\mathbb C)] | ||||||
↑ 대수적 폐포, 행렬 표현, 순서쌍 구성 등 ↑ | 허수 [math(\mathbb{C} | |||||
실수 [math(\mathbb R)] | ||||||
↑ 완비화, 데데킨트 절단 등 ↑ | 무리수 [math(\mathbb{R} \setminus \mathbb{Q} = \mathbb I)] | |||||
유리수 [math(\mathbb Q)] | ||||||
↑ 곱셈의 역원 ↑ | 정수가 아닌 유리수 [math(\mathbb{Q} \setminus \mathbb{Z})] | |||||
정수 [math(\mathbb Z)] | ||||||
↑ 덧셈의 역원 ↑ | 음의 정수 [math(\mathbb{Z} \setminus \mathbb{N})] | |||||
범자연수 [math(\mathbb N_0)] | ||||||
↑ 자연수의 집합론적 구성 ↑ | ||||||
[math(0)] | ||||||
소수 [math(\mathbb P)] · 초실수 [math(\mathbb R^{\ast})] · 대수적 수 [math(\mathbb A)]( 대수적 무리수 [math(\mathbb{A} \cap \mathbb{I})]) · 초월수 [math(\complement {\mathbb A})] · 벡터 공간 [math(\mathbb V)] · 이원수 · 분할복소수 | }}}}}}}}} |
수학 | 교과 내용 요소 | ||
{{{#!wiki style="margin: -0px -10px -5px; min-height: 26px" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-6px -2px -12px" |
[참고] 이 틀은 중학교 수학 내용 요소만을 담고 있습니다. | |
<colbgcolor=#2667a9><colcolor=white> ㄱ | <colbgcolor=#fff,#191919> 가감법 · 각도 · 규칙 · 각기둥 · 곱셈 공식 · 공약수 · 그래프 · 각뿔대 · 겉넓이 · 거듭제곱 | |
ㄴ | 내각 · 내접 · 농도 | |
ㄷ | 다각형 · 도형 · 등식 · 다항식 (단항식) · 도수분포표 · 대입법 · 대푯값 · 동위각 · 도수분포다각형 · 등변사다리꼴 | |
ㅁ | 막대그래프 · 무리수 · 미지수 · 면 · 맞꼭지각 · 마름모 | |
ㅂ | 부채꼴 · 부피 | |
ㅅ | 소수 · 사각형 · 삼각형 · 삼각비 · 실수 · 소인수분해 · 순환소수 · 사분면 · 선 · 수선 · 선분 · 상대도수 · 산포도 · 산점도 · 수직이등분선 | |
ㅇ | 원 · 원기둥 · 일차방정식 · 이차방정식 · 유리수 · 유한소수 · 일차함수 · 연립방정식 · 이차함수 · 완전제곱식 · 외각 · 엇각 · 외심 · 이등변삼각형 · 원주각 · 원주율 | |
ㅈ | 자연수 · 좌표평면 · 제곱근 · 정수 · 점 · 작도 · 전개도 · 중선 · 중근 · 지수 · 직사각형 | |
ㅊ | 최소공배수 · 최대공약수 | |
ㅍ | 피타고라스 정리 · 평행선 · 평행사변형 | |
ㅎ | 함수 · 합동 · 히스토그램 · 합성수 · 회전체 · 현 · 확률 |
[1]
이탈리아의 수학자 주제페 페아노(Giuseppe Peano)가 이 표기를 처음으로 도입했다. 유리수는 영어로 Rational number이지만 [math(\mathbb R)]은 실수(Real number)의 집합을 나타내므로 다른 기호를 사용한다.
[2]
그런데 더 작은 소체도 정의할 수 있다. 임의의 소수 [math(p)]에 대해 [math(0)], [math(1)], [math(2)], [math(\cdots\cdots)], [math(p-1)]을 모은 집합에 덧셈과 곱셈을 정수에서의 연산과 같게 하되, [math(p)]로 나눈 나머지만 갖도록 하면 나누기도 잘 정의된다. 또한 이렇게 해서 정의된 체는 같은 수를 [math(p)]번 연거푸 더했을 때 [math(0)]이 되는 모든 체가 포함하는 체(이런 체를 가리켜 characteristic이 [math(p)]인 체라고 부른다)이기에 [math(\{0, \ 1, \ 2, \cdots\cdots, \ p-1\})] 역시 소체가 된다. 이 세계는 유리수 같은 것과 관련이 있는 체들과 제법 다른 세계이다.
수 체계 참고.
[3]
소수점 아래에 규칙성이 있다는 것과는 다른 말이다. 순환소수는 소수점 아래에 항상 순환마디라는 규칙성이 존재하지만, 규칙성이 있는 비순환소수도 존재한다. 예를 들어, [math(0.101001000100001\cdots\cdots)] 같은 수는 소수점 아래에 규칙성이 있는 것은 맞지만 순환소수가 아니다. 순환소수가 되려면 일정한 폭의 순환마디가 있어야 하는데 이건 그렇지 못하기 때문. 이 수는 '비순환소수'임은 물론, 대수적인 수[21]도 아닌
초월수에 속한다.
[4]
말이 어렵지 직접 나눗셈을 해 보면 바로 이해할 수 있다!
[5]
엄밀한 증명을 위해서는 무한등비급수의 합(
극한)을 생각해야 하지만, 보통 수준에서는 10(순환마디의 길이)을 곱해 비교하는 중2 교과서의 설명으로 충분하다.
[6]
[math(10)]진법이기 때문에 우변의 지수에서 밑이 [math(10)]일 뿐이고 이를 [math(1)]보다 큰 다른 자연수로 바꿔 써도 아래에 기술된 내용들은 변하는 게 없다. 위에서 언급한 '[math(2)]와 [math(5)]에 대해 서로소'라는 부분 역시 다른 진법에서는 그 수의 약수가 되는 소수들로 바꾸기만 하면 된다. 그래도 논리는 그대로 유지된다. 이로부터 얻을 수 있는 게 뭐냐면 [math(\boldsymbol{10})]진법이 아닌 다른 진법에서도 모든 유리수는 순환소수로 표현된다는 것이다.
[7]
즉 [math(a=c \left( 10^r -1 \right) + d)]
[8]
그냥 뭔가 자연수인가보다라고 넘어가도 무방하다. 사실 이 함수의 값은 [math(0)]과 [math(n)] 사이의 자연수들 중에서 [math(n)]과
서로소인 자연수들의 개수로 정의된다, 구체적으로 [math(n = {p_1}^{r_1} {p_2}^{r_2} \cdots\cdots {p_s}^{r_s})]과 같이 소인수분해가 되었을 때 [math(\phi \left( n \right) = (p_1 - 1)(p_2 - 1) \cdots \cdots (p_s - 1) {p_1}^{r_1 - 1} {p_2}^{r_2 - 1} \cdots \cdots {p_s}^{r_s - 1})]으로 쓸 수 있다.
[9]
rational: 이치(理致)에 맞는; 도리(道理)가 있는 → 有理
[10]
비(比)
[11]
무리수 문서에서도 알 수 있듯이 [math(\sqrt 2)]는 이처럼 비합리적인 수였기 때문에 발견 당시에 수로 인정받지 못했다.
[12]
플라톤의 제자이기도 하다.
[13]
에우클레이데스의 원론 제5권에 등장한다.
[14]
영어 proportion의 어원이다.
[15]
정확히는 라틴어에서 차용한 것이므로 '번역'이 더 알맞은 표현이지만
[16]
이렇게 복잡해보이는 단어에서 간단한 단어가 만들어지는 것을
역성법이라고 한다. 그렇게 드문 현상은 아니다.
[17]
등호 기호(=)를 최초로 쓴 사람이다!
[18]
당시 철자법이 지금과 달라 'irrationall'로 기록되어있다.
[19]
역시 이 당시 철자는 rationall
[20]
ratio decidendi의 준말로 엄밀히 따지면 영어가 아니고 라틴어이다.