Интегрирование на произведениях пространств

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

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

Пусть $(X, \mathfrak {M})$ и $(Y, \mathfrak {N})$ — измеримые пространства. Докажите или опровергните: $A \times B \in \mathfrak {M} \otimes \mathfrak {N}$ тогда и только тогда, когда $A \in \mathfrak {M}$ и $B \in \mathfrak {N}$.

Пусть $\mathcal{B}$ обозначает $\sigma$-алгебру борелевских подмножеств $\mathbb {R}$. Докажите, что существует множество $E \subset \mathbb {R} \times \mathbb {R}$ такое, что $E_{x} \in \mathcal{B}$ и $E^{y} \in \mathcal{B}$ для всех $x, y \in \mathbb {R}$, но $E \notin \mathcal{B} \otimes \mathcal{B}$.

Докажите импликацию в (8.4).

Докажите или опровергните: если $A, B$ — измеримые по Лебегу подмножества $\mathbb {R}^{2}$, то и $A+B$ измеримо. Здесь $A+B=\left\{ x+y: x \in A, y \in B\right\}$.

Пусть ( $X, \mathfrak {M}$ ) — измеримое пространство. Докажите, что если $E \in \mathfrak {M} \otimes \mathfrak {M}$, то $\left\{ x \in X:(x, x) \in E\right\} \in \mathfrak {M}$.

Пусть ( $X, \mathfrak {M}$ ) и ( $Y, \mathfrak {N}$ ) — измеримые пространства и пусть $\mathcal{A}=\left\{ E \subset Y: X \times E \in \mathfrak {M} \otimes \mathfrak {N}\right\}$. Докажите, что $\mathcal{A}$ — $\sigma$-алгебра, содержащая $\mathfrak {N}$.

Пусть $\left(X_{k}, \mathfrak {M}_{k}\right)$, для $k=1,2,3$ — измеримые пространства. Докажите, что $\mathfrak {M}_{1} \otimes \left(\mathfrak {M}_{2} \otimes \mathfrak {M}_{3}\right)=\left(\mathfrak {M}_{1} \otimes \mathfrak {M}_{2}\right) \otimes \mathfrak {M}_{3}$.

Пусть $X, Y$ — непустые множества и пусть $\mathcal{A} \subset \mathbb {P}(X)$. Докажите, что $\sigma (\mathcal{A}) \times Y= \sigma (\mathcal{A} \times Y)$.

Пусть $A$ — борелевское множество в $\mathbb {R}^{p}$. Докажите, что $A \times \mathbb {R}^{q}$ — борелевское множество в $\mathbb {R}^{p+q}$.

Пусть $\mathcal{G}$ — монотонный класс в $X \times Y$, пусть $P \subset X \times Y$, и

Докажите, что:

Пусть $\mathcal{G}$ — монотонный класс, замкнутый относительно конечных дизъюнктных объединений. Докажите, что он замкнут относительно счётных дизъюнктных объединений.

Приведите пример монотонного класса $\mathcal{G}$ на $\mathbb {R}$, удовлетворяющего условиям

1. $\mathbb {R}$ принадлежит $\mathcal{G}$, и

2. если $A \in \mathcal{G}$, то его дополнение $A^{c}$ принадлежит $\mathcal{G}$, но не являющегося $\sigma$-алгеброй.

Пусть $\mathcal{G}$ — монотонный класс и пусть $\mathcal{F}=\left\{ A \in \mathcal{G}: A^{C} \in \mathcal{G}\right\}$. Докажите, что $\mathcal{F}$ — монотонный класс.

Пусть $\mathcal{G}$ — монотонный класс на $X$, пусть $\mathcal{C}$ — некоторое семейство подмножеств $X$, и пусть $\mathcal{A}=\left\{ A \in \mathcal{G}: A \cap C \in \mathcal{G} \text{ для всех } C \in \mathcal{C}\right\}$. Докажите, что $\mathcal{A}$ — монотонный класс.

