Matemática Discreta. Teoria de Conjuntos - Parte 2. Profa. Sheila Morais de Almeida. abril DAINF-UTFPR-PG

Documentos relacionados
Teoria dos Conjuntos. Matemática Discreta. Teoria dos Conjuntos - Parte I. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG.

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Somatórios. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG. Sheila Almeida (DAINF-UTFPR-PG) Somatórios junho / 30

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Análise de Algoritmos

Invariantes de Laço. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

significa ( x)[(x S P (x)) (P (x) x S)]

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

1 Operações com conjuntos

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

Aulas 10 e 11 / 18 e 20 de abril

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

Matemática Discreta - 07

Matemática Discreta - 07

Relações de Recorrência

Teoria da Computação

Notas de aula de MAC0329 Álgebra Booleana e Aplicações

Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos

Teoria Ingênua dos Conjuntos (naive set theory)

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

a. O conjunto de todos os brasileiros. b. O conjunto de todos os números naturais. c. O conjunto de todos os números reais tal que x²-4=0.

Relações binárias. Relações binárias. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Lógica Proposicional

Teoria dos Grafos. Teoria dos Grafos. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. agosto

Matemática Básica Noções Básicas de Operações com Conjuntos / Conjuntos Numéricos

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof.

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos

MAC5770 Exercícios preliminares

MAC0320 Exercícios preliminares

Conjuntos Fuzzy. Prof. Paulo Cesar F. De Oliveira, BSc, PhD. 10/10/14 Paulo C F de Oliveira

Generalidades sobre conjuntos

Generalidades sobre conjuntos

Predicados e Quantificadores

Teoria dos Grafos. Apresentação da disciplina. Profa. Sheila Morais de Almeida. março DAINF-UTFPR-PG

ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora

Aula 4: Elementos da Teoria de Conjuntos

Existem conjuntos em todas as coisas e todas as coisas são conjuntos de outras coisas.

TEORIA DOS CONJUNTOS. Professor: Marcelo Silva Natal - RN, agosto de 2013.

Universidade Federal do Pampa - UNIPAMPA

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza

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

Teoria dos Grafos Aula 1 - Introdução

Notas sobre Sequências e Cardinalidade (1)

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

Raiz, filho, pai, irmão, ancestral, descendente, folha.

Universidade Federal Fluminense ICEx Volta Redonda Introdução a Matemática Superior Professora: Marina Sequeiros

MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson

sumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...

UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR

Teoria das Probabilidades

14/03/2014. Tratamento de Incertezas TIC Aula 1. Conteúdo Espaços Amostrais e Probabilidade. Revisão de conjuntos. Modelos Probabilísticos

Glauber Ferreira Cintra. Matemática I

Teoria intuitiva de conjuntos

Centro de Informática UFPE

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare

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

Resumo. Parte 2 Introdução à Teoria da Probabilidade. Ramiro Brito Willmersdorf Introdução.

Tratamento de Incertezas TIC MINTER-IFMT

3.4 Álgebra booleana, ordens parciais e reticulados

Funções, Seqüências, Cardinalidade

TP034-Tópicos Especiais de Pesquisa Operacional I

IBM1088 Linguagens Formais e Teoria da Computação

Matemática Computacional

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS

Conjuntos e Funções. Ivan Eugênio da Cunha

Fundamentos de Matemática

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

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

Sumário. 1 CAPÍTULO 1 Revisão de álgebra

Definição: Todo objeto parte de um conjunto é denominado elemento.

Prof. a : Patrícia Caldana

Princípio da inclusão e exclusão: Alguns Exemplos de Uso do Princípio da Inclusão e Exclusão

n. 19 Estudo da reta: vetor normal, posições relativas, intersecção, sistemas de equações

Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições)

Teoria dos Conjuntos. Prof. Jorge

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

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

Teoria dos Grafos Aula 3 - Planaridade

Combinando relações. Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações

Matemática para Ciência de Computadores

10 AULA. Operações com Conjuntos: Produto Cartesiano LIVRO. META: Introduzir propriedades para o produto cartesiano de conjuntos.

RACIOCÍNIO LÓGICO. Curso Superior de Tecnologia. Aula 02 TEORIA DOS CONJUNTOS

Chamamos de evento qualquer subconjunto do espaço amostral: A é um evento A Ω.

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

O espaço das Ordens de um Corpo

Sumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34

n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS

Matemática Discreta. Aula 06: Teoria dos Grafos. Tópico 01: Grafos e suas Representações. Observação

INE Fundamentos de Matemática Discreta para a Computação

Relações Binárias, Aplicações e Operações

Revisões de Conjuntos

Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Fabio Augusto Camargo

CAP4. ELEMENTOS DA TEORIA DE GRAFOS. Grafo [graph]. Estrutura que consiste num par ordenado de conjuntos, G ( V, E) , sendo:

