2.4

Пределы функций

[34/24%]
Показать
LaTeX
Задача 2.4.1

Пусть ( M,dM, d ) — метрическое пространство, A⊂M,f,g:M→RA \subset M, f, g: M \rightarrow \mathbb {R}, и пусть aa — предельная точка AA. Также пусть α\alpha — вещественное число. Если lim⁡x→af(x)\lim_{x \rightarrow a} f(x) и lim⁡x→ag(x)\lim_{x \rightarrow a} g(x) оба существуют, докажите, что

?
(a)

lim⁡x→a(αf(x))=αlim⁡x→af(x);\lim_{x \rightarrow a}(\alpha f(x))=\alpha \lim_{x \rightarrow a} f(x) ;

(b)

lim⁡x→a(f(x)+g(x))=lim⁡x→af(x)+lim⁡x→ag(x)\lim_{x \rightarrow a}(f(x)+g(x))=\lim_{x \rightarrow a} f(x)+\lim_{x \rightarrow a} g(x);

(c)

lim⁡x→a(f(x)g(x))=(lim⁡x→af(x))(lim⁡x→ag(x))\lim_{x \rightarrow a}(f(x) g(x))=\left(\lim_{x \rightarrow a} f(x)\right)\left(\lim_{x \rightarrow a} g(x)\right);

(d)

lim⁡x→a(f(x)/g(x))=lim⁡x→af(x)/lim⁡x→ag(x)\lim_{x \rightarrow a}(f(x) / g(x))=\lim_{x \rightarrow a} f(x) / \lim_{x \rightarrow a} g(x), с дополнительным предположением, что lim⁡x→ag(x)≠0\lim_{x \rightarrow a} g(x) \neq 0.

Задача 2.4.2

Пусть ( M,dM, d ) — метрическое пространство, A⊂MA \subset M, и f,g:M→Rf, g: M \rightarrow \mathbb {R} удовлетворяют f(x)<g(x)f(x)<g(x) для всех x∈Ax \in A. Если aa — предельная точка AA и если lim⁡x→af(x)\lim_{x \rightarrow a} f(x) и lim⁡x→ag(x)\lim_{x \rightarrow a} g(x) оба существуют, докажите, что lim⁡x→af(x)≤lim⁡x→ag(x)\lim_{x \rightarrow a} f(x) \leq \lim_{x \rightarrow a} g(x).

?
Задача 2.4.3

Пусть F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R} определена как F(f)=f(0)F(f)=f(0), и пусть g(x)=x2g(x)=x^{2}. Найдите lim⁡f→gF(f)\lim_{f \rightarrow g} F(f).

?
Задача 2.4.4

Пусть dd — метрика на C[0,1]C[0,1], определённая как

d(f,g)=∫01∣f(x)−g(x)∣dx d(f, g)=\int _{0}^{1}\left|f(x)-g(x)\right| d x

(см. упражнение 2.1.3). Пусть F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R} определена как F(f)=f(0)F(f)=f(0), и пусть g(x)=x2g(x)=x^{2}. Найдите lim⁡f→gF(f)\lim_{f \rightarrow g} F(f).

?
Задача 2.4.5

Пусть dd — метрика на R\mathbb {R}, определённая как

d(x,y):=∣x−y∣1+∣x−y∣ d(x, y):=\frac{\left|x-y\right|}{1+\left|x-y\right|}

(см. упражнение 2.1.8), и пусть ρ\rho обозначает обычное расстояние на R\mathbb {R}, ρ(x,y)=∣x−y∣\rho (x, y)=\left|x-y\right|. Пусть f:(R,d)→(R,ρ)f:(\mathbb {R}, d) \rightarrow (\mathbb {R}, \rho ) определена как f(x)=x2f(x)=x^{2}. Найдите lim⁡x→2f(x)\lim_{x \rightarrow 2} f(x).

?
Задача 2.4.6

Докажите теорему 2.4.5.

Теорема 2.4.5: Пусть (an)n=1∞\left(a_{n}\right)_{n=1}^{\infty } — последовательность вещественных чисел. Тогда

