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

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

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

Transcrição

1 Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Roberto Imbuzeiro Oliveira 8 de Janeiro de Conjuntos e funções Neste curso procuraremos fundamentar de forma precisa os fundamentos mais básicos do Cálculo. Para fazer isto com todo o rigor, teríamos que em primeiro lugar apresentar de forma adequada toda a Teoria de Conjuntos: de fato, todo objeto matemático que apresentarmos nestas notas será descrito por conjuntos, de uma forma ou de outra. Não teremos tempo de seguir esta abordagem ideal no curso, mas procuraremos esclarecer alguns pontos relacionados nestas notas. 1.1 O que é (ou não é) conjunto Um conjunto X é uma entidade abstrata sobre a qual se pode fazer perguntas do tipo x X? A interpretação que damos a esta pergunta é x pertence a X? ; se a resposta for sim, dizemos que x é elemento de X. Exemplo 1 (Exemplos intuitivos) N (números naturais), Z (inteiros), R (reais), Q (racionais), o conjunto de alunos desta turma. No final das contas, qualquer afirmação feita a respeito de um conjunto é na verdade a respeito dos elementos que ele contem ou não contem. Por exemplo, dois conjuntos X e Y são iguais se todos os elementos de um são elementos de outro. Em símbolos 1 : X=Y: x : x X x Y IMPA, Rio de Janeiro, RJ, Brazil, O símbolo significa para todo e significa se e somente se. 1

2 Da mesma forma, X Y se todo elemento de X é também elemento de Y. Em símbolos: X Y: x : x X x Y. Intuitivamente, um conjunto X representa uma coleção de elementos. Existe uma coleção vazia, simbolizada por, tal que x : x. De fato, só pode existir um conjunto vazio (exercício). No entanto, há coleções que não são conjuntos: por exemplo, não existe um conjunto cujos elementos incluem todos os conjuntos que existem. Isto está relacionado ao fato que, dado um conjunto X, podemos obter um subconjunto Y X via especificação: se P é uma propriedade que cada x X pode ou não satisfazer, então: Y {x X : X satisfaz P } é subconjunto de X. De fato, neste curso todo conjunto com o qual trabalharemos será ou declarado conjunto conhecido (no caso de N) ou então obtido de um outro conjunto via especificação e produtos cartesianos. Os leitores interessados numa melhor compreensão da Teoria de Conjuntos podem procurar os seguintes livros: Keith Devlin. The Joy of Sets. Paul Halmos. Naïve Set Theory. (Este livro é considerado um clássico.) 1.2 Funções são conjuntos Em geral uma função entre os conjuntos A e B é simbolizada por f : A B. Informalmente, ela dá uma regra que associa a cada elemento a A um elemento f(a) B. Recordamos que os conjuntos A e B são respectivamente chamados de domínio e contradomínio de f. Observe que as definições de domínio e contradomínio são parte da definição de f Esta definição informal tem alguns problemas. O mais óbvio deles é que a palavra regra tem de ser usada num sentido muito amplo para que ela valha. É f(x) = x 2 é uma regra clara que associa a cada x R o seu quadrado, mas outras funções podem ser muito mais complicadas ou não ter regra nenhuma 2. 2 Esta última afirmação será esclarecida mais adiante no curso. A ideia é que existem muito mais funções de N em {0, 1}, por exemplo, do que qualquer regra escrita seria capaz de descrever. 2

3 Um livro de Teoria de Conjuntos contornaria este problema e faria jus à nossa afirmação de que tudo é conjunto através da seguinte derfinição 3. Definição 1 Uma função com domínio A e contradomínio B é um subconjunto G A B com a seguinte propriedade: a A! b B : (a, b) G. (1) De que forma isto corresponde à ideia intuitiva? Veja que, por um lado, se f e função o conjunto G f {(a, f(a)) : a A} (chamado de gráfico de f) satisfaz a definição acima, pois a cada a A corresponde um único b (que é o b = f(a)). Por outro lado, dado G A B que satisfaz (1), podemos tomá-lo como o gráfico de alguma f descrita pela seguinte regra abstrata : se queremos saber quem é f(a), procuramos o único par (a, b) G contendo a e concluímos b = f(a). Dito de outro modo, G é uma tabela que nos diz o valor de f(a) para cada a A. No final das contas, o que vimos é que o conceito intuitivo de função encontra uma expressão rigorosa dentro da Teoria de Conjuntos. Este mesmo princípio se aplica a essencialmente todos os outros conceitos da Matemática. Na maior parte do tempo trabalharemos como se o conceito intuitivo fosse verdadeiro, retornando apenas ocasionalmente à definição formal. Observação 1 Dada f : A B e A 0 A, em geral definimos a restrição de f a A 0 como a função dada pela mesma regra que f, mas restrita aos elementos de A 0. Note que, no âmbito da nossa definição, isto pode ser expresso como: G 0 G (A 0 B) = {(a, b) G : a A 0 }. 2 Conjuntos finitos e cardinalidades Aqui nesta seção elucidamos o material no Cap 1 do Elon pequeno que se refere a cardinalidades. Tomamos como fatos conceitos como a ordem de N, a tricotomia da ordem e o fato que todo conjunto A N que não é vazio tem um elemento mínimo. Antes disto, recordamos alguns fatos. Sejam A e B conjuntos e f : A B uma função. Recorde que f : A B é: 3! significa existe um único. 3

