Medida e integração/Mensurabilidade

Origem: Wikilivros, livros abertos por um mundo aberto.

< Medida e integração

Ir para: navegação, pesquisa

Medida e integração

Índice

1 Introdução
2 O conceito de mensurabilidade
- 2.1 Observações
3 Exercícios
4 Notas
5 Referências

[editar] Introdução

Nos cursos básicos de cálculo, aprende-se que a integral está intimamente relacionada com a noção de área que se conhece desde o ensino fundamental. A teoria da integração tem em suas raízes os trabalhos de matemáticos gregos como Eudoxo e Arquimedes, que viveram alguns séculos antes de Cristo.^[1] Naqueles tempos, eles já eram capazes de calcular áreas e volumes por meio do método de exaustão, no qual se decompunha um todo em infinitas partes cuja área ou volume fossem quantidades conhecidas.

O maior avanço em relação a integração veio somente no século XVII, com a descoberta do teorema fundamental do cálculo, feita independentemente por Newton e Leibniz. No entanto, mesmo nesta época a teoria da integração carecia de uma formulação rigorosa. Foi Riemann quem, no século XIX, trouxe uma formalização da noção de integral através do uso de limites. Hoje em dia, os cursos de cálculo trazem tradicionalmente as ideias e propriedades mais relevantes da integral de Riemann^[2].

Apesar de sua popularidade, a teoria de integração desenvolvida por Riemann tem algumas deficiências que se tornam evidentes quando se precisa estudar sequências de funções integráveis ou mesmo séries de tais funções. O exemplo notável surge ao considerar uma sequência $(f_n)_{n \in \mathbb{N}}$ de funções integráveis à Riemann que em cada ponto $x$ converge para um valor $f (x).$ Geralmente, quando se tem uma sequência convergente (no caso, $(f_n)_{n \in \mathbb{N}})$ e uma operação sendo feita sobre cada um de seus termos (no caso o cálculo da integral de Riemann), é importante poder "comutar o limite e a operação". No exemplo citado, seria interessante que valesse a seguinte igualdade:

$\lim \int f_n = \int \lim f_n.$

Usando-se a integral de Riemann, para se ter garantia desta propriedade é preciso exigir muito mais do que a convergência pontual: Se a sequência for uniformemente convergente, pode-se comutar o símbolo da integral com o do limite.^[3]

Henri Lebesgue, em 1902 desenvolveu em sua dissertação^[4] uma teoria de integração mais elegante, preenchendo as grandes lacunas na teoria de integração de Riemann. Devido a importância daquele trabalho, a teoria é hoje chamada de Integração de Lebesgue.

[editar] O conceito de mensurabilidade

Quando se estuda topologia, um conceito que está sempre presente é o de função contínua. As funções contínuas tem várias propriedades interessantes e são fundamentais no estudo de espaços topológicos. Em contrapartida, no desenvolvimento da teoria de integração, certo tipo de funções, as chamadas funções mensuráveis, também têm grande importância. Estas funções possuem algumas características em comum com as funções contínuas, e isto ficará evidente conforme forem deduzidas algumas de suas propriedades.

Ao se definir o que são funções contínuas, é levada em consideração a forma como estas funções se comportam em relação a certos subconjuntos de seu domínio e seu contradomínio. Para ser mais exato, se diz que uma função é contínua quando a pré-imagem (ou imagem inversa) de qualquer aberto do seu contradomínio é um conjunto aberto do seu domínio^[5]. De forma análoga, definem-se as funções mensuráveis considerando o comportamento destas funções em relação a conjuntos abertos do contradomínio e um outro tipo de subconjuntos do seu domínio: os conjuntos mensuráveis.

Apesar de ainda não ter sido dito o que é uma medida, esta é uma ideia que aparece em contextos bastante simples, como é o caso dos intervalos numéricos da reta de números reais. Intuitivamente, pode-se dizer que o comprimento do intervalo $\left(a,b\right)$ é igual a $| b - a | ,$ ou ainda, a distância de $a$ até $b .$ Os intervalos são exemplos típicos de algo que se gostaria de poder "medir". Seria igualmente interessante poder medir as uniões finitas de intervalos, e também ser capaz de fornecer a medida da diferença $\left(a,b\right) \smallsetminus \left(c,d\right)$ entre dois intervalos. Propriedades como estas servem de motivação para se definir as $σ$ -álgebras de conjuntos e em sequência a noção de mensurabilidade.

