Глава 9

Дифференцирование и интегрирование

[179/19%]
Показать
LaTeX
§
Задача 9.1.1

Вычислите все производные Дини функции χQ\chi_{\mathbb {Q}} — характеристической функции рациональных чисел.

?
Задача 9.1.2

Пусть

f(x)={∣x∣ если x∈Q∣2x∣ если x∉Q f(x)= \begin{cases} \left|x\right| & \text{ если } x \in \mathbb {Q} \\ \left|2 x\right| & \text{ если } x \notin \mathbb {Q} \end{cases}

Вычислите все четыре производные Дини функции ff в точках x=0x=0 и x=1x=1.

?
Задача 9.1.3

Вычислите все производные Дини функции xχQ(x)−xχQC(x)x \chi_{\mathbb {Q}}(x)-x \chi_{\mathbb {Q}^{C}}(x) в точках x=0x=0 и x=1x=1.

?
Задача 9.1.4

Пусть f(x)=2−nf(x)=2^{-n}, если x∈(2−n,2−n+1]x \in \left(2^{-n}, 2^{-n+1}\right], и f(0)=0f(0)=0. Вычислите все четыре производные Дини функции ff в точке x=0x=0.

?
Задача 9.1.5

Вычислите все производные Дини функции χ[0,1](x)\chi_{[0,1]}(x) в точках x=0x=0 и x=1x=1.

?
Задача 9.1.6

Постройте возрастающую функцию f:[−1,1]→Rf:[-1,1] \rightarrow \mathbb {R} такую, что ни одна из четырёх производных Дини в точке 0 не равна остальным.

?
Задача 9.1.7

Докажите, что функция ff дифференцируема в точке x0x_{0} (в стандартном смысле) тогда и только тогда, когда все 4 производные Дини равны между собой и конечны, и в этом случае f′(x0)=D+f(x0)=D+f(x0)=D−f(x0)=D−f(x0)f^{\prime }\left(x_{0}\right)= D^{+} f\left(x_{0}\right)=D_{+} f\left(x_{0}\right)=D^{-} f\left(x_{0}\right)=D_{-} f\left(x_{0}\right).

?
Задача 9.1.8

Если ff определена и конечна на [−c,c][-c, c], докажите следующее:

?
(a)

D+(−f(x))=−D+f(x),D−(−f(x))=−D−f(x)D^{+}(-f(x))=-D_{+} f(x), D^{-}(-f(x))=-D_{-} f(x).

(b)

D+(f(−x))=−D−f(x),D+(f(−x))=−D−f(x)D^{+}(f(-x))=-D_{-} f(x), D_{+}(f(-x))=-D^{-} f(x).

(c)

D−(f(−x))=−D+f(x),D−(f(−x))=−D+f(x)D^{-}(f(-x))=-D_{+} f(x), D_{-}(f(-x))=-D^{+} f(x).

Задача 9.1.9

Если ff и gg определены и конечны на [a,b][a, b], докажите, что для каждого xx, D+(f+g)(x)≤D+f(x)+D+g(x)D^{+}(f+ g)(x) \leq D^{+} f(x)+D^{+} g(x). Приведите пример, показывающий, что неравенство может быть строгим.

?
Задача 9.1.10

Пусть f,g:R→Rf, g: \mathbb {R} \rightarrow \mathbb {R} непрерывны и предположим, что для каждого x∈Rx \in \mathbb {R}, D+f(x)=D+g(x)<∞D^{+} f(x)=D^{+} g(x)<\infty. Докажите, что ff и gg отличаются на константу.

?
Задача 9.1.11

Приведите пример, показывающий, что правило цепочки для производных Дини D+(f∘g)(x)=D+f(g(x))D+g(x)D^{+}(f \circ g)(x)=D^{+} f(g(x)) D^{+} g(x) не выполняется.

?
Задача 9.1.12

Пусть AA — подмножество R\mathbb {R} меры 0. Докажите, что существует непрерывная возрастающая функция f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, для которой каждая производная Дини бесконечна в каждой точке AA.

?
Задача 9.1.13

Пусть f:(a,b)→Rf:(a, b) \rightarrow \mathbb {R} — непрерывная функция. Докажите, что ff невозрастает на ( a,ba, b ) тогда и только тогда, когда D+f≤0D^{+} f \leq 0 на ( a,ba, b ).

?
Задача 9.1.14

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R} — непрерывные функции такие, что D+f(t)≤0D^{+} f(t) \leq 0 и D+g(t)≤0D^{+} g(t) \leq 0 на (a,b)(a, b). Если h(t)=max⁡{f(t),g(t)}h(t)=\max \left\{ f(t), g(t)\right\}, докажите, что D+h(t)≤0D^{+} h(t) \leq 0 на (a,b)(a, b).

?
Задача 9.1.15

Если ff и gg определены и конечны на [a,b][a, b], докажите следующее:

?
(a)

Если gg имеет правую производную g′(c+)g^{\prime }(c+) в точке c∈[a,b]c \in [a, b], то

D+(f+g)(c)=D+f(c)+g′(c+)иD+(f+g)(c)=D+f(c)+g′(c+). D^{+}(f+g)(c)=D^{+} f(c)+g^{\prime }(c+) \quad \text{и} \quad D_{+}(f+g)(c)=D_{+} f(c)+g^{\prime }(c+).
(b)

Если gg имеет левую производную g′(c−)g^{\prime }(c-) в точке c∈[a,b]c \in [a, b], то

D−(f+g)(c)=D−f(c)+g′(c−)иD−(f+g(c))=D−f(c)+g′(c−). D^{-}(f+g)(c)=D^{-} f(c)+g^{\prime }(c-) \quad \text{и} \quad D_{-}(f+g(c))=D_{-} f(c)+g^{\prime }(c-).
Задача 9.1.16

Пусть ff и gg неотрицательны и непрерывны в точке cc.

?
(a)

Докажите, что D+(fg)(c)≤g(c)D+f(c)+f(c)D+g(c)D^{+}(f g)(c) \leq g(c) D^{+} f(c)+f(c) D^{+} g(c).

(b)

Приведите пример, показывающий, что неравенство в (a) может быть строгим.

(c)

Приведите пример, показывающий, что неравенство в (a) неверно без предположений непрерывности и неотрицательности.

Задача 9.1.17

Завершите доказательство предложения 9.1.4 (если ff монотонна, то все четыре производные Дини функции ff измеримы), показав, что если ff монотонна, то остальные три производные Дини функции ff измеримы ( D+,D−D_{+}, D^{-}, и D−D_{-}).

?
Задача 9.1.18

Предположим, что D+f(x0)D_{+} f\left(x_{0}\right) конечна. Докажите, что ff непрерывна справа в точке x0x_{0}.

?
Задача 9.1.19

Предположим, что ff непрерывна на (a,b)(a, b). Докажите, что ff возрастает на (a,b)(a, b) тогда и только тогда, когда хотя бы одна из четырёх производных Дини функции ff неотрицательна на (a,b)(a, b).

?
Задача 9.1.20

Пусть ff — возрастающая функция на [a,b][a, b] и пусть x0∈(a,b)x_{0} \in (a, b). Докажите, что ни одна из производных Дини не может быть отрицательной (или равной −∞-\infty ) в точке x0x_{0}.

?
Задача 9.1.21

(Дини, 1878) Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} — непрерывная функция. Докажите, что грани каждой из производных Дини совпадают с гранями разностного отношения

f(y)−f(x)y−x, \frac{f(y)-f(x)}{y-x},

при x,y∈[a,b]x, y \in [a, b]. Используйте это, чтобы заключить, что если одна производная Дини непрерывной функции ff непрерывна в точке x0x_{0}, то и остальные три непрерывны. Покажите, что в этом случае все четыре производные Дини равны между собой, так что ff дифференцируема в точке x0x_{0}.

?
Задача 9.1.22

Приведите пример, показывающий, что заключения упражнения 9.1.21 не обязаны выполняться, если убрать предположение непрерывности ff.

?
Задача 9.1.23

Пусть ff непрерывна на [a,b][a, b], и пусть константа MM и множество E⊂[a,b]E \subset [a, b] положительной меры удовлетворяют D+f(x)≥MD^{+} f(x) \geq M для всех x∈Ex \in E (или D−f(x)≥MD^{-} f(x) \geq M для всех x∈Ex \in E ). Докажите, что для каждого ε>0\varepsilon >0 существует конечный набор непересекающихся интервалов (a1,b1),…,(an,bn)\left(a_{1}, b_{1}\right), \ldots ,\left(a_{n}, b_{n}\right) в [a,b][a, b] таких, что ∑i=1n(bi−ai)>m(E)−ε\sum_{i=1}^{n}\left(b_{i}-a_{i}\right)> m(E)-\varepsilon и

f(bi)−f(ai)≥(M−ε)(bi−ai),i=1,2,…,n. f\left(b_{i}\right)-f\left(a_{i}\right) \geq (M-\varepsilon )\left(b_{i}-a_{i}\right), \quad i=1,2, \ldots , n .
?
Задача 9.1.24

Пусть ff — вещественнозначная функция. Докажите, что множество точек, где D+f(x)<D−f(x)D^{+} f(x)<D_{-} f(x), счётно.