4 injetiva se para quaisquer a, c A, a c f(a) f(c) ; sobrejetiva se para qualquer b B existe um a A com f(a) = b; bijetiva se é injetiva e sobrejetiva. Exercício 1 Prove que injetividade e sobrejetividade são preservadas pela composição de funções. Lembramos ainda que f g denota a composição de funções f : B C e g : A B. Dado n N, escreva [n] := {i N : i n}. Às vezes chamaremos este conjunto de I n, como nos livros do Elon (a notação do colchete vem se firmando como padrão). 2.1 O finito e o infinito Definição 2 (Finitude e infinitude) Dizemos que um conjunto X é finito se X é vazio ou se existem n N uma f : X I n que é injetiva (dizemos que f atesta a finitude de X). X é dito infinito quando esta função não existe. Observe alguns fatos simples: Se X é finito, qualquer Y X é finito. De fato, se f : X [n] atesta a finitude de X, a restrição de f a Y atesta a finitude de Y (pois a restrição de uma função injetiva também é injetiva). Se X, C são conjuntos, C é finito e existe g : X C injetiva, então X também é finito. De fato, se f atesta a finitude de C, f g atesta a finitude de X. Bijeções preservam a finitude e a infinitude de conjuntos. Segue do fato acima, juntamente com o fato que uma função bijetiva é injetiva e tem inversa injetiva. Se X N é limitado, então X é finito. A afirmação de que X é limitado significa que existe p N com x X : x p. Neste caso, vemos que X [p], portanto a f : X [p] que leva cada x X nele mesmo atesta a finitude de X. 4

5 2.2 Cardinalidade de conjuntos finitos Definição 3 (Cardinalidade) Seja X um conjunto finito. A cardinalidade de X, denotada por X, é definida como X = 0 se X = e X = n se n N é o menor natural para o qual existe uma função injetiva f : X [n]. (Este valor existe porque o conjunto dos n N tal que existe tal injeção não é vazio, posto que X é finito.) A ideia intuitiva é que a cardinalidade conta o número de elementos de um conjunto. O teorema a seguir mostra isto num caso particular. Teorema 1 [m] = m para qualquer m N. Prova: Note que a função identidade é uma injeção de [m] em [m], logo [m] m. Resta provar que não podemos ter [m] < m. Dito de outro modo, queremos provar que todo número natural n N satisfaz a seguinte propriedade: P(n): Não existe função injetiva f : [m] [n] para qualquer natural m > n. (Em forma contrapositiva: se f : [m] [n] é injetiva, m n.) A prova desta propriedade para todo n N será por indução em n. Base: Se n = 1, [n] = {1}. Tome m > 1. Veja que 1 [m] e portanto 1, m são dois elementos distintos de [m]. Isto implica que não pode haver f : [m] {1} injetiva. Passo indutivo. Suponha n 1 é tal que vale P(n). Vamos provar que P(n + 1) também vale. Para isso fixaremos m N tal que existe f : [m] [n + 1] injetiva e provaremos m n + 1. Temos três casos. Caso 1. n + 1 Imagem(f). Neste caso f pode ser encarada como uma função f : [m] [n]. Como P(n) vale, isto implica que m n e portanto m n + 1. Caso 2. f(m) = n + 1. Neste caso, a ideia é retirar m e notar que passamos a ter uma função injetiva de [m 1] em [n].de feito, como f é injetiva, nenhum i < m pode ter f(i) = n + 1. Deste modo, a restrição de f 5

