diff options
Diffstat (limited to 'tex/context/sample/math')
-rw-r--r-- | tex/context/sample/math/math-knuth-dt.tex | 13 | ||||
-rw-r--r-- | tex/context/sample/math/math-kontinuitet-sv.tex | 8 |
2 files changed, 21 insertions, 0 deletions
diff --git a/tex/context/sample/math/math-knuth-dt.tex b/tex/context/sample/math/math-knuth-dt.tex new file mode 100644 index 000000000..e32681437 --- /dev/null +++ b/tex/context/sample/math/math-knuth-dt.tex @@ -0,0 +1,13 @@ +{\bf 15.} (This procedure maintains four integers $(A, B, C, D)$ with the invariant meaning +that \quotation{our remaining job is to output the continued fraction for $(Ay + B)/(Cy + D)$, +where $y$ is the input yet to come.}) Initially set $j \leftarrow k \leftarrow 0$, $(A, B, C, D) \leftarrow (a, b, c, d)$; +then input $x_j$ and set $(A, B, C, D) \leftarrow (Ax_j + B, A, Cx_j + D, C)$, $j \leftarrow j + 1$, one or +more times until $C + D$ has the same sign as $C$. (When $j > 1$ and the input has not +terminated, we know that $1 < y < \infty$; and when $C + D$ has the same sign as $C$ we +know therefore that $(Ay + B)/(Cy + D)$ lies between $(A + B)/(C + D)$ and $A/C$.) +Now comes the general step: If no integer lies strictly between $(A + B)/(C + D)$ +and $A/C$, output $X_k \leftarrow \lfloor A/C \rfloor$, and set $(A, B, C, D) \leftarrow (C, D, A - X_ k C, B - X_k D)$, +$k \leftarrow k + 1$; otherwise input $x_j$ and set $(A, B,C, D) \leftarrow (Ax_j + B, A, Cx_j + D,C)$, +$j \leftarrow j + 1$. The general step is repeated ad infinitum. However, if at any time the +\emph{final} $x_j$ is input, the algorithm immediately switches gears: It outputs the continued +fraction for $(Ax_j + B)/(Cx_j + D)$, using Euclid's algorithm, and terminates. diff --git a/tex/context/sample/math/math-kontinuitet-sv.tex b/tex/context/sample/math/math-kontinuitet-sv.tex new file mode 100644 index 000000000..0e633d6f2 --- /dev/null +++ b/tex/context/sample/math/math-kontinuitet-sv.tex @@ -0,0 +1,8 @@ +Ett alternativt sätt att uttrycka att $f$ är kontinuerlig i $a$ är att $a\in D_f$ +och att det givet $\epsilon>0$ existerar $\delta>0$ sådant att +$\fenced[bar][size=0]{f(a+h) - f(a)} < \epsilon$ så snart +$\fenced[bar][size=0]{h} < \delta$ och $a+h$ tillhör definitionsmängden för $f$. +Ytterligare ett sätt att uttrycka att $f$ är kontinuerlig i $a$ är att det för +varje $\epsilon$-omgivning $B(f(a),\epsilon)$ av $f(a)$ finns en +$\delta$-omgivning $B(a,\delta)$ av $a$ så att $f$ avbildar $B(a,\delta)\cap D_f$ +in i $B(f(a),\epsilon)$, dvs.\ $f(B(a,\delta)) \subset B(f(a),\epsilon)$. |