Definição 1.1

Dado um conjunto $X \not = \emptyset,$ diz-se que uma coleção $\mathfrak{M} \subset \mathcal{P}(X)$ de subconjuntos de $X$ é uma $\boldsymbol{\sigma}$ -álgebra sobre $\mathbf{X}$ se $\mathfrak{M}$ satisfaz as seguintes condições:

$X \in \mathfrak{M};$
Se $A \in \mathfrak{M}$ então $X \smallsetminus A \in \mathfrak{M};$
Se $(A_i)_{i \in \mathbb{N}}$ é uma sequência em $\mathfrak{M}$ então $\bigcup_{i \in \mathbb{N}} A_i \in \mathfrak{M}.$

[editar] Observações

Obs. 1.2: Conforme já foi dito, será usada a notação $A c$ para denotar o complementar de $A$ em relação a $X$ sempre que o contexto deixar claro qual o conjunto $X$ em questão. Em particular, isto se aplica ao segundo item da definição de $σ$ -álgebra. Assim, a propriedade 2 diz que se $A$ pertence a uma $σ$ -álgebra, então $A c$ também pertence.
Obs. 1.3: Decorre diretamente da definição que o conjunto vazio $\emptyset$ pertence a qualquer $σ$ -álgebra, pois $\emptyset = X^c$ e $X \in \mathfrak{M}.$ ^{[ver nota 1]}
Obs. 1.4: Utilizando as leis de De Morgan, obtém-se uma propriedade equivalente à terceira exigência da Definição 1.1, mas que envolve uma interseção enumerável:

3'. Se $(A_i)_{i \in \mathbb{N}}$ é uma sequência em $\mathfrak{M}$ então $\bigcap_{i \in \mathbb{N}} A_i \in \mathfrak{M}.$

Obs. 1.5: Se $(x_\lambda)_{1 \le \lambda \le p}$ é uma sequência finita em $\mathfrak{M},$ então

$\bigcap_{1 \le \lambda \le p} X_\lambda \in \mathfrak{M}$ e $\bigcup_{1 \le \lambda \le p} X_\lambda \in \mathfrak{M}.$

Obs. 1.6: Se $A \in \mathfrak{M}$ e $B \in \mathfrak{M},$ então $A \smallsetminus B \in \mathfrak{M}.$ De fato, sendo $A \subset X,$ tem-se

$A \smallsetminus B = \{x \in A; x \not \in B\} = A \cap \{x \in X; x \not \in B\} = A \cap (X \smallsetminus B).$ ^{[ver nota 2]}

Como se poderia imaginar a partir dos comentários que precederam a definição definição de $σ$ -álgebra, os conjuntos mensuráveis serão aqueles que verificam as propriedades acima. De forma mais precisa:

Definição 1.7

Se $\mathfrak{M}$ é uma $σ$ -álgebra sobre $X,$ o par ordenado $\left(X, \mathfrak{M}\right)$ é chamado de espaço mensurável e os elementos de $\mathfrak{M}$ são denominados conjuntos mensuráveis.

Obs. 1.8: É comum cometer um abuso de linguagem e se referir ao "espaço mensurável $\left(X, \mathfrak{M}\right)$ " sem mencionar a $σ$ -álgebra $\mathfrak{M},$ como por exemplo ao dizer "o espaço mensurável $X$ ". Obviamente, isto só será feito quando ficar claro qual a $σ$ -álgebra em questão. A situação análoga no contexto da Topologia é falar de um espaço topológico sem mencionar sua topologia, como em " $\mathbb{R}$ é um espaço topológico".^{[ver nota 3]}

Finalmente, uma vez caracterizados os conjuntos mensuráveis, a noção de mensurabilidade pode ser definida também para funções:

Definição 1.9

Se $f:X \mapsto Y$ é uma função para a qual $X$ é um espaço mensurável^{[ver nota 4]} e $Y$ é um espaço topológico^{[ver nota 3]}, diz-se que $f$ é uma função mensurável se para cada aberto $A$ de $Y,$ sua imagem inversa $f - 1 (A)$ for um conjunto mensurável.^[6]