6 a [m 1] é injetiva e tem imagem contida em [n + 1]\{n + 1} = [n]. No entanto, como [n] satisfaz P(n), isto implica que m 1 n, ou seja, m n+1. Caso 3. Agora considere o caso em que f(a) = n+1 para algum a [m], a m. A ideia é trocar a e m de lugar para voltar ao caso anterior. Mais exatamente, seja g : [m] [m] tal que g(a) = m, g(m) = a e g(r) = r para todos os demais elementos de [m]. Veja que esta g é uma bijeção e que portanto a composição f g : [m] [n] é injetiva e satisfaz f g(m) = n+1. Assim voltamos ao caso acima, em que já concluímos que m n + 1. Teorema 2 Seja X um conjunto finito que não é vazio. Então qualquer função injetiva f : X [ X ] é uma bijeção. Prova: Seja f : X [ X ] injetiva. Vamos supôr (para chegar a uma contradição) que f não é sobrejetiva. Então existe i [ X ] tal que i f(x) para qualquer x X. Temos agora dois casos a considerar: i = X e i X. Se i = X, vemos que a imagem de f está contida em [ X 1]. Redefinindo o contradomínio de f como [ X 1], vemos que existe g : X [ X 1] (definida por g(x) = f(x) para todo x X) que é injetiva. Isto contradiz a minimalidade de X. Suponha agora que i X. Neste caso, como i [ X ] temos i < X. Considere agora uma g : X [ X 1] definida da seguinte forma: { i se f(x) = X ; g(x) := f(x) se não. É um exercício verificar que g de fato tem contradomínio [ X 1] e é injetiva. Deste modo, também neste caso temos uma contradição: existe f : X [ X 1] injetiva, o que contradiz a minimalidade de X. As contradições excluem todos os casos possíveis, de modo que concluímos que a premissa existe f : X [ X ] injetiva, mas não sobre é falsa. Isto é exatamente o que desejávamos mostrar. Exercício 2 Conclua dos teoremas acima que, se X é conjunto finito, existe um único n N para o qual há uma bijeção b : X [n].além disto, este n é precisamente a cardinalidade de X. Antes de prosseguir, enunciamos um corolário importante dos resultados acima. 6

7 Corolário 1 Se A e B são finitos, então há uma função injetiva f : A B se e somente se A B ; e vice-versa. Prova: Sabemos que há bijeções h : B [ B ] e g : A [ A ]. Se existe tal f, note que h f g 1 é função injetiva de [ A ] em [ B ]. Desta forma, a cardinalidade de [ A ] (que é A ) é menor que a de [ B ] (que é B ). Por outro lado, se A B, vemos que f := h 1 g é função injetiva entre A e B. Exercício 3 Mostre que A < B sempre que A B com B finito e A B. Exercício 4 Mostre que, se A e B são finitos e A B =, então A B = A + B. 2.3 Conjuntos enumeráveis Nesta seção discutiremos uma classe de conjuntos possivelmente infinitos, mas que ainda assim podem ser contados de algum jeito. Definição 4 (Enumerabilidade) Um conjunto X é dito enumerável se X é vazio ou existe f : X N injetiva. (Neste caso dizemos que f atesta a enumerabilidade de X.) Eis algumas consequências simples desta definição, que deixamos como exercícios: Todo subconjunto de um conjunto enumerável é enumerável. N e todos os seus subconjuntos são enumeráveis. Falar do que seria a cardinalidade de um conjunto enumerável infinito não é tarefa muito simples. No entanto, vimos no caso finito que a cardinalidade de X é atestada por alguma bijeção b : X [n]. Do mesmo modo, o teorema a seguir nos diz que um conjunto enumerável infinito sempre tem uma bijeção com N. Teorema 3 Todo conjunto infinito enumerável tem uma bijeção com N. Esta é uma das primeiras demonstrações realmente difíceis do curso, portanto teremos bastante cuidado. 7

8 Prova: Seja X infinito enumerável e seja f : X N uma função injetiva que atesta isto. Chame de J a imagem de f. Como f é injetiva, X e J estão em bijeção (dito de outro modo, quando restringimos o contradomínio de f a sua imagem, o que obtemos é uma bijeção.). Em particular, J é infinito. No restante da prova vamos provar que há uma bijeção entre J e N, o que implica que há uma bijeção 4 entre X e N. Reiteramos: a partir de agora nosso objetivo é provar que Se J N é infinito, então há uma bijeção entre J e N. A ideia básica é que a bijeção levará o menor elemento de J em 1, o segundo menor elemento em 2, o terceiro menor elemento em 3 e assim por diante. Esta é uma maneira bem natural de conceber a bijeção; mas há outra maneira de escrevê-la que é mais conveniente. b : J N j b(j) := [j] J. Em palavras: b(j) conta quantos elementos de J são menores ou iguais a j. Note que b é uma função bem definida. Afinal, [j] é sempre finito, logo [j] J o é e podemos falar da cardinalidade deste conjunto. Além disto, a cardinalidade é sempre > 0 porque j [j] J e portanto [j] J. Concluímos que [j] J N sempre. Mostraremos que b é uma bijeção em duas partes. b é injetiva. Dados dois elementos distintos j, k J, temos j < k ou k < j. Vamos supôr que vale j < k, pois o outro caso é análogo. Veja que [j] {k} [k]. Como k J, temos [k] J ([j] {k}) J = ({j} J) {k}. Em outras palavras, [k] J tem pelo menos um elemento a mais que [j] J. O exercício implica que: b(k) = [k] J > [j] J = b(j). b é sobrejetiva. Vamos provar por indução que qualquer n N está na imagem de B. Base: 1 Imagem(b). De fato, como J, J tem um menor elemento j 1 J. Veja que [j 1 ] J tem j 1 como único elemento elemento; 4 Você consegue ver porque isto é verdade? O ponto é que podemos compôr as bijeções entre X e J e entre J e N! 8

9 caso contrário, existiria j ([j 1 ] J) {j 1 } = [j 1 1] J e tal j seria necessariamente menor que j 1 (contradição). Vemos, portanto, que b(j 1 ) = [j 1 ] J = {j 1 } = 1. Passo indutivo: supondo que n Imagem(b), provaremos agora que n + 1 Imagem(b). Para isto tomamos j J com b(j) (o que existe pela hipótese de indução). A ideia é que o próximo elemento de J será levado em n + 1. Sendo mais precisos, notamos que J [j], posto que J não é finito, de modo que J\[j] não é vazio. Seja k o menor elemento de J\[j]. Afirmamos que b(k) = n + 1. De fato, veja que: [k] J = A B com A := ([j] J) e B := ({j + 1,..., k} J). A tem b(j) = n elementos. B contem k (já que k J) e nenhum outro elemento, pois qualquer i {j + 1,..., k 1} J seria um elemento de J\[j] menor do que k. Deduzimos que B = 1. Como A e B são disjuntos, o exercício 4 nos diz que b(k) = [k] J = A B = A + B = b(j) + 1 = n + 1. Portanto n + 1 Imagem(b), CQD. Observação 2 A prova acima nos dá uma bijeção crescente entre J e N. Uma prova seguindo o Elon nos permitiria provar que se U é qualquer conjunto infinito, existe V U infinito e enumerável. 2.4 As partes de um conjunto e a existência de conjuntos não enumeráveis Nesta seção provaremos um dos fatos fundamentais a respeito de cardinalidades de conjuntos infinitos : que existem conjuntos não enumeráveis. Isto quer dizer que existem conjuntos infinitos I que são maiores do que N no seguinte sentido: existe uma injeção de N em I, mas não há injeção de I em N. Este resultado (e a técnica de demonstração a seguir) foram contribuições seminais de Georg Cantor aos Fundamentos da Matemárica A existência de conjuntos não enumeráveis segue de um resultado distinto que apresentamos a seguir. Recorde que, dado um conjunto X, podemos definir um conjunto cujos elementos são os subconjuntos de X. Este conjunto é chamado de conjunto das partes de X e denotado por P(X). Em símbolos, P(X) := {A conjunto : A X}. 9

10 Exercício 5 Prove que P(X) é finito se e somente se X é finito. Teorema 4 Para qualquer conjunto X, não pode existir uma função sobrejetiva de X em P(X). Em particular, isto implica que P(N) não está em bijeção com N. Como P(N) é infinito (pelo exercício), o Teorema 3 implica que ele não é enumerável. Prova: [do Teorema 4] A ideia desta prova é o chamado truque diagonal de Cantor. Na verdade várias ideias relacionadas recebem este mesmo nome; entre os muitos pontos em comum está o espanto que elas causam em quem nunca as viu. Digo sem exagero que a ideia da demonstração abaixo é algo que você deverá levar pelo resto da vida em algum canto da mente. Para enfatizar isto, vamos primeiro apresentar a prova a jato e depois refletir um pouco sobre ela, para entender por que ela faz algum sentido. A prova. Dada uma função F : X P(X), vamos provar que ela não é sobrejetiva mostrando que existe A P(X) (isto é, um subconjunto de X) diferente dos conjuntos F (x) para x X. De fato, A é definido da seguinte maneira: A := {x X : x F (x)}. Isto faz sentido porque, para cada x, F (x) é um subconjunto de X. Notamos ainda que qualquer x X pertence a um (e apenas um) dos conjuntos A, F (x). Portanto A F (x) para todo x X e deduzimos que A Imagem(F ). Refletindo sobre a prova. De que forma podemos construir um A que não está na imagem de F? Precisamos que, para cada x X, exista um y X tal que y A e y F (x) ou vice-versa. Afinal, dois conjuntos são diferentes se e somente se há algum elemento que só está em algum deles. A ideia de Cantor foi fazer a escolha mais simples para y, que é y = x. Esta decisão não é nada óbvia, mas, uma vez tomada, ela nos dá a saída. Se queremos que x esteja em exatamente um dos dois conjuntos A, F (x), devemos definir A de modo que x A x F (x). É exatamente desta forma que definimos A na nossa prova. 10

Números naturais e cardinalidade

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

Leia mais

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

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

Leia mais

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

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

Leia mais

Enumerabilidade. Capítulo 6

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

Leia mais

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017 Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................

Leia mais

Contando o Infinito: os Números Cardinais

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

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos O conjunto dos números naturais é o primeiro exemplo de conjunto infinito que aprendemos. Desde crianças, sabemos intuitivamente que tomando-se um número natural n muito

Leia mais

Centro de Informática UFPE

Centro de Informática UFPE ,, Estruturas,, Centro de Informática UFPE 1 ,, 1 2 3 4 2 ,, Introdução Uma matilha de cães Um cacho de uvas Uma quadrilha de ladrões Estes são exemplos de conjuntos. 3 ,, Definição Um conjunto é um coleção

Leia mais

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos Um exemplo de conjunto infinito é o conjunto dos números naturais: mesmo tomando-se um número natural n muito grande, sempre existe outro maior, por exemplo, seu sucessor

Leia mais

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações

Leia mais

Teoria intuitiva de conjuntos

Teoria intuitiva de conjuntos Teoria intuitiva de conjuntos.................................... 1 Relação binária............................................ 10 Lista 3................................................. 15 Teoria intuitiva

Leia mais

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE Ruy J. G. B. de Centro de Informática, UFPE 2007.1 Conteúdo 1 Seqüências Definição Uma seqüência é uma função cujo domíno é um número natural ou N. Uma seqüência cujo domínio é algum número natural n N

Leia mais

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano

UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL. Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano UNIVERSIDADE ESTADUAL DO PARANÁ NOTAS DE AULA: ANÁLISE REAL Profa.: Gislaine Aparecida Periçaro Curso: Matemática, 4º ano CAMPO MOURÃO 203 Capítulo Conjuntos e Funções Neste capítulo vamos fazer uma breve

Leia mais

Axiomatizações equivalentes do conceito de topologia

Axiomatizações equivalentes do conceito de topologia Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial

Leia mais

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão 01 Lista 1 Números Naturais 1. Demonstre por indução as seguintes fórmulas: (a) (b) n (j 1) = n (soma dos n primeiros ímpares).

Leia mais

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando

Leia mais

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Funções. Funções. Cardinalidade de conjuntos. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006. Funções Funções. Cardinalidade de conjuntos. Referência: Capítulo: 3 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 FUNÇÕES Funções-2 Definição de função Uma função

Leia mais

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.

Leia mais

Capítulo 0: Conjuntos, funções, relações

Capítulo 0: Conjuntos, funções, relações Capítulo 0: Conjuntos, funções, relações Notação. Usaremos Nat para representar o conjunto dos números naturais; Int para representar o conjunto dos números inteiros. Para cada n Nat, [n] representa o

Leia mais

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3) A ENUMERABILIDADE DE E O CHÃO TRIANGULAR José Paulo Carneiro Nível Intermediário < < é < < e

