Introdução à Topologia Algébrica

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

Download "Introdução à Topologia Algébrica"

Transcrição

1 Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Algébrica Autor: Wagner Carvalho Sgobbi Orientador: Alexandre Paiva Barreto Disciplina: Trabalho de Conclusão do Curso A Curso: Bacharelado em Matemática Professores Responsáveis: Karina Schiabel Sadao Massago João Carlos Vieira Sampaio São Carlos, 19 de agosto de 2014.

2

3 i Introdução à Topologia Algébrica Autor: Wagner Carvalho Sgobbi Orientador: Alexandre Paiva Barreto Disciplina: Trabalho de Conclusão do Curso A Curso: Bacharelado em Matemática Professores Responsáveis: Karina Schiabel Sadao Massago João Carlos Vieira Sampaio Instituição: Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática São Carlos, 19 de agosto de Wagner Carvalho Sgobbi Alexandre Paiva Barreto

4

5 Ao que é digno de receber a honra, Jesus Cristo.

6

7 Agradecimentos Quando entramos na Matemática, assustamo-nos com um mundo totalmente desconhecido. À medida que o tempo passa, vamos criando uma sequência innita de expectativas: ser aprovado nesta matéria, estudar aquele conteúdo, escrever este relatório, provar aquele teorema, entrar no mestrado, estudar fora, doutorar-se, etc. Quando realizamos o n-ésimo objetivo, um (n + 1)-ésimo aparece. No meio dessa loucura toda, no entanto, confesso: em outubro de 2013, minha vida sofreu uma cisão que foi longe de ser a trivial. Um infarto me separou de minha mãe, e nada parecia mais fazer sentido. Neste momento, Aquele que existe e é Único, fez-se presente, confortou e me fortaleceu. Assumir a fé no Deus Todo Poderoso e em Jesus Cristo tirou de mim o vazio interior e me deu uma vida completa, sendo Ele a base de minhas decisões e o limite da minha adoração. Reconheçamos também que não podemos ser discretos. É preciso de uma vizinhança repleta de amigos e familiares, e que seja aberta para entrada de novas pessoas, de uma maneira estritamente crescente. Este foi meu caso nestes quatro anos. Agradeço a maravilhosa companhia que tive dos amigos mais próximos; entre eles, Anderson, Tiago, Laura, Laís, Matheus, Rebeca, Gustavo, Sabrina, Allan, Felipe (Fernandes e Santa Maria), Kepler, Thaysa, Carla, Renato (Monteiro e Fileto), e você, caro leitor, caso eu tenha me esquecido de seu nome. Agradeço ao professor Tomazella, por ter me incentivado a continuar no primeiro semestre e, com isso, alavancado meus estudos. Agradeço ao professor Alexandre (vulgo tio Xandi), por ter aceitado ir para a guerra neste e no próximo trabalho que virá. Agradeço também ao meu amigo Renan, não por ter contribuído (pois não contribuiu com absolutamente nada), mas por me citar nos agradecimentos de seu trabalho. Agradeço à Karina, por ter aparecido em minha vida na hora certa. Pelo amor, compreensão e paciência que tem demonstrado para comigo, por ter me feito crescer e perceber o complementar a mim no mundo, e, nalmente, por ter feito nascer a esperança de um futuro maravilhoso em sua presença. Agradeço a meu pai, pelos anos iniciais de minha vida nos quais recebi o amor incondicional e fui educado nos caminhos do Senhor, e pelos deliciosos momentos que ainda temos juntos. Agradeço à sua companheira Dora, que o faz feliz. Honra a teu pai e a tua mãe, para que se prolonguem os teus dias na terra que o Senhor teu Deus te dá. (Êxodo 20:12)

8

9 Resumo Pretende-se que este trabalho ajude a consolidar e fundamentar melhor os conhecimentos topológicos obtidos em disciplinas do Curso de Bacharelado em Matemática, através do estudo sistemático, ainda que de forma introdutória, de uma das suas áreas, a Topologia Algébrica. Visa-se também capacitar o aluno para futuras disciplinas da pósgraduação. Esta área da Matemática, que tem como ferramentas fundamentais objetos provenientes da Álgebra e da Topologia, possui como principal nalidade a compreensão das características de determinados espaços e a comparação entre eles através de deformações topológicas e/ou de funções entre seus objetos algébricos intrínsecos. A sua exigência de abstração, impõe-nos um cuidadoso estudo de conceitos como: Topologia, Caminhos e Homotopia, Índice, Grupo Fundamental, Recobrimento e muitos outros. Com estes objetivos, temos a consistência deste Trabalho de Conclusão de Curso A.

10

11 Sumário 1 Ferramentas Iniciais Topologia Caminhos e Homotopia Diferenciabilidade Integração Grupos Formas Diferenciais e Integração 19 3 Índice de um Caminho O Caso Derivável O Caso Generalizado Índice de uma Função do Círculo Aplicações do Índice O Teorema do Ponto Fixo de Brouwer O Teorema de Borsuk-Ulam e Invariância de Dimensão O Grupo Fundamental 53 6 Espacos de Recobrimento Levantamento de Caminho e de Homotopia Recobrimento de grupo Recobrimento Universal Cohomologia de De Rhan Os Espaços H 0 U e H 1 U A Aplicação de Cobordo Referências Bibliográcas 83 ix

12

13 Lista de Figuras 1.1 Bola aberta usual no espaço métrico R Um cubo é homeomorfo a uma esfera Homotopia entre caminhos com extremos xos Homotopia livre entre caminhos fechados B(P, δ): vizinhança de P Esquema representativo das 1-formas A integral de ω não depende do caminho σ(1) = X 1 = (x 1 + h, x 2 ) Contornando P Setor em torno de P Θ = arccos ( ) y x 3.3 Índice constante em componentes conexas O problema da coleira A função r Aplicação do Teorema de Borsuk Ulam O ponto P no círculo e sua antípoda P g(x, y) = f(x, y, 1 x 2 y 2 ) γ ɛ x.γ γ γ.ɛ x γ.γ 1 ɛ x (γ.δ).σ γ.(δ.σ) f (γ) = σ 1.γ.σ S 1 = S 1 d S 1 c S 1 e S 1 b δ.(γ.(p σ)) (δ.γ).(p σ) xi

14 xii

15 Introdução A Topologia Algébrica é uma arma poderosa para comparar objetos. As bases de sua construção provém de duas áreas da Matemática (obviamente, a Topologia e a Álgebra) que se entrelaçam entre os espaços topológicos e os grupos algébricos e espaços vetoriais associados a eles. Devido ao seu alto nível de abstração, ela não é algo natural e muito menos simples, daí a sua recentidade. Seus primeiros sinais apareceram no texto Analysis Situs, de Henri Poincaré ([9]), onde ele deniu o conceito de Grupo Fundamental e despertou o interesse de outros matemáticos. Neste Trabalho de Conclusão de Curso A esperamos desenvolver, além do Grupo Fundamental (citado acima), vários outros tópicos da Topologia Algébrica atual, para que obtenhamos uma visão geral e nos preparemos para um maior aprofundamento no texto subsequente (Trabalho de Conclusão de Curso B). O capítulo 1 nos servirá como um dicionário para consultas. Nele, constam todos os teoremas que serão necessários para o desenvolvimento do restante do conteúdo. Dentre os assuntos, estão os conceitos iniciais de Topologia, Homotopia entre caminhos, alguns teoremas do Cálculo Diferencial e Integral e as denições de Homomorsmo, Isomorsmo e ação de um grupo sobre um conjunto. No capítulo 2, denimos formas diferenciais; em especial, as exatas e fechadas, com o objetivo de estudarmos posteriormente a Cohomologia. No capítulo 3, denimos o conceito de Índice de um caminho em relação a um ponto, e usamos suas fortes propriedades no capítulo 4 para demonstrar o Teorema do Ponto Fixo de Brouwer, o Teorema de Borsuk-Ulam e o da Invariância de Dimensão. O capítulo 5 introduz o Grupo Fundamental, a ferramenta mais simples e intuitiva para comparação de espaços. Um dos resultados que merecem ser destacados é o de que se dois espaços são homeomorfos, então seus Grupos Fundamentais serão isomorfos. Uma das maneiras de calcularmos o Grupo Fundamental de um espaço é conhecermos seus recobrimentos; e o capítulo 6 tem como objetivo nos possibilitar a construção de muitos dos mesmos. Por m, no capítulo 7 inicia-se apenas uma breve introdução à Cohomologia, com a apresentação dos espaços vetoriais H 0 e H 1, e a determinação de uma base para eles em alguns casos especícos. xiii

16

17 Capítulo 1 Ferramentas Iniciais Este capítulo é como uma caixa de ferramentas. Antes de iniciarmos nosso trabalho, vamos nomear e relembrar algumas denições e teoremas da Topologia, do Cálculo Diferencial e Integral, e da Álgebra, que serão frequentemente usados no texto. 1.1 Topologia Denição Dado um conjunto X, uma topologia em X é uma coleção T de subconjuntos de X tais que: 1) e X estão em T ; 2) A união dos elementos de qualquer subcoleção de T está em T ; 3) A interseção dos elementos de qualquer subcoleção nita de T está em T. Um espaço topológico é um par (X, T ) onde X é um conjunto qualquer e T, uma topologia em X. Por simplicidade, quando a topologia T estiver implícita, denotaremos o espaço topológico apenas por X. Para qualquer espaço topológico X, os elementos de T serão chamados de abertos em X (ou simplesmente abertos, quando for conveniente). Por sua vez, dizemos que U é fechado em X quando X U é aberto, ou seja, X U T. Uma vizinhança de x X é um conjunto que contém um aberto contendo x. Por vizinhança aberta de x entenderemos um aberto contendo x. Como exemplos triviais, temos a topologia caótica T = {, X}, e a discreta, formada pelo conjunto vazio e todos os subconjuntos de X. Denição Se X é um conjunto, uma base para uma topologia em X é uma coleção B de subconjuntos de X tais que: Para cada x X, existe C B tal que x C (B cobre X); 1

18 2 1.1 Topologia Se x pertence a dois elementos da base, C 1 e C 2, então existe um elemento C 3 da base tal que x C 3 (C 1 C 2 ). Uma subbase de uma topologia em X é um conjunto de subconjuntos de X cuja união de seus elementos é igual a X. Seja B uma base de X. Podemos criar uma topologia em X a partir de B: dado A X, dena A como sendo aberto quando para cada x A, existe C B tal que x C A. Esta construção diz que todo aberto será formado por uma união arbitrária de elementos da base B. Dada uma subbase, podemos criar uma base: um conjunto C X pertence à base quando ele é uma interseção nita de elementos da subbase. Se X e Y são espaços topológicos, podemos criar também uma topologia em X Y, bem como em qualquer subconjunto de X. Denição Dados dois espaços topológicos X e Y, a topologia produto em X Y é a topologia que tem como base a coleção de todos os conjuntos da forma U V, onde U é aberto em X e V é aberto em Y. Denição Seja X um espaço topológico munido de uma topologia T. Dado A X, a coleção T A = {U A U T } é chamada a topologia do subespaço em A. Com esta topologia, A será obviamente chamado de subespaço de X. A partir de agora, a menos que especiquemos o contrário, sempre consideraremos a topologia produto em um produto cartesiano de espaços, e a topologia do subespaço em um subconjunto qualquer de um espaço. Uma família particular de espaços topológicos que conhecemos são os espaços métricos, cujas propriedades iniciais se assemelham muito às do R n, e garantem-nos uma ótima funcionalidade: Denição Uma métrica num conjunto X é uma função d : X X R tal que: 1) d(x, y) 0, x, y X; d(x, y) = 0 x = y; 2) d(x, y) = d(y, x), x, y X; 3) (Desigualdade triangular) d(x, y) + d(y, z) d(x, z), x, y, z X. Se d é uma métrica em X, dizemos que o par (X, d) é um espaço métrico. Quando d estiver implícita iremos nos referir ao espaço simplesmente por X. Agora, se X possui uma métrica, dados x, y X chamamos o número d(x, y) de distância entre x e y. Outra denição importante: dado um número real ɛ > 0 e x X, denimos a bola aberta centrada em x como o conjunto

19 1 Ferramentas Iniciais 3 B(x, ɛ) = {y X d(x, y) < ɛ}. A bola fechada centrada em x é o conjunto B(x, ɛ) = {y X d(x, y) ɛ}, e a esfera centrada em x, S(x, ɛ) = {y X d(x, y) = ɛ}. Se (X, d) é um espaço métrico, então a coleção de todas as bolas abertas B(x, ɛ) com x X e ɛ > 0 é uma base para uma topologia em X, que chamaremos de Topologia Métrica. Um conjunto A X é aberto em (X, d) quando, para todo elemento x de A, existe δ > 0 tal que B(x, δ) A. Apesar do nome, nem toda bola aberta possui um aspecto circular. Nem mesmo em R 2 este fato é sempre vericado. Por exemplo, a métrica d((x 1, y 1 ), (x 2, y 2 )) = max{ x 1 x 2, y 1 y 2 } faz com que as bolas abertas tenham forma de quadrados. A partir de agora, usaremos em R n a métrica euclidiana usual d((x 1,..., x n ), (y 1,..., y n )) = (x 1 y 1 ) (x n y n ) 2 a não ser que especiquemos o contrário. As bolas abertas serão chamadas de n bolas. Vejamos um exemplo para o caso n = 2 na Figura (2,2) Figura 1.1: Bola aberta usual no espaço métrico R 2 Denição Dizemos que um espaço topológico X admite uma cisão quando conseguimos escrever X = A B, onde A e B são abertos em X não vazios e disjuntos. Dizemos que X é conexo quando X não admite uma cisão. Exemplo Seja X um espaço topológico com mais de um elemento. Se, para todo x X, {x} é aberto em X, então X não é conexo. De fato, tome a X e veja que X = {a} {b} b X,b a é, por hipótese, uma cisão de X. Eis aqui uma das propriedades mais importantes sobre conexidade: Proposição Se X = α L U α é uma união de espaços conexos U α e existe x X que pertence a cada um dos U α, então X é conexo.

20 4 1.1 Topologia Podemos, intuitivamente, interpretar uma cisão como algo que divide o conjunto em dois pedaços. Assim, um conjunto conexo é aquele que possui apenas um pedaço. Quando há dois ou mais destes pedaços em X, o chamaremos de componente conexa. Construíremos este conceito abaixo, Denição Seja X um espaço topológico. Denamos a relação em X por x y quando existe um conjunto conexo contido em X contendo x e y. Proposição A relação é uma relação de equivalência em X. Demonstração. Dado x X, o conjunto {x} é um conjunto conexo contendo x, portanto x x. Se x y, o conjunto conexo contendo x e y é obviamente um conjunto conexo contendo y e x, logo y x. Se x y e y z, então existe um conjunto conexo A contendo x e y, e um conjunto conexo B contendo y e z. Segue da Proposição que A B é um conjunto conexo contendo x e z, portanto, x z. Denição Seja X um espaço topológico e a relação de equivalência denida acima. x X. Uma componente conexa de X é uma classe de equivalência x para algum Exatamente como fazem as relações de equivalência, dividimos o espaço X em conjuntos disjuntos não vazios. Notemos que X será conexo se, e somente se, X possuir apenas uma componente conexa. Denamos agora outra propriedade importante: a compacidade. Denição Seja X um espaço topológico. Uma cobertura de X é uma coleção A = {A α : α J} de subconjuntos de X tal que X α J A α. Quando A α é aberto (respectivamente fechado) para todo α, dizemos que A é uma cobertura aberta (respectivamente cobertura fechada). Entendemos uma subcobertura de A por uma coleção A A que também é uma cobertura de X. Denição Um espaço topológico X é dito compacto quando toda cobertura aberta de X possui uma subcobertura nita. Quando estamos em R n, porém, é mais fácil trabalhar com a compacidade: um subespaço de R n é compacto se, e somente se, for fechado e limitado, este último no sentido abaixo. Denição Um conjunto T R n não vazio é limitado quando existe K > 0 tal que d(x, y) K para quaisquer x, y T. Nestas condições, o diâmetro de T é denido por Diam(T ) = sup{d(x, y) x, y T }.

