왼손위키 - 사용자 기여 [ko]

해석개론/실수의 성질과 수열의 극한/실수의 연산과 순서

2022-07-14T10:05:35Z

Joongwon: /* 순서체 */

'''1. 실수의 성질과 수열의 극한'''

'''1.1. 실수의 연산과 순서'''

함수를 알아보기에 앞서, 실수가 무엇인지를 알아볼 것이다. 극한에 대한 여러 성질들이 실수의 기본 성질로부터 나오기 때문이다. 실수에 대해 생각할 수 있는 가장 기본적인 성질은 사칙연산과 대소 비교가 가능하다는 것이다. 이 장에서는 실수의 사칙연산을 추상화한 구조인 '체'와 대소 비교가 가능하다는 점, 즉 순서가 있다는 점을 추상화한 '순서체'에 대해 알아보자.

==체==
체는 덧셈과 곱셈이 정의된 집합으로, 다음의 9가지 성질을 만족한다. (체1) ~ (체4)는 덧셈에 관한 성질이고, (체5) ~ (체8)은 곱셈에 관한 성질이다. (체9)는 덧셈과 곱셈을 연결하는 성질이다.

집합 <math>F</math>와 덧셈 (<math>+:F\times F\rightarrow F</math>) 및 곱셈(<math>\cdot:F\times F\rightarrow F</math>)이 '''체'''라면, 다음 성질들을 만족한다. (단 곱셈 <math>a\cdot b</math>는 <math>ab</math>로 표기하기도 한다.)