Пусть $\mathcal{G}$ — монотонный класс, пусть $\mathcal{S} \subset \mathcal{G}$ — алгебра, и пусть $\mathcal{F}=\left\{ A \in \mathcal{G}: A \cup B \in \mathcal{G} \text{ для всех } B \in \mathcal{S}\right\}$. Докажите, что $\mathcal{F}$ — монотонный класс.

Пусть $\mathcal{G}$ — монотонный класс на $X$, являющийся также алгеброй. Докажите, что $\mathcal{G}$ — $\sigma$-алгебра.

Пусть $\mathcal{S}$ — алгебра, пусть $\mathcal{G}$ — наименьший монотонный класс, содержащий $\mathcal{S}$, и пусть $\mathcal{T}=\left\{ A \in \mathcal{G}: A \cup B \in \mathcal{G} \text{ для всех } B \in \mathcal{G}\right\}$. Докажите, что $\mathcal{T}$ — монотонный класс, содержащий $\mathcal{S}$.

Пусть $\mathcal{A}$ — алгебра на $X$. Докажите, что наименьший монотонный класс, содержащий $\mathcal{A}$, совпадает с наименьшей $\sigma$-алгеброй, содержащей $\mathcal{A}$.

${ }^{*}$ Пусть $\mathcal{A}$ — алгебра на $X$, пусть $\sigma (\mathcal{A})$ — $\sigma$-алгебра, порождённая $\mathcal{A}$, и пусть $\mu , \nu$ — конечные меры на $X$, совпадающие на $\mathcal{A}$.

Пусть $X$ — дизъюнктное объединение $X=\cup_{i=1}^{\infty } X_{i}$, и для каждого $i \in \mathbb {N}$ пусть $\mathcal{G}_{i}$ — монотонный класс на $X_{i}$. Докажите или опровергните: $\cup_{i=1}^{\infty } \mathcal{G}_{i}$ — монотонный класс.

Пусть $\left\{ \mathcal{G}_{i}\right\}_{i=1}^{\infty }$ — вложенные монотонные классы на $X$, т.е. $\mathcal{G}_{i} \subset \mathcal{G}_{i+1}$ для всех $i \in \mathbb {N}$. Докажите или опровергните: $\cup_{i=1}^{\infty } \mathcal{G}_{i}$ — монотонный класс.

Докажите утверждение (b) теоремы 8.1.17.

Теорема 8.1.17: Пусть $f$ — $(\mathfrak {M} \otimes \mathfrak {N})$-измеримая функция на $X \times Y$. Тогда: (a) для каждого $x \in X$ функция $f_{x}$ является $\mathfrak {N}$-измеримой функцией на $Y$; (b) для каждого $y \in Y$ функция $f^{y}$ является $\mathfrak {M}$-измеримой функцией на $X$. (Часть (a) доказана в тексте; остаётся только часть (b).)

Пусть $(X, \mathfrak {M})$ и $(Y, \mathfrak {N})$ — измеримые пространства, пусть $f: X \rightarrow \mathbb {R}$ — $\mathfrak {M}$-измеримая функция, пусть $g: Y \rightarrow \mathbb {R}$ — $\mathfrak {N}$-измеримая функция, и пусть $h: X \times Y \rightarrow \mathbb {R}$ определена как $h(x, y)=f(x) g(y)$. Докажите, что $h$ является $\mathfrak {M} \otimes \mathfrak {N}$-измеримой.

Пусть ( $X, \mathfrak {M}$ ) — измеримое пространство, и пусть $f: X \rightarrow \mathbb {R}$ — неотрицательная функция. Докажите, что $f$ измерима тогда и только тогда, когда множество $\left\{ (x, y) \in X \times \mathbb {R}: 0 \leq y \leq f(x)\right\}$ измеримо, то есть принадлежит $\mathfrak {M} \otimes \mathcal{M}$.

Пусть $f:[a, b] \times \mathbb {R} \rightarrow \mathbb {R}$ таковы, что $f_{x}$ непрерывна для каждого $x \in [a, b]$, а $f^{y}$ измерима по Лебегу для каждого $y \in \mathbb {R}$. Докажите, что $f$ измерима относительно $\mathcal{B}([a, b]) \otimes \mathcal{M}$.

