TEORIA DE CONJUNTOS I - MATEMATICAS EJERCICIOS ...
TEORIA DE CONJUNTOS I - MATEMATICAS EJERCICIOS ...
TEORIA DE CONJUNTOS I - MATEMATICAS EJERCICIOS ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Luego<br />
Ejemplos<br />
(a,b) (c,d) cuando a.d b.c<br />
a c<br />
=<br />
b d<br />
cuando aºd = bc<br />
8 5<br />
* , porque 8 (10) = 16 (5)<br />
16 10<br />
*<br />
9<br />
<br />
6<br />
6<br />
4<br />
porque (-9)(-4)= 6(6)<br />
Se puede probar que la relación es una<br />
relación de equivalencia en el conjunto ZZ<br />
x ZZ *, por verificar las propiedades:<br />
reflexiva, simétrica y transitiva.<br />
Al ser una relación de equivalencia,<br />
determina en Z x Z una clasificación en<br />
clases de equivalencia y en cada clase<br />
están todos los pares equivalentes<br />
entres sí. Por ejemplo:<br />
.... (-2,4)(-1,-2)(1,2)(2,4)(3,6)....<br />
2 1<br />
1 2 3<br />
... ,...<br />
4 2 2 4 6<br />
Luego todos ellos conforman una clase de<br />
equivalencia:<br />
2 1<br />
1 2 3 <br />
....<br />
,.... <br />
4 2 2 4 6 <br />
Asimismo cualquiera de ellos puede ser<br />
tomado como un representante de la<br />
2<br />
clase, por ejemplo: y la notación sería<br />
4<br />
en ese caso así:<br />
2´<br />
2 1<br />
1<br />
...<br />
, , ,<br />
4 4 2 2<br />
2<br />
4 2 2<br />
...<br />
, , ,<br />
3<br />
6 3 3<br />
2<br />
,<br />
4<br />
3 <br />
,.... <br />
6 <br />
4 6 <br />
, ,.... <br />
6 9 <br />
En una clase de equivalencia de los<br />
infinitos representantes que tiene, hay<br />
uno en particular, aquel cuyas<br />
componentes son primos entre sí, el<br />
cual es denominado representante<br />
canónico.<br />
Por ejemplo, en la siguiente clase de<br />
equivalencia:<br />
6<br />
6 3 3<br />
....<br />
, , ,<br />
8<br />
8 4 4<br />
6<br />
,<br />
8<br />
9<br />
12<br />
<br />
,..... <br />
<br />
3<br />
<br />
es el representante del canónico de<br />
4<br />
<br />
la clase, porque: 3 y 4 son PESI.<br />
Cada una de las clases de equivalencias<br />
determinadas en ZZ x ZZ* es denominado<br />
número racional.