Professional Documents
Culture Documents
equivalência :
A
conjunto nao vazio
•
um
-
sobre o
qual definiremos a relação
de
equivalência .
•
R c A × A uma relação ( de pares
ordenados! ) que satisfaz :
②Ré simétrica ié
entao (
uma
x) ER
,
se
CXJIER
y ,
.
par ( x , g) ER .
Para cada relação R sobre
A cada elemento XEA
conjuntoum
e
para
Temos a classe de equivalência de se
ER }
Ré Lgea ; ix.
g)
•
Propriedade Fundamental : se R é uma
relacão de
to
equivalência sobre
A tem
un
conjunto
A eu
ftp.q e -
se
Rp Rq
= ou Rp NRQ ¢ =
• Fixado uma relacão de
equivalência
conjunto
em um
A .
Um Sistema
completo de resíduos é
A tal
r
um
subconjunto
contém um
rc
somentee
que
elemento um
, ,
de cada classe .
Teorema Fundamental das
classificações :
Toda relação de
equivalência RCAXHA
parti conjunto
ciona o A- em uma união
de
subconjuntos nos vazios
dois dois Reciprocamente
a .
disjuntos e
para
cada
partição A = UB, existe
se A-
única relação de
uma
equivalência
cujas
classes de
equivalência sao os
conjuntos B, com X e A- .
RCAXIA
DI: suponha
que seja
uma relação de
equivalência em A e
seja
R
R um sistema
complfeto de resíduos
para Desta .
forma se E IA
existe
qer
tal
que XERQ
além disto
logo A
Uqertq
= e como
elemento de cada
possui apenas
n um
classe, dados A to
p q ,
e
pf q com eu
Rpn Rq = 0 .
doncbúmos
que
A =
¥Pq é uma de A
partição .
Reciprocamente suponha que :
A ¥+3 seja
= , partida A uma
íe A :p e A
4 Hp tem -
se
BABE ¢
R (x , g) e HXA; Ix DEB,
,
de A }
para algum _
.
relacão
A
fumamos que essa R é uma
de
equivalência .
com
efeito :
A UB ,
R é
reflexiva pois como =
te A-
A se e A 7 de A- tal LXIEB,
,
que
_
ou
seja { x sete
,
B
,
.
portanto caça) ER
✓x e A .
a) R é simétrica pois g)
se Cx , ER
certo dx y } EB, para algum
,
× ie REB eJEB
,
) ER
REB seja cy
dy
ou ou x
,
.
, ,
Finalmente , Réfausitiva .
pois
entao
se ( x,
g) ER
ely , 3) ER
{ yiz} CB , Barba
como
ye
e
{ x z } e B; Ou seja CRBIER
portanto , ,
.
unicidade diretamente da defumar
segueEAXA
A
de R .
{ lx ,
g) ; Ix YIEB, para
, algum §
de
QED
⇐
Exemplo A =L
1,434g
seja
:
↳ a. A
ObsPodemos descrever a
partino usando um
de Hasse atacar
diagrama diagrama( para
de
equivalência
) .
% 5 4
{ 1,23 ↳ 45.3
Exemplo seja
:
A- = IR? vamos estabelecer
uma relação entre os
pontos do
plano
Ü%
PEQ Fa "
Eu ÷
ne .
À
Qual classe
a
relação de
equivalência
do ponto 11,2 ) ?
Ruiz { la b) ,
e- Pi; o
segmento ligando cer)
a la b) é
, paralelo ao eixo
Tia
das obscenas }
logo Rap ) =
{ la b) EIR; 3=2
,
e ae
}
R
=
{ la , 2) ER ; a c- IR }
tt é a classe de cer)
t.LY
para esta relação
-
.
Em
geral a classe de um
ponto cas)
será =L
Reais) lx.gl ; xerez b} -
-
ter }
para algum
E é relacão de
Verifique que uma
equivalência
e determine as classes .de (1,2)