diff options
| Commit | b892ff817990801538ca5f511d91588daed6f662 (patch) | |
|---|---|---|
| Author | 2022-09-19 10:54:36 +0300 | |
| Committer | 2022-09-19 10:54:36 +0300 | |
| Files | 9df461dd9a3b09d44122f787bfa9cc7cd1731109 | |
| uni-projects-b892ff817990801538ca5f511d91588daed6f662.tar uni-projects-b892ff817990801538ca5f511d91588daed6f662.tar.gz uni-projects-b892ff817990801538ca5f511d91588daed6f662.zip | ||
| Parent | 01968863b69a54f52aca377bedb829ca96036e9f (diff) | |
Fixed some small errors in calculus notes-appendix
2 files changed, 7 insertions, 3 deletions
| -rw-r--r-- | Year 1/Calculus/notes-appendix.pdf | bin | 107285 -> 110381 bytes | |||
| -rw-r--r-- | Year 1/Calculus/notes-appendix.tex | 10 |
diff --git a/Year 1/Calculus/notes-appendix.pdf b/Year 1/Calculus/notes-appendix.pdf Binary files differindex 3b86a7c..8ea8eeb 100644 --- a/Year 1/Calculus/notes-appendix.pdf +++ b/Year 1/Calculus/notes-appendix.pdf diff --git a/Year 1/Calculus/notes-appendix.tex b/Year 1/Calculus/notes-appendix.tex index 40090d1..4b23467 100644 --- a/Year 1/Calculus/notes-appendix.tex +++ b/Year 1/Calculus/notes-appendix.tex @@ -183,7 +183,7 @@ Oт принципа за непрекъснатост, съществува сÑ \textbf{I.} Всяка ограничена редица има сходяща подредица -$\{ a_n \}^{\infty}_{n=1}$ сходяща $\implies$ означаваме $a_n \in [b_0,c_0] \; \forall n \in \mathbb{N}$. Броят членове на поне един от интервалите $\left[ b_0, \frac{b_0 + c_0}{2} \right]$ и $\left[ \frac{b_0 + c_0}{2}, c_0 \right]$ е безкраен, означаваме този интервал с $[b_1, c_1]$. Продължаваме така до $[b_k, c_k]$. +$\{ a_n \}^{\infty}_{n=1}$ ограничена $\implies$ означаваме $a_n \in [b_0,c_0] \; \forall n \in \mathbb{N}$. Броят членове на поне един от интервалите $\left[ b_0, \frac{b_0 + c_0}{2} \right]$ и $\left[ \frac{b_0 + c_0}{2}, c_0 \right]$ е безкраен, означаваме този интервал с $[b_1, c_1]$. Продължаваме така до $[b_k, c_k]$. Забелязваме, че $b_0 \leq b_1 \leq \cdots \leq b_k \leq \cdots < c_0$ и $c_0 \geq c_1 \geq \cdots \geq c_k \geq \cdots > b_0$. @@ -344,9 +344,9 @@ $(\Leftarrow)$ Нека $f:D \rightarrow \mathbb{R}, D \equiv (x_0 - \overline{\ \Rightarrow \exists \delta_2 > 0 \forall x \in (b - \delta_2, b] : f(x) > 0 \implies x_0 \leq b - \delta_2 < \delta \end{align*} -Ако $f(x_0) > 0$, следва че $\exists \delta > 0 \forall x \in (x_0 - \delta, x_0 + \delta) : (x_0 - \delta, x_0 + \delta) \subset (a, b)$ и $f(x) > 0$. Следователно $(x_0 - \delta, x_0 + \delta) \subset A$ и $x_0$ не е долна граница, противоречие! +Ако $f(x_0) > 0$ и имаме $(x_0 - \delta, x_0 + \delta) \subset (a, b)$ то, следва че $\exists \delta > 0 \forall x \in (x_0 - \delta, x_0 + \delta): f(x) > 0$. Следователно $(x_0 - \delta, x_0 + \delta) \subset A$ и $x_0$ не е долна граница, противоречие! -Ако $f(x_0) < 0$, следва че $\exists \delta > 0 \forall x \in (x_0 - \delta, x_0 + \delta) : (x_0 - \delta, x_0 + \delta) \subset (a, b)$ и $f(x) < 0$. Следователно $\forall x \in [x_0, x_0 + \delta) : x \notin A$. Ясно е че $\forall x \in [a, x_0) : x \notin A$. Следователно $x_0 + \delta$ е долна граница на $A$, противоречие! +Ако $f(x_0) < 0$ и имаме $(x_0 - \delta, x_0 + \delta) \subset (a, b)$ то, следва че $\exists \delta > 0 \forall x \in (x_0 - \delta, x_0 + \delta): f(x) < 0$. Следователно $\forall x \in [x_0, x_0 + \delta) : x \notin A$. Ясно е че $\forall x \in [a, x_0) : x \notin A$. Следователно $x_0 + \delta$ е долна граница на $A$, противоречие! Остава $f(x_0) = 0$. \epr @@ -493,4 +493,8 @@ $(\Leftarrow)$ Избираме произволни $x_1, x_2 \in \Delta, x_1 < TODO: FINISH +\vfill + +\emph{\color{gray} \footnotesize Изготвено от Камен Младенов <kamen@syndamia.com> \hfill Версия 19.09.2022-1} + \end{document}
\ No newline at end of file |
