O teorema do mapeamento conforme de Riemann

Tamanho: px
Começar a partir da página:

Download "O teorema do mapeamento conforme de Riemann"

Transcrição

1 O teorema do mapeamento conforme de Riemann Roberto Imbuzeiro Oliveira 23 de Maio de Preliminares Como de costume, U C é aberto. Recorde que U é simplesmente conexo se existe um ponto z 0 U tal que toda curva fechada em U é homotópica a z 0. Exercício 1 Prove que conexidade simples implica conexidade usual. Exercício 2 Mostre que se U C é aberto conexo então é conexo por caminhos: isto é, para todos z 0, z 1 U existe uma curva (poligonal) γ z0,z 1 : [a 0, a 1 ] U com γ z0,z 1 (a i ) = z i, i = 0, 1. [Dica: fixe z 0 e defina F z0 como sendo o conjunto de todos os z 1 para os quais existe uma curva poligonal γ z0,z 1 como acima. Mostre que F z0 é relativamente aberto e fechado.] O teorema que desejamos provar é o seguinte. Teorema 1 (Mapeamento conforme, Riemann) Se U C, U C é simplesmente conexo, então existe uma bijeção holomorfa de U a D. Exercício 3 Mostre que tal bijeção necessariamente tem derivada que não se anula e inversa holomorfa. [Logo, esta é uma equivalência conforme.] Exercício 4 Deduza um resultado similar ao Mapeamento Conforme para U C simplesmente conexo IMPA, Rio de Janeiro, RJ, Brazil,

2 2 Logaritmos e raízes quadradas Proposição 1 (Existência de logs e raízes quadradas) Se U é simplesmente conexo e g : U C é holomorfa e nunca vale 0, então existem L, S : U C holomorfas tais que e L(z) = g(z) e S(z) 2 = g(z) para todo z U. Prova: Se L existe, S(z) = e L(z)/2 tem a propriedade desejada. Logo basta provar a existência de L. Fixe z 0 U e escolha α C com e α = g(z 0 ) (isto existe porque g(z 0 ) 0). Para qualquer z U existe uma curva retificável γ z ligando z 0 a z. Definimos: L(z) = α + γz g (z U), A integral é bem-definida pois o integrando é holomorfo: g nunca vale 0. Além disso: Exercício 5 se η z é outra curva retificável ligando z 0 a z, então existe uma curva Γ z fechada tal que: Γz g = γz g ηz g. Como U é simplesmente conexo, Γ z é homotópica a um ponto, e portanto vale 0 (pois o integrando é holomorfo). Deduzimos que a troca de curva na definição de L não muda o valor da função. Agora mostramos que L (z) = (z)/g(z). Se z B[z, r] U e h r, considere a curva γ z,h que liga z 0 a z como γ z e segue uma linha reta de z a z + h para deduzir: L(z + h) L(z) h g (z) g(z) sup w h (z + w) g(z + w) g (z) g(z) 0 quando h 0. Para terminar, notamos que (g(z)e L(z) ) = 0, logo g(z)e L(z) é constante. Como o valor desta expressão em 0 é g(z 0 )e α = 1, temos que g e L. 2

3 3 Uma consequência do Lema de Schwartz invariante Lema 1 Sejam f : U De ψ : D D. Defina: H f (z) f (z) (z U) 1 f(z) 2 e note que isto está bem-definido porque f(z) < 1 para qualquer z U. Então: z U, H ψ f (z) H f (z). Além disso, se vale a igualdade para algum z U com f (z) 0, então ψ Aut(D). E vice-versa: se ψ Aut(D), então temos igualdade para todos z U. Prova: Pelo Lema de Schwarz invariante, temos que: w D, ψ (w) 1 ψ(w) w 2. Além disso, vale a igualdade para algum w sse ψ Aut(D) e neste caso vale a igualdade para todo w. Agora veja que, pela regra da cadeia: H ψ f (z) = ψ (w) 1 ψ(w) 2 w=f(z) f (z) f (z) 1 f(z) 2. Se vale a igualdade para algum w = f(z) e f (z) 0, então necessiariamente vale a igualdade na outra desigualdade, e neste caso ψ Aut(D). Por outro lado, se ψ Aut(D), então vale a igualdade na segunda desigualdade para todo z. Exercício 6 Suponha que f : U D é holomorfa, injetiva e nunca vale 0 e seja f uma raíz quadrada holomorfa para f. Então: z U, H f (z) > H f (z). 4 Prova do Teorema do Mapeamento Conforme Daqui em diante, U será aberto simplesmente conexo e z 0 U é um ponto deste aberto. 3

