2C

Меры и их свойства

[12/0%]
Показать
LaTeX
Задача 2C.1

Объясните, почему не существует пространства с мерой (X,S,μ)(X, \mathcal{S}, \mu ) такого, что {μ(E):ES}=[0,1)\left\{ \mu (E): E \in \mathcal{S}\right\} = [0,1).

?
Задача 2C.2

Через 2N2^{\mathbb {N}} обозначим σ\sigma-алгебру на N\mathbb {N}, состоящую из всех подмножеств N\mathbb {N}. Пусть μ\mu — мера на (N,2N)\left(\mathbb {N}, 2^{\mathbb {N}}\right). Докажите, что существует последовательность w1,w2,w_{1}, w_{2}, \ldots в [0,][0, \infty ] такая, что

μ(E)=kEwk \mu (E) = \sum _{k \in E} w_{k}

для каждого множества ENE \subseteq \mathbb {N}.

?
Задача 2C.3

Приведите пример меры μ\mu на (N,2N)\left(\mathbb {N}, 2^{\mathbb {N}}\right) такой, что

{μ(E):EN}=[0,1] \left\{ \mu (E): E \subseteq \mathbb {N}\right\} = [0,1]
?
Задача 2C.4

Приведите пример пространства с мерой (X,S,μ)(X, \mathcal{S}, \mu ) такого, что

{μ(E):ES}={}k=0[3k,3k+1]. \left\{ \mu (E): E \in \mathcal{S}\right\} = \left\{ \infty \right\} \cup \bigcup _{k = 0}^{\infty }[3 k, 3 k+1].
?
Задача 2C.5

Пусть (X,S,μ)(X, \mathcal{S}, \mu ) — пространство с мерой такое, что μ(X)<\mu (X) < \infty. Докажите, что если A\mathcal{A} — семейство непересекающихся множеств из S\mathcal{S} таких, что μ(A)>0\mu (A) > 0 для каждого AAA \in \mathcal{A}, то A\mathcal{A} — счётное множество.

?
Задача 2C.6

Найдите все c[3,)c \in [3, \infty ), для которых существует пространство с мерой (X,S,μ)(X, \mathcal{S}, \mu ) такое, что

{μ(E):ES}=[0,1][3,c] \left\{ \mu (E): E \in \mathcal{S}\right\} = [0,1] \cup [3, c]
?
Задача 2C.7

Приведите пример пространства с мерой (X,S,μ)(X, \mathcal{S}, \mu ) такого, что

{μ(E):ES}=[0,1][3,] \left\{ \mu (E): E \in \mathcal{S}\right\} = [0,1] \cup [3, \infty ]
?
Задача 2C.8

Приведите пример множества XX, σ\sigma-алгебры S\mathcal{S} подмножеств XX, семейства A\mathcal{A} подмножеств XX такого, что наименьшая σ\sigma-алгебра на XX, содержащая A\mathcal{A}, есть S\mathcal{S}, и двух мер μ\mu и ν\nu на (X,S)(X, \mathcal{S}) таких, что μ(A)=ν(A)\mu (A) = \nu (A) для всех AAA \in \mathcal{A} и μ(X)=ν(X)<\mu (X) = \nu (X) < \infty, но μν\mu \neq \nu.

?
Задача 2C.9

Пусть μ\mu и ν\nu — меры на измеримом пространстве (X,S)(X, \mathcal{S}). Докажите, что μ+ν\mu +\nu — мера на (X,S)(X, \mathcal{S}).

?
Примечание.
?

Здесь μ+ν\mu +\nu — обычная сумма двух функций: если ESE \in \mathcal{S}, то (μ+ν)(E)=μ(E)+ν(E)(\mu +\nu )(E) = \mu (E)+\nu (E).

Задача 2C.10

Приведите пример пространства с мерой (X,S,μ)(X, \mathcal{S}, \mu ) и убывающей последовательности E1E2E_{1} \supseteq E_{2} \supseteq \cdots множеств из S\mathcal{S} такой, что

μ(k=1Ek)limkμ(Ek) \mu \left(\bigcap _{k = 1}^{\infty } E_{k}\right) \neq \lim _{k \rightarrow \infty } \mu \left(E_{k}\right)
?
Задача 2C.11

Пусть (X,S,μ)(X, \mathcal{S}, \mu ) — пространство с мерой и C,D,ESC, D, E \in \mathcal{S} таковы, что

μ(CD)<,μ(CE)<,μ(DE)< \mu (C \cap D) < \infty , \quad \mu (C \cap E) < \infty , \quad \mu (D \cap E) < \infty

Найдите и докажите формулу для μ(CDE)\mu (C \cup D \cup E) через μ(C),μ(D),μ(E)\mu (C), \mu (D), \mu (E), μ(CD),μ(CE),μ(DE)\mu (C \cap D), \mu (C \cap E), \mu (D \cap E) и μ(CDE)\mu (C \cap D \cap E).

?
Задача 2C.12

Пусть XX — множество и S\mathcal{S}σ\sigma-алгебра всех подмножеств EE множества XX таких, что EE счётно или X\EX \backslash E счётно. Дайте полное описание множества всех мер на (X,S)(X, \mathcal{S}).

?