Por meio de uma figura fechada, dentro da qual podem-se escrever seus elementos. Diagrama de Venn-Euler.

Transcrição:

Matemática Discreta Teoria de Conjuntos - Parte 2 Profa. Sheila Morais de Almeida DAINF-UTFPR-PG abril - 2017

Operações em conjuntos As operações entre conjuntos podem ser unárias, binárias, ternárias, n-árias, dependendo de quantos conjuntos não necessariamente distintos são usados na operação. Operações n-árias, são realizadas sobre n conjuntos. Em algumas operações n-árias com n 2, a ordem dos conjuntos altera o resultado.

Complemento de um conjunto Complemento Dado um conjunto A de elementos de um universo U, o complemento de A é o conjunto de todos os elementos de A que não pertencem a A. O complemento de A é denotado por A. Observe que esta é uma operação unária. A

Complemento de um conjunto A = {x x U x A} Seja U = Z Exemplo 1: N = Z Exemplo 2: {0} = {x x Z x 0} Exemplo 3: Z =

União de dois conjuntos União de dois conjuntos Sejam A e B dois conjuntos. A união de A e B, indicada por A B, é o conjunto que contém os elementos que estão em A ou em B ou em ambos. A B Observe que esta é uma operação binária.

União de dois conjuntos A B = {x x A x B} Exemplo 1: {1, 2, 3} {1, 3, 5} = {1, 2, 3, 5} Exemplo 2: Z + Z = Z

Interseção de dois conjuntos Interseção de dois conjuntos Sejam A e B dois conjuntos. A interseção de A e B, indicada por A B, é o conjunto que contém os elementos que estão em A e estão em B simultaneamente. A B Observe que esta é uma operação binária.

Interseção de dois conjuntos A B = {x x A x B} Exemplo 1: {1, 2, 3} {1, 3, 5} = {1, 3} Exemplo 2: Z + Z = {0} Exemplo 3: Z N = N

Interseção de dois conjuntos Dois conjuntos são disjuntos se têm interseção vazia. Exemplo 1: {1, 2, 3} {1, 3, 5} = {1, 3} não é disjunto Exemplo 2: Z {0} = {} é disjunto Exemplo 3: Z N = N não é disjunto

Princípio da Inclusão-Exclusão Considere dois conjuntos quaisquer A e B, não necessariamente disjuntos. Pergunta: Qual a cardinalidade de A B? Será que é A + B? se a B, não! Os elementos da interseção são contados duas vezes.

Princípio da Inclusão-Exclusão Considere dois conjuntos quaisquer A e B, não necessariamente disjuntos. Pergunta: Qual a cardinalidade de A B? Será que é A + B? se a B, não! Os elementos da interseção são contados duas vezes.

Princípio da Inclusão-Exclusão Considere dois conjuntos quaisquer A e B, não necessariamente disjuntos. Pergunta: Qual a cardinalidade de A B? Será que é A + B A B? sim!

Princípio da Inclusão-Exclusão Considere dois conjuntos quaisquer A e B, não necessariamente disjuntos. Pergunta: Qual a cardinalidade de A B? Será que é A + B A B? sim!

Diferença entre dois conjuntos Diferença entre dois conjuntos Sejam A e B dois conjuntos. A diferença entre A e B, indicada por A B ou A \ B, é o conjunto que contém os elementos de A que não pertencem a B. A diferença A B também é chamada de complemento de B em relação a A. A B

Diferença entre dois conjuntos A \ B = {x x A x B} Exemplo 1: {1, 2, 3} \ {1, 3, 5} = {2} Exemplo 2: {1, 3, 5} \ {1, 2, 3} = {5} Exemplo 3: Z N = Z

n-uplas ordenadas n-upla Ordenada Uma n-upla ordenada é uma sequência ordenada de elementos de um conjunto: (a 1, a 2, a 3,... a n ). Observe que (5, 9, 8, 7) (7, 8, 9, 5), já que a ordem dos elementos importa. Quando n = 2 a n-upla ordenada é chamada de par ordenado. Exemplos de pares ordenados: (2, 5), (10, 1), (1, 10).

n-uplas ordenadas n-upla Ordenada Uma n-upla ordenada é uma sequência ordenada de elementos de um conjunto: (a 1, a 2, a 3,... a n ). Observe que (5, 9, 8, 7) (7, 8, 9, 5), já que a ordem dos elementos importa. Quando n = 2 a n-upla ordenada é chamada de par ordenado. Exemplos de pares ordenados: (2, 5), (10, 1), (1, 10).

