Apunte Único: Álgebra I - Práctica 1

Por alumnos de Álgebra I

Facultad de Ciencias Exactas y Naturales
UBA
última actualización 26/03/25 @ 10:37

Choose your destiny:

(dobleclick en los ejercicio para saltar)

8 Notas teóricas
7 Ejercicios de la guía:

1. 6. 11. 16. 21. 26. 31. 36.

2. 7. 12. 17. 22. 27. 32.
3. 8. 13. 18. 23. 28. 33.
4. 9. 14. 19. 24. 29. 34.
5. 10. 15. 20. 25. 30. 35.

 Ejercicios de Parciales

\1. \2. \3. \4. \5. \6. \7. \8.

Disclaimer:
Dirigido para aquél que esté listo para leerlo, o no tanto. Va con onda.

¡Recomendación para sacarle jugo al apunte!

Estudiar con resueltos puede ser un arma de doble filo. Si estás trabado, antes
de saltar a la solución que hizo otra persona:

x1 Mirar la solución ni bien te trabás, te condicionas pavlovianamente a no

pensar. Necesitás darle tiempo al cerebro para llegar a la solución.

x2 Intentá un ejercicio similar, pero más fácil.

x3 ¿No sale el fácil? Intentá uno aún más fácil.

x4 Fijate si tenés un ejercicio similar hecho en clase. Y mirá ese, así no quemás
el ejercicio de la guía.

x5 Tomate 2 minutos para formular una pregunta que realmente sea lo que
no entendés. Decir ‘no me sale’ ∄ +. Escribí esa pregunta, vas a dormir
mejor.

Ahora sí mirá la solución.

Si no te salen los ejercicios fáciles sin ayuda, no te van a salir los ejercicios
más difíciles: Sentido común.
¡Los más fáciles van a salir! Son el alimento de nuestra confiaza.
Si mirás miles de soluciones a parciales en el afán de tener un ejemplo hecho de
todas las variantes, estás apelando demasiado a la suerte de que te toque uno
igual, pero no estás aprendiendo nada. Hacer un parcial bien lleva entre 3 y 4
horas. Así que si vos en 4 horas "hiciste" 3 o 4 parciales, algo raro debe haber.
A los parciales se va a pensar y eso hay que practicarlo desde el primer día.

Mirá los videos de las teóricas:

de Teresa que son buenísimos Å.
Videos de prácticas de pandemia, complemento extra:
Prácticas Pandemia Å.

Los ejercicios que se dan en clase suelen ser similares a los parciales, a veces
más difíciles, repasalos siempre Just Do IT ôµô!

Eh, loco, fatalista, distópico, relajá un toque te vas a quedar (más) pelado...  va a salir todo bien!
 Esta Guía 1 que tenés se actualizó por última vez:
26/03/25 @ 10:37
Escaneá el QR para bajarte (quizás) una versión más
nueva:
Guía 1

El resto de las guías repo en github§ para descargar las guías

con los últimos updates.

Si querés mandar un ejercicio o avisar de algún error, lo más

fácil es por Telegram }.
Álgebra I Práctica 1 Página 4

Notas teóricas:
Básicos sobre conjuntos y coso:
⌣ Conjunto de Partes P:
Sea A un conjunto. El conjunto de partes de A, que se nota P(A), es el conjunto formado por todos los
subconjuntos de A, o sea el conjunto cuyos elementos son los subconjuntos de A. Es decir

P(A) = {B : B ⊆ A} o también B ∈ P A ⇐⇒ B ⊆ A.

Por ejemplo: Si A = {1, 2, 3}, P(A) = {∅, {1} , {2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3}}

⌣ Las uniones (∪) e intersecciones (∩):

7 A ∪ B = {x ∈ U : x ∈ A o x ∈ B}
7 A ∩ B = {x ∈ U : x ∈ A y x ∈ B}

⌣ Las uniones e intersecciones de conjuntos conmutan:

A∪B = B ∪A
A∩B = B ∩A

⌣ De Morgan Law’s:
(A ∪ B)c = Ac ∩ B c → De Morgan 1
(A ∩ B)c = Ac ∪ B c → De Morgan 2

⌣ Distribución de la intersección en una unión y alverre:

A∩(B ∪ C) = (A∩B) ∪(A∩C)

A∪(B ∩ C) = (A∪B) ∩(A∪C)

A B A B

C C

⌣ Diferencias en sus varios colores, sabores y notaciones:

idem idem
A − B ⇐====⇒ A \ B ⇐====⇒ A ∩ B c
notación notación

A B

⌣ Diferencia simétrica:

 (A − B) ∪ (B − A)
(A ∩ B)c

(A ∪ B) ∩

A△B =

 (A ∪ B) \ (A ∩ B) → mi favorita 7
(A ∩ B c ) ∪ (B ∩ Ac )


§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 5

A B

⌣ Complemento:

Ac = {x ∈ U / x ∈
/ A}

⌣ Tablas de verdad:
En las tablas de verdad que un elemento esté en un conjunto, x ∈ A es equivalente a decir que la proposición
A es verdadera. En mi cabeza es más fácil recordar las tablas en conjuntos que en ... lo otro.

A⊆B
x ∈ A x ∈ B x ∈ Ac x ∈ A ∩ B x ∈ A ∪ B x ∈ x ∈ A△B A − B
Ac ∪ B
V V F V V V F F
V F F F V F V V
F V V F V V V F
F F V F F V F F

Probar por contrarrecíproco: Cuando para probar p =⇒ q se prueba en su lugar ∼ q =⇒ ∼ p se dice que
es una demostración por contrarrecíproco.
Probar por absurdo: Cuando para probar p =⇒ q se prueba en su lugar p∧ ∼ q para llegar así a una
contradicción, se dice que es una demostración por reducción al absurdo.

⌣ Producto cartesiano:

A × B := {(x, y) : x ∈ A, y ∈ B} .

Si tenés n conjuntos:

A1 × · · · × An := {(x1 , . . . , xn ) : x1 ∈ A1 , x2 ∈ A2 · · · , xn ∈ An } .

Parece interesante nota que un punto z ̸∈ A × B no implica que esté en Ac × B c :

(A × B)c no es lo mismo que (Ac × B c )

z V z

V
Ac ∩ B c Ac ∩ B c

B A×B

A U U

c c c c
A ∩B A ∩B

⌣ Relaciones R :

è Definición de relación:
Sean A y B conjuntos. Una relación R de A en B es un suconjunto cualquiera R del producto
cartesiano A × B. Es decir R es una relación de A en B si R ∈ P(A × B).

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 6

è Definición de relación en un conjunto:

Sea A un conjunto. Se dice que R en A cuando R ⊆ A × A.

⌣ Propiedades destacables de una R :

œ Reflexiva: (x, x) ∈ R ∀x ∈ A o x R x. ∀x ∈ A. Gráficamente, cada elemento tiene que tener un

bucle. x •
œ Simétrica: (x, y) ∈ R , entonces el par (y, x) ∈ R , también si ∀x, y ∈ A, x R y =⇒ y R x.
x•
Gráficamente tiene que haber un ida y vuelta en cada elemento de la relación.
•y

œ Antisimétrica: (x, y) ∈ R , con x ̸= y entonces el par (y, x) ∈

/ R , también se puede pensar como
∀x, y ∈ A, x R y e y R x =⇒ x = y. Gráficamente no tiene que haber ningún ida y vuelta en el
x•
gráfico. Solo en una dirección.
•y

œ Transitiva: Para toda terna x, y, z ∈ A tales que (x, y) ∈ R e (y, z) ∈ R , se tiene que (x, z) ∈ R .
Otra manera sería si ∀x, y, z ∈ A, x R y e y R z =⇒ x R z. Gráficamente tiene que haber flecha
directa entre las puntas de cualquier camino que vaya por más de dos nodos. • x
y
•
atajo z
•

⌣ › Relación de equivalencia: La relación debe ser reflexiva, simétrica y transitiva.

› Relación de orden: La relación debe ser reflexiva, antisimétrica y transitiva.

⌣ Funciones f :

› Sean A y B conjuntos, y sea R de A en B. Se dice que R es una función cuando todo elemento x ∈ A
está relacionado con algún y ∈ B, y este elemento y es único. Es decir:

∀x ∈ A, ∃ ! y ∈ B / x R y
∀x ∈ A, ∃ y ∈ B / x R y,

si y, z ∈ B son tales que x R y y x R z =⇒ y = z.

œ Dada una función f : A (dominio) → B (codominio) el conjunto imagen es:

Im(f ) = {y ∈ B : ∃ x ∈ A / f (x) = y}

œ Propiedades destacables de una f :

# inyectiva: si ∀x, x′ ∈ A tales que f (x) = f (x′ ) se tiene que x = x′
# sobreyectiva: si ∀y ∈ B, ∃ x ∈ A tal que f (x) = y. f es sobreyectiva si Im(f ) = B
# biyectiva: Cuando es inyectiva y sobreyectiva.

œ Composición de funciones:
A, B, C conjuntos y f : A → B → C, g : B → C funciones. Entonces la composición de f con g,
que se nota:
g ◦ f = g(f (x)), ∀x ∈ A,
resulta ser una función g ◦ f de A en C.
œ f es biyectiva cuando f −1 : B → A es la función que satisface que:

∀y ∈ B : f −1 (y) = x ⇐⇒ f (x) = y

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 7

Ejercicios de la guía:

1. Dado el conjunto A = {1, 2, 3}, determinar cuáles de las siguientes afirmaciones son verdaderas

(i) 1 ∈ A (ii) {1} ⊆ A (iii) {2, 1} ⊆ A (iv) {1, 3} ∈ A (v) {2} ∈ A

A = {1, 2, 3}

respueta respuesta respuesta

(i) 1 ∈ A −−−−−→ V (iii) {2, 1} ⊆ A −−−−−→ V (v) {2} ∈ A −−−−−→ F
respueta respuesta
(ii) {1} ⊆ A −−−−−→ V (iv) {1, 3} ∈ A −−−−−→ F

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

2. Dado el conjunto A = {1, 2, {3} , {1, 2}}, determinar cuáles de las siguientes afirmaciones son verdaderas:

(i) 3 ∈ A (iv) {{3}} ∈ A (vii) {{1, 2}} ⊆ A (x) ∅ ⊆ A

(ii) {3} ⊆ A (v) {1, 2} ∈ A (viii) {{1, 2} , 3} ⊆ A (xi) A ∈ A

(iii) {3} ∈ A (vi) {1, 2} ⊆ A (ix) ∅ ∈ A (xii) A ⊆ A

(i) 3 ∈ A → F (v) {1, 2} ∈ A → V (ix) ∅ ∈ A → F

(ii) {3} ⊆ A → F (vi) {1, 2} ⊆ A → V (x) ∅ ⊆ A → V

(iii) {3} ∈ A → V (vii) {{1, 2}} ⊆ A → V (xi) A ∈ A → F

(iv) {{3}} ∈ A → V (viii) {{1, 2} , 3} ⊆ A → F (xii) A ⊆ A → V

3. Determinar si A ⊆ B en cada uno de los siguientes casos:

i) A = {1, 2, 3} , B = {5, 4, 3, 2, 1}

ii) A = {1, 2, 3} , B = {1, 2, {3} , −3}

iii) A = {x ∈ R / 2 < |x| < 3} , B = x ∈ R / x2 < 3



iv) A = {∅} , B = ∅

