РК1›Блок B: определения по Коши с рисунками

Блок B: определения по Коши с рисунками

вопросы РК: B1, B2, B3, B4, B5

Ответ на 2 балла = определение в кванторах + пример с проверкой по определению (найти δ(ε)\delta(\varepsilon), δ(M)\delta(M), N(ε)N(\varepsilon) или N(M)N(M)) + рисунок.
Рисунки хранятся в 93_block_b_figs.json (inline SVG, ключи ниже) и рисуются от руки за 30 секунд: оси, точка aa, пунктиры уровней, полоса окрестности, кривая.

Как рисовать от руки (общий шаблон)

  1. Оси xx, yy.
  2. Куда стремится xx: конечная aa — вертикальная полоса (a−δ,a+δ)(a-\delta,a+\delta) (односторонний — только половина полосы); ±∞\pm\infty — пунктир x=Nx=N (или x=−Nx=-N), заштриховать всё правее (левее); ∞\infty — оба пунктира x=±Nx=\pm N, наружу.
  3. Чему равен предел: число bb — горизонтальная полоса (b−ε,b+ε)(b-\varepsilon,b+\varepsilon); +∞+\infty — пунктир y=My=M, кривая выше; −∞-\infty — пунктир y=−My=-M, кривая ниже; ∞\infty — оба y=±My=\pm M, кривая снаружи.
  4. Кривая: внутри полосы по xx её значения лежат в «полосе по yy». Для конечной точки — выколотый кружок в (a,b)(a,b).

B1. lim⁡x→0f(x)=b\lim\limits_{x\to0}f(x)=b, b∈Rb\in R — рисунок lim_a_b (с a=0a=0)

lim⁡x→0f(x)=b  ⟺  def∀ε>0 ∃δ(ε)>0: ∀x: 0<∣x∣<δ⇒∣f(x)−b∣<ε.\lim_{x\to0}f(x)=b\overset{def}{\iff}\forall\varepsilon>0\ \exists\delta(\varepsilon)>0:\ \forall x:\ 0<|x|<\delta\Rightarrow|f(x)-b|<\varepsilon.
Пример: f(x)=2x+3f(x)=2x+3, b=3b=3: ∣f(x)−3∣=2∣x∣<ε  ⟺  ∣x∣<ε2|f(x)-3|=2|x|<\varepsilon\iff|x|<\frac\varepsilon2; δ(ε)=ε2\delta(\varepsilon)=\frac\varepsilon2.

xyaa−δa+δbb+εb−ε

B2. lim⁡x→af(x)=+∞\lim\limits_{x\to a}f(x)=+\infty, a∈Ra\in R — рисунок lim_a_pinf

lim⁡x→af(x)=+∞  ⟺  def∀M>0 ∃δ(M)>0: ∀x: 0<∣x−a∣<δ⇒f(x)>M.\lim_{x\to a}f(x)=+\infty\overset{def}{\iff}\forall M>0\ \exists\delta(M)>0:\ \forall x:\ 0<|x-a|<\delta\Rightarrow f(x)>M.
Пример: f(x)=1(x−a)2f(x)=\frac1{(x-a)^2}: f>M  ⟺  ∣x−a∣<1Mf>M\iff|x-a|<\frac1{\sqrt M}; δ(M)=1M\delta(M)=\frac1{\sqrt M}.

xyaa−δa+δM

B3. lim⁡x→∞f(x)=0\lim\limits_{x\to\infty}f(x)=0 — рисунок lim_inf_0

lim⁡x→∞f(x)=0  ⟺  def∀ε>0 ∃N(ε)>0: ∀x: ∣x∣>N⇒∣f(x)∣<ε.\lim_{x\to\infty}f(x)=0\overset{def}{\iff}\forall\varepsilon>0\ \exists N(\varepsilon)>0:\ \forall x:\ |x|>N\Rightarrow|f(x)|<\varepsilon.
Пример: f(x)=1xf(x)=\frac1x: ∣1x∣<ε  ⟺  ∣x∣>1ε\left|\frac1x\right|<\varepsilon\iff|x|>\frac1\varepsilon; N(ε)=1εN(\varepsilon)=\frac1\varepsilon.

B4. lim⁡x→a−0f(x)=−∞\lim\limits_{x\to a-0}f(x)=-\infty, a∈Ra\in R — рисунок lim_a_minus_minf