lim sup⁡an=inf⁡k≥1sup⁡n≥kanиlim inf⁡an=sup⁡k≥1inf⁡n≥kan. \limsup a_{n} = \inf _{k \geq 1} \sup _{n \geq k} a_{n} \quad \text{и} \quad \liminf a_{n} = \sup _{k \geq 1} \inf _{n \geq k} a_{n}.
?
Задача 2.4.7

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть a∈Ma \in M. Докажите, что lim sup⁡x→af(x)\limsup_{x \rightarrow a} f(x) и lim inf⁡x→af(x)\liminf_{x \rightarrow a} f(x) всегда существуют либо как конечные числа, либо как ±∞\pm \infty.

?
Задача 2.4.8

Пусть {an}\left\{ a_{n}\right\} — последовательность вещественных чисел. Докажите, что lim⁡sup⁡an\lim \sup a_{n} равен lim sup⁡x→0f(x)\limsup_{x \rightarrow 0} f(x), где функция f:{1,1/2,1/3,…}→Rf:\left\{ 1,1 / 2,1 / 3, \ldots \right\} \rightarrow \mathbb {R} определена как f(1/n)=anf(1 / n)=a_{n}.

?
Задача 2.4.9

Докажите, что lim⁡x→af(x)\lim_{x \rightarrow a} f(x) существует тогда и только тогда, когда оба верхних предела и оба нижних предела (слева и справа) все равны между собой.

?
Задача 2.4.10

Если ff определена на [−c,c][-c, c] и x0∈(−c,c)x_{0} \in (-c, c), докажите следующее:

?
(a)

lim sup⁡sup⁡x→x0+(−f(x))=−lim inf⁡x→x0+f(x),lim sup⁡x→x0−(−f(x))=−lim inf⁡x→x0−f(x)\limsup \sup_{x \rightarrow x_{0}+}(-f(x))=-\liminf_{x \rightarrow x_{0}+} f(x), \limsup_{x \rightarrow x_{0}-}(-f(x))= -\liminf_{x \rightarrow x_{0}-} f(x).

(b)

lim sup⁡x→x0+(f(−x))=lim sup⁡x→−x0−f(x),lim inf⁡x→x0+(f(−x))=lim inf⁡x→−x0−f(x)\limsup_{x \rightarrow x_{0}+}(f(-x))=\limsup_{x \rightarrow -x_{0}-} f(x), \liminf_{x \rightarrow x_{0}+}(f(-x))= \liminf_{x \rightarrow -x_{0}-} f(x).

(c)

lim sup⁡sup⁡x→x0−(f(−x))=lim sup⁡x→−x0+f(x),lim inf⁡x→x0−(f(−x))=lim inf⁡x→−x0+f(x)\limsup \sup_{x \rightarrow x_{0}-}(f(-x))=\limsup_{x \rightarrow -x_{0}+} f(x), \liminf_{x \rightarrow x_{0}-}(f(-x))= \liminf_{x \rightarrow -x_{0}+} f(x).

Задача 2.4.11

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть g:M→Rg: M \rightarrow \mathbb {R} определена как g(x)=lim sup⁡t→xf(t)g(x)=\limsup_{t \rightarrow x} f(t). Докажите, что gg полунепрерывна сверху.

?
Задача 2.4.12

Пусть {An}\left\{ A_{n}\right\} — произвольное семейство подмножеств множества XX. Докажите, что

lim sup⁡An={x∈X:lim sup⁡χAn(x)=1}. \limsup A_{n}=\left\{ x \in X: \limsup \chi _{A_{n}}(x)=1\right\} .
?
Задача 2.4.13

Пусть ( M,dM, d ) — метрическое пространство и для каждого n∈Nn \in \mathbb {N} пусть fn:M→[0,+∞]f_{n}: M \rightarrow [0,+\infty ]. Докажите, что

sup⁡{∑k=1∞fk(xk):{xk}⊂M}=∑k=1∞sup⁡{fk(x):x∈M}. \sup \left\{ \sum _{k=1}^{\infty } f_{k}\left(x_{k}\right):\left\{ x_{k}\right\} \subset M\right\} =\sum _{k=1}^{\infty } \sup \left\{ f_{k}(x): x \in M\right\} .
?
Задача 2.4.14

Пусть ff и gg — вещественнозначные функции на интервале (a−η,a+η)(a-\eta , a+\eta ). Докажите, что

