TEORIA DOS CONJUNTOS. Turma: A - Licenciatura em Matemática 1 Semestre de Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS

Documentos relacionados
Algumas Equivalencias do Axioma da Escolha

Conjuntos Finitos e Infinitos

Lista de Exercícios 5: Soluções Teoria dos Conjuntos

I. Conjunto Elemento Pertinência

Matemática - Módulo 1

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

Jorge Figueiredo, DSC/UFCG. Análise e Técnicas de Algoritmos Jorge Figueiredo, DSC/UFCG. Análise e Técnicas de Algoritmos 2005.

Inversão de Matrizes

Aplicações Diferentes Para Números Complexos

INDUÇÃO MATEMÁTICA. Primeiro Princípio de Indução Matemática

Teoria da Firma. Capítulo VI. Introdução. Introdução. Medição de custos: quais custos considerar?

Bases Matemáticas. Daniel Miranda de maio de sala Bloco B página: daniel.miranda

Recorrendo à nossa imaginação podemos tentar escrever números racionais de modo semelhante: 1 2 =

Progressão aritmética ( PA )

Regulamento Erasmus. Cap. I Disposição geral. Artigo 1º (Objecto)

Universidade Estadual de Campinas Departamento de Matemática. Teorema de Jacobson. Adriana Wagner(RA: ) Gustavo Terra Bastos(RA: )

Expressões de sequencias

ÁLGEBRA VETORIAL E GEOMETRIA ANALÍTICA (UFCG- CUITÉ)

Módulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano

Matemática Discreta - 08

Seu pé direito nas melhores Faculdades

Árvores. ! utilizada em muitas aplicações. ! modela uma hierarquia entre elementos. ! O conceito de árvores está diretamente ligado à recursão

Apontamentos de matemática 5.º ano - Múltiplos e divisores

4.4 Limite e continuidade

Números inteiros Z ± 7º Ano / 2013

Figura 4.1: Diagrama de representação de uma função de 2 variáveis

Duas aplicações da Topologia à Álgebra Linear. 1 Quando são duas matrizes semelhantes?

IFRN. Conexidade e Distância. Prof. Edmilson Campos

O Cálculo λ sem Tipos

Emparelhamentos Bilineares Sobre Curvas

Carta Circular n.º 6/2016/DES 2016/02/04

Semana 7 Resolução de Sistemas Lineares

Notas de aula de Lógica para Ciência da Computação. Aula 11, 2012/2

FUNÇÃO DO 2º GRAU PROF. LUIZ CARLOS MOREIRA SANTOS

Fundamentos de Programação. Diagrama de blocos

1 Teoria de conjuntos e lógica

Questão 1. Questão 3. Questão 2. Resposta. Resposta. Resposta. a) calcule a área do triângulo OAB. b) determine OC e CD.

CURSO PRÉ-VESTIBULAR MATEMÁTICA AULA 2 TEORIA DOS CONJUNTOS

Probabilidade. Luiz Carlos Terra

OPERAÇÕES COM FRAÇÕES

Resolução: P(i) = 2. (i) 4 (i) 3 3(i) 2 + (i) + 5 = 2 + i i + 5 = i. Resolução: Resolução:

ÁLGEBRA LINEAR. Transformações Lineares. Prof. Susie C. Keller

QUESTÕES PARA A 3ª SÉRIE ENSINO MÉDIO MATEMÁTICA 2º BIMESTE SUGESTÕES DE RESOLUÇÕES

TEORIA 5: EQUAÇÕES E SISTEMAS DO 1º GRAU MATEMÁTICA BÁSICA

1. Verifique se são operadores lineares no espaço P n (R): (a) F: P n (R) P n (R) tal que F(f(t)) = tf (t), f(t) P n (R).

Lógica para computação Professor Marlon Marcon

Matemática Básica Intervalos

Apostila 1 Física. Capítulo 3. A Natureza das Ondas. Página 302. Gnomo

Seqüências. George Darmiton da Cunha Cavalcanti CIn - UFPE

EXERCÍCIOS DE ÁLGEBRA LINEAR E GEOMETRIA ANALÍTICA (sistemas de equações lineares e outros exercícios)

Resolução de Questões!!!

XXXII Olimpíada Brasileira de Matemática GABARITO Segunda Fase

Material by: Caio Guimarães (Equipe Rumoaoita.com) Referência: cadernos de aula: Professor Eduardo Wagner. Seções Cônicas

Aspectos da Indução, nas Ciências e na Matemática

Conceitos Básicos em Estatística

Primeira Lista de Exercícios de Métodos Numéricos II Primeiro semestre de 2015

Universidade Estadual de Campinas