4 Definimos: F {f H(U) : f injetiva, f(z 0 ) = 0}. Note que, se há um mapeamento conforme de U em D com f(z 0 ) = 0, então ele pertence a F; Começamos mostrando que: Proposição 2 F. Prova: Basta provar que existe f H(U) injetiva com f(u) D; basta compor esta f com φ f(z0 ) (ver notas anteriores) para obter uma função injetiva que leva z 0 em 0. Como U C, existe um ξ C\U. Deste modo, a função g(z) z ξ nunca se anula sobre U, tendo portanto uma raíz quadrada S (Proposição 1). Se w, z U têm S(w) = ±S(z), então (elevando ao quadrado) temos w ξ = z ξ, logo w = z. Como S não é constante, é aplicação aberta. Logo V S(U) é aberto. Se w B[w, r] V, afirmamos que: Afirmação 1 B[ w, r] S(U) =. De fato, se u B[ w, r] S(U), S(z) = u para algum z U. Além disso, como B[w, r] S(U), existe z U com S(z ) = u. Mas então S(z) = S(z ), logo, pelo que vimos acima, z = z e S(z) = u = u = 0 S(U), conradição com S(z) 2 = z ξ 0. Deduzimos da afirmação que: f(z) r S(z) + w < 1 para todo z U. De fato, isto equivale a dizer que u S(U), ( w) u > r, ou B[ w, r] C\S(U), o que acabamos de provar. f é injetiva e holomorfa porque S é as duas coisas, logo temos o resultado desejado. Proposição 3 Seja M sup f F f (z 0 ). Então existe F F com F (z 0 ) = M. Em particular, M < +. Prova: Existe {f n } n com f n(z 0 ) M quando n +. As funções em F têm imagem contida em D, sendo portanto uniformemente limitadas. Segue do Teorema de Montel que {f nk } k subsequência com f nk F 4

5 H(U) uniformemente sobre compactos de U. Em particular, isto implica que f n k (z 0 ) F (z 0 ) e portanto F (z 0 ) = M. Falta provar que F F. F (z 0 ) = 0 é óbvio. )o argumento que mostrou que F mostra que M > 0, logo F não é constante e (por um fato da última lista) temos que, como cada f nk é injetiva, F também o é. Por isto, F (U) é aberto. Como z U, D f nk (z) F (z), temos F (U) D, mas então F (U) int(d) = D. Terminamos a prova mostrando que tal F é necessariamente sobrejetiva. Se não fosse, existiria um a D\F (U), de modo que φ a F é analítica e nunca vale 0 sobre U. Deduzimos que existe uma raíz quadrada holomorfa φa F, a qual também é injetiva (exercício). Se b = φ a F (z 0 ), então G = φ b φ a F é injetiva e leva z 0 em 0. Além disso, usando o Lema??, a definição de H e o exercício depois dele: H F (z 0 ) = F (z 0 ) 1 F (z 0 ) 2 (F (z 0 ) = 0) = F (z 0 ) (φ a Aut(D)) = H φa F (z 0 ) (Exercício 6) < H φ a F (z 0) = H φb φ a F (z 0) = H G (z 0 ) (como com F ) = G (z 0 ). Logo G F e G (z 0 ) > F (z 0 ) = sup f F f (z 0 ). A contradição implica que F é sobrejetiva. Exercício 7 Mostre que existe uma única bijeção conforme U D com f (z 0 ) > 0. 5

Invariância da integral por homotopia, fórmula de Cauchy e séries de Taylor

Invariância da integral por homotopia, fórmula de Cauchy e séries de Taylor Invariância da integral por homotopia, fórmula de Cauchy e séries de Taylor Roberto Imbuzeiro Oliveira 6 de Abril de 20 Preliminares Nestas notas, U C sempre será um aberto e f : U C é contínua. Duas curvas

Leia mais

Séries de Laurent e Teoremas de Cauchy

Séries de Laurent e Teoremas de Cauchy Séries de Laurent e Teoremas de Cauchy Roberto Imbuzeiro Oliveira 3 de Abril de 20 A maior parte destas notas tem como refererência o livro de David Ullrich, Complex Made Simple. Preliminares sobre séries

Leia mais

Exercícios de revisão

Exercícios de revisão Exercícios de revisão Roberto Imbuzeiro Oliveira 7 de Abril de 20 Vários exercícios apresentados aqui vêm do livro David Ullrich, Complex Made Simple, ou dos livros de Ahlfors e Churchill. Em alguns casos,

