Usando Kits da Experimentoteca de Matemtica para ... - CDCC - USP
Usando Kits da Experimentoteca de Matemtica para ... - CDCC - USP
Usando Kits da Experimentoteca de Matemtica para ... - CDCC - USP
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Para exemplificarmos, construiremos a seguinte relação <strong>de</strong> equivalência:<br />
Sejam B o conjunto <strong>da</strong>s bananas e R uma relação <strong>de</strong> equivalência tal que duas<br />
bananas estão relaciona<strong>da</strong>s se, e somente se elas forem do mesmo tipo. Parece claro e <strong>de</strong><br />
fato <strong>de</strong> fácil verificação <strong>de</strong> que R é uma relação <strong>de</strong> equivalência.<br />
Po<strong>de</strong>mos construir as classes [banana prata], [banana maçã], [banana maçã],<br />
[banana terra] e [banana ouro] que representam to<strong>da</strong>s as bananas que existem.<br />
[ banana prata],[ banana maçã],[banana maçã],[banana terra],[banana ouro]<br />
é o conjunto quociente <strong>de</strong> A por R.<br />
.<br />
A/R = { }<br />
§ 4 – Frações Equivalentes<br />
Em Z x Z * <strong>de</strong>finimos a seguinte relação ~ :<br />
( m , n) ~ ( r,<br />
s) ∈ m.<br />
s = n.<br />
r<br />
Afirmação: A relação ~ é <strong>de</strong> Equivalência. (Exercício)<br />
Como vimos no parágrafo anterior a relação ~ particiona Z x Z * em classes <strong>de</strong><br />
equivalência.<br />
*<br />
Para ca<strong>da</strong> par ( m , n) ∈ Z × Z vamos <strong>de</strong>notar a classe [(a,b)] à qual (m,n) pertence<br />
por a/b.<br />
Portanto m *<br />
*<br />
= {( x,<br />
y) ∈ Z × Z /( x,<br />
y) ~ ( m,<br />
n)<br />
} = {( x,<br />
y)<br />
∈ Z × Z / x.<br />
n = y m}<br />
n<br />
.<br />
Exemplo 1:<br />
Se m = 1 e n = 2<br />
{( x , y) /( x,<br />
y) ~ ( 1,2 )} = ( x,<br />
y)<br />
{ / 2x<br />
= } { 1 , 2 , 3 ,K}<br />
1 = y<br />
2<br />
=<br />
Exemplo 2 :<br />
Se m = 3 e n = 4<br />
{( x , y) /( x,<br />
y) ~ ( 3,4)<br />
} = ( x,<br />
y)<br />
{ / 4x<br />
= 3 } { 3 , 6 , 9 ,K}<br />
3 = y<br />
4<br />
=<br />
2<br />
4<br />
4<br />
8<br />
6<br />
12<br />
Observação:<br />
16