21 1 Ferramentas Iniciais 5 Estaremos, mais adiante, interessados em usar o seguinte Teorema (Lebesgue). Seja A R n um conjunto compacto e f : A R m uma função contínua. Se {C λ } λ Λ é uma cobertura aberta da imagem de f, então existe δ > 0 tal que a imagem f(t ) de qualquer subconjunto T A com Diam(T ) < δ está inteiramente contido em algum C λ. Para tanto, relembremos o conceito de continuidade em seus aspectos gerais e especí- cos. Denição Sejam X e Y espaços topológicos. Uma função f : X Y é dita contínua quando, para cada aberto V de Y, o conjunto f 1 (V ) é aberto em X. Esta denição é demasiadamente conceitual. Podemos, no entanto, encontrar uma de- nição equivalente a ela que é mais técnica, ou seja, que é uma ferramenta mais adequada na hora de provarmos que uma função dada é contínua. Proposição Sejam X e Y espaços topológicos, e f : X Y. Então f é contínua (continuidade topológica) se, e somente se, para cada x X e cada vizinhança aberta V de f(x), existe uma vizinhança aberta U de x tal que f(u) V (continuidade das vizinhanças). Demonstração. Suponhamos f contínua. Dado x e uma vizinhança aberta V de f(x), sabemos que f 1 (V ) é um conjunto aberto contendo x, e temos, obviamente, f(f 1 (V )) V. Assim, a primeira parte está provada. Suponhamos, agora, a continuidade das vizinhanças. Dado um aberto V de Y, há dois casos. Se f 1 (V ) =, então ele é aberto por denição. Se, no entanto, existe x f 1 (V ), então existe uma vizinhança aberta U x de x tal que U x f 1 (V ). Portanto, f 1 (V ) = x f 1 (V ) Segue então que f 1 (V ) é aberto (por ser união de abertos), o que prova a continuidade de f. Dada f : X Y e L Y, dizemos que lim x P f(x) = L quando, para cada vizinhança aberta V de L, existe uma vizinhança aberta U de P tal que f(u) V. Usando a denição acima, a Proposição pode ser expressa também da seguinte forma: sejam X e Y espaços topológicos. Então f : X Y é contínua em P se, e somente se, lim x P f(x) existe e é igual a f(p ). Usaremos exaustivamente o teorema abaixo. U x.