?
Задача 9.1.25

Приведите пример, показывающий, что множество A1A_{1} из теоремы 9.1.7 может иметь меру Лебега b−ab-a. Сделайте то же самое для множеств A2A_{2} и A3A_{3}.

Теорема 9.1.7 (теорема Данжуа--Юнга--Сакса): пусть ff — вещественнозначная функция, определённая на [a,b][a, b]. Тогда почти каждая точка x∈[a,b]x \in [a,b] принадлежит одному из четырёх множеств: A1A_1, на котором ff имеет конечную производную; A2A_2, на котором D+f=D−fD^{+} f=D_{-} f конечна, D−f=∞D^{-} f=\infty, а D+f=−∞D_{+} f=-\infty; A3A_3, на котором D−f=D+fD^{-} f=D_{+} f конечна, D+f=∞D^{+} f=\infty, а D−f=−∞D_{-} f=-\infty; A4A_4, на котором D−f=D+f=∞D^{-} f=D^{+} f=\infty и D−f=D+f=−∞D_{-} f=D_{+} f=-\infty.

?
Задача 9.1.26

Пусть ff непрерывна на [a,b][a, b] и предположим, что она имеет локальный максимум в точке c∈(a,b)c \in (a, b). Докажите, что

D+f(c)≤D+f(c)≤0≤D−f(c)≤D−f(c). D_{+} f(c) \leq D^{+} f(c) \leq 0 \leq D_{-} f(c) \leq D^{-} f(c) .
?
Задача 9.1.27

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} непрерывна и предположим, что D+fD^{+} f интегрируема по Риману на [a,b][a, b]. Докажите, что

∫abD+f(x)dx=f(b)−f(a) \int _{a}^{b} D^{+} f(x) d x=f(b)-f(a)
?
Задача 9.1.28

Если ff непрерывна на [a,b][a, b], докажите, что все четыре производные Дини функции ff измеримы.

?
Задача 9.1.29

Если ff измерима, докажите, что все четыре производные Дини функции ff измеримы.

?
Задача 9.1.30

Функция f∈C[a,b]f \in C[a, b] называется гёльдеровски непрерывной порядка δ\delta, обозначение f∈Λδf \in \Lambda_{\delta }, если существует константа CC такая, что ∣f(x)−f(y)∣≤C∣x−y∣δ\left|f(x)-f(y)\right| \leq C\left|x-y\right|^{\delta } для всех x,y∈[a,b]x, y \in [a, b]. Докажите, что гёльдеровски непрерывные функции образуют множество первой категории в C[a,b]C[a, b].

?
§
Задача 9.2.1

Пусть F={[p,q]:0≤p<q≤1,p,q∈Q}\mathcal{F}=\left\{ [p, q]: 0 \leq p<q \leq 1, p, q \in \mathbb {Q}\right\}. Докажите, что F\mathcal{F} — покрытие Витали для [0,1][0,1].

?
Задача 9.2.2

Пусть E⊂RE \subset \mathbb {R}, и для каждого x∈Ex \in E пусть {βn(x)}\left\{ \beta_{n}(x)\right\} — строго убывающая последовательность вещественных чисел, сходящаяся к xx. Докажите, что F={[x,βn(x)]:x∈E}\mathcal{F}=\left\{ \left[x, \beta_{n}(x)\right]: x \in E\right\} — покрытие Витали для EE.

?
Задача 9.2.3

Пусть E⊂RE \subset \mathbb {R} — объединение (не обязательно счётное и не обязательно дизъюнктное) невырожденных интервалов (открытых, замкнутых, полуоткрытых и полузамкнутых, бесконечных и т.д.). Покажите, что EE измеримо.

?
Задача 9.2.4

Покажите, что лемма о покрытии Витали распространяется на случай, когда покрывающее семейство состоит из невырожденных интервалов, не обязательно замкнутых.

?
Задача 9.2.5

Покажите, что лемма о покрытии Витали не распространяется на случай, когда покрывающее семейство содержит некоторые интервалы, не обязательно невырожденные.

?
Задача 9.2.6

Докажите, что множество E⊂RE \subset \mathbb {R} имеет меру 0 тогда и только тогда, когда существует счётное семейство открытых интервалов {Ik}k=1∞\left\{ I_{k}\right\}_{k=1}^{\infty } такое, что каждая точка из EE принадлежит бесконечному числу этих интервалов и ∑k=1∞ℓ(Ik)<∞\sum_{k=1}^{\infty } \ell \left(I_{k}\right)<\infty.

?
Задача 9.2.7

Докажите, что каждая функция gng_{n}, определённая в доказательстве следствия 9.2.9, интегрируема по Риману.

В доказательстве следствия 9.2.9 (утверждающего, что для возрастающей на [a,b][a,b] функции ff производная f′f' интегрируема на [a,b][a,b] и ∫abf′≤f(b)−f(a)\int_{a}^{b} f' \leq f(b) - f(a)), функция ff сначала продолжается на [a,b+1][a, b+1] по правилу f(x)=f(b)f(x) = f(b) при x∈[b,b+1]x \in [b, b+1], а затем полагается gn(x):=f(x+1/n)−f(x)1/ng_{n}(x) := \dfrac {f(x+1/n) - f(x)}{1/n} при x∈(a,b)x \in (a, b).

?
Задача 9.2.8

Докажите неравенство (9.23).

?
Задача 9.2.9

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

Теорема 9.2.12: Пусть ff — монотонная функция на (a,b)(a,b). Тогда ff имеет не более чем счётное число скачков разрыва на (a,b)(a,b).

?
Задача 9.2.10

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

Теорема 9.2.13: Пусть {xn}n=1∞\left\{ x_{n}\right\}_{n=1}^{\infty } — счётное подмножество [a,b][a,b] и пусть {cn}n=1∞\left\{ c_{n}\right\}_{n=1}^{\infty } — последовательность положительных чисел, для которой ряд ∑n=1∞cn\sum_{n=1}^{\infty } c_{n} сходится. Для данного x∈[a,b]x \in [a,b] пусть E(x)E(x) — подмножество N\mathbb {N}, состоящее из тех целых чисел nn, для которых xn<xx_{n} < x, и пусть f(x):=∑n∈E(x)cnf(x) := \sum_{n \in E(x)} c_{n} (с f(x)=0f(x) = 0, если E(x)=∅E(x) = \varnothing). Тогда: (a) ff — монотонно возрастающая функция на [a,b][a,b]. (b) ff имеет скачок разрыва в каждой точке xnx_{n}. (c) Скачок в точке x=xnx = x_{n} равен cnc_{n}. (d) ff непрерывна во всех остальных точках [a,b][a,b].

?
Задача 9.2.11

Пусть EE — подмножество R\mathbb {R} и AA — счётное подмножество EE. Докажите или опровергните: существует монотонная функция на EE, непрерывная только в точках E\AE \backslash A.

?
Задача 9.2.12

Пусть ff — возрастающая функция на [a,b][a, b]. Докажите, что

m∗({x∈(a,b):D−f(x)=+∞})=0. m^{*}\left(\left\{ x \in (a, b): D^{-} f(x)=+\infty \right\} \right)=0 .
?
Задача 9.2.13

Докажите неравенство (9.20).

?
Задача 9.2.14

Пусть E⊂[a,b]E \subset [a, b] — множество меры 0. Докажите, что существует непрерывная возрастающая функция ff такая, что f′(x)=+∞f^{\prime }(x)=+\infty для всех x∈Ex \in E.

?
Задача 9.2.15

Докажите или опровергните: производная непрерывной монотонной функции дифференцируема почти всюду.

?
Задача 9.2.16

Пусть ff непрерывна на (a,b)(a, b) и пусть E={x∈(a,b):D−f(x)<D+f(x)}E=\left\{ x \in (a, b): D_{-} f(x)< D^{+} f(x)\right\}. Докажите, что EE не может содержать невырожденного интервала.

?
Задача 9.2.17

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} монотонно возрастает и пусть g(x)=lim⁡h→0+f(x+h)g(x)=\lim_{h \rightarrow 0+} f(x+ h). Докажите, что функция gg обладает следующими свойствами:

?
(a)

она определена всюду;

(b)

она монотонно возрастает;

(c)

она непрерывна справа;

(d)

она дифференцируема почти всюду;

(e)

f′=g′f^{\prime }=g^{\prime } почти всюду.

Задача 9.2.18

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} строго возрастает и E⊂[a,b]E \subset [a, b] таково, что в каждой точке x∈Ex \in E выполняется D+f(x)≤MD^{+} f(x) \leq M. Докажите, что m∗f(E)≤Mm∗(E)m^{*} f(E) \leq M m^{*}(E).

?
Задача 9.2.19

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} строго возрастает и E⊂[a,b]E \subset [a, b] таково, что в каждой точке x∈Ex \in E выполняется D−f(x)≥CD_{-} f(x) \geq C. Докажите, что m∗f(E)≥Cm∗(E)m^{*} f(E) \geq C m^{*}(E).

?
Задача 9.2.20

Докажите, что всякая монотонная функция, определённая на интервале, борелевски измерима.

?
Задача 9.2.21

Пусть ff непрерывна на R\mathbb {R}. Докажите или опровергните: существует открытый интервал, на котором ff монотонна.

