MD Teoria dos Conjuntos 1



Documentos relacionados
II. DEFINIÇÕES INICIAIS 1

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

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

AULA 6 LÓGICA DOS CONJUNTOS

Cálculo das Probabilidades e Estatística I

Lista de Exercícios 4: Soluções Sequências e Indução Matemática

Álgebra Booleana. Introdução ao Computador 2010/01 Renan Manola

MD Sequências e Indução Matemática 1

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

Alfabeto e palavras. Alfabeto conjunto finito de símbolos (Σ).

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

Notas de Aula de Probabilidade A

Unidade Curricular Matemática Aplicada Prof. Angelo Gonçalves da Luz Teoria dos Conjuntos

Universidade Federal do ABC. Sinais Aleatórios. Prof. Marcio Eisencraft

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

Contagem. Prof. Dr. Leandro Balby Marinho. Matemática Discreta. Fundamentos Inclusão/Exclusão Princípio da Casa dos Pombos Permutações Combinações

SISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar

ESCOLA ESTADUAL DE ENSINO MÉDIO RAUL PILLA COMPONENTE CURRICULAR: Matemática PROFESSORA: Maria Inês Castilho. Conjuntos

Lógica Matemática e Computacional 5 FUNÇÃO

ÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.

TEORIA DOS CONJUNTOS Símbolos

PROBABILIDADE Prof. Adriano Mendonça Souza, Dr.

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

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

PROF. LUIZ CARLOS MOREIRA SANTOS

Espaços Amostrais e Eventos. Probabilidade 2.1. Capítulo 2. Espaço Amostral. Espaço Amostral 02/04/2012. Ex. Jogue um dado

Somatórias e produtórias

Algumas Equivalencias do Axioma da Escolha

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

MÓDULO 6 INTRODUÇÃO À PROBABILIDADE

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

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

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

Ló gica. Para Concursos Públicos. Professor Luiz Guilherme

Matemática Discreta - 03

IBM1088 Linguagens Formais e Teoria da Computação

1 Operações com conjuntos

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE

Matemática para Ciência de Computadores

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

Experimentos Aleatórios e Espaços Amostrais

UM TEOREMA QUE PODE SER USADO NA

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

Bases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v /15

I. Experimentos Aleatórios

(a 1 + a 100 ) + (a 2 + a 99 ) + (a 3 + a 98 ) (a 50 + a 51 ).

Dois eventos são disjuntos ou mutuamente exclusivos quando não tem elementos em comum. Isto é, A B = Φ

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

MÉTODOS DISCRETOS EM TELEMÁTICA

Elementos de Matemática Discreta

Só Matemática O seu portal matemático FUNÇÕES

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO PARANÁ CURSO DE ENGENHARIA CIVIL DISCIPLINA DE CÁLCULO DIFERENCIAL E INTEGRAL I

Aula 5 - Matemática (Gestão e Marketing)

Notas de Aula - Álgebra de Boole Parte 1

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Complexidade de Algoritmos

Espaço Amostral ( ): conjunto de todos os

Diagrama de Classes. Um diagrama de classes descreve a visão estática do sistema em termos de classes e relacionamentos entre as classes.

Matemática. Disciplina: CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS. Varginha Minas Gerais

MATEMÁTICA. Prof. Sabará CONJUNTOS NUMÉRICOS TEORIA DOS CONJUNTOS. Símbolos. : pertence : existe. : não pertence : não existe

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

FUNÇÃO REAL DE UMA VARIÁVEL REAL

Faculdades Pitágoras de Uberlândia. Matemática Básica 1

1 Base de um Espaço Vetorial

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

Uma lei que associa mais de um valor y a um valor x é uma relação, mas não uma função. O contrário é verdadeiro (isto é, toda função é uma relação).

Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional

NOTAS DE AULA CONJUNTOS, FUNÇÕES E RELAÇÕES

Noções elementares sobre conjuntos

Teoria dos Conjuntos. Prof Elizeu Junior

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

Falso: F = Low voltage: L = 0

MAT 461 Tópicos de Matemática II Aula 3: Resumo de Probabilidade

Teoria dos Números. A Teoria dos Números é a área da matemática que lida com os números inteiros, isto é, com o conjunto

NOÇÕES DE PROBABILIDADE