O próximo resultado mostra uma forma de se obter funções mensuráveis quando já se conhece uma função mensurável e uma contínua: basta realizar sua composição, aplicando primeiro a função mensurável e por último a função contínua.

Proposição 1.10

Sejam $X$ um espaço mensurável^{[ver nota 4]}, $Y$ e $Z$ espaços topológicos e $f: X \mapsto Y$ uma aplicação mensurável. Se $g: Y \mapsto Z$ é uma função contínua então $h := g \circ f: X \mapsto Z$ é uma aplicação mensurável.^[7]

Demonstração
Se $A$ é um aberto em $Z,$ então $g - 1 (A)$ é aberto em $Y,$ pois $g$ é contínua. Consequentemente, $h - 1 (A) = f - 1 (g - 1 (A))$ é um conjunto mensurável, pois $f$ é mensurável e math>g^{-1}(A)</math> é aberto.

Um resultado análogo ao anterior, que pode ser aplicado quando se tem uma função contínua a duas variáveis reais (ou a uma variável complexa), é mostrado a seguir.

Proposição 1.11

Sejam $X$ um espaço mensurável^{[ver nota 4]}, $\mathbb{R}$ e $Y$ espaços topológicos, onde a topologia de $\mathbb{R}$ é a usual. Se $u,v: X \mapsto \mathbb{R}$ são aplicações mensuráveis e $\Phi: \mathbb{C} \mapsto Y$ é uma função contínua então $h : X \mapsto Y,$ definida por $h (x) = Φ(u (x), v (x))$ é uma aplicação mensurável.

Demonstração

Considere $\lambda: X \mapsto \mathbb{R}^2 = \mathbb{C}$ a função definida por

λ(x) = (u (x), v (x)).

Então $h= \Phi \circ \lambda$ e pela proposição anterior, basta mostrar que

λ

é mensurável. Para isto, considere um aberto

A

de $\mathbb{C}.$ Suponha inicialmente que

A

é um retângulo cujos lados são paralelos aos eixos, ou seja, $A = I \times J,$ com

I

e

J

sendo intervalos abertos de $\mathbb{R}.$ Neste caso, tem-se

$\lambda^{-1}(A) = u^{-1}(I) \cap v^{-1}(J).$

Como $u$ e $v$ são funções mensuráveis, e tanto $I$ quanto $J$ são conjuntos abertos, tem-se $u - 1 (I)$ e $v - 1 (J)$ mensuráveis. Mas a interseção finita de conjuntos mensuráveis é um conjunto mensurável (ver observação anterior), então $λ - 1 (A)$ é mensurável.

Se $A$ for um aberto arbitrário do espaço $\mathbb{C},$ existe uma família enumerável $\left(A_i \right)_{i \in \mathbb{N}}$ de retângulos abertos em $\mathbb{C},$ com lados paralelos aos eixos, de tal modo que $A = \cup_{i \in \mathbb{N}} A_i.$ Deste modo,

$\lambda^{-1}(A) = \lambda^{-1}\left(\cup_{i \in \mathbb{N}} A_i\right) = \cup_{i \in \mathbb{N}} \lambda^{-1}\left(A_i\right).$

Uma vez que $A$ se escreve como uma união enumerável de conjuntos mensuráveis, conclui-se que ele é mensurável (conforme a terceira propriedade que define uma $σ$ -álgebra).

Como consequência imediata desta proposição, tem-se o seguinte:

Corolário 1.12

Sejam $X$ um espaço mensurável^{[ver nota 4]} e $\mathbb{R}$ um espaço topológico^{[ver nota 3]} (com sua topologia usual^[8]). Se $u,v: X \mapsto \mathbb{R}$ são aplicações mensuráveis, então $f : = u + i v$ é uma aplicação mensurável.

Demonstração
Segue da proposição anterior, com $Z = \mathbb{C}$ e $g = id_{\mathbb{C}},$ pois neste caso $f (x) = u (x) + i (x) = (u (x), v (x)) = g (u (x), v (x)),$ para qualquer $x \in X.$