?
Задача 9.2.22

Пусть ff дифференцируема на R\mathbb {R}, пусть x0∈Rx_{0} \in \mathbb {R} и предположим, что f′(x0)>0f^{\prime }\left(x_{0}\right)>0. Докажите или опровергните: существует открытый интервал II, содержащий x0x_{0}, такой, что ff монотонна на II.

?
Задача 9.2.23

(Фубини) Пусть fk:[a,b]→Rf_{k}:[a, b] \rightarrow \mathbb {R} — монотонно возрастающие функции при k=1,2,…k= 1,2, \ldots, и предположим, что ряд f(x)=∑k=1∞fk(x)f(x)=\sum_{k=1}^{\infty } f_{k}(x) сходится поточечно на [a,b][a, b]. Докажите, что f′(x)=∑k=1∞fk′(x)f^{\prime }(x)=\sum_{k=1}^{\infty } f_{k}^{\prime }(x) для почти всех x∈[a,b]x \in [a, b].

?
Задача 9.2.24

Пусть fk:(0,1)→Rf_{k}:(0,1) \rightarrow \mathbb {R} монотонно возрастают при k=1,2,…k=1,2, \ldots, и предположим, что lim⁡nfn(x)=1\lim_{n} f_{n}(x)=1 для почти всех x∈(0,1)x \in (0,1). Докажите, что lim inf⁡nfn′(x)=0\liminf_{n} f_{n}^{\prime }(x)=0 для почти всех x∈(0,1)x \in (0,1).

?
Задача 9.2.25

Приведите пример функций f,g:[0,1]→Rf, g:[0,1] \rightarrow \mathbb {R} таких, что ff возрастает и непрерывна, gg — многочлен, и

∫[0,1]fg′≠f(1)g(1)−f(0)g(0)−∫[0,1]f′g \int _{[0,1]} f g^{\prime } \neq f(1) g(1)-f(0) g(0)-\int _{[0,1]} f^{\prime } g
?
Задача 9.2.26

Докажите или опровергните: если f:R2→Rf: \mathbb {R}^{2} \rightarrow \mathbb {R} возрастает по каждой переменной, то она борелевски измерима.

?
Задача 9.2.27

Пусть ϕ\phi обозначает функцию Кантора—Лебега, и положим ϕ(x)=0\phi (x)=0 при x<0x<0 и ϕ(x)=1\phi (x)=1 при x>1x>1. Пусть {[an,bn]}\left\{ \left[a_{n}, b_{n}\right]\right\} — совокупность всех замкнутых подынтервалов [0,1][0,1] с рациональными концами, пусть

Fn(x)=ϕ(x−anbn−an), F_{n}(x)=\phi \left(\frac{x-a_{n}}{b_{n}-a_{n}}\right),

и пусть G=∑1∞2−nFnG=\sum_{1}^{\infty } 2^{-n} F_{n}. Докажите, что GG непрерывна и строго возрастает на [0,1][0,1] и что G′=0G^{\prime }=0 почти всюду.

?
Задача 9.2.28

Цель этого упражнения — установить так называемый принцип отбора Хелли: если {fn}\left\{ f_{n}\right\} — равномерно ограниченная последовательность возрастающих функций на [0,1][0,1], то существует подпоследовательность {fnk}\left\{ f_{n_{k}}\right\}, которая сходится поточечно в каждой точке [0,1][0,1] к возрастающей функции ff.

?
(a)

Докажите, что существует подпоследовательность {gn}\left\{ g_{n}\right\} последовательности {fn}\left\{ f_{n}\right\}, которая сходится поточечно в каждой рациональной точке [0,1][0,1].

(b)

Продолжите ff на иррациональные точки [0,1][0,1] так, чтобы она была возрастающей на [0,1][0,1].

(c)

Докажите, что подпоследовательность {gn}\left\{ g_{n}\right\}, полученная в (a), сходится в каждой точке непрерывности ff.

(d)

Используя подход, аналогичный (a), и теорему 9.2.12, получите подпоследовательность {gn}\left\{ g_{n}\right\}, которая сходится в каждой точке [0,1][0,1].

Задача 9.2.29

Пусть {In}\left\{ I_{n}\right\} — последовательность подынтервалов [0,1][0,1] с рациональными концами. Для каждого InI_{n} пусть EnE_{n} — множество всех непрерывных функций на [0,1][0,1], монотонных на InI_{n}. Используя эти множества, докажите, что существует непрерывная функция на [0,1][0,1], не монотонная ни на одном подынтервале [0,1][0,1].

?
Задача 9.2.30

Пусть A⊂[0,1]A \subset [0,1] — множество первой категории, и f:A→Rf: A \rightarrow \mathbb {R} — строго монотонная функция. Докажите, что f(A)f(A) — множество первой категории.

?
§
Задача 9.3.1

Пусть ff дифференцируема на [a,b][a, b] с ограниченной производной. Докажите, что ff имеет ограниченную вариацию на [a,b][a, b].

?
Задача 9.3.2

Докажите, что функция Дирихле не имеет ограниченной вариации.

?
Задача 9.3.3

Пусть ff — функция ограниченной вариации на [a,b][a, b] и [c,d]⊂[a,b][c, d] \subset [a, b]. Докажите, что ff имеет ограниченную вариацию на [c,d][c, d].

?
Задача 9.3.4

Докажите, что всякая функция ограниченной вариации ограничена.

?
Задача 9.3.5

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R} — функции ограниченной вариации. Докажите, что fgf g также имеет ограниченную вариацию.

?
Задача 9.3.6

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} — функция ограниченной вариации. Докажите, что ∣f∣\left|f\right| также имеет ограниченную вариацию.

?
Задача 9.3.7

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R} — функции ограниченной вариации, и предположим, что 1/g1 / g ограничена на [a,b][a, b]. Докажите, что f/gf / g имеет ограниченную вариацию.

?
Задача 9.3.8

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R}, и предположим, что ff имеет ограниченную вариацию на каждом замкнутом подынтервале (a,b)(a, b). Докажите или опровергните: ff имеет ограниченную вариацию на [a,b][a, b].

?
Задача 9.3.9

Пусть

f(x)={x3sin⁡(π/x), при x≠00 при x=0 f(x)= \begin{cases} \sqrt[3]{x} \sin (\pi / x), & \text{ при } x \neq 0 \\ 0 & \text{ при } x=0 \end{cases}

Определите, имеет ли ff ограниченную вариацию на [0,1][0,1].

?
Задача 9.3.10

Пусть

f(x)={xαsin⁡(xβ), если 0<x≤10 если x=0. f(x)= \begin{cases} x^{\alpha } \sin \left(x^{\beta }\right), & \text{ если } 0<x \leq 1 \\ 0 & \text{ если } x=0 . \end{cases}

Докажите, что ff имеет ограниченную вариацию на [0,1][0,1] тогда и только тогда, когда α+β>0\alpha +\beta >0, либо одновременно α+β=0\alpha +\beta =0 и β≥0\beta \geq 0.

?
Задача 9.3.11

Пусть gg — функция ограниченной вариации на [0,1][0,1], и пусть ff — непрерывная функция на R\mathbb {R}. Докажите или опровергните: f∘gf \circ g имеет ограниченную вариацию на [0,1][0,1].

?
Задача 9.3.12

Пусть gg — функция ограниченной вариации на [0,1][0,1], и пусть ff — функция ограниченной вариации на R\mathbb {R}. Докажите или опровергните: f∘gf \circ g имеет ограниченную вариацию на [0,1][0,1].

?
Задача 9.3.13

Пусть ff — функция на [0,1][0,1], не имеющая ограниченной вариации. Докажите, что существует точка x0∈[0,1]x_{0} \in [0,1] такая, что ff не имеет ограниченной вариации ни на каком подынтервале [0,1][0,1], содержащем x0x_{0} во внутренней точке.

?
Задача 9.3.14

Приведите пример функции, дифференцируемой на [0,1][0,1], но не имеющей ограниченной вариации на [0,1][0,1].

?
Задача 9.3.15

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R}. Докажите, что Vab(f+g)≤Vab(f)+Vab(g)V_{a}^{b}(f+g) \leq V_{a}^{b}(f)+V_{a}^{b}(g).

?
Задача 9.3.16

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} и α∈R\alpha \in \mathbb {R}. Докажите, что Vab(αf)=∣α∣Vab(f)V_{a}^{b}(\alpha f)=\left|\alpha \right| V_{a}^{b}(f).

?
Задача 9.3.17

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R}. Докажите, что Vab(f)=0V_{a}^{b}(f)=0 тогда и только тогда, когда ff постоянна.

?
Задача 9.3.18

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} — функция ограниченной вариации, и пусть x0∈(a,b)x_{0} \in (a, b). Докажите, что если ff непрерывна слева (справа) в x0x_{0}, то и Vax(f)V_{a}^{x}(f) непрерывна слева (справа) в этой точке.

?
Задача 9.3.19

Для функции f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} длина кривой y=f(x),a≤x≤by=f(x), a \leq x \leq b определяется как