Пусть $(X, \mathfrak {M})$ и $(Y, \mathfrak {N})$ — измеримые пространства, пусть $f: X \rightarrow Y$, и предположим, что график $f$ является $\mathfrak {M} \otimes \mathfrak {N}$-измеримым. Докажите или опровергните: $f$ измерима, то есть если $A \in \mathfrak {N}$, то $f^{-1}(A) \in \mathfrak {M}$.

Пусть ( $X, \mathfrak {M}$ ) и ( $Y, \mathfrak {N}$ ) — измеримые пространства и пусть $f: X \rightarrow Y$ измерима, то есть если $A \in \mathfrak {N}$, то $f^{-1}(A) \in \mathfrak {M}$. Докажите или опровергните: график $f$ является $\mathfrak {M} \otimes \mathfrak {N}$-измеримым.

Пусть $(X, \mathfrak {M})$ и $(Y, \mathfrak {N})$ — измеримые пространства. Докажите, что $\mathfrak {M} \otimes \mathfrak {N}$ — наименьшая $\sigma$-алгебра, относительно которой измеримы проекции. (Проекции $P_{1}$ и $P_{2}$ определяются как $P_{1}(x, y)=x$ и $P_{2}(x, y)=y$.)

Пусть ( $X, \mathfrak {M}$ ) — измеримое пространство и пусть $f: X \times [0,1] \rightarrow \mathbb {R}$ — функция такая, что $f^{y}$ измерима для каждого $y \in [0,1]$ и $f_{x}$ непрерывна для каждого $x \in X$. Покажите, что множество $E_{\varepsilon , \delta }:=\left\{ x: \left|f(x, y)-f(x, 0)\right| \geq \varepsilon \text{ для всех } y< \delta \right\}$ измеримо.

Пусть $f: \mathbb {R}^{2} \rightarrow \mathbb {R}$ — функция, для которой и $f_{x}$, и $f^{y}$ борелевски измеримы. Докажите или опровергните: $f$ борелевски измерима.

Пусть $X$ и $Y$ — множества, пусть $E \subset X \times Y$, и пусть $f=\chi_{E}$. Докажите, что $f_{x}=\chi_{E_{x}}$ и $f^{y}=\chi_{E^{y}}$.

Докажите, что $\mu \times \lambda$, как определено в определении 8.2.5, является мерой.

Определение 8.2.5: Пусть $(X, \mathfrak {M}, \mu )$ и $(Y, \mathfrak {N}, \lambda )$ — $\sigma$-конечные пространства с мерой и пусть $Q \in \mathfrak {M} \otimes \mathfrak {N}$. Произведение мер $\mu$ и $\lambda$ определяется как $(\mu \times \lambda )(Q) = \int_{X} \lambda (Q_{x}) \, d\mu (x) = \int_{Y} \mu (Q^{y}) \, d\lambda (y)$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — $\sigma$-конечные пространства с мерой. Докажите, что $\mu \times \lambda$, как определено в определении 8.2.5, $\sigma$-конечна.

Пусть $\mu$ — считающая мера на $\mathbb {P}(\mathbb {N})$. Опишите произведение мер $\mu \times \mu$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — конечные пространства с мерой такие, что $\mu (X)= \lambda (Y)=1$, и пусть $E \in \mathfrak {M} \otimes \mathfrak {N}$. Докажите, что если $(\mu \times \lambda )(E)=1$, то $\lambda \left(E_{x}\right)=1$ для п.в. $x \in X$.

