WikiDer > Строго положительная мера

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: «Строго положительная мера» – Новости · газеты · книги · ученый · JSTOR (Декабрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В математика, строгая позитивность - это концепция в теория меры. Интуитивно строго положительная мера это тот, который «нигде не равен нулю», или тот, который равен нулю «только по точкам».

Определение

Позволять (Икс, Т) быть Хаусдорф топологическое пространство и пусть Σ - σ-алгебра на Икс который содержит топологию Т (так что каждый открытый набор это измеримый набор, а Σ не хуже, чем Борелевская σ-алгебра на Икс). Тогда мера μ на (Икс, Σ) называется строго положительный если каждое непустое открытое подмножество Икс имеет строго положительную меру.

В более сжатых обозначениях μ строго положительный если и только если

${displaystyle forall Uin T {mbox {s.t. }} Ueq emptyset, mu (U)> 0.}$

Примеры

• Счетная мера на любом наборе Икс (при любой топологии) строго положительно.
• Мера Дирака обычно не является строго положительным, если топология Т особенно «грубый» (содержит «несколько» наборов). Например, δ₀ на реальная линия р со своей обычной борелевской топологией и σ-алгеброй не является строго положительной; однако, если р снабжен тривиальной топологией Т = {∅, р}, тогда δ₀ строго положительный. Этот пример иллюстрирует важность топологии для определения строгой положительности.
• Гауссова мера на Евклидово пространство р^п (со своей борелевской топологией и σ-алгеброй) строго положительно.
  • Мера Винера на пространстве непрерывных путей в р^п является строго положительной мерой - мера Винера является примером гауссовской меры на бесконечномерном пространстве.
• Мера Лебега на р^п (со своей борелевской топологией и σ-алгеброй) строго положительно.
• В тривиальная мера никогда не бывает строго положительным, независимо от места Икс или используемой топологии, кроме случаев, когда Икс пусто.

Характеристики

• Если μ и ν - две меры на измеримом топологическом пространстве (X, Σ), причем μ строго положительный, а также абсолютно непрерывный относительно ν, тогда ν также строго положительный. Доказательство простое: пусть U ⊆ Икс - произвольное открытое множество; поскольку μ строго положительно, μ(U)> 0; по абсолютной преемственности, ν(U)> 0.
• Следовательно, строгая положительность - это инвариантный относительно эквивалентность мер.

Смотрите также

• Опора (теория меры): мера строго положительна если и только если его опора - все пространство.