L(f)=sup⁡{∑k=1n(xk−xk−1)2+(f(xk)−f(xk−1))2}, L(f)=\sup \left\{ \sum _{k=1}^{n} \sqrt{\left(x_{k}-x_{k-1}\right)^{2}+\left(f\left(x_{k}\right)-f\left(x_{k-1}\right)\right)^{2}}\right\} ,

где супремум берётся по всем разбиениям P={x0,x1,…,xn}P=\left\{ x_{0}, x_{1}, \ldots , x_{n}\right\} отрезка [a,b][a, b]. Докажите, что L(f)L(f) конечна тогда и только тогда, когда ff имеет ограниченную вариацию на [a,b][a, b].

?
Задача 9.3.20

Пусть ff дифференцируема на [a,b][a, b] с производной f′f^{\prime }, интегрируемой по Риману на [a,b][a, b]. Докажите, что

Vab(f)=∫ab∣f′∣ V_{a}^{b}(f)=\int _{a}^{b}\left|f^{\prime }\right|

Что будет, если интеграл от ∣f′∣\left|f^{\prime }\right| является сходящимся несобственным интегралом?

?
Задача 9.3.21

Пусть ff непрерывна на [a,b][a, b], и предположим, что D+fD^{+} f интегрируема по Риману на [a,b][a, b]. Докажите, что

Vab(f)=∫ab∣D+f∣ V_{a}^{b}(f)=\int _{a}^{b}\left|D^{+} f\right|

Что будет, если интеграл от ∣D+f∣\left|D^{+} f\right| является сходящимся несобственным интегралом?

?
Задача 9.3.22

Пусть f,gf, g дифференцируемы на [a,b][a, b], и пусть C>0C>0 таково, что ∣f′∣≤C∣g′∣\left|f^{\prime }\right| \leq C\left|g^{\prime }\right| на [a,b][a, b]. Предположим, что либо g′g^{\prime } интегрируема по Риману на [a,b][a, b], либо интеграл от ∣g′∣\left|g^{\prime }\right| является сходящимся несобственным интегралом. Докажите, что ff имеет ограниченную вариацию на [a,b][a, b].

В упражнениях 9.3.23--9.3.26 найдите полную вариацию:

?
Задача 9.3.23

V050(ex)V_{0}^{50}\left(e^{x}\right).

?
Задача 9.3.24

V12(ln⁡x)V_{1}^{2}(\ln x).

?
Задача 9.3.25

V04π(cos⁡x)V_{0}^{4 \pi }(\cos x).

?
Задача 9.3.26

V−11(x−x3)V_{-1}^{1}\left(x-x^{3}\right).

?
Задача 9.3.27

Пусть f,gf, g — непрерывные функции ограниченной вариации на [0,1][0,1]. Докажите, что множество {(f(x),g(x)):x∈[0,1]}\left\{ (f(x), g(x)): x \in [0,1]\right\} не может быть квадратом [0,1]×[0,1][0,1] \times [0,1]. Что будет, если f,gf, g лишь непрерывны?

?
Задача 9.3.28

Пусть {fn}\left\{ f_{n}\right\} — последовательность вещественнозначных функций на [a,b][a, b], сходящаяся поточечно на [a,b][a, b] к вещественнозначной функции ff. Докажите, что

Vabf≤lim inf⁡Vabfn V_{a}^{b} f \leq \liminf V_{a}^{b} f_{n}
?
Задача 9.3.29

Найдите все функции ff ограниченной вариации на [0,1][0,1] такие, что

f(x)+(V0xf)1/2=1, для всех x∈[0,1], и ∫01f(x)dx=13 f(x)+\left(V_{0}^{x} f\right)^{1 / 2}=1, \quad \text{ для всех } x \in [0,1], \quad \text{ и } \quad \int _{0}^{1} f(x) d x=\frac{1}{3}
?
Задача 9.3.30

Пусть ff — функция ограниченной вариации на замкнутом ограниченном отрезке [a,b][a, b]. Докажите, что существует последовательность разбиений {Pn}\left\{ P_{n}\right\} отрезка [a,b][a, b], для которой последовательность {V(f,Pn)}\left\{ V\left(f, P_{n}\right)\right\} возрастает и сходится к Vab(f)V_{a}^{b}(f).

?
Задача 9.3.31

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} — непрерывная функция ограниченной вариации, и пусть P={x0,x1,…,xn}P=\left\{ x_{0}, x_{1}, \ldots , x_{n}\right\} — разбиение [a,b][a, b]. Для 1≤k≤n1 \leq k \leq n пусть MkM_{k} и mkm_{k} обозначают максимум и минимум соответственно функции ff на [xk−1,xk]\left[x_{k-1}, x_{k}\right], и пусть Ω(f,P)=∑k=1n(Mk−mk)\Omega (f, P)=\sum_{k=1}^{n}\left(M_{k}-m_{k}\right). Докажите, что

lim⁡∣P∣→0V(f,P)=Vabf и lim⁡∣P∣→0Ω(f,P)=Vabf. \lim _{\left|P\right| \rightarrow 0} V(f, P)=V_{a}^{b} f \quad \text{ и } \quad \lim _{\left|P\right| \rightarrow 0} \Omega (f, P)=V_{a}^{b} f .
?
Задача 9.3.32

Докажите или опровергните: существует непрерывная функция, не имеющая ограниченной вариации ни на одном интервале.

?
Задача 9.3.33

Пусть f(x)=sin⁡xf(x)=\sin x на [0,2π][0,2 \pi ]. Найдите две возрастающие функции hh и gg, для которых f=h−gf=h-g на [0,2π][0,2 \pi ].

?
Задача 9.3.34

Пусть f(x)=3x2−2x3f(x)=3 x^{2}-2 x^{3} на [−2,2][-2,2]. Найдите две возрастающие функции hh и gg, для которых f=h−gf=h-g на [−2,2][-2,2].

?
Задача 9.3.35

Пусть f(x)=⌊x⌋−xf(x)=\left\lfloor x\right\rfloor -x на [0,2][0,2]. Найдите две возрастающие функции hh и gg, для которых f=h−gf=h-g на [0,2][ 0,2 ].

?
Задача 9.3.36

Пусть ff — функция ограниченной вариации на замкнутом ограниченном отрезке [a,b][a, b]. Докажите или опровергните: ff — измеримая функция.

?
Задача 9.3.37

Пусть ff — функция ограниченной вариации на замкнутом ограниченном отрезке [a,b][a, b]. Докажите, что существуют две ограниченные возрастающие функции f1f_{1} и f2f_{2} такие, что f=f1−f2f=f_{1}-f_{2} и f1+f2=Vabff_{1}+f_{2}=V_{a}^{b} f.

?
Задача 9.3.38

Пусть ff — функция ограниченной вариации на замкнутом ограниченном отрезке [a,b][a, b]. Докажите, что ∣f′(x)∣≤(Vax(f))′\left|f^{\prime }(x)\right| \leq \left(V_{a}^{x}(f)\right)^{\prime } для почти всех x∈[a,b]x \in [a, b].

?
Задача 9.3.39

Пусть ff — функция ограниченной вариации на замкнутом ограниченном отрезке [a,b][a, b], и предположим, что ff обладает свойством промежуточного значения, т.е. если x,y∈[a,b]x, y \in [a, b] и CC — число между f(x)f(x) и f(y)f(y), то существует z∈[x,y]z \in [x, y] такое, что f(z)=Cf(z)=C. Докажите, что ff непрерывна.

?
Задача 9.3.40

Пусть ff — непрерывная функция на [a,b][a, b], и предположим, что ∣f∣\left|f\right| имеет ограниченную вариацию на [a,b][a, b]. Докажите, что ff имеет ограниченную вариацию на [a,b][a, b].

?
§
Задача 9.4.1

Докажите, что f(x)=xf(x)=\sqrt{x} абсолютно непрерывна на [0,1][0,1], но не липшицева.

?
Задача 9.4.2

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R} абсолютно непрерывны, и пусть α,β∈R\alpha , \beta \in \mathbb {R}. Докажите, что αf+βg\alpha f+\beta g абсолютно непрерывна на [a,b][a, b].

?
Задача 9.4.3

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R} абсолютно непрерывны. Докажите, что fgf g абсолютно непрерывна на [a,b][a, b].

?
Задача 9.4.4

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} абсолютно непрерывна, и предположим, что f(x)≠0f(x) \neq 0 для всех x∈[a,b]x \in [a, b]. Докажите, что 1/f1 / f абсолютно непрерывна на [a,b][a, b].

?
Задача 9.4.5

Пусть gg — строго возрастающая абсолютно непрерывная функция на [a,b][a, b], и пусть ff — абсолютно непрерывная функция на [g(a),g(b)][g(a), g(b)]. Докажите, что f∘gf \circ g абсолютно непрерывна на [a,b][a, b].

?
Задача 9.4.6

Докажите, что ff абсолютно непрерывна на [a,b][a, b] тогда и только тогда, когда для каждого ε>0\varepsilon >0 существует δ>0\delta >0 такое, что для всякого набора {[ak,bk]}k=1∞\left\{ \left[a_{k}, b_{k}\right]\right\}_{k=1}^{\infty } непересекающихся замкнутых интервалов в [a,b][a, b],