lim inf⁡x→af(x)+lim inf⁡x→ag(x)≤lim inf⁡x→a(f(x)+g(x))≤lim inf⁡x→af(x)+lim sup⁡x→ag(x)≤lim sup⁡x→a(f(x)+g(x))≤lim sup⁡x→af(x)+lim sup⁡x→ag(x) \begin{aligned} \liminf _{x \rightarrow a} f(x)+ & \liminf _{x \rightarrow a} g(x) \leq \liminf _{x \rightarrow a}(f(x)+g(x)) \leq \liminf _{x \rightarrow a} f(x)+\limsup _{x \rightarrow a} g(x) \\ & \leq \limsup _{x \rightarrow a}(f(x)+g(x)) \leq \limsup _{x \rightarrow a} f(x)+\limsup _{x \rightarrow a} g(x) \end{aligned}
?
Задача 2.4.15

Пусть ff и gg — строго положительные функции на интервале (a−η,a+η)(a-\eta , a+\eta ), и предположим, что lim inf⁡x→af(x)\liminf_{x \rightarrow a} f(x) и lim sup⁡x→af(x)\limsup_{x \rightarrow a} f(x) существуют и не равны 0. Докажите, что:

?
(a)

lim sup⁡x→a1f(x)=1lim inf⁡x→af(x)\limsup_{x \rightarrow a} \frac{1}{f(x)}=\frac{1}{\liminf_{x \rightarrow a} f(x)}.

(b)

lim inf⁡x→a1f(x)=1lim sup⁡x→af(x)\liminf_{x \rightarrow a} \frac{1}{f(x)}=\frac{1}{\limsup_{x \rightarrow a} f(x)}.

Задача 2.4.16

Пусть ff и gg — неотрицательные функции на интервале ( a−η,a+η)a-\eta , a+ \eta ), и предположим, что lim inf⁡x→af(x),lim sup⁡x→af(x),lim inf⁡x→ag(x)\liminf_{x \rightarrow a} f(x), \limsup_{x \rightarrow a} f(x), \liminf_{x \rightarrow a} g(x) и lim sup⁡x→ag(x)\limsup_{x \rightarrow a} g(x) существуют и не равны 0. Докажите, что

lim inf⁡x→af(x)⋅lim inf⁡x→ag(x)≤lim inf⁡x→a(f(x)⋅g(x))≤lim inf⁡x→af(x)⋅lim sup⁡x→ag(x)≤lim sup⁡x→a(f(x)⋅g(x))≤lim sup⁡x→af(x)⋅lim sup⁡x→ag(x) \begin{aligned} \liminf _{x \rightarrow a} f(x) \cdot \liminf _{x \rightarrow a} g(x) & \leq \liminf _{x \rightarrow a}(f(x) \cdot g(x)) \leq \liminf _{x \rightarrow a} f(x) \cdot \limsup _{x \rightarrow a} g(x) \\ & \leq \limsup _{x \rightarrow a}(f(x) \cdot g(x)) \leq \limsup _{x \rightarrow a} f(x) \cdot \limsup _{x \rightarrow a} g(x) \end{aligned}
?
Задача 2.4.17

Пусть ff и gg — неотрицательные функции на интервале ( a−η,a+ηa-\eta , a+\eta ), и предположим, что lim⁡x→af(x)\lim_{x \rightarrow a} f(x) существует. Докажите, что:

?
(a)

lim sup⁡sup⁡x→a(f(x)+g(x))=lim⁡x→af(x)+lim sup⁡x→ag(x)\limsup \sup_{x \rightarrow a}(f(x)+g(x))=\lim_{x \rightarrow a} f(x)+\limsup_{x \rightarrow a} g(x).

(b)

lim inf⁡x→a(f(x)+g(x))=lim⁡x→af(x)+lim inf⁡x→ag(x)\liminf_{x \rightarrow a}(f(x)+g(x))=\lim_{x \rightarrow a} f(x)+\liminf_{x \rightarrow a} g(x).

(c)

lim sup⁡x→a(f(x)⋅g(x))=lim⁡x→af(x)⋅lim sup⁡x→ag(x)\limsup_{x \rightarrow a}(f(x) \cdot g(x))=\lim_{x \rightarrow a} f(x) \cdot \limsup_{x \rightarrow a} g(x).

