Введем обозначение. Пусть $S=\{A_{\alpha}\mid\alpha\in{I}\}$ класс множеств такой, что
$$\forall\alpha_1,\alpha_2\in{I}(\alpha_1\neq\alpha_2\Rightarrow{A}_{\alpha_1}\cap{A}_{\alpha_2}\neq\varnothing).$$
тогда говорят, что класс $S$ дизъюнктивный.
Объединение множеств, входящих в дизъюнктивный класс, обозначают как $\bigsqcup_{\alpha\in{I}}A_{\alpha}$. Равенство $A=\bigsqcup_{\alpha\in{A}}A_{\alpha}$
задает разложение множества $A$ в дизъюнктивное объединение (объединение не пересекающихся множеств).
Определение 14.1.1: Пусть $K$ - не пустой класс множеств, тогда будем говорить, что $K$ - кольцо множеств, если
Таким образом кольцо множеств - это класс множеств замкнутый относительно объединения и разности.
Определение 14.1.2: Пусть $M:=\{A_{\alpha}\mid\alpha\in{I}\}$ непустой класс множеств. Тогда множество
$E:=\bigcup_{\alpha\in{I}}A_{\alpha}=\bigcup_{A\in{M}}A$ называется единицей класса $M$.
Вообще говоря класс множеств может не содержать свою единицу. Даже замкнутость относительно объединения не гарантирует этого если класс бесконечен.
Определение 14.1.3: Класс множеств $M$ называют алгеброй множеств, если
Таким образом алгебра множеств - это кольцо множеств с единицей.
Пример 14.1.1:
Утверждение 14.1.1: Свойства кольца множеств.
Если $K$ кольцо множеств, то
Доказательство:
Таким образом кольцо множеств замкнуто относительно операций $\cup$, $\cap$, $\backslash$. При определении кольца множеств за основу взята замкнутость
относительно операций $\cup$, $\backslash$, потому что из замкнутости относительно операций $\cup$, $\cap$ не следует замкнутость относительно
операции $\backslash$ и из замкнутости относительно операций $\cap$, $\backslash$ не следует замкнутость относительно операции $\cup$.
Пример 14.1.2:
Среди простейших свойств кольца множеств не случайно отсутствуют такие свойства как замкнутость относительно счетных объединений и пересечений. Далее
будут даны усиления понятия кольца.
Утверждение 14.1.2: Минимальное кольцо.
Доказательство:
Утверждение 14.1.2 вводит в рассмотрение минимальное по включению кольцо множеств содержащее заданный класс множеств $M$. Это кольцо обозначают $R(M)$.
Определение 14.1.4: Полукольцо.
Не пустой класс множеств $H$ называют полукольцом множеств, если для любых $A,B\in{H}$
Таким образом класс множеств является полукольцом, если он замкнут относительно пересечения и разность любых двух множеств класса допускает конечное
дизъюнктивное разложение в элементы этого класса.
Так как кольцо множеств замкнуто относительно разности и по утверждению 14.1.1 относительно пересечения, то любое кольцо
является полукольцом. Обратное не верно.
Пример 14.1.3:
Задача 14.1.1: Доказать, что разность двух 2-мерных полуинтервалов представима в виде дизъюнктивного объединения четырех 2-мерных полуинтервалов.
Решение:
Пусть $(a_1,b_1),(a_2,b_2),(a'_1,b'_1),(a'_2,b'_2)\in\mathbb{R}^2$ такие, что $a_1\leq{b}_1$, $a_2\leq{b}_2$, $a'_1\leq{b}'_1$ $a'_2\leq{b}'_2$. Тогда
множества $I:=[a_1,b_1)\times[a_2,b_2)$, $I':=[a'_1,b'_1)\times[a'_2,b'_2)$ являются двумерными полуинтервалами. Рассмотрим только случай, когда
$I'\subset{I}$, так как случаи когда $I'\backslash{I}\neq\varnothing$ более просты.
Так как $I'\subset{I}$, то $a_1\leq{a}'_1\leq{b}'_1\leq{b}_2$ и $a_2\leq{a}'_2\leq{b}'_2\leq{b}_2$, тогда следующие множества
$I_1:=[a_1,a'_1)\times[a_2,b_2)$, $I_2:=[a'_1,b'_1)\times[a_2,a'_2)$, $I_3:=[a'_1,b'_1)\times[b'_2,b_2)$, $I_4:=[b'_1,b_1)\times[a_2,b_2)$ являются
двумерными полуинтервалами такими, что $I\backslash{I}'=\bigsqcup_{k=1}^4I_k$. Действительно, $I_1\cap{I}_2=I_1\cap{I}_3=I_1\cap{I}_4=\varnothing$ так как
$a_1\leq{a}'_1\leq{b}'_1$; $I_4\cap{I}_2=I_4\cap{I}_3=\varnothing$ так как $a'_1\leq{b}'_1\leq{b}_1$; $I_2\cap{I}_3=\varnothing$ так как $a'_2\leq{b}'_2$.
Обозначим $M:=\bigsqcup_{k=1}^4I_k$, тогда
$$\forall(x,y)\in{I}\backslash{I}'(a_1\leq{x}<{b}_1\wedge{a}_2\leq{y}<{b}_2\wedge(x<{a}'_1\vee{x}\geq{b}'_1\vee{y}<{a}'_2\vee{y}\geq{b}'_2))\Rightarrow$$
$$\Rightarrow\forall(x,y)\in{I}\backslash{I}'((a_1\leq{x}<{b}_1\wedge{x}<{a}'_1\wedge{a}_2\leq{y}<{b}_2)\vee
(a_1\leq{x}<{b}_1\wedge{x}\geq{b}'_1\wedge{a}_2\leq{y}<{b}_2)\vee(a'_1\leq{x}<{b}'_1\wedge{a}_2\leq{y}<{b}_2\wedge(y<{a}'_2\wedge{y}\geq{b}'_2)))\Rightarrow$$
$$\Rightarrow\forall(x,y)\in{I}\backslash{I}'((a_1\leq{x}<{a}'_1\wedge{a}_2\leq{y}<{b}_2)\vee(b'_1\leq{x}<{b}_1\wedge{a}_2\leq{y}<{b}_2)\vee
(a'_1\leq{x}<{b}'_1\wedge{a}_2\leq{y}<{a}'_2)\vee(a'_1\leq{x}<{b}'_1\wedge{b}'_2\leq{y}<{b}_2))\Rightarrow$$
$$\Rightarrow\forall(x,y)\in{I}\backslash{I}'((x,y)\in{I}_1\sqcup{I}_4\sqcup{I}_2\sqcup{I}_3)\Rightarrow{I}\backslash{I}'\subset{M}.$$
С другой стороны
$$\forall(x,y)\in{M}(a_1\leq{x}<{b}_1\wedge{a}_2\leq{y}<{b}_2)\Rightarrow\forall(x,y)\in{M}((x,y)\in{I})$$
и
$$\forall(x,y)\in{M}(x<{a}'_1\vee{x}<{a}'_2\vee{y}\geq{b}'_2\vee{y}\geq{b}'_1)\Rightarrow\forall(x,y)\in{M}((x,y)\notin{I}')\Rightarrow
\forall(x,y)\in{M}((x,y)\in{I}\backslash{I}')\Rightarrow{M}\subset{I}\backslash{I}'\Rightarrow{M}=I\backslash{I}'.$$
Утверждение 14.1.3: Следствие из определения полукольца.
Пусть $H$ полукольцо множеств, тогда
Доказательство:
Пример 14.1.4: Пусть $I$ некоторый числовой промежуток, тогда множество полуинтервалов
$H=\{[\alpha,\beta)\mid\alpha<\beta;\alpha,\beta\in{I}\}$ является полукольцом, а множество
$R(H)=\left\{\bigsqcup_{i=1}^n[\alpha_i,\beta_i)\mid{n}\in\mathbb{N},[\alpha_i,\beta_i)\in{H}\right\}$ минимальное по включению кольцо над $H$.
В данном пункте будут предложены модели усиления структуры кольца.
Определение 14.1.5: Класс множеств $K$ называется борелевским кольцом или $\sigma$-кольцом множеств, если
Определение 14.1.6: Если $\sigma$-кольцо множеств содержит свою единицу, то оно называется
$\sigma$-алгеброй множеств.
Утверждение 14.1.4: Свойства $\sigma$-колец.
Доказательство:
Определение 14.1.7: Класс множеств $K$ называют $\delta$-кольцом множеств, если
Пример 14.1.5: Из утверждения 14.1.4 следует, что любое $\sigma$-кольцо так же является и
$\delta$-кольцом. Обратное не верно. Например, множество всех конечных подмножеств бесконечного множества являются $\delta$-кольцом, но не являются
$\sigma$-кольцом. Так как, например, для любого счетного множества $M$ счетное объединение $\bigcup_{a\in{M}}\{a\}$ будет бесконечным.
Задача 14.1.2: Доказать, что если класс множеств является $\delta$-алгеброй, то он так же является и $\sigma$-алгеброй.
Решение:
Пусть класс множеств $K$ является $\delta$-алгеброй, следовательно, $E:=\bigcup_{A\in{K}}A\in{K}$. Фиксируем последовательность множеств $\{A_n\}$ из $K$,
тогда так как для любого $n\in\mathbb{N}$ $A_n\subset{E}$, то
$$\left(x\in\bigcup_{n=1}^{\infty}A_n\Leftrightarrow\exists{k}\in\mathbb{N}\colon{x}\in{A}_k\Leftrightarrow
\exists{k}\in\mathbb{N}\colon{x}\notin{E}\backslash{A}_k\Leftrightarrow{x}\notin\bigcap_{n=1}^{\infty}(E\backslash{A}_n)\Leftrightarrow
{x}\in{E}\backslash\bigcap_{n=1}^{\infty}(E\backslash{A}_n)\right)\Rightarrow\bigcup_{n=1}^{\infty}A_n=E\backslash\bigcap_{n=1}^{\infty}(E\backslash{A}_n).$$
Последнее множество в свою очередь принадлежит $K$ так как $E\in{K}$ и $K$ замкнуто относительно разности и счетных пересечений.
Определение 14.1.8: Пусть $n\in\mathbb{N}$. Обозначим класс всех
замкнутых в $\mathbb{R}^n$ множеств как $\mathcal{F}$; класс всех
открытых в $\mathbb{R}^n$
множеств как $\mathcal{G}$. Тогда семейством борелевских множеств в $\mathbb{R}^n$ называется минимальное $\sigma$-кольцо над $\mathcal{F}$.
Семейство борелевских множеств обозначают как $\mathcal{B}$ или $R_{\sigma}(\mathcal{F})$.
Для любого класса множеств $M$ будем называть борелевским замыканием класса $M$ минимальное $\sigma$-кольцо над $M$ обозначаемое $R_{\sigma}(M)$.
Утверждение 14.1.5: $R_{\sigma}(\mathcal{F})=R_{\sigma}(\mathcal{G})$.
Доказательство: Фиксируем множество $F$ замкнутое в $\mathbb{R}^n$, то есть $F\in\mathcal{F}$. Тогда множество $G:=\mathbb{R}^n\backslash{F}$
открыто в $\mathbb{R}^n$, следовательно, $G\in\mathcal{G}\subset{R}_{\sigma}(\mathcal{G})$. Так как
$\mathbb{R}^n\in\mathcal{G}\subset{R}_{\sigma}(\mathcal{G})$ и класс $R_{\sigma}(\mathcal{G})$ замкнут относительно разности, то
$F=\mathbb{R}^n\backslash{G}\in{R}_{\sigma}(\mathcal{G})$, таким образом в силу произвольности выбора множества $F\in\mathcal{F}$ имеем
$\mathcal{F}\subset{R}_{\sigma}(\mathcal{G})$. Так как $R_{\sigma}(\mathcal{F})$ минимальное $\sigma$-кольцо содержащее класс $\mathcal{F}$, следовательно,
$R_{\sigma}(\mathcal{F})\subset{R}_{\sigma}(\mathcal{G})$.
Аналогично, фиксируя множество $G\in\mathcal{G}$, доказывается, что $R_{\sigma}(\mathcal{G})\subset{R}_{\sigma}(\mathcal{F})$. Здесь используется тот факт,
что множество $\mathbb{R}^n$ является и замкнутым и открытым одновременно.
Задача 14.1.3: Пусть $M_1:=\{[a,b]\mid{a},b\in\mathbb{Q}\}$, $M_2:=\{(a,b)\mid{a},b\in\mathbb{Q}\}$, $M_3:=\{[a,b)\mid{a},b\in\mathbb{Q}\}$, $M_4:=\{[a,+\infty)\mid{a}\in\mathbb{Q}\}$. Доказать, что $R_{\sigma}(M_1)=R_{\sigma}(M_2)=R_{\sigma}(M_3)=R_{\sigma}(M_4)=R_{\sigma}(\mathcal{F})$.
Решение:
Любое открытое множество в $\mathbb{R}$ - это счетное объединение интервалов. Действительно, пусть $G$ открыто в $\mathbb{R}$, тогда для любого $x\in{G}$
существует интервал $(a,b)\subset{G}$ такой, что $x\in(a,b)$. Поскольку $a<{x}<{b}$, то по
принципу Архимеда существуют $a',b'\in\mathbb{Q}$ такие, что $(a',b')\subset{G}$ и $x\in(a',b')$.
Таким образом для любого $x\in{G}$ существует интервал с рациональными концами содержащий точку $x$ и содержащийся в $G$, следовательно, объединение
этих интервалов будет равно $G$. Поскольку множество $\mathbb{Q}$ счетно, то это объединение будет не более чем счетно. Таким образом
$\mathcal{G}\subset{R}_{\sigma}(M_2)$, следовательно, $R_{\sigma}(\mathcal{G})\subset{R}_{\sigma}(M_2)$. С другой стороны $M_2\subset{\mathcal{G}}$,
следовательно, $R_{\sigma}(M_2)\subset{R}_{\sigma}(\mathcal{G})$, то есть $R_{\sigma}(M_2)=R_{\sigma}(\mathcal{G})=R_{\sigma}(\mathcal{F})$.
Так как любой интервал представим в виде последовательности вложенных в него отрезков, то
$$(M_2\subset{R}_{\sigma}(M_1)\wedge{M}_1\subset\mathcal{F})\Rightarrow(R_{\sigma}(\mathcal{F})=R_{\sigma}(M_2)\subset{R}_{\sigma}(M_1)\wedge
R_{\sigma}(M_1)\subset{R}_{\sigma}(\mathcal{F}))\Rightarrow{R}_{\sigma}(M_1)=R_{\sigma}(\mathcal{F}).$$
Так как любой интервал представим в виде последовательности вложенных в него полуинтервалов, а любой полуинтервал представим в виде последовательности
вложенных в него отрезков, то
$$R_{\sigma}(\mathcal{F})=R_{\sigma}(M_2)\subset{R}_{\sigma}(M_3)\subset{R}_{\sigma}(M_1)=R_{\sigma}(\mathcal{F})\Rightarrow
R_{\sigma}(M_3)=R_{\sigma}(\mathcal{F}).$$
Доказательство для класса $M_4$ аналогично доказательству для класса $M_3$.
previous contents next