Produto Cartesiano Considere dois conjuntos A e B. Produto Cartesiano A B O produto cartesiano A B é o conjunto de todos os pares ordenados (a, b) em que a A e b B. A B = {(a, b) : a A b B} Exemplo: A = {2, 4, 6, 8, 10} e B = {1, 10, 100}. A B = {(2, 1), (2, 10), (2, 100), (4, 1), (4, 10), (4, 100), (6, 1), (6, 10), (6, 100), (8, 1), (8, 10), (8, 100), (10, 1), (10, 10), (10, 100)}

Produto Cartesiano Observe que A B B A, a menos que A = B. Por que? porque o par é ordenado!

Produto Cartesiano Observe que A B B A, a menos que A = B. Por que? porque o par é ordenado!

Relação Relação Uma relação entre A e B é qualquer subconjunto de A B. Exemplo: A = {2, 4, 6, 8, 10} e B = {1, 10, 100}. R é a relação entre A e B definida por: {(x, y) x A y B x y} R = {(2, 1), (4, 1), (6, 1), (8, 1), (10, 1), (10, 10)}.

Produto Cartesiano Generalizando, considere n conjuntos A 1, A 2,..., A n. Produto Cartesiano A 1 A 2... A n O produto cartesiano A A 2... A n é o conjunto das n-uplas ordenadas (a 1, a 2,..., a n ) em que a i A i, 1 i n. Exemplo: A 1 = {2, 4}, A 2 = {3, 5, 7} e A 3 = {3, 9}. A 1 A 2 A 3 = {(2, 3, 3), (2, 3, 9), (2, 5, 3), (2, 5, 9), (2, 7, 3), (2, 7, 9), (4, 3, 3), (4, 3, 9), (4, 5, 3), (4, 5, 9), (4, 7, 3), (4, 7, 9)}

Identidade de Conjuntos Prove que A B = A B. prova: Seja x A B. Pela definição de complemento, x A B. Logo, x A ou x B. Pela definição de complemento, x A ou x B. Como x está em pelo menos um dos dois complementos, x A B.

Identidade de Conjuntos Prove que A B = A B. prova: Seja x A B. Pela definição de complemento, x A B. Logo, x A ou x B. Pela definição de complemento, x A ou x B. Como x está em pelo menos um dos dois complementos, x A B.

Identidade de Conjuntos Prove que A B = A B. prova: Seja x A B. Pela definição de complemento, x A B. Logo, x A ou x B. Pela definição de complemento, x A ou x B. Como x está em pelo menos um dos dois complementos, x A B.

Identidade de Conjuntos Prove que A B = A B. prova: Seja x A B. Pela definição de complemento, x A B. Logo, x A ou x B. Pela definição de complemento, x A ou x B. Como x está em pelo menos um dos dois complementos, x A B.

Identidade de Conjuntos Prove que A B = A B. prova: Seja x A B. Pela definição de complemento, x A B. Logo, x A ou x B. Pela definição de complemento, x A ou x B. Como x está em pelo menos um dos dois complementos, x A B.

Identidade de Conjuntos Prove que A B = A B. Seja x A B. Pela definição de união, x A ou x B. Pela definição de complemento, x A ou x B. Pela definição de interseção, x A B. Pela definição de complemento, x A B.

Identidade de Conjuntos Prove que A B = A B. Seja x A B. Pela definição de união, x A ou x B. Pela definição de complemento, x A ou x B. Pela definição de interseção, x A B. Pela definição de complemento, x A B.

Identidade de Conjuntos Prove que A B = A B. Seja x A B. Pela definição de união, x A ou x B. Pela definição de complemento, x A ou x B. Pela definição de interseção, x A B. Pela definição de complemento, x A B.

Identidade de Conjuntos Prove que A B = A B. Seja x A B. Pela definição de união, x A ou x B. Pela definição de complemento, x A ou x B. Pela definição de interseção, x A B. Pela definição de complemento, x A B.

Identidade de Conjuntos Prove que A B = A B. Seja x A B. Pela definição de união, x A ou x B. Pela definição de complemento, x A ou x B. Pela definição de interseção, x A B. Pela definição de complemento, x A B.

Identidade de Conjuntos Prove que A B = A B. Seja x A B. Pela definição de união, x A ou x B. Pela definição de complemento, x A ou x B. Pela definição de interseção, x A B. Pela definição de complemento, x A B.

Identidade de Conjuntos Prove que A B = A B. prova: A B = {x x A B} (definição de complemento) = {x x A x B} (definição de interseção) = {x x A x B} (definição de complemento) = {x x A B} (definição de união) = A B

Identidade de Conjuntos Usando tabelas de pertinência. Prove que A (B C) = (A B) (A C). A B C B C A (B C) A B A C (A B) (A C) 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1

Referências Kenneth ROSEN. Discrete Mathematics and Its Applications. McGraw-Hill Education, 6th edition (July 26, 2006).