From 3dfa966b0e3e3d356b23d285747f6656da5c0db6 Mon Sep 17 00:00:00 2001 From: justanothercatgirl Date: Sat, 11 Jan 2025 16:29:56 +0300 Subject: commit 4 --- 2025math.tex | 416 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 416 insertions(+) create mode 100644 2025math.tex (limited to '2025math.tex') diff --git a/2025math.tex b/2025math.tex new file mode 100644 index 0000000..3dcc7da --- /dev/null +++ b/2025math.tex @@ -0,0 +1,416 @@ +\documentclass[12pt]{article} +\usepackage{fontspec} +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{amsfonts} +\usepackage{wrapfig} +\usepackage{graphicx} +\usepackage{pifont} +\usepackage{hyperref} +\usepackage[margin=0.4in]{geometry} +\newcommand{\cmark}{\ding{51}}% +\newcommand{\xmark}{\ding{55}}% +\newcommand{\s}{\mathbb} +\newcommand{\e}{\exists} +\newcommand{\all}{\forall} +\newcommand{\ulim}{\mathop{\overline\lim}\limits} +\newcommand{\llim}{\mathop{\underline\lim}\limits} +\newcommand{\exclreg}[2]{\overset\circ\Omega_{#1}({#2})} +\newcommand{\mrx}[1]{\begin{pmatrix}#1\end{pmatrix}} +\newcommand{\system}[1]{\left\{\begin{aligned}#1\end{aligned}\right.} +\newcommand{\reg}[2]{\Omega_{#1}({#2})} +\newcommand\eps\varepsilon +\newcommand\ph\varphi +\newcommand\dst\displaystyle +\newcommand\exclude\setminus +\newcommand\rab\underline +\newcommand{\rrab}[1]{\underline{\underline{#1}}} +\renewcommand{\d}{\partial} +\newcommand{\bbar}[1]{\overline{\overline{#1}}} +\renewcommand{\bar}{\overline} +\renewcommand{\ss}[1]{\{{#1}\}} +\renewcommand*\contentsname{Содержание} +\setmainfont{FreeSans} +\graphicspath{ {../images} } +\hypersetup { + colorlinks, + linkcolor=blue, +} +% \everymath{\displaystyle} +% \DeclareMathOperator{\rotor}{rot} + +\title {Экзамен по матеше, 2025, I семестр} +\author {\texttt{justanothercatgirl}} + +\begin{document} +\maketitle +\tableofcontents + +\section{Числовые множества и последовательности} +\subsection{Определения} + +Ограниченное множество $A$: $\e c \in \s R, \all a \in A: |a| < c$ +\\ +Окресность: интервал, содержащий точку $(a,b) := \{x \in R | a < x < b\}$ +\\ +$\eps$-окресность: $(x-\eps, x+\eps)$ +\\ +Проколотая окресность: $\Omega_\eps(x) \exclude \{x\}$ +\\ +Предельная точка множества $p$: $\all \eps > 0 \; \e p_0 \in \s X: |p-p_0| < \eps$ +\\ +Верхняя грань $M$:\ $\all a \in \s A: a \leq M$ +\\ +Спермум: $(\rab S = \sup \s A) := (\all a \in \s A : a \leq S) \land (\forall \rab S' \leq \rab S \; \exists a' \in \s A : \rab S' \leq a')$ +\\ Инфинум аналогично \\ +Числовая последовательность: $f: \s N \implies \s X$. Обозначается $\ss{x_n}$ +\\ Ограниченная, неограниченная последовательность аналогично множеству \\ +Монотонная последовательность: $\all n \in \s N : x_{n} < x_{n+1}$ +\\ +Предел: $(A = \lim_{n\to\infty}\ss{x_n}) := (\all \eps > 0 \e N \in \s N, \all n > N : |x_n - A| < \eps)$ +\\ +Б.М: Аналогично пределу, но в конце $|x_n| < \eps$ +\\ +Б.Б: $\all A \e N \all n > N: A < |x_n|$ (для любого числа найдётся номер, после которого все члены больше числа) +\\ +Фундаментальная: $\all \eps > 0 \e N \in \s N \; \all n, m > N: |x_n - x_m| < \eps$ +\\ +Подпоследовательность: $\ss{n_i}$ - возрастающая $\implies \ss{x_{n_i}}$ - подпоследовательность $\ss{x_j}$ +\\ +Предельная точка последовательности: +$(\all \reg \eps p \exists \; \infty x \in \ss{x_n}) \lor (\exists \ss{x_{n_i}} \to a)$ \\ +Либо существует бесконечно много членов в любой окресности икса, либо сущ. подпоследоватлеьность, сходящаяся к $a$ +\\ +Верхний предел: $\displaystyle \rab S = \ulim_{n\to\infty} \ss{x_n} := \lim_{n\to\infty}\sup_{k \geq n}\ss{x_k}$ +\\ Нижний предел $\llim_{x\to\infty} \ss{x_n}$ Аналогично + +\subsection{Теоремы (без док-ва)} + +Предел арифмет. опер: $\ss{x_n}, \ss{y_n}$ сходятся $\implies$ Предел суммы, разности и произведения равен сумме, разности и произведению пределов. +Предел частного равен частному пределов, если \\ + $(\all n \in \s N \; y_n \neq 0) \land (\ss{y_n} \not \to 0)$ +\\ +О 3 послед. (2 полиц.): $(\ss{x_n}, \ss{z_n} \to a) \land (\forall n \in N \; x_n \leq y_n \leq z_n) \implies \ss{y_n} \to a$ +\\ +Вейштрассa (пред. монот. огр. посл-ти): $\displaystyle (\ss{x_n} \text{неубыв.} \land \text{огр. сверху}) \equiv +\e \lim_{n\to\infty}\ss{x_n}=\sup_{n\in\s N}x_n$ +\\ +Коши-Кантора (Вложенные отрезки): $\ss{I_n} := I_1 \supset I_2 \supset \dots \supset I_k \supset \dots \implies +\e c: \forall k\; c \in I_k$. Так же: +$\all \eps > 0 \exists I_k : |I_k| < \eps \implies \e! c: \all k \; c \in I_k$ (знаком модуля обозначается длина отрезка) +\\ +Больцмана-Вейштрасса: $\exists \sup \ss{x_n} \implies \exists \ss{x_{k_i}}: \ss{x_{k_i}}\to a$ (если ограничена, есть сход. подпосл.) +\\ +Критерий Коши: последовательность сходится тогда и только тогда, когда она фундаментальна. + +\subsection{Теоремы (с док-вом)} +\begin {enumerate} + +\item Единственность предела: Пусть $\ss{a_n} \to b_1, b_2, b_2>b_1$. По определению: \\ +\[ +\begin{aligned} + \all \eps > 0 &\e N_1 \in \s N,\;\all n > N_1 &: |a_n - b_1| < \eps \\ + \all \eps > 0 &\e N_2 \in \s N,\;\all n > N_2 &: |a_n - b_2| < \eps \\ +\end{aligned} \implies \left\{\begin{aligned} + -\eps &< a_n - b_1 &< \eps \\ + -\eps &< a_n - b_2 &< \eps \\ +\end{aligned}\right. \implies +\] +\centerline{[ Возьмём $N = \max {N_1, N_2};\;\varepsilon = \frac{b_2-b_1}2 > 0$ ]} +\[ \implies +\left\{\begin{aligned} + a_n - b_1 &< \frac{b_2-b_1}2 \\ + a_n - b_2 &> \frac{b_1-b_2}2 +\end{aligned}\right. \implies \system{ + a_n &< \frac{b_1 + b_2}2 \\ + a_n &> \frac{b_1 + b_2}2 \\ +} +\] +Что приводит к противоречию, значит, предел единственный + + +\item сходящаяся последовательность ограничена: Пусть $\ss{a_n} \rightarrow a$. По определению: \[ + \all \eps > 0 \e N \in \s N, \all n > N: |a - a_n| < \eps +\] +Выберем $\eps,\,N$. Тогда $x_n \overset{n > N}> |a| + \eps$. Возмём $M > \max\{|a_1|\dots|a_n|, |a|+\eps\}$. +Получаем, что \[\all n : |a_n| < M \] + + +\item Арифметические операции: \\ +Можно легко доказать, что $\ss{x_n} \to a \implies \exists \ss{a_n} \to 0: \all n \quad(x_n = a_n + a)$ \\ +Аналогично можно доказать обратное + +Пусть $\ss{x_n} \to x_0, \ss{y_n} \to y_0$, тогда $\e \ss{\alpha_n}, \ss{\beta_n} : \forall n\quad x_n = x_0 + \alpha_n;\; y_n = y_0 + \beta_n$ + +Тогда \begin{itemize} + \item $x_n \pm y_n = x_0 \pm y_0 + \alpha_n + \beta_n = x_0 \pm y_0 + \gamma_n$ (По теореме о сумме бесконечно малых). Отсюда по обратной лемме выше +$\ss{x_n \pm y_n} \to x_0 \pm y_0$ + \item $x_n\cdot y_n = x_0y_0 + x_0\beta_n + y_0\alpha_n + \alpha_n\beta_n = x_0y_0 + + \alpha_n' + \beta_n' + \gamma_n' = x_0y_0 + \zeta_n$. по той же лемме доказано. + (пользовались теореме о произведении 1. б.м. на огр; 2. б.м. на б.м.) + \item Докажем $\lim\ss{\frac 1 {y_n}} = \frac 1{y_0}$ (по 2 пункту этого достаточно). + запишем определение: \[\all \eps > 0 \e N, \all n > N : |y_n - y_0| < y_0M\eps\] + \[ y_n < M \implies y_ny_0 \leq y_0M \text{ (по огр. сход. послед-сти) } \implies \frac{1}{y_ny_0}|y_n - y_0| = + \left|\frac 1 {y_0} - \frac 1 {y_n}\right| < \frac{y_0M\eps}{y_0M} < \eps \] + Получаем определение: $\all \eps > 0 \e N \in s N, \all n > N : \left|\frac{1}{y_n} - \frac{1}{y_0}\right| < \eps$, + то есть доказано \\ + (ну типа $\ss{\frac{x_n}{y_n}} = \ss{\frac{1}{y_n}}\ss{x_n} \to \frac{1}{y_0}x_0 = \frac{x_0}{y_0}$) +\end{itemize} + + +\item Два полицейских: Раскрываем модули из определения +\[ +\system{ + |x_n - c| &< \eps \\ + |z_n - c| &< \eps \\ +} \implies \system { + c-\eps &< x_n \\ + z_n &< c+\eps \\ +} \implies c-\eps < x_n \leq y_n \leq z_n < c + \eps \implies |y_n - c| < \eps +\] откуда получаем определение предела для $\ss{y_0}$ + + +\item Предел подпосл. Сходящейся посл. \\ +$\all \eps > 0 \e N \in \s N , \all k > N : |x_k - a| < \eps \\ +\forall k \; n_k > k \implies \all \eps > 0 \e N \in \s N , \all n_k > N : |x_{n_k} - a| < \eps$ + + +\item неуб. огр. сверху имеет предел \\ +Из ограниченности $\e s = \sup \ss{x_n} \overset{def}: \all \eps > 0 \e N: s - \eps \leq x_N < s (+\eps);\; +\all n > N : x_n > x_N \implies \\ \implies \all \eps > 0 \e N \in N, \all n > N: |x_n - s| < \eps$ + + +\item о вложенных отрезках. Возьмём последовательность начал и концов: $\ss{a_n} ,\ss{b_n}$. +Обе ограничены $(\all n \in \s N a_n,b_n \in [a_1, b_1], \all n\; a_{n+1} > a_n, b_{n+1} < b_n) \implies +\e \tilde\alpha = \sup \ss{a_n} \land \e \tilde\beta = \inf \ss{b_n}\quad (\tilde\alpha \leq \tilde\beta)$ \\ +Пусть $c \in [\tilde\alpha,\tilde\beta];\; \all n \in \s N\; a_n \leq \tilde\alpha \leq c \leq \tilde\beta \leq b_n \implies +c \in [a_n, b_n]$ \\ +Пункт b: $\lim_{x\to\infty} a_n = \lim_{x\to\infty} b_n \land \all n \in N\; a_n \leq c \leq b_n \implies \exists!c$ (по 2 полицейским) + + +\item Больцано-Вейштрасса. +$a:=\inf\ss{x_n},b:=\sup\ss{x_n}$. пусть $x_1$ - первый элемент подпосл. Разобъём $[a,b]$ пополам, выберем ту половину, +где бесконечно много членов $\ss{x_n}$, оттуда выберем $x_2$. По аксиоме выбора составляем бесконечную посл-ть $\ss{x_{k_i}}$, +повторяя это действие. $\all i \in \s N \; x_{k_i} \in [a_i, b_i] \supset [a_{i+1}, b_{i+1}] \land |b_i-a_i| += \frac{b-a}{2^{i-1}}$. Из теоремы о вложенных отрезках: $\ss{b_i-a_i}\to 0 \implies \e!c: \ss{x_{k_i}}\to c$. +Типа доказано. + + +\item что фунд. Посл-ть ограничена. \\ +По определению: \[\e N, \all n,m > N : |x_n - x_m] < \eps;\; m:=N \implies +x_N - \eps < x_n < x_N + \eps. +\]\[ + \exists M := \max\{x_1, \dots, x_{N-1}, x_N + \eps\} + 1: \all n \in \s N \; |x_n| < M. +\] Что формирует определение ограниченной последовательности + + +\newpage +\item Критерий коши +\begin{itemize} + \item фундаментальность $\implies$ сходимость (достаточность): \\ + Из фундаментальности следует, что $\e N, \all n > N : x_N - \frac \eps 3 < x_n < x_N + \frac \eps 3$; + Положим $a_n := \inf_{k \geq n}\ss{x_k}; b_n := \sup_{k \geq n}\ss{x_k}$. Т.к. при $n'>n\;\sup$ и $\inf$ + берутся на меньшем множестве, $a_n \leq a_{n+1} \leq b_{n+1} \leq b_n$, и имеется последовательность + вложенных отрезков, и у них имеется общая точка \\ + $\e A, \all n: \; a_n < A < b_n \\ \system{ + X_N - \frac \eps 3 &< x_n \\ + X_N + \frac \eps 3 &> x_n + } \overset{\text{из огранич.}}\implies \system { + X_N - \frac \eps 3 &\leq \inf_{k \geq n}\ss{x_k} = a_n\\ + X_N + \frac \eps 3 &\geq \sup_{k \geq n}\ss{x_k} = b_n \\ + } \implies x_N - \frac \eps 3 < a_n < A < b_n \leq x_N + \frac \eps 3 + \implies |x_N - A| \leq \frac \eps 3.\quad|x_n - A| = |x_n - x_N + x_N - A| + \leq |x_n - x_N| + |x_N - A| \leq 2\frac \eps 3 \leq \eps$ \\ + Окончательно: $\all \eps >0 \e N \in \s N, \all n > N: |x_n - A| \leq \eps$ + \item сходимость $\implies$ фундаментальность (необходимость): \\ + Из определения сходимости $\e n, m > N(\eps): \system{ + |x_m - A| < \frac \eps 2 \\ + |x_n - A| < \frac \eps 2 + };\quad |x_n - x_m| = |x_n - A - x_m + A| < |x_n - A| + |A - x_m| < 2\frac \eps 2 = \eps$ \\ + Получаем $\all \eps > 0 \e N(\eps) \in \s N, \all n, m > N : |x_n - x_m| < \eps$ +\end{itemize} + + +\item ограниченная посл-ть имеет верхний и нижний пределы:\\ +Рассмотрим множество $\{x \in \s R | \text{правее x конечное число или нет членов} \ss{x_n}\}$. +это множество ограничено снизу, в качестве нижней грани можно взять любое число $m < \inf \ss{x_n}$. +Тогда $\e\inf\ss{x} = \rab x$. Докажем, что $\rab x$ - предельная точка $\ss{x_n}$ и +$\rab x = \sup\ss{\sup{x_n}} \equiv \rab x = \ulim \ss{x_n}$. + +1. по определению $\all \eps > 0, \all (\rab x - \eps) \not \in \ss{x} \implies$ правее $(x-\eps)$ + б.много элементов $\ss{x_n}$. между $\rab x$ и $\rab x + \eps$ конечное число, тогда между +$(\rab x-\eps, \rab x + \eps)$ б.м. элементов и это предельная точка + +2. Мы определили, что правее $\rab x + \eps$ конечное число членов $\ss{x_n}$. Тогда +в $\eps$-окресности $\rrab x > \rab x$ не может быть б.м. членов. Доказано. + +Нижний предел доказывается аналогично. + + +\item У огр. посл-ти $\e$ хотя бы 1 предельная точка + +аналогично прошлому + + +\item эквив. Двух опред. предельной точки +\begin{itemize} + \item Пусть $\lim_{x\to\infty} \ss{x_{k_n}} = a \implies \all \eps > 0 \e N, \all n > N : |x_{k_n} - a| < \eps$. + Тогда в любой $\eps$-окресности лежит $\infty$ эементов (все, начиная с $N$). Поскольку Элементы + $\ss{x_{k_n}}$ так же элементы $\ss{x_n}$, то в окресности точки $a$ лежит $\infty$ элементов + \item Пусть в окресности $a$ лежит $\infty$ элементов $\ss{x_n}$. рассмотрим $\eps$-окресности + $\left\{1, \frac 1 2, \frac 1 3, \dots , \frac 1 n\right\}$. в первой выберем $k_1$, во второй - $k_2$, + при этом $k_2 > k_1$, по аксиоме выбора продолжая этот процесс получаем бесконечную ограниченную монотонно возрастающую + последовательность ($\all n: (k_{n+1} > k_n \land k_n < a + \frac 1 n)$), которая является + подпоследовательностью $\ss{x_n}$ +\end{itemize} + + +\item Из неогр. Посл-ти можно выделить б.б. подпоследовательность + +Заметим, что если у б.б. посл-ти "убрать" конечное число элементов, +она останется б.б. (иначе это противоречило бы определению б.б.) + +т.к. $\ss{x_n}$ - б.б., то $\e n_0: |x_{n_0} := k_0| > 1$. +Рассмотрим $\ss{x_n^1} = {x_{n_0}, x_{n_0 + 1}, \dots}$. +Из $\ss{x_n^1}$ выберем $k_1$. По аксиоме выбора, если мы +продолжим этот процесс, получим бесконечно большую (очевидно) +последовательность. $\ss{k_n}$, которая является подпосл. $\ss{x_n}$ + +\end{enumerate} + + +\subsection{Задачи} +\begin{enumerate} +\item Неравенство Бернулли $\left(1+x\right)^n \geq 1 + nx, x \geq -1, n \in \s N$. \\ + +$n = 1: 1 + x \geq 1 + x$ \\ +$(1+x)^n \geq 1 + nx \implies (1 + x)^n(1+x)\geq (1+nx)(1+x) = 1 + x + nx + nx^2 = 1 + x(n+1) + nx^2 +\leq (1+x)^{n+1} \implies 1 + (n+1)x \leq (1+x)^{n+1}$ \\ +По индукции, доказано + +\item Отрицание к определению фунд. посл-ти: \\ +Само определение: $\all \eps > 0 \e N \in \s N, \all n, m > N: |x_n - x_m| < \eps$\\ +Отрицание: $\e \eps > 0, \all N \in \s N, \e n, m > N: |x_n - x_m| > \eps$ + +\end{enumerate} + +\subsection{Сложные задачи} +:) потом как-нибудь.. + + +\section{Предел и непрерывность функции} +\subsection{Определения} + +Ограниченная функция: $\exists c \in \s R \; \all x \in \s X: |f(x)| < c$ +\\ +Грань (верхняя) $:= M: \all x \in \s X\; f(x) \leq M$ +\\ +Точная Грань (верхняя) $:=M : \system{ + &\all x \in \s X; f(x) \leq M \\ + &\all \eps > 0 \e x_0 \in \s X: M-\eps < f(x_0) \leq M\\ +}$ +\\ +Монотонность: $(x_1 < x_2 \implies f(x_1) < f(x_2), \dots)$ +\\ +$\displaystyle \lim_{x\to{}x_0}f(x) = b$ (Коши): $\all \eps > 0 \e \delta > 0, \all x_0 \in \s X (0 < |x - x_0| < \delta \implies |b - f(x_0)| < \eps)$ +\\ +$\displaystyle \lim_{x\to x_0 + 0}f(x): \dots (x_0 < x < x_0 + \delta \implies \dots)$ +\\ +$\displaystyle \lim_{x\to\infty}f(x): \dots (x > \delta \implies \dots)$ +\\ +$\displaystyle \lim_{x\to a} = +\infty: \dots (\dots \implies f(x) > \eps)$ +\\ +$\displaystyle (\lim_{x\to+\infty} = +\infty) := (\all \eps > 0 \e \delta > 0 \all x \in \s X (x > \delta \implies f(x) > \eps))$ +\\ +$\displaystyle (\lim_{x\to a} = 0) := (\all \eps > 0 \e \delta > 0 \all x \in \s X (0 < |x - a| < \delta \implies |f(x)| < \eps))$ +\\ +$\displaystyle \lim_{x\to a}f(x) = b$ (Гейне): $\all \ss{x_n}: ((\all n: x_n \neq x_0)\land(\ss{x_n}\to x_0) \implies {f(x_n)} \to b)$ +\\ По гейне буквально все определения одинаковые, даже думать не надо... \\ +Непрерывность в точке $a$: $\all \eps > 0 \e \delta > 0, \all x \in \s X (|x - a| < \delta \implies |f(x) - f(a)| < \eps)$ +\\ +Непрерывность на промежутке: непрерывна $\all x \in [\text{промежуток}]$ +\\ +Обратная функция: $\all x \in \s X: f(f^{-1}(x)) = x$\\ +$f: \s X \to \s Y , +(\all x_1,x_2 \in \s X, f(x_1) = f(x_2) \implies x_1 = x_2) +\land (\all y \in \s Y \e x \in \s X: f(x) = y) +\overset{f \text{ bijective}}\implies \e f^{-1} : \s Y \to \s X$ +\\ +Точка разрыва: отрицание непрерывности +\\ +Разрыв 0 (устранимый): $a \in \s X$ - т.разрыва, если $\exists \text{ непр. } \tilde f : +\all x \in \s X \exclude \ss a: f(x) = \tilde f(x)$ +\\ +Разрыв 1: $\displaystyle +(\lim_{x\to a+0}f(x) \neq f(a)) \lor (\lim_{x\to a-0}f(x) \neq f(a))$ +\\ +Разрыв 2: $\displaystyle +(\not \e \lim_{x\to a+0}f(x)) \lor (\not \e \lim_{x\to a-0}f(x))$ + +\newpage +\subsection{Теоремы (без док-ва)} + +Критерий коши сущ. педела: \\ +$\begin{aligned} +&x \to a&: &\all \eps > 0 \e \delta > 0, \all x_1, x_2 \in \s X (x_1, x_2 \in \exclreg \delta a &\implies |f(x_1) - f(x_2)| < \eps) \\ +&x \to \infty&: &\all \eps > 0 \e \delta > 0, \all x_1, x_2 \in \s X (x_1, x_2 > \delta &\implies |f(x_1) - f(x_2)| < \eps) +\end{aligned}$ +\\ +Об односторонних пределах: +$\displaystyle\lim_{x\to a+0}f(x) = \lim_{x\to a-0}f(x) \Longleftrightarrow \e \lim_{x\to a}f(x)$ +\\ +О предельном переходе в неравенство: \\ $\displaystyle +a := \lim_{x \to x_0}f(x),\;b := \lim_{x \to x_0}g(x), \all x \in \exclreg \eps {x_0} +(f(x) < g(x) \implies a < b)$ +\\ +О единственности предел: ну... +\\ +О пределе монотонной функции: Если $f : \s X$ ограничена и монотонно неубывает на $(a,b) \in \s X$, \\ +то $\displaystyle \e \lim_{x\to a+0}f(x) = \inf_{(a,b)}f(x), \lim_{x\to b-0}f(x) = \sup_{(a,b)}f(x)$ +\\ +1 Зам. предел: $\dst \lim_{x \to 0} \frac{\sin x} x = 1$ +\\ +2 Зам. предел: $\dst \lim_{x \to \infty} \left(1 + \frac 1 x\right)^x = e \approx 2.718281828459045\dots$ +\\ +Непрерывность: $f, g$ непр. в $a \implies f\pm g;\; f\cdot g;\; (g(a) \neq 0) \dst \frac f g$ непрерывны +\\ +Сложной ф-ии: $f: \s X \to \s Y, \ph: \s T \to \s E \subseteq \s X, +\ph \text{ непр. в } a, f \text{ непр. в } \ph(a) \implies f\circ\ph $ непр. в $a$ +\\ +Обр. Ф-ии: $f : \s X \to \s Y$ непр. и строго монот. на $\s X = [a,b] \implies \system { + &\s Y = [f(a),f(b)] \\ + &\e!f^{-1}: \s Y \to \s X \\ + &f^{-1} \text{ ("так же" монот.) и непрер. на } \s Y +}$ + +\subsection{Теоремы (с док-вом)} +\begin{enumerate} +\item О сумме бесконечно малых: $f, g$ б.м. в $a$ +$\system{ + &\all \eps > 0 \e \delta' > 0, \all x \in \s X (0 < |x - a| < \delta' \implies |f(x)| < \frac \eps 1) \\ + &\all \eps > 0 \e \delta'' > 0, \all x \in \s X (0 < |x - a| < \delta'' \implies |g(x)| < \frac \eps 1) \\ +}\\ +\delta := \min\ss{\delta', \delta''},\quad |f(x)+g(x)| \leq |f(x)| + |g(x)| < \eps +$, что образовывет определение б.м. $f$-ии в $a$ + + +\item О произведении на б.м.: $\lim_{x\to a}f(x) = 0, g(x)$ - ограничена\\ +$\system{ + &\all \eps > 0 \e \delta > 0, \all x \in \s X (x \in \exclreg \delta a \implies |f(x)| < \frac \eps c) \\ + &\e c, \all x \in \exclreg \delta a: |g(x)| \leq c +} \quad\implies |f(x)g(x)| = |f(x)||g(x)| \leq c \frac \eps c = \eps \implies \\ +\implies \all \eps > 0 \e \delta < 0, \all x \in \s X (x \in \exclreg \delta a \implies |f(x)g(x)| < \eps)$ + + +\item Об арифм. опер.: абсолютно аналогично последовательностям + + +\end{enumerate} +\section{Производные и дифференциалы} +\section{Интегралы} +\section{Теоремы о диф. ф-ях} +\section{Построение Графиков} + +$\texttt{curl https://trust-me-bro.com | sudo bash}$ + +\end{document} \\ -- cgit v1.2.3-70-g09d2