| r6 | ||
|---|---|---|
| r1 (새 문서) | 1 | [목차] |
| r2 | 2 | == 개요 == |
| r1 (새 문서) | 3 | {{{+2 The Real Number System}}} |
| 4 | 실수에 대하여 어떤 성질을 만족하는 체계이다. --"Real"이라는 단어를 보고 "레알 넘버"니까 참된 숫자라고-- 혹여 다르게 생각할 수 있겠으나, 기준이 되는 [math(0)]과 [math(1)]을 기점으로 [[덧셈]]과 [[곱셈]] 연산에 대한 성질 등 여러 성질을 만족하면서 현실에서 대소를 비교할 수 있는 숫자들의 체계를 가리킨다. | |
| 5 | 여기에는 사칙연산만 안다면 직관적으로도 알 수 있는 성질들이 많기도 하며, 또한 별도 증명이 없이 시작하는 공리(Axiom)들로 도배되어 있다. | |
| 6 | 이를 기점으로 여러 정리들이 이루어진다. 이를테면 음수에 음수를 곱하면 양수가 됨을 증명(...)하는 것. | |
| 7 | ||
| r2 | 8 | 공리, 정리에 대한 자세한 설명은 [[논리(수학)|이 문서]]를 참조할 수 있으며, 집합에 대한 자세한 설명은 [[집합(수학)|이 문서]]를 참조할 수 있다. |
| 9 | ||
| 10 | == 기본적인 실수의 성질 == | |
| r4 | 11 | 다음은 실수에 대한 성질을 다루며, 공리로 다루어 시작한다. |
| r6 | 12 | (논리체계를 시작으로 하여 [math(1 \in \mathbb{C})], [math(1 \neq 0)]을 공리로 둔 다음 여러 논리체계의 정리를 거쳐 [math(1 \in \mathbb{R})]이 성립함을 [[http://us.metamath.org/mpeuni/1re.html|증명한 곳]](...)도 있다. 여기서 [math(\mathbb{C})]는 모든 [[복소수]]들을 모아놓은 집합이다. 복소수체계를 공리로 두고 시작하는 방법이든 실수체계를 공리로 두고 시작하는 방법이든 둘 중 하나는 공리로 둘 수 밖에 없다.) |
| r3 | 13 | ||모든 실수를 모아놓은 집합 [math(\mathbb{R})]과 임의의 실수 [math(a)], [math(b)], [math(c)]에 대하여 다음을 만족한다. |
| r4 | 14 | 1. [[덧셈]] 연산 "[math(+)]"에 대한 성질 |
| r6 | 15 | * [math(a+b \in \mathbb{R})] : 덧셈 연산'''에 대하여 닫혀 있다'''.[*닫힘 즉 [math(\mathbb{R})]의 그 어느 두 원소를 가져와서 해당 연산을 해도 [math(\mathbb{R})]의 원소가 아닌 원소로 되지 않는다.] |
| r3 | 16 | * [math({\color{red}a}+{\color{orange}b}={\color{orange}b}+{\color{red}a})] : 덧셈 연산에 대한 '''교환법칙'''이 성립한다. |
| r6 | 17 | * [math({\color{blue}(}a+b{\color{blue})}+c=a+{\color{blue}(}b+c{\color{blue})})] : 덧셈 연산에 대한 '''결합법칙'''이 성립한다. 괄호를 풀어서 [math(=a+b+c)]이라는 식까지 추가 서술하는 곳이 있다. |
| r3 | 18 | * [math({\color{red}0} \in \mathbb{R})]이 존재하여 |
| r4 | 19 | [math(a+{\color{red}0}={\color{red}0}+a=a)]인 [math(a)]에 대한 항등식을 만족한다. |
| 20 | : 덧셈 연산'''에 대한 [math(a)]의 항등원'''인 [math({\color{red}0})]이 존재한다. | |
| 21 | * [math({\color{green}-a} \in \mathbb{R})]이 존재하면서 | |
| 22 | [math(a+{\color{green}(-a)}={\color{green}(-a)}+a={\color{red}0})]인 [math(a)]에 대한 항등식을 만족한다. | |
| 23 | : 덧셈 연산'''에 대한 [math(a)]의 역원'''인 [math({\color{green}-a})]이 존재한다. | |
| r5 | 24 | |
| r4 | 25 | 2. [[곱셈]] 연산 "[math(•)]"에 대한 성질 |
| r5 | 26 | * [math(a•b \in \mathbb{R})] : 곱셈 연산'''에 대하여 닫혀 있다'''.[*닫힘] |
| r4 | 27 | * [math({\color{red}a}•{\color{orange}b}={\color{orange}b}•{\color{red}a})] : 곱셈 연산에 대한 '''교환법칙'''이 성립한다. |
| r6 | 28 | * [math({\color{blue}(}a•b{\color{blue})}•c=a•{\color{blue}(}b•c{\color{blue})})] : 곱셈 연산에 대한 '''결합법칙'''이 성립한다. 괄호를 풀어서 [math(=a•b•c)]이라는 식까지 추가 서술하는 곳이 있다. |
| r4 | 29 | * [math({\color{red}1} \in \mathbb{R})]이 존재하여 |
| 30 | [math(a•{\color{red}1}={\color{red}1}•a=a)]인 [math(a)]에 대한 항등식을 만족한다. | |
| 31 | : 곱셈 연산'''에 대한 [math(a)]의 항등원'''인 [math({\color{red}1})]이 존재한다. | |
| 32 | * "[math(0)]이 아닌" [math(a)]에 대하여, [math({\color{green}{\dfrac{1}{a}}} \in \mathbb{R})]이 존재하면서 | |
| 33 | [math(a•{\color{green}{\dfrac{1}{a}}}={\color{green}{\dfrac{1}{a}}}•a={\color{red}1})]인 [math(a)]에 대한 항등식을 만족한다. | |
| 34 | : 곱셈 연산'''에 대한 [math(a)]의 역원'''인 [math({\color{green}{\dfrac{1}{a}}})]이 존재한다. | |
| r5 | 35 | |
| r6 | 36 | 3. 덧셈 연산과 곱셈 연산에 대한 성질 (분배법칙) |
| r5 | 37 | * [math({\color{red}a}{\color{green}•}{\color{blue}(}{\color{orange}b}{\color{blue}+}{\color{gold}c}{\color{blue})}={\color{red}a}{\color{green}•}{\color{orange}b}{\color{blue}+}{\color{red}a}{\color{green}•}{\color{gold}c})] |
| 38 | * [math({\color{blue}(}{\color{red}a}{\color{blue}+}{\color{orange}b}{\color{blue})}{\color{green}•}{\color{gold}c}={\color{red}a}{\color{green}•}{\color{gold}c}{\color{blue}+}{\color{orange}b}{\color{green}•}{\color{gold}c})] | |
| r3 | 39 | || |
| r1 (새 문서) | 40 | [[분류:수학]] |