* '''(체1)''' <math>\forall a,b,c\in F:\left(a+b\right)+c=a+\left(b+c\right)</math>
* '''(체4)''' <math>\forall a,b\in F: a+b=b+a</math>
:덧셈의 결합법칙과 교환법칙. 이 둘이 있어야 2, 3번이 깔끔하게 나와서 순서를 좀 바꿨다. (체1)과 (체4)를 조합하면 덧셈의 순서를 마음대로 바꿀 수 있다. 앞으로 순서를 바꾸는 과정이 명백하면 그 과정은 생략한다.
* '''(체2)''' <math>\exists e\in F \forall a\in F: a+e=a</math>
: 더해도 아무런 효과가 없는 녀석이 체에 존재한다. 특히 그런 녀석이 유일하다는 것을 보일 수 있다. 위 성질을 만족하는 녀석을 <math>e,e'</math>로 두 마리 찾았다고 가정하자.<math display="block">e=e+e'=e'</math>두 마리를 찾으면 둘은 항상 같은 놈이다. 즉, 위 성질을 만족하는 녀석은 체에서 유일하다. 그런 녀석을 '''덧셈의 항등원'''이라고 부르며, 앞으로 <math>0</math>으로 표기한다. 눈치가 빠르면 알겠지만 이는 실수 0에 대응된다.
* '''(체3)''' <math>\forall a\in F \exists x \in F : a+x=0</math>
: 체의 모든 원소에게는 더하면 0이 되어버리는 라이벌이 존재한다. 마찬가지로 그런 녀석도 유일하다. 위 성질을 만족하는 녀석을 <math>x, x'</math>로 두 마리 찾았다고 가정하자.<math display="block">x=x+0=x+(a+x')=(x+a)+x'=0+x'=x'</math>따라서 위 성질을 만족하는 녀석은 체에서 유일하고, 그런 녀석을 '''덧셈의 역원'''이라고 부르며 앞으로 <math>-a</math>로 표기한다. 또 <math>a+(-b)</math>는 간단하게 <math>a-b</math>로 나타낸다. 뺄셈은 뒤의 원소의 역원을 더하는 연산인 셈이다. 실수에서 덧셈의 역원도 마이너스 부호를 붙여 찾을 수 있다.
* '''(체5)''' <math>\forall a,b,c\in F:a(bc)=(ab)c</math>
* '''(체8)''' <math>\forall a,b\in F ab=ba</math>
: 곱셈의 결합법칙과 교환법칙. 덧셈처럼 곱셈도 순서를 마음대로 바꿀 수 있다. 그 과정은 명백한 경우 생략한다.
* '''(체6)''' <math>\exists e\in F: e\ne 0,(\forall a \in F : ae=a)</math>
: 곱셈에도 덧셈처럼 항등원이 존재한다. 비슷한 논리로 이 녀석도 유일하다는 것을 보일 수 있다. 그런 녀석을 '''곱셈의 항등원'''이라고 부르며, 앞으로 <math>1</math>로 표기한다. 역시 실수 1에 대응된다. 한편 곱셈의 항등원과 덧셈의 항등원이 다르다는 것이 공리로써 보장되는 것도 주목할만한 점이다.
* '''(체7)''' <math>\forall a\in F \setminus \left\{0\right\}\exists x\in F:ax=1</math>
: 체의 원소에게는 곱해서 1이 되어버리는 다른 종류의 라이벌도 존재한다. 다만 0은 라이벌이 없다. 천하무적이라고 볼 수 있다. (체3)에서와 비슷하게 그런 라이벌이 유일함을 보일 수 있다. 그런 녀석을 '''곱셈의 역원'''이라고 부르며 앞으로 <math>a^{-1}</math>로 표기한다. 나눗셈이란 바로 이 역원을 곱하는 연산이라고 볼 수 있다. 실수에서는 역원을 <math>a^{-1}=1/a</math>로 찾을 수 있다. 0의 역원이 없다는 말에는 0으로 나눌 수 없다는 심오한 뜻이 담겨있다. 사칙연산을 정의할 때에 불가피한 절대적 성질이라는 것이다.
* '''(체9)''' <math>\forall a,b,c \in F : a(b+c)=ab+ac</math>
: 분배법칙. 별로 할 얘기는 없다.

=== 예시 ===
어떤 집합이 체라는 것은 0으로 나누기를 제외한 사칙연산이 자유롭다는 뜻이다. 그런 집합은 실수 뿐만이 아니다. 유리수와 복소수도 대표적인 체이다. 또 하나의 특이한 체는 다음과 같이 정의된다.<math display="block">\begin{array}{c}
\Z_2 = \{0,1\} \\
0+0=0&0+1=1&1+0=1&1+1=0\\
0\cdot 0=0&0\cdot 1=0&1\cdot 0=0&1\cdot 1=1
\end{array}</math>이처럼 원소가 유한한 체를 '''유한체'''라고 한다. 이들이 체의 성질을 만족하는지는 하나하나 확인해보면 알 수 있다.

=== 성질 ===
아래는 체에서 성립하는 몇가지 성질들이다. 임의의 <math>a, b, c\in F</math>에 대해

* '''명제 1.1.1.(가)''' <math>-(-a)=a, a\ne 0\Rightarrow (a^{-1})^{-1}=a</math>
: 역원의 역원은 자기자신이다. <math>b</math>가 <math>a</math>의 역원이라는 것의 정의는 <math>a+b=0</math>이다. 이 식에서 바로 <math>a</math>가 <math>b</math>의 역원임을 알 수 있다.
* '''명제 1.1.1.(나)''' <math>(a+b=a+c\Rightarrow b=c), (a\ne 0,ab=ac \Rightarrow b=c)</math>
: 등식의 양변에 같은 수가 더해지거나 곱해진 경우 지울 수 있다. <math>-a</math>을 더하거나 <math>a^{-1}</math>을 곱해보면 쉽게 확인할 수 있다.
* '''명제 1.1.1.(다)''' <math>ab=0\Leftrightarrow a=0\ \mathrm{or}\ b=0</math>
: 곱해서 0이면 둘 중 하나는 0이다. 반대로 어떤 수에 0을 곱하면 0이 된다. 먼저 왼쪽으로 증명해보자. <math>a\cdot 0 + a\cdot 0 = a(0+0)=a\cdot 0=a\cdot 0 + 0</math>이므로, 1.1.1.(나)를 적용하면 <math>a\cdot 0 =0</math>이다. 오른쪽으로의 증명은 귀류법을 사용한다. <math>ab=0,a\ne 0, b\ne 0</math>이라고 가정하면 <math>0=0\cdot b^{-1}a^{-1}=abb^{-1}a^{-1}=1</math>로 모순이다.
* '''명제 1.1.1.(라)''' <math>(-a)b=-(ab)=a(-b)</math>
: 마이너스 부호를 곱셈처럼 쓸 수 있음을 알려준다. <math>ab</math>를 더해 분배법칙을 적용해보면 모두 0이 되어 <math>ab</math>의 역원임을 확인할 수 있다. 어떤 원소에 대한 곱셈의 역원은 유일하므로 위 등식의 세 변은 모두 같음을 확인할 수 있다.

== 순서체 ==
일종의 순서를 부여할 수 있는 체를 '순서체'라고 한다. 실수도 대소 비교가 가능하므로 순서체의 일종이다.

우선 집합 <math>S\subset F</math>에 대해 집합 <math>-S=\left\{-a:a\in S\right\}</math>를 정의한다. 간단히 말해 <math>S</math>의 원소의 역원들을 모아놓은 것이다.

어떤 체 <math>F</math>가 순서체라는 것은 어떤 <math>P\subset F</math>가 존재하여 다음 성질들을 만족한다는 것이다. 특히 그런 <math>P</math>의 원소를 '''양수'''라고 한다.

* '''(순1)''' <math>\forall a,b\in P \Rightarrow a+b,ab\in P</math>
: <math>P</math>는 덧셈과 곱셈에 대해 닫혀있다. 양수를 더하거나 곱하면 다시 양수가 됨을 생각하면 편하다.
* '''(순2)''' <math>F=P\cup \{0\} \cup -P</math>
* '''(순3)''' <math>P, \{0\}, -P</math>는 모두 서로소.
: 간단히 말해 체의 모든 원소가 양수, 0, 음수 중 하나에 속한다는 것이다.

양수 집합이 존재하면 뺄셈의 결과가 양수, 0, 음수 중 어디에 속하는지 확인하여 대소 관계를 판별할 수 있다. 이는 정확하게 대소의 정의이다.

임의의 <math>a,b\in F</math>에 대해 <math>a-b \in P</math>일 때 <math>a</math>가 <math>b</math>보다 '''크다'''고 한다. 이를 <math>a>b</math> 또는 <math>b < a</math>로 나타낸다. 한편 <math>a=b\ \mathrm{or}\ a>b</math>는 <math>a\ge b</math>로 정의한다.

=== 성질 ===
순서체 <math>F</math>의 원소 <math>a,b,c</math>에 대해 다음 성질들이 성립한다.

* '''명제 1.1.2.(가)''' <math>a\ge b,a\le b \Rightarrow a=b</math>

<math display="block">\begin{array}{rcl}
a\ge b &\Rightarrow& a-b \in P\ \mathrm{or}\ a=b \\
a-b \in P &\rightarrow& b-a = -(a-b) \in -P \\
&\rightarrow& b-a \notin P, a\ne b \\
&\rightarrow& \mathrm{not}\ a\le b, \mathrm{contrandiction} \\
\therefore a = b
\end{array}</math>
* '''명제 1.1.2(나)''' <math>a\le b,b\le c \Rightarrow a\le c</math>
: 집합 <math>P\cup \{0\}</math>이 덧셈과 곱셈에 대하여 닫혀있음은 모든 경우를 나누어보면 쉽게 확인할 수 있다. 이를 활용하면 위 명제를 증명할 수 있다. <math>b-a, c-b \in P\cup \{0\} \Rightarrow (b-a)+(c-b) = c-a \in P\cup \{0\}, \therefore a \le c</math>.
* '''명제 1.1.3(다)''' <math>a+b < a+c \Leftrightarrow b < c</math>
: 양변을 빼보면 같은 값이다. Q.E.D.
* '''명제 1.1.3(라)''' <math>a > 0, b < c \Rightarrow ab < ac</math>
: <math>c-b, a-0=a \in P</math>이므로 둘을 곱한 값도 양수이다. (체9)와 명제 1.1.1(라)를 쓰면 뺄셈 꼴이 나온다.
* '''명제 1.1.3(마)''' <math>a<0,b < c\Rightarrow ab > ac</math>
: <math>a<0</math>에 <math>-a</math>를 더하면 명제 1.1.3(다)에 의해 <math>-a>0</math>이다. 그러면 명제 1.1.3(라)에 의해 <math>-ab < -ac</math>이고 다시 양변에 <math>ab + ac</math>를 더하면 명제 1.1.3(다)에 의해 <math>ab > ac</math>를 얻는다.
* '''명제 1.1.3(바)''' <math>a^2 \ge 0, 1 > 0</math>
: <math>a \in P</math>인 경우 (순1)에 의해 <math>a\cdot a = a^2 \in P \subset P\cup\{0\}</math>이다. 마찬가지로 <math>a = 0</math>인 경우에도 명제 1.1.1(다)에 의해 <math>a\cdot a = 0</math>으로 위 명제가 성립한다. <math>a \in -P</math>인 경우 곧 <math>-a \in P</math>이므로 <math>a^2=(-a)(-a)\ge 0</math>이다. (순2)에 의해 모든 <math>a</math>에 대해 위 명제가 성립한다. 특히 (체6)에 의해 <math>1\cdot 1=1\ne 0</math>이므로 <math>1>0</math>이다.
* '''명제 1.1.3(사)''' <math>0 < a < b \Rightarrow 0 < b^{-1} < a^{-1}</math>
: 우선 양수의 역원은 양수임을 보인다. 만일 양수 <math>a</math>의 역원이 음수라면, 명제 1.1.3(라), 명제 1.1.1(다)에 의해 <math>a\cdot a^{-1}=1<0=a\cdot 0</math>이다. 이는 명제 1.1.3(바)와 모순이므로 양수의 역원은 음수가 아니다. 또 만약 역원이 0이라면 명제 1.1.1(다)에 의해 <math>a\cdot a^{-1} = a\cdot 0 = 0</math>로 0이 역원이라는 데에 모순이다. 따라서 양수의 역원은 양수이다.
: 명제 1.1.3(나)와 (순3)에 의해 <math>a, b\in P</math>이다. 앞에서 살펴보았듯 <math>a^{-1},b^{-1}\in P</math>이므로, 양변에 <math>a^{-1}b^{-1}</math>을 곱하면 (순1)과 명제 1.1.3(라)에 의해 <math>0 < b^{-1} < a^{-1}</math>이다.
* '''명제 1.1.3(아)''' <math>a,b>0</math>일 때, <math>a^2<b^2 \Leftrightarrow a<b</math>
: (순1)에 의해 <math>a + b > 0</math>이다. 따라서 <math>b^2 - a^2 = (b - a)(b + a) > 0 \Leftrightarrow b - a > 0</math>이다.

해석개론/실수의 성질과 수열의 극한/실수의 연산과 순서

2022-07-14T09:29:54Z

Joongwon: /* 체 */ 리스트 형식 수정

'''1. 실수의 성질과 수열의 극한'''

'''1.1. 실수의 연산과 순서'''

함수를 알아보기에 앞서, 실수가 무엇인지를 알아볼 것이다. 극한에 대한 여러 성질들이 실수의 기본 성질로부터 나오기 때문이다. 실수에 대해 생각할 수 있는 가장 기본적인 성질은 사칙연산과 대소 비교가 가능하다는 것이다. 이 장에서는 실수의 사칙연산을 추상화한 구조인 '체'와 대소 비교가 가능하다는 점, 즉 순서가 있다는 점을 추상화한 '순서체'에 대해 알아보자.

==체==
체는 덧셈과 곱셈이 정의된 집합으로, 다음의 9가지 성질을 만족한다. (체1) ~ (체4)는 덧셈에 관한 성질이고, (체5) ~ (체8)은 곱셈에 관한 성질이다. (체9)는 덧셈과 곱셈을 연결하는 성질이다.

집합 <math>F</math>와 덧셈 (<math>+:F\times F\rightarrow F</math>) 및 곱셈(<math>\cdot:F\times F\rightarrow F</math>)이 '''체'''라면, 다음 성질들을 만족한다. (단 곱셈 <math>a\cdot b</math>는 <math>ab</math>로 표기하기도 한다.)

* '''(체1)''' <math>\forall a,b,c\in F:\left(a+b\right)+c=a+\left(b+c\right)</math>
* '''(체4)''' <math>\forall a,b\in F: a+b=b+a</math>
:덧셈의 결합법칙과 교환법칙. 이 둘이 있어야 2, 3번이 깔끔하게 나와서 순서를 좀 바꿨다. (체1)과 (체4)를 조합하면 덧셈의 순서를 마음대로 바꿀 수 있다. 앞으로 순서를 바꾸는 과정이 명백하면 그 과정은 생략한다.
* '''(체2)''' <math>\exists e\in F \forall a\in F: a+e=a</math>
: 더해도 아무런 효과가 없는 녀석이 체에 존재한다. 특히 그런 녀석이 유일하다는 것을 보일 수 있다. 위 성질을 만족하는 녀석을 <math>e,e'</math>로 두 마리 찾았다고 가정하자.<math display="block">e=e+e'=e'</math>두 마리를 찾으면 둘은 항상 같은 놈이다. 즉, 위 성질을 만족하는 녀석은 체에서 유일하다. 그런 녀석을 '''덧셈의 항등원'''이라고 부르며, 앞으로 <math>0</math>으로 표기한다. 눈치가 빠르면 알겠지만 이는 실수 0에 대응된다.
* '''(체3)''' <math>\forall a\in F \exists x \in F : a+x=0</math>
: 체의 모든 원소에게는 더하면 0이 되어버리는 라이벌이 존재한다. 마찬가지로 그런 녀석도 유일하다. 위 성질을 만족하는 녀석을 <math>x, x'</math>로 두 마리 찾았다고 가정하자.<math display="block">x=x+0=x+(a+x')=(x+a)+x'=0+x'=x'</math>따라서 위 성질을 만족하는 녀석은 체에서 유일하고, 그런 녀석을 '''덧셈의 역원'''이라고 부르며 앞으로 <math>-a</math>로 표기한다. 또 <math>a+(-b)</math>는 간단하게 <math>a-b</math>로 나타낸다. 뺄셈은 뒤의 원소의 역원을 더하는 연산인 셈이다. 실수에서 덧셈의 역원도 마이너스 부호를 붙여 찾을 수 있다.
* '''(체5)''' <math>\forall a,b,c\in F:a(bc)=(ab)c</math>
* '''(체8)''' <math>\forall a,b\in F ab=ba</math>
: 곱셈의 결합법칙과 교환법칙. 덧셈처럼 곱셈도 순서를 마음대로 바꿀 수 있다. 그 과정은 명백한 경우 생략한다.
* '''(체6)''' <math>\exists e\in F: e\ne 0,(\forall a \in F : ae=a)</math>
: 곱셈에도 덧셈처럼 항등원이 존재한다. 비슷한 논리로 이 녀석도 유일하다는 것을 보일 수 있다. 그런 녀석을 '''곱셈의 항등원'''이라고 부르며, 앞으로 <math>1</math>로 표기한다. 역시 실수 1에 대응된다. 한편 곱셈의 항등원과 덧셈의 항등원이 다르다는 것이 공리로써 보장되는 것도 주목할만한 점이다.
* '''(체7)''' <math>\forall a\in F \setminus \left\{0\right\}\exists x\in F:ax=1</math>
: 체의 원소에게는 곱해서 1이 되어버리는 다른 종류의 라이벌도 존재한다. 다만 0은 라이벌이 없다. 천하무적이라고 볼 수 있다. (체3)에서와 비슷하게 그런 라이벌이 유일함을 보일 수 있다. 그런 녀석을 '''곱셈의 역원'''이라고 부르며 앞으로 <math>a^{-1}</math>로 표기한다. 나눗셈이란 바로 이 역원을 곱하는 연산이라고 볼 수 있다. 실수에서는 역원을 <math>a^{-1}=1/a</math>로 찾을 수 있다. 0의 역원이 없다는 말에는 0으로 나눌 수 없다는 심오한 뜻이 담겨있다. 사칙연산을 정의할 때에 불가피한 절대적 성질이라는 것이다.
* '''(체9)''' <math>\forall a,b,c \in F : a(b+c)=ab+ac</math>
: 분배법칙. 별로 할 얘기는 없다.

=== 예시 ===
어떤 집합이 체라는 것은 0으로 나누기를 제외한 사칙연산이 자유롭다는 뜻이다. 그런 집합은 실수 뿐만이 아니다. 유리수와 복소수도 대표적인 체이다. 또 하나의 특이한 체는 다음과 같이 정의된다.<math display="block">\begin{array}{c}
\Z_2 = \{0,1\} \\
0+0=0&0+1=1&1+0=1&1+1=0\\
0\cdot 0=0&0\cdot 1=0&1\cdot 0=0&1\cdot 1=1
\end{array}</math>이처럼 원소가 유한한 체를 '''유한체'''라고 한다. 이들이 체의 성질을 만족하는지는 하나하나 확인해보면 알 수 있다.

=== 성질 ===
아래는 체에서 성립하는 몇가지 성질들이다. 임의의 <math>a, b, c\in F</math>에 대해

* '''명제 1.1.1.(가)''' <math>-(-a)=a, a\ne 0\Rightarrow (a^{-1})^{-1}=a</math>
: 역원의 역원은 자기자신이다. <math>b</math>가 <math>a</math>의 역원이라는 것의 정의는 <math>a+b=0</math>이다. 이 식에서 바로 <math>a</math>가 <math>b</math>의 역원임을 알 수 있다.
* '''명제 1.1.1.(나)''' <math>(a+b=a+c\Rightarrow b=c), (a\ne 0,ab=ac \Rightarrow b=c)</math>
: 등식의 양변에 같은 수가 더해지거나 곱해진 경우 지울 수 있다. <math>-a</math>을 더하거나 <math>a^{-1}</math>을 곱해보면 쉽게 확인할 수 있다.
* '''명제 1.1.1.(다)''' <math>ab=0\Leftrightarrow a=0\ \mathrm{or}\ b=0</math>
: 곱해서 0이면 둘 중 하나는 0이다. 반대로 어떤 수에 0을 곱하면 0이 된다. 먼저 왼쪽으로 증명해보자. <math>a\cdot 0 + a\cdot 0 = a(0+0)=a\cdot 0=a\cdot 0 + 0</math>이므로, 1.1.1.(나)를 적용하면 <math>a\cdot 0 =0</math>이다. 오른쪽으로의 증명은 귀류법을 사용한다. <math>ab=0,a\ne 0, b\ne 0</math>이라고 가정하면 <math>0=0\cdot b^{-1}a^{-1}=abb^{-1}a^{-1}=1</math>로 모순이다.
* '''명제 1.1.1.(라)''' <math>(-a)b=-(ab)=a(-b)</math>
: 마이너스 부호를 곱셈처럼 쓸 수 있음을 알려준다. <math>ab</math>를 더해 분배법칙을 적용해보면 모두 0이 되어 <math>ab</math>의 역원임을 확인할 수 있다. 어떤 원소에 대한 곱셈의 역원은 유일하므로 위 등식의 세 변은 모두 같음을 확인할 수 있다.

== 순서체 ==
일종의 순서를 부여할 수 있는 체를 '순서체'라고 한다. 실수도 대소 비교가 가능하므로 순서체의 일종이다.

우선 집합 <math>S\subset F</math>에 대해 집합 <math>-S=\left\{-a:a\in S\right\}</math>를 정의한다. 간단히 말해 <math>S</math>의 원소의 역원들을 모아놓은 것이다.

어떤 체 <math>F</math>가 순서체라는 것은 어떤 <math>P\subset F</math>가 존재하여 다음 성질들을 만족한다는 것이다. 특히 그런 <math>P</math>의 원소를 '''양수'''라고 한다.

* '''(순1)''' <math>\forall a,b\in P \Rightarrow a+b,ab\in P</math>

<math>P</math>는 덧셈과 곱셈에 대해 닫혀있다. 양수를 더하거나 곱하면 다시 양수가 됨을 생각하면 편하다.
* '''(순2)''' <math>F=P\cup \{0\} \cup -P</math>
* '''(순3)''' <math>P, \{0\}, -P</math>는 모두 서로소. 간단히 말해 체의 모든 원소가 양수, 0, 음수 중 하나에 속한다는 것이다.

양수 집합이 존재하면 뺄셈의 결과가 양수, 0, 음수 중 어디에 속하는지 확인하여 대소 관계를 판별할 수 있다. 이는 정확하게 대소의 정의이다.

임의의 <math>a,b\in F</math>에 대해 <math>a-b \in P</math>일 때 <math>a</math>가 <math>b</math>보다 '''크다'''고 한다. 이를 <math>a>b</math> 또는 <math>b < a</math>로 나타낸다. 한편 <math>a=b\ \mathrm{or}\ a>b</math>는 <math>a\ge b</math>로 정의한다.

=== 성질 ===
순서체 <math>F</math>의 원소 <math>a,b,c</math>에 대해 다음 성질들이 성립한다.

* '''명제 1.1.2.(가)''' <math>a\ge b,a\le b \Rightarrow a=b</math>

<math display="block">\begin{array}{rcl}
a\ge b &\Rightarrow& a-b \in P\ \mathrm{or}\ a=b \\
a-b \in P &\rightarrow& b-a = -(a-b) \in -P \\
&\rightarrow& b-a \notin P, a\ne b \\
&\rightarrow& \mathrm{not}\ a\le b, \mathrm{contrandiction} \\
\therefore a = b
\end{array}</math>
* '''명제 1.1.2(나)''' <math>a\le b,b\le c \Rightarrow a\le c</math>

해석개론/실수의 성질과 수열의 극한/실수의 연산과 순서

2022-07-14T09:21:21Z

Joongwon:

'''1. 실수의 성질과 수열의 극한'''

'''1.1. 실수의 연산과 순서'''

함수를 알아보기에 앞서, 실수가 무엇인지를 알아볼 것이다. 극한에 대한 여러 성질들이 실수의 기본 성질로부터 나오기 때문이다. 실수에 대해 생각할 수 있는 가장 기본적인 성질은 사칙연산과 대소 비교가 가능하다는 것이다. 이 장에서는 실수의 사칙연산을 추상화한 구조인 '체'와 대소 비교가 가능하다는 점, 즉 순서가 있다는 점을 추상화한 '순서체'에 대해 알아보자.

==체==
체는 덧셈과 곱셈이 정의된 집합으로, 다음의 9가지 성질을 만족한다. (체1) ~ (체4)는 덧셈에 관한 성질이고, (체5) ~ (체8)은 곱셈에 관한 성질이다. (체9)는 덧셈과 곱셈을 연결하는 성질이다.

집합 <math>F</math>와 덧셈 (<math>+:F\times F\rightarrow F</math>) 및 곱셈(<math>\cdot:F\times F\rightarrow F</math>)이 '''체'''라면, 다음 성질들을 만족한다. (단 곱셈 <math>a\cdot b</math>는 <math>ab</math>로 표기하기도 한다.)

* '''(체1)''' <math>\forall a,b,c\in F:\left(a+b\right)+c=a+\left(b+c\right)</math>
* '''(체4)''' <math>\forall a,b\in F: a+b=b+a</math> 덧셈의 결합법칙과 교환법칙. 이 둘이 있어야 2, 3번이 깔끔하게 나와서 순서를 좀 바꿨다. (체1)과 (체4)를 조합하면 덧셈의 순서를 마음대로 바꿀 수 있다. 앞으로 순서를 바꾸는 과정이 명백하면 그 과정은 생략한다.
* '''(체2)''' <math>\exists e\in F \forall a\in F: a+e=a</math> 더해도 아무런 효과가 없는 녀석이 체에 존재한다. 특히 그런 녀석이 유일하다는 것을 보일 수 있다. 위 성질을 만족하는 녀석을 <math>e,e'</math>로 두 마리 찾았다고 가정하자.<math display="block">e=e+e'=e'</math>두 마리를 찾으면 둘은 항상 같은 놈이다. 즉, 위 성질을 만족하는 녀석은 체에서 유일하다. 그런 녀석을 '''덧셈의 항등원'''이라고 부르며, 앞으로 <math>0</math>으로 표기한다. 눈치가 빠르면 알겠지만 이는 실수 0에 대응된다.
* '''(체3)''' <math>\forall a\in F \exists x \in F : a+x=0</math> 체의 모든 원소에게는 더하면 0이 되어버리는 라이벌이 존재한다. 마찬가지로 그런 녀석도 유일하다. 위 성질을 만족하는 녀석을 <math>x, x'</math>로 두 마리 찾았다고 가정하자.<math display="block">x=x+0=x+(a+x')=(x+a)+x'=0+x'=x'</math>따라서 위 성질을 만족하는 녀석은 체에서 유일하고, 그런 녀석을 '''덧셈의 역원'''이라고 부르며 앞으로 <math>-a</math>로 표기한다. 또 <math>a+(-b)</math>는 간단하게 <math>a-b</math>로 나타낸다. 뺄셈은 뒤의 원소의 역원을 더하는 연산인 셈이다. 실수에서 덧셈의 역원도 마이너스 부호를 붙여 찾을 수 있다.
* '''(체5)''' <math>\forall a,b,c\in F:a(bc)=(ab)c</math>
* '''(체8)''' <math>\forall a,b\in F ab=ba</math> 곱셈의 결합법칙과 교환법칙. 덧셈처럼 곱셈도 순서를 마음대로 바꿀 수 있다. 그 과정은 명백한 경우 생략한다.
* '''(체6)''' <math>\exists e\in F: e\ne 0,(\forall a \in F : ae=a)</math> 곱셈에도 덧셈처럼 항등원이 존재한다. 비슷한 논리로 이 녀석도 유일하다는 것을 보일 수 있다. 그런 녀석을 '''곱셈의 항등원'''이라고 부르며, 앞으로 <math>1</math>로 표기한다. 역시 실수 1에 대응된다. 한편 곱셈의 항등원과 덧셈의 항등원이 다르다는 것이 공리로써 보장되는 것도 주목할만한 점이다.
* '''(체7)''' <math>\forall a\in F \setminus \left\{0\right\}\exists x\in F:ax=1</math> 체의 원소에게는 곱해서 1이 되어버리는 다른 종류의 라이벌도 존재한다. 다만 0은 라이벌이 없다. 천하무적이라고 볼 수 있다. (체3)에서와 비슷하게 그런 라이벌이 유일함을 보일 수 있다. 그런 녀석을 '''곱셈의 역원'''이라고 부르며 앞으로 <math>a^{-1}</math>로 표기한다. 나눗셈이란 바로 이 역원을 곱하는 연산이라고 볼 수 있다. 실수에서는 역원을 <math>a^{-1}=1/a</math>로 찾을 수 있다. 0의 역원이 없다는 말에는 0으로 나눌 수 없다는 심오한 뜻이 담겨있다. 사칙연산을 정의할 때에 불가피한 절대적 성질이라는 것이다.
* '''(체9)''' <math>\forall a,b,c \in F : a(b+c)=ab+ac</math> 분배법칙. 별로 할 얘기는 없다.

=== 예시 ===
어떤 집합이 체라는 것은 0으로 나누기를 제외한 사칙연산이 자유롭다는 뜻이다. 그런 집합은 실수 뿐만이 아니다. 유리수와 복소수도 대표적인 체이다. 또 하나의 특이한 체는 다음과 같이 정의된다.<math display="block">\begin{array}{c}
\Z_2 = \{0,1\} \\
0+0=0&0+1=1&1+0=1&1+1=0\\
0\cdot 0=0&0\cdot 1=0&1\cdot 0=0&1\cdot 1=1
\end{array}</math>이처럼 원소가 유한한 체를 '''유한체'''라고 한다. 이들이 체의 성질을 만족하는지는 하나하나 확인해보면 알 수 있다.

=== 성질 ===
아래는 체에서 성립하는 몇가지 성질들이다. 임의의 <math>a, b, c\in F</math>에 대해

* '''명제 1.1.1.(가)''' <math>-(-a)=a, a\ne 0\Rightarrow (a^{-1})^{-1}=a</math> 역원의 역원은 자기자신이다. <math>b</math>가 <math>a</math>의 역원이라는 것의 정의는 <math>a+b=0</math>이다. 이 식에서 바로 <math>a</math>가 <math>b</math>의 역원임을 알 수 있다.
* '''명제 1.1.1.(나)''' <math>(a+b=a+c\Rightarrow b=c), (a\ne 0,ab=ac \Rightarrow b=c)</math> 등식의 양변에 같은 수가 더해지거나 곱해진 경우 지울 수 있다. <math>-a</math>을 더하거나 <math>a^{-1}</math>을 곱해보면 쉽게 확인할 수 있다.
* '''명제 1.1.1.(다)''' <math>ab=0\Leftrightarrow a=0\ \mathrm{or}\ b=0</math> 곱해서 0이면 둘 중 하나는 0이다. 반대로 어떤 수에 0을 곱하면 0이 된다. 먼저 왼쪽으로 증명해보자. <math>a\cdot 0 + a\cdot 0 = a(0+0)=a\cdot 0=a\cdot 0 + 0</math>이므로, 1.1.1.(나)를 적용하면 <math>a\cdot 0 =0</math>이다. 오른쪽으로의 증명은 귀류법을 사용한다. <math>ab=0,a\ne 0, b\ne 0</math>이라고 가정하면 <math>0=0\cdot b^{-1}a^{-1}=abb^{-1}a^{-1}=1</math>로 모순이다.
* '''명제 1.1.1.(라)''' <math>(-a)b=-(ab)=a(-b)</math> 마이너스 부호를 곱셈처럼 쓸 수 있음을 알려준다. <math>ab</math>를 더해 분배법칙을 적용해보면 모두 0이 되어 <math>ab</math>의 역원임을 확인할 수 있다. 어떤 원소에 대한 곱셈의 역원은 유일하므로 위 등식의 세 변은 모두 같음을 확인할 수 있다.

== 순서체 ==
일종의 순서를 부여할 수 있는 체를 '순서체'라고 한다. 실수도 대소 비교가 가능하므로 순서체의 일종이다.

우선 집합 <math>S\subset F</math>에 대해 집합 <math>-S=\left\{-a:a\in S\right\}</math>를 정의한다. 간단히 말해 <math>S</math>의 원소의 역원들을 모아놓은 것이다.

어떤 체 <math>F</math>가 순서체라는 것은 어떤 <math>P\subset F</math>가 존재하여 다음 성질들을 만족한다는 것이다. 특히 그런 <math>P</math>의 원소를 '''양수'''라고 한다.

* '''(순1)''' <math>\forall a,b\in P \Rightarrow a+b,ab\in P</math>

<math>P</math>는 덧셈과 곱셈에 대해 닫혀있다. 양수를 더하거나 곱하면 다시 양수가 됨을 생각하면 편하다.
* '''(순2)''' <math>F=P\cup \{0\} \cup -P</math>
* '''(순3)''' <math>P, \{0\}, -P</math>는 모두 서로소. 간단히 말해 체의 모든 원소가 양수, 0, 음수 중 하나에 속한다는 것이다.

양수 집합이 존재하면 뺄셈의 결과가 양수, 0, 음수 중 어디에 속하는지 확인하여 대소 관계를 판별할 수 있다. 이는 정확하게 대소의 정의이다.

임의의 <math>a,b\in F</math>에 대해 <math>a-b \in P</math>일 때 <math>a</math>가 <math>b</math>보다 '''크다'''고 한다. 이를 <math>a>b</math> 또는 <math>b < a</math>로 나타낸다. 한편 <math>a=b\ \mathrm{or}\ a>b</math>는 <math>a\ge b</math>로 정의한다.

=== 성질 ===
순서체 <math>F</math>의 원소 <math>a,b,c</math>에 대해 다음 성질들이 성립한다.

* '''명제 1.1.2.(가)''' <math>a\ge b,a\le b \Rightarrow a=b</math>

<math display="block">\begin{array}{rcl}
a\ge b &\Rightarrow& a-b \in P\ \mathrm{or}\ a=b \\
a-b \in P &\rightarrow& b-a = -(a-b) \in -P \\
&\rightarrow& b-a \notin P, a\ne b \\
&\rightarrow& \mathrm{not}\ a\le b, \mathrm{contrandiction} \\
\therefore a = b
\end{array}</math>
* '''명제 1.1.2(나)''' <math>a\le b,b\le c \Rightarrow a\le c</math>

해석개론/실수의 성질과 수열의 극한/실수의 연산과 순서

2022-07-14T07:48:01Z

Joongwon: 새 문서: '''1. 실수의 성질과 수열의 극한''' '''1.1. 실수의 연산과 순서''' 함수를 알아보기에 앞서, 실수가 무엇인지를 알아볼 것이다. 극한에 대한 여러 성질들이 실수의 기본 성질로부터 나오기 때문이다. 실수에 대해 생각할 수 있는 가장 기본적인 성질은 사칙연산과 대소 비교가 가능하다는 것이다. 이 장에서는 실수의 사칙연산을 추상화한 구조인 '체'와 대소 비교가...

해석개론

2022-07-14T07:34:28Z

Joongwon: 새 문서: 미적분과 함수에 관한 수학이다. 김김계를 중심으로 여름방학동안 공부하는 내용을 정리할 것이다.

미적분과 함수에 관한 수학이다. 김김계를 중심으로 여름방학동안 공부하는 내용을 정리할 것이다.

부분 공간

2022-03-12T08:16:31Z

Joongwon:

어떤 벡터 공간의 부분 공간이란, 그 벡터 공간에 포함되면서 스스로도 벡터 공간인 집합을 말한다.

* <math>F</math>: 임의의 체
* <math>V</math>: 임의의 <math>F</math>-벡터 공간
* <math>W</math>: 임의의 집합
* vsp(V, F): V가 F-벡터 공간
* <math>W\le V</math>: W가 V의 부분 공간

<math>W\le V\overset{def}\Longleftrightarrow \text{vsp}(W,F)\wedge W\subset V</math>

== 판별법 ==
어떤 공집합이 아닌 부분 집합이 부분 공간임을 판정하기 위해서는 덧셈과 상수배에 대해 닫혀있음을 보이면 충분하다.

* <math>\emptyset\ne W \subset V</math>: 임의의 집합

<math>W\le V\Leftrightarrow \begin{align}
\forall x,y\in W(x+y\in W)\\
\forall x\in W,a\in F(ax \in W)
\end{align}</math>

=== 오른쪽으로의 증명 ===
가정: <math>W\le V</math>

부분 공간의 정의에 의해 <math>W</math>는 <math>F</math>-벡터 공간이고, [[벡터 공간]]의 정의에 의해 <math>W</math>는 덧셈과 상수배에 대해 닫혀있다. 가정 끝.

=== 왼쪽으로의 증명 ===

'''가정''': <math>W</math>가 덧셈과 상수배에 대해 닫혀있다.

<math>V</math>가 <math>F</math>-벡터 공간이므로, <math>V</math>의 모든 원소에 대해 덧셈의 [[벡터 공간#덧셈의 교환 법칙|교환]] 및 [[벡터 공간#덧셈의 결합 법칙|결합 법칙]], [[벡터 공간#상수배의 결합 법칙|상수배의 결합 법칙]], [[벡터 공간#상수의 분배 법칙|두 가지]] [[벡터 공간#벡터의 분배 법칙|분배 법칙]]이 성립하며 [[벡터 공간#1배는 자기자신|1배는 자기 자신]]이다. 이제 항등원과 역원이 <math>W</math>의 원소임을 보이면 충분하다.

<math>W\ne\emptyset\rightarrow \exist x\in W</math>

'''존재 예화''': <math>x \in W</math>

어떤 벡터에 [[벡터 공간/0을 곱하면 0이다|0을 곱하면 0이고]] 가정에 의해 <math>W</math>는 상수배에 대해 닫혀있다.

<math>0=0x\in W</math>

<math>\therefore 0\in W</math>. '''존재 예화 끝'''.

따라서 <math>W</math>가 항등원을 원소로 갖는다.

'''가정''': <math>x\in W</math> 어떤 벡터에 [[벡터 공간/역원과 상수곱|-1을 곱하면 역원이고]] 가정에 의해 <math>W</math>는 상수배에 대해 닫혀있다.

<math>-x=(-1)x\in W</math>

<math>\therefore -x\in W</math>. '''가정 끝'''.

<math>\therefore \forall x\in W(-x\in W)</math>; <math>W</math>의 임의의 원소는 그 역원 또한 <math>W</math>의 원소이다. 항등원과 역원이 <math>W</math>의 원소임을 보였으므로 <math>W</math>는 <math>F</math>-벡터 공간이다. <math>W\le V</math>. '''가정 끝'''.

부분 공간

2022-03-12T08:13:27Z

Joongwon:

어떤 벡터 공간의 부분 공간이란, 그 벡터 공간에 포함되면서 스스로도 벡터 공간인 집합을 말한다.

* <math>F</math>: 임의의 체
* <math>V</math>: 임의의 <math>F</math>-벡터 공간
* <math>W</math>: 임의의 집합
* vsp(V, F): V가 F-벡터 공간
* <math>W\le V</math>: W가 V의 부분 공간

<math>W\le V\overset{def}\Longleftrightarrow \text{vsp}(W,F)\wedge W\subset V</math>

== 판별법 ==
어떤 공집합이 아닌 부분 집합이 부분 공간임을 판정하기 위해서는 덧셈과 상수배에 대해 닫혀있음을 보이면 충분하다.

* <math>\emptyset\ne W \subset V</math>: 임의의 집합

<math>W\le V\Leftrightarrow \begin{align}
\forall x,y\in W(x+y\in W)\\
\forall x\in W,a\in F(ax \in W)
\end{align}</math>

=== 오른쪽으로의 증명 ===
가정: <math>W\le V</math>

부분 공간의 정의에 의해 <math>W</math>는 <math>F</math>-벡터 공간이고, [[벡터 공간]]의 정의에 의해 <math>W</math>는 덧셈과 상수배에 대해 닫혀있다. 가정 끝.

=== 왼쪽으로의 증명 ===

* 가정: <math>W</math>가 덧셈과 상수배에 대해 닫혀있다.

<math>V</math>가 <math>F</math>-벡터 공간이므로, <math>V</math>의 모든 원소에 대해 덧셈의 [[벡터 공간#덧셈의 교환 법칙|교환]] 및 [[벡터 공간#덧셈의 결합 법칙|결합 법칙]], [[벡터 공간#상수배의 결합 법칙|상수배의 결합 법칙]], [[벡터 공간#상수의 분배 법칙|두 가지]] [[벡터 공간#벡터의 분배 법칙|분배 법칙]]이 성립하며 [[벡터 공간#1배는 자기자신|1배는 자기 자신]]이다. 이제 항등원과 역원이 <math>W</math>의 원소임을 보이면 충분하다.

<math>W\ne\emptyset\rightarrow \exist x\in W</math>
** 존재 예화: <math>x \in W</math> 어떤 벡터에 [[벡터 공간/0을 곱하면 0이다|0을 곱하면 0이고]] 가정에 의해 <math>W</math>는 상수배에 대해 닫혀있다.

<math>0=0x\in W</math>

<math>\therefore 0\in W</math>. 존재 예화 끝.
* 따라서 <math>W</math>가 항등원을 원소로 갖는다.
** 가정: <math>x\in W</math> 어떤 벡터에 [[벡터 공간/역원과 상수곱|-1을 곱하면 역원이고]] 가정에 의해 <math>W</math>는 상수배에 대해 닫혀있다.

<math>-x=(-1)x\in W</math>

<math>\therefore -x\in W</math>. 가정 끝.
* <math>\therefore \forall x\in W(-x\in W)</math>; <math>W</math>의 임의의 원소는 그 역원 또한 <math>W</math>의 원소이다. 항등원과 역원이 <math>W</math>의 원소임을 보였으므로 <math>W</math>는 <math>F</math>-벡터 공간이다. <math>W\le V</math>. 가정 끝.

부분 공간

2022-03-12T07:56:26Z

Joongwon:

부분 공간

2022-03-12T07:41:14Z

Joongwon: 새 문서: 어떤 벡터 공간의 부분 공간이란, 그 벡터 공간에 포함되면서 스스로도 벡터 공간인 집합을 말한다. * <math>F</math>: 체 * <math>V</math>: <math>F</math>-벡터 공간 * <math>W</math>: 임의의 집합 * vsp(V, F): V가 F-벡터 공간 * ss(W, V): W가 V의 부분 공간 <math>\text{ss}(W,V)\overset{def}\Longleftrightarrow \text{vsp}(W,F)\wedge W\subset V</math>

어떤 벡터 공간의 부분 공간이란, 그 벡터 공간에 포함되면서 스스로도 벡터 공간인 집합을 말한다.

* <math>F</math>: 체
* <math>V</math>: <math>F</math>-벡터 공간
* <math>W</math>: 임의의 집합
* vsp(V, F): V가 F-벡터 공간
* ss(W, V): W가 V의 부분 공간

<math>\text{ss}(W,V)\overset{def}\Longleftrightarrow \text{vsp}(W,F)\wedge W\subset V</math>

벡터 공간

2022-03-12T07:32:46Z

Joongwon:

벡터 공간은 덧셈과 상수배가 정의되어 몇 가지 성질을 만족하는 집합으로 정의된다.

== 정의 ==
체 <math>F</math>, 집합 <math>V</math>와 덧셈 <math>V+V\rightarrow V</math>, 상수배 <math>F\cdot V\rightarrow V</math>에 대해, 다음 성질들을 만족하는 집합 <math>V</math>를 <math>F</math>-벡터 공간으로 정의한다.

=== 덧셈의 교환 법칙 ===
더해지는 두 벡터의 자리를 바꾸어도 그 값은 같다.

<math>\forall x,y\in V(x+y=y+x)</math>

=== 덧셈의 결합 법칙 ===
덧셈의 순서를 바꾸어도 그 값은 같다.

<math>\forall x,y,z \in V ((x+y)+z=x+(y+z))</math>

=== 항등원의 존재 ===
벡터 공간에는 [[벡터 공간/항등원|항등원]]이 존재한다.

<math>\exist x \in V(\forall y \in V(y+x=y))</math>

=== 역원의 존재 ===
벡터 공간의 모든 원소에는 [[벡터 공간/역원|역원]]이 존재한다.

* <math>0</math>: V의 항등원

<math>\forall x \in V(\exist y \in V(x+y=0))</math>

=== 1배는 자기자신 ===
임의의 벡터에 1을 상수배한 것은 자기 자신과 같다.

<math>\forall x \in V(1 x=x)</math>

=== 상수배의 결합 법칙 ===
상수배를 두 번 하는 것은 두 수의 곱만큼 상수배하는 것과 같다.

<math>\forall x \in V,a,b\in F (a(bx)=(ab)x)</math>

=== 상수의 분배 법칙 ===
상수의 합만큼 상수배한 것은 각각의 상수만큼 상수배한 뒤 더한 것과 같다.

<math>\forall x \in V, a,b\in F((a+b)x=ax+bx)</math>

=== 벡터의 분배 법칙 ===
벡터의 합을 상수배한 것은 각각 상수배한 것을 더한 것과 같다.

<math>\forall x,y \in V , a\in F(a(x+y)=ax+ay)</math>

== 예 ==
아래 집합들은 모두 벡터 공간이다.

* <math>\{\mathbf{0}\}</math>: <math>\mathbf{0}+\mathbf{0}=\mathbf{0},a\mathbf{0}=\mathbf{0}</math>
* <math>\R^n</math>
* <math>F^n</math>
* <math>\{(a,b,0)| a,b\in F\}</math>
* <math>M_{m\times n}(F):=\{(a_{ij})|a_{ij}\in F\}</math>
* <math>\Delta_{n\times n}(F):=\left\{\begin{pmatrix} a_{11} \\ & \ddots \\ 0 & & a_{nn} \end{pmatrix} | a_{ij}\in F \right\}</math>
* <math>\mathcal{F}(S,F):=\{f:S\rightarrow F\}</math>
* 미분가능함수, n급 함수, ∞급 함수
* 다항식
* n차 이하 다항식
* 수열 <math>\{(a_n)|a_n\in F,n=1,2,3,\dots\}</math>

== 하위 문서 ==
{{특수:접두어찾기/벡터 공간/}}
[[분류:선형대수학]]
[[분류:정의]]

벡터 공간/항등원

2022-03-12T07:29:56Z

Joongwon:

벡터 공간의 항등원이란, 임의의 벡터와 더해도 그 벡터가 되는 벡터이다.

* vsp(V, F): V가 F-벡터 공간
* id(x, V): x가 V의 항등원

<math>\forall V,F,x(\text{vsp}(V,F)\wedge x\in V\rightarrow
(\text{id}(x, V)\overset{\underset{\mathrm{def}}{}}{\Longleftrightarrow}
\forall y\in V(y+x=y)
)
)</math>

== 성질 ==

* 벡터 공간에는 [[벡터 공간/항등원은 유일하다|유일한]] 항등원이 [[벡터 공간#항등원의 존재|존재]]한다.
* [[벡터 공간/0을 곱하면 0이다|임의의 수로 상수배하여도 자기자신과 같다.]]
* [[벡터 공간/0을 곱하면 0이다|임의의 벡터를 0배한 것은 항등원과 같다.]]

[[분류:정의]]
[[분류:선형대수학]]

벡터 공간/역원

2022-03-12T07:29:41Z

Joongwon:

벡터 공간에서 어떤 벡터의 역원이란, 그 벡터와 더한 것이 항등원과 같아지는 벡터이다.

* F: 임의의 체
* V: 임의의 F-[[벡터 공간]]
* 0: V의 [[벡터 공간/항등원|항등원]]
* inv(x, y): x가 y의 역원이다.

<math>\forall x,y \in V(\text{inv}(x,y)\overset{\text{def}}{\Longleftrightarrow}x+y=0)</math>

== 성질 ==

* 임의의 벡터의 역원은 [[벡터 공간/역원은 유일하다|유일하게]] [[벡터 공간#역원의 존재|존재한다]].
* [[벡터 공간/역원과 상수곱|임의의 벡터를 -1배한 것은 역원과 같다.]]
* [[벡터 공간/역원과 상수곱|상수배한 것의 역원은, 상수의 역원만큼 상수배한 것과 같고, 역원을 상수배한 것과도 같다.]]
[[분류:선형대수학]]
[[분류:정의]]

벡터 공간/역원

2022-03-12T07:29:09Z

Joongwon: 새 문서: 벡터 공간에서 어떤 벡터의 역원이란, 그 벡터와 더한 것이 항등원과 같아지는 벡터이다. * F: 임의의 체 * V: 임의의 F-벡터 공간 * 0: V의 항등원 * inv(x, y): x가 y의 역원이다. <math>\forall x,y \in V(\text{inv}(x,y)\overset{\text{def}}{\Longleftrightarrow}x+y=0)</math> == 성질 == * 임의의 벡터의 역원은 유일하게 벡터 공간#역원의...

벡터 공간

2022-03-12T07:18:39Z

Joongwon: /* 항등원의 존재 */

2022-03-11T18:11:01Z

Joongwon:

'''왼손위키 — 무관심 속에 무한한 자유를!'''

결국 인터넷 커뮤니티 운영의 열망을 못 참고 만들어버린 새로운 위키.

주로 학교에서 배우는 것을 정리하거나 하는 용도로 쓸 예정이지만, 그 외에 잡다구리한 항목이 생길 수도 있다.

비로그인 사용자가 편집할 수 있는 데다 기본 저작권 정책이 퍼블릭 도메인인만큼 무한한 자유를 누릴 수 있다.

단, 일부 항목은 편집과 열람이 막히거나 별도의 저작권 정책이 쓰일 수 있으니 주의하길 바란다.

Test

2022-03-11T16:45:50Z

Joongwon: 새 문서: 테스트 페이지 '''안녕!'''

테스트 페이지

'''안녕!'''

벡터 공간

2022-03-11T15:37:31Z

Joongwon:

벡터 공간

2022-03-11T15:22:32Z

Joongwon: 새 문서: 벡터 공간은 덧셈과 상수곱이 정의되어 다음의 성질을 만족하는 집합으로 정의된다.

벡터 공간은 덧셈과 상수곱이 정의되어 다음의 성질을 만족하는 집합으로 정의된다.

왼손위키:면책 조항

2022-03-11T11:17:18Z

Joongwon: 새 문서: 본 면책 조항은 [https://ko.wikipedia.org/w/index.php?title=%EC%9C%84%ED%82%A4%EB%B0%B1%EA%B3%BC:%EB%A9%B4%EC%B1%85_%EC%A1%B0%ED%95%AD&oldid=21137595 위키백과 면책 조항]을 참고한 것입니다. CC-BY-SA 3.0가 적용됩니다. 왼손위키는 온라인에 의해 내용이 개방되는 백과사전입니다. 다시 말해 왼손위키에 참여하는 개인이나 단체는 인간이 창조하고 발견한 지식을 한 곳에 모으는 노력을 함께하고 있...

본 면책 조항은 [https://ko.wikipedia.org/w/index.php?title=%EC%9C%84%ED%82%A4%EB%B0%B1%EA%B3%BC:%EB%A9%B4%EC%B1%85_%EC%A1%B0%ED%95%AD&oldid=21137595 위키백과 면책 조항]을 참고한 것입니다. CC-BY-SA 3.0가 적용됩니다.

왼손위키는 온라인에 의해 내용이 개방되는 백과사전입니다. 다시 말해 왼손위키에 참여하는 개인이나 단체는 인간이 창조하고 발견한 지식을 한 곳에 모으는 노력을 함께하고 있습니다. 인터넷과 웹 브라우저를 쓸 수 있는 모든 사람은 누구나 왼손위키에 참여하여 글을 쓰고 수록된 글을 보충 또는 수정할 수 있습니다. 그러므로 여기에 수록된 개별 분야에 관한 어떠한 글도 전문가에 의해 특별히 검토되지 않기 때문에 어떤 주제에 대해서도 정확하고 또는 신뢰할 수 있는 정보를 제공한다고 볼 수는 없습니다.

그렇다고 해서 여러분께서 왼손위키에서 가치 있고 정확한 정보를 얻을 수 없다는 것을 의미하지는 않습니다. '''왼손위키는 다만 여기에 수록된 정보의 타당성에 대해 어떠한 보증도 하지 않는다는 것을 강조합니다.''' 여기에 수록된 정보는 어느 사람에 의해서든지 조만간 수정되거나 변경 또는 심지어 훼손될 수 있습니다. 그리고 글을 쓴 참여자의 입장이나 의견이 여러분이 관심이 있고 정보를 얻고자 하는 특정 분야의 지적 수준에 부합되지 않을 수도 있습니다.

===저작권, 라이선스===
작가, 참여자, 후원자, 관리자 혹은 왼손위키와 관련된 어떠한 사람도 이 웹사이트의 페이지에 수록된 또는 링크된 정보를 여러분이 사용하는 것에 어떠한 책임도 지지 않습니다. 왼손위키가 제공하는 정보는 여러분께서 자유로이 그리고 무료로 사용하신다는 것을 재삼 인식하여야 하며, 따라서 여러분과 이 웹사이트의 소유자 또는 특정 사용자 사이에서는 어떠한 종류의 허가나 동의 또는 접촉도 불필요합니다. 이 웹사이트가 등록된 서버의 소유자, 개별 참여자, 관리자 혹은 이 프로젝트 또는 자매 프로젝트와 관련된 어느 사람도 여러분의 직접적 항의로부터 유보됩니다. 여러분은 이 웹사이트에 수록된 내용을 퍼블릭 도메인에 따라 제한적으로 복사할 수 있으며 이를 필요에 따라 임의로 사용할 수 있습니다.

===상표권===
왼손위키에 사용 또는 인용된 등록상표, 서비스표식, 조합표식, 디자인권, 개별권 혹은 이와 유사한 권리 등은 해당 유동재산의 소유자의 권리에 속합니다. 왼손위키에 글을 쓴 참여자가 저작권의 보호를 받고 있을 수도 있는 이와 같은 종류의 유동재산을 사용하였을 때 이는 퍼블릭 도메인에 규정된 이와 관련된 내용 이외의 다른 목적으로 여러분이 사용할 수 있다는 것을 의미하지 않습니다. 왼손위키 그리고 위키미디어의 웹사이트는 별도로 언급하지 않는 한 저작권과 직접 혹은 간접적으로 관련된 사항을 확인해 드리지 않습니다.

왼손위키는 저작권의 보호를 받고 있는 자료가 수록되지 않도록 각별한 주의를 하지만, 때에 따라서는 저작권에 저촉된 내용이 왼손위키의 문서에 수록되어 있을 수도 있습니다. 만일 여러분께서 이를 모르고 사용하였을 경우에 따르는 법적 문제는 전적으로 여러분 자신이 책임을 지게 됩니다.

===재판권===
왼손위키에 수록된 정보는 여러분이 현재 위치하고 있는 국가의 법에 저촉될 수도 있습니다. 여러분이 위치한 국가의 법은 미국의 법 또는 UN 헌장의 원칙에 따른 표현의 자유 보장을 넓은 의미에서 인정하지 않을 수도 있습니다. 왼손위키는 여러분이 왼손위키에 링크함으로써 혹은 여기에 포함된 어떤 정보를 사용함으로써 생길 수도 있는 법적 위반에 대해 어떠한 책임도 지지 않습니다.

===전문가의 견해가 아닙니다===
만일 여러분께서 특별한 분야(이를테면 의료, 법, 경제)에 조언이 필요할 경우, 이 분야의 전문가를 찾기를 권장합니다.

왼손위키:소개

2022-03-11T11:08:18Z

Joongwon: 대문 문서로 넘겨주기

#넘겨주기 [[대문]]

왼손위키:개인정보처리방침

2022-03-11T11:07:53Z

Joongwon: 새 문서: [http://physi2.tjhswiki.com/privacy.html 개인정보처리방침] 페이지 참고.

[http://physi2.tjhswiki.com/privacy.html 개인정보처리방침] 페이지 참고.

CommentStreams:131230aab62f3e1ce8e314e58a3c10ce

2022-03-11T10:56:22Z

Joongwon:

ㄷㄷ{{DISPLAYTITLE:
댓글도 쓸 수 있다.
}}

대문

2022-03-11T10:04:01Z

Joongwon: 대문 버전 0.0.0

결국 인터넷 커뮤니티 운영의 열망을 못 참고 만들어버린 새로운 위키.

주로 학교에서 배우는 것을 정리하거나 하는 용도로 쓸 예정이지만, 그 외에 잡다구리한 항목이 생길 수도 있다.

비로그인 사용자가 편집할 수 있는 데다 기본 저작권 정책이 퍼블릭 도메인인만큼 무한한 자유를 누릴 수 있다.

단, 일부 항목은 편집과 열람이 막히거나 별도의 저작권 정책이 쓰일 수 있으니 주의하길 바란다.

무관심 속에 무한한 자유를!