(
Definición A ⊆ B si ∀x, x ∈ A =⇒ x ∈ B
Inclusión :
Contrarecíproco A ⊈ B si ∃ x, x ∈ A =⇒ x ∈
/B
(
A = {1, 2, 3} respueta ✓
(i) −−−−−→ A ⊆ B
B = {5, 4, 3, 2, 1}
(
A = {1, 2, 3} respueta dado
(ii) −−−−−→ A ⊈ B −−−→ 3 ∈ A pero 3 ∈
/B
B = {1, 2, {3} , −3} que

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 8

 
 A = {x ∈ R / 2 < |x| < 3}

-3 -2 2 3


(iii)  2
 B= x∈R /x <3 √ √
0
 
− 3 3

respueta dado
−−−−−→ A ⊈ B −−−→ 2.5 ∈ A y 2.5 ̸∈ B
que
(
A = {∅}
(iv)
B=∅
respueta dado
−−−−−→ A ⊈ B −−−→ B no tiene ningún elemento, sin embargo A tiene un elemento: ∅.
que

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz § 5 Mateo Z §

4. Dados los subconjuntos: A = {1, −2, 7, 3}, B = {1, {3} , 10} y C = {−2, {1, 2, 3} , 3} del conjunto referencial:
V = {1, {3} , −2, 7, 10, {1, 2, 3} , 3}, hallar

(a) A ∩(B△C) (b) (A ∩ B)△(A ∩ C) (c) Ac ∩ B c ∩ C c

a) B△C = {−2, 1, 3, 10, {1, 2, 3} , {3}}

A ∩(B△C) = {−2, 1, 3}

b) A ∩ B = {1} y (A ∩ C) = {−2, 3}

(A ∩ B)△(A ∩ C) = {−2, 1, 3}

c) Ac = {10, {1, 2, 3} , {3}} , B c = {−2, 7, 3, {1, 2, 3}} y C c = {1, {3} , 7, 10}

Ac ∩ B c ∩ C c = ∅

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Francisco Sureda Ð 5 Juan Parajó Ð

5. Dados los subconjuntos A, B, C de un conjunto referencial V , describir (A ∪ B ∪ C)c en términos de intersec-

ciones y complementos, y (A ∩ B ∩ C)c en términos de uniones y complementos

(c) (c)
i) (A ∪ B ∪ C)c = (A ∪ B)c ∩ C c = Ac ∩ B c ∩ C c ✓
(d) (d)
ii) (A ∩ B ∩ C)c = (A ∩ B)c ∪ C c = Ac ∪ B c ∪ C c ✓

6. Sean A,B y C conjuntos. Representar en un diagrama de Venn

i) (A ∪ B c ) ∩ C

ii) A△(B ∪ C)

iii) A ∪(B△C)

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 9

A B A B A B

C C C
i) ii) iii)

7. Encontrar fórmulas que describen las partes rayadas de los siguientes diagramas de Venn, utilizando únicamente
intersecciones, uniones y complementos.

A B A B A B

C C C
(a) (b) (c)

(a) (A ∩ B c ) ∪(Ac ∩ B ∩ C) (c) ((A ∩ B) ∪(B ∩ C) ∪(A ∩ C)) ∩(A ∩ B ∩ C)c

!
(b) (A△C) ∩ B c = (A ∪ C) ∩(A ∩ C)c ∩ B c

8. Hallar el conjunto P(A) de partes de A en los casos.

i) A = {1} ii) A = {a, b} iii) A = {1, {1, 2} , 3}

Recordando
( que:
B ∈ P(A) ⇐⇒ B ⊆ A
P(A) →
P(A) = {B / B ⊆ A}

(i) A = {1} → P(A) = {∅, A} ✓

(ii) A = {a, b} → P(A) = {∅, {a} , {b} , A} ✓

(iii) A = {1, {1, 2} , 3} → P(A) = {∅, {1} , {{1, 2}} , {3} , {1, {1, 2}} , {1, 3} , {{1, 2} , 3} , A} ✓

9. Sean A y B conjuntos, Probar que P(A) ⊆ P(B) ⇐⇒ A ⊆ B

Prueba que la hago por absurdo, mirá la lógica en en apunte.

=⇒ ) Quiero probar que:

P(A) ⊆ P(B) =⇒ A ⊆ B
| {z } | {z }
hipótesis tesis

Pruebo por absurdo. Niego la tesis, la hipótesis sigue valiendo.

Supongo que:
⋆1
def
A ⊈ B ⇐=⇒ ∃ x ∈ A tal que x ∈
/ B.
!

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 10

Y lo que intento es llegar a una contradicción, es decir me gustaría que pase algo que contradiga la hipótesis.
Según mi supuesto:
def de
x ∈ A ====⇒ {x} ∈ P(A).
partes

Peeeeeero!! por hipótesis:

P(A) ⊆ P(B)

Entonces el conjunto {x} también tiene que estar en P(B).

Nota que puede ser útil:
¿Cuál es el absurdo? Terminá lo que falta de esta parte de la demostración sin ver como sigue y después
comparás. ôµô Ya está casi terminado, pero juntar los cables con esta info te obliga a entender lo que
se está intentando hacer.
Fin nota que puede ser útil:
Si el conjunto {x} está en P(B) entonces por la definición del conjunto de partes el elemento x tiene que
estar en B.
Esto es un absurdo, porque arranqué diciendo en ⋆
1
que x ∈
/ B y ahora que x ∈ B. Absurdo A.
Como mi supuesto resulto falso, debido a la lógica que está en las notas teóricas sobre mostrar por absurdo
concluyo que:
P(A) ⊆ P(B) =⇒ A ⊆ B ✓

⇐) Quiero probar que:

A ⊆ B =⇒ P(A) ⊆ P(B)
| {z }
hipótesis

⋆2
Le pongo nombre S a los elementos de P(A). Todo elemento S ∈ P(A) es un conjunto que cumple que
S ⊆ A por la definición del conjunto P(A). Si todo elemento S cumple que S ⊆ A por hipótesis también
tiene que estar en B.
Nota que puede ser útil:
Terminá lo que falta de esta parte de la demostración sin ver como sigue y después comparás .
Fin nota que puede ser útil:

def
S ∈ B ==⇒ S ∈ P(B).

Entonces en ⋆
2
dije que los S forman al conjunto P(A), y si todos los S están en P(B) entonces:

P(A) ⊆ P(B)

Queda demostrado que:

A ⊆ B =⇒ P(A) ⊆ P(B) ✓

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz §

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 11

10. Sean p, q proposiciones. Verificar que las siguientes expresiones tienen la misma tabla de verdad para concluir
que son equivalentes:

i) p =⇒ q, ∼ q =⇒ ∼ p, ∼p∨q y ∼ (p ∧ ∼ q).
Esto nos dice que podemos demostrar una afirmación de la forma p =⇒ q probando en su lugar ∼ q =⇒ ∼ p
(es decir demostrando el contrarrecíproco), o probando ∼ (p ∧ ∼ q) (esto es una demostración por reducción
al absurdo).

ii) ∼ (p =⇒ q) y ∼ q.

i) Sean p, q proposiciones. Verificar que las siguientes expresiones tienen la misma tabla de verdad para concluir
que son equivalentes:

p q ∼ p ∼ q p =⇒ q ∼ q =⇒ ∼ p ∼ p ∨ q ∼ (p∧ ∼ q)
V V F F V V V V
V F F V F F F F
F V V F V V V V
F F V V V V V V

ii)
p q ∼ q p =⇒ q ∼ (p =⇒ q) p ∧ ∼ q
V V F V F F
V F V F V V
F V F V F F
F F V V F F

11. Hallar contraejemplos para mostrar que las siguientes proposiciones son falsas:

i) ∀a ∈ N, a−1
a no es un número entero.
La proposición es falsa, dado que si a = 1 =⇒ 1−1
1 = 0
1 =0∈Z
√ √ √
ii) ∀x, y ∈ R con x, y positivos, x+y = x+ y.
La proposición es falsa, dado que si.

√ √ √ √ √
 
x = 2.
→ 2+2= 4 = 2 ̸= 2+ 2= 2
y=2

iii) ∀x ∈ R, x2 > 4 =⇒ x > 2.

La proposición es falsa, dado que si x = −3, queda 9 > 4 =⇒ −3 > 2, lo cual es falso.

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 12

12.

i) Decidir si las siguientes proposiciones son verdaderas o falsas, justificando debidamente:

a) ∀n ∈ N, n ≥ 5 ∨ n ≤ 8. e) ∀x ∈ R, x > 3 =⇒ x2 > 4.
b) ∃ n ∈ N / n ≥ 5 ∧ n ≤ 8. f) Si n es un natural terminado en 4, entonces n es
c) ∀n ∈ N, ∃ m ∈ N / m > n. par.
d) ∃ n ∈ N / ∀m ∈ N, m > n. g) Si z es un número real, entonces z ∈ C.

ii) Negar las proposiciones anteriores, y en cada caso verificar que la proposición negada tiene el valor de verdad
opuesto al de la original.

iii) Reescribir las proposiciones e) y f) del item i) utilizando las equivalencias del ejercicio 10i)

i) a) ∀n ∈ N, n ≥ 5 ∨ n ≤ 8.
La proposición es verdadera. El conjunto descrito por {n ∈ N / n ≤ 8 ∨ n ≥ 5} = N

1 5 8
¿Se puede justificar con un gráfico? → ¡Sí!
b) ∃ n ∈ N / n ≥ 5 ∧ n ≤ 8.
La proposición es verdadera, en este caso es cuestión de encontrar solo un valor que cumpla, n = 6
c) ∀n ∈ N, ∃ m ∈ N / m > n.
La proposición es verdadera, si se elige por ejemplo a m = n + 1
d) ∃ n ∈ N / ∀m ∈ N, m > n.
La proposición es falsa, el único n ∈ N que no tiene un número menor estricto es el 1. Pero la condición
dice que ∀m ∈ N se debe cumplir y si m 1 ≮ 1
e) ∀x ∈ R, x > 3 =⇒ x2 > 4.
en
La proposición es verdadera. Si x > 3 =⇒ x2 > 9 −−−−−−→ x2 > 9 > 4 =⇒ x2 > 4
particular
f) n ∈ N, cuyo último dígito es 4. Entonces hay un m ∈ N≥0 con su último dígito 0 tal que

n = m + 4.

Si un número tiene 0 como último dígito, debe ser múltiplo de 10, es decir m = 10 · m′ con m′ ∈ N≥0 .
Por lo que se puede escribir a n como:
′′
n = 10 · m′ + 4 = 2 · 5 · m′ + 2 · 2 = 2 · (5m′ + 2) = 2 · m ,
′′
con m ∈ N≥2 .
′′
n = 2m .
Si un natural termina con 4, es par. La proposición es verdadera.
g) Si z es un número real, entonces z ∈ C.
Están proponiendo que dado z ∈ R =⇒ z ∈ C. Dado que R ⊆ C = {a ∈ R, b ∈ R / a + ib}, con
i2 = −1 Por lo tanto para b = 0, podría generar todo R.

ii) a) ∃ n ∈ N, n < 5 ∧ n > 8.

A = {n ∈ N / n < 5 ∧ n > 8} = ∅ =⇒ ∄ n que cumpla lo pedido.

1 5 8

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 13

b) ∀n ∈ N / n < 5 ∨ n > 8.
La proposición es falsa, n = 6 no cumple estar en ese conjunto.
c) ∃ n ∈ N, ∀m ∈ N / m ≤ n.
La proposición es falsa, porque el conjunto N no tiene un máximo. n = m + 1.
d) ∀n ∈ N / ∃ m ∈ N, m ≤ n.
La proposición es verdadera, el único m ∈ N que cumple eso es el m = 1.
e) ∃ x ∈ R, x > 3 ∧ x2 ≤ 4.
La proposición es falsa. El nuevo conjunto propuesto es vacío.

 
 A = {x ∈ R / x > 3} 
y →

B = {x ∈ R / |x| ≤ 2}
 -2 2 3
0

f) Si n es un natural que no termina en 4 entonces no es par.

Un contraejemplo bastaría para probar que esto es falso: El número 12. No termina con el número
cuatro y es par, ya que 12 = 2 · 6.
g) Si z no es un número real, entonces z ∈
/ C.
La proposición es falsa. Están proponiendo que dado z ∈ / C. Si z = i, se prueba lo contrario.
/ R =⇒ z ∈
Dado que i ∈/ R, pero i ∈ C

iii) e)

?
p =⇒ q ∀x ∈ R, x > 3 =⇒ x2 > 4 A⊆B ✓
-2 2 3
?
∼ q =⇒ ∼ p x2 ≤ 4 =⇒ x ≤ 3 A⊆B ✓
-2 2 3
?
∼p∨q x ≤ 3 ∨ x2 > 4 A∪B = U ✓
-2 2 3
?
∼ (p∨ ∼ q) ∼ (x > 3 ∧ x2 ≤ 4) (A ∩ B)c = ∅c = U ✓
-2 2 3

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz § 5 Juan Parajó Ð 5 Ale Nieto §

13. Determinar cuáles de las siguientes afirmaciones son verdaderas y cualesquiera sean los subconjuntos A, B
y C de un conjunto referencial U y cuáles no. Para las que sean verdaderas, dar una demostración, para las otras
dar un contraejemplo.

i) (A△B) − C = (A − C)△(B − C). iii) C ⊆ A =⇒ B ∩ C ⊆ (A△B)c

ii) (A ∩ B)△C = (A△C) ∩(B△C) iv) A△B = ∅ ⇐⇒ A = B

i) (A△B) − C = (A − C)△(B − C). Es verdadera. La demo sale fácil con tabla de verdad.

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 14