(d)

lim inf⁡x→a(f(x)⋅g(x))=lim⁡x→af(x)⋅lim inf⁡x→ag(x)\liminf_{x \rightarrow a}(f(x) \cdot g(x))=\lim_{x \rightarrow a} f(x) \cdot \liminf_{x \rightarrow a} g(x).

Задача 2.4.18

Пусть ( M,dM, d ) — метрическое пространство, A⊂MA \subset M, и f:M→Rf: M \rightarrow \mathbb {R}. Если aa — предельная точка AA, докажите, что:

?
(a)

Если y<inf⁡W(f,a)y<\inf W(f, a), то существует δ>0\delta >0 такое, что f(x)>yf(x)>y всякий раз, когда 0<d(x,a)<δ,x∈A0<d(x, a)<\delta , x \in A.

(b)

Если y>inf⁡W(f,a)y>\inf W(f, a), то для каждого δ>0\delta >0 найдётся x∈Ax \in A с 0<d(x,a)<δ0<d(x, a)<\delta, такое, что f(x)<yf(x)<y.

Задача 2.4.19

Докажите следствие 2.4.9.

Следствие 2.4.9: Пусть (M,d)(M,d) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть A⊂MA \subset M. Если aa — предельная точка AA, то

lim sup⁡x→af(x)=sup⁡W(f,a), \limsup _{x \rightarrow a} f(x) = \sup W(f, a),

где W(f,a)={w:∃(an)⊂A∖{a},lim⁡an=a,lim⁡f(an)=w}W(f, a) = \left\{ w : \exists \left(a_{n}\right) \subset A \setminus \left\{ a\right\} , \lim a_{n} = a, \lim f(a_{n}) = w\right\} — множество всех частичных пределов ff вдоль последовательностей в A∖{a}A \setminus \left\{ a\right\}, сходящихся к aa.

?
Задача 2.4.20

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть A⊂MA \subset M. Если aa — предельная точка AA, докажите, что

lim inf⁡x→af(x)=inf⁡W(f,a). \liminf _{x \rightarrow a} f(x)=\inf W(f, a) .
?
Задача 2.4.21

Пусть a∈Ra \in \mathbb {R} и f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R}. Докажите, что предел lim⁡x→+∞f(x)\lim_{x \rightarrow +\infty } f(x) существует тогда и только тогда, когда lim sup⁡x→+∞f(x)=lim inf⁡x→+∞f(x)\limsup_{x \rightarrow +\infty } f(x)=\liminf_{x \rightarrow +\infty } f(x), и в этом случае они все равны между собой.

?
Задача 2.4.22

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}. Докажите, что

?
(a)

lim sup⁡sup⁡x→+∞(−f(x))=−lim inf⁡x→+∞f(x),lim sup⁡x→+∞(−f(x))=−lim inf⁡x→+∞f(x)\limsup \sup_{x \rightarrow +\infty }(-f(x))=-\liminf_{x \rightarrow +\infty } f(x), \limsup_{x \rightarrow +\infty }(-f(x))= -\liminf_{x \rightarrow +\infty } f(x).

(b)

lim sup⁡x→+∞(f(−x))=lim sup⁡x→−∞f(x),lim inf⁡x→+∞(f(−x))=lim inf⁡x→−∞f(x)\limsup_{x \rightarrow +\infty }(f(-x))=\limsup_{x \rightarrow -\infty } f(x), \liminf_{x \rightarrow +\infty }(f(-x))= \liminf_{x \rightarrow -\infty } f(x).

Задача 2.4.23

Пусть a∈Ra \in \mathbb {R} и f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R}. Докажите, что lim sup⁡x→+∞f(x)=L\limsup_{x \rightarrow +\infty } f(x)=L тогда и только тогда, когда для любой последовательности {an}\left\{ a_{n}\right\}, сходящейся к +∞+\infty, lim sup⁡x→+∞f(an)=L\limsup_{x \rightarrow +\infty } f\left(a_{n}\right)=L.

?
Задача 2.4.24

Пусть f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R}. Докажите, что