Leia mais

Funções, Seqüências, Cardinalidade

Funções, Seqüências, Cardinalidade Funções, Seqüências, Cardinalidade Prof.: Rossini Monteiro Noções Básicas Definição (Função) Sejam A e B conjuntos. Uma função de A em B é um mapeamento de exatamente um elemento de B para cada elemento

Leia mais

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

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

Leia mais

Parte 1. Conjuntos finitos, enumeráveis e

Parte 1. Conjuntos finitos, enumeráveis e Parte 1 Conjuntos finitos, enumeráveis e não-enumeráveis Georg Ferdinand Ludwig Philipp Cantor (1845-1818) Rússia. A descoberta de que há diversos tipos de infinito deve-se a Georg Cantor. Mas, para os

Leia mais

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

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 MAT 317 - Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 1 Nome : Número USP : Assinatura : Professor : Severino Toscano do Rêgo Melo 2 3 4 5 Total Podem tentar fazer todas as questões.

Leia mais

σ-álgebras, geradores e independência

σ-álgebras, geradores e independência σ-álgebras, geradores e independência Roberto Imbuzeiro M. F. de Oliveira 15 de Março de 2009 Resumo Notas sobre a σ-álgebra gerada por uma variável aleatória X e sobre as condições de independência de

Leia mais