A B C Cc A − C B−C A△B (A△B) − C (A − C)△(B − C)

V V V F F F F F F
V V F V V V F F F
V F V F F F V F F
V F F V V F V V V
F V V F F F V F F
F V F V F V V V V
F F V F F F F F F
F F F V F F F F F
Del resultado de la tabla se concluye que hay distribución entre la resta y una diferencia simétrica.

ii) ¡Es falsa! Lo demuestro por contraejemplo. Sean:

A = C = {1} , B = ∅,

luego,
(A ∩ B)△C = ∅ △A = A

peeeero,
(A△C) ∩(B△C) = (A△A) ∩(B△A) = ∅ ∩ A = ∅ ̸= A

∴ (A ∩ B)△C ̸= (A△C) ∩(B△C)

iii) ¡Es verdadera! Supongo que:

C⊆A

quiero probar que

B ∩ C ⊆ (A△B)c

Tenemos que:
def !!
(A△B)c = ((A ∪ B) ∩(A ∩ B)c )c = (Ac ∩ B c ) ∪(A ∩ B)⋆1

y también:
C⊆A ⋆1
B ∩ C ⊆ B ∩ A = A ∩ B ⊆ (A ∩ B) ∪(Ac ∩ B c ) = (A△B)c
!

Es así que:
B ∩ C ⊆ (A△B)c

iv) ¡Es verdadera!

=⇒ )
def !
A△B = ∅ ==⇒ (A − B) ∪(B − A) = ∅ ⇒
= A−B =∅ y B − A = ∅ =⇒ A = B

⇐)
A = B =⇒ A△B = A△A = ∅

Probada la ida y vuelta, queda demostrado que:

A△B = ∅ ⇐⇒ A = B

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Mateo Z § 5 naD GarRaz §

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 15

14. Sean A, B y C subconjuntos de un conjunto referencial U . Probar que:

i) A ∩(B△C) = (A ∩ B)△(A ∩ C) v) A ⊆ B =⇒ A△B = B ∩ Ac

ii) A − (B − C) = (A − B) ∪(A ∩ C)
vi) A ⊆ B ⇐⇒ B c ⊆ Ac
iii) A△B ⊆ (A△C) ∪(B△C)
iv) (A ∩ C) − B = (A − B) ∩ C vii) A ∩ C = ∅ =⇒ A ∩(B△C) = A ∩ B

i) Voy a usar tablas con los resultados que hay en las tablas de verdad acá.

A B C B△C A∩B A∩C A ∩(B△C) (A ∩ B)△(A ∩ C)

V V V F V V F F
V V F V V F V V
V F V V F V V V
V F F F F F F F
F V V F F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

ii) Este sale sin tablas: Tratá de hacerlo con estas propiedades, (notas teóricas acá):

1) Notación de diferencia
2) Distributivas
3) DeMorgan

! !! !!! !
(A−B) ∪(A ∩ C)=[(A ∩ B c ) ∪ A] ∩[(A ∩ B c ) ∪ C]=A ∩(A ∪ C) ∩(B c ∪ C)=A ∩(B ∩ C c )c =A ∩(B−C)c =A−(B−C) ✓

iii) Opción 1, con diagramas de Venn:

A△B ⊆ (A△C) ∪(B△C):

A B A B

C ✓ C
⊆

Opción 2, para probar que un conjunto es subconjunto de otro, me alcanza con probar que para cualquier
elemento de U, si pertenece al primero entonces pertenece al segundo.
Luego, quiero probar que
x ∈ A△B =⇒ x ∈ (A△C) ∪(B△C), ∀x ∈ U
Hay que acomdar las expresiones para hacer el seguimiento del elmento x:
def
x ∈ A△B ⇐=⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈
/ A ∧ x ∈ B),
| {z } | {z }
I II

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 16

la otra parte:
def
x ∈ (A△C) ∪(B△C) ⇐=⇒ ((x ∈ A ∧ x ∈
/ C) ∨ (x ∈
/ A ∧ x ∈ C)) ∨ ((x ∈ B ∧ x ∈
/ C) ∨ (x ∈
/ B ∧ x ∈ C))

⇔ (x ∈ A ∧ x ∈
/ C) ∨ (x ∈
/ A ∧ x ∈ C) ∨ (x ∈ B ∧ x ∈
/ C) ∨ (x ∈
/ B ∧ x ∈ C).

Se que x ∈ A△B =⇒ I ∨ II. Separo en casos,

⋆1
Si I es Verdadero, I ==⇒ (x ∈ A ∧ x ∈
/ C) ∨ (x ∈
/ B ∧ x ∈ C) =⇒ x ∈ (A△C) ∪(B△C)

⋆1
Si II es Verdadero, II ==⇒ (x ∈
/ A ∧ x ∈ C) ∨ (x ∈ B ∧ x ∈
/ C) =⇒ x ∈ (A△C) ∪(B△C)

idem
Si I ∧ II es Verdadero, I ∧ II =⇒ I ===⇒ x ∈ (A△C) ∪(B△C)

∴ x ∈ A△B =⇒ x ∈ (A△C) ∪(B△C),

como quería probar.
⋆
1
Observo que (Verdadero ∧ p) ∨ (Verdadero ∧ ∼ p) es una tautología.

iv) Sale casi en forma directa:

def ! def
(A ∩ C) − B = (A ∩ C) ∩ B c = (A ∩ B c ) ∩ C = (A − B) ∩ C

Queda así demostrada la igualdad.

v) Para probar la igualdad, hay que probar la ida y la vuelta:

( =⇒ ) Por hipótesis del ejercicio:

A ⊆ B ⋆1
def !!
A△B = A − B ∪ B − A = B − A = B ∩ Ac
⋆1

(⇐) La vuelta es similar:

def !! def
B ∩ Ac = B − A = B − A ∪ ∅ = B − A ∪ A − B = A△B
⋆1

¿Había qué hacer la ida y la vuelta? Ž

vi) ⇒) Sup que A ⊆ B. Si x ∈ A =⇒ x ∈ B y por contrarecíproco, si x ∈ / A =⇒ B c ⊆ Ac

/ B =⇒ x ∈
⇐) Es análogo.
!
vii) Mirando el item i) sale solo. Dado que X△ ∅ = X

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Mateo Z §

15. Sean A = {1, 2, 3} , B = {1, 3, 5, 7} . Hallar A × A, A × B, (A ∩ B) × (A ∪ B).

{a ∈ A, b ∈ A / (a, b) ∈ A × A} → Comprensión

• A×A=
{(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)} → Extensión

• A × B = ···

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 17

• 
(A ∩ B) × (A ∪ B) =

 × 1 2 3 5 7
{1, 3} × {1, 2, 3, 5, 7} = 1 (1, 1) · · · · · · · · · (1, 7)


 3 (3, 1) · · · · · · · · · (3, 7)
(A ∩ B) × (A ∪ B) = {s ∈ (A ∩ B), t ∈ (A ∪ B) / (s, t) ∈ (A ∩ B) × (A ∪ B)}


16. Sean A, B y C conjuntos. Probar que:

i) (A ∪ B) × C = (A × C) ∪(B × C)

ii) (A ∩ B) × C = (A × C) ∩(B × C)

iii) (A − B) × C = (A × C) − (B × C)

iv) (A△B) × C = (A × C)△(B × C)

i) Para demostrar igualdad de conjuntos habría que probar la doble inclusión, es decir:

(A ∪ B) × C⊆(A × C) ∪(B × C)
(A × C) ∪(B × C)⊆(A ∪ B) × C
O bien si podemos conectar los pasos con " ⇐⇒ ". En este caso se usa el de los " ⇐⇒ " y mucho de las
definiciones que podés ver acá en las notas teóricas:
Sea el par (x, y)

def prod. def

(x, y) ∈ (A ∪ B) × C) ⇐======⇒ x ∈ (A ∪ B) y y ∈ C ⇐=⇒ (x ∈ A o x ∈ B) y x ∈ C
Cartesiano ∪

Si está en A o en B y seguro está en C, entonces x tiene que estar en A ∩ C o bien en B ∩ C, que no es otra
cosa que distribuir el "y" con el "o":

distribución !
⇐======⇒ (x ∈ A y x ∈ C) o (x ∈ B y x ∈ C) ⇐
⇒ (x, y) ∈ (A × C) o (x, y) ∈ (B × C)

Ese paso del ! es la definición de producto cartesiano como al principio y se concluye que:

✓
(A ∪ B) × C = (A × C) ∪(B × C)

ii) (A ∩ B) × C = (A × C) ∩(B × C)

(x, y) ∈ (A ∩ B) × C ⇔ x ∈ A ∩ B ∧ y ∈ C ⇔ x ∈ A ∧ x ∈ B ∧ y ∈ C
⇔ (x ∈ A ∧ y ∈ C) ∧ (x ∈ B ∧ y ∈ C) ⇔ (x, y) ∈ A × C ∧ (x, y) ∈ B × C
⇔ (x, y) ∈ (A × C) ∩(B × C)

iii) (A − B) × C = (A × C) − (B × C)

(x, y) ∈ (A × C) − (B × C) ⇔ (x, y) ∈ (A × C) ∧ (x, y) ∈

/ (B × C)
⇔ (x ∈ A ∧ y ∈ C) ∧ (x ∈
/ B∨y ∈
/ C)
Aux.1
⇐===⇒ (x ∈ A ∧ y ∈ C ∧ x ∈
/ B) ∨ (x ∈ A ∧ y ∈ C ∧ y ∈
/ C)
Aux.2
⇐===⇒ x ∈ A ∧ y ∈ C ∧ x ∈
/ B ⇔ x ∈ (A − B) ∧ y ∈ C ⇔ (x, y) ∈ (A − B) × C

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 18

Auxiliar 1 Sean las proposiciones p, q y r. Podemos distribuir el ∧ con respecto a ∨

p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)

Tomemos

p:x∈A∧y ∈C
q:x∈
/B
r:y∈
/C

Entonces

(x ∈ A ∧ y ∈ C) ∧ (x ∈
/ B∨y ∈
/ C) ⇔ (x ∈ A ∧ y ∈ C ∧ x ∈
/ B) ∨ (x ∈ A ∧ y ∈ C ∧ y ∈
/ C)

Auxiliar 2 Sean las proposiciones p y q, donde q es falsa. Entonces

p∨q ⇔p

Tomemos

p:x∈A∧y ∈C ∧x∈
/B
q :x∈A∧y ∈C ∧y ∈
/C

Deberiamos ver que valor de verdad de q es falso. En q tenemos como condición que y ∈ C y que y ∈
/ C, y
esto no puede ser posible, por lo tanto q es falsa. Entonces

(x ∈ A ∧ y ∈ C ∧ x ∈
/ B) ∨ (x ∈ A ∧ y ∈ C ∧ y ∈
/ C) ⇔ x ∈ A ∧ y ∈ C ∧ x ∈
/B

iv) (A△B) × C = (A × C)△(B × C)

Veamos dos formas de demostrar esto, una es con igualdad de conjuntos, la que venimos usando en las
demostraciones anteriores y la otra es usando los puntos (i) y (iii).

(a) Por igualdad de conjuntos

Aux.1
(x, y) ∈ (A × C)△(B × C) ⇐===⇒ (x, y) ∈ ((A × C) − (B × C)) ∪((B × C) − (A × C))
⇔ (x, y) ∈ ((A × C) − (B × C)) ∨ (x, y) ∈ ((B × C) − (A × C))
⇔ ((x, y) ∈ A × C ∧ (x, y) ∈
/ B × C) ∨ ((x, y) ∈ B × C ∧ (x, y) ∈
/ A × C)
⇔ (x ∈ A ∧ y ∈ C ∧ (x ∈
/ B∨y ∈
/ C)) ∨ (x ∈ B ∧ y ∈ C ∧ (x ∈
/ A∨y ∈
/ C))
⇔ (x ∈ A ∧ y ∈ C ∧ x ∈
/ B) ∨ (x ∈ A ∧ y ∈ C ∧ y ∈
/ C)
∨ (x ∈ B ∧ y ∈ C ∧ x ∈
/ A) ∨ (x ∈ B ∧ y ∈ C ∧ y ∈
/ C)
Aux.2
⇐===⇒ (x ∈ A ∧ y ∈ C ∧ x ∈
/ B) ∨ (x ∈ B ∧ y ∈ C ∧ x ∈
/ A)
⇔ (x ∈ (A − B) ∧ y ∈ C) ∨ (x ∈ (B − A) ∧ y ∈ C)
⇔ (x ∈ (A − B) ∨ x ∈ (B − A)) ∧ y ∈ C ⇔ x ∈ (A − B) ∪(B − A) ∧ y ∈ C
⇔ x ∈ A△B ∧ y ∈ C ⇔ (x, y) ∈ (A△B) × C