Um outro resultado imediato que trata especificamente da mensurabilidade de funções de uma variável complexa é o seguinte:

Corolário 1.13

Sejam $X$ um espaço mensurável^{[ver nota 4]} e $\mathbb{R}$ um espaço topológico^{[ver nota 3]} (com sua topologia usual^[8]). Se $f:= u + iv : X \mapsto \mathbb{C}$ é uma aplicação mensurável então $u,v,|f|: X \mapsto \mathbb{R}$ são aplicações mensuráveis.

Demonstração

Primeiramente, para garantir que

u

é mensurável, basta observar que $u = f \circ Re,$ onde $Re:\mathbb{C} \mapsto \mathbb{R}$ é dada por

R e (x + i y) = R e (x, y) = x

é uma função contínua. Então, como

u

é a composição de uma função contínua com uma mensurável,

u

também é mensurável.

De forma análoga, observa-se que $v = f \circ Im,$ onde $Im:\mathbb{C} \mapsto \mathbb{R}$ é dada por $I m (x + i y) = I m (x, y) = y$ também é uma função contínua. Pelo mesmo argumento segue que $v$ é mensurável.

Com o mesmo raciocínio mostra-se que $| f |$ é mensurável, pois a função $|\cdot|: \mathbb{C} \mapsto \mathbb{R}$ é contínua e $f = |\cdot| \circ f.$

Além do que já foi mostrado até o momento, no conjunto das funções mensuráveis que tomam valores em um corpo também verifica uma propriedade muito frequente em matemática: o fechamento em relação a soma e o produto. Uma consequência disto é que um polinômio em funções mensuráveis continua sendo mensurável e, em particular, a multiplicação de uma função mensurável por uma constante (ou se preferir, um escalar) também é mensurável. O resultado que garante estas propriedades é apresentado a seguir.

Corolário 1.14

Sejam $X$ um espaço mensurável^{[ver nota 4]}, $\mathbb{K}$ um espaço topológico^{[ver nota 3]} (com sua topologia usual^[8]) e $\lambda \in \mathbb{K}.$ Se $f,g: X \mapsto \mathbb{K}$ são mensuráveis então $u + v,$ $u v$ e $λ v$ são mensuráveis.

Demonstração

;Caso 1

Se $\mathbb{K} = \mathbb{R},$ basta observar que a função $Φ(s, t) = s + t$ de duas variáveis reais é contínua e que

$(f + g)(x) = f (x) + g (x) = Φ(f (x), g (x)) = h (x),$

portanto, $f + g$ é mensurável (conforme proposição já demonstrada).

Do mesmo modo, tomando $Φ(s, t) = s t,$ tem-se novamente uma função de duas variáveis que é contínua e tal que

$(f g)(x) = f (x) g (x) = Φ(f (x), g (x)) = h (x),$

Donde se conclui pela mesma proposição que $f g$ é mensurável.

Considerando a função constante $\lambda^*:X \mapsto \mathbb{R},$ definida por $λ * (x) = λ,$ tem-se $λ *$ mensurável. De fato, seja $A$ um aberto de $\mathbb{R}.$ Então $\left(\lambda^*\right)^{-1}(A) = \begin{cases} X, & \mbox{se }\lambda \in A\\ \emptyset, & \mbox{se }\lambda \not\in A \end{cases}$ e ambos estes conjuntos são mensuráveis.

Assim, considerando que

$(λ f)(x) = λ f (x) = λ * (x) f (x) = (λ * f)(x),$

para qualquer $x \in X,$ tem-se $λ f$ igual ao produto de duas funções mensuráveis e, portanto, é também mensurável. Em particular, quando $λ = - 1$ conclui-se que $- f$ é mensurável.

Caso 2

Se $\mathbb{K} = \mathbb{C},$ considere $u$ e $u 1$ as partes reais de $f$ e $g,$ respectivamente. Do mesmo modo, sejam $v$ e $v 1$ as partes imaginárias de $f$ e $g,$ respectivamente. Isto significa que $f = u + i v$ e $g = u 1 + i v 1$ e consequentemente $f + g = (u + u 1) + i (v + v 1)$ e $f g = (u u 1 - v v 1) + i (u v 1 + v u 1).$

