-
Notifications
You must be signed in to change notification settings - Fork 1
/
week1.tex
172 lines (149 loc) · 5.67 KB
/
week1.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
\section*{Week 1}
\definitie{$\leq$ is totale ordening}{
\als{$\leq$ partiele ordening}\\
\uitwerking{
$\forall x: x \leq x$ (reflexief)\\
$\forall x,y: x \leq y \wedge y \leq z \Rightarrow x \leq z$ (transitief)\\
$\forall x,y: x \leq y \wedge y \leq x \Rightarrow x = y$ (antisymetrish)
}\\
\als{$\leq$ totaal is}\\
\uitwerking {
$\forall x,y: x \leq y \vee y \leq x$
}
}
\definitie{geordend lichaam} {
Een lichaam $(F,+,*,0,1)$ met een totale ordening $\leq$ op $F$\\
\als{$\forall a,b,c \in F: a \leq b \Rightarrow a + c \leq b + c$}\\
\als{$\forall a,b,c \in F: a \leq b \wedge c \geq 0 \Rightarrow ac \leq bc$}
}
\definitie{$b$ is bovengrens} {
$A \subseteq X, b \in X$\\
\als{$\forall x \in X: a \leq b$}
}
\definitie{$A$ is naar boven begrensd} {
\als{A heeft bovengrens}
}
\definitie{$a$ is grootste element} {
$A \subseteq X, a \in A$\\
\als{$a$ is bovengrens}
}
\definitie{supremum/kleinste bovengrens A}{
Zij $A \subseteq X, b \in X$\\
\als{$b$ bovengrens $A$}\\
\als{$c \in X$ bovengrens $A, \forall c:b \leq c$}
}
\definitie{volledig totaal geordende verzameling $(X,\leq)$} {
\als{Elke naar boven begrensde deelverzameling \\ $A \subseteq X$ een supremum heeft}
}
\feit{$(\Q,\leq)$ is niet volledig}
\feit{$\R$ is de completering van $\Q$ t.o.v. $\geq$}
\definitie{S is een Dedekind snede}{
\als{$S \subseteq \Q$}\\
\als{$\Q \neq S \neq \emptyset$}\\
\als{$x,y \in \Q: x\leq y \wedge y \in S \Rightarrow x \in S$}\\
\als{$S$ heeft geen grootste element}\\
\uitwerking{
$\forall x\in S \exists y \in S $ zdd. $y > x$
}
}
\feit{$S,T \in \R: S\leq T \Leftrightarrow S \subseteq T$}
\feit{$(\R,+,*,\leq)$ is een volledig geordend lichaam}
\feit{Zij F geordend lichaam, dan $\forall x \in F: x^2 \geq 0$ en $1 \geq 0$}
\bewijs{
\als{$x \geq 0$ dan $x^2=x*x\geq 0$}\\
\als{$x < 0$ dan $x^2=(-x)^2 > 0$}\\
\als{$1 = 1^2 \geq 0 \wedge 1 \neq 0 \Rightarrow 1 > 0$}
}
\stelling{Als $R_1,R_2$ volledige geordende lichamen zijn, dan is er een bijectie $\alpha: R_1 \to R_2$ die alle structuren behoudt}
\uitwerking{
$x,y \in R_1$\\
\als{$\alpha(x + y) = \alpha(x) + \alpha(y)$}\\
\als{$\alpha(xy) = \alpha(x)\alpha(y)$}\\
\als{$a,b \in R_2: x \leq y \Leftrightarrow a \leq b$}
}\\
\lemma{Zij $F$ een willekeurig lichaam, dan is er een unieke afbeelding $\alpha: \Q \to F$ zdd $\alpha(0) = 0, \alpha(1) = 1, \alpha(m + n) = \alpha(m) + \alpha(m)$}
\bewijs{
$\alpha(0)=0, \alpha(1)=1, \alpha(s(x)) = \alpha(x) + 1$\\*
Deze afbeelding voldoet automatisch aan: \\*$\alpha(x + y) = \alpha(x) + \alpha(y)$
}
\definitie{Als $\alpha: \N_0 \to F$ injectief is dan heeft $F$ karakteristiek nul}{
Dus: $\N_0 \subseteq F$
}
\feit{Elk geordend lichaam heeft karakteristiek nul}
\bewijs{
$\alpha(0)=0, \alpha(1)=1 \alpha(s(x)) = \alpha(x) + 1$\\
$n \in \N_0: \alpha(n + 1) = \alpha(s(n)) = \alpha(n) + 1 > \alpha(n)$\\
$\alpha(0) < \alpha(1) < \alpha(2) ...$\\
Dus $n \neq m \Leftrightarrow \alpha(n) \neq \alpha(m)$ dus injectie
}
\stelling{$\alpha: \N_0 \to F$ kunnen we uitbreiden naar $\alpha: \Z \to F$}
\uitwerking{
$(m,n)\in \Z$\\
Neem $\alpha(n,m)=\alpha(n)-\alpha(m)$\\
Als $(m,n)\sim (a,b) \Rightarrow \alpha((m,n)) = \alpha((a,b))$
}\\
\stelling{$\alpha: \Z \to F$ kunnen we uitbreiden naar $\alpha: \Q \to F$}
\uitwerking{
$(m,n) \to \frac{\alpha(m)}{\alpha(n)}$\\
Dit kan alleen als $\alpha(m) \neq 0$\\
Dit kan alleen als $F$ karakteristiek nul heeft\\
Dus als $F$ een geordend lichaam is $\Rightarrow F$\\ heeft karakteristiek nul $\alpha$ is injectie.
}\\
\definitie{Een geordend lichaam heet Archimedisch}{
\als{$\forall x \in F \exists n \in \N$ zdd $x \leq \alpha(n)$}
}
\stelling{Elk volledig geordend lichaam is Archimedisch}
\bewijs{
\als{$x \leq 0$ dan is $n = 0$ goed}\\
\als{$x > 0$}\\
\uitwerking{
Neem $j = \{\frac{1}{n}|n\in\N\}$\\
Duidelijk: $0$ is een ondergrens voor $j$ want\\ $\forall n \in \N: 0 \leq \frac{1}{n}$\\
\lemma{$0$ is infimum voor $J$}
\uitwerking{
$J$ heeft ondergrens $l$ (want 0)\\
$J$ heeft infimum (def. volledigheid:\\
elke deelverzameling met een ondergrens\\
heeft een kleinste ondergrens)\\
$l = inf(J) \geq 0$ (want 0 is ondergrens)\\
Stel $l > 0$\\
dan $2l = l + l > l \Rightarrow 2l$ is geen ondergrens\\
$\exists n \in \N$ zdd $\frac{1}{n} < 2l \Rightarrow J \ni \frac{1}{2n} < l$\\
Tegenspraak dus: $l = 0$
}\\
\als{$x > 0$}\\
\uitwerking{
dan $\frac{1}{x} > 0$ dus $\frac{1}{x}$ is geen ondergrens voor\\
$j$ (want $inf(J)=0$\\
dus $\exists n\in \N$\\
$\frac{1}{n} < \frac{1}{x}$ dus $n > x$
}
}
}
\stelling{Zij $F$ volledig geordend lichaam: $x,y \in F \wedge x < y: \exists r \in \Q $ zdd $x < r < y$}
\bewijs{
\als{$x < 0 < y: r = 0$}\\
\als{$x < y \leq 0 \Rightarrow 0 \leq -y < -x$}\\
\uitwerking{
Stel de uitspraak is bewezen voor\\ $0 \leq x \leq y \Rightarrow -y < r < -x\Rightarrow x < -r < y$\\
Stel $0 \leq x < y \Rightarrow \exists n \in \N$ zdd $\frac{1}{n} < y - x$.(archimedisch)\\
Def $A = \{k \in \N_0|k \leq nx\} \neq \emptyset$ (archimedisch)\\
Def $a = max(A) \in \N_0$: nu $a \leq nx < a + 1$\\
$\frac{a}{n} \leq x < \frac{a+1}{n=r}$\\
$r = \frac{a}{n} + \frac{1}{n} < x + (y-x) < y$
}
}
\propositie{Zij $F$ volledig geordend lichaam: $x,y \in F \wedge x < y: \exists r \in \Q $ zdd $x < r < y$}
\bewijs{
\als{$x < 0 < y: r = 0$}\\
\als{$x < y \leq 0 \Rightarrow 0 \leq -y < -x$}\\
\uitwerking{
Stel de uitspraak is bewezen voor\\
$0 \leq x \leq y \Rightarrow -y < r < -x\Rightarrow x < -r < y$\\
Stel $0 \leq x < y \Rightarrow \exists n \in \N$ zdd $\frac{1}{n} < y - x$.(archimedisch)\\
Def $A = \{k \in \N_0|k \leq nx\} \neq \emptyset$ (archimedisch)\\
Def $a = max(A) \in \N_0$: nu $a \leq nx < a + 1$\\
$\frac{a}{n} \leq x < \frac{a+1}{n=r}$\\
$r = \frac{a}{n} + \frac{1}{n} < x + (y-x) < y$
}
}