Мера множества


Мера множества

Мера множества — неотрицательная величина, интуитивно интерпретируемая как размер (объем) множества. Собственно, мера - это некоторая числовая функция, ставящая в соответствие каждому множеству (из некоторого семейства множеств) некоторое неотрицательное число. Кроме неотрицательности мера, как функция, должна также обладать свойством аддитивности - мера объединения непересекающихся множеств должна равняться сумме их мер. Необходимо отметить, что не всякое множество измеримо - для каждой функции меры обычно подразумевается некоторое семейство множеств (называемых измеримыми по данной мере), для которых мера существует.

Частным случаем меры является мера Лебега для подмножеств \R^n, обобщающая понятие объёма (или площади или длины, если n=2 или 1 соответственно) на случай множеств, более общих, чем просто ограниченных гладкой поверхностью.

Содержание

Определения

Пусть задано множество X с некоторым выделенным классом подмножеств \mathcal{F}. Обычно предполагается, что данный класс подмножеств является как минимум полукольцом (иногда кольцом или алгеброй).

Функция \mu\colon\mathcal{F}\to[0,\;\infty] называется мерой (иногда объёмом), если она удовлетворяет следующим аксиомам:

  1. \mu(\varnothing)=0 — мера пустого множества равна нулю;
  2. Для любых непересекающихся множеств A,B\in\mathcal{F},~ A\cap B=\varnothing
    \mu(A\cup B)=\mu (A)+\mu (B) — мера объединения непересекающихся множеств равна сумме мер этих множеств (аддитивность, конечная аддитивность).

Первая аксиома является удобной, но в некотором смысле "избыточной". Достаточно предположить что существует хотя бы одно множество с конечной мерой, из чего будет следовать, что мера пустого множества будет равна нулю (в противном случае добавление к любому множеству конечной меры пустого множества изменило бы меру, несмотря на то, что множество не изменилось).

Непосредственно из второй аксиомы следует, что мера объединения любого конечного числа непересекающихся множеств равна сумме мер этих множеств:

\mu\left(\bigcup\limits_{i=1}^n A_i\right)=\sum\limits_{i=1}^n \mu(A_i).

Счётно-аддитивная мера

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

Пусть задано множество X с выделенной \sigma-алгеброй \mathcal{F}.

Функция \mu\colon\mathcal{F}\to[0,\;\infty] называется счётно-аддитивной (или \sigma-аддитивной) мерой, если она удовлетворяет следующим аксиомам:

  1. \mu(\varnothing)=0.
  2. (\sigma-аддитивность) Если \{E_n\}_{n=1}^\infty\subset\mathcal{F}счётное семейство попарно непересекающихся множеств из \mathcal{F}, то есть E_i\cap E_j=\varnothing,\;i\neq j, то
\mu\left(\bigcup\limits_{n=1}^\infty E_n\right)=\sum\limits_{n=1}^\infty\mu(E_n).

Замечания

  • Если обратное не указано явно, то обычно подразумевается счётно-аддитивная мера.
  • Очевидно, любая счётно-аддитивная мера является конечно-аддитивной, но не наоборот.
  • Если мера всего пространства конечна, то есть \mu(X)<\infty, то такая мера сама по себе называется конечной. В противном случае мера бесконечна.

Измеримые и неизмеримые множества

  • Обычно измеримые относительно заданной меры множества составляют собственный подкласс в классе всех подмножеств пространства X. И хотя существует несколько общих схем, позволяющих продолжать меры на большие классы измеримых множеств, иногда продолжение меры возможно лишь ценой утраты уникальных свойств исходной меры. Например, мера Лебега в конечномерных евклидовых пространствах является инвариантной относительно движений этого пространства. Всякое продолжение меры Лебега на класс всех подмножеств евклидова пространства уже не может быть инвариантным даже относительно одних только сдвигов (смотри Пример неизмеримого множества). Так что с практической точки зрения такие продолжения теряют всякую ценность.
  • На прямой и двумерной плоскости существует бесконечное число расширений лебеговой меры с Борелевской \sigma-алгебры, на множество всех ограниченных подмножеств, сохраняющее конечную аддитивность меры и такую, что конгруэнтные множества имеют равную меру. Начиная с размерности 3, это сделать невозможно.

Связанные определения