Leia mais

Convergência, séries de potência e funções analíticas

Convergência, séries de potência e funções analíticas Convergência, séries de potência e funções analíticas Roberto Imbuzeiro Oliveira March 13, 2015 1 Algumas palavras sobre convergência em C Tudo o que descreveremos aqui é análogo ao que se define e prova

Leia mais

Convergência, séries de potência e funções analíticas

Convergência, séries de potência e funções analíticas Convergência, séries de potência e funções analíticas Roberto Imbuzeiro Oliveira March 16, 2011 1 Algumas palavras sobre convergência em C Tudo o que descreveremos aqui é análogo ao que se define e prova

Leia mais

Alguns passos da prova do Teorema de Runge

Alguns passos da prova do Teorema de Runge Alguns passos da prova do Teorema de Runge Roberto Imbuzeiro Oliveira 15 de Junho de 2011 1 Os principais passos da prova Teorema 1 Sejam U C aberto, K U compacto e f : U C holomorfa Seja A C \U tal que

Leia mais

Números naturais e cardinalidade

Números naturais e cardinalidade Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde

Leia mais

O 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. 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 mais

Instituto de Matemática e Estatística da USP. Ano Professor Oswaldo R. B. de Oliveira. Capítulo 8 - Teorema de Cauchy Homotópico e Logaritmo

Instituto de Matemática e Estatística da USP. Ano Professor Oswaldo R. B. de Oliveira. Capítulo 8 - Teorema de Cauchy Homotópico e Logaritmo MAT 225 - FUNÇÕES ANALÍTICAS Instituto de Matemática e Estatística da USP Ano 2015 Professor Oswaldo R. B. de Oliveira http://www.ime.usp.br/~oliveira oliveira@ime.usp.br Capítulo 8 - Teorema de Cauchy

Leia mais

Integrais de linha, funções primitivas e Cauchy Goursat

Integrais de linha, funções primitivas e Cauchy Goursat Integrais de linha, unções primitivas e Cauchy Goursat Roberto Imbuzeiro Oliveira 2 de Abril de 2015 1 Preliminares Nestas notas, U C sempre será um aberto, γ : [a, b] U uma curva retiicável e : U C, uma

Leia mais

Funções analíticas LISTA DE EXERCÍCIOS

Funções analíticas LISTA DE EXERCÍCIOS LISTA DE EXERCÍCIOS Funções analíticas. Suponha que f : Ω C é C-diferenciável. Denote por r (Ω) o conjunto { z; z Ω}. Mostre que g : r (Ω) C dada por g (z) := f ( z) é ainda C-diferenciável. Recíproca?

Leia mais

e i $ p = K1, a teoria de funções de variáveis

e i $ p = K1, a teoria de funções de variáveis TEOREMA DA UNIFORMIZAÇÃO DE RIEMANN Aluno: Ricardo Lomba de Araujo Junior Orientador: Flávio Erthal Abdenur Introdução O Teorema de Riemann é um dos mais importantes resultados obtidos em Análise Complexa,

Leia mais

Instituto de Matemática e Estatística da USP. Ano Professor Oswaldo R. B. de Oliveira. Capítulo 13 - Continuação Analítica e Monodromia

Instituto de Matemática e Estatística da USP. Ano Professor Oswaldo R. B. de Oliveira. Capítulo 13 - Continuação Analítica e Monodromia Oswaldo Rio Branco de Oliveira MAT 5714 - FUNÇÕES ANALÍTICAS Instituto de Matemática e Estatística da USP Ano 2014 Professor Oswaldo R. B. de Oliveira http://www.ime.usp.br/~oliveira oliveira@ime.usp.br

Leia mais

Análise Complexa e Equações Diferenciais 2 ō Semestre 2009/2010

Análise Complexa e Equações Diferenciais 2 ō Semestre 2009/2010 Análise Complexa e Equações Diferenciais ō Semestre 9/ ō Teste - Versão A (Cursos: Todos) 4 de Abril de, h Duração: h 3m. Seja u(x,y) = xe x cos(y) e x y sen(y)+β(x), em que β : R R é uma função de classe

Leia mais

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Roberto Imbuzeiro Oliveira 8 de Janeiro de 2014 1 Conjuntos e funções Neste curso procuraremos fundamentar de forma precisa os fundamentos

Leia mais

Teoremas de uma, duas e três séries de Kolmogorov

Teoremas 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 mais

Análise I Solução da 1ª Lista de Exercícios