Conjuntos numéricos. Notasdeaula. Fonte: Leithold 1 e Cálculo A - Flemming. Dr. Régis Quadros

Aplicações de Combinatória e Geometria na Teoria dos Números

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

Matéria: Matemática Assunto: Divisores e Múltiplos Prof. Dudan

Conjuntos. Lisboa, Março de 2004

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

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

Autómatos Finitos Determinísticos

Aula 1 Representação e Operações Aritméticas em Ponto Flutuante.

QUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.

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

C Curso destinado à preparação para Concursos Públicos e Aprimoramento Profissional via INTERNET RACIOCÍNIO LÓGICO AULA 7

Conceitos e fórmulas

Capítulo 7. Topologia Digital. 7.1 Conexidade

Teoria das Probabilidades I. Ana Maria Lima de Farias Universidade Federal Fluminense

QUESTÕES COMENTADAS E RESOLVIDAS

Atenção: o conjunto vazio é representado por { } 1.2 Pertinência e Inclusão

AS ÁLGEBRAS DOS OPERADORES DE CONSEQÜÊNCIA

Aulas 10 e 11 / 18 e 20 de abril

Åaxwell Mariano de Barros

Álgebra Linear. Mauri C. Nascimento Departamento de Matemática UNESP/Bauru. 19 de fevereiro de 2013

CAPÍTULO 3 - TIPOS DE DADOS E IDENTIFICADORES

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

Transcrição:

Teoria dos Conjuntos Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Teoria dos Conjuntos 1

Introdução O que os seguintes objetos têm em comum? um grupo de pessoas um rebanho de animais um buquê de flores uma dúzia de ovos Conjunto: coleção de objetos bem definidos, denominados elementos ou membros do conjunto. As palavras conjunto e elementos são termos indefinidos da teoria dos conjuntos. Teoria dos conjuntos: base do pensamento matemático. Todos objetos matemáticos podem ser definidos em termos de conjuntos. MD Teoria dos Conjuntos 2

Introdução Notação: Seja S um conjunto e a um elemento de S. a S: a pertence a S a S: a não pertence a S Axioma da extensão: Um conjunto é completamente determinado pelos seus elementos. A ordem na qual os elementos são listados é irrelevante. Elementos podem aparecer mais de uma vez no conjunto. MD Teoria dos Conjuntos 3

