Algebra 2

German Herrera L.
27 de octubre de 2017

Problemas propuestos: Relaciones

1. Verificar si es o no una relacion de equivalencia de:

a) La relacion de amistad.
Definamos el conjunto A :amistad, sean los elementos; a :mi amigo, b :amigo de mi
amigo y c :amigo del amigo de mi amigo. Verificamos si se cumplen las propiedades de
relacion de equivalencia:
i) a a, pues no ya que mi amigo, no tiene una relacion de amistad con sigo mismo.
ii) a b b a, no se verifica puesto que no se cumple que el amigo de mi amigo
sea mi amigo.
iii) a b y b c a c, no se verifica puesto que mi amigo no tiene una relacion de
amistad con el amigo del amigo de mi amigo.
La relacion de amistad no es una relacion de equivalencia.
b) La relacion de hermandad.
Definamos el conjunto F: hermandad y sean los elementos a y b el cual tienen el mis-
mo padre y misma madre. Verificamos si se cumplen las propiedades de relacion de
equivalencia:
i) a a, no cumple pues a no es hermano de si mismo.
ii) a b b a, puesto que si a tiene el mismo padre y misma madre de b entonces
b tiene el mismo padre y misma madre de a.
iii) a b y b c a c, puesto que a y b tienen el mismo padre y misma madre
asi como b y c tienen el mismo padre y misma madre entonces en efecto a y c son
hermanos.
La relacion de hermandad no es una relacion de quivalencia.
c) Misma camada
Definamos el conjunto C: camada y sean los elementos a y b el cual son perros/as
que nacieron el mismo da. Verificamos si se cumplen las propiedades de relacion de
quivalencia:
i) a a, a nacio el mismo da en que nacio a.

1
 ii) a b b a, puesto que si a nacio el mismo da que b entonces b nacio el mismo
da que a.
iii) a b y b c a c, puesto que si a y b nacieron el mismo da y b y c nacieron
el mismo da entonces en efecto a y c nacieron el mismo da tambien.
La relacion de camada es una relacion de equivalencia.
2. Para el conjunto dado y bajo la relacion, determine cual define relacion de equivalencia:
a) S es el conjunto de todas las personas actualmente en el mundo, a b si a y b tienen
un antepasado en comun.
Definido el conjunto S:todas las personas actualmente en el mundo y sean a,b elementos
de S. Verificamos si se cumple los criterios:
i) a a, pues a tiene en comun un antepasado de a mismo.
ii) a b b a, puesto que si a y b tienen un antepasado en comun entonces en
efecto b y a tienen un antepasado en comun.
iii) a b y b c a c, ya que a y b tienen un antepasado en comun y que b y
c tienen otro antepasado en comun no implica que a y c tengan un antepasado en
comun pues sera una familia.
La relacion de S no es una relacion de equivalencia.
e) S es el conjunto de enteros, a b si ambos a > b y b > a.
Definido S, sean a,b enteros del conjunto tal que a > b y b > a. Verificamos:
i) a a, no cumple puesto que a es entero talque a < a no ocurre al igual que a > a.
La relacion de S no es una relacion de equivalencia.
3.a) La propiedad 2 de una relacion de equivalencia establece que si a b entonces b a; la
propiedad 3 establece que si a b y b c entonces a c. Que esta mal con la siguiente
demostracion que las propiedades 2 y 3 implican la propiedad 1?. Sea a b; entonces b a,de
donde, por propiedad 3 (usando a = c),a a.
De ii) tenemos la simetra y usando iii) la transitiva con b c y especialmente bajo la
condicion de tomar a = c, llegamos a concluir i), pero hacer esto no es adecuado debido a
que al tomar o decir que un elemento es igual a otro nos encontramos con un conjunto que
tiene elementos que estan en varios espacios a la vez, el aspecto importante de las relaciones
de equivalencia es su correspondencia con las particiones de un conjunto.
4. En el ejemplo 3 de una relacion de equivalencia dada en el texto, pruebe que la relacion
definida es una relacion de equivalencia y que hay exactamente n clases de equivalencia
distintas, llamadas, cl(0),cl(1),...,cl(n 1).
Sea S el conjunto de todos los enteros y sea n > 1 un entero tal que definimos para a, b
elementos de S, a b si a b es un multiplo de n. Verificamos si es una relacion de
equivalencia:

i) Sea a S, PD: a a,
a a = kn, k entero,
a a = 0n, entonces cumple.

2
 ii) Sean a, b S si a b , PD: b a
a b = kn, k entero,
b a = kn,
b a = ln, con n = k, l entero
entonces, b a.
iii) Sea a, b, c S y si a b y b c,
a b = kn, b c = ln, k, l enteros,
sumando las igualdades anteriores,
a c = (k + l)n,
a c = pn, con p = k + l un entero,
entonces, a c.

Se verifica la relacion de equivalencia.

Ahora para la segunda parte verificaremos que hay n clases de equivalencia distintas:
Por induccion vemos que para a = 0, y sea a elemento de S,

cl(0) = {x Z/x a, x 0 = x = kn, k Z} ,

para a = 1,

cl(1) = {x Z/x a, x 1 = kn, k Z}, entero.

para a = n 1

cl(m) = {x Z/x a, x = kn + (n 1), k Z},

ya que en cada conjunto obtenemos una ecuacion unica y distinta del conjunto siguiente,
observamos que todos los conjuntos son distintos lo cual tenemos n clases de equivalencia
distintas.

5. Suponga que f : A B y g : B C y f g : A C son funciones, si f y g son inyectivas

entonces la composicion g f es inyectiva.
Demostracion:

1. f : A B g : B C f g : A C, hipotesis,
2. f y g son inyectivas, hipotesis,
3. Sea v, x A,entonces
vf = xf v = x, definicion 1-1,
4. Sean u, w B, entonces
ug = wg u = w, efinicion 1-1,
5. (vf )g = (xf 9g vf = xf v = x, por 3 y4,
6. g f , es 1-1.

3
6. Si S y T son conjuntos no vacos, pruebe que existe una funcion inyectiva 1 1 entre S T
y T S.

1. Definamos f : (S T ) U (S T ) U ), y sean s S, t T , u U ,
x = ((s, t), u) xf = (s, t, u),
2. Sea x1 , x2 (S T ) U , hipotesis,
3. x1 f = x2 f , hipotesis,
4. ((s1 , t1 ), u1 )f = ((s2 , t2 ), u2 )f , de 3,
5. (s1 , t1 , u1 ) = (s2 , t2 , u2 ), por definicion de 1,
6. s1 = s2 t1 = t2 u1 = u2 , igualdad de tripletas,
7. x1 = (s1 , t1 , u1 ) = (s2 , t2 , u2 ) = x2 , por 6 y 1,
8. f es inyectiva.

7. Si S es cualquier conjunto, pruebe que es imposible encontrar una funcion de S en S .

Demostracion por absurdo:

1. Definamos la funcion,
f : S S , sea u S y t S ,
u uf = t,
2. S = {{S}, {}, {X}}, X S, por definicion de S ,
3. con x S, !b S tal que xf S , definicion de funcion,

4. puesto que xf = w, con w S ,
no puede ocurrir puesto que xf no es un conjunto,
5. como xf 6= X , por 4,
,
6. no existe f : S S .