Um Estudo Sobre a Enuberabilidade do Conjunto Q dos Números Racionais

Um Estudo Sobre a Enuberabilidade do Conjunto Q dos Números Racionais UNIVERSIDADE FEDERAL DE RONDÔNIA CENTRO DE CIÊNCIAS EXATAS E DA TERRA DEPARTAMENTO DE MATEMÁTICA Relatório de Pesquisa Um Estudo Sobre a Enuberabilidade do Conjunto Q dos Números Racionais Laís Ribeiro

Leia mais

Os números naturais. Capítulo Operações em N

Os números naturais. Capítulo Operações em N Capítulo 1 Os números naturais O conjunto dos números naturais, denotado por N, é aquele composto pelos números usados para contar. Na verdade, o mais correto seria dizer que é o conjunto dos números usados

Leia mais

Axioma dos inteiros. Sadao Massago

Axioma dos inteiros. Sadao Massago Axioma dos inteiros Sadao Massago setembro de 2018 Sumário 1 Os Números 2 1.1 Notação......................................... 2 1.2 Números naturais não nulos (inteiros positivos)................... 2

Leia mais

Fabio Augusto Camargo

Fabio Augusto Camargo Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Autor: Fabio Augusto Camargo Orientador: Prof. Dr. Márcio de Jesus Soares

Leia mais

Propriedades das Funções Contínuas

Propriedades das Funções Contínuas Propriedades das Funções Contínuas Prof. Doherty Andrade 2005- UEM Sumário 1 Seqüências 2 1.1 O Corpo dos Números Reais.......................... 2 1.2 Seqüências.................................... 5

Leia mais

Aulas 10 e 11 / 18 e 20 de abril

Aulas 10 e 11 / 18 e 20 de abril 1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar

Leia mais

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

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

Leia mais

Teorema de Sarkovsky

Teorema de Sarkovsky Teorema de Sarkovsky Yuri Lima 8 de janeiro de 2008 Resumo Provaremos um teorema, provado pelo matemático ucraniano A. Sarkovsky em [4] que, em poucas palavras, afirma que Período 3 implica Caos, no seguinte

Leia mais

Funções. Matemática Básica. O que é uma função? O que é uma função? Folha 1. Humberto José Bortolossi. Parte 07. Definição

Funções. Matemática Básica. O que é uma função? O que é uma função? Folha 1. Humberto José Bortolossi. Parte 07. Definição Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Funções Parte 07 Aula 9 Matemática Básica 1 Aula 9 Matemática Básica 2 O que é uma

Leia mais

A Construção dos Números Reais e suas Extensões

A Construção dos Números Reais e suas Extensões A Construção dos Números Reais e suas Extensões IVAN AGUILAR & MARINA SEQUEIROS DIAS Universidade Federal Fluminense 4 o Colóquio da Região Centro-Oeste Novembro de 2015 Sumário 1 Introdução 1 1.1 Noções

Leia mais

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de

Leia mais

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas. 1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um

Leia mais

O teorema do mapeamento conforme de Riemann

O teorema do mapeamento conforme de Riemann O teorema do mapeamento conforme de Riemann Roberto Imbuzeiro Oliveira 23 de Maio de 2011 1 Preliminares Como de costume, U C é aberto. Recorde que U é simplesmente conexo se existe um ponto z 0 U tal

