Теория функций действительного переменного/Системы множеств

Теория функций действительного переменного

  1. Эквивалентные множества
  2. Счётные множества
  3. Метрическое пространство
  4. Множества в метрическом пространстве
  5. Сходимость метрического пространства
  6. Непрерывные отображения метрического пространства
  7. Полные метрические пространства
  8. Принцип сжимающихся отображений
  9. Применение принципа сжимающихся отображений
  10. Линейные пространства
  11. Линейные функционалы
  12. Выпуклые множества и функционалы
  13. Нормированные и евклидовы пространства
  14. Непрерывные линейные функционалы
  15. Сопряжённое пространство
  16. Слабая сходимость
  17. Обобщённые функции
  18. Линейные операторы
  19. Компактные операторы
  20. Системы множеств
  21. Мера множеств, измеримые функции
  22. Интеграл Лебега
  23. Теория дифференцирования
  24. Пространства суммируемых функций
  25. Тригонометрические ряды
  26. Ортогональные системы функций
  27. Преобразование Фурье

Система множеств — это множество, элементы которого сами являются множествами.

Кольцо множествПравить

Кольцо множеств — это непустая система множеств  , замкнутая относительно операций пересечения и симметрической разности, то есть из   и   следует

  и  .

Операции объединения и разности множеств можно выразить через операции пересечения и симметричной разности:

 ,
 .

Из этих равенств следует, что если два множества принадлежат кольцу множеств, то данному кольцу также принадлежат их объединение и разность, то есть из

 ,
 

следует, что

 ,
 .

По индукции можно доказать, что кольцу множеств будет принадлежать объединение или пересечение любого конечного числа множеств данного кольца, то есть выражения вида

 ,
 .

Любое кольцо содержит пустое множество, так как пустое множество можно представить в виде разности

 .

Отсюда следует, что наименьшее возможное кольцо множеств — это система множеств, содержащая только пустое множество.

Множество   называется единицей системы множеств  , если   и для любого множества   имеет место равенство

 .

Другими словами, единица системы множеств — это такое множество, что все другие множества данной системы являются его подмножествами.

Алгебра множеств — это кольцо множеств с единицей.

Пусть   — произвольное множество, тогда система всех его подмножеств   является алгеброй множеств (кольцом множеств с единицей).

Теорема 1. Пересечение

 

любого множества колец множеств есть кольцо множеств.

Доказательство.

Докажем теорему для случая пересечения двух колец множеств.

Пусть   и   — кольца множеств, рассмотрим их пересечение

 .

Пусть   и   два множества, принадлежащих системе  , тогда, по определению пересечения множеств, имеют места следующие включения

 ,
 ,
 ,
 .

Из первого и третьего включения следует, по определению кольца множеств, что

 ,
 .

Аналогичным образом из второго и четвертого включения можно вывести, что

 .
 .

Так как множества   и   принадлежат и множеству  , и  , то они принадлежит, по определению, пересечению этих множеств:

 .
 .

Отсюда следует, что пересечение   двух колец множеств является, по определению, кольцом множеств.

Для пересечения произвольного числа колец множеств теорема доказывается по индукции индукции.

Теорема 2. Для любой непустой системы множеств   существует единственное кольцо множеств, содержащее как подмножество данную систему   и являющееся подмножеством любого кольца множеств, содержащем   как подмножество.

Доказательство.

Рассмотрим объединение всех множеств, входящих в систему   :

 

и кольцо всех подмножеств множества   —  .

Пусть   — это совокупность всех колец множеств, содержащихся в   и содержащих  . Тогда пересечение

  =  

всех этих колец и будет искомым кольцом  .

Действительно, каково бы ни было кольцо

 ,

пересечение

 

будет кольцом из  , а следовательно

 .

Таким образом, система   действительно является наименьшим кольцом, содержащим  . Теорема доказана.

Кольцо, содержащее систему множеств   и содержащееся в любом другом кольце, содержащем  , называют кольцом, порождённым системой  , или минимальным кольцом над  . Минимальное кольцо над   обозначается  .

Полукольцо множествПравить

Пусть задано множество  . Набор попарно непересекающихся множеств   такой, что

 ,

называется конечным разложением множества A.

Система множеств   называется полукольцом, если она содержит пустое множество  , замкнута относительно операции пересечения множеств и обладает тем свойством, что из принадлежности множеств   и   системе   вытекает возможность представления множества   в виде

 ,

где   — попарно непересекающиеся множества из  .

Всякое кольцо   является полукольцом, так как любого множества   и любого его подмножества   справедливо представление

 .

Лемма 1. Пусть множества   и   принадлежат полукольцу  , причём множества   попарно не пересекаются и все являются подмножествами множества  . Тогда набор множеств   можно дополнить множествами   до конечного разложения множества  

 .

Доказательство. Воспользуемся методом математической индукции. При   утверждение теоремы следует из определения полукольца. Базис индукции доказан.