Conforme já foi demonstrado, se $f$ e $g$ forem funções mensuráveis, tem-se $u,$ $u,$ $u$ e $u$ mensuráveis. Pela demonstração do caso 1, as somas $u + u 1$ e $v + v 1$ são mensuráveis. Logo $f + g = (u + u 1) + i (v + v 1)$ é mensurável. Do mesmo modo, segue do caso 1 que $u u 1 - v v 1$ e $u v 1 + v u 1$ são mensuráveis, portanto $f g = (u u 1 - v v 1) + i (u v 1 + v u 1)$ também é.

Finalmente, a mensuralidade de $λ f$ no caso complexo segue da mensurabilidade do produto de funções complexas recém provada, usando o mesmo argumento do caso real.

Obs. 1.15: Seja $X$ um espaço mensurável^{[ver nota 4]}. Então o conjunto

$\mathcal{M}(X; \mathbb{K}) := \{f: X \mapsto \mathbb{K}; f$ é mensurável $}$

munido das operações pontuais de adição, multiplicação e multiplicação por escalar, é uma $\mathbb{K}$ -álgebra (ou também uma sub $\mathbb{K}$ -álgebra de $\mathcal{M}(X; \mathbb{K})$ ).

Definição 1.16

Dado um conjunto $X \not = \emptyset$ e $E \subset X,$ a função característica de $\mathbf{E}$ é a função $X_E : X \mapsto \{0, 1\}$ definida por

$X_E(x) = \begin{cases} 1, & \text{ se } x \in E\\ 0, & \text{ se } x \in E_X^c \end{cases}$

Obs. 1.17: Note que o domínio da função característica de $E \subset X$ é $X,$ e não $E .$

O próximo resultado mostra que um conjunto é mensurável se, e somente se, a sua função característica for mensurável (se vista como uma função que toma valores em $\mathbb{R}).$ Por simplicidade, a função $\overline{X_E} : X \mapsto \mathbb{R}$ definida por $\overline{X_E}(x) = X_E(x)$ em cada elemento de $X$ também será denotada pelo símbolo $X E,$ ficando implícito que o contradomínio é o conjunto dos números reais ao se falar sobre a sua mensurabilidade. Além disso, como já foi dito, se não for feita indicação em contrário será considerada a topologia usual de $\mathbb{R}.$

Proposição 1.18

Dado um espaço mensurável $X$ e $E \subset X,$ as seguintes afirmações são equivalentes

$E$ é mensurável;
$X E$ é uma função mensurável;

Demonstração

Assuma primeiramente que

E

é mensurável. Se

A

é um subconjunto aberto de $\mathbb{R},$ então $\{0, 1\} \cap A = \emptyset$ ou $\{0, 1\} \cap A \not = \emptyset.$ No primeiro caso, tem-se $X_E^{-1}(A) = \emptyset,$ que é mensurável^{[ver nota 5]}. No segundo caso, tem-se:

$X_E^{-1}(A) = \begin{cases} E, & \text{ se } \{0, 1\} \cap A = \{1\},\\ E_X^c, & \text{ se } \{0, 1\} \cap A = \{0\} \text{ e}\\ X, & \text{ se } \{0, 1\} \cap A \subset A \end{cases}$

Segue da definição de $σ$ -álgebra que $X$ é mensurável e, como $E$ é mensurável (por hipótese), também resulta que $E_X^c$ é mensurável. Isto significa que $X_E^{-1}(A)$ é sempre mensurável quando $A$ é um aberto. Portanto, $X E$ é uma função mensurável.

Reciprocamente, se $X E$ é uma função mensurável. Tomando o aberto $A$ igual ao intervalo $(0,2),$ tem-se $\{0, 1\} \cap A = \{1\}$ ^{[ver nota 6]}. Então $X_E^{-1}(A) = E$ é mensurável pois, por hipótese, a função característica de $E$ é mensurável.

Proposição 1.19

Dado um espaço mensurável $X$ e uma função mensurável $f: X \mapsto\mathbb{C},$ existe uma função mensurável $\alpha: X \mapsto \mathbb{C}$ tal que $| α(x) | = 1$ para todo $x \in X$ e $f = α | f | .$