Leia mais

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos Conjuntos AULA 1 Aula 1 Conjuntos Meta conjuntos. Introduzir as noções básicas de conjunto e produto cartesiano de Objetivos Ao final desta aula, você deve ser capaz de: Definir as noções básicas de conjunto

Leia mais

MA21: Resolução de Problemas - segunda prova - gabarito. Problema 1 (Olimpíada turca de 1996; 2 pontos) Considere o polinomio:

MA21: Resolução de Problemas - segunda prova - gabarito. Problema 1 (Olimpíada turca de 1996; 2 pontos) Considere o polinomio: MA21: Resolução de Problemas - segunda prova - gabarito Problema 1 (Olimpíada turca de 1996; 2 pontos) Considere o polinomio: p(x) (1 + x 3 ) (1 + 2x 9 ) (1 + 3x 27 )... (1 + nx 3n )... (1 + 1996 x 31996

Leia mais

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

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

Leia mais

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas. Aula 04 O CONCEITO DE GRUPO META Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. OBJETIVOS Definir e exemplificar grupos e subgrupos. Aplicar as propriedades dos grupos na

Leia mais

Pré-Cálculo. Humberto José Bortolossi. Aula de maio de Departamento de Matemática Aplicada Universidade Federal Fluminense

Pré-Cálculo. Humberto José Bortolossi. Aula de maio de Departamento de Matemática Aplicada Universidade Federal Fluminense Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 10 23 de maio de 2010 Aula 10 Pré-Cálculo 1 Funções injetivas Funções injetivas, sobrejetivas

Leia mais

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

DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte

Leia mais

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

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

Leia mais

MEDIDAS COM SINAL.. Uma medida com sinal σ-aditiva (ou, simplesmente, uma medida com sinal) µ(a n ) def = lim

MEDIDAS COM SINAL.. Uma medida com sinal σ-aditiva (ou, simplesmente, uma medida com sinal) µ(a n ) def = lim MEDIDAS COM SINAL DANIEL V. TAUSK 1. Definição. Seja C uma coleção de conjuntos tal que C. Uma medida com sinal finitamente aditiva em C é uma função µ : C R tal que: µ( ) = 0; se (A n ) t é uma seqüência

Leia mais

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução Os Números Naturais MA1 - Unidade 1 Números Naturais Paulo Cezar Pinto Carvalho PROFMAT - SBM January 7, 014 Números Naturais: modelo abstrato para contagem. N = {1,,3,...} Uma descrição precisa e concisa

Leia mais

Uma introdução ao estudo dos números transfinitos

Uma introdução ao estudo dos números transfinitos Uma introdução ao estudo dos números transfinitos Anna Beatriz Amaral Santos - UFF abas@pontocomcombr Carla do Nascimento Lopes - UFF Marisa Ortegoza da Cunha - UFF ganmoc@vmuffcombr Uma introdução ao

Leia mais

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG 2019/01 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG - 2019/01 1 / 76

Leia mais

Uma breve introdução ao Conjunto de Cantor

Uma breve introdução ao Conjunto de Cantor Uma breve introdução ao Conjunto de Cantor Elder Cesar de Almeida elderufop@gmail.com, Ouro Preto, MG, Brasil Thiago Fontes Santos santostf@iceb.ufop.br, Ouro Preto, MG, Brasil Resumo Neste trabalho falaremos

Leia mais

Forma Fechada para os Números de Catalão

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

Leia mais

Matemática Discreta para Ciência da Computação

Matemática Discreta para Ciência da Computação Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação

Leia mais

O espaço das Ordens de um Corpo

O espaço das Ordens de um Corpo O espaço das Ordens de um Corpo Clotilzio Moreira dos Santos Resumo O objetivo deste trabalho é exibir corpos com infinitas ordens e exibir uma estrutura topológica ao conjunto das ordens de um corpo.

Leia mais

Nono Ano - Fundamental. Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto. Portal da OBMEP

Nono Ano - Fundamental. Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto. Portal da OBMEP Material Teórico - Módulo: Funções - Noções Básicas Exercícios Nono Ano - Fundamental Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto Nesta aula, apresentaremos exemplos e resolveremos

Leia mais

Questão 3. a) (1,5 pontos). Defina i) conjunto aberto, ii) conjunto

Questão 3. a) (1,5 pontos). Defina i) conjunto aberto, ii) conjunto DM IMECC UNICAMP Análise I Prof. Marcelo M. Santos Prova de Segunda Chamada, 08/07/2009 Aluno: Assinatura: RA: Observações: Tempo de prova: 100min; Justifique sucintamente todas as suas afirmações; Disponha

Leia mais

GABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma T56 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017

GABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma T56 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017 FMC2, 2017.1 (Turma T56 do Thanos) Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) Nome: Θάνος Gabarito Regras: 08/05/2017 I. Não vires esta página antes do começo da prova. II. Nenhuma consulta de

Leia mais

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

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

Leia mais

P1 de Análise Real ou Análise I Data: 16 de abril de 2008

P1 de Análise Real ou Análise I Data: 16 de abril de 2008 P1 de Análise Real ou Análise I 2008.1 Data: 16 de abril de 2008 Serão contadas as quatro melhores questões. 1. Seja (a n ) uma seqüência de números reais. Prove que se (a n ) 2 converge então a nn também

