Интеграл Лебега на $\mathbb{R}^n$

Покажите, что множество $G \subseteq \mathbb {R}^{n}$ открыто в $\mathbb {R}^{n}$ тогда и только тогда, когда для каждого $\left(b_{1}, \ldots , b_{n}\right) \in G$ существует $r > 0$, такое что

Покажите, что существует множество $E \subseteq \mathbb {R}^{2}$ (рассматривая $\mathbb {R}^{2}$ как $\mathbb {R} \times \mathbb {R}$), такое что сечения $[E]_{a}$ и $[E]^{a}$ являются открытыми подмножествами $\mathbb {R}$ для каждого $a \in \mathbb {R}$, но $E \notin \mathcal{B}_{2}$.

Пусть $(X, \mathcal{S}),(Y, \mathcal{T})$ и $(Z, \mathcal{U})$ — измеримые пространства. Определим $\mathcal{S} \otimes \mathcal{T} \otimes \mathcal{U}$ как наименьшую $\sigma$-алгебру на $X \times Y \times Z$, содержащую

Докажите, что если сделать очевидные отождествления произведений $(X \times Y) \times Z$ и $X \times (Y \times Z)$ с $X \times Y \times Z$, то

Покажите, что мера Лебега на $\mathbb {R}^{n}$ инвариантна относительно сдвигов. Точнее, покажите, что если $E \in \mathcal{B}_{n}$ и $a \in \mathbb {R}^{n}$, то $a+E \in \mathcal{B}_{n}$ и $\lambda_{n}(a+E) = \lambda_{n}(E)$, где

Пусть $f: \mathbb {R}^{n} \rightarrow \mathbb {R}$ является $\mathcal{B}_{n}$-измеримой и $t \in \mathbb {R} \backslash \left\{ 0\right\}$. Определим $f_{t}: \mathbb {R}^{n} \rightarrow \mathbb {R}$ как $f_{t}(x) = f(t x)$.

Пусть $\lambda$ обозначает меру Лебега на $(\mathbb {R}, \mathcal{L})$, где $\mathcal{L}$ — $\sigma$-алгебра измеримых по Лебегу подмножеств $\mathbb {R}$. Покажите, что существуют подмножества $E$ и $F$ множества $\mathbb {R}^{2}$, такие что

• $F \in \mathcal{L} \otimes \mathcal{L}$ и $(\lambda \times \lambda )(F) = 0$;

• $E \subseteq F$, но $E \notin \mathcal{L} \otimes \mathcal{L}$.

Пусть $m \in \mathbb {N}$. Проверьте, что совокупность множеств $\mathcal{E}_{m}$, фигурирующая в доказательстве 5.41, является монотонным классом.

Покажите, что открытый единичный шар в $\mathbb {R}^{n}$ является открытым подмножеством $\mathbb {R}^{n}$.

Пусть $G_{1}$ — непустое подмножество $\mathbb {R}^{m}$ и $G_{2}$ — непустое подмножество $\mathbb {R}^{n}$. Докажите, что $G_{1} \times G_{2}$ является открытым подмножеством $\mathbb {R}^{m} \times \mathbb {R}^{n}$ тогда и только тогда, когда $G_{1}$ является открытым подмножеством $\mathbb {R}^{m}$, а $G_{2}$ является открытым подмножеством $\mathbb {R}^{n}$.

Пусть $F_{1}$ — непустое подмножество $\mathbb {R}^{m}$ и $F_{2}$ — непустое подмножество $\mathbb {R}^{n}$. Докажите, что $F_{1} \times F_{2}$ является замкнутым подмножеством $\mathbb {R}^{m} \times \mathbb {R}^{n}$ тогда и только тогда, когда $F_{1}$ является замкнутым подмножеством $\mathbb {R}^{m}$, а $F_{2}$ является замкнутым подмножеством $\mathbb {R}^{n}$.

Пусть $E$ — подмножество $\mathbb {R}^{m} \times \mathbb {R}^{n}$ и

Для читателей, знакомых с гамма-функцией $\Gamma$: докажите, что

для каждого натурального числа $n$.

Определим $f: \mathbb {R}^{2} \rightarrow \mathbb {R}$ как