WikiDer > Теорема Хана о разложении

В математика, то Теорема Хана о разложении, названный в честь Австрийский математик Ганс Хан, утверждает, что для любого измеримое пространство ${ Displaystyle (Х, Sigma)}$ и любой подписанная мера ${ displaystyle mu}$ определены на ${ displaystyle sigma}$-алгебра ${ displaystyle Sigma}$, существует два ${ displaystyle Sigma}$-мерные наборы, ${ displaystyle P}$ и ${ displaystyle N}$, из ${ displaystyle X}$ такой, что:

1. ${ Displaystyle P чашка N = X}$ и ${ Displaystyle P cap N = varnothing}$.
2. Для каждого ${ displaystyle E in Sigma}$ такой, что ${ displaystyle E substeq P}$, надо ${ Displaystyle му (Е) geq 0}$, т.е. ${ displaystyle P}$ это положительный набор за ${ displaystyle mu}$.
3. Для каждого ${ displaystyle E in Sigma}$ такой, что ${ Displaystyle E substeq N}$, надо ${ Displaystyle му (Е) leq 0}$, т.е. ${ displaystyle N}$ отрицательный набор для ${ displaystyle mu}$.

Более того, это разложение есть по сути уникальный, что означает, что для любой другой пары ${ displaystyle (P ', N')}$ из ${ displaystyle Sigma}$-измеримые подмножества ${ displaystyle X}$ выполняя три условия выше, симметричные различия ${ Displaystyle P треугольник P '}$ и ${ Displaystyle N треугольник N '}$ находятся ${ displaystyle mu}$-нулевые наборы в том смысле, что каждый ${ displaystyle Sigma}$-измеримое их подмножество имеет нулевую меру. Пара ${ displaystyle (P, N)}$ тогда называется Разложение Хана подписанной меры ${ displaystyle mu}$.

Разложение меры Жордана

Следствием теоремы о разложении Хана является Теорема Жордана о разложении, в котором говорится, что каждая подписанная мера ${ displaystyle mu}$ определено на ${ displaystyle Sigma}$ имеет уникальный разложение на разницу ${ Displaystyle му = му ^ {+} - му ^ {-}}$ двух положительных мер, ${ Displaystyle mu ^ {+}}$ и ${ Displaystyle mu ^ {-}}$, хотя бы одно из которых конечно, такое, что ${ displaystyle { mu ^ {+}} (E) = 0}$ для каждого ${ displaystyle Sigma}$-измеримое подмножество ${ Displaystyle E substeq N}$ и ${ displaystyle { mu ^ {-}} (E) = 0}$ для каждого ${ displaystyle Sigma}$-измеримое подмножество ${ displaystyle E substeq P}$, для любого разложения Хана ${ displaystyle (P, N)}$ из ${ displaystyle mu}$. Мы называем ${ Displaystyle mu ^ {+}}$ и ${ Displaystyle mu ^ {-}}$ то положительный и отрицательная часть из ${ displaystyle mu}$, соответственно. Пара ${ Displaystyle ( му ^ {+}, му ^ {-})}$ называется Разложение Жордана (или иногда Разложение Хана – Жордана) из ${ displaystyle mu}$. Эти две меры можно определить как

${ displaystyle { mu ^ {+}} (E): = mu (E cap P) qquad { text {and}} qquad { mu ^ {-}} (E): = - mu (E cap N)}$

для каждого ${ displaystyle E in Sigma}$ и любое разложение Хана ${ displaystyle (P, N)}$ из ${ displaystyle mu}$.

Обратите внимание, что разложение Жордана единственно, в то время как разложение Хана единственно существенно.

Из разложения Жордана вытекает следующее следствие: для разложения Жордана ${ Displaystyle ( му ^ {+}, му ^ {-})}$ конечной меры со знаком ${ displaystyle mu}$, надо

${ Displaystyle { mu ^ {+}} (E) = sup _ {B in Sigma, ~ B substeq E} mu (B) quad { text {and}} quad { mu ^ {-}} (E) = - inf _ {B in Sigma, ~ B substeq E} mu (B)}$