Demonstração
Esta demonstração é deixada a cargo do leitor. Sinta-se livre para melhorar a qualidade deste texto, incluindo-a neste módulo.

A seguir, é demonstrado um a interseção de uma família de $σ$ -álgebras é ainda uma $σ$ -álgebra.

Lema 1.20

Se $X$ é um conjunto não-vazio e $(M_i)_{i \in I}$ é uma família^{[ver nota 7]} de $σ$ -álgebras sobre $X,$ então $M:= \cap_{i \in I} M_i$ é uma $σ$ -álgebra sobre $X .$

Prova
Esta prova é deixada a cargo do leitor. Sinta-se livre para melhorar a qualidade deste texto, incluindo-a neste módulo.

Proposição 1.21

Se $X$ é um conjunto não-vazio e $F$ é um de seus subconjuntos, então existe a menor $σ$ -álgebra sobre $X$ que contém $F .$

Demonstração
Esta demonstração é deixada a cargo do leitor. Sinta-se livre para melhorar a qualidade deste texto, incluindo-a neste módulo.

Definição 1.22

A menor $σ$ -álgebra sobre $X$ que contém $F$ é chamada de $\boldsymbol{\sigma}$ -álgebra gerada por $\mathbf{F}$ e denotada por $\boldsymbol{\langle F \rangle}.$

[editar] Exercícios

Exercício

Demonstre que se obtém uma definição de $σ$ -álgebra equivalente a que foi dada se for trocada a propriedade 3 por 3', ou seja, se for exigido que a interseção enumerável de mensuráveis seja mensurável (em vez da união enumerável).

Resolução

Basta observar que, pelas leis de De Morgan, $\bigcup_{i \in \mathbb{N}} A_i = \left(\bigcap_{i \in \mathbb{N}} A_i^c \right)^c$ e também $\bigcap_{i \in \mathbb{N}} A_i = \left(\bigcup_{i \in \mathbb{N}} A_i^c \right)^c.$ De fato, supondo que $A_i \in \mathfrak{M},$ para cada $i \in \mathbb{N},$ tem-se pela propriedade 2 que $A_i^c \in \mathfrak{M},$ para cada $i \in \mathbb{N}.$ Então, se for assumida a propriedade 3' como parte da definição, resulta $\bigcap_{i \in \mathbb{N}} A_i^c \in \mathfrak{M}.$

Usando a propriedade 2 novamente tem-se $\left(\bigcup_{i \in \mathbb{N}} A_i^c \right)^c.$

De forma completamente análoga, assumindo 3' como parte da definição, segue a propriedade 3.

Exercício

Mostre que a interseção finita $\bigcap_{1 \le \lambda \le p} X_\lambda$ e a união finita $\bigcup_{1 \le \lambda \le p} X_\lambda$ são mensuráveis sempre que os conjuntos $X_1, \ldots, X_p$ forem mensuráveis.

Resolução

Basta definir a sequência $(A_i)_{i \in \mathbb{N}}$ como:

$A_i = \begin{cases} X_{i+1}, & \mbox{ se } 0 \le i \le p-1\\ \emptyset, & \mbox{ se } i \ge p \end{cases}$

Então, uma vez que $\emptyset$ é mensurável, se os conjuntos $X_1, \ldots, X_p$ são mensuráveis, resulta que todos os termos da sequência são mensuráveis.

Então, a propriedade 3 pode ser aplicada para se concluir que $\bigcup_{1 \le \lambda \le p} X_\lambda = \bigcup_{\lambda \in \mathbb{N}} A_\lambda$ é mensurável.

Do mesmo modo, a propriedade 3' implica que $\bigcap_{1 \le \lambda \le p} X_\lambda = \bigcap_{\lambda \in \mathbb{N}} A_\lambda$ é mensurável.

Exercício

Dado um conjunto $X$ arbitrário, verifique se os seguintes conjuntos são $σ$ -álgebras sobre $X$ :

$\mathfrak{M} = \left\{\emptyset, X\right\}$
$\mathfrak{M} = \mathcal{P}(X)$

Resolução

1. Considere $\mathfrak{M} = \left\{\emptyset, X\right\}.$ Há três propriedades que devem ser verificadas por $\mathfrak{M},$ para que ele seja uma