Пусть $\left(X_{k}, \mathfrak {M}_{k}, \mu_{k}\right)$, для $k=1,2,3$ — $\sigma$-конечные пространства с мерой. Докажите, что меры $\left(\mu_{1} \times \mu_{2}\right) \times \mu_{3}$ и $\mu_{1} \times \left(\mu_{2} \times \mu_{3}\right)$ совпадают как меры на $X_{1} \times X_{2} \times X_{3}$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — $\sigma$-конечные пространства с мерой, пусть $E, F \in \mathfrak {M} \otimes \mathfrak {N}$, и предположим, что $\lambda \left(E_{x}\right)=\lambda \left(F_{x}\right)$ для п.в. $[\mu ] x \in X$. Докажите, что $(\mu \times \lambda )(E)= (\mu \times \lambda )(F)$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — $\sigma$-конечные пространства с мерой, пусть $E \in \mathfrak {M} \otimes \mathfrak {N}$, и предположим, что $\lambda \left(E_{x}\right)=0$ для п.в. $[\mu ] x \in X$. Докажите, что $\mu \left(E^{y}\right)=0$ для п.в. $[\lambda ] y \in Y$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — $\sigma$-конечные пространства с мерой, и пусть $\omega$ — мера на $\mathfrak {M} \otimes \mathfrak {N}$ такая, что $\omega (A \times B)=\mu (A) \lambda (B)$ для всех $A \in \mathfrak {M}$ и всех $B \in \mathfrak {N}$. Докажите, что $\omega =\mu \times \nu$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — конечные пространства с мерой такие, что $\mu (X)= \lambda (Y)=1$, пусть $E \subset X \times Y$ таково, что $(\mu \times \lambda )(E)=\eta^{2}<1$, и пусть $A=\left\{ x \in X: \lambda \left(E_{x}\right) \geq \eta \right\}$. Найдите точную верхнюю оценку для $\mu (A)$.

Пусть $(X, \mathfrak {M}, \mu )$ и $(Y, \mathfrak {N}, \lambda )$ — конечные пространства с мерой такие, что $\mu (X)= \lambda (Y)=1$, пусть $E \subset X \times Y$ таково, что $\mu \left(E^{y}\right) \geq \alpha$ для всех $y \in Y$, пусть $\beta <\alpha$, и пусть $A=\left\{ x \in X: \lambda \left(E_{x}\right) \geq \beta \right\}$. Докажите, что $\mu (A) \geq (\alpha -\beta ) /(1-\beta )$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — конечные пространства с мерой такие, что $\mu (X)= \lambda (Y)=1$, и пусть $E \in \mathfrak {M} \otimes \mathfrak {N}$ таково, что $\lambda \left(E_{x}\right) \leq 1 / 2$ для п.в. $[\mu ] x \in X$. Докажите, что $\lambda \left(\left\{ y \in Y: \mu \left(E^{y}\right)=1\right\} \right) \leq 1 / 2$.

Пусть $(X, \mathfrak {M}, \mu )$ — $\sigma$-конечное пространство с мерой и пусть $f: X \rightarrow \mathbb {R}$ — неотрицательная измеримая функция с графиком $G=\left\{ (x, y) \in X \times \mathbb {R}: y=f(x)\right\}$. Докажите, что $(\mu \times m)(G)=0$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \nu$ ) — конечные пространства с мерой такие, что $\mu (X)= \nu (Y)=1$, и пусть $A \in \mathfrak {M} \otimes \mathfrak {N}$. Докажите, что

Пусть ( $X, \mathfrak {M}, \mu$ ) — $\sigma$-конечное пространство с мерой, пусть $f: X \rightarrow \mathbb {R}$ — неотрицательная измеримая функция, и пусть $B=\left\{ (x, y) \in X \times \mathbb {R}: 0 \leq y \leq f(x) \text{, если } f(x)<\infty \text{, или } 0 \leq y<\infty \text{, если } f(x)=\infty \right\}$. Докажите, что $B \in \mathfrak {M} \otimes \mathcal{B}$, и свяжите $(\mu \times m)(B)$ с интегралом от $f$.

Пусть $\delta$ — мера Дирака, сосредоточенная в точке $x=0$, и пусть $E= \left\{ (x, y) \in \mathbb {R}^{2}:\left|x-y\right|<1\right\}$. Найдите $(\delta \times m)(E)$.