(b) Usando los puntos (i) y (iii)

Aux (iii)
(A × C)△(B × C) = ((A × C) − (B × C)) ∪((B × C) − (A × C)) =
1
(iii) (i) Aux
= ((A − B) × C) ∪((B − A) × C) = ((A − B) ∪(B − A)) × C = (A△B) × C
1
=⇒ (A × C)△(B × C) = (A△B) × C

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 19

Auxiliar 1 Sean los conjuntos A, B ⊆ V

A△B = (A − B) ∪(B − A)

Auxiliar 2 Sean las proposiciones p y q, donde q es falsa. Entonces

p∨q ⇔p

Podemos tomar

p:x∈A∧y ∈C ∧x∈
/B
q :x∈A∧y ∈C ∧y ∈
/C

donde claramente q es falso pues y ∈ C e y ∈

/ C. Entonces

(x ∈ A ∧ y ∈ C ∧ x ∈
/ B) ∨ (x ∈ A ∧ y ∈ C ∧ y ∈
/ C) ⇔ x ∈ A ∧ y ∈ C ∧ x ∈
/B

Para este otro caso diferente al anterior, podemos tomar

p:x∈B∧y ∈C ∧x∈
/A
q :x∈B∧y ∈C ∧y ∈
/C

donde q es falso pues y ∈ C e y ∈

/ C. Entonces

(x ∈ B ∧ y ∈ C ∧ x ∈
/ A) ∨ (x ∈ B ∧ y ∈ C ∧ y ∈
/ C) ⇔ x ∈ B ∧ y ∈ C ∧ x ∈
/A

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz § 5 Marcos Zea §

Relaciones Definición de Relación, R :

Sean A y B conjuntos. Una relación R de A en B es un subconjunto cualquiera R del producto

cartesiano A × B. Es decir R de A en B si R ∈ P(A × B).

17. Sean A = {1, 2, 3} y B = {1, 3, 5, 7}. Verificar las siguientes relaciones de A y B y en caso afirmativo
graficarlas por medio de un diagrama con flechas de A en B y por medio de puntos en el producto cartesiano
A × B.

1• •1

2• •3

i) R = {(1, 1), (1, 3), (1, 7), (3, 1), (3, 5)}
3• •5

A •7

ii) R = {(1, 1), (1, 3), (2, 7), (3, 2), (3, 5)} → 3 R 2 ∈
/ P(A × B)

iii) R = {(1, 1), (2, 7), (3, 7)} Hacer!

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 20

iv) R = {(1, 3), (2, 1), (3, 7)} Hacer!

18. Sean A = {1, 2, 3} y B = {1, 3, 5, 7}. Describir por extensión cada una de las siguientes relaciones de A en
B:

i) (a, b) ∈ R ⇐⇒ a ≤ b iii) (a, b) ∈ R ⇐⇒ a · b es par

ii) (a, b) ∈ R ⇐⇒ a > b iv) (a, b) ∈ R ⇐⇒ a + b > 6

Describir por extensión es mostrar todos los elementos de forma explícita. Para estos conjuntos finitos con esas
relaciones, se hace así:

i) (a, b) ∈ R ⇔ a ≤ b ⇔ {(1, 1), (1, 3), (1, 5), (1, 7), (2, 3), (2, 5), (2, 7), (3, 3), (3, 5), (3, 7)}

ii) (a, b) ∈ R ⇔ a > b → (a, b) ∈ R ⇔ {(2, 1), (3, 1)}

iii) (a, b) ∈ R ⇔ a · b → (a, b) ∈ R ⇔ {(2, 1), (2, 3), (2, 5), (2, 7)}

iv) (a, b) ∈ R ⇔ a + b > 6 → (a, b) ∈ R ⇔ {(1, 7), (2, 5), (2, 7), (3, 5), (3, 7)}

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

19. Sea A = {a, b, c, d, e, f, g, h}. Para cada uno de los siguientes gráficos describir por extensión la relación en
A que representa y determinar si es reflexiva, simétrica, antisimétrica o transitiva.

Podés ver el resumen de la teoría acá y así entender, o corregir Š, lo que se hizo.

Por extensión:
A {(a, b), (b, a), (c, d), (c, h), (e, c), (f, f ), (h, g)}
•b
• Reflexiva: Noup, porque no hay bucles en todos los vértices, en particular
g R
i) a• •c • a a.

• Simétrica: Noup, porque d 

R
 c.
d• f• e• •
h
• Transitiva: No, falta atajo, c R h y h R g, pero c 
R
 g.

• Antisimétrica: No, porque a R b y b R a con a ̸= b.

Por extensión:

{(a, a), (a, b), (b, a), (b, b), (c, c), (c, e), (c, g), (c, h), (f, f ), (h, g)}
A
•b
• Reflexiva: No, faltan bucles en algunos vértices.

ii) a• •c •g • Simétrica: No, c R e, pero e 

R
 c.

• Transitiva: Sí. está el atajo en la única terna:

d• f• e• •h

c R h, h R g =⇒ c R g.

• Antisimétrica: No, porque a R b y b R a con a ̸= b.

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 21

Por extensión:
A
{(a,a),(a,b),(b,a),(b,b),(c,c),(c,d),(c,e),(c,h)(d,d),(d,c),(e,e),(f,f ),(g,g),(h,h),(h,g)}.
•b

• Reflexiva: Sí, están todos los bucles.

iii) a• •c •g
• Simétrica: No, c R h, pero h 
R
 c.
d• f• e• •h
• Transitiva: No, falta atajo, c R h y h R g, pero c 
R
 g.

• Antisimétrica: No, porque a R b y b R a con a ̸= b.

Por extensión:
A
{(a,a),(a,b),(b,a),(b,b),(c,c),(d,d),(e,e),(e,g),(e,h),(f,f ),(g,g),(g,e),(g,h),(h,h),(h,e),(h,g)}.
•b

• Reflexiva, porque hay bucles en todos los elementos de A.

iv) a• •c •g
• Es simétrica, porque hay ida y vuelta en todos los pares de vértices.
d• f• e• •h
• No es antisimétrica, porque a R b y b R a con a ̸= b.

• Es transitiva, porque hay atajos en todas las relaciones de ternas.

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

20. Sea A = {1, 2, 3, 4, 5, 6}. Graficar la relación, R = (1, 1), (1, 3), (3, 1), (3, 3), (6, 4), (4, 6), (4, 4), (6, 6)

A
• No es reflexiva porque no hay bucles ni en 2 ni en 5.
•2 5•
• Es simétrica, porque hay ida y vuelta en todos los pares de vértices.

1• •3 • No es antisimétrica, porque 1 R 3 y 3 R 1 con 1 ̸= 3.

• Es transitiva.
4• •6
Chequear. Caso particula donde no hay ternas de x, y, z distintos. Sí, el
que 2 esté ahí solo ni cumple la hipótesis de transitividad.

21. f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 22

22. En cada uno de los siguientes casos determinar si la relación R en A es reflexiva, simétrica, antisimétrica,
transitiva, de equivalencia o de orden.

i) A = {1, 2, 3, 4, 5} , R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 2), (1, 3), (2, 5), (1, 5)}

ii) A = N, R = (a, b) ∈ N × N a + b es par .

 

iii) A = Z, R = (a, b) ∈ Z × Z |a| ≤ |b| .

 

iv) A = Z, R definida por a R b ⇔ b es múltiplo de a.

v) A = P(R), R definida por X R Y ⇔ X ∩ {1, 2, 3} ⊆ Y ∩ {1, 2, 3}.

vi) A = P({n ∈ N / n ≤ 30}), R definida por X R Y ⇐⇒ 2 ∈

/ X ∩Y c

vii) A = N × N, R definida por (a, b) R (c, d) ⇐⇒ bc es múltiplo de ad.

Voy a estar usando cosas del resumen teórico de relaciones.

i) Haciendo un gráfico en estos ejercicios de pocos elementos sale fácil.

Reflexiva:
Es reflexiva, porque hay bucles en todos los elementos de A. A
Simétrica: •2 5•
No es simétrica, dado que existe (1, 5), pero no (5, 1)
Anti-Simétrica:
1• •3
Es antisimétrica. No hay ningún par que tenga la vuelta, excepto los
casos x R x.
4•
Transitiva:
Es transitiva. La terna 1, 2, 5 es transitiva. La relación es R, AS y
T, por lo tanto es una relación de orden.
ii) f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

iii) f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

iv) f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

v) f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

vi) A = P({n ∈ N / n ≤ 30}), R definida por X R Y ⇐⇒ 2 ∈

/ X ∩Y c

2∈X 2∈Y 2 ∈ Y c 2 ∈ Xc 2 ∈
/ X ∩Y c 2 ∈
/ Y ∩ Xc
V V F F V V
V F V F F V
F V F V V F
F F V V V V
.
Reflexiva:
La relación es reflexiva ya que para que un elemento X esté relacionado con sí mismo debe ocurrir que
X R X ⇐⇒ 2 ∈ / X ∩ X c , es decir 2 ∈
/ ∅, lo cual es siempre cierto.

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 23

Simétrica:
La relación no es simétrica. Se puede ver con la segunda y tercera fila de la tabla con un contraejemplo.
X = {1} y Y = {2} , X, Y ⊆ A, X R Y , pero Y  R
 X,

Anti-Simétrica:
La relación no es antisimétrica. Se puede ver con la primera o cuarta fila tabla con un contraejempl con un
contraejemplo. Si X = {1, 2} e Y = {2, 3} =⇒ X R Y y además Y R X con X ̸= Y .
Transitiva:
Es transitiva. Si bien no es lo más fácil de explicar, se puede ver en la tabla que para tener 2 relaciones
en una terna X, Y, Z no se puede llegar nunca al caso de la segunda fila de la tabla, donde se lograría que
X R
Z

vii) A = N × N, R definida por (a, b) R (c, d) ⇐⇒ bc es múltiplo de ad.

Reflexiva:
(a, b) R (a, b) ⇐⇒ ba = k · ab con k = 1. Se concluye que R sí es reflexiva.
Simétrica:
Hago un contraejemplo, (
def
(1, 2) R (3, 3) ⇐⇒ 2 · 3 = k · 1 · 3 = 3 · k
def
(3, 3) R (1, 2) ⇐⇒ 1 · 3 = h · 2 · 3 = 6 · h
La relación no es simétrica, dado que no hay un h ∈ Z tal que 3 = 6 · h
Anti-Simétrica:
Contraejemplo: Tomo dos valores distintos y veo que están relacionados
(
def
(1, 2) R (2, 4) ⇐⇒ 2 · 2 = k · 1 · 4 = 4 · k
def
(2, 4) R (1, 2) ⇐⇒ 4 · 1 = k · 2 · 2 = 4 · h

(1, 2) R (2, 4) y (2, 4) R (1, 2) con (1, 2) ̸= (2, 4).

Por lo tanto la relación R no es antisimétrica.
Transitiva:
⋆1



 (a, b) R (c, d) ⇐⇒ bc = k · ad
 ⋆1
 (c, d) R (e, f ) ⇐⇒ de = h · cf


quiero ver que (a, b) R (e, f ) ⇐⇒ be = k ′ · af
⋆1
 ( )
bc = k · ad

 multiplico y ✓
 −−−−−−→ −−−−−→ be ·   → be = k ′ · af .
 = k · h · af · 


 ⋆ 1 cd cd
M.A.M. de = h · cf acomodo

Se concluye que la relación es transitiva.

Con esos resultados se puede decir que R en A no es de equivalencia ni de orden.

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Magui Å

23. Sea A un conjunto. Describir todas las relaciones en A que son a la vez

i) simétricas y antisimétricas ii) de equivalencia y de orden

elementos en bucles sueltos? Idem anterior

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 24

i) simétricas y antisimétricas
elementos en bucles sueltos?
ii) de equivalencia y de orden
Idem anterior

¿Puede una relación en A no ser ni simétrica ni antisimétrica? 22 (vi)?

24. Sea A = {a, b, c, d, e, f }. Dada la relación de equivalencia en A:

R = {(a, a), (b, b), (c, c), (d, d), (e, e), (f, f ), (a, b), (b, a), (a, f ), (f, a), (b, f ), (f, b), (c, e), (e, c)}

Hallar la clase a de a, la clase b de b, la clase c de c, la clase d de d, y la partición asociada a R

