Показать меню

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

04.08.2021
27

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

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

Определения

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

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

  • μ ( ∅ ) = 0 {displaystyle mu (varnothing )=0} — мера пустого множества равна нулю;
  • Для любых непересекающихся множеств A , B ∈ F , {displaystyle A,Bin {mathcal {F}},} A ∩ B = ∅ {displaystyle Acap B=varnothing } μ ( A ∪ B ) = μ ( A ) + μ ( B ) {displaystyle mu (Acup B)=mu (A)+mu (B)} — мера объединения непересекающихся множеств равна сумме мер этих множеств (аддитивность, конечная аддитивность).
  • Первая аксиома является удобной, но в некотором смысле избыточной: достаточно предположить что существует хотя бы одно множество с конечной мерой, из чего будет следовать, что мера пустого множества будет равна нулю (в противном случае добавление к любому множеству конечной меры пустого множества изменило бы меру, несмотря на то, что множество не изменилось).

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

    μ ( ⋃ i = 1 n A i ) = ∑ i = 1 n μ ( A i ) {displaystyle mu left(igcup limits _{i=1}^{n}A_{i} ight)=sum limits _{i=1}^{n}mu (A_{i})} .

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

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

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

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

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

  • μ ( ∅ ) = 0. {displaystyle mu (varnothing )=0.}
  • ( σ {displaystyle sigma } -аддитивность) Если { E n } n = 1 ∞ ⊂ F {displaystyle {E_{n}}_{n=1}^{infty }subset {mathcal {F}}} — счётное семейство попарно непересекающихся множеств из F {displaystyle {mathcal {F}}} , то есть E i ∩ E j = ∅ , i ≠ j {displaystyle E_{i}cap E_{j}=varnothing ,;i eq j} , то:
  • μ ( ⋃ n = 1 ∞ E n ) = ∑ n = 1 ∞ μ ( E n ) {displaystyle mu left(igcup limits _{n=1}^{infty }E_{n} ight)=sum limits _{n=1}^{infty }mu (E_{n})} .

    Замечания

    • Если обратное не указано явно, то обычно подразумевается счётно-аддитивная мера.
    • Очевидно, любая счётно-аддитивная мера является конечно-аддитивной, но не наоборот.
    • Если мера всего пространства конечна, то есть μ ( X ) < ∞ {displaystyle mu (X)<infty } , то такая мера сама по себе называется конечной. В противном случае мера бесконечна.
    • Обычно измеримые относительно заданной меры множества составляют собственный подкласс в классе всех подмножеств пространства X {displaystyle X} . И, хотя существует несколько общих схем, позволяющих продолжать меры на большие классы измеримых множеств, иногда продолжение меры возможно лишь ценой утраты уникальных свойств исходной меры. Например, мера Лебега в конечномерных евклидовых пространствах является инвариантной относительно движений этого пространства. Всякое продолжение меры Лебега на класс всех подмножеств евклидова пространства уже не может быть инвариантным даже относительно одних только сдвигов (смотри пример неизмеримого множества). Так что с практической точки зрения такие продолжения теряют всякую ценность.
    • На прямой и двумерной плоскости существует бесконечное число расширений лебеговой меры с Борелевской σ {displaystyle sigma } -алгебры на множество всех ограниченных подмножеств, сохраняющее конечную аддитивность меры и такую, что конгруэнтные множества имеют равную меру. Начиная с размерности 3 этого сделать невозможно.

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

    • Тройка ( X , F , μ ) {displaystyle (X,;{mathcal {F}},;mu )} называется пространством с мерой, если ( X , F ) {displaystyle (X,;{mathcal {F}})} есть измеримое пространство, а μ : F → R {displaystyle mu colon {mathcal {F}} o mathbb {R} } — определённая на нём мера.
    • Если μ {displaystyle mu } является вероятностной мерой, то такое пространство с мерой называется вероятностным пространством.
    • Носитель меры ― наименьшее замкнутое множество, на котором сосредоточена мера. Носитель меры μ {displaystyle mu } обычно обозначается supp ⁡ ( μ ) {displaystyle operatorname {supp} (mu )} . Точнее говоря, supp ⁡ ( μ ) {displaystyle operatorname {supp} (mu )} это дополнение к наибольшему открытому множеству Ω {displaystyle Omega } такого, что μ ( Ω ) = 0 {displaystyle mu (Omega )=0} .

    Свойства

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

    • Мера пустого множества равна нулю μ ( ∅ ) = 0 {displaystyle mu (varnothing )=0}
      • Это свойство либо предполагается в определении меры в качестве аксиомы, либо предполагается, что существует хотя бы одно множество, мера которого конечна. Непосредственно из этого и следует, что мера пустого множества должна быть равна нулю (иначе добавление пустого множества к множеству конечной меры увеличит меру этого множества, хотя множество при этом не изменится). Случай бесконечности меры всех множеств не представляет никакого интереса и практического смысла. Поэтому наличие множеств конечной меры подразумевается изначально.
      • Из равенства меры множества нулю в общем случае не следует, что это множество пусто. Принято говорить о множествах меры ноль.
    • Монотонность — мера подмножества не больше меры самого множества A ⊆ B ⇒ μ ( A ) ⩽ μ ( B ) {displaystyle Asubseteq BRightarrow mu (A)leqslant mu (B)}
    Это интуитивно понятное свойство — чем «меньше» множество, тем меньше его «размер».
    • Мера разности вложенных множеств равна разности мер этих множеств A ⊆ B ⇒ μ ( B ∖ A ) = μ ( B ) − μ ( A ) {displaystyle Asubseteq BRightarrow mu (Backslash A)=mu (B)-mu (A)}
    • Мера объединения двух произвольных множеств равна сумме мер этих множеств минус мера их пересечения (если последняя определена): μ ( A ∪ B ) = μ ( A ) + μ ( B ) − μ ( A ∩ B ) {displaystyle mu (Acup B)=mu (A)+mu (B)-mu (Acap B)} (формула включений-исключений)
    Следовательно, μ ( A ∪ B ) ⩽ μ ( A ) + μ ( B ) {displaystyle mu (Acup B)leqslant mu (A)+mu (B)}

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

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

    • Непрерывность: мера предела бесконечной последовательности вложенных множеств равна пределу последовательности мер этих множеств: A 1 ⊇ A 2 ⊇ A 3 . . . ⊇ A = ⋂ n = 1 ∞ A n ⇒ lim n → ∞ μ ( A n ) = μ ( A ) {displaystyle A_{1}supseteq A_{2}supseteq A_{3}...supseteq A=igcap _{n=1}^{infty }A_{n}Rightarrow lim _{n ightarrow infty }mu (A_{n})=mu (A)}
      • Здесь предполагается, что мера первого множества конечна.
    • Также имеет место данное свойство для «обратной» последовательности множеств A 1 ⊆ A 2 ⊆ A 3 . . . ⊆ A = ⋃ n = 1 ∞ A n ⇒ lim n → ∞ μ ( A n ) = μ ( A ) {displaystyle A_{1}subseteq A_{2}subseteq A_{3}...subseteq A=igcup _{n=1}^{infty }A_{n}Rightarrow lim _{n ightarrow infty }mu (A_{n})=mu (A)}
    • Счётная монотонность означает, что мера подмножества счётного объединения множеств не больше суммы мер этих множеств: A ⊆ ⋃ i = 1 ∞ A i ⇒ μ ( A ) ⩽ ∑ i = 1 ∞ μ ( A i ) {displaystyle Asubseteq igcup _{i=1}^{infty }A_{i}Rightarrow mu (A)leqslant sum _{i=1}^{infty }mu (A_{i})}

    Примеры

    • Мера Жордана — пример конечно-аддитивной меры.
    • Мера Лебега — пример счётно-аддитивной меры.
    • Вероятность — пример конечной меры.
    • Мера Хаусдорфа
    • Мера Бореля
    • Мера Хаара
    • Ультрафильтр может быть определён как конечно-аддитивная мера со значениями в множестве из двух элементов { 0 , 1 } {displaystyle {0,1}}

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

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

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

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

    Пусть начальный класс измеримых множеств F 0 {displaystyle {mathcal {F}}_{0}} имеет структуру полукольца: содержит пустое множество и для любых множеств A и B из F 0 {displaystyle {mathcal {F}}_{0}} их разность допускает конечное разбиение на измеримые множества из F 0 {displaystyle {mathcal {F}}_{0}} , то есть найдётся конечный набор непересекающихся множеств C 1 , C 2 , . . . , C n {displaystyle C_{1},C_{2},...,C_{n}} из F 0 {displaystyle {mathcal {F}}_{0}} , таких что

    A ∖ B = C 1 ∪ C 2 ∪ ⋯ ∪ C n {displaystyle Asetminus B=C_{1}cup C_{2}cup dots cup C_{n}} .

    Пусть F {displaystyle {mathcal {F}}} означает класс всех подмножеств рассматриваемого пространства, допускающих конечное разбиение на множества из F 0 {displaystyle {mathcal {F}}_{0}} . Класс F {displaystyle {mathcal {F}}} замкнут относительно операций разности, пересечения и объединения множеств, и таким образом, является кольцом множеств, содержащим F 0 {displaystyle {mathcal {F}}_{0}} (причём, очевидно, минимальным). Всякая аддитивная функция μ {displaystyle mu } на F 0 {displaystyle {mathcal {F}}_{0}} однозначно продолжается до аддитивной функции на F {displaystyle {mathcal {F}}} , тогда и только тогда, когда её значения согласованы на F 0 {displaystyle {mathcal {F}}_{0}} . Это требование означает, что для любых наборов непересекающихся множеств A 1 , A 2 , . . . , A n {displaystyle A_{1},A_{2},...,A_{n}} и B 1 , B 2 , . . . , B m {displaystyle B_{1},B_{2},...,B_{m}} из F 0 {displaystyle {mathcal {F}}_{0}} , если совпадает их объединение, то должна совпадать и сумма их мер:

    Если ⋃ i = 1 n A i = ⋃ j = 1 m B j {displaystyle igcup limits _{i=1}^{n}A_{i}=igcup limits _{j=1}^{m}B_{j}} , то ∑ i = 1 n μ ( A i ) = ∑ j = 1 m μ ( B j ) {displaystyle sum limits _{i=1}^{n}mu (A_{i})=sum limits _{j=1}^{m}mu (B_{j})} .

    Пример

    Пусть F 1 {displaystyle {mathcal {F}}_{1}} и F 2 {displaystyle {mathcal {F}}_{2}} — классы измеримых множеств на пространствах X 1 {displaystyle X_{1}} и X 2 {displaystyle X_{2}} , имеющие структуру полукольца. Множества вида A × B {displaystyle A imes B} , где A ∈ F 1 {displaystyle Ain {mathcal {F}}_{1}} , B ∈ F 2 {displaystyle Bin {mathcal {F}}_{2}} образуют полукольцо F {displaystyle {mathcal {F}}} множеств на пространстве X = X 1 × X 2 {displaystyle X=X_{1} imes X_{2}} .

    Если на F 1 {displaystyle {mathcal {F}}_{1}} и F 2 {displaystyle {mathcal {F}}_{2}} заданы меры μ 1 {displaystyle mu _{1}} и μ 2 {displaystyle mu _{2}} , то на F {displaystyle {mathcal {F}}} определена аддитивная функция μ ( A × B ) = μ 1 ( A ) μ 2 ( B ) {displaystyle mu (A imes B)=mu _{1}(A)mu _{2}(B)} , удовлетворяющая требованию согласованности. Её продолжение на минимальное кольцо, содержащее F {displaystyle {mathcal {F}}} , называется прямым произведением мер μ 1 {displaystyle mu _{1}} и μ 2 {displaystyle mu _{2}} и обозначается μ = μ 1 ⊗ μ 2 {displaystyle mu =mu _{1}otimes mu _{2}} . Если исходные меры были сигма-аддитивны на своих областях определения, то и мера μ {displaystyle mu } будет сигма-аддитивной. Эта мера используется в теории кратных интегралов (смотри Теорема Фубини).

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

    • Сигма-конечная мера
    • Заряд (теория меры)
    • Термин «мера» может означать любую конечно-аддитивную с областью значений абелева полугруппа. Для счётно-аддитивной меры естественная область значений — топологическая абелева полугруппа (топология нужна для того, чтобы можно было говорить о сходимости ряда из мер счётного числа измеримых частей, на которые в определении счётной аддитивности разбивается измеримое множество).
      • Примером нечисловой меры является мера со значениями в линейном пространстве, в частности, проекторонозначная мера, участвующая в геометрической формулировке спектральной теоремы.
    Еще по этой теме:
    Инвариант (математика)
    13:00, 12 май
    Инвариант (математика)
    Инвариант — это свойство некоторого класса (множества) математических объектов, остающееся неизменным при преобразованиях определённого типа. Определение Пусть A
    Земельная мера
    00:00, 23 январь
    Земельная мера
    Земельная мера (до революции поземельная мера) — мера замеров земли (земельных участков) или величины полей. Метрические единицы Квадратный километр: 1 км² = 1 000 000 м² Гектар: 1 га = 10 000 м² Ар
    Множество Смита — Вольтерры — Кантора
    09:07, 13 декабрь
    Множество Смита — Вольтерры — Кантора
    Множество Смита — Вольтерры — Кантора (СВК, толстое множество Кантора, ε {displaystyle varepsilon } -множество Кантора) — пример множества точек на
    Теорема Крылова — Боголюбова
    16:07, 12 декабрь
    Теорема Крылова — Боголюбова
    Теорема Крылова — Боголюбова — утверждает существование инвариантных мер у «хороших» отображений, определённых на «хороших» пространствах. Существуют две вариации теоремы, для динамических систем и
    Инвариантная мера
    19:01, 04 декабрь
    Инвариантная мера
    Инвариантная мера — в теории динамических систем мера, определённая в фазовом пространстве, связанная с динамической системой и не изменяющаяся с течением времени при эволюции состояния динамической
    Категория множеств
    10:38, 02 декабрь
    Категория множеств
    Категория множеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set. В аксиоматике Цермело — Френкеля «множества всех множеств» не
    Комментарии:
    Добавить комментарий
    Ваше Имя:
    Ваш E-Mail:
    • bowtiesmilelaughingblushsmileyrelaxedsmirk
      heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
      winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
      worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
      expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
      disappointedconfoundedfearfulcold_sweatperseverecrysob
      joyastonishedscreamtired_faceangryragetriumph
      sleepyyummasksunglassesdizzy_faceimpsmiling_imp
      neutral_faceno_mouthinnocent