Leia mais

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais (inteiros positivos)

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais (inteiros positivos) Capítulo 1 Os Números 1.1 Notação Números naturais: N = {1, 2, 3,...}, mas existem vários autores considerando N = {0, 1, 2, 3,...}. Por isso, é recomendado dizer números positivos, números não negativos,

Leia mais

Compacidade de conjuntos e operadores lineares

Compacidade de conjuntos e operadores lineares Compacidade de conjuntos e operadores lineares Roberto Imbuzeiro Oliveira 13 de Janeiro de 2010 No que segue, F = R ou C e (X, X ), (Y, Y ) são Banach sobre F. Recordamos que um operador linear T : X Y

Leia mais

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema

Leia mais

Roteiro da segunda aula presencial - ME

Roteiro da segunda aula presencial - ME PIF Enumerabilidade Teoria dos Números Congruência Matemática Elementar Departamento de Matemática Universidade Federal da Paraíba 29 de outubro de 2014 PIF Enumerabilidade Teoria dos Números Congruência

Leia mais

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

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

Leia mais

A grosso modo, o objetivo desse curso pode ser descrito como. Estudo de técnicas para se contar o número de elementos de um dado conjunto.

A grosso modo, o objetivo desse curso pode ser descrito como. Estudo de técnicas para se contar o número de elementos de um dado conjunto. Capítulo 1 Conceitos Básicos 11 Introdução A grosso modo, o objetivo desse curso pode ser descrito como Estudo de técnicas para se contar o número de elementos de um dado conjunto Exemplo 111 (placas de

Leia mais

Continuidade de processos gaussianos

Continuidade de processos gaussianos Continuidade de processos gaussianos Roberto Imbuzeiro Oliveira April, 008 Abstract 1 Intrudução Suponha que T é um certo conjunto de índices e c : T T R é uma função dada. Pergunta 1. Existe uma coleção

Leia mais

Análise I. Notas de Aula 1. Alex Farah Pereira de Novembro de 2017

Análise I. Notas de Aula 1. Alex Farah Pereira de Novembro de 2017 Análise I Notas de Aula 1 Alex Farah Pereira 2 3 22 de Novembro de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................

Leia mais

Análise Real. IF Sudeste de Minas Gerais. Primeiro semestre de Prof: Marcos Pavani de Carvalho. Marcos Pavani de Carvalho

Análise Real. IF Sudeste de Minas Gerais. Primeiro semestre de Prof: Marcos Pavani de Carvalho. Marcos Pavani de Carvalho IF Sudeste de Minas Gerais Prof: Primeiro semestre de 2014 Proposição: É uma afirmação que pode ser classificada em verdadeira ou falsa, mas que faça sentido. Exemplo: Sejam as proposições: A: A soma dos

Leia mais

Séries de Laurent e Teoremas de Cauchy

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

Leia mais

3 O Teorema de Ramsey

3 O Teorema de Ramsey 3 O Teorema de Ramsey Nesse capítulo enunciamos versões finitas e a versão infinita do Teorema de Ramsey, além das versões propostas por Paris, Harrington e Bovykin, que serão tratadas no capítulos subseqüentes.

Leia mais

A Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário

A Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário A Equivalência entre o Teorema do Ponto Fixo de Brouwer e o Teorema do Valor Intermediário Renan de Oliveira Pereira, Ouro Preto, MG, Brasil Wenderson Marques Ferreira, Ouro Preto, MG, Brasil Eder Marinho

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

14 AULA. Funções LIVRO. META: Apresentar o conceitos de funções.

14 AULA. Funções LIVRO. META: Apresentar o conceitos de funções. 2 LIVRO Funções META: Apresentar o conceitos de funções. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Identificar se uma dada relção é uma função. Determinar a imagem direta e a imagem inversa

Leia mais

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

Leia mais

Faculdade de Computação

Faculdade de Computação UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação - 1 0 Semestre 007 Professora : Sandra Aparecida de Amo Solução da Lista de Exercícios n o 1 Exercícios de Revisão

Leia mais

Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque

Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar i Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar ii COLLABORATORS TITLE : Matemática Elementar ACTION NAME DATE SIGNATURE WRITTEN BY Inaldo Barbosa de

Leia mais

Notas de Aula de Fundamentos de Matemática

Notas de Aula de Fundamentos de Matemática Universidade Estadual de Montes Claros Centro de Ciências Exatas e Tecnológicas Departamento de Ciências Exatas Notas de Aula de Fundamentos de Matemática Rosivaldo Antonio Gonçalves Notas de aulas que

Leia mais

Notas de Aula Álgebra 1. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2019

Notas de Aula Álgebra 1. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2019 Notas de Aula Álgebra 1 Martino Garonzi Universidade de Brasília Primeiro semestre 2019 1 2 D ora in poi ripeterò solo ed esclusivamente quello che avrò già detto. Conteúdo Capítulo 1. Conjuntos 5 1. Elementos

Leia mais

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra Notas de aula 1. Título: Subgrupos finitos de. 2. Breve descrição da aula A aula

Leia mais

Construção dos Números Reais

Construção dos Números Reais 1 Universidade de Brasília Departamento de Matemática Construção dos Números Reais Célio W. Manzi Alvarenga Sumário 1 Seqüências de números racionais 1 2 Pares de Cauchy 2 3 Um problema 4 4 Comparação

Leia mais

UMA PROVA DE CONSISTÊNCIA

UMA PROVA DE CONSISTÊNCIA UMA PROVA DE CONSISTÊNCIA Felipe Sobreira Abrahão Mestrando do HCTE/UFRJ felipesabrahao@gmail.com 1. INTRODUÇÃO Demonstradas por Kurt Gödel em 1931, a incompletude da (ou teoria formal dos números ou aritmética)

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos

MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos Prof. Edson de Faria 30 de Março de 2014 Observação: O objetivo desta lista é motivar uma revisão dos conceitos e fatos básicos sobre

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

Humberto José Bortolossi x 1 < 0 x2 x 12 < 0. x 1 x + 12 (x + 3)(x 4)

Humberto José Bortolossi   x 1 < 0 x2 x 12 < 0. x 1 x + 12 (x + 3)(x 4) SEGUNDA VERIFICAÇÃO DE APRENDIZAGEM Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ Nome legível: Assinatura: [0] (2.0) Resolva a inequação x 2 < x + 2 no conjunto dos

Leia mais

3 Sistema de Steiner e Código de Golay

3 Sistema de Steiner e Código de Golay 3 Sistema de Steiner e Código de Golay Considere o sistema de Steiner S(5, 8, 24, chamaremos os seus blocos de octads. Assim, as octads são subconjuntos de 8 elementos de um conjunto Ω com 24 elementos

Leia mais

1 o semestre. 1. Símbolos lógicos e conjuntos

1 o semestre. 1. Símbolos lógicos e conjuntos CONJUNTOS E ÁLGEBRA 1 o semestre Neste curso, recordaremos inicialmente a teoria ingênua de conjuntos e um pouco de lógica. Depois, estudaremos alguns rudimentos de álgebra: relações de equivalência e

Leia mais

Matemática I. 1 Propriedades dos números reais

Matemática I. 1 Propriedades dos números reais Matemática I 1 Propriedades dos números reais O conjunto R dos números reais satisfaz algumas propriedades fundamentais: dados quaisquer x, y R, estão definidos a soma x + y e produto xy e tem-se 1 x +

Leia mais

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

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

Leia mais

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção

Leia mais

1 O Conceito de Função

1 O Conceito de Função Sociedade Brasileira de Matemática Mestrado Prossional em Matemática em Rede Nacional MA11 Números e Funções Reais Unidade 3 Funções 1 O Conceito de Função Considere as funções Exemplo 1 p : R [0, + [

Leia mais

No que segue, X sempre denota um espaço topológico localmente compacto

No que segue, X sempre denota um espaço topológico localmente compacto O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK No que segue, sempre denota um espaço topológico localmente compacto Hausdorff. Se f : R é uma função, então supp f denota o{ suporte (relativamente

Leia mais

Definição 3.1: Seja x um número real. O módulo de x, denotado por x, é definido como: { x se x 0 x se x < 0

Definição 3.1: Seja x um número real. O módulo de x, denotado por x, é definido como: { x se x 0 x se x < 0 Capítulo 3 Módulo e Função Módular A função modular é uma função que apresenta o módulo na sua lei de formação. No entanto, antes de falarmos sobre funções modulares devemos definir o conceito de módulo,

Leia mais

Terminologia, Técnicas de Prova, Enumerabilidade

Terminologia, Técnicas de Prova, Enumerabilidade Terminologia, Técnicas de Prova, Enumerabilidade Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Terminologia, Técnicas

Leia mais

Soluções dos Exercícios do Capítulo 2

Soluções dos Exercícios do Capítulo 2 A MATEMÁTICA DO ENSINO MÉDIO Volume 1 Soluções dos Exercícios do Capítulo 2 2.1. Seja X = {n N; a + n Y }. Como a Y, segue-se que a + 1 Y, portanto 1 X. Além disso n X a + n Y (a + n) + 1 Y n + 1 X. Logo

Leia mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A

Leia mais

Reviso de Teoria da Medida e Elementos Bsicos de Probabilidade

Reviso de Teoria da Medida e Elementos Bsicos de Probabilidade Reviso de Teoria da Medida e Elementos Bsicos de Probabilidade Roberto Imbuzeiro Oliveira 9 de Março de 2009 Resumo Esta lista cobre o básico do básico sobre espaços e distribuições de probabilidade. Pouco

Leia mais

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi Introdução à Lógica Matemática Ricardo Bianconi Capítulo 4 Dedução Informal Antes de embarcarmos em um estudo da lógica formal, ou seja, daquela para a qual introduziremos uma nova linguagem artificial

Leia mais

Denição 1 Dados conjuntos A e B dizemos que A B se para todo a A, a B. Denição 2 Dados conjuntos A e B dizemos que A = B se A B e B A.

Denição 1 Dados conjuntos A e B dizemos que A B se para todo a A, a B. Denição 2 Dados conjuntos A e B dizemos que A = B se A B e B A. Cálculo Innitesimal I - 2015/01 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitores: Zair Henrique & Jonathas Ferreira Lista 01 - Introdução à matemática No. Try not. Do... or do not. There

Leia mais