PROFILPELAJAR.COM

Измеримое пространство — это пара $(X,{\mathfrak {A}})$ , где $X$ — множество, а ${\mathfrak {A}}$ — некоторая $\sigma$ -алгебра его подмножеств.^[1]

Основные сведения

Под измеримым топологическим пространством понимается измеримое пространство $(X,{\mathfrak {A}})$ , в котором выбрана $\sigma$ — алгебра ${\mathfrak {A}}$ , порождённая некоторой базой множеств топологического пространства X. Минимальная $\sigma$ — алгебра, содержащая все открытые множества, называется борелевской $\sigma$ — алгеброй пространства X; при этом множества $A\in {\mathfrak {A}}$ называются борелевскими.

Измеримое пространство $(X,{\mathfrak {A}})$ называется сепарабельным, если существует некоторая счётная система множеств ${\mathfrak {C}}$ , отделяющая точки пространства $X$ и порождающая соответствующую $\sigma$ — алгебру ${\mathfrak {A}}$ . Говорят, что система множеств ${\mathfrak {C}}$ , отделяет точки пространства $X$ , если для любых $x_{1},x_{2}\in X$ найдутся непересекающиеся множества $A_{1},A_{2}\in {\mathfrak {C}}$ такие, что $x_{1}\in A_{1},x_{2}\in A_{2}$ .

Произведением измеримых пространств $(X_{1},{\mathfrak {A}}_{1})$ и $(X_{2},{\mathfrak {A}}_{2})$ называется измеримое пространство $(X,{\mathfrak {A}})$ , $X=X_{1}\times X_{2}$ , в котором $\sigma$ — алгебра ${\mathfrak {A}}$ , порождена произведением $\sigma$ — алгебр ${\mathfrak {A}}_{1}$ и ${\mathfrak {A}}_{2}$ , то есть ${\mathfrak {A}}$ порождается полукольцом ${\mathfrak {A}}_{1}\times {\mathfrak {A}}_{2}$ всевозможных прямоугольных множеств вида $A_{1}\times A_{2}$ , где $A_{1}\in {\mathfrak {A}}_{1}$ , $A_{2}\in {\mathfrak {A}}_{2}$ .

Пусть $(E,{\mathfrak {B}})$ — некоторое измеримое пространство, а $T$ — конечное множество индексов $t=1,...,n.$ . Измеримое пространство $(X,{\mathfrak {A}})$ , где $X=E^{T}$ является $n$ - кратным произведением пространства само на себя, а $\sigma$ — алгебра ${\mathfrak {A}}={\mathfrak {B}}^{T}$ есть $n$ - кратное произведение соответствующих $\sigma$ — алгебр ${\mathfrak {B}}$ , называется измеримым координатным пространством. Точки $x={x(1),...,x(n)}$ этого пространства $X=E^{T}$ задаются координатами $x(t),t\in T$ . Если $T$ произвольное множество, то координатное пространство $X=E^{T}$ определяется как совокупность всех функций $x=x(t)$ на множестве $T$ со значениями в пространстве $E$ (отдельные значения $x(t)$ можно интерпретировать как координаты точки $x=x(t)$ , принадлежащей пространству $X=E^{T}$ ).

Пусть $t_{1},...,t_{n}$ — произвольные точки множества $T$ , где $n$ - конечное число, и $B_{1},...,B_{n}$ — произвольные подмножества пространства $E$ . Множество вида

{x(t_{1})\in B_{1},...,x(t_{n})\in B_{n}}

,

принадлежащие пространству $X$ , называется цилиндрическим множеством в $X=E^{T}$ . Другими словами, цилиндрическое множество состоит из тех и только тех точек $x=x(t)$ , координаты которых $x(t_{1}),...,x(t_{n})$ входит в соответствующие множества $B_{1},...,B_{n}$ . Система всех цилиндрических множеств, для которых $B_{1},...,B_{n}$ входят в $\sigma$ — алгебру ${\mathfrak {B}}$ пространства $E$ , представляют собой полукольцо ${\mathfrak {B}}^{T}$ . Измеримым координатным пространством $(X,{\mathfrak {A}})$ называется пространство $X=E^{T}$ с $\sigma$ — алгеброй ${\mathfrak {A}}$ , порождённой полукольцом ${\mathfrak {B}}^{T}$ .

Пусть ${\mathfrak {A}}(S)$ , $S\subseteq T$ — $\sigma$ — алгебра, порождённая полукольцом ${\mathfrak {B}}^{S}$ всевозможных цилиндрических множеств с произвольными индексами $t_{1},...,t_{n}\in S$ . Если точка $x'=x'(t)$ пространства $X=E^{T}$ входит во множество $A$ из ${\mathfrak {A}}(S)$ и другая точка $x''=x''(t)$ такова, что соответствующие координаты этих точек совпадают: $x'(t)=x''(t)$ при всех $t\in S$ , то $x''=x''(t)$ также входит в $A$ . Всякое множество A из $\sigma$ — алгебры ${\mathfrak {A}}={\mathfrak {A}}(T)$ принадлежит одновременно некоторой $\sigma$ — алгебры ${\mathfrak {A}}={\mathfrak {A}}(S)$ , где $S$ - некоторое счётное множество (зависящее, вообще говоря, от рассматриваемого множества S).

Пусть $\phi =\phi (x)$ — функция на измеримом пространстве $(X,{\mathfrak {A}})$ со значениями в произвольном пространстве $Y$ . Совокупность ${\mathfrak {B}}_{\phi }$ всех множеств $B\subseteq Y$ таких, что прообразы $\{\phi \in B\}=\phi ^{-1}(B)$ входят в $\sigma$ -алгебру ${\mathfrak {A}}$ пространства $(X,{\mathfrak {A}})$ является $\sigma$ -алгеброй.

Пусть $X$ произвольное пространство и $\phi =\phi (x)$ — функция на $X$ со значениями в измеримом пространстве $(Y,{\mathfrak {B}})$ . Совокупность ${\mathfrak {A}}^{\phi }$ всех множеств $A\subseteq X$ являющихся прообразами $B$ из $\sigma$ — алгебры ${\mathfrak {B}}$ : $A=\{\phi \in B\}$ является $\sigma$ -алгеброй.

Пусть $(X,{\mathfrak {A}})$ , $(Y,{\mathfrak {B}})$ — измеримые пространства. Функция $\phi =\phi (x)$ называется ( ${\mathfrak {A}},{\mathfrak {B}}$ ) измеримой, если для $B\in {\mathfrak {B}}$ прообраз $A=\{\phi \in B\}$ входит в $\sigma$ -алгебру ${\mathfrak {A}}$ . Если ${\mathfrak {C}}$ некоторая система множеств, порождающая $\sigma$ -алгебру ${\mathfrak {B}}$ , то функция $\phi$ является измеримой тогда, и только тогда, когда для любого $B\in {\mathfrak {C}}$ прообраз $\{\phi \in B\}$ входит в ${\mathfrak {A}}$ .

Примечание

↑ ¹ ² Прохоров Ю. В., Розанов Ю. А. Теория вероятностей (Основные понятия. Предельные теоремы. Случайные процессы) — М.: Главная редакция физико-математической литературы изд-ва «Наука», 1973. — 496 стр.