Свойства

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

  • Мера пустого множества равна нулю
    \mu(\varnothing)=0
    • Это свойство, либо предполагается в определении меры в качестве аксиомы, либо предполагается, что существует хотя бы одно множество, мера которого конечна. Непосредственно из этого и следует, что мера пустого множества должна быть равна нулю (иначе добавление пустого множества к множеству конечной меры увеличит меру этого множества, хотя множество при этом не изменится). Случай бесконечности меры всех множеств не представляет никакого интереса и практического смысла. Поэтому наличие множеств конечной меры подразумевается изначально.
    • Из равенства меры множества нулю в общем случае не следует, что это множество пусто. Принято говорить о множествах меры ноль.
  • Монотонность — мера подмножества не больше меры самого множества
     A \subseteq B \Rightarrow \mu(A)\leqslant\mu(B)

Это интуитивно понятное свойство - чем "меньше" множество, тем меньше его "размер".

  • Мера разности вложенных множеств равна разности мер этих множеств
     A \subseteq B \Rightarrow \mu(B \backslash A)=\mu(B)-\mu(A)
  • Мера суммы (объединения) двух произвольных множеств равна сумме мер этих множеств минус мера их пересечения:
     \mu(A \cup B)=\mu(A)+\mu(B)-\mu (A \cap B)\leqslant \mu(A)+\mu(B)

Свойства счетно-аддитивных мер

Счетно-аддитивные меры, в дополнение к указанным, обладают также следующими свойствами.

  • Непрерывность: мера предела бесконечной последовательности вложенных множеств равна пределу последовательности мер этих множеств:
     A_1 \supseteq A_2 \supseteq A_3... \supseteq A=\bigcap^\infty_{n=1} A_n \Rightarrow\lim_{n \rightarrow \infty} \mu (A_n)=\mu(A)
    • Здесь предполагается что мера первого множества конечна.
  • Также имеет место данное свойство для "обратной" последовательности множеств
     A_1 \subseteq A_2 \subseteq A_3... \subseteq A=\bigcup^\infty_{n=1} A_n \Rightarrow\lim_{n \rightarrow \infty} \mu (A_n)=\mu(A)
  • Счётная монотонность означает, что мера подмножества счетного объединения множеств не больше суммы мер этих множеств:
    A\subseteq \bigcup^\infty_{i=1}A_i \Rightarrow \mu(A) \leqslant \sum^\infty_{i=1} \mu(A_i)

Примеры

Продолжение мер

Определять меру в явном виде на каждом множестве из соответствующей сигма-алгебры (кольца или алгебры) множеств зачастую сложно и не нужно, поскольку меру достаточно определить на каком-нибудь классе измеримых множеств, а затем с помощью стандартных процедур (и при известных условиях) продолжить на кольцо, алгебру или сигма-алгебру множеств, порождённые этим классом.

Продолжение с полукольца

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

Пусть начальный класс измеримых множеств \mathcal{F}_0 имеет структуру полукольца: содержит пустое множество и для любых множеств A и B из \mathcal{F}_0 их разность допускает конечное разбиение на измеримые множества из \mathcal{F}_0, то есть найдётся конечный набор непересекающихся множеств C_1, C_2, ..., C_n из \mathcal{F}_0, таких что

A\setminus B = C_1 \cup C_2 \cup \dots \cup C_n.

Пусть \mathcal{F} означает класс всех подмножеств рассматриваемого пространства, допускающих конечное разбиение на множества из \mathcal{F}_0. Класс \mathcal{F} замкнут относительно операций разности, пересечения и объединения множеств, и таким образом, является кольцом множеств, содержащим \mathcal{F}_0 (причём, очевидно, минимальным). Всякая аддитивная функция \mu на \mathcal{F}_0 однозначно продолжается до аддитивной функции на \mathcal{F}, если и только если её значения согласованы на \mathcal{F}_0. Это требование означает, что для любых наборов непересекающихся множеств A_1, A_2, ... , A_n и B_1, B_2, ..., B_m из \mathcal{F}_0, если совпадает их объединение, то должна совпадать и сумма их мер:

Если \bigcup\limits_{i=1}^{n}A_i = \bigcup\limits_{j=1}^{m}B_j, то \sum\limits_{i=1}^{n}\mu(A_i) = \sum\limits_{j=1}^{m}\mu(B_j).

Пример

Пусть \mathcal{F}_1 и \mathcal{F}_2 — классы измеримых множеств на пространствах X_1 и X_2, имеющие структуру полукольца. Множества вида A\times B, где A\in \mathcal{F}_1, B\in \mathcal{F}_2 образуют полукольцо \mathcal{F} множеств на пространстве X = X_1\times X_2.