22 6 1.1 Topologia Teorema Sejam f : X Y e g : W Z funções contínuas, com f(x) W. Então a função g f : X Z denida por g f(x) = g(f(x)) é contínua. Relacionando continuidade e compacidade, temos, Teorema Seja f : X Y função contínua entre espaços topológicos. subespaço A de X é compacto, então o subespaço f(a) de Y é compacto. Se o Usaremos o Lema abaixo, conhecido como Lema da colagem, para criarmos uma função contínua em um conjunto maior a partir de funções contínuas denidas em conjuntos menores: Lema Seja X = A B, onde A e B são abertos em X. Sejam f : A Y e g : B Y funções contínuas. Se f(x) = g(x) para todo x A B, então a função h : X Y com h(x) = { f(x), se x A, g(x), se x B, (1.1) está bem denida e é contínua. O resultado também é válido caso A e B sejam fechados em X. Na Topologia, dois espaços são considerados iguais quando são homeomorfos. O conceito de homeomorsmo é análogo ao de isomorsmo presente na Teoria de Grupos. Na intuição, dois espaços são homeomorfos quando conseguimos deformar continuamente um deles até que se torne igual ao outro. Imagine, por exemplo, uma bexiga inicialmente no formato de um cubo oco sendo enchida até tomar a forma de uma esfera. Desta maneira, um cubo é homeomorfo a uma esfera (este fato é, realmente, demonstrado na topologia). Vamos à denição formal: Figura 1.2: Um cubo é homeomorfo a uma esfera Denição Sejam X e Y espaços topológicos. Dizemos que X e Y são homeomorfos quando existe uma função f : X Y bijetora e contínua cuja inversa f 1 : Y X é contínua. Nestas condições, dizemos que f é um homeomorsmo entre X e Y e escrevemos X Y. Abaixo, veremos duas maneiras de obtermos novos homeomorsmos a partir de outros já conhecidos.

23 1 Ferramentas Iniciais 7 Proposição Sejam X e Y espaços topológicos e A X. Se X Y por um homeomorsmo f, então X A Y f(a). Demonstração. A bijetividade de f garante que x X A se, e somente se, f(x) Y f(a). Assim, a função f A : X A Y f(a) com f A (x) = f(x) está bem denida e é uma bijeção. Provemos que f A é o homeomorsmo procurado. De fato, f A é a restrição de domínio de uma função contínua, sendo, portanto, contínua. Por último, a função f 1 f(a) é uma bijeção entre f(a) e A e é contínua, pois é a restrição de f 1 ao domínio f(a). Como e f A f 1 f(a) (y) = f A (f 1 (y)) = f(f 1 (y)) = y temos f 1 f(a) f A (x) = f 1 f(a) (f(x)) = f 1 (f(x)) = x, (f A ) 1 = f 1 f(a). Proposição Se p é um homeomorsmo entre X e Y, e p é um homeomorsmo entre X e Y, então p p : X X Y Y com p p (x, x ) = (p(x), p (x )) é um homeomorsmo entre X X e Y Y. Demonstração. Vide [8]. Proposição Se f : X Y é uma função contínua e Graf(f) = {(x, f(x)) x X}, então X Graf(f). Demonstração. Vejamos que a função f : X Graf(f) com f(x) = (x, f(x)) é contínua, pois suas coordenadas o são; é trivialmente bijetora; e sua inversa f 1 é a função projeção da primeira coordenada, sendo, portanto, também contínua. 1.2 Caminhos e Homotopia Sejam X um espaço topológico e U X. Um caminho em U é uma função γ : [a, b] U, γ(t) = (x(t), y(t)) que é contínua em [a, b]. Se X = R 2, dizemos que γ é derivável em (a, b) quando x (t) e y (t) existem para qualquer t em (a, b), e nesse caso temos γ (t) = (x (t), y (t)). Diremos que γ(a) e γ(b) são os pontos inicial e nal de γ, respectivamente. Um caminho é dito fechado quando γ(a) = γ(b).

24 8 1.2 Caminhos e Homotopia Dados γ 1 : [a, b] U e γ 2 : [c, d] U com γ 1 (b) = γ 2 (c), denimos o caminho γ = γ 1 + γ 2 : [a, b] [c, d] U (a soma dos caminhos γ 1 e γ 2 ) por: γ(t) = { γ 1 (t), se a t b, γ 2 (t), se c t d. Mais geralmante, se γ i : [a i, b i ] U; i = 1,..., n são caminhos tais que (1.2) γ i (b i ) = γ i+1 (a i+1 ); i = 1,..., n 1, então a soma destes caminhos é denotada por γ = γ γ n e denida como abaixo: γ(t) = γ i (t), se a i t b i, i = 1,..., n. Um caminho γ : [a, b] U é dito suave quando é derivável em todos os pontos, ou seja, quando γ (t) existe para todo t (a, b). Um caminho é suave por partes quando pode ser escrito como soma de caminhos suaves. Usando o conceito de caminhos, podemos denir em R n propriedades que se referem, intuitivamente, ao formato dos conjuntos: Denição Um espaço topológico X é conexo por caminhos quando para quaisquer elementos P, Q X, existe um caminho γ : [a, b] X ligando estes pontos (γ(a) = P e γ(b) = Q) e que esteja inteiramente contido em X, ou seja, γ(t) X, t [a, b]. Quando X = R n, exigiremos que este caminho seja suave por partes. Denição Um espaço topológico X é dito localmente conexo por caminhos quando, para cada x X e cada aberto U de X contendo x, existe um aberto W de X, conexo por caminhos, com x W U. Denição Um conjunto U R n é dito estrelado quando existe x U tal que, para todo y U, os pontos do caminho γ(t) = (1 t)x+ty, 0 t 1 estão todos contidos em U. Em R 2 ou R 3, é equivalente dizer que, para todo y, o segmento de reta ligando x e y está inteiramente contido em U. Nas condições acima, x é chamado de ponto base de U. Denição Um conjunto U R n é dito convexo quando, dados x, y U, os pontos da forma γ(t) = (1 t)x + ty, 0 t 1 estão contidos em U. Vale ressaltar que um conjunto será convexo se, e somente se, todo ponto de U é ponto base. É verdade também que todo conjunto estrelado é conexo por caminhos. De fato, dados dois pontos y, z U, existem caminhos γ e δ da forma acima ligando x a y e, a z, respectivamente. Assim, o caminho γ 1 + δ liga os pontos y e z. Para estudarmos integrais sobre caminhos deformados, necessitamos de um conceito de deformação, que na Topologia é chamado de homotopia.

25 1 Ferramentas Iniciais 9 Denição Sejam X e Y dois espaços topológicos. Sejam f, g : X Y. Dizemos que f e g são homotópicos quando existe uma função contínua H : X [0, 1] Y (chamada homotopia) tal que H(x, 0) = f(x) e H(x, 1) = g(x). Estudaremos dois tipos especiais de homotopia: entre caminhos cujos pontos iniciais e nais coincidem, e, entre caminhos fechados. Denição Sejam U um aberto de R 2 e γ, δ : [a, b] U dois caminhos com γ(a) = δ(a) e γ(b) = δ(b). Diremos que γ e δ são homotópicos com extremos xos em U quando existir uma função contínua H : [a, b] [0, 1] U tal que { H(t, 0) = γ(t) e H(t, 1) = δ(t) a t b; H(a, s) = γ(a) = δ(a) e H(b, s) = γ(b) = δ(b) 0 s 1. (1.3) s δ 1 γ s2 s 2 s 1 0 a b t H γ s1 γ Figura 1.3: Homotopia entre caminhos com extremos xos Denamos agora a homotopia livre entre caminhos fechados: Denição Sejam γ, δ : [a, b] U dois caminhos fechados. Diremos que γ e δ são livremente homotópicos em U quando existir uma função contínua H : [a, b] [0, 1] U tal que { H(t, 0) = γ(t) e H(t, 1) = δ(t) a t b; H(a, s) = H(b, s) 0 s 1. (1.4) As funções H, acima, são chamadas de homotopias entre os caminhos. Se γ, δ e H são funções suaves, dizemos que os caminhos são suavemente homotópicos. Observe que podemos escrever H(t, s) = γ s (t), isto é, para cada s, H dene um caminho contínuo γ s : [a, b] U. Temos, portanto, uma família contínua de caminhos γ s que representam a deformação contínua de γ para δ. Podemos denir uma relação entre dois caminhos γ, δ : [a, b] R 2 da seguinte forma: γ δ quando γ e δ são homotópicos.

26 Diferenciabilidade s 1 s 2 H δ s 1 0 a b t γ γ s1 γ s2 H(a, s) Figura 1.4: Homotopia livre entre caminhos fechados Proposição é uma relação de equivalência. Demonstração. Primeiro, notemos que H(t, s) = γ(t) é uma homotopia entre γ e γ, portanto, é reexiva. Se H é uma homohotopia entre γ e δ, então H (t, s) = H(t, 1 s) é uma homotopia entre δ e γ, o que prova a simetria de. Por último, se M é homotopia entre γ e σ e N é uma homotopia entre σ e δ, então H denida por H(t, s) = é uma homotopia entre γ e δ, provando a transitividade de. { M(t, 2s), 0 s 1 2 N(t, 2s), 1 2 s 1 (1.5) 1.3 Diferenciabilidade No texto subsequente, iremos nos referir a U como um conjunto aberto de R n com a topologia induzida pela métrica euclidiana d((x 1,..., x n ), (y 1,..., y n )) = (x 1 y 1 ) (x n y n ) 2, e f será subentendida como uma função f : U R n R a não ser que especiquemos o contrário. Denotaremos também, e 1 = (1, 0, 0,..., 0), e 2 = (0, 1, 0,..., 0),..., e n = (0, 0, 0,..., 1) a base canônica de R n. Denição Dados f : U R n R, P U e um vetor v R n, denimos a derivada direcional de f com relação ao vetor v em P por caso este limite exista. f (P ) = lim v t 0 f(p + tv) f(p ), t A derivada parcial de f com relação a x i em P são casos particulares em que tomamos, respectivamente, v = e i e a denotamos por f x i (P ), ou f xi (P ).

27 1 Ferramentas Iniciais 11 Se f fosse uma função de R em R, a existência de sua derivada implicaria na sua continuidade. Em um domínio U R n, porém, isto pode não acontecer: Exemplo Seja f : R 2 R denida por f(x, y) = { xy 2 x 2 +y 4, se (x, y) (0, 0), 0, se (x, y) = (0, 0). (1.6) Sejam P = (0, 0) e v = (a, b) (0, 0). Então, se a 0, f f(p + tv) f(p ) (P ) = lim v t 0 t Se a = 0, por sua vez, temos = lim t 0 f(ta, tb) t f f(0, tb) (P ) = lim v t 0 t tat 2 b 2 = lim t 0 t(t 2 a 2 + t 4 b 4 ) = lim ab 2 t 0 a 2 + t 2 b = b2 4 a. 0 = lim t 0 t 4 b = 0. 4 Assim, a derivada de f na origem existe em todas as direções. Porém, f não é contínua na origem. Para cada m R tome a curva x = my 2. Como f(my 2, y) = my2 y 2 m 2 y 4 + y 4 = m m 2 + 1, o limite de f quando (x, y) tende a (0, 0) através da curva dada varia de acordo com m, temos, portanto, que este não existe. Gostaríamos, então, de uma denição de diferenciabilidade que implicasse em continuidade. Aqui está: Denição Uma função f : U R n R m é dita diferenciável em a U quando existe uma transformação linear T a : R n R m tal que f(a + v) f(a) T a (v) v 0 sempre que v 0. Demonstra-se que a função T a é única; denotaremo-na por df a. Dado v R n e P U, se f é diferenciável em P U então a derivada direcional de f em relação a v no ponto P existe e vale f (P ) = df(p ).v. v Sejam f : U R n R m e P um ponto de U. Quando a derivada parcial f x i (P ) existe, também a denotamos por f x i (P ) = x i (f) (P ). Da mesma forma, podemos denotar ( ) f x 1 x 2 = 2 f x 1 x 2 e, mais geralmente, x i1 ( x i2 ) ( )... (f) = x ik k f x i1 x i2... x ik.

28 Diferenciabilidade Uma função de U em R da forma acima recebe o nome de derivada parcial de ordem k de f. Diremos que uma função f : U R n R é de classe C k quando todas as suas derivadas parciais de ordem 1,..., k existem e são contínuas em U. Uma função será dita suave (ou de classe C ) em U quando todas as suas derivadas parciais de todas as ordens da forma ( ) k f x 1 x 2... x k existirem e forem contínuas. Lembremos também que, se todas as derivadas parciais de primeira ordem (ou seja, da forma ( ) f x i ) de f são contínuas em P, então f será diferenciável em P. Outra poderosa ferramenta é o próximo Teorema, Teorema (Schwarz). Se f : U R n R m é de classe C k então, para cada inteiro j com 1 j k, as derivadas parciais mistas de ordem j, j f x i1... x ij (v), 1 i 1,..., i j n, independem da ordem em que forem efetuadas as derivações. Teorema (Regra da Cadeia). Sejam g : U R n R m e f : V R m R l funções de classe C 1 com g(u) V. Então, para todo p U, d(f g)(p) = d(f(g(p))) d(g(p)). Relacionaremos agora a topologia de um conjunto, o comportamento de uma função neste conjunto e suas derivadas parciais. Uma função f em U é dita localmente constante quando todo ponto de U tem uma vizinhança aberta na qual f é constante. Proposição Seja f uma função suave em U. Então f é localmente constante se, e somente se, f/ v = 0 para qualquer vetor v R n. Q v P Figura 1.5: B(P, δ): vizinhança de P

29 1 Ferramentas Iniciais 13 Demonstração. Tome P = (x 0, y 0 ) U. Se f é localmente constante, existe uma vizinhança aberta V de P na qual f é constante. Existe então δ > 0 tal que P + tv V para todo t ( δ, δ) e todo vetor v unitário. Assim, f f(p + tv) f(p ) (P ) = lim v t 0 t = lim t 0 k k t como queríamos. Para provar a recíproca, seja P = (x 0, y 0 ) U. Como U é aberto, tome uma bola B(P, δ) contida em U. Dado qualquer outro ponto Q em V, traçamos o segmento P Q como na Figura 1.5. Assim, f/ v = 0 nos garante que f(p ) = f(q) e portanto f é constante nesta vizinhança aberta de P. Apesar da generalidade do resultado acima, precisaremos mais tarde de uma versão mais especíca dele, cuja demonstração não será feita, pois é semelhante à que acabamos de fazer. Proposição Seja f uma função suave em U. Então f é localmente constante se, e somente se, f/ x = f/ y = 0. Outro resultado que será necessário em um próximo capitulo é Proposição Se f é uma função contínua em um aberto e conexo U, e sua imagem está contida em Z, então f é constante em U. Demonstração. Basta provarmos que f é localmente constante em U e teremos o desejado, pois U é conexo. Seja p U um ponto arbitrário. Suponhamos, por absurdo, que f não seja localmente constante. Tome uma bola aberta B 1 (p, ɛ) contendo p e contida em U. Para cada bola aberta da forma B n (p, ɛ ), n N encontramos, pela suposição, um ponto n p n tal que f(p n ) f(p). Assim, a sequência {p n } converge para p mas a sequência {f(p n )} não converge para f(p), pois f(p n ) f(p) 1 para todo n, o que nos diz que f não é contínua em p, um absurdo. Para o resultado a seguir, utilizaremos o seguinte Lema, Lema Se U é aberto, então cada componente conexa de U é conexa e aberta. Demonstração. A demonstração deste lema requer passos que fogem do tema e pode ser encontrada em [8], por isto apenas o assumiremos. Proposição Uma função f em U é localmente constante se, e somente se, é constante em cada componente conexa de U. Demonstração. Suponhamos f localmente constante. Sejam C uma componente conexa de U e x C. Digamos que f(x) = k. Dado y C, criamos, pela conexidade de C (graças ao Lema 1.3.9), um caminho poligonal ligando x e y, de segmentos paralelos aos = 0

30 Integração eixos x e y, cujos extremos são, consecutivamente, x, a 1, a 2, a 3,..., a n, y. Agora, f = 0 x garante que f(x) = f(a 1 ), f = 0 garante que f(a y 1) = f(a 2 ), e assim sucessivamente; logo, f(x) = f(y), sendo f constante em C. Provemos a volta. Seja P U. Então P está em uma componente conexa C de U. Como U é aberto, pelo lema temos que C também o é, sendo, portanto, uma vizinhança aberta de P onde f é constante, como desejado. Notemos que, na hora de provar a primeira parte, não precisávamos ter usado o conceito de derivada parcial. Veremos abaixo uma demonstração alternativa do resultado. Tomemos uma componente conexa C de U e x C. Agora, consideremos os conjuntos: C 1 = {z C : f(z) = f(x)}, C 2 = {z C : f(z) f(x)}. Estes são conjuntos disjuntos cuja união dos elementos é igual a C. O fato de f ser localmente constante nos garante ainda, que C 1 e C 2 são abertos. Como C é conexo (pelo Lema 1.3.9), ele não admite cisão. Finalmente, como C 1 (já que x C 1 ), concluimos que C 2 = (caso contrário teríamos uma cisão de C), ou seja, C 1 = C e f(z) = k z C, como queríamos. Precisaremos, mais adiante, do seguinte resultado: Lema Sejam U e V dois abertos de R 2 e f : U V R uma função de classe C. Então existem funções f 1 : U R e f 2 : V R de classe C tais que f = f 1 f 2 em U V. 1.4 Integração Por um campo de vetores, ou um campo vetorial, entendemos uma função f : U R n R m da forma f(x 1,..., x n ) = (f 1 (x 1,..., x n ),..., f m (x 1,..., x n )), onde f 1,..., f m são funções de U em R. Os campos de vetores que mais estudaremos neste texto são os que obtemos tomando n = m = 2, ou seja, os da forma f : U R 2 R 2 com f(x, y) = (p(x, y), q(x, y)), que denotaremos simplesmente por (p, q). Podemos interpretar um campo vetorial como uma função que, a cada ponto, associa uma força atuando sobre o ponto. O que vamos medir agora é a atuação total de um campo vetorial sobre um caminho. A integral de linha de um campo vetorial

31 1 Ferramentas Iniciais 15 f : U R 2 R 2, por f(x, y) = (p(x, y), q(x, y)) sobre um caminho γ : [a, b] U é denida γ f = b a p(x(t), y(t))x (t) + q(x(t), y(t))y (t) dt. Uma função φ : U R de classe C 1 é uma função potencial de um campo (p, q) quando p = φ x e q = φ y em U. Nestas condições, dizemos que (p, q) é um campo gradiente em U. O teorema que relaciona o conceito de campo gradiente com as integrais de linha do campo é: Teorema Se f é um campo vetorial contínuo de U R 2 em R 2, então são equivalentes: a) f é campo gradiente em U; b) f não depende do caminho γ; γ c) f = 0 para todo caminho fechado α em U. α Dado um campo f = (p, q) de classe C 1, o rotacional de f (ou rot(f)) é a função q x p y : U R. Podemos relacionar rotacional e integral de linha pelo seguinte Teorema (Green). Sejam f : U R 2 com f = (p, q) e p, q funções de classe C 1 em U. Seja γ : [a, b] U um caminho fechado suave por partes injetor em [a, b) (que chamaremos de curva de Jordan) e R a união da imagem de γ com seu interior. Então γ f = R (q x p y ) dxdy. Notemos que, se f é campo gradiente em U com sua respectiva função potencial φ, então, pelo Teorema de Schwarz (1.3.4), q x = (φ y ) x = (φ x ) y = p y e, portanto, o rotacional de f é a função nula. Usando o Teorema de Green, 1.4.2, a recíproca de nossa armação é válida sempre que a região R é simplesmente conexa, ou seja, sempre que qualquer curva de Jordan em R possui o interior inteiramente contido em R. 1.5 Grupos Denição Um semigrupo é um conjunto não vazio G munido de uma operação binária em G tal que

32 Grupos (i) Associativa: a(bc) = (ab)c, a, b, c G; Um monóide é um semigrupo G que contém (ii) Elemento neutro: e G tal que ae = ea = a, a G. Um grupo é um monóide G tal que (iii) Para todo a G existe um elemento inverso a 1 G tal que a 1 a = aa 1 = e. Um semigrupo é dito abeliano ou comutativo se sua operação binária possui (iv) Comutatividade: ab = ba, a, b G. Denição Sejam G e H semigrupos. Uma função f : G H é um homomor- smo entre grupos se f(ab) = f(a)f(b), a, b G. Se f é injetora, f é dita monomorsmo. Se f é sobrejetora, é um epimorsmo. Se f é bijetora, f é chamada de isomorsmo. Neste caso, G e H são ditos ismorfos e escrevemos G H. Notemos que, para todo homomorsmo da forma acima, vale f(e) = f(ee) = f(e)f(e) = e e = e, onde e é o elemento neutro de H. Veja também que f(x 1 )f(x) = f(x 1 x) = f(e) = e e, analogamente, f(x)f(x 1 ) = e, donde concluimos que f(x 1 ) = f(x) 1. Proposição Se f : G H é homomorsmo entre grupos e A é um subgrupo de G (isto é, A G e com relação a mesma operação de G, A é um grupo), então f(a) é um subgrupo de H. Demonstração. Primeiramente vemos que e f(a), pois f(e) = e. Se h 1, h 2 f(a), então h 1 = f(g 1 ) e h 2 = f(g 2 ), donde vem que h 1 h 2 = f(g 1 )f(g 2 ) = f(g 1 g 2 ) com g 1 g 2 G, ou seja, h 1 h 2 f(a). Por último, se h = f(g) f(a), então h 1 = f(g) 1 = f(g 1 ), ou seja, h 1 f(a). Proposição [Teorema Fundamental do Isomorsmo] Se f : G H é um homomorsmo entre grupos e N é o núcleo de f, então a função f : G N f(g) = f(g) é um isomorsmo. Demonstração. Podemos encontrar tal demonstração facilmente em [3]. f(g) denida por Denição Uma ação de um grupo G sobre um conjunto Y é uma função F : G Y Y tal que

33 1 Ferramentas Iniciais 17 1) F (e, y) = y para todo y Y ; 2) F (gh, y) = F (g, (F (h, y))) para quaisquer g, h G. Quando tal função existe, dizemos que o grupo G age sobre Y. Dado g G, podemos induzir através de F uma função f g : Y Y com f g (y) = F (g, y) e teremos que a aplicação g f g será um homomorsmo entre G e o grupo das permutações de Y. Denição Fixado y Y, a órbita de y é o conjunto O(y) = {F (g, y) g G}. Sem muitas diculdades, prova-se que as órbitas formam uma partição de Y.

34 Grupos

35 Capítulo 2 Formas Diferenciais e Integração Quando representamos a integral de uma função f : [a, b] R utilizamos a notação b a f(x)dx, à qual estamos completamente acostumados. Podemos, então, nos questionar: por que o símbolo dx faz parte desta notação? Estamos tratando apenas de um símbolo ou ele tem um signicado? Nesta seção, discutiremos isto. Denição Dado n N, o espaço vetorial das transformações lineares de R n ao corpo R será denotado por A 1 (R n ). Por conveniência, o corpo R também receberá o nome de A 0 (R n ). Considere um aberto U de R n. Vamos relembrar novamente o conceito de diferenciabilidade: uma função f : U R n R m é dita diferenciável em a U quando existe uma transformação linear df a : R n R m tal que f(a + v) f(a) df a (v) v 0 sempre que v 0. Como estamos nos referindo sempre a funções suaves (em particular, diferenciáveis em cada ponto U), podemos pensar em uma função que leva cada elemento de U à uma transformação linear que satisfaz a condição de diferenciabilidade. Seja f : U R uma função suave. Denimos df : U A 1 (R n ) por df(x) = df x. Esta função é chamada a diferencial de f. Denição (0-forma). Dado um aberto U de R n, uma 0-forma sobre U é uma função suave ω : U A 0 (R n ) = R. Por conveniência, o conjunto das 0-formas sobre U será denotado por Λ 0 (U). Denição (1-forma). Dado um aberto U de R n, uma 1-forma sobre U é uma função ω : U A 1 (R n ). O conjunto das 1-formas sobre U será denotado por Λ 1 (U). 19

36 20 U R n R = A 0 (R n ) Λ 1 (U) df f F (U : R) A 1 (R n ) Figura 2.1: Esquema representativo das 1-formas Das denições acima segue imediatamente que, se f é suave em U R 2, sua diferencial df é uma 1-forma, e veremos adiante que poderá ser escrita como df = f f dx + dy. x y Observemos também que, se f é uma função linear, então ela é a transformação linear que melhor se aproxima dela mesma; logo, para todo ponto p em U, Vale df(p) = f. Na gura acima, o conjunto rosa representa as funções suaves de U em R, o conjunto azul representa as transformações lineares de R n em R (que, em particular, estão denidas em U) e o conjunto verde representa o espaço das 1-formas sobre U. Vamos ao R n. Consideremos as projeções π i : R n R, i = 1,..., n denidas por π i (a 1,..., a n ) = a i. Dadas as funções suaves x i : U R, i = 1,..., n com x i (a 1,..., a n ) = a i, elas são diferenciáveis e, portanto, conseguimos denir, para i = 1,..., n: dx i : U A 1 (R n ), p dx i (p) = π i. Agora, o grande fato: Λ 1 (U) é um espaço vetorial sobre o anel das funções suaves f : U R. Dizemos que Λ 1 (U) é um módulo sobre F (U; R). Este módulo tem dimensão n, tendo as funções dx i, i = 1,..., n como base. Provemos, por exemplo, que as funções dx i são linearmente independentes em Λ 1 (U). Consideremos a combinação linear α 1 dx α n dx n = 0 Λ, onde α i F (U : R), i = 1,..., n e 0 Λ é a função que a cada vetor de U associa a transformação linear nula. Aplicando esta função a um vetor p U qualquer, obtemos α 1 (p)dx 1 (p) α n (p)dx n (p) = 0 A1, onde 0 A1 é a transformação linear nula. Como dx i (p) = π i, vem que Finalmente, aplicando no vetor e j, α 1 (p)π α n (p)π n = 0 A1.

37 2 Formas Diferenciais e Integração 21 (α 1 (p)π α n (p)π n )(e j ) = 0 α 1 (p)π 1 (e j ) α n (p)π n (e j ) = 0 α j (p) = 0 para todo p U e todo índice j = 1,..., n, como queríamos. A demonstração de que dx 1,..., dx n geram o espaço Λ 1 (U) será omitida aqui. Por dx 1,..., dx n serem base de Λ 1 (U), se n = 2, trataremos uma 1-forma em U R 2 como um par de funções suaves p, q : U R; denotando-se como ω = p dx + q dy. Notemos que, a cada 1-forma ω = pdx + qdy, podemos associar o campo vetorial (p, q) e vice-versa. A partir de agora, seja n = 2. Vamos relacionar agora os conceitos de forma e integral com uma denição que será muito explorada mais adiante: Denição Seja ω = p dx+q dy e γ : [a, b] U um caminho suave. Denimos a integral de ω sobre γ por Notemos que γ ω = b a ω(γ(t)).γ (t)dt. ω(γ(t)).γ (t) = p(γ(t))dx(γ(t)) + q(γ(t))dy(γ(t)) = (p(γ(t)), q(γ(t))).(x (t), y (t)) e, portanto, podemos denir também a integral de ω por γ ω = b a (p(x(t), y(t))x (t) + q(x(t), y(t))y (t)) dt. Caso γ seja suave por partes da forma γ = γ γ n, dene-se que ω = γ ω γ 1 ω. γ n Observação Veja que se γ : [a, b] U é um caminho constante, ou seja, para todo t, γ(t) = P 0 U, então γ (t) = 0 e portanto ω = 0. Nestas condições denotamos γ γ = P 0. Veja que a integral de ω sobre γ é, por denição, a integral de linha do seu campo vetorial (p, q) associado sobre γ. Assim como vemos em cálculo, esta é uma integral que descreve uma ação da 1-forma ao longo de todo o caminho. Em alguns casos, porém, seu valor dependerá apenas dos pontos inicial e nal do mesmo, como acontece no caso a seguir. Diremos que uma 1-forma ω = pdx + qdy é exata em A U quando (p, q) possui uma função potencial em A, ou seja, quando ω = df para alguma função suave f. Proposição Se ω é exata em algum aberto que contenha um caminho γ, então sua integral depende apenas dos pontos inicial e nal de γ.

38 22 Demonstração. Seja f a função potencial de ω. Usando a Regra da Cadeia e o Teorema Fundamental do Cálculo temos γ ω = = b a b a b ( p(x(t), y(t)) dx dt ( f (x(t), y(t))dx x d = a dt (f(γ(t)))dt = f(γ(b)) f(γ(a)). ) + q(x(t), y(t))dy dt dt dt + f y (x(t), y(t))dy dt ) dt Nas condições acima, denotamos df = f x f dx + dy = ω e dizemos que ω é o diferen- y cial de f. Veremos agora alguns resultados que dizem o que acontece com as integrais de 1-formas quando reparametrizamos o caminho sobre o qual integramos. Denição Sejam ω uma 1-forma em U, γ : [a, b] U um caminho suave, e φ : [a, b ] [a, b] uma função suave tal que φ(a ) = a e φ(b ) = b. O caminho γ φ : [a, b ] U é chamado uma reparametrização positiva de γ. Quando φ(a ) = b e φ(b ) = a, dizemos que γ φ é uma reparametrização negativa de γ. Em ambos os casos, dizemos que φ é uma reparametrização de γ. Proposição Para toda reparamerização positiva de γ, temos γ φ ω = Para toda reparametrização negativa de γ, vale γ φ γ ω. ω = ω. γ Demonstração. Seja φ uma reparametrização positiva de γ. Vamos escrever ω = pdx + qdy e γ(t) = (x(t), y(t)). Segue da própria denição e da regra da cadeia que ω = γ φ = = = b a b a b a γ [p(γ(φ(s))), q(γ(φ(s)))].[(x φ) (s), (y φ) (s)]ds [p(x(φ(s))), y(φ(s))).x (φ(s)) + q(x(φ(s)), y(φ(s))).y (φ(s))].φ (s)ds p(x(t)), y(t)).x (t) + q(x(t), y(t)).y (t)dt ω. (fazendo t = φ(s))

39 2 Formas Diferenciais e Integração 23 Se φ é uma reparametrização negativa de γ, seguimos o mesmo procedimento. A diferença é que, ao fazer a mudança de variável t = φ(s), os limites de integração a e b serão invertidos, já que φ(a ) = b e φ(b ) = a, donde obteremos que γ φ ω = ω. γ A segunda parte da demonstração anterior possui uma demonstração alternativa e elegante: já provamos, no Lema , que ω = ω para qualquer caminho α. α 1 α Agora vejamos que, para qualquer t [a, b ], (γ ψ) 1 (t) = (γ ψ)(a + b t) = γ(ψ(a + b t)) = (γ ψ 1 )(t) e, portanto, (γ ψ) 1 = γ ψ 1. Agora, notemos que o caminho γ ψ 1 é uma reparametrização de γ, já que ψ 1 (a ) = ψ(a + b a ) = ψ(b ) = a e ψ 1 (b ) = ψ(a + b b ) = ψ(a ) = b. Portanto, usando estes três fatos e a Proposição anterior para o caso positivo, temos γ ψ ω = ω = ω = ω. (γ ψ) 1 γ ψ 1 γ Proposição Nem toda 1-forma é exata. Demonstração. Seja ω θ = ( y x )dx + ( )dy. Se houvesse potencial para o campo ( ) x 2 +y 2 x 2 +y 2 y x, x 2 +y 2 x 2 +y, teríamos γ ω 2 θ = γ(b) γ(a) e portanto, para todo caminho fechado, ω γ θ = 0. Note que ω θ está denida em R 2 {(0, 0)}. Vamos então enlaçar a origem com a circunferência y : [0, 2π] R 2 ; y(t) = (cos(t), sen(t)) e teremos: γ ω θ = = = b a 2π 0 2π 0 = 2π, ( p(x(t), y(t)) dx dt ) + q(x(t), y(t))dy dt dt sen(t) sen 2 (t) + cos 2 (t) ( sen(t)) + 1dt ou seja, ω θ não pode ser exata. cos(t) sen 2 (t) + cos 2 (t) (cos(t))dt

