MATEMÁTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA – DEPTO. DE MATEMÁTICA Y C.C.
1
Ejercicios diversos 4

1) Definimos ~ en
2
N por c b d a d c b a + = + ⇔ ) , ( ~ ) , (
a) Demuestre que ~ es relación de equivalencia
b) Determine ) 2 , 1 (
Solución.
a) Como ) , ( ~ ) , ( b a b a ya que a b b a + = + entonces ~ es refleja
Si ) , ( ~ ) , ( d c b a entonces c b d a + = + , de aquí concluimos que b c a d + = + es
decir concluimos que ) , ( ~ ) , ( b a d c , es decir, ~ es relación simétrica
Si ) , ( ~ ) , ( ) , ( ~ ) , ( f e d c d c b a ∧ debemos demostrar que ) , ( ~ ) , ( f e b a
Como ) , ( ~ ) , ( ) , ( ~ ) , ( f e d c d c b a ∧ entonces e d f c c b d a + = + ∧ + = + ,
sumando estas dos expresiones obtenemos e d c b f c d a + + + = + + + ,
cancelando obtenemos e b f a + = + , es decir , ~ es relación transitiva

b) { } ) 2 , 1 ( ~ ) , /( ) , ( ) 2 , 1 ( y x y x =
{ } 1 2 / ) , ( + = + = y x y x
{ } 1 / ) , ( + = = x y y x , así, { } N x x x ∈ + = / ) 1 , ( ) 2 , 1 (


2) En Z definimos la relación de equivalencia R tal que b b a a aRb + = + ⇔
2 2

Determine la clase de equivalencia de los elementos de Z
Solución.
{ } { } { } 1 0 , 1 0 / 0 / 0
2
− = − = = + ∈ = ∈ = x x Z x xR Z x
{ } { } { } 2 2 , 1 0 2 / 1 1 / 1
2 2 2
− = − = = − + ∈ = + = + ∈ = x x Z x x x Z x
{ } { } { } 3 3 , 2 0 6 / 2 2 / 2
2 2 2
− = − = = − + ∈ = + = + ∈ = x x Z x x x Z x
......
{ } ) 1 ( ) 1 ( . + − = + − = n n n n

3) Sea { } c b a A , , = y { } ) , ( ), , ( ), , ( ), , ( ), , (
2
b c c b c c b b a a A R = ⊆ una relación de
equivalencia. Determine
a) La clase de equivalencia de los elementos de A
b) El conjunto cuociente
Solución.
a) { } { } a xRa A x a / = ∈ =
{ } { } c b xRb A x b , / = ∈ =
{ } { } b b c xRc a x c = = ∈ = , /
b) El conjunto cuociente es { } { } { } c b a R A , , / = y un sistema de representantes es
{ } b a S , =


MATEMÁTICA GENERAL 10.052, HERALDO GONZALEZ S.
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA – DEPTO. DE MATEMÁTICA Y C.C.
2
4) Determine las clases de equivalencia por la congruencia modulo 5
Solución.
Sea
+
∈Z m , como ) (modn b a ≡ pm b a Z p = − ∈ ∃ ⇔ que tal entonces:

{ } { } { } { } ,.... 10 , 5 , 0 , 5 , 10 .., , 5 / 5 0 / ) 5 (mod 0 / 0 − − = ∈ = ∈ = = − ∈ = ≡ ∈ = Z k k x Z x p x Z x x z x

{ } { } { } { } ,.... 11 , 6 , 1 , 4 , 9 .., , 1 5 / 5 1 / ) 5 (mod 1 / 1 − − = ∈ + = ∈ = = − ∈ = ≡ ∈ = Z k k x Z x p x Z x x z x

{ } { } { } { } ,.... 12 , 7 , 2 , 3 , 8 .., , 2 5 / 5 2 / ) 5 (mod 2 / 2 − − = ∈ + = ∈ = = − ∈ = ≡ ∈ = Z k k x Z x p x Z x x z x

{ } { } { } { } ,.... 13 , 8 , 3 , 2 , 7 .., , 3 5 / 5 3 / ) 5 (mod 3 / 3 − − = ∈ + = ∈ = = − ∈ = ≡ ∈ = Z k k x Z x p x Z x x z x

{ } { } { } { } ,.... 14 , 9 , 4 , 1 , 6 .., , 4 5 / 5 4 / ) 5 (mod 4 / 4 − − = ∈ + = ∈ = = − ∈ = ≡ ∈ = Z k k x Z x p x Z x x z x

el conjunto cuociente, denotado
5
Z es { } { } 4 , 3 , 2 , 1 , 0 4 , 3 , 2 , 1 , 0
5
= = Z


5) En N definimos la relación T por: b a N n aTb
n
= ∈ ∃ ⇔ que tal
a) Demuestre que T es una relación de orden
b) ¿Es T un orden total?
Solución.

a) Para que T sea una relación de orden debe cumplir:
i) N a ∈ ∀ aTa Refleja
ii) [ ] aTc bTc aTb ⇒ ∧ Transitiva
iii) [ ] b a bTa aTb = ⇒ ∧ Antisimétrica
i) aTa ya que a a =
1
, N ∈ 1
ii) Si bTc aTb ∧ entonces existen N m n ∈ , tal que b a
n
= y c b
m
= ; debemos
demostrar que existe N p ∈ tal que c a
p
= .
Reemplazando
n
a b = en
m
b c = obtenemos
nm m n
a a c = = ) ( , con N mn p ∈ =
se cumple.
iii) Si bTa aTb ∧ entonces existen N m n ∈ , tal que b a
n
= y a b
m
= ,
reemplazando
n
a b = en la segunda igualdad obtenemos a a
nm
= de donde
1 = nm , así, m n = . Esto indica que b a =

b) La relación T no es de orden total ya que, por ejemplo, 2 no está relacionado
con 3, no existe N n ∈ tal que 3 2 =
n