06.05.2013 Views

TEORIA DE CONJUNTOS I - MATEMATICAS EJERCICIOS ...

TEORIA DE CONJUNTOS I - MATEMATICAS EJERCICIOS ...

TEORIA DE CONJUNTOS I - MATEMATICAS EJERCICIOS ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!