∑k=1∞(bk−ak)<δ⇒∑k=1∞∣f(bk)−f(ak)∣<ε. \sum _{k=1}^{\infty }\left(b_{k}-a_{k}\right)<\delta \Rightarrow \quad \sum _{k=1}^{\infty }\left|f\left(b_{k}\right)-f\left(a_{k}\right)\right|<\varepsilon .
?
Задача 9.4.7

Пусть {Gn}\left\{ G_{n}\right\} — убывающая последовательность открытых подмножеств [0,1][0,1] такая, что m(Gn)<1/2nm\left(G_{n}\right)<1 / 2^{n}, и пусть f(x)=∑n=1∞m(Gn∩[0,x])f(x)=\sum_{n=1}^{\infty } m\left(G_{n} \cap [0, x]\right). Докажите, что:

?
(a)

f∈AC[0,1]f \in A C[0,1];

(b)

ff липшицева на [0,1][0,1] тогда и только тогда, когда существует N∈NN \in \mathbb {N} такое, что Gn=∅G_{n}=\emptyset для всех n≥Nn \geq N.

Задача 9.4.8

Пусть {fn}\left\{ f_{n}\right\} — последовательность абсолютно непрерывных функций на [0,1][0,1], равномерно сходящаяся на [0,1][0,1] к функции ff. Докажите или опровергните: ff абсолютно непрерывна.

Определение 9.4.20. Вещественнозначная функция, определённая на [a,b][a, b], обладает свойством Лузина (N), если она переводит каждое множество меры нуль в множество меры 0.

?
Задача 9.4.9

Пусть ff — липшицева функция на [a,b][a, b] с константой MM, и пусть E⊂[a,b]E \subset [a, b]. Докажите, что m(f(E))≤Mm(E)m(f(E)) \leq M m(E). Заключите, что если ff — липшицева функция на [a,b][a, b], то она обладает свойством Лузина (N). Верно ли обратное?

?
Задача 9.4.10

Докажите, что всякая липшицева функция переводит измеримые множества в измеримые множества.

?
Задача 9.4.11

Приведите пример функции, не обладающей свойством Лузина (N).

?
Задача 9.4.12

(Банах—Зарецкий) Докажите, что функция ff на отрезке [a,b][a, b] абсолютно непрерывна тогда и только тогда, когда она непрерывна, имеет ограниченную вариацию и обладает свойством Лузина (N).

?
Задача 9.4.13

Докажите, что абсолютно непрерывная функция переводит измеримое множество в измеримое множество.

?
Задача 9.4.14

Докажите, что если в определении 9.4.1 убрать слово «непересекающихся», то функция обязана быть липшицевой. Точнее, пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} — функция, обладающая тем свойством, что для каждого ε>0\varepsilon >0 существует δ>0\delta >0 такое, что для всякого набора {[ak,bk]}k=1n\left\{ \left[a_{k}, b_{k}\right]\right\}_{k=1}^{n} замкнутых интервалов в [a,b][a, b],

∑k=1n(bk−ak)<δ⇒∑k=1n∣f(bk)−f(ak)∣<ε. \sum _{k=1}^{n}\left(b_{k}-a_{k}\right)<\delta \Rightarrow \sum _{k=1}^{n}\left|f\left(b_{k}\right)-f\left(a_{k}\right)\right|<\varepsilon .

Тогда ff липшицева на [a,b][a, b].

?
Задача 9.4.15

Пусть f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} — возрастающая непрерывная функция, абсолютно непрерывная на [ε,1][\varepsilon , 1] для каждого ε∈(0,1)\varepsilon \in (0,1). Докажите, что ff абсолютно непрерывна на [0,1][0,1].

?
Задача 9.4.16

Пусть f(x)=xf(x)=\sqrt{x} и

g(x)={x2sin⁡(1x), если x≠00, если x=0 g(x)= \begin{cases} x^{2} \sin \left(\frac{1}{x}\right), & \text{ если } x \neq 0 \\ 0, & \text{ если } x=0 \end{cases}

Докажите, что ff и gg абсолютно непрерывны на [0,1][0,1], но h:=f∘gh:=f \circ g даже не имеет ограниченной вариации на [0,1][0,1].

?
Задача 9.4.17

Предположим, что ff — функция на [a,b][a, b], и пусть Vax(f)V_{a}^{x}(f) — функция полной вариации для ff. Докажите, что VaxV_{a}^{x} абсолютно непрерывна на [a,b][a, b] тогда и только тогда, когда ff абсолютно непрерывна. Заключите, что всякая абсолютно непрерывная функция является разностью возрастающих абсолютно непрерывных функций.

?
Задача 9.4.18

Докажите, что функция ff липшицева на [a,b][a, b] тогда и только тогда, когда она абсолютно непрерывна на [a,b][a, b] и ∣f′∣\left|f^{\prime }\right| существенно ограничена. (Функция называется существенно ограниченной, если она равна почти всюду ограниченной функции.)

?
Задача 9.4.19

Приведите пример функции ограниченной вариации, не являющейся абсолютно непрерывной.

?
Задача 9.4.20

Пусть ff — функция ограниченной вариации на [a,b][a, b]. Докажите, что Vab(f)=∫ab∣f′∣V_{a}^{b}(f)= \int_{a}^{b}\left|f^{\prime }\right| тогда и только тогда, когда ff абсолютно непрерывна на [a,b][a, b].

?
Задача 9.4.21

Пусть g:[a,b]→Rg:[a, b] \rightarrow \mathbb {R} — строго возрастающая абсолютно непрерывная функция. Докажите, что для любого измеримого множества E⊂[a,b]E \subset [a, b]

m(g(E))=∫Eg′(x)dx m(g(E))=\int _{E} g^{\prime }(x) d x
?
Задача 9.4.22

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} интегрируема, и пусть g:[α,β]→Rg:[\alpha , \beta ] \rightarrow \mathbb {R} — строго возрастающая абсолютно непрерывная функция, для которой g(α)=a,g(β)=bg(\alpha )=a, g(\beta )=b. Докажите, что

∫abf(x)dx=∫αβf(g(t))g′(t)dt \int _{a}^{b} f(x) d x=\int _{\alpha }^{\beta } f(g(t)) g^{\prime }(t) d t
?
Задача 9.4.23

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

Следствие 9.4.14: Пусть f:[a,b]→Rf: [a,b] \rightarrow \mathbb {R} — функция, дифференцируемая почти всюду, с интегрируемой производной. Если ∫axf′=f(x)−f(a)\int_{a}^{x} f' = f(x) - f(a) для всех x∈[a,b]x \in [a,b], то ff абсолютно непрерывна на [a,b][a,b].

?
Задача 9.4.24

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

Следствие 9.4.16: Функция ff абсолютно непрерывна на [a,b][a,b] тогда и только тогда, когда она является неопределённым интегралом на [a,b][a,b]. (Функция FF называется неопределённым (лебеговым) интегралом интегрируемой функции ff на [a,b][a,b], если F(x)=F(a)+∫axfF(x) = F(a) + \int_{a}^{x} f для всех x∈[a,b]x \in [a,b].)

?
Задача 9.4.25

Если f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} непрерывна и вещественнозначна, f′f^{\prime } интегрируема на [a,b][a, b], и ∫abf′=f(b)−f(a)\int_{a}^{b} f^{\prime }=f(b)-f(a), обязана ли ff быть абсолютно непрерывной? Что будет, если ff монотонно возрастает?

?
Задача 9.4.26

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} — функция, абсолютно непрерывная на каждом конечном интервале, и предположим, что как ff, так и f′f^{\prime } интегрируемы на R\mathbb {R}. Докажите, что:

?
(a)

∫Rf′=0\int_{\mathbb {R}} f^{\prime }=0;

(b)

f(x)→0f(x) \rightarrow 0 при ∣x∣→∞\left|x\right| \rightarrow \infty.

Задача 9.4.27

Пусть {fn}⊂AC[0,1]\left\{ f_{n}\right\} \subset A C[0,1], и предположим, что

  1. f=∑n=1∞fnf=\sum_{n=1}^{\infty } f_{n} сходится для каждого x∈[0,1]x \in [0,1];

  2. ∫01∑n=1∞∣fn′∣\int_{0}^{1} \sum_{n=1}^{\infty }\left|f_{n}^{\prime }\right| конечен.

Докажите, что f∈AC[0,1]f \in A C[0,1].

?
Задача 9.4.28

Цель этого упражнения — установить следующий результат: если ff дифференцируема при всех x∈[a,b]x \in \left[a, b\right] и f′f^{\prime } интегрируема на [a,b]\left[a, b\right], то выполняется (9.30).

?
(a)

Пусть