40 24 Proposição Sejam f, g : U R 2 R. Então, df = dg em U se, e somente se, f g é localmente constante em U. Demonstração. Consideremos df e dg como elementos do módulo Λ 1 (U). Usando as denições e, no último passo, a Proposição 1.3.7, teremos df = dg df dg = 0 f g f g dx dx + dy dy = 0 = 0dx + 0dy x x y y (f g) (f g) dx + dy = 0 = 0dx + 0dy x y (f g) (f g) = = 0 x y f g é localmente constante. Proposição Seja ω uma 1-forma no aberto e conexo por caminhos U e γ : [a, b] U um caminho suave por partes. Então são equivalentes: a) ω é exata; b) ω não depende do caminho γ; γ c) ω = 0 para qualquer caminho γ fechado em U. γ Demonstração. A demonstração seguirá os seguintes passos: a) b) Já feito em b) c) É claro que, se γ é fechado, então seus pontos inicial e nal são iguais, logo. γ ω = γ(b) γ(a) = 0 c) b) Para a demonstração deste item, denamos o conceito de caminho inverso e provemos uma de suas propriedades: Denição Dado γ : [a, b] U, dene-se o caminho inverso de γ por γ 1 : [a, b] U com γ 1 (t) = γ(a + b t) = (x(a + b t), y(a + b t)) = (x(t), y(t)). Lema Para qualquer caminho γ nas condições acima vale ω = ω. γ 1 γ

41 2 Formas Diferenciais e Integração 25 Demonstração. É claro que dx = dx dt dt x(t) = x(s) e dx = dx. dt ds Logo, para qualquer 1-forma ω, vale e se zermos s = a + b t, teremos dt = ds, γ 1 ω = b ( p(x(t), y(t)) dx dt a b = = a γ ) + q(x(t), y(t))dy dt dt ( p(x(s), y(s)) dx + q(x(s), y(s))dy ds ds ω. ) ds α Q β P Figura 2.2: A integral de ω não depende do caminho Podemos nalmente demonstrar o item. Sejam P, Q U e dois caminhos α, β : [a, b] U suaves por partes com α(a) = β(a) = P e α(b) = β(b) = Q, como na gura acima (eles existem porque U é conexo por caminhos). Queremos provar que as integrais de ω sobre estes dois caminhos são iguais. Para isto, consideremos o caminho inverso β 1 : o caminho α + β 1 é fechado e, portanto, 0 = ω = α+β 1 α ω + ω = β 1 α ω ω ω = ω; β α β b) a) Devemos provar que ω é exata, ou seja, que existe uma função suave φ : U R tal que φ x = φ = p e φ x y = φ = q. y Suponhamos que ω não depende do caminho γ. Então, xado x γ 0 U, para cada x U a função φ(x) = ω está bem denida, pois ω admite o mesmo valor para γ γ

42 26 qualquer caminho γ : [a, b] U com γ(a) = x 0 e γ(b) = x. A boa notícia é que esta φ que acabamos de denir é exatamente a função que procurávamos. Vamos provar que φ x existe e é igual a p; o caso φ y = q é totalmente análogo. γ X X 1 σ X 0 Figura 2.3: σ(1) = X 1 = (x 1 + h, x 2 ) Para calcular a derivada parcial de φ em x = (x 1, x 2 ), precisamos de um segmento horizontal. Considere então h > 0 e o caminho σ : [0, 1] U com σ(t) = x + the 1 = (x 1 + th, x 2 ) = (α(t), β(t)) (onde e 1 = (1, 0)). Então dα = h dβ = 0 e dt dt φ(x + he 1 ) φ(x) = = = = = γ+σ ω σ h 0 ω γ ω ( p(α(t), β(t)) dα + q(α(t), β(t))dβ dt dt p(x 1 + th, x 2 )h dt p(x 1 + u, x 2 ) dt (fazendo u=th). ) dt Agora usemos o Teorema Fundamental do Cálculo. Como p é contínua, fazendo g(h) = h 0 p(x 1 + u, x 2 ) dt teremos que g será diferenciável e g (h) = p(x 1 + u, x 2 ). Então φ(x + he 1 ) φ(x) h Finalmente, fazendo h 0 obtemos = g(h) h g(h) g(0) =. h lim h 0 φ(x + he 1 ) φ(x) h = lim h 0 g(h) g(0) h = g (0) = p(x)

43 2 Formas Diferenciais e Integração 27 e, portanto, φ x = p como desejado. Proposição Se ω = pdx + qdy é exata então q x = p y. Demonstração. Temos ω = df = pdx + qdy. Então, para qualquer v U vale df(x, y).v = (p(x, y)dx).v + (q(x, y)dy).v. Aplicando em e 1 obtemos f f (x, y) = (x, y) = df(x, y).v = (p(x, y)dx).v + (q(x, y)dy).v = p(x, y). x e 1 Analogamente, aplicando em e 2 (1.3.4), obtemos f y = q. Usando o Teorema de Schwarz p y (x, y) = y como queríamos. ( ) f (x, y) = 2 f x y x (x, y) = 2 f (x, y) = x y x ( ) f y (x, y) = q (x, y), x Notemos que o diferencial de uma 0-forma é uma 1-forma. O diferencial então deve ser um operador que leva uma i-forma para uma (i+1)-forma. Vamos dení-lo para o caso n=1: Denição A função d : Λ i (U) Λ i+1 (U) com ω dω é chamada o diferencial de ω. Para o caso i = 1, se ω = pdx + qdy, usando as propriedades dxdx = dydy = 0 e dxdy = dydx obtemos dω = dpdx + dqdy = (p x dx + p y dy)dx + (q x dx + q y dy)dy = p x dxdx + p y dydx + q x dxdy + q y dydy = (q x p y )dxdy. Denição Uma 2-forma é, em termos gerais, uma expressão h dxdy onde h é uma função suave de U R n R. Isto acontece porque, semelhantemente às 1-formas, prova-se que a expressão dxdy é uma base para o espaço Λ 2 (U) das 2-formas em R 2. Observemos agora, que o Teorema de Green(1.4.2) pode ser reescrito: Seja ω uma 1-forma em U. Seja γ : [a, b] U um caminho fechado suave por partes e injetor em [a, b) e R a união da imagem de γ com seu interior. Então

44 28 γ ω = Denição Uma 1-forma ω se diz fechada quando dω = 0. Observe que, se dω = 0 e U é uma região à qual podemos aplicar o Teorema de Green, então a integral de ω não depende do caminho: dados dois pontos a, b U, criamos o caminho fechado que vai de a para b por γ e volta para a por um caminho σ 1, e assim ω = γ+σ 1 R R dω. dω = 0 γ ω = Vamos relacionar agora os conceitos de forma fechada e exata: Proposição Toda 1-forma exata é fechada; mas nem toda forma fechada é exata. Demonstração. Seja ω exata. Então existe f suave tal que ω = f x dx + f y dy. Agora calculemos dω pela denição dω = ( x ( ) f y y σ ω. ( )) ( ) f 2 f dxdy = x y x 2 f dxdy x y Agora, pelo Teorema de Schwarz, o termo entre parênteses é nulo; logo ω é fechada. Um contraexemplo para nossa recíproca é algo da forma dada na Proposição : apesar de não ser exata, ela é fechada, pois temos dω θ = (q x p y )dxdy = ( ) 1(x 2 + y 2 ) x(2x) 1(x2 + y 2 ) + y(2y) dxdy = 0. (x 2 + y 2 ) 2 (x 2 + y 2 ) 2 Proposição Em um retângulo aberto qualquer U = {(x, y) R 2 : a < x < b e c < y < d }, toda 1-forma fechada é exata. γ 2 (x 0, y) (x, y) γ 1 γ 4 (x 0, y 0 ) γ 3 (x, y 0 )

45 2 Formas Diferenciais e Integração 29 Demonstração. Temos ω = pdx + qdy. Seja P 0 = (x 0, y 0 ) um ponto xado em U. Dado P = (x, y), seja f(p ) = γ 1 +γ 2 ω e g(p ) = γ 3 +γ 4 ω, como na Figura. Suponhamos que x x 0 e y y 0. Usando a mesma construção da Proposição com o caminho γ 2 chegamos que f x = p; analogamente, com o caminho γ 4, obtemos g y = q. Por último, como podemos aplicar Green em U e dω = 0, vem que γ 1 +γ 2 ω = γ 3 +γ 4 ω e, portanto, f = g, logo f x = p e f y = q. Isto quer dizer que, em um retângulo, uma forma é exata se, e somente se é fechada. Vamos estender esta armação para outros tipos de conjuntos: Proposição Se U = U 1 U 2 é a união de dois retângulos como acima e que se interceptam, e ω é fechada em cada um deles, então ω é exata em U. Demonstração. Pela proposição acima, temos que existem f 1, f 2 com df 1 = ω em U 1 e df 2 = ω em U 2. Como d(f 1 f 2 ) = df 1 df 2 = ω ω = 0 no conexo U 1 U 2, temos que f 1 f 2 é constante em U 1 U 2, ou seja, f 1 (x) f 2 (x) = k. Agora observe que a função f 3 (x) = f 2 (x) + k é também uma potencial de ω em U 2 e temos f 1 = f 3 em U 1 U 2. Isto quer dizer que existe uma função f em U tal que suas restrições a U 1 e U 2 são, respectivamente, f 1 e f 3, e tal que df = ω em todo U, como queríamos. Com uma demonstração exaustiva, prova-se que o resultado (fechada exata) vale quando U é escrito como união de n retângulos U 1,..., U n cuja interseção (U 1 U 2... U i ) U i+1 é conexa para todo 1 i n 1. Vejamos que, em todos estes conjuntos, uma propriedade é comum: eles são simplesmente conexos, ou, intuitivamente, não possuem buracos em seu interior (veremos o signicado de simplesmente conexo no capítulo 5). Quando consideramos ω = ( y x )dx + ( )dy em R 2 {(0, 0)}, provamos que esta não era exata calculando sua x 2 +y 2 x 2 +y 2 integral através de um caminho que contornava a origem e vendo que seu valor não era zero. O que veremos agora é que, se ao calcular a integral contornando um buraco obtivermos resultado zero então a forma será exata. Denição Dado r > 0 e P R 2, denota-se por γ P,r o círculo de raio r e centro P parametrizado da forma γ P,r (t) = P + r(cos(2πt), sin(2πt)), 0 t 1. Proposição Seja U = R 2 {P }, r > 0 e ω uma 1-forma fechada em U tal que γ P,r ω = 0. Então ω é exata em U. Demonstração. Sejam U 1, U 2, U 3 e U 4 os semiplanos, respectivamente, à direita, acima, à esquerda e abaixo de P. Como ω é fechada, pela Proposição existem as suas

46 30 γ 2,3 P 3 P 2 i γ 3,4 P r γ 1,2 P 4 P 1 γ 4,1 Figura 2.4: Contornando P respectivas funções potenciais f i em U i, e que diferem entre si apenas por constantes. Assim, como feito em , podemos assumir sem perda de generalidade que f 2 = f 1 em U 2 U 1, f 3 = f 2 em U 3 U 2 e f 4 = f 3 em U 4 U 3. O problema é que f 4 = f 1 + k em U 1 U 4. Vamos agora usar a hipótese. Considere os caminhos γ 1,2, γ 2,3, γ 3,4 e γ 4,1 que cobrem γ P,r como na gura. Cada caminho está contido em uma das regiões U i, na qual ω é exata, e portanto a integral de ω sobre cada caminho só dependerá de f i calculada em seus pontos extremos. Portanto temos 0 = γ P,r ω = ω + γ 1,2 ω + γ 2,3 ω + γ 3,4 ω γ 4,1 = f 1 (P 2 ) f 1 (P 1 ) + f 2 (P 3 ) f 2 (P 2 ) + f 3 (P 4 ) f 3 (P 3 ) + f 4 (P 1 ) f 4 (P 4 ) = f 4 (P 1 ) f 1 (P 1 ) = f 1 (P 1 ) + k f 1 (P 1 ) = k, ou seja, f 1 = f 4 ; assim, as quatro funções coincidem nas interseções de seus domínios, formando uma função f em U tal que df = ω. Como última observação, este também é um resultado que pode ser generalizado. A demonstração, porém, é exaustiva e será evitada neste texto, onde nos contentaremos com seu enunciado: Proposição Se U = R 2 {P 1,..., P n } e ω é uma 1-forma fechada em U tal que γ P1,r então ω será também exata em U. ω = 0,..., ω = 0, γ Pn,r

47 2 Formas Diferenciais e Integração 31 Os próximos teoremas nos mostrarão uma das utilidades das homotopias que denimos no capítulo 1: Teorema Seja U um aberto de R 2, γ, δ : [a, b] U dois caminhos com os mesmos pontos extremos e ω uma 1-forma fechada em U. Se γ e δ são suavemente homotópicos em U, então γ ω = Demonstração. Seja R = [a, b] [0, 1] e H : R U a homotopia entre γ e δ. Como U é aberto e ω é fechada, cada ponto P na imagem H(R) está contido em uma vizinhança aberta B de U na qual ω é exata. Como H é contínua, os conjuntos H 1 (B) formam então uma cobertura aberta do compacto R. Assim, o Lema de Lebesgue nos garante que existe uma partição de R da forma δ ω. a = t 0 < t 1 <... < t n = b e 0 = s 0 < s 1 <... < s m = 1, tal que cada subretângulo R i,j = [t i 1, t i ] [s j 1, s j ] é levado por H em algum dos abertos B. Isto garante que a integral de ω sobre a fronteira de H(R i,j ) é zero. Quando somamos as integrais de ω sobre as fronteiras de todas as imagens H(R i,j ) obtemos 0 = i,j H(R i,j ) ω = H(R) ω = γ+γ(b)+δ 1 +δ(a) ω = γ ω+ ω ω ω = ω ω. γ(b) δ δ(a) γ δ Teorema Sejam γ, δ : [a, b] U dois caminhos fechados, U um aberto de R 2 e ω uma 1-forma fechada em U. Se γ e δ são suavemente homotópicos em U, então γ ω = Demonstração. Seja H a homotopia entre γ e δ e σ : [0, 1] U o caminho σ(s) = H(a, s) = H(b, s). A demonstração segue os mesmos passos da feita acima: dividimos R em subretângulos que são levados inteiramente em abertos de H(R). A integral de ω sobre a fronteira da imagem cada subretângulo é zero. Integrando em todos eles e somando obtemos 0 = H( R) ω = γ ω + σ δ ω. ω + ω + ω = δ 1 σ 1 γ ω ω. δ

48 32

49 Capítulo 3 Índice de um Caminho 3.1 O Caso Derivável ( ) ( ) y x A 1-forma ω θ = dx + dy, além de ter sido um belo contraexemplo, x 2 +y 2 x 2 +y 2 provando que nem toda forma fechada é exata, nos será de extrema importância em todo o trabalho subsequente. Quando calculamos sua integral ao longo do caminho γ : [0, 1] R 2 ; γ(t) = (cos(2πt), sen(2πt)) (que dá exatamente uma volta em torno da origem) obtemos resultado 2π (veja a Proposição ). Exemplo Se zéssemos o mesmo cálculo acima para um caminho que desse n voltas em torno da origem, ou seja, γ : [0, 1] R 2 ; γ(t) = (cos(2πnt), sen(2πnt)) e dividíssemos o resultado por 2π obteríamos 1 ω θ = 1 1 sen(2πnt) 2π γ 2π 0 sen 2 (2πnt) + cos 2 (2πnt) ( sen(2πnt).2πn) + cos(2πnt) + sen 2 (2πnt) + cos 2 (2πnt) (cos(2πnt).2πn)dt = 1 2π 1 0 2πndt = 1 2πn = n. 2π Se déssemos apenas meia volta em torno do 0, obteríamos resultado 1. Não seria nada 2 assustador, então, apresentar a seguinte Denição O índice de um caminho derivável γ : [a, b] R 2 {0}; γ(t) = (x(t), y(t)) é denido por W (γ, 0) = 1 ydx + xdy ω θ =. 2π γ γ x 2 + y 2 33