Пусть $(X, \mathfrak {M}, \mu )$ и $(X, \mathfrak {M}, \lambda )$ — нетривиальные $\sigma$-конечные пространства с мерой такие, что $(\mu \times \lambda )((X \times X) \backslash \Delta )=0$, где $\Delta =\left\{ (x, y) \in X \times X: x=y\right\}$. Докажите, что существуют $a \in X$ и $\alpha , \beta \in \mathbb {R}$ такие, что $\mu =\alpha \delta_{a}$ и $\lambda =\beta \delta_{a}$.

Цель этого упражнения — показать, что в отсутствие $\sigma$-конечности произведение мер не обязательно единственно. Пусть $\Delta =\left\{ (x, y) \in [0,1]^{2}: x=y\right\}$, пусть $m$ — мера Лебега на $\mathcal{B}([0,1])$, пусть $\nu$ — считающая мера на $\mathbb {P}([0,1])$, и пусть $m \times \nu$ — продолжение по Каратеодори меры $\omega$, определённой на измеримых прямоугольниках как $\omega (E \times F)=m(E) \nu (F)$. Определим $\lambda$ на $\mathcal{B}([0,1]) \otimes \mathbb {P}([0,1])$ как $\lambda (E)=\sup \left\{ \sum_{y \in A} m_{y}(([0,1] \times \left\{ y\right\} ) \cap E): A \text{ — конечное подмножество } [0,1]\right\}$, где $m_{y}$ — мера Лебега на $[0,1] \times \left\{ y\right\}$. Докажите, что:

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — пространства с мерой и пусть $E \in \mathfrak {M} \otimes \mathfrak {N}$. Через $\mathcal{E}_{\sigma }$ обозначим семейство счётных объединений измеримых прямоугольников, а через $\mathcal{E}_{\sigma \delta }$ — семейство счётных пересечений множеств из $\mathcal{E}_{\sigma }$. Докажите, что существует множество $F \in \mathcal{E}_{\sigma \delta }$ такое, что $E \subset F$ и $(\mu \times \lambda )(E)=(\mu \times \lambda )(F)$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $X, \mathfrak {M}, \lambda$ ) — $\sigma$-конечные пространства с мерой, и пусть $E \in \mathfrak {M} \otimes \mathfrak {N}$ таково, что $(\mu \times \lambda )(E)=0$. Докажите, что для $\mu$-п.в. $x \in X$ выполняется $\lambda \left(E_{x}\right)=0$.

Предположим, что ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — $\sigma$-конечные пространства с мерой. Пусть $A \in \mathfrak {M}$ и $B \in \mathfrak {N}$ удовлетворяют $\mu (A)=0$ и $\lambda (B)=\infty$. Докажите, что $(\mu \times \lambda )(A \times B)=0$.

Пусть $E$ — измеримое подмножество $[0,1] \times [0,1]$, обладающее тем свойством, что его пересечение с каждой вертикальной прямой не более чем счётно. Докажите или опровергните: двумерная мера Лебега множества $E$ равна 0.

Докажите, что существует неизмеримое множество $E \subset [0,1] \times [0,1]$, обладающее тем свойством, что оно пересекает каждую вертикальную прямую ровно в одной точке.

Пусть $f: \mathbb {R}^{2} \rightarrow \mathbb {R}$ — $\mathcal{M} \otimes \mathcal{M}$-измеримая функция, пусть $A=\left\{ (x, y) \in \mathbb {R}^{2}: f(x, y) \neq 0\right\}$, и предположим, что $m \times m(A)=0$. Докажите, что $m\left(A_{x}\right)=0$ для п.в. $x \in \mathbb {R}$, и что $m\left(A^{y}\right)=0$ для п.в. $y \in \mathbb {R}$.

Пусть $f$ — измеримая по Лебегу функция на $\mathbb {R}$ и пусть $F(x, y)= f(x-y)$. Докажите, что $F$ измерима по Лебегу на $\mathbb {R}^{2}$.

