Académique Documents
Professionnel Documents
Culture Documents
Teoría de Conjuntos
1. P(∅) ;
2. P({∅}) ;
3. P(P(P(∅))).
i) A ∩ B = A ∪ B ; ii) A ∪ B = A ∩ B
Ejercicio 1.6. Verificar las siguientes fórmulas donde A, B y C son subcon-
juntos de un conjunto X y A \ C = {x ∈ X/x ∈ A ∧ x ∈ / C}:
i) (A \ C) \ (B \ C) = (A \ B) \ C
ii) (A \ C) ∪ (B \ C) = (A ∪ B) \ C
iii) (A \ C) ∩ (B \ C) = (A ∩ B) \ C
iv) (A \ B) \ (A \ C) = A ∩ (C \ B)
v) (A \ B) ∪ (A \ C) = A \ (B ∩ C)
vi) (A \ B) ∩ (A \ C) = A \ (B ∪ C)
1
2 Álgebra I
A
f
/B g
/C y X h /Y k /Z.
Departamento de Álgebra
Relación 1. Teoría de Conjuntos 3
i) f es inyectiva
Ejercicio 1.22. Demostrar que las siguientes relaciones en R×R son de equiv-
alencia y describir geométricamente las clases de equivalencia:
i) (a, b)R(c, d) ⇐⇒ a2 + b2 = c2 + d2
Departamento de Álgebra
4 Álgebra I
A ∼ B ⇐⇒ A ∩ Y = B ∩ Y
Ejercicio 1.27.
i) Dar un ejemplo de una relación binaria que sea reflexiva y simétrica pero
que no sea transitiva.
Departamento de Álgebra
Relación 1. Teoría de Conjuntos 5
(X × Y )/T ∼
= (X/R) × (Y /S)
Ejercicio 1.34. Dibujar un diagrama para cada uno de los siguientes subcon-
juntos de N parcialmente ordenados por divisibilidad y encontrar los elemen-
tos notables que existan:
i) {1, 2, 3, 6, 12}
1^ @2
@3^
4^ @5^
6^ 7
Ejercicio 1.36. Encontrar todos los órdenes parciales que se pueden definir
en un conjunto de 3 elementos.
Departamento de Álgebra
6 Álgebra I
(x, y) ≤ (x0 , y 0 ) ⇔ x ≤ x0 ∧ y ≤ y 0
Demostrar que “≤" es una relación de orden en X × Y pero que este orden no
es total (incluso en el caso de que X e Y fueran totalmente ordenados) salvo
en en el caso de que X ó Y consistan de un solo elemento.
(x, y) ≤ (x0 , y 0 ) ⇔ x ≤ x0 ∨ (x = x0 ∧ y ≤ y 0 )
Departamento de Álgebra
Relación 1. Teoría de Conjuntos 7
f : P (X) −→ Y
P
definida, ∀A ∈ P (X), por f (A) = a∈A a.
Departamento de Álgebra
8 Álgebra I
por:
f (X) = (X ∩ A, X ∩ B)
Departamento de Álgebra
Relación 1. Teoría de Conjuntos 9
Departamento de Álgebra