A
d•

 a = {a, b, f } = b = f
a → c = {c, e} = e
• • •
c e 
d = {d}
• •
b f

La partición asociada a R : {{d} , {c, e} , {a, b, f }} = d, b, a .



25. Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Hallar y graficar la relación de equivalencia en A asociada a la partición
{{1, 3} , {2, 6, 7} , {4, 8, 9, 10} , {5}}. ¿Cuántas clases de equivalencia distintas tiene? Hallar un representante para
cada clase.
f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

26. Sean P = P({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) el conjunto de partes de {1, . . . , 10} y R la relación en P definida
por:

A R B ⇐⇒ (A△B) ∩ {1, 2, 3} = ∅

i) Probar que R es una relación de equivalencia y decidir si es antisimétrica (Sugerencia: usar adecuadamente
el ejercicio 14iii))).

ii) Hallar la clase de equivalencia de A = {1, 2, 3}.

i) Para probar que es una relación de equivalencias hay que probar que sea reflexiva, simétrica y transitiva. La
sugerencia que nos dan es:
A△B ⊆ (A△C) ∪(B△C)
Reflexiva: ¿A R A?
A R A ⇐⇒ (A△A) = ∅ ∩ {1, 2, 3} = ∅ ✓
Por lo tanto la realción R es reflexiva.
Simétrica: ¿A R B =⇒ B R A?
A R B ⇐⇒ (A△B) ∩ {1, 2, 3} = ∅
| {z }
=B△A

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 25

Como la diferencia simétrica es conmutativa, A△B = B△A se tiene que la relación R es simétrica también.
Transitiva: ¿A R B y B R C =⇒ A R C?

A R B ⇐⇒ (A△B) ∩ {1, 2, 3} = ∅ ✓
B R C ⇐⇒ (B△C) ∩ {1, 2, 3} = ∅ ✓

Acá uso la sugerencia.

Si el conjunto {1, 2, 3} no está ni en A△B ni en B△C, en particular tampoco está en (A△B) ∪(B△C).
Sabemos que (A△C) ⊆ (A△B) ∪(B△C), es decir que (A△C) es un subconjunto de un conjunto que no tiene
al conjunto {1, 2, 3}. Se concluye que
(A△C) ∩ {1, 2, 3} = ∅ .
La relación R es transitiva.
Como la relación es reflexiva, simétrica y transitiva es de equivalencia ✓.

Antisimétrica: ∀A, B ∈ P siA R ByB R A =⇒ A = B

Se podría encontrar un contraejemplo: Ya dijimos que A△B = B△A. No debería ser muy complicado
encontrar un A y un B distintos que cumplan

ARB y BRA

ii) La clase de equivalencia de A = {1, 2, 3} va a estar formada por A y por todos los conjuntos X ∈ P que
cumplan
({1, 2, 3} △X) ∩ {1, 2, 3} = ∅
Resulta que cerca de la sugerencia dada del [Link]), está el ejercicio 14.i), donde se muestra que la intersección
(∩) es distributiva con la diferencia simétrica (△). Con eso puedo reescribir la condición de más arriba como:
!
({1, 2, 3} △X) ∩ {1, 2, 3} = {1, 2, 3} △(X ∩ {1, 2, 3}).

Si te perdiste en el !, escribilo y miralo fuerte. La condición para que X R {1, 2, 3} queda:

{1, 2, 3} △(X ∩ {1, 2, 3}) = ∅,

que, en mi opinión, está más fácil de leer. Para que una diferencia simétrica entre 2 conjuntos resulte en
vacío, necesito que los conjuntos sean iguales (mirá [Link])). Por lo tanto quiero los conjuntos X tales que:

X ∩ {1, 2, 3} = {1, 2, 3} .

La clase A:

o también A = {{1, 2, 3} ∪ X con X ∈ P {4, 5, 6, 7, 8, 9, 10}}

 
A = X ∈ P {1, 2, 3} ⊆ X ✓

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Gus Viana §

27. Sean A = {n ∈ N / n ≤ 92} y R la relación en A definida por x R y ⇐⇒ x2 − y 2 = 93x − 93y

a) Probar que R es una relación de equivalencia. ¿Es antisimétrica?

b) Hallar la clase de equivalencia de cada x ∈ A. Deducir cuántas clases de equivalencia distintas determina
la relación R .

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 26

a) Primero acomodo la condición de la relación:


⋆1

 x=y
!!!
x2 − y 2 = 93x − 93y ⇐⇒ o bien
⋆2

x + y = 93


Hacer este ejercicio sin avivarse de lo que pasa en !!! es horrible.

Para ser relación de equivalencia es necesario que sea reflexiva, simétrica y transitiva:
Reflexiva:
⋆1
x R x ⇐⇒ x = x ✓
Simétrica:
⋆2
(
x R y ⇐⇒ x + y = 93
⋆2
✓
y R x ⇐⇒ y + x = 93
Transitiva:
⋆2
(
x R y ⇐⇒ x = 93 − y resto ⋆1
⋆ 2 ====⇒ x − y = −y + z → x = z ⇐⇒ x R z ✓
y R z ⇐⇒ y = 93 − z M.A.M

Antisimétrica:
La R no es antisimétrica, como contraejemplo se ve que 1 R 92 y 92 R 1 con 1 ̸= 92 þ.
b) A priori no sé como encontrar las clases de equivalencia, pero solo buscando la relación del 1 con algún
número (excepto el mismo) veo que únicamente se puede relacionar con el 92 por la condición ⋆2 , dado que
⋆2
1 + 92 = 93. De ahí se pueden inferir que todas las clases van a ser conjuntos chiquitos, con los números que
sumen 93.

A
1• •92
Las
 clases de equivalencia :
 1 = 92 = {1, 92}

 2 = 91 = {2, 91}

2• •91
.. .. ..
 . . .
..


46 = 47 = {46, 47}

.
Hay entonces 46 clases. A = 1, 2, . . . , 45, 46


46• •47

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz §

28.

i) Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Consideremos en P(A) la relación de equivalencia dada por el cardinal (es
decir, la cantidad de elementos): Dos subconjuntos de A están relacionados si y solo si tienen la misma can-
tidad de elementos ¿Cuántas clases de equivalencia distintas determina la relación? Hallar un representante
para cada clase.

ii) En el conjunto de todos los subconjuntos finitos de N, consideremos nuevamente la relación de equivalencia
dada por el cardinal: Dos subconjuntos finitos de N están relacionados si y solo si tienen la misma cantidad
de elementos ¿Cuántas clases de equivalencia distintas determina la relación? Hallar un representante para
cada clase.

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 27

i) P(A) = {∅, {1} , {1, 2} , · · · , {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}}, el conjunto P(A) tiene un total de 210 = 1024 ele-
mentos. La relación determina 11 clases de equivalencia distintas.

Característica de la clase clase elemento ejemplo

Conjuntos con #0: ∅ ∅
Conjuntos con #1: {1} {3}
Conjuntos con #2: {1, 2} {5, 2}
Conjuntos con #3: {1, 2, 3} {1, 6, 3}
Conjuntos con #4: {1, 2, 3, 4} {1, 8, 10, 4}
.. .. ..
. . .
Conjuntos con #10: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} A

Pobres e incompletos ejemplitos, sino se me va la vida:

{2} {1, 2} {3, 10}

{3} {1} A

ii) Es parecido al inciso anterior, donde ahora A = {1, 2, 3, · · · , N − 1, N }, donde P(NN ) tiene 2N elementos.
La relación determina N + 1 clases de equivalencia distintas.

Característica de la clase clase elemento ejemplo Conjuntos en clase

Conjuntos con #0 N


∅ ∅ 0

Conjuntos con #1 {1} {3} N
1

Conjuntos con #2 {1, 2} {5, 2} N
2

Conjuntos con #3 {1, 2, 3} {1, 6, 3} N
3
.. .. ..
. . .
Conjuntos con #N − 1: N


{1, 2, . . . , N − 1} {1, 2, 3, . . . , N − 2, N − 1} N −1
Conjuntos con #N : N


{1, 2, . . . , N − 1, N } A N

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Fran Ramos §

Funciones

29. Determinar si R es una función de A en B en los casos

i) A = {1, 2, 3, 4, 5} , B = {a, b, c, d} , R = {(1, a), (2, a), (3, a), (4, b), (5, c), (3, d)}
No es función, dado que 3 R a, 3 R d y a ̸= d

ii) A = {1, 2, 3, 4, 5} , B = {a, b, c, d} , R = {(1, a), (2, a), (3, d), (4, b)}
No es función, dado que todo elemnto de A tiene que estar relacionado a algún elemento de B, 5 
 y para
R
ninún y ∈ B

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 28

iii) A = {1, 2, 3, 4, 5} , B = {a, b, c, d} , R = {(1, a), (2, a), (3, d), (4, b), (5, c)}
Es función.

iv) A = N, B = R, R = {(a, b) ∈ N × R / a = 2b − 3}
Es función.

v) A = R, B = N, R = {(a, b) ∈ R × N / a = 2b − 3}
√
No es función, 2 
 b para ningún b ∈ N
R

vi) A = Z, B = Z, R = {(a, b) ∈ Z × Z / a + b es divisible por 5}

No es función, porque 0 R 5 y 0 R 10 y necesito que ∀x ∈ Z, ∃ ! y ∈ Z

30. Determinar si las siguientes funciones son inyectivas, sobreyectivas o biyectivas. Para las que sean biyectivas
hallar la inversa y para la que no sean sobreyectivas hallar la imagen.

i) f : R → R, f (x) = 12x2 − 5.

ii) f : R2 → R, f (x, y) = x + y.

iii) f : R3 → R2 , f (x, y, z) = (x + y, 2z).

si n es par
 n
iv) f : N → N, f (n) = 2
n + 1 si n es impar.

v) f : Z × Z → Z, f (a, b) = 3a − 2b.

si a > 0

2a
vi) f : Z → N, f (a) =
1 − 2a si a ≤ 0.

i) f : R → R, f (x) = 12x2 − 5 No es inyectiva, contraejemplo:

f (−1) = f (1)

.
No es sobreyectiva:
Im(f ) = [−5, +∞).

No es biyectiva, no tiene inversa. Habría que restringir dominio para cada rama de la parábola, pero no piden
eso ·

ii) f : R2 → R, f (x, y) = x + y
No se inyectiva. Contraejemplo:
f (1, 2) = 3 y f (2, 1) = 3

Es sobreyectiva, dado que x + y genera todo R.

iii) Sale muy parecido al anterior ii)

No es biyectiva, no tiene inversa.
si n es par
 n
iv) f : N → N, f (n) = 2
n + 1 si n es impar
No es inyectiva. Contraejemplo:
f (8) = f (3) con dah! 8 ̸= 3

Sí es sobreyectiva.

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 29

Me formo una sucesión de números pares para evaluar a la función en cosas convenientes:

2m
∀m ∈ N, am = 2m =⇒ f (am ) = f (2m) = =m
2

Se desprende que tan solo con la parte 2,

n
la imagen de la función genera todo N, así que como Im(f ) = N,
f es sobreyectiva.
No es biyectiva, no tiene inversa.

v) No es inyectiva. Contraejemplo:

f (2, 1) = 6 − 2 = 4 y f (0, −2) = 4.

Para ser sobreyectiva la imagen debe ser Z. Suponiendo que:

a = b =⇒ f (a, a) = 3a − 2a = a =⇒ Im(f ) = Z

Por lo tanto f es sobreyectiva.

No es biyectiva, no tiene inversa.

vi) La función
si a > 0 → genera los Npares

2a
f : Z → N, f (a) =
1 − 2a si a ≤ 0 → genera los Nimpares

La función es inyectiva y sobreyectiva. Calculo la inversa:

n
si n es par

−1 −1 2
f : N → Z, f (n) = 1−n
2 si n es impar

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Nico Méndez §

31. f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

32. f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

33. f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

34. f... hay que hacerlo! Ò

Si querés mandá la solución → al grupo de Telegram }, o mejor aún si querés subirlo en LATEX→ una pull request al §.

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 30

35. Sea F = f : {1, . . . , 10} → {1, . . . .10} f es una función biyectiva , y sea R la relación en F definida por
 


f R g ⇐⇒ ∃ n ∈ {1, . . . , 10} f (n) = 1 y g(n) = 1.

i) Probar que R es una relación de equivalencia. ¿Es antisimétrica?

ii) Sea Id : {1, . . . , 10} → {1, . . . , 10} la función identidad, o sea, Id(n) = n, ∀n ∈ {1, . . . , 10} . Dar tres
elementos distintos de la clase de equivalencia de Id.