Если на \mathcal{F}_1 и \mathcal{F}_2 заданы меры \mu_1 и \mu_2, то на \mathcal{F} определена аддитивная функция \mu(A\times B) = \mu_1(A)\mu_2(B), удовлетворяющая требованию согласованности. Её продолжение на минимальное кольцо, содержащее \mathcal{F}, называется прямым произведением мер \mu_1 и \mu_2 и обозначается \mu = \mu_1 \otimes \mu_2. Если исходные меры были сигма-аддитивны на своих областях определения, то и мера \mu будет сигма-аддитивной. Эта мера используется в теории кратных интегралов (смотри Теорема Фубини).

Вариации и обобщения

  • Сигма-конечная мера
  • Заряд (теория меры)
  • Термин "мера" может означать любую конечно-аддитивную с областью значений абелева полугруппа. Для счётно-аддитивной меры естественная область значений — топологическая абелева полугруппа (топология нужна для того, чтобы можно было говорить о сходимости ряда из мер счётного числа измеримых частей, на которые в определении счётной аддитивности разбивается измеримое множество).
    • Примером нечисловой меры является мера со значениями в линейном пространстве, в частности, проекторонозначная мера, участвующая в геометрической формулировке спектральной теоремы.

Литература

  • Вулих, Б. З. Краткий курс теории функций вещественной переменной (введение в теорию интеграла). — М.: Наука, 1973. — 352 с.
  • П. Халмош. Теория меры. М.: Издательство иностранной литературы, 1953. — 282 с. http://icm.krasn.ru/refextra.php?id=3787 (книга в 2011 году является библиографической редкостью)
  • А.Н. Колмогоров, С.В. Фомин. Элементы теории функций и функционального анализа Наука, 1976.
  • Богачев В.И., Основы теории меры, 2-е изд., в двух томах, НИЦ Регулярная и хаотическая динамика, Москва–Ижевск, 2006.
  • В.И. Богачев, О.Г. Смолянов. Действительный и функциональный анализ. Издательства: НИЦ "Регулярная и хаотическая динамика", Институт компьютерных исследований, 2009 г. 724 стр. ISBN 978-5-93972-742-6.
  • Богачев В.И., Гауссовские меры, Наука, Москва, 1997.
  • Богачев В.И., Дифференцируемые меры и исчисление Маллявэна, НИЦ Регулярная и хаотическая динамика, Москва, 2008.

Wikimedia Foundation. 2010.

Смотреть что такое "Мера множества" в других словарях:

  • Мера множества —         математическое понятие, обобщающее понятия длины отрезка, площади плоской фигуры и объёма тела на множества более общей природы. В качестве примера можно привести определение меры Лебега (введённой А. Лебегом в 1902) для ограниченных… …   Большая советская энциклопедия

  • МЕРА — множества, обобщение понятия длины отрезка, площади фигуры, объема тела, интуитивно соответствующее массе множества при нек ром распределении массы по пространству. Понятие М. множества возникло в теории функций действительного переменного в… …   Математическая энциклопедия

  • Мера Жордана — Мера Жордана  один из способов формализации понятия длины, площади и мерного объёма в мерном евклидовом пространстве. Содержание 1 Построение 2 Свойства …   Википедия

  • Мера — в Викисловаре? …   Википедия

  • Мера вероятности — Мера качественная и/или количественная пропорция соотношения истин. Во многом пропорция устанавливается произвольно. Термины Мера (в метрологии) синоним единицы измерения. Мера внесистемная русская единица объёма. Мера (философия) философский… …   Википедия

  • Мера (значения) — Мера: Мера Мера множества в математике. Мера физической величины в метрологии, измерительной технике. Мера (река) река в Костромской и Ивановской области России …   Википедия

  • Мера Синая — Рюэлля — Боуэна — Мера Синая Рюэлля Боуэна, или SRB мера  мера на фазовом пространстве динамической системы, к которой стремится распределение траекторий типичных начальных (в смысле меры Лебега) точек (возможно, из какой либо области). При этом множество… …   Википедия

  • МЕРА —         филос. категория, выражающая диалектич. единство качеств, и количеств. характеристик объекта. Качество любого объекта органически связано с оп редел. количеством. В рамках данной М. количеств. характеристики могут меняться за счёт… …   Философская энциклопедия

  • Мера Синая — Рюэлля Боуэна, или SRB мера  мера на фазовом пространстве динамической системы, к которой стремится распределение траекторий типичных начальных (в смысле меры Лебега) точек (возможно, из какой либо области). При этом множество точек, для… …   Википедия

  • мера —         МЕРА одна из важнейших категорий философии, выражающая такой количественный интервал изменений, происходящих в какой либо системе, в рамках которого данная система сохраняет свою качественную специфику, остается той же самой. Понятие М.… …   Энциклопедия эпистемологии и философии науки

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.