Formas de definir um conjunto Listar seus elementos entre chaves: {Ana, Roberto, Carlos} {Roberto, Carlos, Ana} {Roberto, Roberto, Ana, Carlos, Ana} Especificar uma propriedade que define um conjunto, como S = {x P (x)}: {x Z 2 < x < 5} {x R 2 < x < 5} P (x) não pode ser uma propriedade qualquer. Exemplo: S = {A A é um conjunto e A A}; S S? [Paradoxo de Russel] Usar { uma definição recursiva: 1 A se x A e x + 2 < 10, então x + 2 A MD Teoria dos Conjuntos 4

Formas de definir um conjunto Usar operações sobre conjuntos para criar novos conjuntos: S = {1, 3, 5, 7, 9} P Especificar uma { função característica: k para x = 1, 3, 5, 7, 9 µ A (x) = 0 caso contrário Nem sempre é possível utilizar todos os tipos de definição: Exemplo: S = {x R 0 x 1} Não é possível definir S listando os elementos. MD Teoria dos Conjuntos 5

Relações entre conjuntos: Subconjuntos Definição: Se A e B são conjuntos, A é chamado subconjunto de B, escrito A B, sse cada elemento de A também é um elemento de B. Simbolicamente: A B x, se x A então x B. As frases A está contido em B e B contém A são formas alternativas de dizer que A é um subconjunto de B. MD Teoria dos Conjuntos 6

Relações entre conjuntos: Subconjunto próprio Definição: Se A e B são conjuntos, A é subconjunto próprio de B sse cada elemento de A está em B mas existe pelo menos um elemento de B que não está em A. Simbolicamente: A B A B e A B. MD Teoria dos Conjuntos 7

Relações entre conjuntos: Diagramas de Venn Se os conjuntos A e B forem representados por regiões no plano, relações entre A e B podem ser representadas por desenhos chamados de Diagramas de Venn. Exemplo 1: A B. A B A B MD Teoria dos Conjuntos 8

Relações entre conjuntos: Diagramas de Venn Exemplo 2: A B. A B A B A B MD Teoria dos Conjuntos 9

Relações entre conjuntos: Igualdade Definição: Dados os conjuntos A e B, A = B sse cada elemento de A está em B e cada elemento de B está em A. Simbolicamente: A = B A B e B A. MD Teoria dos Conjuntos 10

Operações sobre conjuntos Sejam A e B subconjuntos do conjunto universal U. União: A B = {x U x A ou x B} Notação: A 1 A 2... A n = n i=1 A i Intersecção: A B = {x U x A e x B} Notação: A 1 A 2... A n = n i=1 A i Diferença: B A = {x U x B e x A} Complemento: A c = {x U x A} MD Teoria dos Conjuntos 11

Tuplas ordenadas Seja n um inteiro positivo e seja x 1, x 2,..., x n uma sequência de elementos não necessariamente distintos. A n-tupla ordenada, (x 1, x 2,..., x n ), consiste de: elementos da sequência, i.e., x 1, x 2,..., x n, e a ordem desses elementos na sequência, i.e., x 1 é o primeiro elemento, x 2 o segundo, etc. Exemplos: Uma 2-tupla ordenada é chamada de par ordenado. Uma 3-tupla ordenada é chamada de tripla ordenada. Duas n-tuplas ordenadas (x 1, x 2,..., x n ) e (y 1, y 2,..., y n ) são iguais sse x i = y i, para i = 1... n. MD Teoria dos Conjuntos 12

Produto Cartesiano Dado dois conjuntos A e B, o produto cartesiano de A e B, denotado A B, é o conjunto de todos os pares ordenados (a, b), onde a A e b B. Notação: A B = {(a, b) a A e b B} Dado os conjuntos A 1, A 2,..., A n, o produto cartesiano de A 1, A 2,..., A n, denotado A 1 A 2... A n, é o conjunto de todas n-tuplas ordenadas (a 1, a 2,..., a n ), onde a i A i para i = 1... n. Notação: A 1 A 2... A n = {(a 1, a 2,..., a n ) a i A i para i = 1... n} MD Teoria dos Conjuntos 13

Propriedades de subconjuntos Inclusão da intersecção: para todos conjuntos A e B. A B A A B B Inclusão na união: para todos conjuntos A e B. A A B B A B Propriedade transitiva dos subconjuntos: para todos conjuntos A, B e C. se A B e B C então A C MD Teoria dos Conjuntos 14

Identidades de conjuntos Sejam todos os conjuntos abaixo subconjuntos do conjunto universal U. Comutatividade: A B = B A A B = B A Associatividade: (A B) C = A (B C) (A B) C = A (B C) Distributividade: A (B C) = (A B) (A C) A (B C) = (A B) (A C) Intersecção com U: A U = A União com U: A U = U MD Teoria dos Conjuntos 15

Identidades de conjuntos Complemento duplo: (A c ) c = A Idempotência: A A = A A A = A De Morgan: (A B) c = A c B c (A B) c = A c B c A (B C) = (A B) (A C) A (B C) = (A B) (A C) Absorção: A (A B) = A A (A B) = A Representação alternativa para diferença de conjuntos: A B = A B c MD Teoria dos Conjuntos 16

Teorema sobre conjunto vazio Teorema: Um conjunto com nenhum elemento é um subconjunto de cada conjunto. Em outras palavras, se é um conjunto com nenhum elemento e A é um conjunto qualquer, então A. Prova (por contradição): Suponha que não. Suponha que exista um conjunto com nenhum elemento e um conjunto A tal que A. [Deve-se deduzir uma contradição.] Neste caso, deve haver um elemento de que não é um elemento de A [pela definição de subconjunto]. Mas não pode haver tal elemento já que não tem nenhum elemento. Isto é uma contradição.... A suposição que existem conjuntos e A, onde não tem nenhum elemento e A é F e o teorema é V. MD Teoria dos Conjuntos 17

Teorema sobre conjunto vazio Corolário: Existe somente um conjunto com nenhum elemento. Prova: Suponha que 1 e 2 são conjuntos com nenhum elemento. Pelo teorema acima, 1 2 já que 1 não tem nenhum elemento. Da mesma forma, 2 1 já que 2 não tem nenhum elemento. Logo, 1 = 2 pela definição de igualdade de conjuntos. Definição: o conjunto único com nenhum elemento é chamado de conjunto vazio e é denotado pelo símbolo. MD Teoria dos Conjuntos 18

Propriedades de conjuntos que envolvem Sejam todos os conjuntos abaixo subconjuntos do conjunto universal U. União com : A = A Intersecção e união com o complemento: A A c = A A c = U Intersecção com : A = Complementos de U e : U c = c = U MD Teoria dos Conjuntos 19

Partições de conjuntos Definição: Dois conjuntos são chamados disjuntos sse eles não têm nenhum elemento em comum. Simbolicamente, A e B são disjuntos A B = Proposição: Dados dois conjuntos A e B, (A B) e B são disjuntos. Prova (por contradição): Suponha que não. Suponha que existam conjuntos A e B tais que (A B) e B não sejam disjuntos. [Deve-se deduzir uma contradição.] Neste caso, (A B) B e, desta forma, existe um elemento x em (A B) B. Pela definição de intersecção, x (A B) e x B e já que que x (A B), pela definição de diferença, x A e x B. Acabou-se de mostrar que x B e x B, o que é uma contradição.... A suposição que existem conjuntos A e B tais que (A B) e B não são disjuntos é F e a proposição é V. MD Teoria dos Conjuntos 20

Partições de conjuntos Definição (conjuntos mutuamente disjuntos): Conjuntos A 1, A 2,..., A n são mutuamente disjuntos (ou disjuntos par-a-par ou sem sobreposição) sse A i A j para todos i, j = 1, 2,..., n e i j, i.e., A i B i =. Definição (partição): Uma coleção de conjuntos não vazios {A 1, A 2,..., A n } é uma partição do conjunto A sse 1. A = A 1 A 2... A n 2. A 1, A 2,..., A n são mutuamente disjuntos MD Teoria dos Conjuntos 21

Conjunto potência Definição (conjunto potência): Dado um conjunto A, o conjunto potência de A, denotado por P(A), é o conjunto de todos os subconjuntos de A. Ache o conjunto potência do conjunto {x, y}. P({x, y}) = {, {x}, {y}, {x, y}}. Teorema: Para todos conjuntos A e B, se A B então P(A) P(B). Prova: Suponha que A e B são conjuntos tais que A B. [Deve-se mostrar que P(A) P(B)]. Suponha que X P(A). [Deve-se mostrar que X P(B)]. Já que X P(A) então X A pela definição de conjunto potência. Mas como A B, temos que X B pela propriedade transitiva dos subconjuntos. Conclui-se então que X P(B) [o que devia ser mostrado].... P(A) P(B) pela definição de subconjunto. MD Teoria dos Conjuntos 22

Conjunto potência Teorema: Para todos inteiros n 0, se um conjunto X tem n elementos então P(X) tem 2 n elementos. Prova (por indução matemática): Considere a propriedade Qualquer conjunto com n elementos tem 2 n elementos. Passo base: Para n = 0 tem-se 2 0 = 1 subconjunto. O único conjunto com zero elementos é o conjunto vazio que só tem um subconjunto que é ele próprio. Logo, a propriedade é verdadeira para n = 0. MD Teoria dos Conjuntos 23

Conjunto potência Passo indutivo: se a fórmula é verdadeira para n = k então deve ser verdadeira para n = k+1. (a) Seja k 0 e suponha que qualquer conjunto com k elementos tem 2 k subconjuntos. [hipótese indutiva] (b) Deve-se mostrar que qualquer conjunto com k + 1 elementos tem 2 k+1 subconjuntos. Seja X um conjunto com k + 1 elementos e escolha um elemento z em X. Observe que qualquer subconjunto de X ou contém z ou não contém. Além disso, qualquer subconjunto de X que não contém z é um subconjunto de X {z}. E qualquer subconjunto A de X {z} pode ser associado com um subconjunto B, igual a A {z}, de X que contém z. Consequentemente, existem tantos subconjuntos de X que contém z como os que não contém, e assim existem duas vezes tantos subconjuntos de X quanto existem subconjuntos de X {z}. Mas como X {z} tem k elementos e como o número de subconjuntos de X {z} é 2 k temos que o número de subconjuntos de X é duas vezes o número de subconjuntos de X {z}, ou seja, 2 2 k = 2 k+1. [O que devia ser provado] MD Teoria dos Conjuntos 24