Теперь предположим, что утверждение леммы выполняется для всех натуральных чисел от 1 до   (включительно) и рассмотрим систему из   множества  , удовлетворяющую условиям леммы. По предположению:

 ,

где

 .

Так как   и  , то

 .

Положим

 .

Так как любая точка множества   принадлежит одному из множеств  , то

 .

Очевидно, что

 ,

следовательно, по определению полукольца множеств, имеется конечное разложение

 ,

причём для любых   и  

 .

Положим

 .

Так как множество  , по определению, содержит все точки, входящие одновременно и в   и  , то множество   не содержит точек множества  :

 .

А так как  , то все множества набора

 

являются попарно непересекающимися, то и все множества

 

являются попарно непересекающимися.

Проведём некоторые преобразования:

 .

Следовательно:

 .

Лемма доказана для   и для произвольного   в предположении, что она справедлива для  , следовательно лемма доказана для любого  .

Лемма 2. Какова бы ни была конечная система множеств  , принадлежащих полукольцу  , в   найдётся такая конечная система попарно непересекающихся множеств  , что каждое множество   может быть представлено в виде конечного разложения:

 ,

где   — это некоторое подмножество множества индексов  .

Теорема 2 устанавливает тот факт, что для каждой системы множеств   существует единственное минимальное кольцо, содержащее  . Следующая теорема позволяет построить кольцо, порождённое полукольцом.

Теорема 3. Если   — полукольцо, то   совпадает с системой   множеств  , допускающих представление в виде объединения конечного числа множеств из  :

 ,

где  .

Кольцо, порождённое полукольцомПравить

По теореме 2, для каждой системы множеств существует порождённое ей кольцо. Если данная система множеств является полукольцом, то можно доказать усиленную теорему, которая даёт конструктивный способ построения такого кольца.

Теорема 3. Если   — полукольцо, то порождённое им кольцо   совпадает с системой   множеств  , допускающих конечные разложения

 

на множества  .

Доказательство.

Докажем сначала, что система множеств   является кольцом. Если

 ,

то имеют место разложения

 ,
 .

Так как   — полукольцо, то

 .

По Лемме 1, имеют место разложения на непересекающиеся множества

 ,
 .

Из этих равенств следует, что

 ,
 .

Таким образом:

 ,
 ,

то есть   действительно является кольцом.

Минимальность следует из того, что   должно содержать все элементы полукольца  , и следовательно, по свойствам кольца, и объединения конечного числа множеств из  .

σ-алгебрыПравить

Иногда приходится рассматривать пересечение или объединение не только конечного, но и счётного числа множеств.

Кольцо   множеств называется σ-кольцом, если из принадлежности   всех элементов последовательности множеств   следует принадлежность кольцу   объединения   всех множеств этой последовательности.

Кольцо   множеств называется δ-кольцом, если из принадлежности   всех элементов последовательности множеств   следует принадлежность кольцу   пересечения   всех множеств этой последовательности.

σ-кольцо с единицей называют σ-алгеброй. Естественным было бы назвать δ-кольцом с единицей δ-алгеброй, но оказывается, что это понятия тождественно понятию σ-алгеброй. Это вытекает из соотношений двойственности (законов де Моргана):

 ,
 .

Простейший пример σ-алгебры — это совокупность всех подмножеств некоторого множества  .

Пусть   — некоторая система множеств, тогда существует по меньшей мере одна σ-алгебра, содержащая эту систему. Действительно, положим

 

и рассмотрим систему всех подмножеств множества   —  , эта система является σ-алгеброй, содержащей  . Рассмотрим теперь некоторую σ-алгебру  , содержащую систему  , обозначим единицу этой алгебры как  . Будет иметь место соотношение

 .

Таким образом σ-алгебра подмножеств множества

 

является минимальной.

Неприводимая σ-алгебра — это σ-алгебра, не содержащая точек, не входящих ни в одно из  .

Теорема 4. Для любой непустой системы множеств   существует неприводимая (по отношению к данной системе) σ-алгебра  , содержащая   и содержащаяся в любой σ-алгебре, содержащей  .

Доказательсвто. Из теоремы 2 следует существование минимального кольца  , порождённого системой  . Единицей этой σ-алгебры будет объединение всех множеств из системы  .

В математическом анализе важную роль играют так называемые борелевские множества (кратко: B-множества) — множества числовой прямой, принадлежащие минимальной σ-алгебре над совокупностью всех сегментов  .

Системы множеств и отображенияПравить

Пусть   — это отображение, определённое на множестве  , и принимающее значения из множества  , рассмотрим некоторую систему   подмножеств множества  . Обозначим систему всех образов   множеств   как  . Пусть   — некоторая система подмножеств множества  , а   — это система всех прообразов   множеств  .

Справедливы следующие утверждения:

Утверждение 1. Если   — кольцо, то   — кольцо.

Утверждение 2. Если   — алгебра, то   — алгебра.

Утверждение 3. Если   — σ-алгебра, то   — σ-алгебра.