gn(x)={f′(x),если f′(x)≤n,n,если f′(x)>n,иGn(x)=f(x)−∫axgn. g_{n}(x) = \begin{cases} f^{\prime }(x), & \text{если } f^{\prime }(x) \leq n, \\ n, & \text{если } f^{\prime }(x) > n, \end{cases} \quad \text{и} \quad G_{n}(x) = f(x) - \int _{a}^{x} g_{n}.

Докажите, что GnG_{n} является возрастающей функцией для каждого n∈Nn \in \mathbb {N}.

(b)

Используя результат из (a), докажите, что

∫abf′≤f(b)−f(a) \int _{a}^{b} f^{\prime } \leq f(b)-f(a)
(c)

Замените gng_{n} и GnG_{n} в (a) на

hn(x)={f′(x),если f′(x)≥−n,−n,если f′(x)<−n,иHn(x)=f(x)−∫axhn. h_{n}(x) = \begin{cases} f^{\prime }(x), & \text{если } f^{\prime }(x) \geq -n, \\ -n, & \text{если } f^{\prime }(x) < -n, \end{cases} \quad \text{и} \quad H_{n}(x) = f(x) - \int _{a}^{x} h_{n}.

и покажите, что {Hn}\left\{ H_{n}\right\} — убывающая последовательность.

(d)

Используя (c), получите

∫abf′≥f(b)−f(a) \int _{a}^{b} f^{\prime } \geq f(b)-f(a)
Задача 9.4.29

Пусть ff дифференцируема на [a,b][a, b] с производной f′f^{\prime }, интегрируемой на [a,b][a, b]. Докажите, что

Vab(f)=∫ab∣f′∣ V_{a}^{b}(f)=\int _{a}^{b}\left|f^{\prime }\right|
?
Задача 9.4.30

Пусть ff — функция на [a,b][a, b], для которой D+fD^{+} f интегрируема на [a,b][a, b]. Докажите или опровергните: Vab(f)=∫ab∣D+f∣V_{a}^{b}(f)=\int_{a}^{b}\left|D^{+} f\right|.

?
Задача 9.4.31

Пусть ff и gg — абсолютно непрерывные функции на [a,b][a, b]. Покажите, что

∫abfg′=f(b)g(b)−f(a)g(a)−∫abf′g \int _{a}^{b} f g^{\prime }=f(b) g(b)-f(a) g(a)-\int _{a}^{b} f^{\prime } g
?
Задача 9.4.32

Пусть ff интегрируема на R\mathbb {R}. Докажите, что для почти всех x∈Rx \in \mathbb {R}

lim⁡h→0+1h∫(x−h,x+h)∣f−f(x)∣dm=0 \lim _{h \rightarrow 0^{+}} \frac{1}{h} \int _{(x-h, x+h)}\left|f-f(x)\right| d m=0
?
Задача 9.4.33

Пусть ff интегрируема на R\mathbb {R}, и предположим, что ff непрерывна в точке x=ax=a. Докажите, что неопределённый интеграл от ff дифференцируем в точке x=ax=a.

?
Задача 9.4.34

Пусть AA — измеримое подмножество R\mathbb {R}, и предположим, что существует α>0\alpha >0 такое, что m(A∩[a,b])≥α(b−a)m(A \cap [a, b]) \geq \alpha (b-a) всякий раз, когда a<ba<b. Докажите, что m(AC)=0m\left(A^{C}\right)=0

?
Задача 9.4.35

Пусть ff абсолютно непрерывна и сингулярна на [a,b][a, b]. Покажите, что ff постоянна.

?
Задача 9.4.36

Когда Лебег определял сингулярную функцию, это делалось следующим образом: FsF_{s} называется сингулярной функцией, ассоциированной с функцией ограниченной вариации FF, если разность F−FsF-F_{s} абсолютно непрерывна, и среди всех функций GsG_{s}, для которых F−GsF-G_{s} абсолютно непрерывна, FsF_{s} имеет наименьшую полную вариацию, и Fs(a)=0F_{s}(a)=0. Докажите, что разложение F=(F−Fs)+FsF=\left(F-F_{s}\right)+F_{s} совпадает с тем, что даёт теорема 9.4.19.

?
Задача 9.4.37

Пусть AA — измеримое подмножество [0,1][0,1] такое, что 0<m(A∩I)<m(I)0<m(A \cap I)<m(I) для каждого интервала I⊂[0,1]I \subset [0,1] (см. упражнение 5.3.47), и пусть F(x):=m([0,x]∩A)F(x):=m([0, x] \cap A), G(x):=m([0,x]∩A)−m([0,x]∩AC)G(x):=m([0, x] \cap A)-m\left([0, x] \cap A^{C}\right). Докажите, что:

?
(a)

FF абсолютно непрерывна и строго возрастает на [0,1][0,1], но F′=0F^{\prime }=0 на множестве положительной меры.

(b)

GG абсолютно непрерывна на [0,1][0,1], но не монотонна ни на одном подынтервале [0,1][0,1].

Задача 9.4.38

Покажите, что условие, наложенное на множество AA в упражнении 9.4.37 (a), не является необходимым, т.е. что существует множество, не удовлетворяющее ему, но при этом F(x):=m([0,x]∩A)F(x):= m([0, x] \cap A) является абсолютно непрерывной, строго возрастающей функцией на [0,1][0,1] такой, что F′=0F^{\prime }=0 на множестве положительной меры.

?
Задача 9.4.39

(Витали) Пусть ff — возрастающая функция на замкнутом ограниченном отрезке [a,b][a, b]. Докажите, что ff сингулярна тогда и только тогда, когда для любых ε,δ>0\varepsilon , \delta >0 существует конечный дизъюнктный набор {(ak,bk)}k=1n\left\{ \left(a_{k}, b_{k}\right)\right\}_{k=1}^{n} открытых интервалов в (a,b)( a, b ), для которых

∑k=1n(bk−ak)<δ⇒∑k=1n[f(bk)−f(ak)]>f(b)−f(a)−ε. \sum _{k=1}^{n}\left(b_{k}-a_{k}\right)<\delta \Rightarrow \sum _{k=1}^{n}\left[f\left(b_{k}\right)-f\left(a_{k}\right)\right]>f(b)-f(a)-\varepsilon .
?
Задача 9.4.40

Приведите пример функции f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R}, дифференцируемой на [a,b][a, b], но производная которой не интегрируема на [a,b][a, b].

?
Задача 9.4.41

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} — возрастающая функция такая, что f(−∞)=0f(-\infty )=0 и f(∞)=1f(\infty )=1. Докажите, что ff абсолютно непрерывна на каждом замкнутом конечном интервале тогда и только тогда, когда ∫Rf′=1\int_{\mathbb {R}} f^{\prime }=1.

?
§
Задача 9.5.1

Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — пространство с мерой, и ν\nu — знакопеременная мера на (X,M)(X, \mathfrak {M}). Докажите, что следующие условия эквивалентны:

  1. ν\nu абсолютно непрерывна относительно μ\mu.

  2. Как ν+\nu^{+}, так и ν−\nu^{-}абсолютно непрерывны относительно μ\mu.

  3. ∣ν∣\left|\nu \right| абсолютно непрерывна относительно μ\mu.

?
Задача 9.5.2

Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — пространство с мерой, пусть {νk}\left\{ \nu_{k}\right\} — меры на (X,M)( X, \mathfrak {M} ), и пусть {ak}\left\{ a_{k}\right\} — неотрицательные вещественные числа. Докажите, что

νk≪μ для всех n∈N⇒∑k=1∞akνk≪μ. \nu _{k} \ll \mu \text{ для всех } n \in \mathbb {N} \Rightarrow \sum _{k=1}^{\infty } a_{k} \nu _{k} \ll \mu .

Покажите, что утверждение остаётся верным, когда {ak}\left\{ a_{k}\right\} не обязательно неотрицательны, если добавить предположение, что ряд ∑k=1∞akνk\sum_{k=1}^{\infty } a_{k} \nu_{k} сходится.

?
Задача 9.5.3

Пусть (X,M,μ)( X, \mathfrak {M}, \mu ) — пространство с мерой, пусть {νk}\left\{ \nu_{k}\right\} — меры на (X,M)( X, \mathfrak {M} ), и пусть {ak}\left\{ a_{k}\right\} — неотрицательные вещественные числа. Докажите, что

νk⊥μ для всех n∈N⇒∑k=1∞akνk⊥μ \nu _{k} \perp \mu \text{ для всех } n \in \mathbb {N} \Rightarrow \sum _{k=1}^{\infty } a_{k} \nu _{k} \perp \mu

Покажите, что утверждение остаётся верным, когда {ak}\left\{ a_{k}\right\} не обязательно неотрицательны, если добавить предположение, что ряд ∑k=1∞akνk\sum_{k=1}^{\infty } a_{k} \nu_{k} сходится.

?
Задача 9.5.4

Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — пространство с мерой, и ν\nu — знакопеременная мера на (X,M)(X, \mathfrak {M}). Предположим, что ν\nu абсолютно непрерывна относительно μ\mu, и что μ\mu и ν\nu взаимно сингулярны. Докажите, что ν\nu — нулевая мера, т.е. ν(E)=0\nu (E)=0 для всех E∈ME \in \mathfrak {M}.

?
Задача 9.5.5

Пусть (X,M,μ)( X, \mathfrak {M}, \mu ) — пространство с мерой, и f1,f2f_{1}, f_{2} — две интегрируемые функции на XX. Для k=1,2k=1,2 пусть Ak={x∈X:fk(x)≠0}A_{k}=\left\{ x \in X: f_{k}(x) \neq 0\right\}, и определим знакопеременные меры ν1,ν2\nu_{1}, \nu_{2} по формуле

νk(E)=∫Efkdμ \nu _{k}(E)=\int _{E} f_{k} d \mu
?
(a)

