






Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Os melhores documentos à venda: Trabalhos de alunos formados
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Comunidade
Peça ajuda à comunidade e tire suas dúvidas relacionadas ao estudo
Descubra as melhores universidades em seu país de acordo com os usuários da Docsity
Guias grátis
Baixe gratuitamente nossos guias de estudo, métodos para diminuir a ansiedade, dicas de TCC preparadas pelos professores da Docsity
Conceitos básicos da matemática discreta, com ênfase em relações e equivalências. O texto aborda o produto cartesiano, relações binárias, relações de equivalência e propriedades matemáticas relacionadas. O autor, ivan da silva sendin, é professor da universidade federal de goiás.
Tipologia: Notas de estudo
1 / 12
Esta página não é visível na pré-visualização
Não perca as partes importantes!
as
Matem ´atica DiscretaRelac
Sejam^ X, Y
6 =^ ∅, o^ produto cartesiano
de^ X^ por
denotado por
X^ ×^ Y^ - é o conjunto^ {(x, y
) :^ x^ ∈^ X, y
Cada membro de
X^ ×^ Y^ é chamado de
par ordenado^ Matem ´atica DiscretaRelac
Uma relação
R^ em^ X
(^6 =^ ∅)^ é qualquer subconjunto de X^ ×^ X^ ou
Uma relações pode ser binária (pares ordenados), ternária(para 3-tupla) ou k-nária (para
k-tupla)
Exemplos:^ Para
A^ =^ {a, b
}^ podemos definir a relação de igualdade Para o mesmo
A a^ = 0
, b^ = 1^ podemos definir a relação^
Para^ A^ =
}^ podemos definir a relação
divide :^ R
=^ {(x, y
) :^ x|y}
Matem ´atica DiscretaRelac
Uma relação
R^ em^ X
é chamada de
relac¸ ˜ao de
equival ˆencia
se satisfaz as seguintes poropriedades: RE1 - Reflexiva
(a, a)^ ∈^ R^ para todo
a^ ∈^ X
RE2 - Sim ´
etrica^ Se^ (
a, b)^ ∈^ R^ então
(b, a)^ ∈^ R^ para todo
a, b^ ∈^ X
RE3 - Transitiva
Se^ (a, b)^ ∈^
R^ e^ (b, c)^ ∈^
R^ então^ (a, c
)^ ∈^ R^ para todo
a, b, c^ ∈^ X
Matem ´atica DiscretaRelac
Seja^ X^ =
{a, b, c, d
}^ e R^ =^ {(a, a
),^ (b, b),^ (
c, c),^ (a, b
),^ (b, a),^ (
a, c),^ (c, a
(RE1) (RE2) (RE3)
Matem ´atica DiscretaRelac
Seja^ X^ um conjunto qualquer de retas em um plano e R^ : (r, r^1
o ângulo entre
re^ ré igual a zero.^1
(RE1) (RE2) (RE3)
Matem ´atica DiscretaRelac
R: (a, bm^
m|(a^ −^
b) (RE1) (RE2) (RE3)
Matem ´atica DiscretaRelac
Como vimos a relação:
R: (a, bm^
m|(a^ −^ b
é uma relação de equivalência. m|(a^ −^ b
)^ também pode ser escrito como
a^ ≡^ b^ (mod
m)
Matem ´atica DiscretaRelac