Análise I Solução da 1ª Lista de Exercícios FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS CENTRO UNIVERSITÁRIO SERRA DOS ÓRGÃOS Centro de Ciências e Tecnologia Curso de Graduação em Matemática Análise I 0- Solução da ª Lista de Eercícios. ATENÇÃO: O enunciado

Leia mais

Exercí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 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

Análise Complexa e Equações Diferenciais 1 o Semestre 2012/2013

Análise Complexa e Equações Diferenciais 1 o Semestre 2012/2013 Análise Complexa e Equações Diferenciais 1 o Semestre 01/013 Cursos: 1 o Teste Versão A LEGM, LEMat, MEAer, MEAmbi, MEBiol, MEC, MEEC, MEQ) 3 de Novembro de 01, 8h Duração: 1h 30m 1. Considere a função

Leia mais

Compacidade de conjuntos e operadores lineares

Compacidade 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 mais

Teoria da Medida e Integração (MAT505)

Teoria 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 mais

Distribuies de Probabilidade

Distribuies de Probabilidade Distribuies de Probabilidade Roberto Imbuzeiro M. F. de Oliveira 23 de Março de 2009 Resumo Exerçícios sobre as distribuições de v.a. s. 1 Toda variável aleatória real é uniforme Seja X : Ω R com função

Leia mais

σ-álgebras, geradores e independência

σ-á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 mais

PROVAS DE ANÁLISE COMPLEXA

PROVAS DE ANÁLISE COMPLEXA PROVAS DE ANÁLISE COMPLEXA PROFESSOR RICARDO SA EARP () Seja Ω um domínio do plano complexo. Sejam f e g funções holomorfas em Ω. Assuma que g nunca se anule em Ω e que f(z) ( ) R, para todo z Ω. g(z)

Leia mais

Análise Complexa e Equações Diferenciais 2 ō Semestre 2013/2014

Análise Complexa e Equações Diferenciais 2 ō Semestre 2013/2014 Cursos: Análise Complexa e Equações Diferenciais 2 ō Semestre 23/24 ō Teste, versão A LEIC, MEEC, LEMat, MEAer, MEBiol, MEQ, MEAmbi) 5 de Abril de 24, h3m Duração: h 3m. Seja α C 2 R) e u : R 2 R uma função

Leia mais

Teoria da Medida e Integração (MAT505)

Teoria 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 mais

Topologia e espaços métricos

Topologia e espaços métricos Topologia e espaços métricos Roberto Imbuzeiro Oliveira 7 de Fevereiro de 2014 Conteúdo 1 Preliminares sobre conjuntos 2 2 Introdução aos espaços métricos 3 2.1 Definição............................. 3

Leia mais

5 O Teorema de Classificação

5 O Teorema de Classificação 5 O Teorema de Classificação Na Seção 5.2, demonstraremos parcialmente o teorema de classificação das geometrias modelo de dimensão três devido a W. Thurston (Teorema 5.2.1). Antes disso porém, devemos

Leia mais

Análise Complexa e Equações Diferenciais 1 o Semestre 2012/2013

Análise Complexa e Equações Diferenciais 1 o Semestre 2012/2013 Análise Complexa e Equações Diferenciais 1 o Semestre 01/013 1 o Teste Versão A Cursos: LEGM, LEMat, MEAer, MEAmbi, MEBiol, MEC, MEEC, MEQ) 3 de Novembro de 01, 8h Duração: 1h 30m 1. Considere a função

Leia mais

Variável Complexa

Variável Complexa Variável Complexa 2017.2 Aula1 Utilizamos o símbolo C para denotar o plano real R 2 equipado com as seguintes operações: z 1 + z 2 = (x 1 + x 2, y 1 + y 2 ) adição z 1 z 2 = (x 1 x 2 y 1 y 2,, x 1 y 2

Leia mais

1.3 Comprimento de arco

1.3 Comprimento de arco 0 CAPÍTULO. CURVAS NO E ENOE 3.3 Comprimento de arco Seja γ :[a, b] V uma curva não necessariamente regular. Consideremos P ([a, b]) o conjunto de todas as partições de [a, b]. Uma partição P = a = t 0

Leia mais

Análise Matemática III - Turma especial

Análise Matemática III - Turma especial Análise Matemática III - Turma especial Fichas 1 a 5 - Solução parcial 1.3 Seja D E k um conjunto fechado. Uma transformação T : D D diz-se uma contracção se existe c < 1 tal que para todos os x, y D se

Leia mais

MAT ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS

MAT ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS MAT 5818 - ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS 1) Mostre que M n (C) munida da norma ((a jk )) 1 j,k n = k=1 2) Defina na álgebra C[X] dos polinômios complexos na variável X a

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/31 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias

Leia mais

O Grupo Fundamental. Estela Garcia Maringá PR, Brasil

O Grupo Fundamental. Estela Garcia Maringá PR, Brasil O Grupo Fundamental Estela Garcia Maringá PR, Brasil Abstract In topology, equivalent topological spaces are called homeomorphic topological spaces, and they share the same topological properties, which

Leia mais

= f(0) D2 f 0 (x, x) + o( x 2 )

= f(0) D2 f 0 (x, x) + o( x 2 ) 6 a aula, 26-04-2007 Formas Quadráticas Suponhamos que 0 é um ponto crítico duma função suave f : U R definida sobre um aberto U R n. O desenvolvimento de Taylor de segunda ordem da função f em 0 permite-nos

Leia mais

Enumerabilidade. Capítulo 6

Enumerabilidade. Capítulo 6 Capítulo 6 Enumerabilidade No capítulo anterior, vimos uma propriedade que distingue o corpo ordenado dos números racionais do corpo ordenado dos números reais: R é completo, enquanto Q não é. Neste novo

Leia mais

Provas de Análise Real - Noturno - 3MAT003

Provas 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 mais

de modo que γ (t) 2 = 3e t. Pelo Proposição 6.3, γ é retificável no intervalo [0, T], para cada T > 0 e lim γ (t) 2 dt = 3, )) se t 0 0 se t = 0