σ

-álgebra sobre

X

:

Primeiramente, pela própria definição, tem-se $X \in \mathfrak{M};$
Suponha-se que $A \in \mathfrak{M}.$ Pela definição de $\mathfrak{M},$ segue que $A = \emptyset$ ou $A = X .$ No primeiro caso, $A^c = \emptyset^c = X \in \mathfrak{M}.$ A outra possibilidade é que $A^c = X^c = \emptyset \in \mathfrak{M}.$ Portanto, tem-se sempre $A^c \in \mathfrak{M}$ quando $A \in \mathfrak{M}.$
Finalmente, seja $(A_i)_{i \in \mathbb{N}}$ é uma sequência em $\mathfrak{M}.$ Pela definição de $\mathfrak{M},$ para cada $i \in \mathbb{N},$ tem-se $A_i = \emptyset$ ou $A i = X .$ Se for sempre o caso que $A_i = \emptyset,$ então $\bigcup_{i \in \mathbb{N}} A_i = \emptyset \in \mathfrak{M}.$ Caso contrário, existe algum índice $i 0$ de modo que $A_{i_0} = X.$ Neste caso, $\bigcup_{i \in \mathbb{N}} A_i = X \in \mathfrak{M}.$

Portanto, $\mathfrak{M}$ é uma $σ$ -álgebra.

2. Deixado a cargo do leitor.

Exercício

Se $X$ é um conjunto infinito, é verdade que $\mathfrak{M} = \mathcal{P}_f(X)$ é uma $σ$ -álgebra sobre $X$ ?

Resolução
A resolução deste exercício é deixada a cargo do leitor. Sinta-se livre para melhorar a qualidade deste texto, incluindo-a neste módulo.

Exercício

Seja $X$ é um conjunto arbitrário e $S \subset X.$ Demonstre que $\mathfrak{M} = \left\{A \in \mathcal{P}(X): A\cap S = \emptyset \text{ ou } S \subset A\right\}$ é uma $σ$ -álgebra sobre $X$ e que $\left\{ S, S_X^c\right\} \subset \mathfrak(M).$

Resolução
A resolução deste exercício é deixada a cargo do leitor. Sinta-se livre para melhorar a qualidade deste texto, incluindo-a neste módulo.

[editar] Notas

↑ Ver propriedades 1 e 2 da Definição 1.1
↑ Como $B \in \mathfrak{M},$ a propriedade 2 da Definição 1.1 garante que $X \smallsetminus B \in \mathfrak{M}$ e, pela observação anterior, a interseção desta diferença com $A$ está em $\mathfrak{M}.$
↑ ^3,0 ^3,1 ^3,2 ^3,3 ^3,4 A rigor, um espaço topológico é um par $\left(X, \tau\right),$ onde $τ$ é uma topologia para o conjunto $X .$ Para mais detalhes, consulte um dos livros citados nas referências do wikilivro Topologia, por exemplo General topology, de John L. Kelley, página 37.
↑ ^4,0 ^4,1 ^4,2 ^4,3 ^4,4 ^4,5 ^4,6 Note que está sendo cometido um abuso de linguagem: a rigor, um espaço mensurável é na verdade um par $\left(X, \mathfrak{M}\right)$ e não apenas um conjunto $X .$ No entanto, conforme foi mencionado na Observação 1.9, é costume não explicitar a $σ$ -álgebra $\mathfrak{M},$ principalmente quando esta puder ser deduzida pelo contexto.
↑ Na Obs. 1.3 se justifica porque o conjunto vazio é mensurável.
↑ Note que qualquer outro conjunto aberto com esta propriedade também serve.
↑ Está sendo suposto que a família é não-vazia, ou seja, que o seu conjunto de índices não é vazio.

[editar] Referências