Докажите, что если ν1\nu_{1} и ν2\nu_{2} эквивалентны, то μ(A1△A2)=0\mu \left(A_{1} \triangle A_{2}\right)=0.

(b)

Предполагая, что f1,f2f_{1}, f_{2} неотрицательны, докажите, что μ(A1△A2)=0\mu \left(A_{1} \triangle A_{2}\right)=0 влечёт эквивалентность ν1\nu_{1} и ν2\nu_{2}.

(c)

Приведите пример, показывающий, что (b) неверно без предположения о неотрицательности.

Задача 9.5.6

Пусть hh — абсолютно непрерывная функция на [a,b][a, b], и предположим, что μ\mu — мера на борелевских подмножествах интервала [a,b][a, b] такая, что μ[a,x]=h(x)\mu [a, x]=h(x) для x∈[a,b]x \in [a, b]. Докажите, что для любого c∈[a,b]c \in [a, b], μ({c})=0\mu (\left\{ c\right\} )=0.

?
Задача 9.5.7

Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — σ\sigma-конечное пространство с мерой. Докажите, что существует конечная мера ν\nu на M\mathfrak {M}, эквивалентная μ\mu.

?
Задача 9.5.8

Пусть (X,M)(X, \mathfrak {M}) — измеримое пространство, и μ,ν\mu , \nu — конечные меры на M\mathfrak {M}. Докажите, что следующие условия эквивалентны:

  1. μ⊥ν\mu \perp \nu;

  2. μ−(μ−ν)+=0\mu -(\mu -\nu )^{+}=0;

  3. μ+(ν−μ)+=μ+ν\mu +(\nu -\mu )^{+}=\mu +\nu.

?
Задача 9.5.9

Пусть {rn}\left\{ r_{n}\right\} — некоторая нумерация рациональных чисел, пусть fn:R→Rf_{n}: \mathbb {R} \rightarrow \mathbb {R} — неотрицательные, борелевски измеримые функции такие, что fn=0f_{n}=0 вне интервала (rn−2−n,rn+2−n)\left(r_{n}-2^{-n}, r_{n}+2^{-n}\right) и ∫Rfn=1\int_{\mathbb {R}} f_{n}=1, и пусть μ(E)=∫E∑nfn\mu (E)=\int_{E} \sum_{n} f_{n} для всех E∈BE \in \mathcal{B}. Докажите, что:

?
(a)

∑nfn(x)\sum_{n} f_{n}(x) конечна почти всюду.

(b)

μ\mu — σ\sigma-конечная мера на B\mathcal{B}.

(c)

μ(G)=∞\mu (G)=\infty для каждого непустого открытого множества GG.

(d)

μ≪m\mu \ll m.

Задача 9.5.10

Приведите пример, показывающий, что предложение 9.5.3 не выполняется, если ν\nu — σ\sigma-конечная мера.

Предложение 9.5.3: Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — пространство с мерой, и ν\nu — конечная мера на (X,M)(X, \mathfrak {M}). Тогда ν\nu абсолютно непрерывна относительно μ\mu тогда и только тогда, когда для каждого ε>0\varepsilon > 0 найдётся δ>0\delta > 0 такое, что для каждого E∈ME \in \mathfrak {M}, μ(E)<δ\mu \left(E\right) < \delta влечёт ν(E)<ε\nu \left(E\right) < \varepsilon.

?
Задача 9.5.11

Приведите пример двух σ\sigma-алгебр M\mathfrak {M} и N\mathfrak {N} на множестве XX и двух мер μ\mu и λ\lambda таких, что λ≪μ\lambda \ll \mu на (X,M)( X, \mathfrak {M} ), но не на (X,N)( X, \mathfrak {N} ).

?
Задача 9.5.12

Пусть μ\mu — ненулевая конечная борелевская мера на R\mathbb {R}, и для каждого t∈Rt \in \mathbb {R} пусть μt\mu_{t} — мера, определённая как μt(A)=μ(A+t)\mu_{t}(A)=\mu (A+t). Предположим, что каждая мера μt\mu_{t} эквивалентна μ\mu. Докажите, что μ\mu эквивалентна мере Лебега на R\mathbb {R}.

?
Задача 9.5.13

Докажите или опровергните: существует мера ν\nu на лебеговой σ\sigma-алгебре M\mathcal{M} подмножеств R\mathbb {R}, абсолютно непрерывная относительно меры Лебега, такая, что ν(A)=∞\nu (A)=\infty для любого A∈MA \in \mathcal{M} с непустой внутренностью.

?
Задача 9.5.14

Пусть (X,M,μ)( X, \mathfrak {M}, \mu ) — конечное пространство с мерой, пусть {Ek}k=1n\left\{ E_{k}\right\}_{k=1}^{n} — набор измеримых множеств, и {ck}k=1n\left\{ c_{k}\right\}_{k=1}^{n} — набор вещественных чисел. Для E∈ME \in \mathfrak {M} определим

ν(E)=∑k=1nckμ(E∩Ek). \nu (E)=\sum _{k=1}^{n} c_{k} \mu \left(E \cap E_{k}\right) .
?
(a)

Докажите, что ν\nu — мера на (X,M)(X, \mathfrak {M});

(b)

докажите, что ν\nu абсолютно непрерывна относительно μ\mu;

(c)

найдите производную Радона—Никодима dν/dμd \nu / d \mu.

Задача 9.5.15

Пусть μ,ν\mu , \nu и λ\lambda — σ\sigma-конечные меры на измеримом пространстве (X,M)( X, \mathfrak {M} ).

?
(a)

Если ν≪μ\nu \ll \mu и ff — измеримая функция на XX, докажите, что

∫Xfdν=∫Xfdνdμdμ \int _{X} f d \nu =\int _{X} f \frac{d \nu }{d \mu } d \mu
(b)

Если ν≪μ\nu \ll \mu и λ≪μ\lambda \ll \mu, докажите, что

d(ν+λ)dμ=dνdμ+dλdμ,почти всюду [μ] \frac{d(\nu +\lambda )}{d \mu }=\frac{d \nu }{d \mu }+\frac{d \lambda }{d \mu }, \quad \text{почти всюду }[\mu ]
(c)

Если ν≪μ≪λ\nu \ll \mu \ll \lambda, докажите, что

dνdλ=dνdμdμdλ,почти всюду [λ] \frac{d \nu }{d \lambda }=\frac{d \nu }{d \mu } \frac{d \mu }{d \lambda }, \quad \text{почти всюду }[\lambda ]
(d)

Если ν≪μ\nu \ll \mu и μ≪ν\mu \ll \nu, докажите, что

dνdμdμdν=1,почти всюду [μ] \frac{d \nu }{d \mu } \frac{d \mu }{d \nu }=1, \quad \text{почти всюду }[\mu ]
Задача 9.5.16

Пусть μ1,ν1\mu_{1}, \nu_{1} — меры на измеримом пространстве (X,S)( X, \mathcal{S} ), и пусть μ2,ν2\mu_{2}, \nu_{2} — меры на измеримом пространстве (Y,T)( Y, \mathcal{T} ). Предположим, что все 4 меры σ\sigma-конечны и что νk≪μk,k=1,2\nu_{k} \ll \mu_{k}, k=1,2.

?
(a)

Докажите, что ν1×ν2≪μ1×μ2\nu_{1} \times \nu_{2} \ll \mu_{1} \times \mu_{2}.

(b)

Найдите d(ν1×ν2)d(μ1×μ2)\frac{d\left(\nu_{1} \times \nu_{2}\right)}{d\left(\mu_{1} \times \mu_{2}\right)}.

Задача 9.5.17

Пусть (X,M)(X, \mathfrak {M}) — измеримое пространство, и μ,ν\mu , \nu — σ\sigma-конечные меры на M\mathfrak {M} такие, что ν≪μ\nu \ll \mu, пусть λ=μ+ν\lambda =\mu +\nu, и пусть f=dν/dλf=d \nu / d \lambda. Докажите, что 0≤f<10 \leq f<1 почти всюду [μ][\mu ] и dν/dμ=f/(1−f)d \nu / d \mu =f /(1-f).

?
Задача 9.5.18

Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — пространство с мерой, N\mathfrak {N} — подалгебра M\mathfrak {M}, ν\nu — ограничение μ\mu на N\mathfrak {N}, и ff — μ\mu-интегрируемая функция на XX. Докажите, что:

?
(a)

существует ν\nu-интегрируемая функция gg на XX такая, что ∫Efdμ=∫Egdν\int_{E} f d \mu = \int_{E} g d \nu для всех E∈NE \in \mathfrak {N};

(b)

gg единственна, т.е. если hh удовлетворяет (a), то g=hg=h почти всюду [ν][\nu ].

Задача 9.5.19

Пусть mm — мера Лебега на вещественной прямой, и для каждого измеримого по Лебегу подмножества EE из R\mathbb {R} определим

μ(E)=∫E11+x2dm \mu (E)=\int _{E} \frac{1}{1+x^{2}} d m

Покажите, что mm абсолютно непрерывна относительно μ\mu, и вычислите производную Радона—Никодима dm/dμd m / d \mu.

?
Задача 9.5.20