lim⁡x→a−0f(x)=−∞  ⟺  def∀M>0 ∃δ(M)>0: ∀x: 0<a−x<δ⇒f(x)<−M.\lim_{x\to a-0}f(x)=-\infty\overset{def}{\iff}\forall M>0\ \exists\delta(M)>0:\ \forall x:\ 0<a-x<\delta\Rightarrow f(x)<-M.
Пример: f(x)=1x−af(x)=\frac1{x-a}: при x<ax<a  f=−1a−x<−M  ⟺  a−x<1M\ f=-\frac1{a-x}<-M\iff a-x<\frac1M; δ(M)=1M\delta(M)=\frac1M.

xyaa−δ−M

B5 (вариант, Т2). lim⁡x→af(x)=∞\lim\limits_{x\to a}f(x)=\infty, a∈Ra\in R — рисунок lim_a_inf

lim⁡x→af(x)=∞  ⟺  def∀M>0 ∃δ(M)>0: ∀x: 0<∣x−a∣<δ⇒∣f(x)∣>M.\lim_{x\to a}f(x)=\infty\overset{def}{\iff}\forall M>0\ \exists\delta(M)>0:\ \forall x:\ 0<|x-a|<\delta\Rightarrow|f(x)|>M.
Пример: f(x)=1x−af(x)=\frac1{x-a}: ∣f∣>M  ⟺  ∣x−a∣<1M|f|>M\iff|x-a|<\frac1M; δ(M)=1M\delta(M)=\frac1M.

xyaa−δa+δM−M

«Остальные — аналогично»: готовые примеры для всех случаев

x→x\to \ f→f\tobb00∞\infty+∞+\infty−∞-\infty
aab+(x−a)b+(x-a), δ=ε\delta=\varepsilonx−ax-a, δ=ε\delta=\varepsilon1x−a\frac1{x-a}, δ=1M\delta=\frac1M1(x−a)2\frac1{(x-a)^2}, δ=1M\delta=\frac1{\sqrt M}−1(x−a)2-\frac1{(x-a)^2}, δ=1M\delta=\frac1{\sqrt M}
a+0a+0b+(x−a)b+(x-a), δ=ε\delta=\varepsilonx−ax-a, δ=ε\delta=\varepsilon1x−a\frac1{x-a}, δ=1M\delta=\frac1M1x−a\frac1{x-a}, δ=1M\delta=\frac1M−1x−a-\frac1{x-a}, δ=1M\delta=\frac1M
a−0a-0b+(x−a)b+(x-a), δ=ε\delta=\varepsilonx−ax-a, δ=ε\delta=\varepsilon1x−a\frac1{x-a}, δ=1M\delta=\frac1M1a−x\frac1{a-x}, δ=1M\delta=\frac1M1x−a\frac1{x-a}, δ=1M\delta=\frac1M
∞\inftyb+1xb+\frac1x, N=1εN=\frac1\varepsilon1x\frac1x, N=1εN=\frac1\varepsilonxx, N=MN=Mx2x^2, N=MN=\sqrt M−x2-x^2, N=MN=\sqrt M
+∞+\inftyb+1xb+\frac1x, N=1εN=\frac1\varepsilon1x\frac1x, N=1εN=\frac1\varepsilonxx, N=MN=Mxx, N=MN=M−x-x, N=MN=M
−∞-\inftyb+1xb+\frac1x, N=1εN=\frac1\varepsilon1x\frac1x, N=1εN=\frac1\varepsilonxx, N=MN=M−x-x, N=MN=Mxx, N=MN=M

Какой рисунок взять:

  • x→ax\to a, f→bf\to b (или 00): lim_a_b; односторонний — заштриховать половину полосы.
  • x→ax\to a, f→+∞f\to+\infty: lim_a_pinf; −∞-\infty — зеркально вниз; односторонний — одна ветвь.
  • x→ax\to a, f→∞f\to\infty: lim_a_inf (ветви в разные стороны) или lim_a_pinf.
  • x→a−0x\to a-0, f→−∞f\to-\infty: lim_a_minus_minf; остальные односторонние — по аналогии.
  • x→∞x\to\infty / ±∞\pm\infty, f→bf\to b: lim_inf_0 с полосой вокруг bb; x→+∞x\to+\infty — только правая часть.
  • x→±∞x\to\pm\infty, f→±∞f\to\pm\infty: пунктир x=Nx=N и уровень y=My=M, кривая в правом верхнем «углу» [рисунок в оболочке не заготовлен — рисуется по шаблону].