Importante: Al exhibir una función es indispensable definirla en todos lso elementos de su dominio.

i) Las funciones biyectivas agarran todos los elementos del conjunto de partida y lo mandan esos elementos a
un elemento del conjudo de salida uno a uno. Son inyectivas y sobreyectivas.

Reflexiva:
Quiero ver que f R f . Como f es biyectiva y n ∈ {1, . . . , 10}, por lo que para algún n tiene que cumplir
| {z }
⊆Dom(f )
f (n) = 1. R es reflexiva.

Simétrica:
Quiero ver que si f R g =⇒ g R f . Es trivial en este caso, porque la conjunción, el ”y”, de la relación es
conmutativo, por lo tanto:
f R g =⇒ g R f
R es simétrica.

Transitiva:
Quiero ver que si f R g y g R h =⇒ f R h. Es similar al caso anterior. Por hipótesis, las relaciones
f R g y g R h dicen que existen n1 , n2 , n3 ∈ {1, . . . , 10} tales que f (n1 ) = g(n2 ) = h(n3 ) = 1. Así que
f R h R es transitiva.
Como la relación es reflexiva, simétrica, transitiva es una relación de equivalencia.

Antisimétrica:
Quiero ver que si f R g con f ̸= g entonces g 
 f . Acá es donde donde el Importante del enunciado
R
cobra relevancia, porque si vamos a mostrar una función de contraejemplo , tiene que estar definida de
forma correcta, en este caso tenemos que mandar todos los elementos de {1, . . . , 10} a todos los valores de
{1, . . . , 10} uno a uno.
f (1) = g(1) = 1 f (6) = g(6) = 6
f (2) = g(2) = 2 f (7) = g(7) = 7
f (3) = g(3) = 3 f (8) = g(8) = 8
f (4) = g(4) = 4 f (9) = g(10) = 9
f (5) = g(5) = 5 f (10) = g(9) = 10
Las funciones son distintas f ̸= g y f R g, pero g R f , por lo cual no se cumple al condición de la antisimetría.
R no es antisimétrica.

ii) Los elementos de F que se relacionan entre sí, forman un conjunto denominado: clase. Esta clase se puede
llamar clase de "cualquiera de los elementos", por ejemplo si f1 , f2 , f3 , . . . , Id están relacionadas se puede
decir que:

f1 = {f1 , f2 , f3 , . . . , Id} o f2 = {f1 , f2 , f3 , . . . , Id} o Id = {f1 , f2 , f3 , . . . , Id}

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 31

Así que hay que definir 3 funciones que estén relacionadas con la función Id. Hay que hacerlo para todos los
elementos como en el inciso de antisimetría...
f1 (1) = 1 f1 (6) = 6 f2 (1) = 1 f2 (6) = 6
f1 (2) = 2 f1 (7) = 7 f2 (2) = 2 f2 (7) = 7
f1 (3) = 3 f1 (8) = 8 f2 (3) = 3 f2 (8) = 10
f1 (4) = 4 f1 (9) = 10 f2 (4) = 4 f2 (9) = 9
f1 (5) = 5 f1 (10) = 9 f2 (5) = 5 f2 (10) = 8

Y la f3 te la dejo a vos. Las funciones son distintas y están relacionadas con la Id porque usan el mismo n
(en este caso n = 1) para cumplir f1 (1) = f2 (1) = f2 (1) = Id(1) = 1 ✓
?
Nada que ver, pero ¿Cuántos elementos tiene la clase de equivalencia de Id? → #Id = 9!

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz §

36. Sea f : {1, 2, 3, 4} → {1, 2, 3, 4} una función. Consideremos el conjunto de todas las funciones de {1, 2, 3, 4}
en {1, 2, 3, 4, 5, 6, 7, 8}, es decir,

F = {f : {1, 2, 3, 4} → {1, 2, 3, 4, 5, 6, 7, 8}}

y definimos sobre F la relación dada por

g R h ⇐⇒ g ◦ f = h ◦ f.

i) Probar que R es una relación de equivalencia. ¿Es siempre antisimétrica (sin importar cómo sea f )?

ii) Asumiendo que f es sobreyectiva, calcular la clase de equivalencia de cada g ∈ F .

La teoría de estas importantes propiedades de relaciones está acá.

Seguramente vos no te confundís, porque sos un insoportable sabelotodo, a diferencia mía pero:
.
Notar que la f en la definición de la relación R es una función específica, siempre te devuelve algo en {1, 2, 3, 4}.
Es por eso que las composiciones que aparecen en la definición de R no explotan X por los aires. Lo aclaro porque
la f que está en el conjunto F esa sí es una f genérica.
La f específica la pinto: f
.

i) Para ver si una relación es de equivalencia hay que probar que sea reflexiva, simétrica y transitiva.
Reflexiva: Quiero ver que:
∀g ∈ F , g R g.
Lo cual se cumple de forma trivial:
def
g R g ⇐=⇒ g ◦ f = g ◦ f .

Por lo que la relación R es reflexiva.

Simétrica: Quiero ver que:
∀g, h ∈ F, si g R h =⇒ h R g.
También se cumple de forma trivial:
def def
g R h ⇐=⇒ g ◦ f = h ◦ f y h R g ⇐=⇒ h ◦ f = g ◦ f .
| {z } | {z }
hipótesis igual a la hipótesis

Por lo que la relación R es simétrica.

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
 Álgebra I Práctica 1 Página 32

Transitiva: Quiero ver que:

∀g, h, i ∈ F, si g R h y h R i =⇒ g R i.
También se cumple de forma trivial:

g◦f =h◦f


 | {z }

Hola


def
g R h y h R i ⇐=⇒ y =⇒ g ◦ f = i ◦ f =⇒ g R i.
 h◦f =i◦f
| {z } 

hipótesis 
 | {z }
qué tal?

Por lo que la relación R es transitiva.

Dado que R resultó ser reflexiva, simétrica y transitiva es una relación de equivalencia.

Antisimétrica: Quiero ver que:

∀g, h ∈ F, si g R h y g ̸= h =⇒ h 
R
g

Proponemos dos funciones y las definimos completas:

g(1) = 5 h(1) = 5
g(2) = 5 h(2) = 6
y
g(3) = 5 h(3) = 6
g(4) = 5 h(4) = 6
Claramente g ̸= h, la idea ahora es proponer que ¡f sea una función que me las relacione! propongo:

f (1) = 1
f (2) = 1
f (3) = 1
f (4) = 1.

Por lo tanto:
g ◦ f (1) = g(1) = 5 h ◦ f (1) = h(1) = 5
g ◦ f (2) = g(1) = 5 h ◦ f (2) = h(1) = 5
y
g ◦ f (3) = g(1) = 5 h ◦ f (3) = h(1) = 5
g ◦ f (4) = g(1) = 5. h ◦ f (4) = h(1) = 5.
Y así llegamos a que la función no es antisimétrica, porque tenemos dos funciones distintas que cumplen
ser simétricas, es decir:
g Rh=hRg
Por lo que la relación R no es antisimétrica.

ii) Si f es sobreyectiva:
def def
f sobreyectiva ⇐=⇒ Im(f ) = {1, 2, 3, 4} ⇐=⇒ ∀y ∈ {1, 2, 3, 4} ∃ x ∈ {1, 2, 3, 4} tal que f (x) = y
| {z }
codominio

En particular si el dominio y el codominio tienen la misma cantidad de elementos, podemos decir que f tiene
que ser biyectiva. Así que f es sobreyectiva, distintos xi van a parar a distinto yi
f
{x1 , x2 , x3 , x4 } −
→ {y1 , y2 , y3 , y4 } .

g ◦ f (x1 ) = g(y1 ) h ◦ f (x1 ) = h(y1 )

g ◦ f (x2 ) = g(y2 ) h ◦ f (x2 ) = h(y2 )
y
g ◦ f (x3 ) = g(y3 ) h ◦ f (x3 ) = h(y3 )
g ◦ f (x4 ) = g(y4 ). h ◦ f (x4 ) = h(y4 ).

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 33

Entonces para que una función g esté relacionada con otra función h:

g R h ⇐⇒ (g ◦ f )(xi ) = (h ◦ f )(xi ) ⇐⇒ g(yi ) = h(yi ) ⇐⇒ g = h con i ∈ {1, 2, 3, 4}

Por lo que cada función g ∈ F es una clase de un solo elemento:

g = {g}

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Ale Nieto §

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 34

\ Ejercicios de parciales:

\1. Probar la propiedad distributiva: X ∩(Y ∪ Z) = (X ∩ Y ) ∪(X ∩ Z)

Tengo que hacer una doble inclusión:

1) X ∩(Y ∪ Z) ⊆ (X ∩ Y ) ∪(X ∩ Z)

2) X ∩ Y ) ∪(X ∩ Z) ⊆ X ∩(Y ∪ Z)
   
 x∈Y   x ∈ X ∩Y 
1) x ∈ X ∩(Y ∪ Z) quiere decir que x ∈ X y o bien . Por lo tanto → o bien , lo que equivale a
x∈Z x ∈ X ∩Z
   
x ∈ (X ∩ Y ) ∪(X ∩ Z) ✓.

2) Ahora hay que probar la vuelta. Uso razonamiento análogo:


 x ∈ X ∩Y
x ∈ (X ∩ Y ) ∪(X ∩ Z) =⇒ x ∈ X y o
x ∈ X ∩Z


Pero teniendo en cuenta que:

 
 Y ⊆ Y ∪Z  x ∈ X ∩(Y ∪ Z)
!!
y que ⇒
= o bien =⇒ x ∈ X ∩(Y ∪ Z)
Z ⊆ Z ∪ Y, x ∈ X ∩(Z ∪ Y )
 

En !! uso algo "obvio" pero que me sirve para seguir bien donde está x: Resalto que si un elemento está en
Y seguro va a estar en la unión de Y con lo que sea.

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz §

\2. Este no es de parcial, pero está por razones históricas Ž:

Probar la propiedad (A ∩ B)c = Ac ∪ B c .
(
1) (A ∩ B)c ⊆ Ac ∪ B c
Tengo que hacer una doble inclusión →
2) Ac ∪ B c ⊆ (A ∩ B)c
1) Prueba directa: Si x ∈ (A ∩ B)c =⇒ x ∈ Ac ∪ B c
def
Por hipótesis x ∈ (A ∩ B)c ⇐=⇒ x ∈ / B =⇒ x ∈ Ac ∨ x ∈ B c =⇒ x ∈ Ac ∪ B c
/ A∨x∈

A B Ac ∪ B c (A ∩ B)c
V V F F
V F V V
F V V V
F F V V

def
Uso la tabla para ver la definición x ∈ (A ∩ B)c ⇐=⇒ x ∈
/ A∨x∈
/B

2) Pruebo por absurdo. Si ∀x ∈ Ac ∪ B c =⇒ x ∈ (A ∩ B)c  

 x∈ /A 
def por
Supongo que x ∈/ (A ∩ B)c ⇐=⇒ x ∈ (A ∩ B) −−−−−→ x ∈ Ac ∪ B c → ∨ , por lo que x ∈
/ A ∪ B =⇒
hipótesis
x∈/B
 
x∈/ A ∩ B contradiciendo el supuesto, absurdo. Debe ocurrir que x ∈ (A ∩ B)c

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 35

A B A∩B (A ∪ B) (A ∩ B) ⊆ (A ∪ B)
V V V V V
V F F V V
F V F V V
F F F F V

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

\3. Sea
F = {h : {1, 2, 3, 4} → {1, 2, . . . , 50} / h es inyectiva} .
Definimos en F la relación R como

f Rg si y sólo si # (Im(f ) \ Im(g)) = 0 o 4.

a) Analizar si R es una relación reflexiva, simétrica, antisimétrica y/o transitiva.

b) Sea f ∈ F definida como f (x) = x para 1 ≤ x ≤ 4. Calcular cuántas funciones g ∈ F satisfacen f R g

Observar que f ∈ F es una función que tiene un dominio con solo 4 elementos, es decir

# Dom(f ) = 4 ∀f ∈ F,

y dado que f es inyectiva, todos los elementos de la imagen deben ser distintos, por lo tanto

# Im(f ) = 4 ∀f ∈ F

a) Reflexiva: Quiero ver que si f R f .

!
Esto debe ser cierto, ya que A = {Im(f ) \ Im(f )} = ∅ y # ∅ = 0 ∀f ∈ F. R es reflexiva ✓
Simétrica: Quiero ver que si f R g =⇒ g R f .
Si tengo que f R g, sé algo sobre sus conjuntos Im ya que,