Matemática. Resolução das atividades complementares. M2 Matrizes [ ] 1 Construa a matriz linha A 5 (a ij

Subconjuntos Especiais

Microeconomia II. Cursos de Economia e de Matemática Aplicada à Economia e Gestão. AULA 1.1 Descrição de Jogos não-cooperativos (forma normal)

Matemática para a Economia I - 1 a lista de exercícios Prof. - Juliana Coelho

Aula 8 Variações da Eliminação de Gauss/Fatoração LU.

FUNDAÇÃO EDUCACIONAL DE ANDRADINA NOME DO(S) AUTOR(ES) EM ORDEM ALFABÉTICA TÍTULO DO TRABALHO: SUBTÍTULO DO TRABALHO, SE HOUVER

Teste de hipótese em modelos normais lineares: ANOVA

JOVENS EMPREENDEDORES Búzio

Prospeto a publicar nas ofertas públicas de valores mobiliários

é um grupo abeliano.

Capítulo 1. Importação de Dados de Instituições Financeiras - Arquivo TXT 3

1 O gráfico no plano cartesiano expressa a alta dos preços médios de televisores de tela plana e alta definição, do modelo LCD, full HD, 32

Licenciatura em Matemática. Bruno Chioderoli Gregio. Construção dos números reais via cortes de Dedekind

Se inicialmente, o tanque estava com 100 litros, pode-se afirmar que ao final do dia o mesmo conterá.

Teoria dos Números. A soma de dois números pares é sempre um número par. O produto de dois números pares é sempre um número par.

Prática. Exercícios didáticos ( I)

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

Anexo 1 FUNDAÇÃO MACAU. Regulamento de Atribuição da. Bolsa para Estudos sobre Macau. Artigo 1.º. Objecto

AULA 07 Distribuições Discretas de Probabilidade

Fundamentos de Matemática

Programa de Formação Contínua em Matemática para Professores do 1.º e 2.º Ciclos do Ensino Básico. I. Conjuntos

Entropia, Entropia Relativa

21- EXERCÍCIOS FUNÇÕES DO SEGUNDO GRAU

Conceitos Básicos de Probabilidade

Wilson Reis de Souza Neto. O Teorema de Paris-Harrington. Dissertação de Mestrado

Manual de Utilização. Ao acessar o endereço chegaremos a seguinte página de entrada: Tela de Abertura do Sistema

Pelo que foi exposto no teorema de Carnot, obteve-se a seguinte relação:

Fundamentos de Bancos de Dados 3 a Prova Caderno de Questões

Sistemas de Vírgula Flutuante

2.1 - Triângulo Equilátero: é todo triângulo que apresenta os três lados com a mesma medida. Nesse caso dizemos que os três lados são congruentes.

1 - POLÍGONOS REGULARES E CIRCUNFERÊNCIAS

Gabarito - Colégio Naval 2016/2017 Matemática Prova Amarela

(1, 6) é também uma solução da equação, pois = 15, isto é, 15 = 15. ( 23,

Álgebra Linear AL. Luiza Amalia Pinto Cantão. Depto. de Engenharia Ambiental Universidade Estadual Paulista UNESP

Matrizes e Sistemas Lineares. Professor: Juliano de Bem Francisco. Departamento de Matemática Universidade Federal de Santa Catarina.

XML Schema. Um XML schema descreve a estrutura de um documento XML.

AF Não-determinísticos Equivalência entre AFND e AFD

REGULAMENTO DO AUTOCARRO E CARRINHA

QUESTÃO 18. Cada um dos cartões abaixo tem de um lado um número e do outro uma letra.

Avaliação e Desempenho Aula 4

= Pontuação: A questão vale dez pontos, tem dois itens, sendo que o item A vale até três pontos, e o B vale até sete pontos.

Lógica e Raciocínio. Decisão sob Risco Utilidade. Universidade da Madeira.

O Princípio da Indução diz o seguinte:

Transcrição:

TEORIA DOS CONJUNTOS Turma: 0004105A - Licenciatura em Matemática 1 Semestre de 2014 Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS

Em 1908 Ernst Zermelo (Alemanha / 1871 1953) propôs usar a sequência, { }, {{ }}, como sendo os números naturais. Em seguida, John Von Neumann (Hungria / 1903 1957) propôs uma alternativa que tem sido o padrão.

Cada número natural é o conjunto de todos os números naturais menores do que ele.

Cada número natural é o conjunto de todos os números naturais menores do que ele

Definição Para um conjunto a, seu sucessor, denotado por a +, é definido por a + = a {a}

Definição Para um conjunto a, seu sucessor, denotado por a +, é definido por a + = a {a} Definição Um conjunto A é indutivo quando A e é fechado para a operação sucessor, isto é, se a A então a + A.

No conjunto dos números naturais definido anteriormente temos: 0 + = 0 {0} = { } = { } = 1, 1 + = 1 {1} = { } {{ }} = {{ }, { }} = {, { }} = 2, 2 + = 2 {2} = {, { }} {{, { }}} = {, { }, {, { }}} = 3,. Para todo conjunto a, a ++ = (a + ) +, a +++ = (a ++ ) + e assim por diante.

Teorema 1 Existe um conjunto cujos elementos são exatamente os números naturais. Pelo Axioma do Infinito [ a ( a x (x a x + a))] existe um conjunto indutivo A e pelo Axioma Esquema da Compreensão [ y a (x a x y P (x)), onde P (x) significa que x satisfaz a propriedade P ] existe um conjunto w tal que para todo x, x w x A (x pertence a todos os outros conjuntos indutivos) Portanto, x w x pertence a todo conjunto indutivo.

Definição Cada número natural é um conjunto que pertence a todo conjunto indutivo (ou x N x pertence a todo conjunto indutivo) Teorema 2 O conjunto N é indutivo e é um subconjunto de todos os outros conjuntos indutivos.

Definição Cada número natural é um conjunto que pertence a todo conjunto indutivo (ou x N x pertence a todo conjunto indutivo) Teorema 2 O conjunto N é indutivo e é um subconjunto de todos os outros conjuntos indutivos.

Teorema 3 Todo número natural, com excessão do zero é sucessor de algum número natural. Demonstração: Vimos que 1 = 0 +, 2 = 1 +, 3 = 2 +, 4 = 3 + e assim por diante. Mas, a afirmação: p N tal que 0 = p + é falsa, uma vez que não existe p cujo sucessor seja o conjunto.

Principio da Indução Todo subconjunto indutivo de N coincide com N. (Se B N, 0 B e se a B implicar que a + B, então B = N) Demonstração: Se B é um subconjunto indutivo de N, então B N, e pelo Teorema 2 temos que N B, portanto B = N.

Observação Para se demonstrar que uma propriedade referente a N vale para todos eles, aplicamos o Princípio da Indução. Para provar que n N vale a propriedade Q(n) verifica-se: (i) Q(0) é válida; (ii) Se vale Q(n), para n N, então vale Q(n + ). Exemplo 1 Para todo n N, 9 n 1 é divisivel por 8. (i) Q(0) é válida, uma vez que 9 0 1 = 0 e 0 é divisível por 8. (ii) Suponhamos que Q(n) é válida, isto é, 9 n 1 é divisivel por 8, logo, existe k Z tal que 9 n 1 = 8k. (iii) Mostremos agora que Q(n + ) é válida. 9 n+ 1 = 9 n+1 1 = 9 n 9 1 = 9 n 9 9 + 8 = 9(9 n 1) + 8 = = 9(8k) + 8 = 8(9k + 1). Portanto, Q(n + ) é válida.

Exemplo 2 ( 1 + 1 ) ( 1 + 1 ) ( 1 + 1 ) ( 1 + 1 ) n + 1, n 1. 1 2 3 n (i) Q(1) é válida, uma vez que ( 1 + 1 1) = 1 + 1. (ii) Suponhamos que Q(n) é válida, isto é, ( 1 + 1 ) ( 1 + 1 ) ( 1 + 1 ) ( 1 + 1 ) n + 1 ( ) 1 2 3 n (iii) Mostremos agora que Q(n + ) é válida. ( 1 + 1 ) ( 1 + 1 ) ( 1 + 1 ) ( 1 + 1 ) ( ) ( n+1 1 + 1 ) = 1 2 n n + 1 n + 1 = (n + 1) + 1.

Exemplo 3 ( 1 2 Se A = 2 4 ), então A n = 5 n 1 A, para todo n 1. (i) Q(1) é válida, uma vez que A 1 = A = 5 1 1 A. (ii) Suponhamos que Q(n) é válida, isto é, A n = 5 n 1 A. (iii) Mostremos agora que Q(n + ) é válida. A n+ = A n+1 ( = A n A = ) (5 n 1 A)A ( = 5 n 1 (AA) ) = 5 10 1 2 = 5 n 1 = 5 10 20 n 1 5 = 5 2 4 (n+1) 1 A. Portanto, Q(n + ) é válida.

Postulados de Peano Em 1889, Giuseppe Peano (Itália / 1858 1932) publicou um trabalho em que os números naturais são apresentados através de um pequeno número de axiomas conhecidos como Postulados de Peano.

Postulados de Peano Definição Seja s uma função e A Dom(s). O conjunto A é fechado segundo s (ou para s) quando x A implicar s(x) A. (A fechado s(a) A)

Postulados de Peano Definição Seja s uma função e A Dom(s). O conjunto A é fechado segundo s (ou para s) quando x A implicar s(x) A. (A fechado s(a) A) Definição Um sistema de Peano é uma terna (N, s, c), em que N é um conjunto, s é uma função s : N N e c é um elemento de N tal que: (i) c / Im(s); (ii) s é injetiva; (iii) Qualquer subconjunto A de N que contém c e é fechado segundo s coincide com o conjunto N. A condição (iii) é conhecida como Postulado da indução de Peano.

Postulados de Peano Definição Um conjunto A é transitivo quando todo elemento de um elemento de A é também elemento de A, isto é, Exemplo O conjunto é transitivo. x a a A x A Demonstração: Para provarmos tal afirmação, devemos ter x a a x Como a sentença acima não pode ser verificada, podemos afirmar que o conjunto não contraria a definição de ser transitivo. Portanto, é transitivo.

Postulado de Peano Exercício resolvido (i) Se A é um conjunto transitivo, então A A. (ii) Se A A e a A, então a A. (iii) Se a A implicar que a A então A P(A). Solução: (i) Se x A ( b A)(x b) x b b A Hip = x A. Portanto, A A. (ii) Se x a e a A x A Hip = x A. Portanto, a A. (iii) Se x A Hip = x A x P(A). Portanto, A P(A)