50 O Caso Derivável O índice representa o número de voltas que o caminho dá em torno da origem no sentido anti-horário. Caso o caminho percorra o sentido horário, teremos como resultado um número negativo. Em outras palavras, o índice é a variação total de ângulo entre os extremos do caminho, dividido por 2π. A pergunta é: por que isto dá certo? Qual é o motivo de ω θ medir ângulos? Considere a transformação em coordenadas polares, p(r, θ) = P + (r cos θ, r sin θ). Denição Um setor em torno de P é a imagem de uma tira R = {(r, θ) R 2 r > 0 e θ 1 < θ < θ 2 } por p, ou seja, S = p(r) = {P + (r cos θ, r sin θ) R 2 r > 0 e θ 1 < θ < θ 2 }. θ 2 θ P θ 1 Figura 3.1: Setor em torno de P Consideremos a função ângulo Θ denida em algum setor S em torno de P. Observemos a Figura 3.2. Para todo ponto (x, y) S temos então cos(θ) = y x Θ(x, y) = arccos ( y x Sabemos também que podemos denir uma função raio R no setor S da seguinte forma: R(x, y) = x 2 + y 2. Assim, para qualquer caminho suave γ(t) = (x(t), y(t)) em S podemos denir as funções ângulo e raio ao longo do caminho por ). θ(t) = (Θ γ)(t) r(t) = (R γ)(t) e teremos γ(t) = (r(t)cos(θ(t)), r(t)sen(θ(t))). Donde

51 3 Índice de um Caminho 35 Θ x y Figura 3.2: Θ = arccos ( ) y x dθ(x, y) = Θ x = = Θ (x, y)dx + (x, y)dy y 1 ( y ) dx (y/x) 2 x 2 ydx + xdy x 2 + y 2 = ω θ. Agora, usando a Regra da Cadeia, obtemos (y/x) 2 ( ) 1 dy x θ (t) = (Θ γ) (t) = dθ(γ(t)).γ (t) = ω θ (γ(t)).γ (t). Estabelecendo um ponto inicial γ(a) = (x(a), y(a)) = (r(a)cos(θ(a)), r(a)sen(θ(a))) e usando o Teorema Fundamental do Cálculo obtemos e, portanto, θ(b) = θ(a) + b a θ (t)dt = θ(a) + γ b a ω θ (γ(t)).γ (t) = θ(a) + ω θ γ ω θ = θ(b) θ(a) (3.1) será a variação de ângulo entre os pontos extremos do caminho. Notemos que podemos obter um número não inteiro, ou sequer racional. O resultado abaixo trata apenas de caminhos fechados. Proposição Para todo caminho fechado que não passa pela origem, o índice do caminho é um número inteiro. Demonstração. Seja γ : [a, b] R 2 {0} fechado. Notemos que θ(b) = θ(a) + ω θ = θ(a) + 2πW (γ, 0). γ

52 O Caso Generalizado Agora, como o caminho é fechado, θ(b) e θ(a) representam o ângulo de um mesmo ponto, portanto, devem diferir por um múltiplo inteiro de 2π; assim W (γ, 0) deve ser um número inteiro. A seguinte denição é tão natural quanto o índice em torno da origem: Denição O índice W (γ, P ) em torno de qualquer ponto P = (x 0, y 0 ) é W (γ, P ) = 1 ω θ,p = 1 (y y 0 )dx + (x x 0 )dy. 2π γ 2π γ (x x 0 ) 2 + (y y 0 ) 2 Notemos que estamos integrando praticamente a mesma 1-forma, deslocando y para y y 0 e x para x x 0. Os resultados acima são todos válidos: para qualquer caminho fechado que não passe por P, o resultado obtido é um número inteiro, que representa o número de voltas dadas em torno de P. 3.2 O Caso Generalizado Quando γ : [a, b] R 2 {P } for um caminho contínuo qualquer (não necessariamente derivável), os fatores x (t) e y (t) podem não existir, o que nos impede de calcular W (γ, P ). Como podemos, então, denir o índice de γ? É o que faremos agora. Observe que, para cada t [a, b], o ponto γ(t) está contido em algum setor S γ(t) de R 2. O conjunto γ 1 (S γ(t) ) é, portanto, uma vizinhança aberta de t, donde concluimos que {γ 1 (S γ(t) ) t [a, b]} é uma cobertura aberta do compacto [a, b]. Assim, o Lema de Lebesgue nos garante que existe uma partição a = t 0 < t 1 <... < t n = b de [a, b] (que chamaremos de partição bonita), na qual cada subintervalo [t i 1, t i ] é levado inteiramente em algum dos setores S γ(t), que chamaremos de S i, onde conseguimos denir uma função ângulo θ i contínua. Denição Seja P i = γ(t i ), i = 0,..., n e θ i as funções ângulo escolhidas. Então denimos o índice, W (γ, P ) = 1 2π n (θ i (P i ) θ i (P i 1 )). i=1 Proposição O índice está bem denido, isto é, não depende dos setores S i tomados e tampouco de suas funções θ i. Demonstração. Armamos que duas funções angulares θ i e θ i diferem por uma constante múltipla de 2π. De fato, para todo P S i devemos ter cos(θ i (P )) = cos(θ i(p )) e sen(θ i (P )) = sen(θ i(p ))

53 3 Índice de um Caminho 37 e, portanto, para cada ponto P deve existir um inteiro k i (P ) tal que θ i (P ) = θ i(p ) + 2πk i (P ) θ i θ i 2π (P ) = k i(p ) Z. Aplicando o Lema à função k i, devemos ter o mesmo valor de k i para todo P S i, ou seja, θ i(p ) = θ i (P ) + 2πk i. Logo, independentemente das funções escolhidas teremos θ i(p i ) θ i(p i 1 ) = (θ i (P i ) + 2k i π) (θ i (P i 1 ) + 2k i π) = θ i (P i ) θ i (P i 1 ). Provemos agora que W (γ, P ) não depende da partição bonita escolhida. Se adicionamos um ponto t entre dois pontos t i 1 e t i da partição bonita, então podemos escolher o mesmo setor S i e a mesma função θ i para os intervalos [t i 1, t ] e [t, t i ]. Assim, se P = γ(t ), (θ i (P i ) θ i (P )) + (θ i (P ) θ i (P i 1 )) = θ i (P i ) θ i (P i 1 ), ou seja, o índice não é alterado quando adicionamos um número nito de pontos. Sejam agora A = {a = t 0, t 1,..., t n = b} e B = {a = t 0, t 1,..., t n = b} duas partições bonitas de [a, b]. Então, A B é uma partição bonita de [a, b] que pode ser obtida adicionando um número nito de pontos a A ou a B, donde vemos que o índice é igual para A e B. Proposição A denição generalizada de índice coincide com a denição anterior para o caso em que o caminho é derivável. Demonstração. Seja γ : [a, b] U um caminho contínuo qualquer e a = t 0 < t 1 <... < t n = b uma partição bonita. Seja γ i = γ [ti 1,t i ], i = 1,..., n. Então, por denição temos γ = γ γ n. Como cada γ i é suave, usando a equação 3.1 vem que θ i (P i ) θ i (P i 1 ) = γ i ω θ e daí W (γ, P ) = 1 2π n i=1 (θ i (P i ) θ i (P i 1 )) = 1 2π n ( i=1 γ i ω θ ) = 1 ω θ. 2π γ A propriedade do índice de qualquer caminho fechado ser um número inteiro também vale para esta denição: Proposição Se γ é fechado, então W (γ, P ) é um número inteiro. Demonstração. Temos

54 O Caso Generalizado W (γ, P ) = 1 2π n (θ i (P i ) θ i (P i 1 )) = i=1 = 1 2π (θ 1(P 1 ) θ 1 (P 0 ) + θ 2 (P 2 ) θ 2 (P 1 ) θ n (P n ) θ n (P n 1 )) Já justicamos anteriormente na Proposição que θ i (P i ) θ i+1 (P i ) = 2πk i, i = 1,..., n 1. Substituindo na equação anterior e usando que P 0 = P n (pois γ é fechado) obtemos W (γ, P ) = 1 2π (θ n(p n ) θ 1 (P 0 )) = 1 2kπ = k, k Z. 2π Proposição Se γ : [a, b] U é um caminho fechado e U é um aberto em R 2 {P } no qual está denida uma função ângulo θ contínua, então W (γ, P ) = 0. Demonstração. Para qualquer partição bonita, consideremos os setores S 1,..., S n que cobrem γ([a, b]). Pela hipótese, podemos escolher θ i = θ e teremos W (γ, P ) = n (θ(p i ) θ(p i 1 )) = θ(p n ) θ(p 0 ) = θ(p 0 ) θ(p 0 ) = 0. i=1 Por último, veremos que o índice é invariante por translação através da Proposição Seja γ : [a, b] R 2 {P } e v R 2. Seja γ +v : [a, b] R 2 {P +v} denido por (γ + v)(t) = γ(t) + v. Então W (γ, P ) = W (γ + v, P + v). Demonstração. Sejam a = t 0 < t 1 <... < t n = b uma partição bonita de [a, b], S 1,..., S n os setores correspondentes e θ 1,..., θ n as respectivas funções ângulo usadas para calcular W (γ, P ). Sabemos que para qualquer vetor x em S i podemos escrever x P = r(x)(cos(θ(x)), sen(θ(x))). Para a mesma partição bonita escolhida, denimos os novos setores S i = S i + v = {s + v s S i }, i = 1,..., n. Como γ([t i 1, t i ]) S i, temos que γ + v([t i 1, t i ]) S i, ou seja, cada subintervalo da partição é levado por γ + v em algum dos setores S i. Em cada um destes setores, seja

55 3 Índice de um Caminho 39 θ i (x + v) = θ i (x) e r(x + v) = r(x). Para que o conjunto γ + v([t i 1, t i ]) esteja bem denido através das funções θ i e r, precisamos escrever, para qualquer vetor x + v em γ + v([t i 1, t i ]), Mas (x + v) (P + v) = r(x + v)(cos(θ(x + v)), sen(θ(x + v))). r(x + v)(cos(θ(x + v)), sen(θ(x + v))) = r(x)(cos(θ(x)), sen(θ(x))) = x P = x P + v v = (x + v) (P + v). Seja P i + v = γ + v(t i ). Pela denição de índice temos W (γ + v, P + v) = n θ i (P i + v) θ i (P i 1 + v) = i=1 n θ i (P i ) θ i (P i 1 ) = W (γ, P ). i=1 Se γ e δ são suavemente homotópicos, decorre dos Teoremas e que W (γ, P ) = 1 ω θ,p = 1 ω θ,p = W (δ, P ). 2π γ 2π δ Esta igualdade, porém, é válida também para caminhos homotópicos quaisquer. Para a demonstração deste fato, utilizaremos um Lema. Seja R = [a, b] [c, d] e Γ : R R 2 contínua. Sejam γ 1 (t) = Γ(t, c), γ 3 (t) = Γ(t, d), a t b γ 2 (s) = Γ(b, s), γ 4 (s) = Γ(a, s), c s d os caminhos formados pela restrição de Γ aos quatro lados do retângulo R. Lema Se P R 2 Γ(R), então W (γ 1, P ) + W (γ 2, P ) = W (γ 3, P ) + W (γ 4, P ). (3.2) Demonstração. Primeiramente, vejamos que W (Γ R, P ) = W (γ 1, P ) + W (γ 2, P ) W (γ 3, P ) W (γ 4, P ).

56 O Caso Generalizado Agora, faremos assim como zemos para generalizar a denição do índice. O fato de que cada ponto em Γ(R) está contido em algum setor centrado em P nos permite particionar o retângulo R em subretângulos R i,j cujas imagens por Γ estão inteiramente contidas em algum setor S i,j centrado em P, onde há uma função ângulo θ i,j bem denida. Isso nos garante, pela Proposição 3.2.5, que o índice sobre a imagem do contorno de cada um destes subretângulos é zero, ou seja, W (Γ Ri,j, P ) = 0 para todo i, j. Além disso, quando somamos os ângulos da imagem dos extremos dos segmentos de todos os subretângulos, os segmentos internos se cancelam, donde obtemos W (Γ R, P ) = i,j W (Γ Ri,j, P ) = 0 e portanto W (γ 1, P ) + W (γ 2, P ) W (γ 3, P ) W (γ 4, P ) = 0, como queríamos. Teorema Se γ, δ : [a, b] R 2 {P } são caminhos homotópicos, então W (γ, P ) = W (δ, P ). Demonstração. Seja H : [a, b] [0, 1] R 2 a homotopia entre γ e δ. Usando o Lema acima, denimos Γ = H (onde c = 0 e d = 1) e os caminhos γ 1, γ 2, γ 3 e γ 4, e teremos W (γ 1, P ) + W (γ 2, P ) = W (γ 3, P ) + W (γ 4, P ). Antes de mais nada, notemos que W (γ 1, P ) = W (γ, P ) e W (γ 2, P ) = W (δ, P ). Há dois casos de homotopia a serem tratados. Se a homotopia é entre caminhos com mesmos pontos extremos, temos que a imagem dos caminhos γ 2 e γ 4 são pontos, e portanto, W (γ 2, P ) = W (γ 4, P ) = 0, donde vem que W (γ, P ) = W (δ, P ). Se a homotopia é entre caminhos fechados, temos, por denição, que W (γ 2, P ) = W (γ 4, P ) e portanto, cancelando ambos na equação 3.2 obtemos também W (γ, P ) = W (δ, P ). Dado um caminho γ fechado xo, podemos considerar a função índice como uma função de V = R 2 {γ([a, b])} em Z, que associa a cada ponto o número de voltas em sentido anti-horário que γ dá em torno do ponto. O que veremos agora é que, se P é muito próximo de P, então o número de voltas é o mesmo. Proposição Dado γ : [a, b] R 2 xo, a função f(p ) = W (γ, P ) é constante em cada componente conexa de R 2 γ([a, b]). Demonstração. Primeiramente, como γ é continuo e [a, b] é compacto, pelo Teorema γ([a, b]) é compacto. Como estamos em R 2, podemos dizer então que esta imagem é fechada e limitada. Assim, V = R 2 γ([a, b]) é um conjunto aberto. Seja P V. Então P está em alguma componente conexa C de V, que, por 1.3.9, é conexa e aberta.