⋆1
 # {Im(f ) \ Im(g)} = 0 ⇐⇒ Im(f ) = Im(g)


o
⋆2


 # {Im(f ) \ Im(g)} = 4 ⇐⇒ Im(f ) ∩ Im(g) = ∅

Entonces los conjuntos Im(f ) y Im(g) están relacionados por un "=" y un "∩", dos operadores simétricos
por lo tanto R es simétrica. ✓
Antisimétrica: Quiero ver que si f R g =⇒ g  R f , o también a veces está bueno pensarla la antisimetría
como si f R g y g R f =⇒ f = g. Bajo la sospecha de que la función no es antisimétrica la segunda
forma de pensarlo me ayuda a encontrar un contraejemplo.
 

 f (1) = 1 
 g(1) = 4
f (2) = 2 g(2) = 3
 
f→ y g→

 f (3) = 3 
 g(3) = 2
f (4) = 4 g(4) = 1
 

f R g, sus imágenes cumplen ⋆1


, pero por como están definidas las funciones f ̸= g. R no es anti-
g R f, sus imágenes cumplen ⋆1
simétrica. A
}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑
Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 36

Transitiva: Quiero ver que si f R g y g R h =⇒ f R h.

Acá podemos encontrar un contraejemplo para mostrar que no es transitiva, saco de la galera 3 funciones,
f, g y h ∈ F
  

 f (1) = 1 
 g(1) = 5 
 h(1) = 1
f (2) = 2 g(2) = 6 h(2) = 2
  
f→ , g→ y h→

 f (3) = 3 
 g(3) = 7 
 h(3) = 9
f (4) = 4 g(4) = 8 h(4) = 10
  

f R g, sus imágenes cumplen

 2
⋆
, pero f 
 h dado que:
R
g R h, sus imágenes cumplen ⋆
2

{Im(f ) \ Im(g)} = {3, 4} =⇒ # {Im(f ) \ Im(g)} = 2 ̸= 0 o 4.

R no es transitiva. A
b) Para que f y g se relacionen se debe cumplir con ⋆1 o con ⋆2 . En otras palabras necesito encontrar funciones
g ∈ F cuya imagen Im(g) = {1, 2, 3, 4} o su codominio sea Cod = {5, 6, . . . , 49, 50}.
| {z }
# Cod=46

Contar cuando Im(g) = {1, 2, 3, 4}:

Hago la inyección de los 4 valores que puede tomar la función inyectiva g.

 g → g(1) g(2) g(3) g(4)
↓ ↓ ↓ ↓
opciones → #4 #3 #2 #1


Hay 4! permutaciones ✓
Contar cuando codominio sea Cod = {5, 6, . . . , , 49, 50}
Hago la inyección de los 46 valores que puede tomar la función inyectiva g.

 g → g(1) g(2) g(3) g(4)
↓ ↓ ↓ ↓
opciones → #46 #45 #44 #43


Hay 46!
42! permutaciones ✓
Se concluye que hay un total de 46!
42! + 4! funciones g ∈ F /f R g ✓

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

\4. (recuperatorio 1er C. 24)

Se define en Z la relación R dada por

n R m ⇐⇒ 10 n2 + 4m2 + m − 6n.

a) Probar que n R m ⇐⇒ 5 n2 − m2 + m − n y n ≡ m (2).

b) Probar que R es una relación de equivalencia.

a)
( =⇒ )
def
n R m ⇐=⇒ n2 + 4m2 + m − 6n ≡ 0 (10)

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 37

Si la expresión es divible por 10, debe ser divisible por 2 y también por 5:

(5)
 n2 + 4m2 + m − 6n ≡ n2 − m2 + m − n ≡ 0 (5) ✓


!
(2) (2)
 n2 + 4m2 + m − 6n ≡ n2 + m ≡ n + m ≡ 0 (2) ⇔ n ≡ m (2) ✓


!!

Si no ves lo que pasó en !! pensá en la paridad de un número y su cuadrado.

Por lo tanto si
n R m =⇒ 5 n2 − m2 + m − n y n ≡ m (2)
(⇐)
n2 − m2 + m − n ≡ 0 (5) ⇔ n2 + 4m2 + m − 6n ≡ 0 (5) ⇔ 5 n2 + 4m2 + m − 6n ✓
Ahora uso la información de n ≡ m (2)

(2)
Si n ≡ m (2) =⇒ n2 + 4m2 + m − 6n ≡ 5 m(m − 1) ≡ 0 (2) ⇐⇒ 2 n2 + 4m2 + m − 6n ✓
! | {z }
par!

Por lo tanto si
n R m ⇐ 5 n2 − m2 + m − n y n ≡ m (2)

b) No es casualidad que en el punto anterior tuvieramos una redefinición de la relación R :

 2
 n − m2 + m − n ≡ 0 (5)
n R m ⇐⇒ y
n ≡ m (2).


En esa forma es mucho más fácil mostrar lo que sigue porque la relación queda definida en función de
congruencias que ya son relaciones de equivalencias. Para mostrar la relación de equivalencia, hay que probar
que es reflexiva, simétrica y transitiva.
 2
 n − n2 + n − n = 0 ≡ 0 (5) ✓
Reflexiva: Si n R n ⇐⇒ y
n ≡ n (2) ✓.


La relación es reflexiva.
Simétrica: Si n R m =⇒ m R n, para algún par n, m.

2 2 mRn 2 2 2 2
 n − m + m − n ≡ 0 (5) ====⇒ m − n + n − m = −(n − m + m − n) ≡ 0 (5) ✓


Si n R m =⇒ y
 mRn
 n ≡ m (2) ====⇒ m ≡ n (2) ✓


La relación es simétrica
Transitiva: Quiero ver que si: n R m y m R j =⇒ n R j
Si  2
 n − m2 + m − n ≡ 0 (5)
 2
 m − j 2 + j − m ≡ 0 (5)⋆1
nRm⇔ y y mRj⇔ y
n ≡ m (2) m ≡ j (2)⋆2
 

entonces

⋆1

n2 −m2 + m − n ≡ 0 (5) ⇐=⇒ n2 −j 2 + j − n ≡ 0 (5) 

! 
y =⇒ n R j
⋆2

n ≡ m (2) ⇐=⇒ n ≡ j (2)



La relación es transitiva.
Como la relación resultó ser reflexiva, simétrica y transitiva, entonces es de equivalencia. Fin.

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 38

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz §

\5. Sea X el conjunto de todas las funciones de {1, 2, 3, 4, 5, 6, 7, 8} en {0, 1}. Se define la relación R en X
como:
f R g ⇐⇒ f (1) + g(3) = f (3) + g(1).

a) Probar que R es una relación de equivalencia. ¿Es R antisimétrica?

b) Calcular la cantidad de clases de equivalencia de R y exhibir un representante de cada una de ellas.

a) Para probar que R es una relación de equivalencia, hay que probar que sea reflexiva, simétrica y transitiva.
Click acá para la ’teoría’ de que son esas cosas

Las funciones toman todos los valores que hay en el conjunto del dominio y tienen que mandar ese valor a
alguno de los dos valores que están en el conjunto del codominio. Podemos observar que la imagen de la
función será {0} , {1} o {0, 1}.
Antes de arrancar a hacer cuentas voy a acomodar la R para que quede más fácil de leer para mí. No es
necesario hacer esto, pero como yo me distraigo hasta con la humedad del ambiente, me resulta más fácil
pensarlo. Quedaría así:
f R g ⇐⇒ f (1) − f (3) = g(1) − g(3).

Reflexiva: En este caso se cumple de forma trivial.

f R f ⇐⇒ f (1) − f (3) = f (1) − f (3)

Simétrica: Quiero ver que si f R g =⇒ g R f .

Resulta parecido al anterior dado que la igualdad no cambia al conmutar las funciones
f R g ⇐⇒ f (1) − f (3) = g(1) − g(3)
g R f ⇐⇒ g(1) − g(3) = f (1) − f (3) ⇐⇒ f (1) − f (3) = g(1) − g(3)

Transitiva: Quiero ver que si

f Rg y g R h =⇒ f R h.
Partiendo de las hipótesis de estas relaciones:
⋆1
f R g ⇐⇒ f (1) − f (3) = g(1) − g(3)
⋆2
g R h ⇐⇒ g(1) − g(3) = h(1) − h(3)

Despejando de ⋆
2
y reemplazando en ⋆
1
:
2 1
⋆ ⋆
g(1) = h(1) − h(3) + g(3) ==⇒ f (1) − f (3) = (h(1) − h(3) + g(3)) − g(3) ⇔ f (1) − f (3) = h(1) − h(3)
| {z }
f Rh

Antisimétrica: Puedo armar un contraejemplo para ver si la función no es antisimétrica.

Cuando se define una función hay que definirla entera ¡No solo la parte que me interesa! Defino un par de
funciones (f, g) con f ̸= g y f R g y que además g R f . Eso sería suficiente para mostrar que la relación R
no es antisimétrica  

 f (1) = 0 
 g(1) = 0
f (2) = 0 g(2) = 1

 


 

f (3) = 0  g(3) = 0

 
f (4) = 0 y g(4) = 0
. . .. .
 
. . . = ..
 
. = .

 


 

 
f (8) = 0 g(8) = 0
 

La relación R no es antisimétrica.

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 39

b) En este ejercicio hay 3 clases. Recuerdo que hago todo el ejercicio escribiendo la relación en esta forma:

f R g ⇐⇒ f (1) − f (3) = g(1) − g(3).

Solo puedo obtener como resultado de la cuenta, para la expresión del miembro izquierdo (y el derecho):

−1, 0 o 1,

Por lo tanto mientras la cuenta de f (1) − f (3) dé lo mismo para dos funciones distintas, las funciones van a
estar relacionadas, por ende viven en la misma clase. De forma contraria estarán en distintas clases.
Cuando f (1) − f (3) me da 0:
f (1) = 0 y f (3) = 0 =⇒ f (1) − f (3) = 0


f (1) = 1 y f (3) = 1 =⇒ f (1) − f (3) = 0

Con esos valores obtengo la clase (y me invento esta notación, ojo!) que me da 0. Todas las funciones de esa
pinta van a estar relacionadas. Piden uno pero te doy cuatro elementos de este conjunto a modo de ejemplo,
porque soy un tipazo, no tengo nada que hacer y con el copy paste es muy fácil:
   

 f (1) = 0 
 g(1) = 1 
 h(1) = 1 
 i(1) = 0
f (2) = 0 g(2) = 0 h(2) = 0 i(2) = 1

 
 
 


 
 
 

 f (3) = 0
  g(3) = 1
  h(3) = 1
  i(3) = 0

f (4) = 0 , g(4) = 0 , h(4) = 1 y i(4) = 0
. . . . . . .. .
   
.. = .. .. = .. .. = .. . = ..

 
 
 


 
 
 


 
 
 

f (8) = 0 g(8) = 0 h(8) = 1 i(8) = 0
   

Cuando f (1) − f (3) me da 1:

f (1) = 1 y f (3) = 0 =⇒ f (1) − f (3) = 1



Con esos valores obtengo la clase (y sigo con la notación inventada, ojo!) que me da 1. Todas las funciones
de esa pinta van a estar relacionadas. Tres elementos de este conjunto a modo de ejemplo, porque con el
copy paste sigue siendo muy fácil:
  

 f (1) = 1 
 g(1) = 1 
 h(1) = 1
f (2) = 0 g(2) = 1 h(2) = 0

 
 


 
 

f (3) = 0 g(3) = 0 h(3) = 0

 
 

f (4) = 0 y g(4) = 0 y h(4) = 1
. . . . .. .
  
.. = .. .. = .. . = ..

 
 


 
 


 
 

f (8) = 0 g(8) = 0 h(8) = 1
  

Cuando f (1) − f (3) me da −1:

f (1) = 0 y f (3) = 1 =⇒ f (1) − f (3) = −1



Con esos valores obtengo la clase (y sigo con la notación inventada, ojo!) que me da −1. Todas las funciones
de esa pinta van a estar relacionadas. Tres elementos de este conjunto a modo de ejemplo, porque con el
copy paste sigue siendo muy fácil:
  

 f (1) = 0 
 g(1) = 0 
 h(1) = 0
f (2) = 0 g(2) = 1 h(2) = 0

 
 


 
 

 f (3) = 1
  g(3) = 1
  h(3) = 1

f (4) = 0 y g(4) = 0 y h(4) = 1
.. . .. . .. .
  
