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

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

n. 26 PRODUTO CARTESIANO

AXB = {(x, y) x A e y B}

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB;

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?

n. 25 DIAGRAMAS DE VENN

MAT-330: Teoria dos Conjuntos

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há

Números Reais. Jairo Menezes e Souza 19/09/2013 UFG/CAC

Sejam A e B conjuntos não vazios. Chama-se produto cartesiano de A por B o conjunto

Teoria Ingênua dos Conjuntos (naive set theory)

( r, s) S r s r s sendo S plano euclidiano. RELAÇÕES

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

Lógica e Matemática Discreta

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

Lógica e Matemática Discreta

Aulas 10 e 11 / 18 e 20 de abril

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

Este material é apenas um resumo de parte do conteúdo da disciplina.

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

12 AULA. Relações de Ordem LIVRO. META: Apresentar o conceito de relações de ordem e suas propriedades.

Linguagens Formais e Autômatos

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos

13 AULA. Relações de Equivalência LIVRO. META: Introduzir o conceito de relações de equivalência e suas propriedades.

FUNÇÃO. 4.1 Relação Binária. Definição 4.1

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

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

Matemática Discreta - 07

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

Notas de aulas. álgebra abstrata

CONJUNTO DOS NÚMEROS INTEIROS

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

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

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

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS

Matemática Discreta - 07

INTRODUÇÃO À TEORIA DOS CONJUNTOS1

Teoria dos anéis 1 a parte 3

Números - Aula 03. Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil

n. 18 ALGUNS TERMOS...

Relações binárias. Laura Goulart. 7 de Março de 2018 UESB. Laura Goulart (UESB) Relações binárias 7 de Março de / 1

Capítulo 1. Funções e grácos

V Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43

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

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

Prof.Letícia Garcia Polac. 6 de abril de 2017

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

Em Matemática existem situações em que há necessidade de distinguir dois pares pela ordem dos elementos. Por exemplo, no sistema de equações

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL

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

Aula 4: Elementos da Teoria de Conjuntos

Notas de Aula Disciplina Matemática Tópico 03 Licenciatura em Matemática Osasco -2010

MAT105 - Fundamentos de Matemática Elementar I

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

1) Verifique as afirmativas abaixo e responda, qual é a correspondente ao conjunto infinito?

Lógica Elementar, Conjuntos e Relações

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

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

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

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

ENFOQUE USANDO CORTES DE DEDEKIND

Capítulo 2. f : A B. 3. A regra em (3) não define uma função de A em B porque 4 A está associado a mais de um. elemento de B.

Um conjunto é uma coleção de objetos. Esses objetos podem ser qualquer coisa. Costumamos chamar esses objetos de elementos do conjuntos.

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Reticulados, Álgebra Booleana e Formas Quadráticas Abstratas

Teoria dos Conjuntos. Prof. Jorge

CM Funções. Notas de Aula PSE Departamento de Matemática - UFPR

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

Matemática Discreta Parte 11

Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis. Matemática 1. Revisão - Conjuntos e Relações v. 0.

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos

FUNÇÕES I- PRÉ-REQUISITOS PARA O ESTUDO DAS FUNÇÕES

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

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

DIVISÃO NOS INTEIROS. Luciana Santos da Silva Martino. lulismartino.wordpress.com PROFMAT - Colégio Pedro II

INTRODUÇÃO À TEORIA DOS CONJUNTOS

Capítulo 2. f : A B. elementos A com elementos de B ilustradas nos seguintes diagramas.

Relações. Relações. {1, 2} = {2, 1}, {3, -1} = {-1, 3}, {a, b} = {b, a}.

Teoria dos conjuntos

Axiomas de corpo ordenado

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

Reticulados e Álgebras de Boole

Teoria da Computação

Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas.

n. 27 INTERVALOS REAIS Georg Ferdinand Ludwig Philipp Cantor ( ) matemático russo.

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.

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

Fundamentos 1. Lógica de Predicados

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.

Unidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013

Probabilidade I. Departamento de Estatística. Universidade Federal da Paraíba. Prof. Tarciana Liberal (UFPB) Aula 2 08/11 1 / 25

IBM1088 Linguagens Formais e Teoria da Computação

Transcrição:

n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS Uma relação é um conjunto de pares ordenados, ou seja, um subconjunto de A B. Utilizando pares ordenados podemos definir relações por meio da linguagem de conjuntos. Definição: Sejam A e B conjuntos não vazios, uma relação de A em B, ou relação binária de A em B, denotada por R(A, B), é um subconjunto de A B. Se um par (x, y) pertence a uma relação R, diremos que x está relacionado com y pela relação R e denotaremos por x R y ("x erre y") ou (x, y) R ou x relacionado com y. Quando A = B dizemos que R é uma relação sobre o conjunto A ou que R é uma relação em A. Para facilitar a notação, quando não há dúvidas quanto ao produto cartesiano A B que estamos utilizando, denotamos R(A, B), simplesmente por R. O termo binário é usado para indicar uma relação entre dois conjuntos. Há duas maneiras de apresentar uma relação: Apresentando o subconjunto de A B, através de seus pares ordenados, ou seja, exibindo os elementos do produto cartesiano. O que nem sempre é possível. Ou definindo uma regra, na qual escolhemos os pares ordenados que satisfazem essa regra. Assim, escrevemos

