2.3

Класс мер

[5/80%]
Показать
LaTeX
Задача 2.3.1

Пусть p1,…,pn>0p_{1}, \ldots , p_{n}>0. Зафиксируем nn вещественных чисел x1<x2<⋯<xnx_{1}<x_{2}<\cdots < x_{n}, и определим

F(x)={0 если x<x1p1+⋯+pj если существует 1⩽j⩽n такое, что xj⩽x<xj+11 если x⩾xn F(x)= \begin{cases} 0 & \text{ если } x<x_{1} \\ p_{1}+\cdots +p_{j} & \text{ если существует } 1 \leqslant j \leqslant n \text{ такое, что } x_{j} \leqslant x<x_{j+1} \\ 1 & \text{ если } x \geqslant x_{n}\end{cases}

ΔF\Delta_{F} является мерой на A1\mathcal{A}_{1}, и

ΔF((a,b])={∑{pj:j таково, что a<xj⩽b} если (a,b]∩{x1,…,xn}≠∅0 в противном случае \Delta _{F}((a, b])= \begin{cases} \sum \left\{ p_{j}: j \text{ таково, что } a<x_{j} \leqslant b\right\} & \text{ если }(a, b] \cap \left\{ x_{1}, \ldots , x_{n}\right\} \neq \varnothing \\ 0 & \text{ в противном случае}\end{cases}

Это важная схема в дискретной теории вероятностей.

?
Задача 2.3.2

Эта задача обобщает пример 4. Пусть f:Rk→Rf: \mathbb {R}^{k} \rightarrow \mathbb {R} таково, что ff непрерывна и неотрицательна. Далее предположим, что ∫−∞+∞⋯∫−∞+∞f(t)dt<+∞\int_{-\infty }^{+\infty } \cdots \int_{-\infty }^{+\infty } f(\boldsymbol {t}) \mathrm{d} \boldsymbol {t}< +\infty. Определим функцию F:Rk→RF: \mathbb {R}^{k} \rightarrow \mathbb {R} по формуле

F(x)=∫−∞x1⋯∫−∞xkf(t)dt,x∈Rk F(\boldsymbol {x})=\int _{-\infty }^{x_{1}} \cdots \int _{-\infty }^{x_{k}} f(\boldsymbol {t}) \mathrm{d} \boldsymbol {t}, \quad \boldsymbol {x} \in \mathbb {R}^{k}

Тогда ΔF\Delta_{F} является мерой на полукольце Ak\mathcal{A}_{k}, и для всех (a,b]∈Ak(\boldsymbol {a}, \boldsymbol {b}] \in \mathcal{A}_{k} мы имеем

ΔF((a,b])=∫a1b1⋯∫akbkf(t1,…,tk)dtk⋯ dt1 \Delta _{F}((\boldsymbol {a}, \boldsymbol {b}])=\int _{a_{1}}^{b_{1}} \cdots \int _{a_{k}}^{b_{k}} f\left(t_{1}, \ldots , t_{k}\right) \mathrm{d} t_{k} \cdots \mathrm{~ d} t_{1}
?
Задача 2.3.3

Пусть F1,…,Fk∈SF_{1}, \ldots , F_{k} \in \mathfrak {S}. Для каждого x∈Rk\boldsymbol {x} \in \mathbb {R}^{k} запишем F(x)=∏i=1kFi(xi)F(\boldsymbol {x})= \prod_{i=1}^{k} F_{i}\left(x_{i}\right).

?
(a)

F∈SkF \in \mathfrak {S}_{k}, следовательно, ΔF\Delta_{F} является мерой на Ak\mathcal{A}_{k}.

(b)

ΔF((a,b])=∏i=1k[Fi(bi)−Fi(ai)]\Delta_{F}((\boldsymbol {a}, \boldsymbol {b}])=\prod_{i=1}^{k}\left[F_{i}\left(b_{i}\right)-F_{i}\left(a_{i}\right)\right] для всех (a,b]∈Ak(\boldsymbol {a}, \boldsymbol {b}] \in \mathscr {A}_{k}.

Задача 2.3.4

Пусть Fi∈SkiF_{i} \in \mathfrak {S}_{k_{i}} для i=1,…,ni=1, \ldots , n. Пусть F:R∑i=1nki→RF: \mathbb {R}^{\sum_{i=1}^{n} k_{i}} \rightarrow \mathbb {R} таково, что

F(x(1),…,x(n))=∏i=1nFi(x(i)) F\left(\boldsymbol {x}^{(1)}, \ldots , \boldsymbol {x}^{(n)}\right)=\prod _{i=1}^{n} F_{i}\left(\boldsymbol {x}^{(i)}\right)

для всех x(1)∈Rk1,…\boldsymbol {x}^{(1)} \in \mathbb {R}^{k_{1}}, \ldots, и x(n)∈Rkn\boldsymbol {x}^{(n)} \in \mathbb {R}^{k_{n}}. Тогда ΔF\Delta_{F} является мерой на A∑i=1nki\mathcal{A}_{\sum_{i=1}^{n} k_{i}}. Кроме того, ΔF(A1×⋯×An)=∏i=1nΔFi(Ai)\Delta_{F}\left(A_{1} \times \cdots \times A_{n}\right)=\prod_{i=1}^{n} \Delta_{F_{i}}\left(A_{i}\right) для всех A1∈A1,…A_{1} \in \mathcal{A}_{1}, \ldots, и An∈AknA_{n} \in \mathcal{A}_{k_{n}}.

?
Задача 2.3.5

Для каждого k∈Nk \in \mathbb {N} имеет место следующее: ΔF(A)=0\Delta_{F}(A)=0 для всех A∈AkA \in \mathcal{A}_{k} тогда и только тогда, когда FF является конечной суммой функций, каждая из которых зависит не более чем от k−1k-1 координат.

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

Если k=1k=1, то функция, зависящая не более чем от k−1k-1 координат, является постоянной функцией.