для любого ${ displaystyle E}$ в ${ displaystyle Sigma}$. Кроме того, если ${ Displaystyle му = ню ^ {+} - ню ^ {-}}$ на пару ${ Displaystyle ( ню ^ {+}, ню ^ {-})}$ конечных неотрицательных мер на ${ displaystyle X}$, тогда

${ displaystyle nu ^ {+} geq mu ^ {+} quad { text {and}} quad nu ^ {-} geq mu ^ {-}.}$

Последнее выражение означает, что разложение Жордана есть минимальный разложение ${ displaystyle mu}$ в различие неотрицательных мер. Это свойство минимальности разложения Жордана.

Доказательство разложения Жордана: Элементарное доказательство существования, единственности и минимальности разложения жордановой меры см. Фишер (2012).

Доказательство теоремы Хана о разложении

Подготовка: Предположить, что ${ displaystyle mu}$ не принимает значения ${ displaystyle - infty}$ (иначе разложить согласно ${ displaystyle - mu}$). Как упоминалось выше, отрицательный набор - это набор ${ displaystyle A in Sigma}$ такой, что ${ Displaystyle му (В) leq 0}$ для каждого ${ displaystyle Sigma}$-измеримое подмножество ${ Displaystyle B substeq A}$.

Требовать: Предположим, что ${ Displaystyle D in Sigma}$ удовлетворяет ${ Displaystyle му (D) leq 0}$. Тогда существует отрицательное множество ${ displaystyle A substeq D}$ такой, что ${ Displaystyle му (А) leq му (D)}$.

Доказательство претензии: Определять ${ displaystyle A_ {0}: = D}$. Индуктивно предполагать для ${ Displaystyle п в mathbb {N} _ {0}}$ который ${ displaystyle A_ {n} substeq D}$ был построен. Позволять

${ displaystyle t_ {n}: = sup ( { mu (B) mid B in Sigma ~ { text {and}} ~ B substeq A_ {n} })}$

обозначить супремум из ${ Displaystyle му (В)}$ по всему ${ displaystyle Sigma}$-измеримые подмножества ${ displaystyle B}$ из ${ displaystyle A_ {n}}$. Этот супремум мог бы априори быть бесконечным. Как пустой набор ${ displaystyle varnothing}$ возможный кандидат на ${ displaystyle B}$ в определении ${ displaystyle t_ {n}}$, и, как ${ Displaystyle му ( varnothing) = 0}$, у нас есть ${ displaystyle t_ {n} geq 0}$. По определению ${ displaystyle t_ {n}}$, тогда существует ${ displaystyle Sigma}$-измеримое подмножество ${ displaystyle B_ {n} substeq A_ {n}}$ удовлетворение

${ displaystyle mu (B_ {n}) geq min ! left (1, { frac {t_ {n}} {2}} right).}$

Набор ${ displaystyle A_ {n + 1}: = A_ {n} setminus B_ {n}}$ чтобы закончить индукционный шаг. Наконец, определим

${ displaystyle A: = D { Bigg backslash} bigcup _ {n = 0} ^ { infty} B_ {n}.}$

Как наборы ${ displaystyle (B_ {n}) _ {n = 0} ^ { infty}}$ непересекающиеся подмножества ${ displaystyle D}$, следует из сигма аддитивность подписанной меры ${ displaystyle mu}$ который

${ displaystyle mu (A) = mu (D) - sum _ {n = 0} ^ { infty} mu (B_ {n}) leq mu (D) - sum _ {n = 0} ^ { infty} min ! Left (1, { frac {t_ {n}} {2}} right).}$

Это показывает, что ${ Displaystyle му (А) leq му (D)}$. Предполагать ${ displaystyle A}$ не были отрицательным набором. Это означает, что существует ${ displaystyle Sigma}$-измеримое подмножество ${ Displaystyle B substeq A}$ это удовлетворяет ${ displaystyle mu (B)> 0}$. потом ${ Displaystyle т_ {п} geq mu (B)}$ для каждого ${ Displaystyle п в mathbb {N} _ {0}}$, Итак серии справа пришлось бы расходиться на ${ displaystyle + infty}$, подразумевая, что ${ Displaystyle му (А) = - infty}$, что не допускается. Следовательно, ${ displaystyle A}$ должен быть отрицательный набор.