↑ Conforme introdução do livro "The Elements of Integration and Lebesgue Measure", escrito por Bartle. Ver também a seção History, do artigo sobre integrais na Wikipédia inglesa.
↑ Ver na Wikiversidade a ementa da disciplina "Introdução ao Cálculo".
↑ Este teorema da análise é explicado em detalhes no capítulo sobre Convergência uniforme do wikilivro de Análise real.
↑ Lebesgue, Henri. Intégrale, longueur, aire. Annali di Matematica pura ed applicata, 1902. Springer.
↑ Para maiores detalhes, pode ser consultado o wikilivro intitulado "Topologia", ou alguma de suas referências.
↑ Alguns autores definem a mensurabilidade de funções a partir de outra propriedade (que será apresentada na Proposição 2.29). Veja, por exemplo, Isnard (2007), pág. 57.
↑ Isnard (2007) apresenta uma versão deste resultado, com $Y$ e $Z$ sendo espaços vetoriais normados, no exercício 13 da página 109.
↑ ^8,0 ^8,1 ^8,2 Conforme K. D. Joshi em seu livro Introduction to General Topology, a topologia usual de $\mathbb{R}$ é aquela induzida pela métrica euclidiana.

[5] Ver propriedades 1 e 2 da Definição 1.1

[6] Como $B \in \mathfrak{M},$ a propriedade 2 da Definição 1.1 garante que $X \smallsetminus B \in \mathfrak{M}$ e, pela observação anterior, a interseção desta diferença com $A$ está em $\mathfrak{M}.$

[AbusoNot:EspTop-7] 3,0 ^3,1 ^3,2 ^3,3 ^3,4 A rigor, um espaço topológico é um par $\left(X, \tau\right),$ onde $τ$ é uma topologia para o conjunto $X .$ Para mais detalhes, consulte um dos livros citados nas referências do wikilivro Topologia, por exemplo General topology, de John L. Kelley, página 37.

[AbusoNot:EspMen-8] 4,0 ^4,1 ^4,2 ^4,3 ^4,4 ^4,5 ^4,6 Note que está sendo cometido um abuso de linguagem: a rigor, um espaço mensurável é na verdade um par $\left(X, \mathfrak{M}\right)$ e não apenas um conjunto $X .$ No entanto, conforme foi mencionado na Observação 1.9, é costume não explicitar a $σ$ -álgebra $\mathfrak{M},$ principalmente quando esta puder ser deduzida pelo contexto.

[obs:VazioMens-12] Na Obs. 1.3 se justifica porque o conjunto vazio é mensurável.

[13] Note que qualquer outro conjunto aberto com esta propriedade também serve.

[obs:FamNVazia-14] Está sendo suposto que a família é não-vazia, ou seja, que o seu conjunto de índices não é vazio.

[0] Conforme introdução do livro "The Elements of Integration and Lebesgue Measure", escrito por Bartle. Ver também a seção History, do artigo sobre integrais na Wikipédia inglesa.

[1] Ver na Wikiversidade a ementa da disciplina "Introdução ao Cálculo".

[2] Este teorema da análise é explicado em detalhes no capítulo sobre Convergência uniforme do wikilivro de Análise real.

[3] Lebesgue, Henri. Intégrale, longueur, aire. Annali di Matematica pura ed applicata, 1902. Springer.

[4] Para maiores detalhes, pode ser consultado o wikilivro intitulado "Topologia", ou alguma de suas referências.

[9] Alguns autores definem a mensurabilidade de funções a partir de outra propriedade (que será apresentada na Proposição 2.29). Veja, por exemplo, Isnard (2007), pág. 57.

[10] Isnard (2007) apresenta uma versão deste resultado, com $Y$ e $Z$ sendo espaços vetoriais normados, no exercício 13 da página 109.

[TopUsual-11] 8,0 ^8,1 ^8,2 Conforme K. D. Joshi em seu livro Introduction to General Topology, a topologia usual de $\mathbb{R}$ é aquela induzida pela métrica euclidiana.

[1]

[2]

[3]

[4]

[5]

[ver nota 1]

[ver nota 2]

[ver nota 3]

[ver nota 4]

[6]

[7]

[8]

[ver nota 5]

[ver nota 6]

[ver nota 7]

Medida e integração/Mensurabilidade

Origem: Wikilivros, livros abertos por um mundo aberto.

Índice

[editar] Introdução

[editar] O conceito de mensurabilidade

[editar] Observações

[editar] Exercícios

[editar] Notas

[editar] Referências

Acessos

Ferramentas pessoais

Pesquisa

Navegação

Projecto

Imprimir/exportar

Ferramentas