lim sup⁡x→∞f(x)=sup⁡W(f,∞) и lim inf⁡x→∞f(x)=inf⁡W(f,∞) \limsup _{x \rightarrow \infty } f(x)=\sup W(f, \infty ) \quad \text{ и } \quad \liminf _{x \rightarrow \infty } f(x)=\inf W(f, \infty )
?
Задача 2.4.25

Докажите теорему 2.4.20.

Теорема 2.4.20: Пусть ff — дифференцируемая функция на множестве E⊂RE \subset \mathbb {R}. Тогда ff липшицева с константой K=sup⁡{∣f′(x)∣:x∈E}K = \sup \left\{ \left|f'(x)\right| : x \in E\right\} тогда и только тогда, когда она имеет ограниченную производную.

?
Задача 2.4.26

Предположим, что ff — вещественнозначная липшицева функция на (a,b)(a, b). Докажите, что ff равномерно непрерывна на (a,b)(a, b).

?
Задача 2.4.27

Пусть ( M,dM, d ) — метрическое пространство и x0∈Mx_{0} \in M. Пусть f:M→Rf: M \rightarrow \mathbb {R} определена как f(x)=d(x,x0)f(x)=d\left(x, x_{0}\right). Докажите, что ff равномерно непрерывна.

?
Задача 2.4.28

Приведите пример функции, которая непрерывна, но не равномерно непрерывна. Приведите пример функции, которая равномерно непрерывна, но не липшицева.

?
Задача 2.4.29

Приведите пример функции, липшицевой на множестве EE, но не дифференцируемой в точке x∈Ex \in E.

?
Задача 2.4.30

Пусть ff — вещественнозначная функция, определённая на множестве A⊂R2A \subset \mathbb {R}^{2}, такая, что она является непрерывной функцией от xx (при фиксированном yy), и пусть ff удовлетворяет условию Липшица по yy, т.е. предположим, что существует M>0M>0 такое, что

∣f(x,y1)−f(x,y2)∣≤M∣y1−y2∣ \left|f\left(x, y_{1}\right)-f\left(x, y_{2}\right)\right| \leq M\left|y_{1}-y_{2}\right|

для всех (x,y1),(x,y2)∈A\left(x, y_{1}\right),\left(x, y_{2}\right) \in A. Докажите, что ff непрерывна на AA.

?
Задача 2.4.31

Пусть d(x,y)=∣x−y∣d(x, y)=\sqrt{\left|x-y\right|}, пусть ρ(x,y)=∣x−y∣\rho (x, y)=\left|x-y\right|, и рассмотрим ff : ([0,1],d)→([0,1],ρ)([0,1], d) \rightarrow ([0,1], \rho ), определённую как f(x)=xαf(x)=x^{\alpha }. Определите, при каких значениях α>0\alpha >0 функция ff липшицева.

?
Задача 2.4.32

Пусть (C[0,1],d)(C[0,1], d) — метрическое пространство с d(f,g)=sup⁡{∣f(x)−g(x)∣:x∈[0,1]}d(f, g)=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,1]\right\}, и пусть F:C[0,1]→C[0,1]F: C[0,1] \rightarrow C[0,1] определена как F(f)=f2F(f)=f^{2}. Определите, является ли FF липшицевой.

?
Задача 2.4.33

Пусть ( C[0,1],dC[0,1], d ) — метрическое пространство с d(f,g)=sup⁡{∣f(x)−g(x)∣:x∈[0,1]}d(f, g)=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,1]\right\}, и пусть F:C[0,1]→C[0,1]F: C[0,1] \rightarrow C[0,1] определена как F(f)=sin⁡fF(f)=\sin f. Определите, является ли FF липшицевой.

?
Задача 2.4.34

Пусть d:R→Rd: \mathbb {R} \rightarrow \mathbb {R} определена как d(x,y)=1d(x, y)=1, если x≠yx \neq y, и d(x,y)=0d(x, y)=0, если x=yx=y, пусть ρ(x,y)=∣x−y∣\rho (x, y)=\left|x-y\right|, и рассмотрим f:(R,d)→(R,ρ)f:(\mathbb {R}, d) \rightarrow (\mathbb {R}, \rho ), определённую как f(x)=x2f(x)=x^{2}. Определите, равномерно ли непрерывна ff. Является ли она липшицевой?

?