Построение разложения: Набор ${ displaystyle N_ {0} = varnothing}$. Индуктивно, учитывая ${ displaystyle N_ {n}}$, определять

${ displaystyle s_ {n}: = inf ( { mu (D) mid D in Sigma ~ { text {and}} ~ D substeq X setminus N_ {n} }).}$

как инфимум из ${ Displaystyle му (D)}$ по всему ${ displaystyle Sigma}$-измеримые подмножества ${ displaystyle D}$ из ${ Displaystyle X setminus N_ {п}}$. Этот инфимум может априори быть ${ displaystyle - infty}$. В качестве ${ displaystyle varnothing}$ возможный кандидат на ${ displaystyle D}$ в определении ${ displaystyle s_ {n}}$, и, как ${ Displaystyle му ( varnothing) = 0}$, у нас есть ${ displaystyle s_ {n} leq 0}$. Следовательно, существует ${ displaystyle Sigma}$-измеримое подмножество ${ Displaystyle D_ {п} substeq X setminus N_ {п}}$ такой, что

${ displaystyle mu (D_ {n}) leq max ! left ({ frac {s_ {n}} {2}}, - 1 right) leq 0.}$

По утверждению выше, существует отрицательное множество ${ displaystyle A_ {n} substeq D_ {n}}$ такой, что ${ Displaystyle му (A_ {п}) leq mu (D_ {п})}$. Набор ${ displaystyle N_ {n + 1}: = N_ {n} чашка A_ {n}}$ чтобы закончить индукционный шаг. Наконец, определим

${ displaystyle N: = bigcup _ {n = 0} ^ { infty} A_ {n}.}$

Как наборы ${ displaystyle (A_ {n}) _ {n = 0} ^ { infty}}$ не пересекаются, для каждого ${ displaystyle Sigma}$-измеримое подмножество ${ Displaystyle B substeq N}$ который

${ displaystyle mu (B) = sum _ {n = 0} ^ { infty} mu (B cap A_ {n})}$

по сигма-аддитивности ${ displaystyle mu}$. В частности, это показывает, что ${ displaystyle N}$ - отрицательное множество. Затем определите ${ Displaystyle P: = X setminus N}$. Если ${ displaystyle P}$ не было бы положительного набора, существовала бы ${ displaystyle Sigma}$-измеримое подмножество ${ Displaystyle D substeq P}$ с ${ Displaystyle му (D) <0}$. потом ${ Displaystyle s_ {п} leq mu (D)}$ для всех ${ Displaystyle п в mathbb {N} _ {0}}$ и

${ displaystyle mu (N) = sum _ {n = 0} ^ { infty} mu (A_ {n}) leq sum _ {n = 0} ^ { infty} max ! left ({ frac {s_ {n}} {2}}, - 1 right) = - infty,}$

что не разрешено ${ displaystyle mu}$. Следовательно, ${ displaystyle P}$ положительное множество.

Доказательство утверждения об уникальности:Предположим, что ${ displaystyle (N ', P')}$ это еще одно разложение Хана ${ displaystyle X}$. потом ${ Displaystyle P cap N '}$ является положительным множеством, а также отрицательным множеством. Следовательно, каждое его измеримое подмножество имеет нулевую меру. То же самое касается ${ Displaystyle N cap P '}$. В качестве

${ Displaystyle P треугольник P '= N треугольник N' = (P cap N ') чашка (N cap P'),}$

это завершает доказательство. Q.E.D.

Рекомендации

• Биллингсли, Патрик (1995). Вероятность и мера - третье издание. Ряд Уайли по вероятности и математической статистике. Нью-Йорк: Джон Вили и сыновья. ISBN 0-471-00710-2.
• Фишер, Том (2012). «Существование, единственность и минимальность разложения жордановой меры». arXiv:1206.5449 [math.ST].

внешняя ссылка

• Теорема Хана о разложении в PlanetMath.
• «Разложение Хана», Энциклопедия математики, EMS Press, 2001 [1994]
• Жорданов разложение подписанной меры в Энциклопедия математики