. = .. . = .. . = ..

 
 


 
 


 
 

f (8) = 0 g(8) = 0 h(8) = 1
  

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 40

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Ale Teran §

\6. Sea A el siguiente conjunto: A = {n ∈ N : 100 ≤ n ≤ 1000} . Consideramos el conjunto de todas las funciones
de {1, 2, 3, 4, 5, 6} en A:

F = g : {1, 2, 3, 4, 5, 6} → {100, 101, . . . , 999, 1000} es función

 

y definimos sobre F la relación R dada por

f R g ⇐⇒ 11 f (1) − g(1).

a) Determinar si la relación es reflexiva, simétric, transitiva y/o antisimétrica.

b) Sea h(x) = x + 99, hallar la cantidad de funciones f ∈ F inyectivas que cumplen simultáneamente que
f R h y que f (2) = 111.

Al igual que en mucho ejercicios lo primero que voy a hacer es acomodar la forma en que nos presentan la relación,
para que mi cerebro esté más cómodo:
def 1
f R g ⇐⇒ 11 f (1) − g(1) ⇐=⇒ f (1) ≡ g(1) (11) ⋆ .

a) ¿Es R reflexiva? : Trivial con ⋆

1
:

f (1) ≡ f (1) (11)

La relación R es reflexiva.
¿Es R simétrica? : Trivial con ⋆
1
:
Si
f R g ⇔ f (1) ≡ g(1) (11)
entonces trivialmente
g R f ⇔ g(1) ≡ f (1) (11)
La relación R es simétrica.
¿Es R transitiva? : Trivial con ⋆
1
:
Si
f R g ⇔ f (1) ≡ g(1) (11) y g R h ⇔ g(1) ≡ h(1) (11)
entonces por transitividad de la congruencia,
f R h ⇔ f (1) ≡ g(1) ≡ h(1) (11) =⇒ f (1) ≡ h(1) (11)
La relación R es transitiva.
¿Es R antisimétrica? :
No creo, me armo dos funciones para usar como contraejemplos:
 

 f (1) = 100 
 g(1) = 111



 f (2) = 1000 


 g(2) = 1000
f (3) = 1000 g(3) = 1000
 
y

 f (4) = 1000 
 g(4) = 1000
f (5) = 1000 g(5) = 1000

 


 


f (6) = 1000

g(6) = 1000
Se puede ver que:
f ̸= g sin embargo f R g ⇔ f (1) ≡ g(1) (11)
La relación R no es antisimétrica.

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 41

b) Para que f R h necesito que:

f (1) ≡ h(1) (11) ⇔ f (1) ≡ 100 (11) ⇔ f (1) ≡ 1 (11)

Cuáles son los valores del conjunto A = {n ∈ N : 100 ≤ n ≤ 1000}, con #A = 901 que cumplen eso, más que
cuales, cuántos es lo que me importa. Los elementos de n ∈ A que cumplen n ≡ 1 (11):
!
B = {100, 111, . . . , 991} con #B = 82

Donde el 82, lo saco de pensar que el primer n ∈ A que cumple es:

100 = 11 · 9 + 1

y el último:
991 = 11 · 90 + 1
En total hay # {9, 10, 11, . . . , 89, 90} = 82 valores de k que cumplen que n ≡ 1 (11). Pero, me dicen que f
es inyectiva y además f (2) = 111, por lo que tengo que restar uno de esos posibles k, porque:

111 = 11 · 10 + 1

Entonces ya sé que para cumplir f R h y que f(2) = 111, tengo # {9, 11, 12, . . . , 89, 90} = 81 posibles valores
para f (1).
Ahora solo faltan los demás valores que pueden tomar los otro elementos del dominio de f :

f (1) f (2) f (3) f (4) f (5) f (6)

↓ ↓ ↓ ↓ ↓ ↓
opciones 81 1 (901 − 2) (901 − 3) (901 − 4) (901 − 5)

Por lo tanto tendré un total de:

899!
81 · 899 · 898 · 897 · 896 = 81 ·
895!

funciones f que cumplen lo pedido.

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz §

\7. Sean X = {n ∈ N : n ≤ 200} e Y = {n ∈ N : n ≤ 100}.

En P(X) se define la relación R de la forma:

A R B ⇐⇒ B − A ⊆ Y.

a) Determinar si R es una relación reflexiva, simétrica, antisimétrica y/o transitiva.

b) Sea B = {n ∈ X : n es par}. ¿Cuántos conjuntos A ∈ P(X) satisfacen simultáneamente A R B y

#(A ∩ B) = 80?

a) Para ver esto de qué cosa son las propiedades de reflexión y eso acá está la teoría.
¿Es R reflexiva?:
A R A ⇐⇒ A − A = ∅ ⊆ Y
Lo cual es cierto, dado que el conjunto vacío, ∅, está en todo conjunto.

¿Es R simétrica?:

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 42

Por hipótesis:
A R B ⇐⇒ B − A ⊆ Y ✓
Quiero ver que pasa con B R A:
??
B R A ⇐=⇒ A − B ⊆ Y

Propongo que A = {101, 200} y que B = {1, 200}. Con estos conjuntos se tiene:

B − A = {1} ⊆ Y

peeeeero,
A − B = {101} ⊈ Y
Por lo tanto la relación no es simétrica.

¿Es R antisimétrica?:
Por hipótesis:
A R B ⇐⇒ B − A ⊆ Y ✓
De ser antisimétrica debería ocurrir que

 A para B ̸= A.
A R B =⇒ B 
R

Veamos por ejemplo qué pasa con A = {1} y B = {2}, donde A ̸= B:

B − A = {2} ⊆ Y =⇒ A R B

y también,
A − B = {1} ⊆ Y =⇒ B R A
Por lo tanto la relación no es antisimétrica.

¿Es R transitiva?:
Por hipótesis:
⋆
1
A R B ⇐⇒ B − A ⊆ Y ✓
⋆
2
B R C ⇐⇒ C − B ⊆ Y ✓
En diagramas de Venn:

A B A B

C C
⋆
1
y ⋆
2

Quiero ver si A R C es decir si C − A ⊆ Y :

A B

3 C
⋆

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 43

Esto está lindo porque ⋆

1
y ⋆
2
están en Y , lo cual equivale a decir que su unión también está en Y :

A B A B A B

C C C
∪ =

En los diagramas se puede ver que ⋆3 es un conjunto que está en la unión de ⋆

1
y ⋆
2
, y como, por hipótesis,
esa unión está en Y , la relación es transitiva.

b)
#B = {n ∈ X : n es par} = # {2, 4, 6, . . . , 198, 200} = 100
Para que A R B necesito que los todos los conjuntos A le saquen a B los elementos del 102 al 200. Por lo
tanto:
{102, 104, . . . , 200} ⊆ A.
De forma tal que B − A ⊆ Y . Teniendo en cuenta que #({102, 104, . . . , 200}) = 50, ahora tengo que jugar
con el resto de números de B:

{2, 4, . . . , 100} → #({2, 4, . . . , 100}) = 50

y tomar solo 30 elementos, para satisfacer #(A ∩ B) = 80. Formas de tomar esos números:
 
50 50!
=
30 30! · 20!

Ese resultado cumple las condiciones, peeeeero no hay que olvidar que A ∈ P(X), por lo tanto A, podría
tener números impares entre 1 y 200, esto me va a agregar posibles conjuntos A. Dado que si agrego
números impares a los conjuntos de arriba no rompo ninguna condición.

¿Cuántos A me agrega? Empiezo por agregar ningún número impar de un conjunto de 100 para elegir:
 
100
0

Puedo formar así un A que cumple todo lo pedido y no tiene ningún número impar.
Ahora agarro 1 número entre 100:  
100
1
Puedo formar así 100 A que cumplen todo lo pedido y tienen un número impar.
Ahora agarro 2 números entre 100:  
100
2
Puedo formar así 5445 A que cumplen todo lo pedido y tienen 2 números impar.
Ahora agarro 3 números entre 100:  
100
3

... bueh, creo que se ve a donde estamos yendo. ...

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.
Álgebra I Práctica 1 Página 44

Sigo así hasta agarrar a todos en algún momento llego a que:

 
100
=1
100

Juntando todo eso con el resultado de la parte par quedaría que el total de conjuntos A es:

  X 100  
50 100
·
30 i
i=0

Y bueh para mí ahí está un posible resultado final. Lo que viene ahora no creo que haya sido necesario, y de
haberlo sido, me hubiese puesto a llorar en el examen:
n   100  
n
X n n−i k x=y=1 100
X 100
(x + y) = x y ======⇒ 2 =
i n = 100 i
i=0 i=0

Por lo tanto y nuevamente la cantidad de conjuntos A que cumplen lo pedido pero escrito en una forma más
elegante es:
 
50
· 2100
30

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 Nad Garraz § 5 Fiona M L §

\8. Sea X = {f : {n ∈ N : n ≤ 5} → {n ∈ Z : 0 ≤ n ≤ 100}}, es decir, X es el conjunto de todas las funciones

del conjunto {1, . . . , 5} en el conjunto {0, . . . , 100}. Se define en X la relación R dada por

f R g ⇐⇒ f (4) ≡ g(4) (mód 3)

a) Decida si la relación es reflexiva, simétrica, transitiva y/o antisimétrica.

b) Sea g ∈ X la función difinida g(n) = 5 para todo n ∈ {1, . . . 5}. Calcule la cantidad de funciones inyectivas
f tales que f R g y f (5) = 14.

a) Dado que la relación R está definida en una congruencia algunas de las propiedades se cumplen de forma
trivial debido a la congruencia.
¿Es la relación R reflexiva?
f (4) ≡ f (4) (3)
Se cumple de manera trivial. R es reflexiva .

¿Es la relación R simétrica?

?
Si f (4) ≡ g(4) (3) =
⇒ g(4) ≡ f (4) (3)

Se cumple de manera trivial. R es simétrica .

¿Es la relación R transitiva?

?
Si f (4) ≡ g(4) (3) y g(4) ≡ h(4) (3) =
⇒ f (4) ≡ h(4) (3)

(3)
Se cumple de manera trivial. f (4) ≡ g(4) ≡ h(4) (3) R es transtiva .

§¡Aportá con correcciones, mandando ejercicios, ⋆ al repo, críticas, todo sirve. Ir al índice ↑
La idea es que la guía esté actualizada y con el mínimo de errores.
Álgebra I Práctica 1 Página 45

¿Es la relación R antisimétrica?

?
Si f (4) ≡ g(4) (3) y g(4) ≡ f (4) (3) =
⇒f =g

Y, me parece que no. Un contraejemplo viene al pelo. Busco dos funciones que cumplan la relación pero que
sean distintas:

f (n) = 6n
=⇒ f (4) ≡ g(4) (3) y g(4) ≡ f (4) (3) con f ̸= g
g(n) = 3n |{z} |{z} |{z} |{z}
(3) (3) (3) (3)
≡0 ≡0 ≡0 ≡0

El contraejemplo dice que R no es antisimétrica .

b) Quiero que ocurra que:

• f (5) = 14.
• f es inyectiva.
(3)
• f R g =⇒ f (4) ≡ g(4) ≡ 2 (3)

Esa última condición me dice que f (4) es de la pinta:

f (4) = 3k + 2 con k ∈ Z

¿Cuánto posibles valores del conjunto del codominio {0, . . . , 100} hay que cumplan que su módulo 3 es 2?
2 98
0 ≤ 3k + 2 ≤ 100 ⇔ − ≤ 3k + 2 ≤ ⇔ k ∈ {0, . . . , 32}
3 3
donde # {0, . . . , 32} = 33.
Ojito que hay una trampilla con el f (5) = 14, que o sorpresa 14 ≡ 2 (3)!!
Por lo tanto si me quiero armar funciones inyectivas que cumplan lo pedido:

f (4) → 32 opciones


 f (5) → única opción



f (1) → 99 opciones
f (2) → 98 opciones




f (3) → 97 opciones


f (4) y f (5) son las que se laburaron, las otras 3 f (1), f (2) y f (3) son el relleno donde solo hay que
prestar atención a no romper la inyectividad.
Se concluye que la cantidad de funciones f que cumplen lo pedido son en total:

32 · 1 · 99 · 98 · 97

Dale las gracias y un poco de amor ♥ a los que contribuyeron! Gracias por tu aporte:
5 naD GarRaz § 5 Magui Å

}¿Errores? Avisá acá así se corrige y ganamos todos. Ir a índice ↑

Compilado: 26/03/25 @ 10:37 . Chequeá si hay una versión nueva → acá.