uma proposição P(x, y) onde (x, y) A B, que deve ser verdadeira para todos os elementos de R(A, B). Outra forma de apresentar essa relação é a notação: R(A, B, P), onde P é uma proposição. Exemplos: a. Sejam A = {0, 1,2} e B = {c, d, e, f}. Definimos a relação R(A, B) = {(0, d), (0, e), (1, d), (1, f), (2, c), (2, d)} Observe por exemplo que 1 R d (1 está relacionado com d). Mas, o elemento 0 A não está relacionado, por exemplo, com f. b. Sejam A = N, B = N, P (x, y): "x é divisível por y". O conjunto R(A, B, P) = {(x, y) A B / P(x, y) é verdadeira} R(A, B, P) = {(x, y) N N / x é divisível por y} É uma relação N N. Por exemplo: 15 R 3, pois 15 é divisível por 3. c. Seja a relação R em A = { 1, 0, 1, 2} tal que "x é divisível por y". Descrevendo o subconjunto A A temos: R(A, A, P) = {(x, y) A A / x é divisível por y} A A = {( 1, 1), ( 1, 0), ( 1, 1), ( 1, 2), ( ) Logo, R = {( 1, 1), ( 1, 1), (0, 1), (0, 1), (0, 2), (1, 1), (1, 1), (2, 1), (2, 1), (2, 2)} Pois, 1 1 = 1; 1 1 = 1; 0 1 = 0; 0 1 = 0; 0 2 = 0; 1 1 = 1; 1 1 = 1; 2 1 = 2; 2 1 = 2; 2 2 = 1 d. Sejam A = {1,2, 3} e B = {3, 4}. Definimos a relação R(A, B, P) = {(x, y) A B / x + 1 < y}

Logo, 1 R 3, pois 1+1 < 3 2 R 4, pois 2+1 < 4 R = {(1, 3), (1, 4), (2, 4)} e. Sejam os conjuntos A = {1,2, 3} e B = {1,2} e a relação binária R de A para B como: (x, y) A B, (x, y) R / x y é par. Logo, temos que A B = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 1), (3, 2)} e R = {(1, 1), (2, 2), (3, 1)} f. Sejam os conjuntos S = {1,2} e T = {2,3,4} S T = { (1,2), (1,3), (1,4), (2,2), (2,3), (2,4) } Uma relação R definida por: R(S, T, P) = {(x, y) S T/x = y 2 } satisfeita pelos pares (1,2) e (2,4), poderia também ser definida pela declaração que {(1,2), (2,4)} é o conjunto dos pares ordenados que satisfazem R. g. Sejam os conjuntos S = {1,2} e T = {2,3,4} e a relação binária R dada por: x R y / x + y é ímpar S T = {(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4)} R = {(1,2), (1,4), (2,3)}

h. Sejam os conjuntos A = {1, 2, 3} e B = {1, 3, 5} e as relações: (x, y) A B; (x, y) S / x < y A B = {(1, 1), (1, 3), (1, 5), (2, 1), (2, 3), (2, 5), (3, 1), (3, 3), (3, 5)} R = { (1, 3), (1, 5), (2, 3), (2, 5), (3, 5)} i. Sendo os conjuntos A = {1, 2, 3} e B = { 1, 0, 4, 5}, e a relação R = { (x, y) A B / x + y é um número primo }. Descreva os elementos de R. R = { (1, 4); (2, 0); (2, 5); (3, 1); (3, 0); (3, 4) } j. Seja X um conjunto e P(X) o conjunto das partes de X e a relação R(X, P(X), P) em X P(X) caracterizada pela proposição P(x, y): x y. Considerando o conjunto X = {1, 2, 3}, determine: X P(X), R. P(X) = {, X, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}} X P(X) = {(1, X), (1, {1}), (1, {2}), (1, {3}), (1, {1,2}), (1, {1,3}), (1, {2,3}),

(2, X), (2, {1}), (2, {2}), (2, {3}), (2, {1,2}), (2, {1,3}), (2, {2,3}), (3, X), (3, {1}), (3, {2}), (3, {3}), (3, {1,2}), (3, {1,3}), (3, {2,3})} R = {(1, X), (1, {1}), (1, {1,2}), (1, {1,3}), (2, X), (2, {2}), (2, {1,2}), (2, {2,3}), (3, X), (3, {3}), (3, {1,3}), (3, {2,3})} FORMAS DE REPRESENTAÇÃO USANDO FLECHAS No estudo das relações sobre um conjunto E, com E finito e tendo poucos elementos, é muito útil a representação através do esquema de flechas: Representamos o conjunto E com seus elementos e indicamos cada par (a, b) da relação através de uma flecha com origem a e extremidade b. Se (a, b) está na relação, usa-se um laço envolvendo a. Exemplo: O esquema a seguir representa a relação R = {(a, a), (b, b), (a, b), (b, c), (c, b)} sobre E = {a, b, c}.

Exercício: Descreva as relações: a. a. Este é um exemplo de relação reflexiva: em cada ponto do diagrama deve haver um laço. R = {(a, a), (b, b), (c, c), (a, b), (a, c)} b. b. Este é um exemplo de relação simétrica: toda flecha deve ter duas pontas. R = {(a, a), (b, b), (ac b), (b, c), (c, b), (d, b), (b, d)} c.

c. Este é um exemplo de relação transitiva: para todo par de flechas consecutivas existe uma fecha cuja origem é a da primeira e a extremidade, a da segunda. R = {(a, a), (b, b), (b, c), (b, d), (d, c)} Referências ALENCAR FILHO, Edgard de. Teoria Elementar dos Conjuntos. 20 ed. 1ª reimpressão. São Paulo: Nobel, 1986. DOMINGUES, Hygino; IEZZI, G. Álgebra Moderna. 2 ed. São Paulo: Atual, 1982. GERÔNIMO, João Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemática, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, 2008.