Пусть mm обозначает меру Лебега на [0,+∞][0,+\infty ], и

μ1(E)=∑n=1∞1n3∫E∩[n,n+1]xdm,μ2(E)=∫E∩[1,+∞]1x2dm \mu _{1}(E)=\sum _{n=1}^{\infty } \frac{1}{n^{3}} \int _{E \cap [n, n+1]} x d m, \quad \mu _{2}(E)=\int _{E \cap [1,+\infty ]} \frac{1}{x^{2}} d m

для любого измеримого по Лебегу множества E⊂[0,+∞]E \subset [0,+\infty ]. Докажите или опровергните:

?
(a)

m≪μ2m \ll \mu_{2};

(b)

μ2≪μ1\mu_{2} \ll \mu_{1};

(c)

μ1≪μ2\mu_{1} \ll \mu_{2}.

Найдите производную Радона—Никодима в случаях, когда она существует.

Задача 9.5.21

Пусть (X,M)( X, \mathfrak {M} ) — измеримое пространство, и μ,ν\mu , \nu — меры на M\mathfrak {M} такие, что μ\mu σ\sigma-конечна и ν≪μ\nu \ll \mu, пусть f=dν/dμf=d \nu / d \mu, и предположим, что существует константа C>0C>0 такая, что ν(E)>Cμ(E)\nu (E)>C \mu (E) для каждого множества EE конечной меры. Докажите, что f>0f>0 для μ\mu-почти всех x∈Xx \in X.

?
Задача 9.5.22

Пусть ν\nu — конечная знакопеременная мера на измеримом пространстве (X,M)( X, \mathfrak {M} ). Докажите, что существует измеримая функция ff на XX такая, что ∣f(x)∣=1\left|f(x)\right|=1 для почти всех x∈Xx \in X, и

ν(E)=∫Efd∣ν∣, для любого E∈M \nu (E)=\int _{E} f d\left|\nu \right|, \quad \text{ для любого } E \in \mathfrak {M}
?
Задача 9.5.23

Пусть (X,M)(X, \mathfrak {M}) — измеримое пространство, и пусть μ,ν\mu , \nu — две σ\sigma-конечные меры на M\mathfrak {M} такие, что μ≪ν\mu \ll \nu, и существует множество A∈MA \in \mathfrak {M}, являющееся ν\nu-атомом (т.е. для любого измеримого подмножества B⊂AB \subset A выполняется либо ν(B)=0\nu (B)=0, либо ν(A\B)=\nu (A \backslash B)= 0). Определите значения производной Радона—Никодима dμ/dνd \mu / d \nu на AA.

?
Задача 9.5.24

Пусть XX — несчётное множество, и пусть M\mathfrak {M} состоит из тех множеств AA, для которых либо AA, либо ACA^{C} счётно. Определим две меры μ,ν\mu , \nu на M\mathfrak {M} по формулам μ(A)=ν(A)=0\mu (A)= \nu (A)=0, если AA счётно, и μ(A)=1,ν(A)=∞\mu (A)=1, \nu (A)=\infty, если ACA^{C} счётно.

?
(a)

Найдите измеримую функцию f:X→[0,+∞]f: X \rightarrow [0,+\infty ] такую, что ν(E)=∫Efdμ\nu (E)=\int_{E} f d \mu для любого E∈ME \in \mathfrak {M}.

(b)

Докажите, что не существует измеримой функции g:X→[0,+∞]g: X \rightarrow [0,+\infty ] такой, что μ(E)=∫Egdν\mu (E)=\int_{E} g d \nu для любого E∈ME \in \mathfrak {M}.

Задача 9.5.25

Пусть (X,M,μ)(X, \mathfrak {M}, \mu ) — пространство с мерой, и пусть λ,ν\lambda , \nu — конечные знакопеременные меры на M\mathfrak {M}. Докажите, что λ⊥ν\lambda \perp \nu тогда и только тогда, когда ∣λ∣⊥∣ν∣\left|\lambda \right| \perp \left|\nu \right|.

?
Задача 9.5.26

Пусть (X,M)(X, \mathfrak {M}) — измеримое пространство, пусть E∈ME \in \mathfrak {M}, и пусть ν\nu — знакопеременная мера на M\mathfrak {M}. Докажите, что

∣ν∣(E)=sup⁡{∣∫Efdν∣:∣f∣≤1} \left|\nu \right|(E)=\sup \left\{ \left|\int _{E} f d \nu \right|:\left|f\right| \leq 1\right\}
?
Задача 9.5.27

Пусть μ\mu и ν\nu — две σ\sigma-конечные положительные меры на измеримом пространстве (X,M)(X, \mathfrak {M}). Докажите, что существуют A,B∈MA, B \in \mathfrak {M} такие, что A∩B=∅,A∪B=XA \cap B=\emptyset , A \cup B=X, μ\mu и ν\nu эквивалентны на (A,A∩M)( A, A \cap \mathfrak {M} ), и μ⊥ν\mu \perp \nu на (B,B∩M)( B, B \cap \mathfrak {M} ).

?
Задача 9.5.28

Докажите теорему Радона—Никодима в случае, когда ν\nu — знакопеременная мера.

?
Задача 9.5.29

Пусть (X,M,μ)( X, \mathfrak {M}, \mu ) — пространство с мерой, и f,g:X→[0,+∞]f, g: X \rightarrow [0,+\infty ] — измеримые функции такие, что соответствующие меры ν(E)=∫Xfdμ\nu (E)=\int_{X} f d \mu и λ(E)=∫Xgdμ\lambda (E)= \int_{X} g d \mu равны на M\mathfrak {M}. Докажите или опровергните: f=gf=g почти всюду [μ][\mu ].

?
Задача 9.5.30

Приведите пример того, что теорема Радона—Никодима не выполняется, когда ν\nu не σ\sigma-конечна.

?
Задача 9.5.31

Докажите или опровергните: теорема о разложении Лебега остаётся верной, если меры μ\mu и ν\nu не предполагаются σ\sigma-конечными.

?
Задача 9.5.32

Покажите, что разложение Лебега функции ограниченной вариации единственно, если сингулярная функция обязана обращаться в нуль при x=ax=a.

?
Задача 9.5.33

Пусть (X,M,μ)( X, \mathfrak {M}, \mu ) — пространство с мерой, и ff — неотрицательная функция, интегрируемая на XX относительно μ\mu. Найдите разложение Лебега относительно μ\mu меры ν\nu, определённой как ν(E)=∫Efdμ\nu (E)=\int_{E} f d \mu для E∈ME \in \mathfrak {M}.

?
Задача 9.5.34

Пусть (X,M)(X, \mathfrak {M}) — измеримое пространство, и μ,ν\mu , \nu — две σ\sigma-конечные меры на M\mathfrak {M}. Докажите, что μ⊥ν\mu \perp \nu тогда и только тогда, когда не существует ненулевой σ\sigma-конечной меры λ\lambda на (X,M)(X, \mathfrak {M}) такой, что λ≪μ,λ≪ν\lambda \ll \mu , \lambda \ll \nu.

?
Задача 9.5.35

Пусть {an}\left\{ a_{n}\right\} — фиксированная последовательность вещественных чисел, и пусть {pn}\left\{ p_{n}\right\} — последовательность положительных вещественных чисел. Определим функцию множества ν:M→R\nu : \mathcal{M} \rightarrow \mathbb {R} по формуле

ν(E)=∑an∈Epn,для E∈M \nu (E)=\sum _{a_{n} \in E} p_{n}, \quad \text{для } E \in \mathcal{M}
?
(a)

Покажите, что ν\nu — σ\sigma-конечная мера на M\mathcal{M}.

(b)

Найдите разложение Лебега ν\nu относительно меры Лебега mm.

Задача 9.5.36

Пусть f(x)=x2−5x+6f(x)=x^{2}-5 x+6, и определим функцию множества ν:B→R\nu : \mathcal{B} \rightarrow \mathbb {R} по формуле

ν(E)=∫Efdm,для E∈M \nu (E)=\int _{E} f d m, \quad \text{для } E \in \mathcal{M}
?
(a)

Покажите, что ν\nu — σ\sigma-конечная знакопеременная мера на B\mathcal{B};

(b)

найдите разложение Хана R\mathbb {R} относительно ν\nu;

(c)

найдите разложение Жордана ν\nu;

(d)

найдите разложение Лебега ν\nu относительно меры Лебега на M\mathcal{M}.

Задача 9.5.37

Пусть (X,M)( X, \mathfrak {M} ) и (Y,N)( Y, \mathfrak {N} ) — измеримые пространства, пусть μ,ν\mu , \nu — меры на M\mathfrak {M}, пусть μ′,ν′\mu^{\prime }, \nu^{\prime } — меры на N\mathfrak {N}, и предположим, что μ\mu и μ′\mu^{\prime } σ\sigma-конечны. Определите разложение Лебега μ×μ′\mu \times \mu^{\prime } относительно ν×ν′\nu \times \nu^{\prime } через разложения Лебега μ\mu относительно ν\nu и μ′\mu^{\prime } относительно ν′\nu^{\prime }.

?
Задача 9.5.38

Докажите или опровергните: теорема о разложении Лебега выполняется, когда ν\nu — знакопеременная мера.

?