57 3 Índice de um Caminho Figura 3.3: Índice constante em componentes conexas A estratégia da demonstração será simplesmente mostrar que f é localmente constante e então teremos que f é constante em cada componente conexa de R 2 γ([a, b]), pela Proposição Considere então B(P, ɛ) C e isto implica B(P, ɛ) γ([a, b]) = (3.3) Devemos mostrar que W (γ, P ) = W (γ, P ) para qualquer P B(P, ɛ). Dado P C, tomemos o vetor v = P P. Pela Proposição 3.2.6, temos W (γ, P ) = W (γ + v, P + v) = W (γ + v, P ). Armamos agora que H(t, s) = γ(t) + sv, a t b, 0 s 1 é uma homotopia entre γ e γ + v que não toca o ponto P, o que nos garantirá, por 3.2.8, que W (γ, P ) = W (γ + v, P ) = W (γ, P ), como queríamos. De fato, se existissem t [a, b] e s [0, 1] tais que γ(t) + sv = P, então teríamos γ(t) = (1 s)p + sp ou seja, γ(t) estaria no segmento P P que está contido em B(P, ɛ), absurdo com 3.3. A próxima proposição nos será útil mais tarde, quando estivermos estudando os Grupos Fundamentais. Sua demonstração, no entanto, envolve diretamente a denição de índice; por isso, a faremos aqui. Proposição Seja P 0 R 2 e sejam γ e δ dois caminhos denidos em [0, 1] cujas imagens estão contidas em R 2 {P 0 } e tais que γ(1) = δ(0). Seja γ.δ(t) = Então W (γ.δ, P 0 ) = W (γ, P 0 ) + W (δ, P 0 ). { γ(2t), se 0 t 1 2, δ(2t 1), se 1 2 t 1.

58 O Caso Generalizado Demonstração. Sabemos que existe uma partição 0 = t 0 < t 1 <... < t n = 1 tal que, para todo i = 1,..., n, a imagem γ([t i 1, t i ]) está contida em algum setor T i onde há uma função ângulo θ i bem denida. Sabemos também que existe uma partição 0 = s 0 < s 1 <... < s m = 1 tal que, para todo j = 1,..., m, a imagem δ([s j 1, s j ]) está contida em algum setor S j no qual há uma função ângulo θ j bem denida. Para calcular W (γ.δ, P 0 ) precisamos encontrar uma partição de [0, 1] onde cada subintervalo é levado por γ.δ inteiramente em algum setor. Considere a partição 0 = t 0 2 < t 1 2 < t 2 2 <... < t n 2 = 1 2 = s < s denindo desta forma, teremos, para todo i = 1,..., n, e, analogamente, para todo j = 1,..., m, ([ ti 1 γ.δ 2, t ]) i = γ([t i 1, t i ]) T i 2 ([ sj γ.δ, s ]) j + 1 = δ([s j 1, s j ]) S j, 2 2 <... < s m ou seja, cada subintervalo é levado inteiramente em um setor. Tomando em cada um destes setores as mesmas funções ângulo θ i e θ j anteriormente encontradas e usando a denição de γ.δ obtemos = 1. ( )) ( ( )) ( ( )) ( t1 t0 tn W (γ.δ, P 0 ) = θ 1 (γ.δ θ 1 γ.δ θ n γ.δ θ n γ.δ ( ( )) ( ( )) + θ 1 s1 + 1 γ.δ θ 1 s0 + 1 γ.δ ( ( )) ( ( )) + θ m sm + 1 γ.δ θ m sm γ.δ 2 2 = θ 1 (γ(t 1 )) θ 1 (γ(t 0 )) θ n (γ(t n )) θ n (γ(t n 1 )) + + θ 1(δ(s 1 )) θ 1(δ(s 0 )) θ m(δ(s m )) θ m(δ(s m 1 )) = W (γ, P 0 ) + W (δ, P 0 ). ( tn 1 2 )) Curiosidade: Quando passeamos com nossos cães pela rua, uma das maiores preocupações é não deixar que eles dêem voltas a mais nos postes e hidrantes, se enrolando nos mesmos e atrapalhando o uxo de pessoas; ou seja, queremos garantir que o número de voltas dadas em torno de cada objeto seja o mesmo para cão e dono. O teorema tem como consequência o seguinte fato: para que nossos cães não se enrolem e consigamos voltar para casa, basta que mantenhamos o tamanho da coleira sempre menor do que nossa distância até os objetos:

59 3 Índice de um Caminho 43 Figura 3.4: O problema da coleira Corolário Sejam γ, δ : [a, b] R 2 {P } caminhos fechados tais que o segmento que liga γ(t) e δ(t) nunca toca P. Então W (γ, P ) = W (δ, P ). Demonstração. Independentemente dos caminhos γ e δ, a função H : [a, b] [0, 1] R 2 {P }; H(t, s) = (1 s)γ(t) + δ(t), a t b, 0 s 1 é uma homotopia entre os caminhos. A hipótese nos diz que P não está na imagem do retângulo. Logo, pelo teorema 3.2.8, W (γ, P ) = W (δ, P ). 3.3 Índice de uma Função do Círculo Sejam I = [0, 1], P um ponto do plano e C um círculo qualquer da forma C = {(x, y) R 2 (x x 0 ) 2 + (y y 0 ) 2 = r 2 }. Dada uma função F : C R 2 {P }, queremos denir o índice de F ao redor de P. Para isso, considere a aplicação φ(t) = (x 0, y 0 ) + (rcos(2πt), rsin(2πt)), 0 t 1. Ora, φ é uma função contínua e bijetora exceto nos pontos 0 e 1, nos quais a imagens coincidem. Proposição O caminho γ(t) = F (φ(t)), a função F denida acima é contínua. 0 t 1 é contínuo se, e somente se, Demonstração. Se F é contínua, então o Teorema nos garante que γ também o é, por ser composta de contínuas. Suponha agora γ contínua. Dado um aberto U de R 2 {P }, devemos provar que F 1 (U) é aberto em C. Como F 1 (U) = φ(γ 1 (U)), basta provar que φ leva abertos de I em abertos de C, ou que leva básicos em abertos. Mas

60 Índice de uma Função do Círculo existe uma topologia em I que nos garantirá esta propriedade: a que tem como base os intervalos abertos tradicionais e os conjuntos da forma [0, ɛ) (1 ɛ, 1]. Denição Seja F : C R 2 {P } uma aplicação contínua. Então γ = F φ é um caminho contínuo de I a R 2 {P }. O índice de F ao redor de P é denido então por W (F, P ) = W (γ, P ).

61 Capítulo 4 Aplicações do Índice 4.1 O Teorema do Ponto Fixo de Brouwer O objetivo desta subseção será usar o conceito de índice para demonstrar o Teorema do Ponto Fixo de Brouwer, que arma que toda função f contínua de um disco fechado nele mesmo possui um ponto xo, ou seja, um ponto x tal que f(x) = x. Seremos, portanto, bem sucintos, apresentando uma sequência de proposições que nos conduzirão ao resultado nal. Aqui, denotaremos um disco fechado por e sua fronteira por D = {(x, y) R 2 (x x 0 ) 2 + (y y 0 ) 2 r 2 } C = {(x, y) R 2 (x x 0 ) 2 + (y y 0 ) 2 = r 2 }. Proposição Se uma função contínua F : C R 2 {P } pode ser estendida para uma função contínua F : D R 2 {P }, então W (F, P ) = 0. Demonstração. Seja γ = F φ onde φ(t) = (x 0, y 0 ) + (rcos(2πt), rsin(2πt)), 0 t 1. Vejamos que H(t, s) = (x 0, y 0 ) + s(rcos(2πt), rsen(2πt)), 0 t 1, 0 s 1 é uma homotopia entre φ e o caminho constante em (x 0, y 0 ). Consideremos então a função H = F H. Como F C = F, temos H(t, 1) = F H(t, 1) = F (φ(t)) = F (φ(t)) = γ(t), ou seja, H é uma homotopia entre γ e o caminho constante ɛ(t) = F (x 0, y 0 ) (cujo índice em torno de P é nulo). Como H é uma homotopia dentro do disco e a imagem de F nunca toca P, temos então que H não o toca. Pela Proposição conseguimos 45

62 O Teorema do Ponto Fixo de Brouwer W (F, P ) = W (γ, P ) = W (ɛ, P ) = 0. Denição Seja F : C C uma função contínua do disco em um outro disco C. Seja P o centro de C. Então denimos o grau de F por Gr(F ) = W (F, P ). Intuitivamente, o grau de F representa o número de voltas em sentido anti horário que F dá em torno de P. Por exemplo, é intuitivo e facilmente vericado pela denição de índice que a função identidade Id : C C possui grau igual a 1. Notemos também que o grau não se alterará se for denido em torno de qualquer ponto dentro de C, ou seja, qualquer ponto Q tal que a distância de P a Q é menor do que o raio r de C. De fato, isto é garantido pela Proposição e pelo fato de que a região {Q R 2 d(q, P ) < r } é conexa. Para demonstrar o Teorema do Ponto Fixo de Brouwer, ainda precisamos de mais um conceito: o de retração. Denição Seja X um espaço topológico e Y um subespaço de X. Uma retração de X em Y é uma função contínua r : X Y tal que r(y) = y para todo y Y. Nestas condições, dizemos que Y é um retrato de X. Proposição Não existe uma retração de um disco fechado D à sua fronteira C. Demonstração. Suponhamos que exista uma retração r de D em C. Então, r é uma função contínua cuja imagem não toca o centro P de C (pois a imagem de r é C). Ainda mais, r é a função identidade em C. Podemos então entender r como uma extensão da função identidade (Id : C C) para o disco D. Assim, pela Proposição temos que W (Id, P ) = 0 Gr(Id) = 0. Mas, isto é um absurdo, pois o grau da função identidade é sempre igual a 1, como já discutido acima. Concluimos então que não existe retração de D em C. Proposição Seja h : X Y um homeomorsmo. Se toda função contínua de X em X possui um ponto xo, então toda função contínua de Y em Y também possui um ponto xo. Demonstração. Seja g : Y Y uma função contínua. Consideremos a função f = h 1 g h. Como h é homeomorsmo, f é uma função contínua de X em X. Assim, por hipótese, existe x X tal que f(x) = x, ou seja, h 1 (g(h(x))) = x. Aplicando h em ambos os lados da equação obtemos g(h(x)) = h(x), ou seja, h(x) é um ponto xo de g.

63 4 Aplicações do Índice 47 Teorema (Ponto xo de Brouwer). Toda função contínua f : D D possui um ponto xo. f(p ) P r(p ) Figura 4.1: A função r Demonstração. Provaremos primeiramente o teorema para o disco D centrado na origem e de raio igual a 1. Suponhamos que f não possua ponto xo. Criaremos, então uma retração r de D em C, um absurdo pela Proposição acima. A função r, funcionalmente, leva um ponto P ao ponto r(p ) que é a interseção de C com o raio que sai de f(p ) e passa por P (veja Figura 4.1). Explicitamente, r(p ) = P + t.u onde U = P f(p ) P f(p ). Queremos um real positivo t que leve P em C, ou seja, tal que r(p ) = 1. Com esta imposição obtemos t = P U + 1 P P + (P U) 2. Como f é contínua, bem como as funções relacionadas a produto escalar e a norma, segue que r é contínua. Para provarmos que r é a identidade em C, suponhamos que P = 1 e teremos P P = 1. Substituindo na equação acima obtemos t = 0, ou seja, r(p ) = P + 0.U = P. Para que o teorema seja válido para todo disco em R 2, basta usarmos a Proposição e vermos que todos os discos com centro em a R 2 e raio R > 0 são homeomorfos ao disco unitário D, pela função contínua f(x) = Rx + a cuja inversa é a função contínua g(y) = y a R.

64 O Teorema de Borsuk-Ulam e Invariância de Dimensão 4.2 O Teorema de Borsuk-Ulam e Invariância de Dimensão Aqui, estabeleceremos o Teorema de Borsuk-Ulam, que diz que para qualquer função contínua f de uma esfera ao R 2, existe um ponto P na esfera tal que f(p ) = f(p ). Imaginemos agora a superfície terrestre como sendo a esfera e a função que, a cada ponto da superfície, associa a temperatura e a umidade do ar neste ponto. Como estas características variam continuamente, podemos dizer que, em qualquer instante, existem sempre dois pontos P e P cuja temperatura e umidade são iguais (por exemplo, P no Brasil e P no Japão, ou ainda P na cidade de Arganda del Rey, na Espanha, e P na mundialmente famosa região de Taumatawhakatangihangakoauauotamateaturipukakapikimaungahoronukupokaiwhenuakitanatahu, na Nova Zelândia). Vamos, então, à demonstração. Figura 4.2: Aplicação do Teorema de Borsuk Ulam O conceito fundamental para esta seção é o de antípoda. Denição Dado um ponto P em um círculo (ou uma esfera) de centro C, a antípoda de P (que denotaremos por P ) é a interseção do círculo (ou da esfera) com a semirreta que sai de P e passa por C, ou seja, o ponto do círculo mais distante de P. A função antipodal é a função do círculo (ou esfera) que associa cada ponto à sua antípoda. Notemos que, se o círculo ou a esfera estão centrados na origem, então P = P para todo ponto P. Exemplo Seja C um círculo no plano de centro (x 0, y 0 ) e raio r. O grau de uma função antipodal A : C C é igual a 1. De fato, dado o caminho φ(t) = (x 0 + rcos(t), y 0 + rsen(t)), 0 t 2π, temos A φ(t) = (x 0 rcos(t), y 0 rsen(t)) e, portanto,

Exercícios resolvidos P2

Exercícios resolvidos P2 Exercícios resolvidos P Questão 1 Dena as funções seno hiperbólico e cosseno hiperbólico, respectivamente, por sinh(t) = et e t e cosh(t) = et + e t. (1) 1. Verique que estas funções satisfazem a seguinte

Leia mais

PARTE 2 FUNÇÕES VETORIAIS DE UMA VARIÁVEL REAL

PARTE 2 FUNÇÕES VETORIAIS DE UMA VARIÁVEL REAL PARTE FUNÇÕES VETORIAIS DE UMA VARIÁVEL REAL.1 Funções Vetoriais de Uma Variável Real Vamos agora tratar de um caso particular de funções vetoriais F : Dom(f R n R m, que são as funções vetoriais de uma

Leia mais

ESPAÇOS QUOCIENTES DANIEL SMANIA. [x] := {y X t.q. x y}.

ESPAÇOS QUOCIENTES DANIEL SMANIA. [x] := {y X t.q. x y}. ESPAÇOS QUOCIENTES DANIEL SMANIA 1. Relações de equivalência Seja uma relação de equivalência sobre um conjunto X, isto é, uma rel ção binária que satisfaz as seguintes propriedades i. (Prop. Reflexiva.)

Leia mais

Disciplina: Introdução à Álgebra Linear

Disciplina: Introdução à Álgebra Linear Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte Campus: Mossoró Curso: Licenciatura Plena em Matemática Disciplina: Introdução à Álgebra Linear Prof.: Robson Pereira de Sousa

Leia mais

Um Exemplo de Topologia Não Metrizável

Um Exemplo de Topologia Não Metrizável Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Um Exemplo de Topologia Não Metrizável Autor: Tamyris Marconi Orientadora: Profa. Dra. Cláudia Buttarello

Leia mais

O Teorema da Função Inversa e da Função Implícita

O Teorema da Função Inversa e da Função Implícita Universidade Estadual 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 da Função Inversa

Leia mais

CAMPOS CONSERVATIVOS NO PLANO

CAMPOS CONSERVATIVOS NO PLANO CAMPOS CONSERVATIVOS NO PLANO Ricardo Bianconi Primeiro Semestre de 2008 Revisado em Fevereiro de 2015 Resumo Relacionamos os conceitos de campos irrotacionais, campos conservativos e forma do domínio

Leia mais

Universidade Estadual de Santa Cruz. Departamento de Ciências Exatas e Tecnológicas. Especialização em Matemática. Disciplina: Estruturas Algébricas

Universidade Estadual de Santa Cruz. Departamento de Ciências Exatas e Tecnológicas. Especialização em Matemática. Disciplina: Estruturas Algébricas 1 Universidade Estadual de Santa Cruz Departamento de Ciências Exatas e Tecnológicas Especialização em Matemática Disciplina: Estruturas Algébricas Profs.: Elisangela S. Farias e Sérgio Motta Operações

Leia mais

Capítulo 5: Transformações Lineares

Capítulo 5: Transformações Lineares 5 Livro: Introdução à Álgebra Linear Autores: Abramo Hefez Cecília de Souza Fernandez Capítulo 5: Transformações Lineares Sumário 1 O que são as Transformações Lineares?...... 124 2 Núcleo e Imagem....................

Leia mais

Exercícios Teóricos Resolvidos

Exercícios Teóricos Resolvidos Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática Exercícios Teóricos Resolvidos O propósito deste texto é tentar mostrar aos alunos várias maneiras de raciocinar

Leia mais

Função. Definição formal: Considere dois conjuntos: o conjunto X com elementos x e o conjunto Y com elementos y. Isto é:

Função. Definição formal: Considere dois conjuntos: o conjunto X com elementos x e o conjunto Y com elementos y. Isto é: Função Toda vez que temos dois conjuntos e algum tipo de associação entre eles, que faça corresponder a todo elemento do primeiro conjunto um único elemento do segundo, ocorre uma função. Definição formal:

Leia mais

Dicas para a 6 a Lista de Álgebra 1 (Conteúdo: Homomorfismos de Grupos e Teorema do Isomorfismo para grupos) Professor: Igor Lima.

Dicas para a 6 a Lista de Álgebra 1 (Conteúdo: Homomorfismos de Grupos e Teorema do Isomorfismo para grupos) Professor: Igor Lima. Dicas para a 6 a Lista de Álgebra 1 (Conteúdo: Homomorfismos de Grupos e Teorema do Isomorfismo para grupos) Professor: Igor Lima. 1 /2013 Para calcular Hom(G 1,G 2 ) ou Aut(G) vocês vão precisar ter em

Leia mais

4.2 Produto Vetorial. Orientação sobre uma reta r

4.2 Produto Vetorial. Orientação sobre uma reta r 94 4. Produto Vetorial Dados dois vetores u e v no espaço, vamos definir um novo vetor, ortogonal a u e v, denotado por u v (ou u v, em outros textos) e denominado produto vetorial de u e v. Mas antes,

Leia mais

Capítulo 2. Álgebra e imagens binárias. 2.1 Subconjuntos versus funções binárias

Capítulo 2. Álgebra e imagens binárias. 2.1 Subconjuntos versus funções binárias Capítulo 2 Álgebra e imagens binárias Em Análise de Imagens, os objetos mais simples que manipulamos são as imagens binárias. Estas imagens são representadas matematicamente por subconjuntos ou, de maneira

Leia mais

a 1 x 1 +... + a n x n = b,

a 1 x 1 +... + a n x n = b, Sistemas Lineares Equações Lineares Vários problemas nas áreas científica, tecnológica e econômica são modelados por sistemas de equações lineares e requerem a solução destes no menor tempo possível Definição

Leia mais

1 Base de um Espaço Vetorial

1 Base de um Espaço Vetorial Disciplina: Anéis e Corpos Professor: Fernando Torres Membros do grupo: Blas Melendez Caraballo (ra143857), Leonardo Soriani Alves (ra115465), Osmar Rogério Reis Severiano (ra134333) Ramon Códamo Braga

Leia mais

IBM1018 Física Básica II FFCLRP USP Prof. Antônio Roque Aula 6. O trabalho feito pela força para deslocar o corpo de a para b é dado por: = =

IBM1018 Física Básica II FFCLRP USP Prof. Antônio Roque Aula 6. O trabalho feito pela força para deslocar o corpo de a para b é dado por: = = Energia Potencial Elétrica Física I revisitada 1 Seja um corpo de massa m que se move em linha reta sob ação de uma força F que atua ao longo da linha. O trabalho feito pela força para deslocar o corpo

Leia mais

Espaços não reversíveis

Espaços não reversíveis {Nome da seção} Notas de aula Espaços não reversíveis Fernando Lucatelli Nunes UnB-UC/UP 1 Se X e Y são espaços topológicos quaisquer, o gráfico de uma função f : X Y é o conjunto G( f )={(x, f (x)) :

Leia mais

Capítulo 1. x > y ou x < y ou x = y

Capítulo 1. x > y ou x < y ou x = y Capítulo Funções, Plano Cartesiano e Gráfico de Função Ao iniciar o estudo de qualquer tipo de matemática não podemos provar tudo. Cada vez que introduzimos um novo conceito precisamos defini-lo em termos

Leia mais

Lista 1 para a P2. Operações com subespaços

Lista 1 para a P2. Operações com subespaços Lista 1 para a P2 Observação 1: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós sugerimos

Leia mais

Resolução de sistemas lineares

Resolução de sistemas lineares Resolução de sistemas lineares J M Martínez A Friedlander 1 Alguns exemplos Comecemos mostrando alguns exemplos de sistemas lineares: 3x + 2y = 5 x 2y = 1 (1) 045x 1 2x 2 + 6x 3 x 4 = 10 x 2 x 5 = 0 (2)

Leia mais

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR Assuntos: Matrizes; Matrizes Especiais; Operações com Matrizes; Operações Elementares

Leia mais

Só Matemática O seu portal matemático http://www.somatematica.com.br FUNÇÕES

Só Matemática O seu portal matemático http://www.somatematica.com.br FUNÇÕES FUNÇÕES O conceito de função é um dos mais importantes em toda a matemática. O conceito básico de função é o seguinte: toda vez que temos dois conjuntos e algum tipo de associação entre eles, que faça

Leia mais

9. Derivadas de ordem superior

9. Derivadas de ordem superior 9. Derivadas de ordem superior Se uma função f for derivável, então f é chamada a derivada primeira de f (ou de ordem 1). Se a derivada de f eistir, então ela será chamada derivada segunda de f (ou de

Leia mais

Unidade: Vetores e Forças. Unidade I:

Unidade: Vetores e Forças. Unidade I: Unidade I: 0 Unidade: Vetores e Forças 2.VETORES 2.1 Introdução Os vetores são definidos como entes matemáticos que dão noção de intensidade, direção e sentido. De forma prática, o conceito de vetor pode

Leia mais

Aula 19 Teorema Fundamental das Integrais de Linha

Aula 19 Teorema Fundamental das Integrais de Linha Aula 19 Teorema Fundamental das Integrais de Linha MA211 - Cálculo II Marcos Eduardo Valle Departamento de Matemática Aplicada Instituto de Matemática, Estatística e Computação Científica Universidade

Leia mais

Åaxwell Mariano de Barros

Åaxwell Mariano de Barros ÍÒ Ú Ö Ö Ð ÓÅ Ö Ò Ó Ô ÖØ Ñ ÒØÓ Å Ø Ñ Ø ÒØÖÓ Ò Ü Ø Ì ÒÓÐÓ ÆÓØ ÙÐ ¹¼ ÐÙÐÓÎ ØÓÖ Ð ÓÑ ØÖ Ò Ð Ø Åaxwell Mariano de Barros ¾¼½½ ËÓÄÙ ¹ÅA ËÙÑ Ö Ó 1 Vetores no Espaço 2 1.1 Bases.........................................

Leia mais

CDI-II. Trabalho. Teorema Fundamental do Cálculo

CDI-II. Trabalho. Teorema Fundamental do Cálculo Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Prof. Gabriel Pires CDI-II Trabalho. Teorema Fundamental do Cálculo 1 Trabalho. Potencial Escalar Uma das noções mais importantes

Leia mais

FUNÇÃO COMO CONJUNTO R 1. (*)= ou, seja, * possui duas imagens. b) não é uma função de A em B, pois não satisfaz a segunda condição da

FUNÇÃO COMO CONJUNTO R 1. (*)= ou, seja, * possui duas imagens. b) não é uma função de A em B, pois não satisfaz a segunda condição da FUNÇÃO COMO CONJUNTO Definição 4.4 Seja f uma relação de A em B, dizemos que f é uma função de A em B se as duas condições a seguir forem satisfeitas: i) D(f) = A, ou seja, o domínio de f é o conjunto

Leia mais

1 Propriedades das Funções Contínuas 2

1 Propriedades das Funções Contínuas 2 Propriedades das Funções Contínuas Prof. Doherty Andrade 2005 Sumário 1 Propriedades das Funções Contínuas 2 2 Continuidade 2 3 Propriedades 3 4 Continuidade Uniforme 9 5 Exercício 10 1 1 PROPRIEDADES

Leia mais

Departamento de Matemática - UEL - 2010. Ulysses Sodré. http://www.mat.uel.br/matessencial/ Arquivo: minimaxi.tex - Londrina-PR, 29 de Junho de 2010.

Departamento de Matemática - UEL - 2010. Ulysses Sodré. http://www.mat.uel.br/matessencial/ Arquivo: minimaxi.tex - Londrina-PR, 29 de Junho de 2010. Matemática Essencial Extremos de funções reais Departamento de Matemática - UEL - 2010 Conteúdo Ulysses Sodré http://www.mat.uel.br/matessencial/ Arquivo: minimaxi.tex - Londrina-PR, 29 de Junho de 2010.

Leia mais

Objetivos. Apresentar as superfícies regradas e superfícies de revolução. Analisar as propriedades que caracterizam as superfícies regradas e

Objetivos. Apresentar as superfícies regradas e superfícies de revolução. Analisar as propriedades que caracterizam as superfícies regradas e MÓDULO 2 - AULA 13 Aula 13 Superfícies regradas e de revolução Objetivos Apresentar as superfícies regradas e superfícies de revolução. Analisar as propriedades que caracterizam as superfícies regradas

Leia mais

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática 3 a Lista - MAT 137 - Introdução à Álgebra Linear 2013/I

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática 3 a Lista - MAT 137 - Introdução à Álgebra Linear 2013/I 1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática 3 a Lista - MAT 137 - Introdução à Álgebra Linear 013/I 1 Sejam u = ( 4 3) v = ( 5) e w = (a b) Encontre a e b tais

Leia mais

Somatórias e produtórias

Somatórias e produtórias Capítulo 8 Somatórias e produtórias 8. Introdução Muitas quantidades importantes em matemática são definidas como a soma de uma quantidade variável de parcelas também variáveis, por exemplo a soma + +

Leia mais

RESUMO 2 - FÍSICA III

RESUMO 2 - FÍSICA III RESUMO 2 - FÍSICA III CAMPO ELÉTRICO Assim como a Terra tem um campo gravitacional, uma carga Q também tem um campo que pode influenciar as cargas de prova q nele colocadas. E usando esta analogia, podemos

Leia mais

Álgebra Linear I Solução da 5ª Lista de Exercícios

Álgebra Linear I Solução da 5ª 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 Engenharia de Produção Curso de Graduação em Engenharia Ambiental e Sanitária

Leia mais

Prof. Márcio Nascimento. 22 de julho de 2015

Prof. Márcio Nascimento. 22 de julho de 2015 Núcleo e Imagem Prof. Márcio Nascimento marcio@matematicauva.org Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Linear

Leia mais

Números Complexos. Capítulo 1. 1.1 Unidade Imaginária. 1.2 Números complexos. 1.3 O Plano Complexo

Números Complexos. Capítulo 1. 1.1 Unidade Imaginária. 1.2 Números complexos. 1.3 O Plano Complexo Capítulo 1 Números Complexos 11 Unidade Imaginária O fato da equação x 2 + 1 = 0 (11) não ser satisfeita por nenhum número real levou à denição dos números complexos Para solucionar (11) denimos a unidade

Leia mais

Notas de aula número 1: Otimização *

Notas de aula número 1: Otimização * UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL UFRGS DEPARTAMENTO DE ECONOMIA CURSO DE CIÊNCIAS ECONÔMICAS DISCIPLINA: TEORIA MICROECONÔMICA II Primeiro Semestre/2001 Professor: Sabino da Silva Porto Júnior

Leia mais

ficha 3 espaços lineares

ficha 3 espaços lineares Exercícios de Álgebra Linear ficha 3 espaços lineares Exercícios coligidos por Jorge Almeida e Lina Oliveira Departamento de Matemática, Instituto Superior Técnico 2 o semestre 2011/12 3 Notação Sendo

Leia mais

12. FUNÇÕES INJETORAS. FUNÇÕES SOBREJETORAS 12.1 FUNÇÕES INJETORAS. Definição

12. FUNÇÕES INJETORAS. FUNÇÕES SOBREJETORAS 12.1 FUNÇÕES INJETORAS. Definição 90 1. FUNÇÕES INJETORAS. FUNÇÕES SOBREJETORAS 1.1 FUNÇÕES INJETORAS Definição Dizemos que uma função f: A B é injetora quando para quaisquer elementos x 1 e x de A, f(x 1 ) = f(x ) implica x 1 = x. Em

Leia mais

Exp e Log. Roberto Imbuzeiro Oliveira. 21 de Fevereiro de 2014. 1 O que vamos ver 1. 2 Fatos preliminares sobre espaços métricos 2

Exp e Log. Roberto Imbuzeiro Oliveira. 21 de Fevereiro de 2014. 1 O que vamos ver 1. 2 Fatos preliminares sobre espaços métricos 2 Funções contínuas, equações diferenciais ordinárias, Exp e Log Roberto Imbuzeiro Oliveira 21 de Fevereiro de 214 Conteúdo 1 O que vamos ver 1 2 Fatos preliminares sobre espaços métricos 2 3 Existência

Leia mais

Ivan Guilhon Mitoso Rocha. As grandezas fundamentais que serão adotadas por nós daqui em frente:

Ivan Guilhon Mitoso Rocha. As grandezas fundamentais que serão adotadas por nós daqui em frente: Rumo ao ITA Física Análise Dimensional Ivan Guilhon Mitoso Rocha A análise dimensional é um assunto básico que estuda as grandezas físicas em geral, com respeito a suas unidades de medida. Como as grandezas

Leia mais

Universidade Federal do Rio de Janeiro. As Fronteiras de Shilov e de Bishop

Universidade Federal do Rio de Janeiro. As Fronteiras de Shilov e de Bishop Universidade Federal do Rio de Janeiro Rafael Monteiro dos Santos As Fronteiras de Shilov e de Bishop Rio de Janeiro 2008 Rafael Monteiro dos Santos As Fronteiras de Shilov e de Bishop Dissertação de Mestrado

Leia mais

Def. 1: Seja a quádrupla (V, K, +, ) onde V é um conjunto, K = IR ou K = IC,

Def. 1: Seja a quádrupla (V, K, +, ) onde V é um conjunto, K = IR ou K = IC, ESPAÇO VETORIAL Def. 1: Seja a quádrupla (V, K, +, ) onde V é um conjunto, K = IR ou K = IC, + é a operação (função) soma + : V V V, que a cada par (u, v) V V, associa um único elemento de V, denotado

Leia mais

Breve referência à Teoria de Anéis. Álgebra (Curso de CC) Ano lectivo 2005/2006 191 / 204

Breve referência à Teoria de Anéis. Álgebra (Curso de CC) Ano lectivo 2005/2006 191 / 204 Breve referência à Teoria de Anéis Álgebra (Curso de CC) Ano lectivo 2005/2006 191 / 204 Anéis Há muitos conjuntos, como é o caso dos inteiros, dos inteiros módulo n ou dos números reais, que consideramos

Leia mais

Guia de Estudo de Análise Real

Guia de Estudo de Análise Real Guia de Estudo de Análise Real Marco Cabral Baseado na V2.4 Dezembro de 2011 Introdução O objetivo deste texto é orientar o estudo da aluna(o) em análise real. Ele é baseado no livro Curso de Análise Real

Leia mais

Seqüências, Limite e Continuidade

Seqüências, Limite e Continuidade Módulo Seqüências, Limite e Continuidade A partir deste momento, passaremos a estudar seqüência, ites e continuidade de uma função real. Leia com atenção, caso tenha dúvidas busque indicadas e também junto

Leia mais

A integral também é conhecida como antiderivada. Uma definição também conhecida para integral indefinida é:

A integral também é conhecida como antiderivada. Uma definição também conhecida para integral indefinida é: Integral Origem: Wikipédia, a enciclopédia livre. No cálculo, a integral de uma função foi criada para originalmente determinar a área sob uma curva no plano cartesiano e também surge naturalmente em dezenas

Leia mais

A ideia de coordenatização (2/2)

A ideia de coordenatização (2/2) 8 a : aula (1h) 12/10/2010 a ideia de coordenatização (2/2) 8-1 Instituto Superior Técnico 2010/11 1 o semestre Álgebra Linear 1 o ano das Lics. em Engenharia Informática e de Computadores A ideia de coordenatização

Leia mais

MAT1154 ANÁLISE QUALITATIVA DE PONTOS DE EQUILÍBRIO DE SISTEMAS NÃO-LINEARES

MAT1154 ANÁLISE QUALITATIVA DE PONTOS DE EQUILÍBRIO DE SISTEMAS NÃO-LINEARES MAT1154 ANÁLISE QUALITATIVA DE PONTOS DE EQUILÍBRIO DE SISTEMAS NÃO-LINEARES VERSÃO 1.0.2 Resumo. Este texto resume e complementa alguns assuntos dos Capítulo 9 do Boyce DiPrima. 1. Sistemas autônomos

Leia mais

Exercícios Adicionais

Exercícios Adicionais Exercícios Adicionais Observação: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós recomendamos

Leia mais

Vetores. Definição geométrica de vetores

Vetores. Definição geométrica de vetores Vetores Várias grandezas físicas, tais como por exemplo comprimento, área, olume, tempo, massa e temperatura são completamente descritas uma ez que a magnitude (intensidade) é dada. Tais grandezas são

Leia mais

UM TEOREMA QUE PODE SER USADO NA

UM TEOREMA QUE PODE SER USADO NA UM TEOREMA QUE PODE SER USADO NA PERCOLAÇÃO Hemílio Fernandes Campos Coêlho Andrei Toom PIBIC-UFPE-CNPq A percolação é uma parte importante da teoria da probabilidade moderna que tem atraído muita atenção

Leia mais

Chapter 2. 2.1 Noções Preliminares

Chapter 2. 2.1 Noções Preliminares Chapter 2 Seqüências de Números Reais Na Análise os conceitos e resultados mais importantes se referem a limites, direto ou indiretamente. Daí, num primeiro momento, estudaremos os limites de seqüências

Leia mais

Notas Para um Curso de Cálculo. Daniel V. Tausk

Notas Para um Curso de Cálculo. Daniel V. Tausk Notas Para um Curso de Cálculo Avançado Daniel V. Tausk Sumário Capítulo 1. Diferenciação... 1 1.1. Notação em Cálculo Diferencial... 1 1.2. Funções Diferenciáveis... 8 Exercícios para o Capítulo 1...

Leia mais

Notas de Cálculo Numérico

Notas de Cálculo Numérico Notas de Cálculo Numérico Túlio Carvalho 6 de novembro de 2002 2 Cálculo Numérico Capítulo 1 Elementos sobre erros numéricos Neste primeiro capítulo, vamos falar de uma limitação importante do cálculo

Leia mais

APLICAÇÕES DA DERIVADA

APLICAÇÕES DA DERIVADA Notas de Aula: Aplicações das Derivadas APLICAÇÕES DA DERIVADA Vimos, na seção anterior, que a derivada de uma função pode ser interpretada como o coeficiente angular da reta tangente ao seu gráfico. Nesta,

Leia mais

LIMITES e CONTINUIDADE de FUNÇÕES. : R R + o x x

LIMITES e CONTINUIDADE de FUNÇÕES. : R R + o x x LIMITES e CONTINUIDADE de FUNÇÕES Noções prévias 1. Valor absoluto de um número real: Chama-se valor absoluto ou módulo de um número real ao número x tal que: x se x 0 x = x se x < 0 Está assim denida

Leia mais

Potenciação no Conjunto dos Números Inteiros - Z

Potenciação no Conjunto dos Números Inteiros - Z Rua Oto de Alencar nº 5-9, Maracanã/RJ - tel. 04-98/4-98 Potenciação no Conjunto dos Números Inteiros - Z Podemos epressar o produto de quatro fatores iguais a.... por meio de uma potência de base e epoente

Leia mais

Curvas em coordenadas polares

Curvas em coordenadas polares 1 Curvas em coordenadas polares As coordenadas polares nos dão uma maneira alternativa de localizar pontos no plano e são especialmente adequadas para expressar certas situações, como veremos a seguir.

Leia mais

Conceitos Fundamentais

Conceitos Fundamentais Capítulo 1 Conceitos Fundamentais Objetivos: No final do Capítulo o aluno deve saber: 1. distinguir o uso de vetores na Física e na Matemática; 2. resolver sistema lineares pelo método de Gauss-Jordan;

Leia mais

Capítulo 5: Aplicações da Derivada

Capítulo 5: Aplicações da Derivada Instituto de Ciências Exatas - Departamento de Matemática Cálculo I Profª Maria Julieta Ventura Carvalho de Araujo Capítulo 5: Aplicações da Derivada 5- Acréscimos e Diferenciais - Acréscimos Seja y f

Leia mais

Todos os exercícios sugeridos nesta apostila se referem ao volume 1. MATEMÁTICA I 1 FUNÇÃO DO 1º GRAU

Todos os exercícios sugeridos nesta apostila se referem ao volume 1. MATEMÁTICA I 1 FUNÇÃO DO 1º GRAU FUNÇÃO IDENTIDADE... FUNÇÃO LINEAR... FUNÇÃO AFIM... GRÁFICO DA FUNÇÃO DO º GRAU... IMAGEM... COEFICIENTES DA FUNÇÃO AFIM... ZERO DA FUNÇÃO AFIM... 8 FUNÇÕES CRESCENTES OU DECRESCENTES... 9 SINAL DE UMA

Leia mais

ÁLGEBRA LINEAR. Núcleo e Imagem de uma Transformação Linear, Teorema da Dimensão, Isomorfismo. Prof. Susie C. Keller

ÁLGEBRA LINEAR. Núcleo e Imagem de uma Transformação Linear, Teorema da Dimensão, Isomorfismo. Prof. Susie C. Keller ÁLGEBRA LINEAR Núcleo e Imagem de uma Transformação Linear, Teorema da Dimensão, Isomorfismo Prof. Susie C. Keller Núcleo de uma Definição: Chama-se núcleo de uma transformação linear T: V W ao conjunto

Leia mais

QUESTÕES COMENTADAS E RESOLVIDAS

QUESTÕES COMENTADAS E RESOLVIDAS LENIMAR NUNES DE ANDRADE INTRODUÇÃO À ÁLGEBRA: QUESTÕES COMENTADAS E RESOLVIDAS 1 a edição ISBN 978-85-917238-0-5 João Pessoa Edição do Autor 2014 Prefácio Este texto foi elaborado para a disciplina Introdução

Leia mais

Retas e Planos. Equação Paramétrica da Reta no Espaço

Retas e Planos. Equação Paramétrica da Reta no Espaço Retas e lanos Equações de Retas Equação aramétrica da Reta no Espaço Considere o espaço ambiente como o espaço tridimensional Um vetor v = (a, b, c) determina uma direção no espaço Dado um ponto 0 = (x

Leia mais

Introdução ao estudo de equações diferenciais

Introdução ao estudo de equações diferenciais Matemática (AP) - 2008/09 - Introdução ao estudo de equações diferenciais 77 Introdução ao estudo de equações diferenciais Introdução e de nição de equação diferencial Existe uma grande variedade de situações

Leia mais

Campos Vetoriais e Integrais de Linha

Campos Vetoriais e Integrais de Linha Cálculo III Departamento de Matemática - ICEx - UFMG Marcelo Terra Cunha Campos Vetoriais e Integrais de Linha Um segundo objeto de interesse do Cálculo Vetorial são os campos de vetores, que surgem principalmente

Leia mais

4. Curvas planas. T = κn, N = κt, B = 0.

4. Curvas planas. T = κn, N = κt, B = 0. 4. CURVAS PLANAS 35 4. Curvas planas Nesta secção veremos que no caso planar é possível refinar a definição de curvatura, de modo a dar-lhe uma interpretação geométrica interessante. Provaremos ainda o

Leia mais

Capítulo 7. Topologia Digital. 7.1 Conexidade

Capítulo 7. Topologia Digital. 7.1 Conexidade Capítulo 7 Topologia Digital A Topologia Digital estuda a aplicação das noções definidas em Topologia sobre imagens binárias. Neste capítulo vamos introduzir algumas noções básicas de Topologia Digital,

Leia mais

Informática no Ensino de Matemática Prof. José Carlos de Souza Junior

Informática no Ensino de Matemática Prof. José Carlos de Souza Junior Informática no Ensino de Matemática Prof. José Carlos de Souza Junior http://www.unifal-mg.edu.br/matematica/?q=disc jc Aula 02 ATIVIDADE 01 Para poupar esforço de digitação, você pode usar o tradicional

Leia mais

AULA 6 LÓGICA DOS CONJUNTOS

AULA 6 LÓGICA DOS CONJUNTOS Disciplina: Matemática Computacional Crédito do material: profa. Diana de Barros Teles Prof. Fernando Zaidan AULA 6 LÓGICA DOS CONJUNTOS Intuitivamente, conjunto é a coleção de objetos, que em geral, tem

Leia mais

Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional. n=1

Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional. n=1 Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional MA Números e Funções Reais Avaliação - GABARITO 3 de abril de 203. Determine se as afirmações a seguir são verdadeiras

Leia mais

RELAÇÕES BINÁRIAS Produto Cartesiano A X B

RELAÇÕES BINÁRIAS Produto Cartesiano A X B RELAÇÕES BINÁRIAS PARES ORDENADOS Um PAR ORDENADO, denotado por (x,y), é um par de elementos onde x é o Primeiro elemento e y é o Segundo elemento do par A ordem é relevante em um par ordenado Logo, os

Leia mais

Representação no Plano Cartesiano INTRODUÇÃO A FUNÇÃO

Representação no Plano Cartesiano INTRODUÇÃO A FUNÇÃO INTRODUÇÃO A FUNÇÃO Def: Dado dois conjuntos que tenham uma relação, chama-se função quando todo elemento do primeiro tiver associado um único elemento do segundo conjunto. Ou seja, f é função de A em

Leia mais

Notas de Aula. Álgebra Linear I

Notas de Aula. Álgebra Linear I Notas de Aula Álgebra Linear I Rodney Josué Biezuner 1 Departamento de Matemática Instituto de Ciências Exatas (ICEx) Universidade Federal de Minas Gerais (UFMG) Notas de aula da disciplina Álgebra Linear

Leia mais

Análise de Arredondamento em Ponto Flutuante

Análise de Arredondamento em Ponto Flutuante Capítulo 2 Análise de Arredondamento em Ponto Flutuante 2.1 Introdução Neste capítulo, chamamos atenção para o fato de que o conjunto dos números representáveis em qualquer máquina é finito, e portanto

Leia mais

E A D - S I S T E M A S L I N E A R E S INTRODUÇÃO

E A D - S I S T E M A S L I N E A R E S INTRODUÇÃO E A D - S I S T E M A S L I N E A R E S INTRODUÇÃO Dizemos que uma equação é linear, ou de primeiro grau, em certa incógnita, se o maior expoente desta variável for igual a um. Ela será quadrática, ou

Leia mais

Contagem I. Figura 1: Abrindo uma Porta.

Contagem I. Figura 1: Abrindo uma Porta. Polos Olímpicos de Treinamento Curso de Combinatória - Nível 2 Prof. Bruno Holanda Aula 4 Contagem I De quantos modos podemos nos vestir? Quantos números menores que 1000 possuem todos os algarismos pares?

Leia mais

CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES

CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES 3.1 - IDENTIFICADORES Os objetos que usamos no nosso algoritmo são uma representação simbólica de um valor de dado. Assim, quando executamos a seguinte instrução:

Leia mais

Cláudio Tadeu Cristino 1. Julho, 2014

Cláudio Tadeu Cristino 1. Julho, 2014 Inferência Estatística Estimação Cláudio Tadeu Cristino 1 1 Universidade Federal de Pernambuco, Recife, Brasil Mestrado em Nutrição, Atividade Física e Plasticidade Fenotípica Julho, 2014 C.T.Cristino

Leia mais

Resolução da Prova da Escola Naval 2009. Matemática Prova Azul

Resolução da Prova da Escola Naval 2009. Matemática Prova Azul Resolução da Prova da Escola Naval 29. Matemática Prova Azul GABARITO D A 2 E 2 E B C 4 D 4 C 5 D 5 A 6 E 6 C 7 B 7 B 8 D 8 E 9 A 9 A C 2 B. Os 6 melhores alunos do Colégio Naval submeteram-se a uma prova

Leia mais

REFLEXÃO DA LUZ: ESPELHOS 412EE TEORIA

REFLEXÃO DA LUZ: ESPELHOS 412EE TEORIA 1 TEORIA 1 DEFININDO ESPELHOS PLANOS Podemos definir espelhos planos como toda superfície plana e polida, portanto, regular, capaz de refletir a luz nela incidente (Figura 1). Figura 1: Reflexão regular

Leia mais

FACULDADE DE CIÊNCIA E TECNOLOGIA. Cursos de Engenharia. Prof. Álvaro Fernandes Serafim

FACULDADE DE CIÊNCIA E TECNOLOGIA. Cursos de Engenharia. Prof. Álvaro Fernandes Serafim FACULDADE DE CIÊNCIA E TECNOLOGIA Cursos de Engenharia Prof. Álvaro Fernandes Serafim Última atualização: //7. Esta apostila de Álgebra Linear foi elaborada pela Professora Ilka Rebouças Freire. A formatação

Leia mais

Recordamos que Q M n n (R) diz-se ortogonal se Q T Q = I.

Recordamos que Q M n n (R) diz-se ortogonal se Q T Q = I. Diagonalização ortogonal de matrizes simétricas Detalhes sobre a Secção.3 dos Apontamentos das Aulas teóricas de Álgebra Linear Cursos: LMAC, MEBiom e MEFT (semestre, 0/0, Prof. Paulo Pinto) Recordamos

Leia mais

Qual é Mesmo a Definição de Polígono Convexo?

Qual é Mesmo a Definição de Polígono Convexo? Qual é Mesmo a Definição de Polígono Convexo? Elon Lages Lima IMPA, Rio de Janeiro Quando pensamos num polígono convexo, imaginamos seus vértices todos apontando para fora, ou seja, que ele não possui

Leia mais

Álgebra Linear. André Arbex Hallack Frederico Sercio Feitosa

Álgebra Linear. André Arbex Hallack Frederico Sercio Feitosa Álgebra Linear André Arbex Hallack Frederico Sercio Feitosa Janeiro/2006 Índice 1 Sistemas Lineares 1 11 Corpos 1 12 Sistemas de Equações Lineares 3 13 Sistemas equivalentes 4 14 Operações elementares

Leia mais

INTRODUÇÃO AO ESTUDO DE EQUAÇÕES DIFERENCIAIS

INTRODUÇÃO AO ESTUDO DE EQUAÇÕES DIFERENCIAIS INTRODUÇÃO AO ESTUDO DE EQUAÇÕES DIFERENCIAIS Terminologia e Definições Básicas No curso de cálculo você aprendeu que, dada uma função y f ( ), a derivada f '( ) d é também, ela mesma, uma função de e

Leia mais

Consequências Interessantes da Continuidade

Consequências Interessantes da Continuidade Consequências Interessantes da Continuidade Frederico Reis Marques de Brito Resumo Trataremos aqui de um dos conceitos basilares da Matemática, o da continuidade no âmbito de funções f : R R, mostrando

Leia mais

Definição. A expressão M(x,y) dx + N(x,y)dy é chamada de diferencial exata se existe uma função f(x,y) tal que f x (x,y)=m(x,y) e f y (x,y)=n(x,y).

Definição. A expressão M(x,y) dx + N(x,y)dy é chamada de diferencial exata se existe uma função f(x,y) tal que f x (x,y)=m(x,y) e f y (x,y)=n(x,y). PUCRS FACULDADE DE ATEÁTICA EQUAÇÕES DIFERENCIAIS PROF. LUIZ EDUARDO OURIQUE EQUAÇÔES EXATAS E FATOR INTEGRANTE Definição. A diferencial de uma função de duas variáveis f(x,) é definida por df = f x (x,)dx

Leia mais

IBM1018 Física Básica II FFCLRP USP Prof. Antônio Roque Aula 3

IBM1018 Física Básica II FFCLRP USP Prof. Antônio Roque Aula 3 Linhas de Força Mencionamos na aula passada que o físico inglês Michael Faraday (79-867) introduziu o conceito de linha de força para visualizar a interação elétrica entre duas cargas. Para Faraday, as

Leia mais

Prova de Admissão para o Mestrado em Matemática IME-USP - 23.11.2007

Prova de Admissão para o Mestrado em Matemática IME-USP - 23.11.2007 Prova de Admissão para o Mestrado em Matemática IME-USP - 23.11.2007 A Nome: RG: Assinatura: Instruções A duração da prova é de duas horas. Assinale as alternativas corretas na folha de respostas que está

Leia mais

ANÁLISE MATEMÁTICA II

ANÁLISE MATEMÁTICA II ANÁLISE MATEMÁTICA II Acetatos de Ana Matos Noções Básicas de Funções em R n Topologia DMAT Noções Básicas sobre funções em n Introdução Vamos generalizar os conceitos de limite, continuidade e diferenciabilidade,

Leia mais

Universidade Federal do Paraná

Universidade Federal do Paraná Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matematica Prof. Juan Carlos Vila Bravo Curitiba, 1 de Dezembro de 005 1. A posição de uma particula é dada por: r(t) = (sen t)i+(cost)j

Leia mais

Hoje estou elétrico!

Hoje estou elétrico! A U A UL LA Hoje estou elétrico! Ernesto, observado por Roberto, tinha acabado de construir um vetor com um pedaço de papel, um fio de meia, um canudo e um pedacinho de folha de alumínio. Enquanto testava

Leia mais

1 Módulo ou norma de um vetor

1 Módulo ou norma de um vetor Álgebra Linear I - Aula 3-2005.2 Roteiro 1 Módulo ou norma de um vetor A norma ou módulo do vetor ū = (u 1, u 2, u 3 ) de R 3 é ū = u 2 1 + u2 2 + u2 3. Geometricamente a fórmula significa que o módulo

Leia mais

Ondas Eletromagnéticas. E=0, 1 B=0, 2 E= B t, 3 E

Ondas Eletromagnéticas. E=0, 1 B=0, 2 E= B t, 3 E Ondas Eletromagnéticas. (a) Ondas Planas: - Tendo introduzido dinâmica no sistema, podemos nos perguntar se isto converte o campo eletromagnético de Maxwell em uma entidade com existência própria. Em outras

Leia mais

Notas para um curso de Cálculo 1 Duilio T. da Conceição

Notas para um curso de Cálculo 1 Duilio T. da Conceição Notas para um curso de Cálculo 1 Duilio T. da Conceição 1 2 Sumário 1 WOLFRAM ALPHA 5 1.1 Digitando Fórmulas e Expressões Matemáticas......... 6 1.1.1 Expoentes......................... 6 1.1.2 Multiplicação.......................

Leia mais

Uma introdução ao estudo de funções multivariáveis

Uma introdução ao estudo de funções multivariáveis Uma introdução ao estudo de funções multivariáveis Universidade Federal do Amazonas Instituto de Educação, Agricultura e Ambiente Janeiro de 2014 Bem-vindo Este material trata da introdução ao estudo de

Leia mais