Пусть $A \subset \mathbb {R}^{p+q}$ и $m_{p+q}(A)=0$. Докажите, что для почти всех $x \in \mathbb {R}^{p}$ множество $A_{x}$ принадлежит $\mathcal{M}_{q}$ и $m_{q}\left(A_{x}\right)=0$.

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — конечные пространства с мерой такие, что $\mu (X)= \lambda (Y)=1$, и пусть $E \subset X \times Y$ таково, что $\lambda \left(E_{x}\right)=0$ для п.в. $[\mu ] x \in X$. Предположим, что $\lambda \left(\left\{ y \in Y: \mu \left(X \backslash E^{y}\right)<1\right\} \right)>0$. Докажите, что $E \notin (\mathfrak {M} \otimes \mathfrak {N})$.

Пусть ( $X, \mathfrak {M}, \mu$ ) — $\sigma$-конечное пространство с мерой, пусть $A \in \mathfrak {M}$, пусть $0 \leq \alpha \leq \infty$, и определим $A_{\alpha }=\left\{ (x, y): x \in A, 0 \leq y \leq \alpha \right\}$ и $A_{\infty }=\left\{ (x, y): x \in A, 0 \leq y<\infty \right\}$. Докажите, что $A_{\alpha } \in \mathfrak {M} \otimes \mathcal{B}$, и найдите $\mu \times m\left(A_{\alpha }\right)$.

Пусть $f$ — борелевски измеримая функция на $\mathbb {R}$ и $E=\left\{ (x+f(x), x- f(x)): x \in \mathbb {R}\right\}$. Докажите или опровергните: $m_{2}(E)=0$.

Пусть $f$ и $g$ — вещественнозначные интегрируемые функции на пространстве с мерой $(X, \mathfrak {M}, \mu )$; определим

Докажите, что

По примеру 1.4.13, существует вполне упорядоченное множество $W$ и биекция $j:[0,1] \rightarrow W$ такая, что для любого $x \in [0,1]$, $j(x)$ имеет не более чем счётное число предшественников. Пусть $Q$ — множество точек $(x, y)$ в $[0,1] \times [0,1]$ таких, что $j(x)$ предшествует $j(y)$, и пусть $f=\chi_{Q}$. Докажите, что (8.9) неверно для $(X, \mathfrak {M}, \mu )=(Y, \mathfrak {N}, \lambda )=[0,1]$ с мерой Лебега. Объясните, почему это не противоречит теореме 8.2.1.

Приведите пример множества $Q \subset [0,1] \times [0,1]$, для которого существуют и $\varphi (x)$, и $\psi (y)$ (как в (8.8)), но измерима только одна из этих функций.

Докажите или опровергните: существует множество $Q \subset [0,1] \times [0,1]$, для которого $\varphi (x)=1$ и $\psi (y)=0$, где $\varphi$ и $\psi$ — как в (8.8).

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — $\sigma$-конечные пространства с мерой такие, что ( $X \times Y, \mathfrak {M} \otimes \mathfrak {N}, \mu \times \lambda$ ) полно. Предположим, что $B \subset \mathfrak {N}$ и $\lambda (B)=0$. Докажите, что $\mathfrak {M}=\mathbb {P}(X)$.

Предположим, что ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — пространства с мерой, и пусть $(X, \overline{\mathfrak {M}}, \bar{\mu })$ и $(Y, \overline{\mathfrak {N}}, \bar{\lambda })$ обозначают их пополнения. Также обозначим через $(X \times Y, \overline{\mathfrak {M} \otimes \mathfrak {N}}, \overline{\mu \times \lambda }$ ) пополнение ( $X \times Y, \mathfrak {M} \otimes \mathfrak {N}, \mu \times \lambda$ ). Наконец, пусть $(X \times Y, \overline{\overline{\mathfrak {M}} \otimes \overline{\mathfrak {N}}}, \overline{\bar{\mu } \otimes \bar{\lambda }})$ обозначает пополнение ( $X \times Y, \overline{\mathfrak {M}} \otimes \overline{\mathfrak {N}}, \bar{\mu } \otimes \bar{\lambda }$ ). Докажите, что

