•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
더 보기

실수체계(비교)

r10 vs r14
......
1616
다음은 덧셈과 곱셈 연산에 대한 성질이다.
1717
||모든 실수를 모아놓은 집합 [math(\mathbb{R})]과 임의의 실수 [math(a)], [math(b)], [math(c)]에 대하여 다음을 만족한다.
1818
{{{+1 I.}}} [[덧셈]] 연산 "[math(+)]"에 대한 성질
19
1. [math(a+b \in \mathbb{R})] : 덧셈 연산'''에 대하여 닫혀 있다'''.[*닫힘 즉 [math(\mathbb{R})]의 그 어느 두 원소를 가져와서 해당 연산을 해도 [math(\mathbb{R})]의 원소가 아닌 원소로 되지 않는다.]
20
1. [math({\color{red}a}+{\color{orange}b}={\color{orange}b}+{\color{red}a})] : 덧셈 연산에 대한 '''교환법칙'''이 성립한다.
21
1. [math({\color{blue}(}a+b{\color{blue})}+c=a+{\color{blue}(}b+c{\color{blue})})] : 덧셈 연산에 대한 '''결합법칙'''이 성립한다. 괄호를 풀어서 [math(=a+b+c)]이라는 식까지 추가 서술하는 곳이 있다.
22
1. [math({\color{red}0} \in \mathbb{R})]이 존재하여
19
1. [anchor(Axiom_1.1)][math(a+b \in \mathbb{R})] : 덧셈 연산'''에 대하여 닫혀 있다'''.[*닫힘 즉 [math(\mathbb{R})]의 그 어느 두 원소를 가져와서 해당 연산을 해도 [math(\mathbb{R})]의 원소가 아닌 원소로 되지 않는다.]
20
1. [anchor(Axiom_1.2)][math({\color{red}a}+{\color{orange}b}={\color{orange}b}+{\color{red}a})] : 덧셈 연산에 대한 '''교환법칙'''이 성립한다.
21
1. [anchor(Axiom_1.3)][math({\color{blue}(}a+b{\color{blue})}+c=a+{\color{blue}(}b+c{\color{blue})})] : 덧셈 연산에 대한 '''결합법칙'''이 성립한다. 괄호를 풀어서 [math(=a+b+c)]이라는 식까지 추가 서술하는 곳이 있다.
22
1. [anchor(Axiom_1.4)][math({\color{red}0} \in \mathbb{R})]이 존재하여
2323
[math(a+{\color{red}0}={\color{red}0}+a=a)]인 [math(a)]에 대한 항등식을 만족한다.
2424
: 덧셈 연산'''에 대한 [math(a)]의 항등원'''인 [math({\color{red}0})]이 존재한다.
25
1. [math({\color{green}-a} \in \mathbb{R})]이 존재하면서
25
1. [anchor(Axiom_1.5)][math({\color{green}-a} \in \mathbb{R})]이 존재하면서
2626
[math(a+{\color{green}(-a)}={\color{green}(-a)}+a={\color{red}0})]인 [math(a)]에 대한 항등식을 만족한다.
2727
: 덧셈 연산'''에 대한 [math(a)]의 역원'''인 [math({\color{green}-a})]이 존재한다.
2828
2929
{{{+1 II.}}} [[곱셈]] 연산 "[math(•)]"에 대한 성질
30
1.#6 [math(a•b \in \mathbb{R})] : 곱셈 연산'''에 대하여 닫혀 있다'''.[*닫힘]
31
1. [math({\color{red}a}•{\color{orange}b}={\color{orange}b}•{\color{red}a})] : 곱셈 연산에 대한 '''교환법칙'''이 성립한다.
32
1. [math({\color{blue}(}a•b{\color{blue})}•c=a•{\color{blue}(}b•c{\color{blue})})] : 곱셈 연산에 대한 '''결합법칙'''이 성립한다. 괄호를 풀어서 [math(=a•b•c)]이라는 식까지 추가 서술하는 곳이 있다.
33
1. [math({\color{red}1} \in \mathbb{R})]이 존재하여
30
1.#6 [anchor(Axiom_1.6)][math(a•b \in \mathbb{R})] : 곱셈 연산'''에 대하여 닫혀 있다'''.[*닫힘]
31
1. [anchor(Axiom_1.7)][math({\color{red}a}•{\color{orange}b}={\color{orange}b}•{\color{red}a})] : 곱셈 연산에 대한 '''교환법칙'''이 성립한다.
32
1. [anchor(Axiom_1.8)][math({\color{blue}(}a•b{\color{blue})}•c=a•{\color{blue}(}b•c{\color{blue})})] : 곱셈 연산에 대한 '''결합법칙'''이 성립한다. 괄호를 풀어서 [math(=a•b•c)]이라는 식까지 추가 서술하는 곳이 있다.
33
1. [anchor(Axiom_1.9)][math({\color{red}1} \in \mathbb{R})]이 존재하여
3434
[math(a•{\color{red}1}={\color{red}1}•a=a)]인 [math(a)]에 대한 항등식을 만족한다.
3535
: 곱셈 연산'''에 대한 [math(a)]의 항등원'''인 [math({\color{red}1})]이 존재한다.
36
1. "[math(0)]이 아닌" [math(a)]에 대하여, [math({\color{green}{\dfrac{1}{a}}} \in \mathbb{R})]이 존재하면서
36
1. [anchor(Axiom_1.10)]"[math(0)]이 아닌" [math(a)]에 대하여, [math({\color{green}{\dfrac{1}{a}}} \in \mathbb{R})]이 존재하면서
3737
[math(a•{\color{green}{\dfrac{1}{a}}}={\color{green}{\dfrac{1}{a}}}•a={\color{red}1})]인 [math(a)]에 대한 항등식을 만족한다.
3838
: 곱셈 연산'''에 대한 [math(a)]의 역원'''인 [math({\color{green}{\dfrac{1}{a}}})]이 존재한다.
3939
4040
{{{+1 III.}}} 덧셈 연산과 곱셈 연산에 대한 성질 (분배법칙)
41
1.#11 [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})]
42
1. [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})]
41
1.#11 [anchor(Axiom_1.11)][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})]
42
1. [anchor(Axiom_1.12)][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})]
4343
||
4444
4545
다음은 대소비교에 대한 성질이다.
4646
||{{{+1 IV.}}} 대소비교
47
1.#13 임의의 실수 [math(a)], [math(b)] 에 대하여 다음 셋 중 하나는 반드시 만족한다.
47
1.#13 [anchor(Axiom_1.13)]임의의 실수 [math(a)], [math(b)] 에 대하여 다음 셋 중 하나는 반드시 만족한다.
4848
i. [math(a>b)]
4949
i. [math(a=b)]
5050
i. [math(a<b)]
......
5555
[math(a<b)] 또는 [math(a>b)]가 된다.
5656
단, 복소수체계에서는 일반적으로 대소비교가 불가능하다. 자세한 내용은 [[허수]] 참조.||
5757
58
기타 : 위의 13.에서 i.부터 iii.까지 설명의 대상이 되는 부등식들을 호출하려면 각각 {{{math}}}라는 입력 구문 구간(마크업)[* 둘 중 하나로 가능하다.(주석에 개행을 넣을 수 있다.) {{{#!wiki
59
||<width=50.00%> 예시 1 ||<width=50.00%> 예시 2 ||
60
||\{\{\{\#\!wiki[br]\<math\> \\geq \<\/math\>\}\}\}||\[math\(\\geq\)\]||}}}]을 전제하여 {{{\geq}}}, {{{\leq}}}, {{{\neq}}} 구문을 입력해야 한다. 프로그래밍에서 입력 속도를 높이기 위해 단축키를 사용하는 것처럼 축약어로 입력 구문을 정의하는 방식을 많이 채택한다. 위의 칸에 볼드체한 표시는 문구에서 축약된 머릿글자를 의미한다.)
61
62
[각주]
63
== 여러 실수의 성질 증명 ==
64
보기에도 당연해 보이는 것을 왜 증명해야 하는지 생각할 수 있지만, 참인지 거짓인지 명확하지 못하는 전제를 두고 증명을 하는 일은 의미가 없다. 반례가 것이 전혀 없는지도 불확실하기 때문. (이는 다른 정리나 명제를 증명할 때에도 동일하다.) 그래서 참이라고 여기는 것을 시작으로 여러 가지 성질을 증명하는 것이다.
65
66
임의의 실수 [math(a)], [math(b)], [math(c)]에 대하여 몇 가지 증명을 해본다.
67
68
=== [math(a \times 0 =0\text{. 곧 })]0을 곱하면 0이 된다. ===
69
{{{+1 '''1.'''}}} 먼저 [math(0 \in \mathbb{R})]이 성립하므로 다음이 성립한다.
70
i. 실수 [math(0)]과 [math({\color{blue}0})]의 덧셈은 실수이다. ([[#Axiom_1.1|덧셈연산의 닫힘]]) 곧 다음이 성립한다.
71
||[math(0{\color{blue}+0} \in \mathbb{R})]||
72
i. 실수 [math(0)]에 대하여 실수 [math({\color{blue}0})]은 덧셈연산에 대한 [[#Axiom_1.4|항등원]]이므로 다음이 성립한다.
73
||[math(0{\color{blue}+0}=0)]||
74
75
{{{+1 '''2.'''}}} [math(1 \in \mathbb{R})]이 성립하므로 다음이 성립한다.
76
i. 덧셈연산에 대한 [math(1)]의 [[#Axiom_1.5|역원]]이 존재하므로 다음이 성립한다.
77
||[math({\color{green}-1} \in \mathbb{R})]이고 [math(1{\color{green}+(-1)}=0)] 이다.||
78
79
{{
80
5881
[[분류:수학]][[분류:더새드위키 수학 프로젝트]]