de modo que γ (t) 2 = 3e t. Pelo Proposição 6.3, γ é retificável no intervalo [0, T], para cada T > 0 e lim γ (t) 2 dt = 3, )) se t 0 0 se t = 0 Solução dos Exercícios Capítulo 6 Exercício 6.1: Seja γ: [, + [ R 3 definida por γ(t) = (e t cos t, e t sen t, e t ). Mostre que γ é retificável e calcule seu comprimento. Solução: γ é curva de classe

Leia mais

Mauricio A. Vilches Departamento de Análise IME-UERJ

Mauricio A. Vilches Departamento de Análise IME-UERJ INTRODUÇÃO À TOPOLOGIA ALGÉBRICA Mauricio A. Vilches Departamento de Análise IME-UERJ 2 Copyright by Mauricio A. Vilches Todos os direitos reservados Proibida a reprodução parcial ou total 3 PREFÁCIO Um

Leia mais

Variável Complexa

Variável Complexa Variável Complexa 2015.2 Aula1 Utilizamos o símbolo C para denotar o plano real R 2 equipado com as seguintes operações: z 1 + z 2 = (x 1 + x 2, y 1 + y 2 ) adição z 1 z 2 = (x 1 x 2 y 1 y 2,, x 1 y 2

Leia mais

DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de

DANIEL 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 mais

Topologia, geometria e curvas no plano

Topologia, geometria e curvas no plano Topologa, geometra e curvas no plano Roberto Imbuzero Olvera 23 de Março de 2011 1 Abertos, fechados e compactos Defnção 1 Um subconjunto F C é dto fechado se qualquer sequênca convergente em F tem lmte

Leia mais

Conjuntos Enumeráveis e Não-Enumeráveis

Conjuntos Enumeráveis e Não-Enumeráveis Conjuntos Enumeráveis e Não-Enumeráveis João Antonio Francisconi Lubanco Thomé Bacharelado em Matemática - UFPR jolubanco@gmail.com Prof. Dr. Fernando de Ávila Silva (Orientador) Departamento de Matemática

Leia mais

MAT 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 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 mais

Notas sobre os anéis Z m

Notas sobre os anéis Z m Capítulo 1 Notas sobre os anéis Z m Estas notas complementam o texto principal, no que diz respeito ao estudo que aí se faz dos grupos e anéis Z m. Referem algumas propriedades mais específicas dos subanéis

Leia mais

Leandro F. Aurichi de novembro de Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo, São Carlos, SP

Leandro F. Aurichi de novembro de Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo, São Carlos, SP Espaços Métricos Leandro F. Aurichi 1 30 de novembro de 2010 1 Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo, São Carlos, SP 2 Sumário 1 Conceitos básicos 5 1.1 Métricas...........................................

Leia mais

Aula trinta e dois: Teorema da função inversa

Aula trinta e dois: Teorema da função inversa Aula trinta e dois: Teorema da função inversa Definição 0.1. Seja Ω aberto de R n, uma função f : Ω R n R q diz-se C 1 (Ω) quando todas as derivadas parciais de f existem contínuas em Ω. Temos visto que,

Leia mais

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α). Teoria de Galois Vamos nos restringir a car. zero. Seja K/F uma extensão finita de corpos. O grupo de Galois G(K/F ) é formado pelos isomorfismos ϕ : K K tais que x F, ϕ(x) = x. Lema. G(K/F ) [K : F ].

Leia mais

Fichas de Análise Matemática III

Fichas de Análise Matemática III Fichas de Análise Matemática III Fernando Lobo Pereira, João Borges de Sousa Depto de Engenharia Electrotécnica e de Computadores Faculdade de Engenharia da Universidade do Porto Instituto de Sistemas

Leia mais

Transformações Conformes: 15 Aplicações

Transformações Conformes: 15 Aplicações AULA Transformações Conformes: 15 Aplicações META: Aplicar transformações conformes. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar transformações conformes na determinação da distribuição

Leia mais

Continuidade de processos gaussianos

Continuidade 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 mais

Funções monótonas. Pré-Cálculo. Funções decrescentes. Funções crescentes. Humberto José Bortolossi. Parte 3. Definição. Definição

Funções monótonas. Pré-Cálculo. Funções decrescentes. Funções crescentes. Humberto José Bortolossi. Parte 3. Definição. Definição Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Funções monótonas Parte 3 Parte 3 Pré-Cálculo 1 Parte 3 Pré-Cálculo 2 Funções crescentes Funções

Leia mais

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α). Teoria de Galois Vamos nos restringir a car. zero. Seja K/F uma extensão finita de corpos. O grupo de Galois G(K/F ) é formado pelos isomorfismos ϕ : K K tais que x F, ϕ(x) = x. Lema. G(K/F ) [K : F ].

Leia mais

Fabio Augusto Camargo

Fabio 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

Lista de Exercícios da Primeira Semana Análise Real

Lista de Exercícios da Primeira Semana Análise Real Lista de Exercícios da Primeira Semana Análise Real Nesta lista, a n, b n, c n serão sempre sequências de números reais.. Mostre que todo conjunto ordenado com a propriedade do supremo possui a propriedade

Leia mais

Começamos relembrando o conceito de base de um espaço vetorial. x = λ 1 x λ r x r. (1.1)

Começ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 mais

Demonstrações Matemáticas Parte 2

Demonstrações Matemáticas Parte 2 Demonstrações Matemáticas Parte 2 Nessa aula, veremos aquele que, talvez, é o mais importante método de demonstração: a prova por redução ao absurdo. Também veremos um método bastante simples para desprovar

Leia mais

Funções monótonas. Pré-Cálculo. Atividade. Funções crescentes. Parte 3. Definição

Funções monótonas. Pré-Cálculo. Atividade. Funções crescentes. Parte 3. Definição Pré-Cálculo Departamento de Matemática Aplicada Universidade Federal Fluminense Funções monótonas Parte 3 Funções crescentes Pré-Cálculo 1 Atividade Pré-Cálculo 2 Dizemos que uma função f : D C é crescente

Leia mais

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980) Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.

Leia mais

Capítulo 1 Como motivação para a construção dos números complexos aconselha-se o visionamento do quinto do capítulo do documentário Dimensions, disponível em http://www.dimensions-math.org/ Slides de apoio

Leia mais

Aula 6: Dedução Natural

Aula 6: Dedução Natural Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado

Leia mais

Análise III (Análise no IR n )

Análise III (Análise no IR n ) Análise III (Análise no IR n ) Notas de aulas André Arbex Hallack Agosto/2008 Índice 1 Noções Topológicas no IR n 1 1.1 O espaço vetorial IR n................................ 1 1.2 Seqüências......................................

Leia mais

Análise II (a parte no IR n )

Análise II (a parte no IR n ) Análise II (a parte no IR n ) Notas de aulas André Arbex Hallack Janeiro/2008 Índice 1 Noções Topológicas no IR n 1 1.1 O espaço vetorial IR n................................ 1 1.2 Seqüências......................................

Leia mais

MAT CÁLCULO 2 PARA ECONOMIA. Geometria Analítica

MAT CÁLCULO 2 PARA ECONOMIA. Geometria Analítica MT0146 - CÁLCULO PR ECONOMI SEMESTRE DE 016 LIST DE PROBLEMS Geometria nalítica 1) Sejam π 1 e π os planos de equações, respectivamente, x + y + z = e x y + z = 1. Seja r a reta formada pela interseção

Leia mais

LISTA 3 DE INTRODUÇÃO À TOPOLOGIA 2011