Пусть $N \subset \mathbb {R}^{p}$ удовлетворяет $m_{p}(N)=0$ и пусть $B \subset \mathbb {R}^{q}$. Докажите, что $m_{p+q}(N \times B)=0$.

Докажите часть (b) теоремы 8.2.9.

Теорема 8.2.9: Пусть $p, q, r$ — положительные целые числа, удовлетворяющие $p+q=r$. Тогда (a) $\mathcal{B}_{r} \subset \mathcal{M}_{p} \otimes \mathcal{M}_{q} \subset \mathcal{M}_{r}$. (b) $\mathcal{M}_{p} \otimes \mathcal{M}_{q} \neq \mathcal{M}_{r}$. (Часть (a) доказана в тексте; остаётся только часть (b).)

Пусть $p, q, r$ — положительные целые числа, удовлетворяющие $p+q=r$. Докажите, что $\mathcal{B}_{p} \otimes \mathcal{B}_{q}= \mathcal{B}_{r}$. Сделайте вывод, что $\mathcal{B}_{r} \neq \mathcal{M}_{p} \otimes \mathcal{M}_{q}$.

Пусть $m$ — мера Лебега на $\mathbb {R}$ и $E=\left\{ (x, y): 0 \leq y \leq x\right\}$. Вычислите

Пусть ( $X, \mathfrak {M}, \mu$ ) — $\sigma$-конечное полное пространство с мерой и пусть $f: X \rightarrow [0, \infty )$ измерима. Докажите, что

Пусть ( $X, \mathfrak {M}, \mu$ ) — пространство с мерой, пусть $f$ интегрируема на $X$, пусть $\lambda >0$, и определим

Докажите, что $\varphi$ и $\psi$ борелевски измеримы и что $\int_{X}\left|f\right| d \mu =\int_{0}^{\infty }(\varphi (t)+ \psi (t)) d t$.

Вычислите

и используйте это для нахождения значений

Пусть $g:[0,1] \rightarrow \mathbb {R}$ — измеримая по Лебегу функция такая, что функция $f(x, y)=2 g(x)-3 g(y)$ интегрируема по Лебегу на $[0,1] \times [0,1]$. Докажите, что $g$ интегрируема по Лебегу на $[0,1]$.

Пусть $f, g$ — неотрицательные интегрируемые функции на $\mathbb {R}$, пусть $A, B$ — множества положительной меры в $\mathbb {R}$, и предположим, что $f$ строго положительна на $A$, а $g$ строго положительна на $B$. Пусть

Докажите, что $f * g>0$ на множестве положительной меры.

Пусть $X=[0,1], Y=[0, \infty ), f(u, v)=1 /\left(1+u^{2} v^{2}\right), g(x, y, t)= f(x, t) f(y, t)$, для $(x, y, t) \in X \times X \times Y:=Z$.

Пусть $X=Y=[-\pi / 2, \pi / 2]$ с мерой Лебега и

Докажите, что оба повторных интеграла существуют и равны между собой. Существует ли двойной интеграл от $f$?

Пусть $m$ — мера Лебега на $\mathbb {R}$ и $E=\left\{ (x, y): 0 \leq y \leq \sqrt{x}\right\}$. Вычислите

Вычислите

Вычислите

Пусть ( $X, \mathfrak {M}, \mu$ ) и ( $Y, \mathfrak {N}, \lambda$ ) — пространства с мерой. Предположим, что $g: X \rightarrow \mathbb {R}$ — $\mu$-интегрируемая функция и что $h: Y \rightarrow \mathbb {R}$ — $\lambda$-интегрируемая функция. Определим $f: X \times Y \rightarrow \mathbb {R}$ как $f(x, y)=g(x) h(y)$. Докажите, что $f$ является $\mu \times \lambda$-интегрируемой и что

Пусть ( $X, \mathfrak {M}, \mu$ ) — конечное пространство с мерой, $\mu (X)=1$, и пусть $f, g$ : $X \rightarrow \mathbb {R}$ — интегрируемые функции, удовлетворяющие