Teoria da Medida e Integração (MAT505)
|
|
- Fernando Moreira de Andrade
- 6 Há anos
- Visualizações:
Transcrição
1 Riemann Derivadas Variação Limitada Cont. Abs. Teoria da Medida e Integração (MAT505) Teoria de Derivação de Lebesgue. Teorema Fundamental do Cálculo. V. Araújo Instituto de Matemática, Universidade Federal da Bahia Mestrado em Matemática, UFBA, 2014
2 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Riemann-integrável é Lebesgue-integrável O próximo é resultado bem conhecido dos cursos de Análise no R n : Teorema Uma função limitada f : [a, b] R é integrável à Riemann se, e só se, o conjunto dos pontos de descontinuidade de f tem medida (de Lebesgue) nula. Vamos ver que nestas condições f é Lebesgue integrável e que o integral de Riemann b f (t) dt tem o a mesmo valor que [a,b] f dλ.
3 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Mensurabilidade Seja D = {x [a, b] : f é descontínua em x}. Então g = f [a, b] \ D : [a, b] \ D R é limitada e contínua no seu domínio, portanto g é Borel mensurável. Segue que f 1 [a,b]\d é mensurável pois é igual à função mensurável g em [a, b] \ D e igual a zero em D, com D conjunto mensurável. Finalmente, a diferença entre f e f 1 [a,b]\d ocorre num conjunto de medida nula, portanto f é mensurável.
4 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Integral com mesmo valor Para cada ϵ > 0 existe partição P de [a, b] dada por a = x 0 < x 1 < < x n = b tal que n f P, dλ = inf f [x i 1, x i ] b (x i x i 1 ) = S(f ; P) f (t) dt ϵ i=1 a b n f (t) dt + ϵ S(f ; P) = sup f [x i 1, x i ] (x i x i 1 ) = f P,+ dλ a i=1 onde f P, = i inf f [x i 1, x i ] 1 [xi 1,x i ) e f P,+ = i sup f [x i 1, x i ] 1 [xi 1,x i ) são funções simples e mensuráveis. Repetindo este argumento para cada ϵ = 1/ n obtemos sequências f n, f f n,+ para n 1 e podemos definir as funções mensuráveis limitadas (λ-integráveis) f = sup n f n, e f + = inf n f n,+.
5 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Estas funções satisfazem f + dλ b a f (t) dt f dλ e temos também (f + f ) dλ 0 f + dλ f dλ. Portanto (f + f ) dλ = 0 e obtemos f = f +, λ-qtp. Finalmente, como f f f +, deduzimos que f = f ±, λ-qtp e portanto f é λ-integrável e f + dλ = b a f (t) dt = f dλ = f dλ.
6 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Teorema Fundamental do Cálculo Se f : [a, b] R é contínua e sua derivada f é também contínua e definida em todo ponto de [a, b], então o Teorema Fundamental do Cálculo garante que x f (x) = f (a) + f (t) dt, a x [a, b]. Esta expressão poderia fazer sentido em contextos mais amplos: se f (x) só existisse λ-qtp e fosse λ-integrável, por exemplo. No entanto, o Teorema Fundamental do Cálculo não vale com hipóteses tão fracas.
7 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo A função de Cantor Defina a seguinte função f : [0, 1]. Para cada x seja x n n 1 com x 3 n n {0, 1, 2} sua expansão em base 3 e N(x) = se x n nunca assume o valor 1; N(x) = min{k 1 : x k = 1 e x j = 1, 1 j < k}. Agora seja y i = x i /2 para i < N(x) e y n = 1 se N(x) = n. Definimos agora f (x) = N(x) i=1 y n 2 n. É um exercício verificar que esta função é não descrescente, contínua, Hölder contínua, e constante em cada intervalo do complemento do conjunto ternário de Cantor.
8 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo A função de Cantor
9 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Construção de Função de Cantor Podemos definir recusivamente uma sequência de funções começando com f 0 (x) = x. Depois, para cada n 0, temos f n+1 (x) = 1 2 f n(3x) para 0 x 1 3 ; f n+1 (x) = 1 2 para 1 3 x 2 3 ; f n+1 (x) = f n(3x 2) para 2 3 x 1. Esta sequência converge pontualmente para a função de Cantor. Além disto, a convergência é uniforme, pois max f n+1(x) f n (x) 1 x [0,1] 2 max f n(x) f n 1 (x), n 1. x [0,1]
10 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Construção de Função de Cantor
11 Riemann Derivadas Variação Limitada Cont. Abs. vs Lebesgue Teorema Fundamental do Cálculo Função de Cantor como contra-exemplo Em particular, temos f (0) = 0, f (1) = 1 e, como o conjunto ternário de Cantor tem medida de Lebesgue nula, temos também que f = 0, λ-qtp. Portanto obtemos f (1) f (0) = 1 = 1 0 f dλ = 0. A função de Cantor não satisfaz o Teorema Fundamental do Cálculo!
12 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Derivação de medidas no espaço euclidiano O Teorema de Radon-Nikodym fornece uma noção abstrata de derivada de uma medida complexa ou com sinal ν em relação a outra medida μ num espaço mensurável (X, A). Agora consideramos o caso X = R n e A = B a σ-álgebra de Borel. Vamos definir uma derivada pontual de ν em relação a λ usando bolas em torno de um ponto x R n por F(x) = lim r 0 ν(b(x, r)) λ(b(x, r)) quando o limite existe. As bolas podem ser substituídas por outras famílias de conjuntos adequadas.
13 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Derivação pontual e Radon-Nikodym Se ν λ, então ν = f λ e neste caso ν(b(x, r)) λ(b(x, r)) = 1 f dλ λ(b(x, r)) B(x,r) e nós gostaríamos que F = f, λ-qtp. Isto vai acontecer realmente e podemos olhar para isto como uma generalização do Teorema Fundamental do Cálculo: a derivada da integral indefinida de f (ou seja, de ν) é f. A partir de agora integrável e qtp serão em relação à medida de Lebesgue em R n se nada for mencionado em contrário.
14 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Lema técnico muito útil Lema (versão do recobrimento de Vitali) Seja C coleção de bolas abertas em R n e seja U = B C B. Se λ(u) > c, então existe família finita disjunta B 1,..., B k C tal que k i=1 λ(b i) > c/3 n. Se λ(u) > c então existe compacto K U com λ(k) > c e uma família finita de bolas A 1,..., A m C cobre K. Seja B 1 a bola A j com o maior raio; B 2 a bola com maior raio entre as A i que não intersectam B 1 ; B 3 a bola com maior raio entre as A i que não intersecta B 1 B 2 ; e assim sucessivamente até que todos os A i foram usados ou não sobra nenhum disjunto dos B j escolhidos.
15 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Prova do lema Por construção, se A j não é um dos B i, então existe i tal que A j B i = e se i é o menor índice com esta propriedade, então o raio de A j é menor ou igual ao raio de B i. Então A j B com B i i mas o triplo do raio. Desta maneira obtemos K k i=1 B i a bola de mesmo centro que B i e c < λ(k) k λ(b i i=1 k ) = 3 n λ(b i ) i=1 como no enunciado do lema.
16 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Funções localmente integráveis Uma função mensurável f : R n C é localmente integrável se f, dλ < para todo conjunto B limitado e mensurável B R n. O espaço destas funções será denotado por L 1 loc. Se f L 1 loc e x Rn e r > 0, definimos Lema 1 A r f (x) = f dλ. λ(b(x, r)) B(x,r) Se f L 1 loc, então R+ R n R, (r, x) A r f (x) é contínua. Notemos que λ(b(x, r)) = cr n com c = λ(b(0, 1)) e λ(s(x, r)) = 0, onde S(x, r) = {y R n : y x 2 = r} é o bordo B(x, r) da bola, ou seja, a superfície da bola.
17 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Prova do lema e a função de Hardy-Littlewood Temos que 1 B(x,r) (r,x) (r 0,x 0 ) 1 B(x 0,r 0 ) pontualmente para todos os pontos de R n \ S(x 0, r 0 ), portanto temos convergência qtp e 1 B(x,r) 1 B(x0,r 0 +1) sempre que r r 0 e x x 0. O Teorema da Convergência Dominada garante que f dλ varia continuamente com (r, x) e portanto o B(x,r) mesmo acontece com A r f (x) = c 1 r n B(x,r) f dλ, concluindo a prova do lema. Definimos agora a função maximal de Hardy-Littlewood 1 Hf (x) = sup A r f (x) = sup f dλ. r>0 r>0 λ(b(x, r)) B(x,r)
18 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue O Teorema Maximal É claro que Hf é função mensurável e que (Hf ) 1 (a, ) = r>0(a r f ) 1 (a, + ) é aberto para cada a R pelo lema acabado de provar. Teorema (o Teorema Maximal) Existe C > 0 tal que para toda f L 1 (λ) e todo α > 0 λ[hf > α] C f dλ. α Para a prova, seja E α = [Hf > α].
19 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Prova do teorema Para cada x E α existe r x > 0 tal que A rx f (x) > α. As bolas B(x, r x ) cobrem E α. Logo, pelo lema de cobertura, se c < λ(e α ), então podemos achar x 1,..., x k E α tais que B j = B(x j, r xj ) são disjuntas e k i=1 λ(b i) > 3 n c. Mas c < 3 n k λ(b i ) 3n i=1 α k f dλ Bi 3n f dλ. α i=1 Fazendo c λ(e α ) completamos a prova do teorema.
20 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Teorema Fundamental da Derivação Usamos a seguir a noção de limite superior de função real de variável real ϕ: lim sup r R ϕ(r) = lim sup ϵ 0 0< r R <ϵ e o fato simples de verificar lim r R ϕ(r) = inf sup r>0 0< r R <ϵ ϕ(r) = c lim sup ϕ(r) c = 0. r R ϕ(r) Teorema (derivação de Lebesgue) Se f L 1 loc, então lim r 0 A r f (x) = f (x) para λ-qtp x R n.
21 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Prova do teorema Observemos que este resultado garante que 1 lim f (y) f (x) dλ(y) = 0. r 0 λ(b(x, r)) B(x,r) Para provar o teorema, basta mostrar que para N 1 temos A r f (x) f (x) para qtp x com x N. Mas para x N e r 1 os valores de A r f (x) dependem apenas dos valores de f (y) com y N + 1. Portanto, substituindo f por f 1 B(0,N+1) podemos assumir que f L 1 (λ). Usando isto, sabemos que para cada ϵ > 0 podemos achar uma função contínua e integrável g tal que f g 1 < ϵ. Assim g é uniformemente contínua no fecho da bola B(0, N + 1).
22 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Para cada δ > 0 existe r > 0 tal que se x y 2 < r então 1 A r g(x) g(x) = g(y) g(x) dλ(y) λ(b(x, r)) B(x,r) 1 δ λ(b(x, r)) = δ. λ(b(x, r)) Portanto A r g(x) r 0 g(x) para cada x B(0, N + 1), logo lim sup A r f (x) f (x) r 0 = lim sup A r (f g)(x) + (A r g g)(x) + (g f )(x) r 0 H(f g)(x) f g (x). Fazemos agora E α = [lim sup r 0 A r f f > α] e F α = [ f g > α].
23 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Notamos que vale E α F α/2 [H(f g) > α/2]. Mas α 2 λ(e α/2) E α/2 f g dλ < ϵ que junto com o lema maximal garante que λ(e α ) 2ϵ α + 2Cϵ α com ϵ > 0 arbitrário. Deduzimos assim que λ(e α ) = 0 para todo α > 0 e portanto que lim A rf (x) = f (x), r 0 x B(0, N + 1) \ E 1/n. n 1 Como λ( n 1 E 1/n ) = 0 a prova está completa.
24 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Conjunto de Lebesgue de uma função Para cada f L 1 definimos conjunto de Lebesgue loc L(f ) = x R n : lim r 0 1 λ(b(x, r)) f (y) f (x) dλ(y) = 0 B(x,r). Proposição Para cada f L 1 loc temos que λ(rn \ L(f )) = 0. Para provar, para cada c C aplicamos o teorema anterior à função g c (x) = f (x) c e deduzimos que, exceto num conjunto E c de medida nula lim r 0 1 λ(b(x, r)) f (y) c dλ(y) = f (x) c. B(x,r)
25 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Prova da Proposição Fixando D conjunto enumerável denso em C e E = c D E c, então λ(e) = 0. Para x C \ E e cada ϵ > 0, existe c D com f (x) c < ϵ e logo f (y) f (x) < f (y) c + ϵ e assim lim sup r 0 1 λ(b(x, r)) f (y) f (x) dλ(y) = f (x) c + ϵ < 2ϵ. B(x,r) Como ϵ > 0 é arbitrário, concluimos que C \ E L(f ) e portanto R n \ L(f ) E tem medida nula, como no enunciado, completando a prova.
26 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Famílias mais gerais que bolas Uma família de conjuntos {E r } r>0 é substancial em x R n se E r B(x, r) para todo r > 0; existe α > 0 independente de r > 0 tal que λ(e r ) > αλ(b(x, r)). Observe que E r não tem que conter o ponto x. Exemplo: se U é algum boreliano contido em B(0, 1) com medida positiva e E r = {x + ry : y U}, então {E r } r>0 é família substancial em x.
27 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Teorema de Derivação de Lebesgue Teorema Seja f L 1. Para cada x L(f ) loc 1 lim sup f (y) f (x) dλ(y) = 0 r 0 λ(e r ) E r 1 lim f dλ = f (x) r 0λ(E r ) E r para toda família substancial {E r } r>0 em x. Para a prova basta observar que 1 λ(e r ) E r f f (x) dλ 1 1 f f (x) dλ f f (x) dλ. λ(e r ) B(x,r) αλ(b(x, r)) B(x,r) e
28 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Pontos de densidade Se E R n é mensurável, sua densidade é a função λ(e B(x,r)) D E (x) = lim r 0 sempre que o limite existe. λ(b(x,r)) Como D E (x) = A r 1 E (x) e 1 E (x) é localmente integrável, então pelo Teorema de Derivação de Lebesgue obtemos que D E (x) = 1 para λ qtp x E e D E (x) = 0 para λ-qtp x R n \ E. Os pontos onde D E (x) = 1 chamam-se pontos de densidade de Lebesgue do conjunto E. É um excelente exercício obter exemplos de mensuráveis E e pontos x para os quais D E (x) = α para algum α fixado em (0, 1), ou tal que D E (x) não existe, e em cada caso com x E ou com x / E.
29 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Representação de Lebesgue-Radon-Nikodym Seja ν uma medida σ-finita com sinal ou complexa boreliana em R n e ν = ν s + f λ sua representação via decomposição de Lebesgue com respeito a λ e Radon-Nikodym. Proposição Para λ-qtp x R n e toda família substancial {E r } r>0 em x temos D ν (x) := lim r 0 ν(e r ) λ(e r ) = f (x). Todas as medidas envolvidas neste enunciado são regulares no sentido topológico, ou seja, ν é regular porque é Boreliana e σ-finita.
30 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Prova da proposição Pelos resultados anteriores, como ν = ν s + f λ, basta mostrar que ν s (E r )/λ(e r ) 0 quando r 0. Podemos assumir que ν s é positiva e que E r = B(x, r), porque ν s (E r ) λ(e r ) ν s (E r ) λ(e r ) ν s (B(x, r)) λ(e r ) ν s (B(x, r)) αλ(b(x, r)). Assumindo que ν s 0 seja A boreliano tal que ν s (A) = λ(r n \ A) = 0 e F k = x A : lim sup r 0 ν s (B(x, r)) λ(b(x, r)) > 1 k Vamos mostrar que λ(f k ) = 0 para todo k 1, terminando o argumento..
31 Riemann Derivadas Variação Limitada Cont. Abs. Hardy-Littlewood Derivação de Lebesgue Para cada ϵ > 0 existe U ϵ aberto tal que U ϵ A e ν s (U ϵ ) < ϵ. Cada x F k é o centro de uma bola B x U ϵ tal que ν s (B x ) > 1 k λ(b x). Seja V ϵ = x Fk B x. Por lema de cobertura, se c < λ(v ϵ ), então existem x 1,..., x J tais que B xi são disjuntas para i = 1,..., J e c < 3 n J λ(b xi ) 3 n k i=1 J ν s (B xi ) 3 n kν s (V ϵ ) i=1 3 n kν s (U ϵ ) 3 n kϵ. Portanto λ(v ϵ ) 3 n kϵ. Como F k V ϵ e ϵ > 0 é arbitrário, concluimos que λ(f k ) = 0 como queremos.
32 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Generalizando o Teorema Fundamental do Cálculo Se f : [a, b] R satisfaz f (x) f (y) = x y f (t) dt, a y x b então a função μ([y, x)) = f (x) f (y) é como se fosse medida com sinal; essa medida com sinal μ é absolutamente contínua em relação à medida de Lebesgue. Pela representação de Lebesgue-Radon-Nikodym, se μ definida acima é medida com sinal, então f (x) f (y) = μ([y, x)) = μ s ([y, x]) + D μ dλ. [y,x)
33 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Plano de prova Então queremos que μ s ([y, x]) 0, isto é, que μ s = 0 e assim μ λ; e ainda [y,x) D μ dλ = x y f (t) dt. Vamos assim 1 classificar as f : [a, b] R tais que μ([y, x)) := f (x) f (y) define medida com sinal; 2 entre estas funções, identificar aquelas tais que μ λ. Feito isto, identificamos a classe de funções que satisfazem o Teorem Fundamental do Cálculo.
34 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Funções de variação limitada Seja f : [a, b] R(C). Para cada x [a, b] definimos a variação de f em x n V f (x) = sup f (x j ) f (x j 1 ) : x 0 < x 1 < < x n = x j=1 e a variação total de f : V(f ) = V f (b). Dizemos que f tem variação limitada se V(f ) < ; e que f de variação limitada é normalizada se f é contínua à esquerda em todo ponto: lim x r f (x) = f (r), r [a, b]. Segue que para f.g : [a, b] R(C) de variação limitada e c C se tem V f +cg (x) V f (x) + c V g (x), x [a, b]; e portanto V(f + cg) V(f ) + c V(g). Assim, o conjunto VL = VL([a, b]) das funções de variação limitada e o subconjunto VLN = VLN([a, b]) das normalizadas, são espaços vetoriais (reais ou complexos).
35 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Exemplos Toda f : [a, b] R não descrescente tem variação limitada: V(f ) = f (b) f (a) <. Se f = 1 Q então f não tem variação limitada: tome n 1 e x = x n Q; e alternadamente x j Q, x j 1 / Q, j = 1,..., n. Portanto n j=1 f (x j) f (x j 1 ) = n e assim V(f ) n. Como n é um inteiro positivo arbitrário, provamos que V(f ) =.
36 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Propriedades de funções de variação limitada Lema Se f : [a, b] R(C) tem variação limitada, então 1 x, y, x > y = f (x) f (y) V f (x) V f (y); 2 r [a, b] existem os limites à esquerda lim x r ± f (x); 3 o conjunto dos pontos de densidade é enumerável (podendo ser finito ou vazio). O ítem (1) segue diretamente da definição de V f (x). Para o item (2), se V(f ) <, então V f é não-decrescente e assume valores finitos logo, dado r [a, b], existem os limites laterais lim x r ± V f (x) (pelo ítem (1)). Fixemos o caso r + (o outro é análogo). Pelo ítem (1), se r + < y < x f (x) f (y) V f (x) V f (y) y,x r + 0.
37 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Para o ítem (3), se V f é contínua em r, então f é contínua em r (pelo ítem (1)). Mas V f é monótona não decrescente, logo seus pontos de descontinuidade estão associados a intervalos no complemento da imagem de f (resultado bem conhecido de Análise) e, portanto, formam um conjunto enumerável. Isto conclui a prova do Lema. Proposição Se f : [a, b] R é função de variação limitada, então existem g, h : [a, b] R não decrescentes (de variação limitada) tais que f = g h. Se f é normalizada, então g, h também são. A prova se resume a tomar g = 1 2 (f + V f ) e h = 1 2 (V f f ) e a verificar as propriedades enunciadas. É fácil ver que g, h são não decrescentes e de variação limitada.
38 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Prova da proposição Resta mostrar que se f é normalizada, então g, h também são. Mas como VLN, assim como VL, é espaço vetorial, basta mostrar que V f é normalizada. Seja x r. Então V f (r) V f (x). Para ϵ > 0 fixado, existe ζ > 0 tal que 0 < r x < ζ = f (r) f (x) < ϵ/2. Podemos agora escolher a = x 0 < x 1 < < x n = r com V f (r) n f (x i ) f (x i 1 ) < ϵ 2 e r x n 1 < ζ i=1 e obtemos V f (r) V f (x) majorado por n i=1 f (x i ) f (x i 1 ) + ϵ n 1 2 i=1 e por f (r) f (x) + ϵ/2 < ϵ. f (x i ) f (x i 1 ) f (x) f (x n 1 )
39 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Teorema Para f : [a, b] R(C): 1 f VLN!μ medida complexa tal que f (x) f (a) = μ([a, x)), x [a, b]. 2 f VLN é contínua em r [a, b] μ({r}) = 0. 3 se f VLN, então V f (x) = μ ([a, x)), x [a, b]. Ítem (1): se f (x) f (a) = μ([a, x)), x [a, b] V f (x) = sup n μ([x j 1, x j )) : a = x 0 < x 1 < < x n = x i=1 μ ([a, x)) μ ([a, b]) < e f VL e provamos uma desigualdade do ítem (3). Além disto, lim x r f (x) = f (a) + lim μ([a, x)) = f (a) + μ([a, r)) x r = f (a) + f (r) f (a) = f (r) e f VLN.
40 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Para a recíproca do ítem (1), suponhamos que f VLN é real não descrescente. No semianel S dos subintervalos de [a, b] fechados à esquerda e abertos à direita, seja τ([x, y)) = f (y) f (x). Isto define uma medida regular σ-finita no semianel e também uma medida exterior μ cuja restrição aos mensuráveis coincide com τ em S, logo μ([a, x)) = τ([a, x)) = f (x) f (a). Para o caso de f VLN real em geral, escrevemos f = g h comc g, h não descrescentes, definimos μ g, μ h como acima e definimos μ = μ g μ h que é medida com sinal tal que μ([a, x)) = g(x) g(a) (h(x) h(a)) = g(x) h(x) (g(a) h(a)) = f (x) f (a).
41 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades Para f VLN complexa, reduzimos às suas componentes reais e imaginárias para obter funções reais em VLN e aplicar as ideias anteriores a cada componente, para obter uma medida complexa que representa f (x) f (a). Ítem (2): segue do ítem (1) lim x r +(f (x) f (r)) = lim μ([a, x)) = μ([a, r)) + μ({r}) + x r = f (r) f (a) + μ({r}) logo lim x r + f (x) = f (r) + μ({r}) e vale continuidade de f VLN se, e só se, μ({r}) = 0. Ítem (3): já sabemos que V f (x) = ν([a, x)) com ν medida positiva, porque V f é não descrescente e está em VLN. Além disto μ([a, x)) ν([a, x)) para todo x [a, b]. Portanto μ ν (pois a desigualdade anterior se estende a qualquer coleção finita de intervalos e portanto a todo boreliano), logo μ ([a, x)) V f (x).
42 Riemann Derivadas Variação Limitada Cont. Abs. Definição Funções absolutamente contínuas Veremos agora quando μ f dada por f (x) f (a) é absolutamente contínua em relação à medida de Lebesgue. Dizemos que f : [a, b] R(C) é absolutamente contínua se para cada ϵ > 0 existe δ > 0 tal que se a 1 < b 1 < a 2 < b 2 < < a n < b n em [a, b] com n N, então n n (b j a j ) δ = f (b j ) f (a j ) < ϵ. j=1 j=1 É fácil verificar que o conjunto AC([a, b]) das funções absolutamente contínuas em [a, b] é um espaço vetorial com a soma de funções e produto escalar usuais; toda f AC([a, b]) é uniformemente contínua. toda f : [a, b] R(C) Lipschitziana está em AC([a, b]).
43 Riemann Derivadas Variação Limitada Cont. Abs. Definição Propriedades de funções AC Proposição Seja f : [a, b] R(C) em AC. Então f VL e V f AC. A prova fica como exercício. Teorema Seja f VLN e μ = μ f sua medida associada. Então f AC μ λ. No caso particular de f AC é não descrescente, temos μ medida positiva e, se N é boreliano com λ(n) = 0 podemos usar a regularidade para, dado ϵ > 0, achar δ (de acordo com AC) e uma cobertura (a j, b j ) j 1 de N por intervalos abertos tal que j λ(a j, b j ) = j (b j a j ) < ϵ. Então N j=1 f (b j) f (a j ) < ϵ, N 1 e deduzimos j 1 μ([a j, b j )) ϵ logo μ(n) ϵ. Portanto μ λ.
44 Riemann Derivadas Variação Limitada Cont. Abs. Definição É um exercício provar que μ λ ϵ > 0 δ > 0 : λ(e) < δ = μ(e) < ϵ para todo boreliano E. Para E = [a 1, b 1 )... [a n, b n ) com os a i, b i como na definição de AC, temos λ(e) = j (b j a j ) < δ = j f (b j) f (a j ) < ϵ e esta última soma é majorante para μ(e), portanto μ λ. No caso geral em que f AC é complexa, então V f AC (proposição anterior) e V f é não descrescente; pelo caso particular já visto, temos μ λ onde μ é a medida associada a f, portanto μ λ. Se μ λ com μ medida complexa, então μ λ e a função associada a μ está em AC, ou seja, V f AC. Como f (y) f (x) V f (x) V f (y) então f AC também e completamos a prova.
Teoria da Medida e Integração (MAT505)
Teoria da Medida e Integração (MAT505) Teoria de Derivação de Lebesgue. Teorema Fundamental do Cálculo. V. Araújo Mestrado em Matemática, UFBA, 204 Conteúdo Riemann. vs Lebesgue..............................2
Leia maisTeoria da Medida e Integração (MAT505)
Modos de convergência Teoria da Medida e Integração (MAT505) Modos de convergência. V. Araújo Instituto de Matemática, Universidade Federal da Bahia Mestrado em Matemática, UFBA, 2014 Modos de convergência
Leia maisTeoria da Medida e Integração (MAT505)
Transporte de medidas Teoria da Medida e Integração (MAT505) Transporte de medidas e medidas invariantes. Teorema de Recorrência de Poincaré V. Araújo Instituto de Matemática, Universidade Federal da Bahia
Leia maisTeoria da Medida e Integração (MAT505)
Teoria da Medida e Integração (MAT505) Modos de convergência V. Araújo Mestrado em Matemática, UFBA, 2014 1 Modos de convergência Modos de convergência Neste ponto já conhecemos quatro modos de convergência
Leia maisExercícios de Teoria da Probabilidade e Processos Estocásticos Parte I
Exercícios de Teoria da Probabilidade e Processos Estocásticos Parte I 2013/2014 Exercício 1. Seja (, F) um espaço mensurável. Mostre que 1. F. 2. se A i F, i = 1, 2,... então n i=1 A i F. 3. se A i F,
Leia maisO Teorema de Radon-Nikodým
Universidade stadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação eletrônica do KIT http://www.dma.uem.br/kit O Teorema de Radon-Nikodým
Leia maisDANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte
Leia maisMAT 5798 Medida e Integração IME 2017
MAT 5798 Medida e Integração IME 2017 http://www.ime.usp.br/ glaucio/mat5798 Lista 11 - Integral de Bochner Fixemos um espaço de medida completo (X, M, µ) até o final desta lista. As duas primeiras questões
Leia maisExercício 18. Demonstre a proposição anterior. (Dica: use as definições de continuidade e mensurabilidade)
Proposição 2.7. Sejam Y e Z espaços métricos e X um espaço mensurável. Se f : X Y é uma função mensurável e g : Y Z é uma função contínua então g f : X Z é uma função mensurável. Exercício 18. Demonstre
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA. Medida e Probabilidade
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA Medida e Probabilidade Aluno: Daniel Cassimiro Carneiro da Cunha Professor: Andre Toom 1 Resumo Este trabalho contem um resumo dos principais
Leia maisNotas de Teoria da Probabilidade e Processos Estocásticos
Notas de Teoria da Probabilidade e Processos Estocásticos José Pedro Gaivão Resumo Estas notas destinam-se à disciplina de Teoria da Probabilidade e Processos Estocásticos do Mestrado de Matemática Financeira
Leia maisNotas de Teoria da Probabilidade e Processos Estocásticos
Notas de Teoria da Probabilidade e Processos Estocásticos José Pedro Gaivão Resumo Estas notas destinam-se à disciplina de Teoria da Probabilidade e Processos Estocásticos do Mestrado de Matemática Financeira
Leia maisNo que segue, X sempre denota um espaço topológico localmente compacto
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK No que segue, sempre denota um espaço topológico localmente compacto Hausdorff. Se f : R é uma função, então supp f denota o{ suporte (relativamente
Leia mais1.3 Conjuntos de medida nula
1.3 Conjuntos de medida nula Seja (X, F, µ) um espaço de medida. Um subconjunto A X é um conjunto de medida nula se existir B F tal que A B e µ(b) = 0. Do ponto de vista da teoria da medida, os conjuntos
Leia maisMEDIDAS COM SINAL.. Uma medida com sinal σ-aditiva (ou, simplesmente, uma medida com sinal) µ(a n ) def = lim
MEDIDAS COM SINAL DANIEL V. TAUSK 1. Definição. Seja C uma coleção de conjuntos tal que C. Uma medida com sinal finitamente aditiva em C é uma função µ : C R tal que: µ( ) = 0; se (A n ) t é uma seqüência
Leia maisLaboratório Nacional de Computação Científica LNCC, Brasil URL: alm URL: alm/cursos/medida07.
Introdução à Medida e Integração Pós-graduação da EPGE FGV 1 Alexandre L. Madureira Laboratório Nacional de Computação Científica LNCC, Brasil URL: http://www.lncc.br/ alm URL: http://www.lncc.br/ alm/cursos/medida07.html
Leia maisContinuidade de processos gaussianos
Continuidade de processos gaussianos Roberto Imbuzeiro Oliveira April, 008 Abstract 1 Intrudução Suponha que T é um certo conjunto de índices e c : T T R é uma função dada. Pergunta 1. Existe uma coleção
Leia mais1 Conjuntos enumeráveis
Medida e Integração. Departamento de Física e Matemática. USP-RP. Prof. Rafael A. Rosales de maio de 007. Conjuntos enumeráveis Denotamos por Q os numeros racionais, logo [0, ] Q, são os números racionais
Leia maisNotas Para o Curso de Medida e. Daniel V. Tausk
Notas Para o Curso de Medida e Integração Daniel V. Tausk Sumário Capítulo 1. Medida de Lebesgue e Espaços de Medida... 1 1.1. Aritmética na Reta Estendida... 1 1.2. O Problema da Medida... 6 1.3. Volume
Leia maisOs Teoremas Fundamentais do Cálculo
Os Teoremas Fundamentais do Cálculo Manuel Ricou IST, 1 de Fevereiro de 2010 O que são os TFC s? Para já, um pretexto para discutirmos algumas das questões mais básicas e mais antigas da Matemática, Alguns
Leia maisMAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos
MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos Prof. Edson de Faria 30 de Março de 2014 Observação: O objetivo desta lista é motivar uma revisão dos conceitos e fatos básicos sobre
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas - CCE Departamento de Matemática Primeira Lista de MAT641 - Análise no R n
Universidade Federal de Viçosa Centro de Ciências Exatas - CCE Departamento de Matemática Primeira Lista de MAT641 - Análise no R n 1. Exercícios do livro Análise Real, volume 2, Elon Lages Lima, páginas
Leia mais{ 1 se x é racional, 0 se x é irracional. cos(k!πx) = cos(mπ) = ±1. { 1 se x Ak
Solução dos Exercícios Capítulo 0 Exercício 0.: Seja f k : [0, ] R a função definida por Mostre que f k (x) = lim j (cos k!πx)2j. { f k (x) = se x {/k!, 2/k!,..., }, 0 senão e que f k converge pontualmente
Leia maisx B A x X B B A τ x B 3 B 1 B 2
1. Definição e exemplos. Bases. Dar uma topologia num conjunto X é especificar quais dos subconjuntos de X são abertos: Definição 1.1. Um espaço topológico é um par (X, τ) em que τ é uma colecção de subconjuntos
Leia maisResumo do Trabalho de Graduação
UNIVRSIDAD FDRAL D SÃO CARLOS CNTRO D CIÊNCIAS XATAS D TCNOLOGIA DPARTAMNTO D MATMÁTICA Resumo do Trabalho de Graduação Introdução à Teoria de Medida e Integração Responsável: Prof. Dr. Artur Darezzo Filho
Leia maisO Teorema de Peano. f : D R n. uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e uma função ϕ : I R n tais que
O Teorema de Peano Equações de primeira ordem Seja D um conjunto aberto de R R n, e seja f : D R n (t, x) f(t, x) uma função contínua. Vamos considerar o seguinte problema: Encontrar um intervalo I R e
Leia maisNoções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno. André Arbex Hallack
Noções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno André Arbex Hallack Setembro/2011 Introdução O presente texto surgiu para dar suporte a um Seminário
Leia maisLista 4. Esta lista, de entrega facultativa, tem três partes e seus exercícios versam sobre séries, funções contínuas e funções diferenciáveis em R.
UFPR - Universidade Federal do Paraná Departamento de Matemática CM095 - Análise I Prof José Carlos Eidam Lista 4 INSTRUÇÕES Esta lista, de entrega facultativa, tem três partes e seus exercícios versam
Leia maisPropriedades das Funções Contínuas
Propriedades das Funções Contínuas Prof. Doherty Andrade 2005- UEM Sumário 1 Seqüências 2 1.1 O Corpo dos Números Reais.......................... 2 1.2 Seqüências.................................... 5
Leia maisTopologia. Fernando Silva. (Licenciatura em Matemática, 2007/2008) 13-agosto-2018
Topologia (Licenciatura em Matemática, 2007/2008) Fernando Silva 13-agosto-2018 A última revisão deste texto está disponível em http://webpages.fc.ul.pt/~fasilva/top/ Este texto é uma revisão do texto
Leia maisEntão (τ x, ) é um conjunto dirigido e se tomarmos x U U, para cada U vizinhança de x, então (x U ) U I é uma rede em X.
1. Redes Quando trabalhamos no R n, podemos testar várias propriedades de um conjunto A usando seqüências. Por exemplo: se A = A, se A é compacto, ou se a função f : R n R m é contínua. Mas, em espaços
Leia maisIntrodução à Análise Funcional
Introdução à Análise Funcional José Carlos de Sousa Oliveira Santos Departamento de Matemática Pura Faculdade de Ciências Universidade do Porto Porto Julho de 2010 Índice Índice Introdução i iii 1 Teoria
Leia maisReviso de Teoria da Medida e Elementos Bsicos de Probabilidade
Reviso de Teoria da Medida e Elementos Bsicos de Probabilidade Roberto Imbuzeiro Oliveira 9 de Março de 2009 Resumo Esta lista cobre o básico do básico sobre espaços e distribuições de probabilidade. Pouco
Leia maisMAT Cálculo Avançado - Notas de Aula
bola fechada de centro a e raio r: B r [a] = {p X d(p, a) r} MAT5711 - Cálculo Avançado - Notas de Aula 2 de março de 2010 1 ESPAÇOS MÉTRICOS Definição 11 Um espaço métrico é um par (X, d), onde X é um
Leia maisExercícios de topologia geral, espaços métricos e espaços vetoriais
Exercícios de topologia geral, espaços métricos e espaços vetoriais 9 de Dezembro de 2009 Resumo O material nestas notas serve como revisão e treino para o curso. Estudantes que nunca tenham estudado estes
Leia maisσ-álgebras, geradores e independência
σ-álgebras, geradores e independência Roberto Imbuzeiro M. F. de Oliveira 15 de Março de 2009 Resumo Notas sobre a σ-álgebra gerada por uma variável aleatória X e sobre as condições de independência de
Leia maisNotas de Aula. Análise Funcional
Notas de Aula Análise Funcional Rodney Josué Biezuner 1 Departamento de Matemática Instituto de Ciências Exatas (ICEx) Universidade Federal de Minas Gerais (UFMG) Notas de aula do curso Análise Funcional
Leia mais1 Construção da medida de Lebesgue
Lista de exercícios - Análise Real - 2013/2 1 Construção da medida de Lebesgue O objetivo desta lista é registrar a sequência de passos que usamos no curso para construir a medida de Lebesgue. Com algumas
Leia maisTEORIA ERGÓDICA, SISTEMAS DINÂMICOS E MEDIDAS INVARIANTES
TEORIA ERGÓDICA, SISTEMAS DINÂMICOS E MEDIDAS INVARIANTES Aluno: Juliana Arcoverde V. L. Ribeiro Orientador: Lorenzo Justiniano Díaz Casado Introdução A Teoria dos Sistemas Dinâmicos, ou mais exatamente
Leia maisGabarito da Primeira Prova MAT0234 Análise Matemática I Prof. Daniel Victor Tausk 13/09/2011
Gabarito da Primeira Prova MAT0234 Análise Matemática I Prof. Daniel Victor Tausk 13/09/2011 Questão 1. Sejam X, X conjuntos e φ : X X uma função. (a) (valor 1,25 pontos) Mostre que se A é uma σ-álgebra
Leia maisCDI-II. Resumo das Aulas Teóricas (Semana 1) 2 Norma. Distância. Bola. R n = R R R
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Prof. Gabriel Pires CDI-II Resumo das Aulas Teóricas (Semana 1) 1 Notação R n = R R R x R n : x = (x 1, x 2,, x n ) ; x
Leia mais1. A prova tem duração de 3 horas e pode ser feita a lápis. 2. Escolha e resolva 5 (cinco) questões. Justifique as suas afirmações. Boa prova.
2 ā Prova de MAT5798 - MEDIDA E INTEGRAÇÃO - IMEUSP 31 de maio - 1 ō semestre de 2016 Nome : SEMI-GABARITO N ō USP : Professor : Oswaldo Rio Branco de Oliveira 1. A prova tem duração de 3 horas e pode
Leia maisEquações Diferenciais Parciais
Universidade Federal de São Carlos Centro de Ciências xatas e de Tecnologia Departamento de Matemática Introdução à Teoria das Distribuições e Tópicos de quações Diferenciais Parciais Autor: Igor Ambo
Leia maisExercícios de Teoria da Probabilidade e Processos Estocásticos Parte I
Exercícios de Teoria da Probabilidade e Processos Estocásticos Parte I 2014/2015 Os exercícios assinalados com (*) têm um nível de dificuldade superior. Exercício 1. Seja (X, F) um espaço mensurável. Mostre
Leia maisNotas de Aula. Medida e Integração
Notas de Aula Medida e Integração Rodney Josué Biezuner 1 Departamento de Matemática Instituto de Ciências Exatas (ICEx Universidade Federal de Minas Gerais (UFMG Notas de aula do curso Medida e Integração
Leia maisLISTA 3 DE INTRODUÇÃO À TOPOLOGIA 2011
LISTA 3 DE INTRODUÇÃO À TOPOLOGIA 2011 RICARDO SA EARP Limites e continuidade em espaços topológicos (1) (a) Assuma que Y = A B, onde A e B são subconjuntos abertos disjuntos não vazios. Deduza que A B
Leia maisMAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004
MAT 317 - Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 1 Nome : Número USP : Assinatura : Professor : Severino Toscano do Rêgo Melo 2 3 4 5 Total Podem tentar fazer todas as questões.
Leia mais1 Álgebra linear matricial
MTM510019 Métodos Computacionais de Otimização 2018.2 1 Álgebra linear matricial Revisão Um vetor x R n será representado por um vetor coluna x 1 x 2 x =., x n enquanto o transposto de x corresponde a
Leia maisFaremos aqui uma introdução aos espaços de Banach e as diferentes topologías que se podem definir nelas.
Capítulo 2 Espaços de Banach Faremos aqui uma introdução aos espaços de Banach e as diferentes topologías que se podem definir nelas. 2.1 Espaços métricos O conceito de espaço métrico é um dos conceitos
Leia maisProdutos de potências racionais. números primos.
MATEMÁTICA UNIVERSITÁRIA n o 4 Dezembro/2006 pp. 23 3 Produtos de potências racionais de números primos Mário B. Matos e Mário C. Matos INTRODUÇÃO Um dos conceitos mais simples é o de número natural e
Leia maisTeoremas de uma, duas e três séries de Kolmogorov
Teoremas de uma, duas e três séries de Kolmogorov 13 de Maio de 013 1 Introdução Nestas notas Z 1, Z, Z 3,... é uma sequência de variáveis aleatórias independentes. Buscaremos determinar condições sob
Leia maisUniversidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática. O Teorema de Arzelá. José Renato Fialho Rodrigues
Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática O Teorema de Arzelá José Renato Fialho Rodrigues Belo Horizonte - MG 1994 José Renato Fialho Rodrigues O Teorema
Leia maisDemonstração. Ver demonstração em [1]. . Para que i j se tem µ i µ j? Determine a derivada no sentido de Radon-Nikodym em cada caso.
Proposição 2.39 (Propriedades de e.). Sejam µ, λ, λ 1, λ 2 medidas no espaço mensurável (X, F). Então 1. se λ 1 µ e λ 2 µ então (λ 1 + λ 2 ) µ. 2. se λ 1 µ e λ 2 µ então (λ 1 + λ 2 ) µ. 3. se λ 1 µ e λ
Leia maisAula vinte e quatro: Sequências de funções contínuas e limites
Aula vinte e quatro: Sequências de funções contínuas e limites Na semana passada a gente viu que: 1. Se f : M N é função contínua e K M é compacto, f K é uniformemente continua. Idea da prova: Fixado ɛ
Leia maisAxiomatizações equivalentes do conceito de topologia
Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial
Leia maisA incompletude do espaço das funções integráveis segundo Riemann
A incompletude do espaço das funções integráveis segundo Riemann José Carlos Santos Boletim da Sociedade Portuguesa de Matemática, Maio de 26 Introdução Considere-se o seguinte teorema clássico de Topologia,
Leia maisProfessor: Carlos Eugênio da Costa Teoria Microeconômica II Monitor: Diego Santiago
Professor: Carlos Eugênio da Costa Teoria Microeconômica II - 2012 Monitor: Diego Santiago EPGE/FGV Introdução matemática 1 Introdução Esta introdução visa familiarizar o aluno com ferramentas matemáticas
Leia maisCurso: MAT 221- CÁLCULO DIFERENCIAL E INTEGRAL IV Professor Oswaldo Rio Branco de Oliveira Período: Segundo Semestre de 2008
Curso: MAT 221- CÁLCULO DIERENCIAL E INTEGRAL IV Professor Oswaldo Rio Branco de Oliveira Período: Segundo Semestre de 2008 SÉRIES E SOMAS EM ÁLGEBRAS: C([a, b]), M n n (R), M n n (C), etc. O PRODUTO DE
Leia maisUniversidade Federal de Juiz de Fora. André Desiderio Maldonado. Integral de Lebesgue, Espaços de Sobolev e Aplicações
Universidade Federal de Juiz de Fora André Desiderio Maldonado Integral de Lebesgue, Espaços de Sobolev e Aplicações Juiz de Fora 2013 André Desiderio Maldonado Integral de Lebesgue, Espaços de Sobolev
Leia maisAbril de Tese submetida à Faculdade de Ciências da Universidade do Porto. Orientada por José Ferreira Alves Departamento de Matemática Pura
Funções de variação limitada Maria de Fátima Pacheco Abril de 2001 Tese submetida à Faculdade de Ciências da Universidade do Porto para obtenção de grau de Mestre em Matemática-Fundamentos e Aplicações
Leia maisLista 8 de Análise Funcional - Doutorado 2018
Lista 8 de Análise Funcional - Doutorado 2018 Professor Marcos Leandro 17 de Junho de 2018 1. Sejam M um subespaço de um espaço de Hilbert H e f M. Mostre que f admite uma única extensão para H preservando
Leia maisExpansão decimal de números reais e conjuntos de medida total
Expansão decimal de números reais e conjuntos de medida total Decimal expansion of real numbers and sets of total measure Leandro Batista Morgado Universidade Federal de Santa Catarina (UFSC) Departamento
Leia maisFabio Augusto Camargo
Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Autor: Fabio Augusto Camargo Orientador: Prof. Dr. Márcio de Jesus Soares
Leia mais) a sucessão definida por y n
aula 05 Sucessões 5.1 Sucessões Uma sucessão de números reais é simplesmente uma função x N R. É conveniente visualizar uma sucessão como uma sequência infinita: (x(), x(), x(), ). Neste contexto é usual
Leia mais3.1 Limite & Continuidade
3. FUNÇÕES CONTÍNUAS ANÁLISE NO CORPO R - 2018.1 3.1 Limite & Continuidade 1. Mostre que a função valor absoluto f (x) = jxj é contínua em qualquer ponto x 2 R: 2. A função de Dirichlet ' : R! R é de nida
Leia mais2.1 Sucessões. Convergência de sucessões
Capítulo 2 Sucessões reais Inicia-se o capítulo introduzindo os conceitos de sucessão limitada, sucessão monótona, sucessão convergente e relacionando estes conceitos entre si. A análise da convergência
Leia mais1, se t Q 0, se t R\Q
3.1 Mostre que a função valor absoluto f (x) = x é contínua em qualquer ponto x R. 3.2 Mostre que a função de Dirichlet ϕ : R R dada por: 1, se t Q ϕ (t) = 0, se t R\Q é descontínua em qualquer ponto t
Leia maisA Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário
A Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário Renan de Oliveira Pereira, Ouro Preto, MG, Brasil Wenderson Marques Ferreira, Ouro Preto, MG, Brasil Eder Marinho
Leia maisCompacidade de conjuntos e operadores lineares
Compacidade de conjuntos e operadores lineares Roberto Imbuzeiro Oliveira 13 de Janeiro de 2010 No que segue, F = R ou C e (X, X ), (Y, Y ) são Banach sobre F. Recordamos que um operador linear T : X Y
Leia maisProvas de Análise Real - Noturno - 3MAT003
Provas de 2006 - Análise Real - Noturno - 3MAT003 Matemática - Prof. Ulysses Sodré - Londrina-PR - provas2006.tex 1. Definir a operação ϕ entre os conjuntos A e B por ϕ(a, B) = (A B) (A B). (a) Demonstrar
Leia maisTopologia e Análise Linear. Maria Manuel Clementino, 2013/14
Maria Manuel Clementino, 2013/14 2013/14 1 ESPAÇOS MÉTRICOS Espaço Métrico Um par (X, d) diz-se um espaço métrico se X for um conjunto e d : X X R + for uma aplicação que verifica as seguintes condições,
Leia maisO Teorema de Dini. Doherty Andrade Palavras-chave: Dini. Convergência pontual. Convergência uniforme.
Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência 20 anos c Publicação Eletrônica do KIT http://www.dma.uem.br/kit O Teorema de Dini
Leia maisEspaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:
Espaços Euclidianos Espaços R n O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: R n = {(x 1,..., x n ) : x 1,..., x n R}. R 1 é simplesmente o conjunto R dos números
Leia maisO INTEGRAL DE LEBESGUE
O INTEGRL DE LEBESGUE RUI LOJ FERNNDES Resumo. Esta notas contêm uma introdução à teoria do integral introduzido por Lebesgue. Elas formam como que um capítulo 3,5 do livro de M. Spivak Calculus on Manifolds.
Leia maisQuestão 4 (2,0 pontos). Defina função convexa (0,5 pontos). Seja f : I R uma função convexa no intervalo aberto I. Dado c I (qualquer)
DM IMECC UNICAMP, Análise I, Prof. Marcelo M. Santos Exame Final, 15/07/2009 Aluno: RA: Ass.: Observações: Tempo de prova: 100min; Justifique sucintamente todas as suas afirmações; Disponha as suas resoluções
Leia mais3 Estabilidade dos Difeomorfismos Morse-Smale
3 Estabilidade dos Difeomorfismos Morse-Smale No último capítulo foi apresentado o nosso objeto de estudo (os difeomorfismos Morse-Smale) e a propriedade que estamos interessados em observar (Estabilidade
Leia mais2 Hiperbolicidade e estabilidade
2 Hiperbolicidade e estabilidade Neste capítulo serão apresentados dois novos conceitos que são centrais neste trabalho: Estabilidade estrutural e difeomordfismos Morse-Smale. Para isso, será necessário
Leia maisUma condição necessária e suciente para integrabilidade de uma função real
Uma condição necessária e suciente para integrabilidade de uma função real Jonas Renan Moreira Gomes 1 e Fernanda S. P. Cardona (orientadora) 1 Instituto de Matemática e Estatística da Universidade de
Leia maisUma condição necessária e suciente para integrabilidade de uma função real
Uma condição necessária e suciente para integrabilidade de uma função real Jonas Renan Moreira Gomes 1 e Fernanda S. P. Cardona (orientadora) 1 Instituto de Matemática e Estatística da Universidade de
Leia maisCap. 5 Estabilidade de Lyapunov
Cap. 5 Estabilidade de Lyapunov 1 Motivação Considere as equações diferenciais que modelam o oscilador harmônico sem amortecimento e sem força aplicada, dada por: M z + Kz = 0 Escolhendo-se x 1 = z e x
Leia mais1 Limites e Conjuntos Abertos
1 Limites e Conjuntos Abertos 1.1 Sequências de números reais Definição. Uma sequência de números reais é uma associação de um número real a cada número natural. Exemplos: 1. {1,2,3,4,...} 2. {1,1/2,1/3,1/4,...}
Leia maisTeoria Geométrica da Medida Aula 1
Teoria Geométrica da Medida Aula 1 Diego Marcon 08 de Agosto de 2016 Ver www.chasqueweb.ufrgs.br/~dmarcon em Teaching Referências principais 1. Evans, L.C. e Gariepy, R.C., Measure Theory and Fine Properties
Leia maisÁLGEBRA LINEAR I - MAT0032
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR I - MAT32 12 a Lista de exercícios
Leia maisSobre a dinâmica de aplicações do círculo e do toro
Sobre a dinâmica de aplicações do círculo e do toro Fernando Oliveira U. F. de Minas Gerais EMALCA 2010 Fernando Oliveira (U. F. de Minas Gerais) Sobre a dinâmica de aplicações do círculo e do toro EMALCA
Leia maisP1 de Análise Real ou Análise I Data: 16 de abril de 2008
P1 de Análise Real ou Análise I 2008.1 Data: 16 de abril de 2008 Serão contadas as quatro melhores questões. 1. Seja (a n ) uma seqüência de números reais. Prove que se (a n ) 2 converge então a nn também
Leia maisNotas de Aula - Minicurso de Analise Real. Aloizio Macedo
Notas de Aula - Minicurso de Analise Real Aloizio Macedo Rio de Janeiro Julho de 2017 Contents 1 Aula 1 1 1.1 Objetos de estudo.......................... 1 1.2 Propriedades Básicas.........................
Leia maisSegunda Lista de Exercícios de Física Matemática I Soluções (Séries de Fourier) IFUSP - 28 Março { 1 se 0 x < h f(x) = 0 se h x < 2π, Sf(x) =
Segunda Lista de Exercícios de Física Matemática I Soluções (Séries de Fourier) IFUSP - 28 Março 29 Exercício Seja f : R R uma função periódica tal que { se x < h f(x) = se h x
Leia maisTeoria da medida e integral de Lebesgue
nálise Matemática III Teoria da medida e integral de Lebesgue Manuel Guerra Conteúdo 1 Introdução 3 2 Noções básicas de teoria de conjuntos 5 2.1 Relações de pertença e de inclusão.............................
Leia maisComeçamos relembrando o conceito de base de um espaço vetorial. x = λ 1 x λ r x r. (1.1)
CAPÍTULO 1 Espaços Normados Em princípio, os espaços que consideraremos neste texto são espaços de funções. Isso significa que quase todos os nossos exemplos serão espaços vetoriais de dimensão infinita.
Leia maisProva: Usando as definições e propriedades de números reais, temos λz = λx + iλy e
Lista Especial de Exercícios de Física Matemática I Soluções (Número complexo, sequência de Cauchy, função exponencial e movimento hamônico simples) IFUSP - 8 de Agosto de 08 Exercício Se z x + iy, x,
Leia maisFundamentos de Controle Não Linear: Conceitos Matemáticos Importantes (em Progresso)
Fundamentos de Controle Não Linear: Conceitos Matemáticos Importantes (em Progresso) Leonardo A. B. Torres PPGEE/UFMG October 2, 2018 Leonardo A. B. Torres (PPGEE/UFMG) FCNL: Conceitos Matemáticos October
Leia maisProcessos de Markov a Tempo Contínuo e Sistemas de Partículas Parte 2
Processos de Markov a Tempo Contínuo e Sistemas de Partículas Parte 2 Leandro Cioletti Departamento de Matemática - UnB 70910-900, Brasília, Brazil cioletti@mat.unb.br Ricardo Parreira Departamento de
Leia maisResumos de CDI-II. 1. Topologia e Continuidade de Funções em R n. 1. A bola aberta de centro em a R n e raio r > 0 é o conjunto
Resumos de CD- 1. Topologia e Continuidade de Funções em R n 1. A bola aberta de centro em a R n e raio r > 0 é o conjunto B r (a) = {x R n : x a < r}. 2. Seja A R n um conjunto. m ponto a A diz-se: (i)
Leia maisProbabilidade de Ruína e Processos de Lévy α-estáveis
Apresentação Probabilidade de Ruína e Processos de Lévy α-estáveis Universidade de São Paulo IME - USP 08 de abril, 2010 Apresentação Distribuições Estáveis e Processos de Lévy α-estáveis Convergência
Leia maisNotas Sobre Sequências e Séries Alexandre Fernandes
Notas Sobre Sequências e Séries 2015 Alexandre Fernandes Limite de seqüências Definição. Uma seq. (s n ) converge para a R, ou a R é limite de (s n ), se para cada ɛ > 0 existe n 0 N tal que s n a < ɛ
Leia maisThaysa Fernanda Elias
UNIVERSIDADE FEDERAL DE SÃO CARLOS CENTRO DE CIÊNCIAS EXATAS E DE TECNOLOGIA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA Uma Nova Caracterização dos Espaços de Sobolev W,p (R n Thaysa Fernanda Elias São Carlos
Leia maisCálculo Diferencial e Integral Química Notas de Aula
Cálculo Diferencial e Integral Química Notas de Aula João Roberto Gerônimo 1 1 Professor Associado do Departamento de Matemática da UEM. E-mail: jrgeronimo@uem.br. ÍNDICE 1. INTRODUÇÃO Esta notas de aula
Leia maisConvergência em espaços normados
Chapter 1 Convergência em espaços normados Neste capítulo vamos abordar diferentes tipos de convergência em espaços normados. Já sabemos da análise matemática e não só, de diferentes tipos de convergência
Leia maisA Projeção e seu Potencial
A Projeção e seu Potencial Rolci Cipolatti Departamento de Métodos Matemáticos Instituto de Matemática, Universidade Federal do Rio de Janeiro C.P. 68530, Rio de Janeiro, Brasil e-mail: cipolatti@im.ufrj.br
Leia maisO que é Dimensão? Augusto GEROLIN (ENS-Lyon / Université Joseph-Fourier) 3 o EIAGIME - USP. 29 de agosto de 2010
O que é Dimensão? Augusto GEROLIN agerolin@umpa.ens-lyon.fr (ENS-Lyon / Université Joseph-Fourier) 3 o EIAGIME - USP 29 de agosto de 2010 Outros possivéis títulos para O que é dimensão? Outros possivéis
Leia mais