RELAES:

Uma relao uma comparao entre os elementos de dois conjuntos A e B. Esses

elementos so agrupados de acordo com alguma regra ou propriedade determinada pela
relao, como por exemplo, < (menor que), (contido em).
!ada relao " de A em B su#conjunto de um produto cartesiano A x B, ou seja, um
conjunto de listas de pares ordenados.
!ada relao respeita a relao exigida, e a partir desta reali$a o agrupamento dos
elementos x com % respeitando a propriedade da relao.
REPRESENTAO:
Seja x e % B, ento x R y (x,y) R.
A & !onjunto 'artida, (rigem, )ominio.
B & !onjunto !*egada, )estino, !ontradominio
Exemplo +,

A & - . , + , /, 01 e B & - /, 0, 2 ,3 1
" & -(x,%) 4 5 x & %1
A B
. /
+ 0
/ 2
0 3
" & -(/,/),(0,0)1
)(6787(,
9 o su#conjunto de A constitu:do pelos elementos x de cada par ordenado
originado no conjunto da relao.
"epresentamos por )("), tal que de cordo com o exemplo anterior seria )(") &
-/,01.
76A;E6,
9 o su#conjunto de B constitu:do pelos elementos % de cada par ordenado
originado no conjunto da relao.
"epresentamos por 7m("), tal que de acordo com o exemplo anterior seria 7m(") &
-/,01.
"E<U678)(,
Em cada par ordenado #asta ol*ar o x e o %, em que x corresponde ao
dominio e o % a imagem.
" & - (/,2),(2,=),(=,=),(+.,>) 1
)(") & -/,2,=,+.1
7m(") & -2,=,>1
(#ser?a@es,
( ?a$io relao de todo produto cartesiano, pois o ?a$io su#conjunto de
qualquer conjunto.
Aoda relao dita como #inBria, pois relacionaCse somente dois conjuntos por
?e$.
"EDAEF( 78GE"<A,
<eja " uma relao de A em B, ento " H uma relao de B em A. Utili$andoC
se deste principio podemos concluir que para cada par ordenado (x,%) ", ento di$emos
que para cada par ordenado (%,x) " H.
" & - (.,+), (.,/), (.,0), (+,/), (+,0), (/,0) 1
" H & - (+,.), (/,.), (0,.), (/,+), (0,+), (0,/) 1
E a partir desta aIirmao onde o par ordenado in?erteu, o dominio e a imagem tam#m
modiIicaram seu sentido Iinal. <iga o quadro a#aixo para notar as reIerentes mudanas.
)ominio e 7magem,
)(") & 7m(" H)
7m(") & )(" H)
'DA8( !A"AE<7A8(,
9 Iormado pelos pares de uma relao de A em B, em que utili$ada para se representar
na Iorma cartesiana. (s primeiros termos de cada par corresponde as a#scissas e o
segundo termo as ordenadas.
J
x
E8)(""EDAEF(,
Este tipo de relao Iormado por um Knico conjunto, aplicando as propriedades so#re
ele mesmo. "epresentamos este tipo de relao denominando seu conjunto e sua
propriedade. 'or exemplo,
" & - (x,%) AL x < % 1
'odemos representar de uma Iorma mais simpliIicada. !omo por exemplo,
< A, < M
< 8 , & M
< 4, xL% M
'"('"7E)A)E<
N("6A< )E "E'"E<E8AAEF( )E U6A E8)(""EDAEF(,
;"AN(,
!ada elemento do conjunto representado como um ponto ou c:rculo, no qual
c*amamos de nodo
!ada par ordenado representado com uma seta com origem e destino
!aso a origem e o destino seja o mesmo ponto, ento #asta ligar uma seta
en?olta do elemento.
Exemplo 0,
)ado o conjunto A & - +, /, O 1, mostrar o graIo da endorrelao que respeita a seguinte
propriedade,
< A , xP&% M " & - (+,+), (/,O)1
+ . ./
.
O
6AA"74,
( nKmero de lin*as dado por )(")
( nKmero de colunas dado por 7m (")
!ada clula da matri$ possui um ?alor lQgico ( +C Gerdadeiro e . R Nalso)
A & - a ,# ,c 1
< A , & M
& a # c
a + . .
# . + .
c . . +
(#s, Aodas as Iormas de representao sero a#ordadas mais proIundamente a seguir,
por agora uma #re?e noo jB suIiciente.
!(6'(<7EF( )E "EDAEF(,
Suando entre duas rela@es, o % da primeira relao Ior o x da segunda relao,
criaCse um no?o par ordenado composta com os elementos extremos, ou seja, um par
com o x da primeira e o % da segunda relao.
< o " & "epresentao de uma relao composta pela rela@es < e ".
+ T "elao
/ T "elao
Exemplo,
" & - (a,+), (#,0), (#,O), (d,2) 1
< & -(+,x), (/,%), (2,%), (2,$) 1
< o " & - (a,x), (d,%), (d,$) 1
'"('"7E)A)E< )A< "EDAEUE<,
"ENDEV7GA,
Suando existir em uma relao x A W % , em que x & %. )i$emos que esta
relao reIlexi?a.
Grafo, Todos os elementos dentro do graIo d?em ter setas originadas e destinadas
em torno de si.
Matriz: )iagonal principal toda com ?alor lQgico ?erdadeiro(+).
Exemplo,
A & (a,#,c)
"H & - (a,a), (#,#) , (c,c) 1 C "eIlexi?a
"P & - (a,a), (#,#) , (c,a) 1 C 8o "eIlexi?a
"X & - (a,#),(a,c),(#,c) 1 C 7rreIlexi?a
a # c
a + . .
# . + .
c . . +
'or que classiIicaCse "P como no reIlexi?aY Apresente outro exemplo com o
conjunto dos nKmero naturais.
'or que classiIicamos "X como 7rreIlexi?aY Apresente um exemplo diIerente.
=
=
<769A"7!A,
Suando existir um par onde seus elementos apaream em uma determinada
ordem, e outro par com estes mesmos elementos sQ que com a ordem in?ersa, so
denominados simtricos respeitando a propriedade.
<e, x,% , temos x " % % " x, ento " simtrico.
;raIo, Aodas as setas tem que estar com pontas duplas, ou seja,
tanto reIerenciando a partida como a c*egada.
6atri$, 6etade de cima a imagem espel*ada da metade de #aixo
A & - a ,# ,c1
"H & - (a,a), (#,c), (c,#) 1 C <imtrico
"P & - (a,a), (#,c), (c,#), (a,c) 1 C 8oC<imtrico.
a # c
a + . .
# . . +
c . + .
Z A?aliamos a matri$, excluiCse a diagonal principal e analisamos o restante das clulas.
)[ um exemplo numerico que conten*a a propriedade simtrica.
'or que "P considerado noCsimtricoY
A8A7 R <769A"7!A,
9 representado quando x e % so elementos distintos, e em relao aos pares
ordenados no apresente nen*uma propriedade simtrica.
;raIo, 8o existem setas duplas.
6atri$, Sualquer ?alor da metade de cima, tem o seu correspondente
na metade de #aixo com o ?alor oposto.
Exemplo,
A & -a,#,c1
" & -(a,a), (#,c), (#,d) 1
a # c
a + + .
# . + +
c + . +
A"A8<7A7G7)A)E,
Suado *ou?er tr[s pares ordenados pelo principio da transiti?idade temos que,
<e, x,%,$ (x " %) W (% " $) (x " $).
;raIo, Norma um camin*o de setas encadeadas.
Exemplo,
"H & - (a,a), (a,#), (#,c), (a,c) 1 C Aransiti?o
"P & - (a,a), (a,#), (#,c) 1 C 8oCAransiti?o.
NE!\( )E U6A E8)(""EDAEF(,
Em algumas rela@es nem sempre contem todos os pares necessarios para pro?ar
uma propriedade. Ento um Iec*o de uma endorrelao consiste em adicionar os pares
necessBrios a uma relao para poder concluir uma ou mais propriedades desejadas.
<empre procuraCse introdu$ir o menor nKmeros de pares.
Exemplo,
)ada uma relao ",ACMA insira o que Ior necessario para Iec*ar a transiti?idade.
A & -a,#,c1
" & -(a,#),(#,c),(a,a),(a,c)1
" U -(a,c)1 R Este o NE!\( A"A8<A7G(
"EDAEF( )E (")E6,
9 quando contem as propriedades reIlexi?a, transiti?a, antiCsimtrica. !onIira as
classiIica@es.
(rdem 'arcial Ampla,
!ontem as propriedades reIlexi?a, antiCsimtrica, transiti?a
Exemplo,
< 8 , M
)esen*ando am#os os conjuntos e reali$ando as de?idos agrupamentos, teremos algo
parecido com isto " & - (.,.), (.,+), (.,/), (.,0) ], (+,+),(+,/),(+,0)...,(+.,+.),(+.,++),
(+.,+/)...1
8otaCse tam#m que de Iato esta relao respeita a propriedade reIlexi?a, antiC
simtrica e transiti?a.
"eIlexia & -(.,.),(+,+),(/,/),(0,0)...,(+.,+.),...(+..,+..)...1
AntiC<imtrica & -(.,+),(.,/),...,(+./),(+,0)...1
<imtrica & -(.,+),(+,0),(.,0)1
0
1
2
3
4
5
6
7
8
9
10
.
.
.
0
1
2
3
4
5
6
7
8
9
10
.
.
.
(rdem 'arcial Estrita,
7rreIlexi?a^
AntiC<imtrica
Aransiti?a
Exemplo,
< 8 , < M
)esen*ando am#os os conjuntos atra?s do diagrama de Genn, teremos uma relao
Iormada pelos seguintes pares ordenados, onde cada par respeita a propriedade <.
" & -(.,+), (.,/), (.,0) ], (+,/), (+,0), (+,O), (+,2) ] , (/,0), (/,O),(/,2)...1
8ote que a partir desta relao, podemos pro?ar as tr[s propriedades relacionadas a este
tipo de ordem, elas so irreflexiva, antisim!tri"a e transitiva.
(rdem !onexa Ampla,
!onsiste em todas as propriedades da ordem parcial ampla e mais a
propriedade conexa.
Exemplo,
< 8 , M

0
1
2
3
4
5
6
7
8
9
10
.
.
.
0
1
2
3
4
5
6
7
8
9
10
.
.
.
0
1
2
3
4
5
6
7
8
9
10
.
.
.
0
1
2
3
4
5
6
7
8
9
10
.
.
.
(rdem !onexa Estrita,
!onsiste em todas as propriedades da ordem parcial estrita e mais a
propriedade conexa
Exemplo,
< 8 , < M

(rdem DexicogrBIica,
Esta#elece uma relao de ordem conexa (a"# #"a a & #1. )ado um alIa#eto
& -a,#1 e Z & - ,a , # a#, ##, aa, ,#a, aaa, ###, aa#, ##a, ]1.
Aodos os elementos esto ordenado por taman*o, em caso de igualdade o que
ti?er antes.
"elao de (rdem Aotal,
Aodos os elementos de?em estar relacionados com todos, uma ordem total
quando a di?isi#ilidade dos elementos estB em ordem natural, ou seja, quando dois
elementos a,# Iorem compara?eis mediante(a # # a). )i$emos que so totalmente
ordenados.
" & - (a,a), (#,#), (c,c), (a,#), (a,c), (#,c)1
Exemplo,
" & -+,2,+.,/.1
Utili$ando a di?isi#ilidade para comparar os elementos desta relao, para podermos
pro?ar que tais elementos so totalmente ordenados.
0
1
2
3
4
5
6
7
8
9
10
.
.
.
0
1
2
3
4
5
6
7
8
9
10
.
.
.
/.
5
+.
5
2
5
+
Suando ocorre dos elementos Iicarem uma espcie de lin*a ?ertical sem nen*uma
ramiIicao di$emos que esses elementos so totalmente ordenados. 'ois cadas
elemento se relaciona com si mesmo e com o restante.
Dimite <uperior e 7nIerior,
<uperior,
A partir da ordenao anterior, desco#rimos quem o limite superior
so todos os elementos que se mantem acima dos demais elementos. )enotamos limite
superior com a letra #.
7nIerior,
A partir da ordenao anterior, desco#rimos quem o limite inIerior so
todos os elementos que se mantem a#aixo dos demais. )enotamos o limite inIerior pela
letra l.
6Bximo e 6:nimo,
6Bximo,
9 o elemento que se manti?er isoladamente acima dos outros.
6:nimo,
9 o elemento que se manti?er isoladamente a#aixo dos outros.
<upremo de nIimo,
<upremo,
9 o ?alor minimo encontrado no limite superior.
nIimo,
9 o ?alor maximo encontrado no limite inIerior
A & - / , 0, =1
=
/ 0
D & -=1
l & -/,01
6 & -=1
m & 8o Aem
< & -01
7 & -=1
"ela@es de Equi?al[ncia,
<e satisIa$er as propriedades reIlexi?a, simtrica e transiti?a, isto , se so
?erdadeiras as sentenas.
Suando equi?alente uma relao so#re A, onde (a,#) " denotaCse por a #(").
" & -(a,a),(#,#),(c,c),(a,#),(a,c),(#,c)1
9 uma relao de equi?al[ncia so#re A & -a,#,c1
!lasses de Equi?al[ncias,
9 denominado como classe os conjuntos que se relacionam e Iormam no?os
su#conjuntos em que deIinido pora & -x AL(x,a) "1, onde x um elemento da
relao.
( conjunto Iica con*ecido como AL" contituido pelas classes ex.
" & -(a,a),(#,#),(c,c),(a,c),(c,a)1
a & -a,c1 R 'ois o elemento a sQ se relaciona com si mesmo e com o elemento #
# & -#1 R 'ois sQ se relaciona com ele mesmo.
c & -c,a1 R 'ois sQ se relaciona com ele mesmo.
AL" & ( -a,c1,-#1)
(#s., !ada classe um elemento do conjunto das partes de A. E notaCse que conjunto
quociente de A por " su#conjunto de '(A).
'artio de um !onjunto,
)i$Cse que uma classe N um su#conjunto no ?a$io de A uma partio de A,
seguindo as propriedades.
+. )ois mem#ros quaisquer de N ou so iguais ou so disjuntos
/. A unio dos mem#os de N igual a A.
Ex.,
N & - -+1, -/,01, -O1 1 uma partio do conjunto A & -+,/,0,O1.
+ #
/
a
0
O c
"elao )ual,
ArocaCse a ordenao dos conjuntos que Iormam os pares e in?erte a operao
utili$ada.
(p
)enotamos a relao dual por "
" & -(a,#) / a M #1 A CMB & AxB
op
" & -(#,a) / a < #1 A CMB & AxB
Exemplo,
)ado um certo conjunto ! & -.,+,/1, reali$aCse a operao < e a sua dual.
< M
. + . +
/ /
(riginal )ual
"epresentao de "elao )ual no 'lano !artesiano,
" & -<a,#M 5 x &%P1
op
" & -<%,xM 5 x & %P1
6atri$,
E a matri$transposta da matri$ da relao, ou seja, a matri$ resultante da
troca das lin*as, pelas colunas.
;raIo,
E o graIo resultante da in?erso do sentido das arestas.
A7'(< )E "EDAEUE<,
Nuncional,
DUAL: 7njetora
'ermite deIinir uma Iuno
'ara ser Iuncional cada elemento de A sQ pode estar relacionado com no
mBximo um de B
Ex.
a
a
#
#
c
&, ACMB
"elao Nuncional Aotal,
DUAL, 7njetora
<o uma relao de um elemento para um
Aem que usar todos os elementos do dominio.
a a
#
#
6atri$, Existe somente um ?alor ?erdadeiro em cada lin*a da matri$.
;raIo, Existe somente uma aresta partindo de cada nQ.
"elao 7njetora,
DUAL: Nuncional
C !ada elemento de B(contradominio) estB relacionado com no mBximo um
elemento de A.
a a
# #
6atri$, Existe somente um ?alor ?erdadeiro em cada coluna da matri$.
;raIo, Existe somente uma aresta c*egando de cada nQ.
(B<, (s conceitos de relao Iuncional e injetora no so complementares. !om essa
aIirmao podemos tomar rela@es em que ocorra os dois tipos simult_neamente
Aotal,
DUAL: <o#rejetora.
Aodos os elementos do dominio so utili$ados
'ode ser usado mais de um elemento.
a a
#
c
6atri$, Existe pelo menos um ?alor ?erdadeiro em cada lin*a da matri$.
;raIo, Existe pelo menos uma aresta partindo de cada nQ.
<o#rejetora,
DUAL: Aotal.
Aodos os elementos do contradominio so utili$ados
8o pode ser usado mais de um elemento.
a a
#
c
6atri$, Existe pelo menos um ?alor ?erdadeiro em cada coluna da matri$.
;raIo, Existe pelo menos uma aresta c*egando de cada nQ.
6onomorIismo,
<erB monomorIismo se e somente se Ior,
Aotal
7njetora.
'ortanto em uma monorelao ", ACMB o conjunto tem que ter todos os seus
elementos utili$ados e cada elemento do conjunto B tem que estar relacionado com no
mBximo um elemento de A
)enotaCse monomorIismo como,
", A > B
a a
#
6atri$, Existe pelo menos um ?alor em cada lin*a da matri$ e no maximo um
?alor ?erdadeiro em cada coluna.
;raIo, 'elo menos uma aresta partindo e no maximo uma c*egando.
EpimorIismo L Epirrelao,
<erB monomorIismo se e somente se Ior,
Nuncional
<o#rejetora.
( conjunto imagem B, ou seja, todos os elementos de B de?em ser utili$ados e
de A cada elemento de?e estar relacionado com no mBximo um de B.
)enotaCse epimorIismo como,
", A B
. a
+ #
/
6atri$, Existe pelo menos um ?alor em cada coluna da matri$ e no maximo um
?alor ?erdadeiro em cada lin*a.
;raIo, 'elo menos uma aresta c*egando e no maximo uma partindo.