LISTA 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 mais

Cálculo Diferencial e Integral I

Cálculo Diferencial e Integral I Cálculo Diferencial e Integral I Complementos ao texto de apoio às aulas. Amélia Bastos, António Bravo Julho 24 Introdução O texto apresentado tem por objectivo ser um complemento ao texto de apoio ao

Leia mais

Exercício 18. Demonstre a proposição anterior. (Dica: use as definições de continuidade e mensurabilidade)

Exercí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 mais

Análise Complexa e Equações Diferenciais 1 ō Semestre 2014/2015

Análise Complexa e Equações Diferenciais 1 ō Semestre 2014/2015 Análise Complexa e Equações Diferenciais ō Semestre /205 (Curso: ō Teste MEAer de Novembro de, 9h. Considere a função u: R 2 R definida pela expressão onde a, b são parâmetros reais. u(x, y = ax 3 + bxy

Leia mais

Cálculo Diferencial e Integral II 2012/13 1 o semestre

Cálculo Diferencial e Integral II 2012/13 1 o semestre Cálculo Diferencial e Integral II 212/13 1 o semestre Modelo do 1 o Teste LEIC-TP, LEGI, LERC, LEE 6 de Novembro de 212 Justifique adequadamente todas as respostas. 1. Calcule V y dx dy dz em que V = {(x,

Leia mais

Análise Complexa Resolução de alguns exercícios do capítulo 3

Análise Complexa Resolução de alguns exercícios do capítulo 3 Análise Complexa Resolução de alguns exercícios do capítulo 3 Para cada t, u [, ], seja Exercício nº H(t, u) (2πt) + u.( 2 (2πt) (2πt)) (r + u.(r 2 r )) e 2πit ; então H(t, u) r + u.(r 2 r ) >, ou seja,

Leia mais

Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise

Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise Professor: André Luiz Galdino Gabarito da 1 a Lista de Exercícios 1. Prove que para todo x 0 IR

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c Números Reais Víctor Arturo Martínez León (victor.leon@unila.edu.br) 1 Os números racionais Os números racionais são os números da forma a, sendo a e b inteiros e b 0; o conjunto b dos números racionais

Leia mais

TOPOLOGIA ALGÉBRICA: GRUPO FUNDAMENTAL

TOPOLOGIA ALGÉBRICA: GRUPO FUNDAMENTAL TOPOLOGIA ALGÉBRICA: GRUPO FUNDAMENTAL Mauricio A. Vilches Departamento de Análise IME-UERJ 2 Copyright by Mauricio A. Vilches Todos os direitos reservados Proibida a reprodução parcial ou total 3 PREFÁCIO

Leia mais

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Exercícios de revisão para a primeira avaliação Gabaritos selecionados UFPB/CCEN/DM Matemática Elementar I - 2011.2 Exercícios de revisão para a primeira avaliação Gabaritos selecionados 1. Sejam p, q e r proposições. Mostre que as seguintes proposições compostas são tautologias:

Leia mais

184 Instituto de Matemática UFF

184 Instituto de Matemática UFF 184 Instituto de Matemática UFF Capítulo 4 Aplicações diferenciáveis 1 Diferenciabilidade de uma aplicação Definição 1.1. Uma aplicação f : U R n, definida no aberto U R m, é diferenciável no ponto a U

Leia mais

Teoremas fundamentais dos espaços normados

Teoremas fundamentais dos espaços normados Capítulo 9 Teoremas fundamentais dos espaços normados 9.1 Teorema de Hahn-Banach O próximo teorema, conhecido como teorema de Hahn-Banach, é uma generalização do Teorema 4.12, o qual, recordamos para conveniência

Leia mais

1 Primos em uma PA? 2 Pequeno teorema de Dirichlet

1 Primos em uma PA? 2 Pequeno teorema de Dirichlet Pequeno teorema de Dirichlet Primos em uma PA? O famoso teorema de Dirichlet, também conhecido como PCP princípio das casas dos primos), diz: Teorema. Dirichlet) Sejam a e n dois inteiros com a, n). Então

Leia mais

A 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 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 mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Contando o Infinito: os Números Cardinais

Contando o Infinito: os Números Cardinais Contando o Infinito: os Números Cardinais Sérgio Tadao Martins 4 de junho de 2005 No one will expel us from the paradise that Cantor has created for us David Hilbert 1 Introdução Quantos elementos há no

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

21 de Junho de 2010, 9h00

21 de Junho de 2010, 9h00 Análise Complexa e Equações Diferenciais ō Semestre 009/00 ō Teste \ ō Exame - Versão A (Cursos: Todos) de Junho de 00, 9h00 Duração: Teste - h 30m, Exame - 3h INSTRUÇÕES Não é permitida a utilização de

Leia mais

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004

MAT 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 mais

Funções. Pré-Cálculo. O que é uma função? O que é uma função? Humberto José Bortolossi. Parte 2. Definição

Funções. Pré-Cálculo. O que é uma função? O que é uma função? Humberto José Bortolossi. Parte 2. Definição Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Funções Parte 2 Parte 2 Pré-Cálculo 1 Parte 2 Pré-Cálculo 2 O que é uma função? O que é uma função?

Leia mais

Lista 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.

Lista 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 mais

Forma Fechada para os Números de Catalão

Forma Fechada para os Números de Catalão Departamento de Informática e Estatística - INE - CTC - UFSC 13 de abril de 2010 O Problema Alice gostaria de se deslocar até onde Bob está permanecendo sempre em cima de uma linha de um grid n n, indo

Leia mais

Lista 2 - Métodos Matemáticos II Respostas

Lista 2 - Métodos Matemáticos II Respostas Lista - Métodos Matemáticos II Respostas Prof. Jorge Delgado Importante: As resoluções não pretendem ser completas mas apenas uma indicação para o aluno consultar caso seja necessário, cabendo a ele fornecer

Leia mais

Cap. 5 Estabilidade de Lyapunov

Cap. 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 mais

Departamento de Matemática. Trabalho de Conclusão de Curso B Relatório Final. O Grupo Fundamental

Departamento de Matemática. Trabalho de Conclusão de Curso B Relatório Final. O Grupo Fundamental UNIVERSIDADE FEDERAL DE SÃO CARLOS Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Trabalho de Conclusão de Curso B Relatório Final O Grupo Fundamental Aluna: Laís Alegria dos Santos.

Leia mais

Quinta lista de Exercícios - Análise Funcional, período Professor: João Marcos do Ó. { 0 se j = 1 y j = (j 1) 1 x j 1 se j 2.

Quinta lista de Exercícios - Análise Funcional, período Professor: João Marcos do Ó. { 0 se j = 1 y j = (j 1) 1 x j 1 se j 2. UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE CIÊNCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMÁTICA PÓS-GRADUAÇÃO EM MATEMÁTICA Quinta lista de Exercícios - Análise Funcional, período 2009.2. Professor:

Leia mais

Mais Alguns Aspectos da Derivação Complexa

Mais Alguns Aspectos da Derivação Complexa Mais Alguns Aspectos da Derivação Complexa META: Introduzir o conceito de funções holomorfas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Definir funções holomorfas e determinar se uma

Leia mais

Aula 6: Dedução Natural

Aula 6: Dedução Natural Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado

Leia mais

Lista 8 de Análise Funcional - Doutorado 2018

Lista 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 mais

Introdução à Linguagem da Topologia

Introdução à Linguagem da Topologia Introdução à Linguagem da Topologia Corpos Define-se corpo por um conjunto K, munido de duas operações básicas chamadas de adição e multiplicação. São os axiomas do corpo: Axiomas da Adição Associatividade:

Leia mais

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar.

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar. raízes primitivas Uma raiz primitiva módulo n é um inteiro b tal que {1, b, b 2,... ( mod n)} = U(n). Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde

Leia mais

1 Números Complexos e Plano Complexo

1 Números Complexos e Plano Complexo UNIVERSIDADE FEDERAL DE SANTA CATARINA Centro de Ciências Físicas e Matemáticas Departamento de Matemática SEMESTRE CÓDIGO DISCIPLINA TURMA 09-1 MTM5327 Variável Complexa 0549 Professor Lista de Exercícios

Leia mais

1 O Teste de Neyman-Pearson depende do valor da alternativa

1 O Teste de Neyman-Pearson depende do valor da alternativa EM TODAS AS FIGURAS ABAIXO A DENSIDADE SOB A HIPÓTESE NULA ESTÁ EM NEGRO E AS RAZÕES DE VEROSSIM- ILHANÇA EM COLORIDO O Teste de Neyman-Pearson depende do valor da alternativa Suponha que: ( if x< ( x+θ)

Leia mais

Definição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A.

Definição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A. 1. Ideais, quocientes, teorema de isomorfismo Seja A um anel comutativo unitário. Em particular A é um grupo abeliano com +; seja I um subgrupo aditivo de A. Como visto no primeiro modulo, sabemos fazer

Leia mais