Teorema de Decomposição de Hahn

Definição: Dada uma \sigma-álgebra \sigma sobre \Omega, uma medida com sinal sobre \sigma é uma aplicação \nu: \sigma \to \mathbb{R} \cup \{\infty\} que satisfaz:
1. \nu(\emptyset) = 0.
2. \nu(\biguplus_{j=1}^\infty A_i) = \sum_{j=1}^\infty \nu(A_i).


Definição: Dado um elemento E \in \sigma, definimos \nu_E: \sigma \to \mathbb{R} por:
\nu_E(A) = \nu(A \cap E).


Definição: Dizemos que E \in \sigma é \nu-positivo quando \nu_E for uma medida (sem sinal). Dizemos que F é \nu-negativo se -\nu_F é uma medida (sem sinal).


Lema: Se A \in \sigma é tal que \nu(A) > 0, então existe E \in \sigma, \nu-positivo, tal que E \subset A e \nu(E) \geq \nu(A) > 0.

Demonstração:
Faça E_0 = A. Para E_n definido, faça S_n = \inf_{C \subset E_n} \nu(C) e escolha C_n \subset E_n tal que \nu(C_n) \leq S_n / 2 quando S_n > -\infty, ou \nu(C_n) \leq -1 caso contrário. Então tome E_{n+1} = E_n \setminus C_n.

Faça E = \bigcap E_n = A \setminus \biguplus C_n. Vamos mostrar que E é \nu-positivo e \nu(E) \geq \nu(A).

Afirmação 1: \nu(E) \geq \nu(A).

Segue de \nu(A) = \nu(E) + \sum \nu(C_n) \leq \nu(E).

Afirmação 2: existe n_0 com -\infty < S_{n_0}.

Caso contrário, \nu(\biguplus C_n) = \sum \nu(C_n) \leq \sum -1 = -\infty. Contrariando o fato de que \nu > -\infty.

Afirmação 3: Para n \geq n_0, \frac{S_n}{2} \leq S_{n+1} \leq 0.

Tome uma sequência F_k \subset E_{n+1} tal que \nu(F_k) \rightarrow S_{n+1}. Então, S_n \leq \nu(F_k \uplus C_n) = \nu(F_k) + \nu(C_n) \leq \\ \leq \nu(F_k) + S_n / 2 \rightarrow S_{n+1} + S_n / 2.

As afirmações 2 e 3 implicam que S_n \uparrow 0. Como todo subconjunto C \subset E é também subconjunto de E_n, temos que \nu(C) \geq S_n \rightarrow 0, e portanto \nu(C) \geq 0. Assim, E é \nu-positivo.


Corolário 1: Se a medida com sinal \nu for finita, então dado A \in \sigma tal que \nu(A) < 0, então existe E \subset A \nu-negativo tal que \nu(E) \leq \nu(A) < 0.

Demonstração:
Basta aplicar o lema para a medida com sinal -\nu.


Corolário 2: Se A \in \sigma é tal que \nu(A) < 0, então existe E \subset A \nu-negativo tal que \nu(E) \leq \nu(A) < 0.

Demonstração:
Basta aplicar o corolário 1 para a medida com sinal finita \nu_A, notando que \nu_A(A) = \nu(A) < 0. Note que E é \nu-negativo, pois, como E é \nu_A-negativo, temos que \nu(C) = \nu(C \cap A) = \nu_A(C) \leq 0 para todo C \subset E \subset A.


Teorema (decomposição de Hahn): Seja \nu uma medida com sinal. Então, existe um conjunto E \in \sigma que é \nu-positivo, e tal que F = E^\complement é \nu-negativo.

Em particular, \nu = \nu_E - (-\nu_F) é uma decomposiçao de \nu como uma diferença de duas medidas (sem sinal).

Demonstração:
Seja \mathcal{F} a família de todos os conjuntos \nu-negativos.

Afirmação 1: A família \mathcal{F} é fechada por união enumerável.

Seja F_n \in \mathcal{F}. Tome E_1 = F_1 e E_n = F_n \setminus \bigcup_{j=1}^{n-1} F_j. Seja A \subset \bigcup F_n = \biguplus E_n. Então, \nu(A) = \sum \nu(A \cap E_n) \leq 0. Ou seja, F = \bigcup F_n \in \mathcal{F}.

Afirmação 2: Existe F \in \mathcal{F} tal que \nu(F) = \inf_{K \in \mathcal{F}} \nu(K).

Pela afirmação 1, basta tomar F_n \in \mathcal{F} tal que \nu(F_n) \rightarrow \inf_{K \in \mathcal{F}} \nu(K) e F = \bigcup F_n. Como \nu(F) \leq \nu(F_n), pois F é \nu-negativo, temos que \nu(F) = \inf_{K \in \mathcal{F}} \nu(K).

Afirmação 3: O conjunto E = F^\complement é \nu-positivo.

Caso contrário, existiria A \subset E tal que \nu(A) < 0. Pelo corolário 2, existiria E' \subset A \subset E \nu-negativo, com \nu(E') < 0. Neste caso teríamos que F \uplus E' \in \mathcal{F}, e \nu(F \uplus E') < \nu(F). Contrariando a hipótese de que \nu(F) = \inf_{K \in \mathcal{F}} \nu(K).


Deixe uma resposta

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s

%d blogueiros gostam disto: