∀x1 , x2 ∈ A : x1 6= x2 =⇒ f (x1 ) 6= f (x2 )

∀y1 , y2 ∈ B : y1 6= y2 =⇒ g(y1 ) 6= g(y2 )

Entonces
∀x1 , x2 ∈ A : x1 6= x2 =⇒ g(f (x1 )) 6= g(f (x2 ))
Por lo que si x1 6= x2 entonces g ◦ f (x1 ) 6= g ◦ f (x2 ), por lo tanto g ◦ f es
inyectiva.
1.
C ⊆ A ∪ B ⇐⇒ ∀x ∈ U : x ∈ C =⇒ (x ∈ A ∨ x ∈ B)
⇐⇒ ∀x ∈ U : ¬(x ∈ C) =⇒ (x ∈ A ∨ x ∈ B)
⇐⇒ ∀x ∈ U :x∈C ∨x∈A∨x∈B
⇐⇒ ∀x ∈ U :x∈B∨x∈A∨x∈C
⇐⇒ ∀x ∈ U : ¬(x ∈ B) =⇒ (x ∈ A ∨ x ∈ C)
⇐⇒ ∀x ∈ U : x ∈ B =⇒ (x ∈ A ∨ x ∈ C)
⇐⇒ B ⊆ A ∪ C

2. (a) i- Reflexividad xRx.

By obviousness: x2 + x = x2 + x =⇒ xRx
ii- Simetrı́a xRy ⇐⇒ xRy.
By fucking obviousness: x2 + x = y 2 + y ⇐⇒ y 2 + y = x2 + x
iii- Transitividad xRy ∧ yRz =⇒ xRz.
By motherfucker obviousness:
(x2 + x = y 2 + y ∧ y 2 + y = z 2 + z) =⇒ x2 + x = z 2 + z
(b) i- Por definición de clase de equivalencia:
[0]R = {x ∈ R : 0 = x2 + x},
por lo que los elementos de [0]R son las soluciones de 0 =
x2 + x, que son 0 y −1:
[0]R = {0, −1}.
ii- Como −1 ∈ [0]R , entonces [−1]R = [0]R = {0, −1}.
iii- los elementos de [3]R son las soluciones de 32 + 3 = x2 + x,
usando el coso de la resolvente te da que:
[3]R = {−4, 3}.
(c) La forma explı́cita de la clase de equivalencia de α ∈ R es [α]R =
{x ∈ R : α2 + α = x2 + x}. Para que [α]R sea un singletón (o
bacherlotón, se puede decir de las dos maneras) α2 + α = x2 + x
debe tener solución única, por lo que el polinomio x2 +x−(α2 +α)
debe tener una raı́z doble; para que pase eso, debe ser un trinomio
cuadrado perfecto. Por lo que α2 + α debe ser igual a −1/4 y,
entonces, α = −1/2.

1
3. (a) Sea c ∈ C:
Como g : B → C es suryectiva, ∃b ∈ B : g(b) = c,
como f : A → B es suryectiva, ∃a ∈ A : f (a) = b,
por lo que ∃a ∈ A : g(f (a)) = g ◦f (a) = c =⇒ g ◦f es suryectiva.
(b) Por contraejemplo. Sean f : R+ → R, g : R → R y h : R → R,
tales que f (x) = x, g(x) = x y h(x) = |x|. Claramente g◦f = h◦f ,
pero g 6= h.

4. Notación a ⊕ b := f (a, b).

(a)

a ⊕ b = a + b + 11
= b + a + 11
= b ⊕ a =⇒ ⊕ es conmutativa.

(b)

(a ⊕ b) ⊕ c = (a + b + 11) ⊕ c
= (a + b + 11) + c + 11
= a + (b + c + 11) + 11
= a ⊕ (b + c + 11)
= a ⊕ (b ⊕ c) =⇒ ⊕ es asociativa.

(c) Como la operación es conmutativa, basta probar que existe e ∈ Z

tal que ∀a ∈ Z : e ⊕ a = a.
e ⊕ a = e + a + 11 = a =⇒ e = −11.
∴ -11 es el elemento neutro de ⊕.