Conjunto S
Conjunto S
Conjunto S
1. Teoría de conjuntos 2
1.1. Nociones básicas de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1. Conjunto y elementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1. Unión, intersección y complementario . . . . . . . . . . . . . . . . . . . . 3
1.2.2. Diagramas de Venn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.3. Álgebra de operaciones de conjuntos . . . . . . . . . . . . . . . . . . . . 4
1.3. Principio de inducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. Conjuntos …nitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5. Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.1. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.3. Tipos de relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5.4. Relación de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.5. Relación de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1
Capítulo 1
Teoría de conjuntos
2
áquel que contiene todos los posibles elementos que estemos considerando. Ambas de…niciones
son imprecisas, pero cobrarán sentido cuando se de…nan a continuación las operaciones entre
conjuntos.
A \ B := fx : x 2 A y x 2 Bg:
A\B A y A\B B:
Se de…ne la unión de ambos conjuntos como el conjunto cuyos elementos pertenecen a alguno
de los conjuntos A o B. Se denota por
A [ B := fx : x 2 A o x 2 Bg:
A A[B y B A [ B:
A n B := fx : x 2 A y x 2
= Bg:
A n B = A \ Bc:
Esta operación no es commutativa ya que AnB 6= BnA. Por ejemplo, los conjuntos A = f1; 2; 3g
y B = f1; 4; 5g cumplen que A n B = f2; 3g mientras que B n A = f4; 5g. Se de…ne la diferencia
simétrica como
A 4 B := (A n B) [ (B n A);
que sí será una operación conmutativa. En el ejemplo anterior se tendría que A4B = f2; 3; 4; 5g.
3
Figura 1.1: Inclusión A B.
En general, se trata una buena herramienta para visualizar las diferentes propiedades que
relacionan diferentes conjuntos, aunque hemos de poner de mani…esto que en ningún caso,
suponen una prueba formal de las mismas.
4
Figura 1.3: Intersección, unión y diferencia de conjuntos.
No es difícil establecer un paralelismo entre las operaciones con conjuntos y las de la lógica
cambiando proposiciones por conjuntos, el operador _ por la unión [, y el operador ^ por la
intersección \.
Veamos por ejemplo como se prueba que (A[B)c = Ac \B c . Tomemos un elemento arbitrario
x 2 (A [ B)c . Entonces x 2 U n (A [ B), por lo que x 2 = A [ B, lo que implica que x 2 = Ay
x2= B. Como x 2 = A, se veri…ca que x 2 Ac . Similarmente x 2 B c . Como x pertenence a ambos
conjuntos x 2 Ac \ B c . Probamos así que (A [ B)c Ac \ B c . Probemos ahora la inclusión
contraria Ac \ B c (A [ B)c . Para ello tomamos x 2 Ac \ B c , que cumplirá por tanto x 2 Ac
y x 2 B c . Entonces x 2 = Ayx2 = B, por lo que x 2 = A [ B, lo que implica que x 2 (A [ B)c .
Así, si (A [ B)c Ac \ B c y Ac \ B c (A [ B)c , tenemos que Ac \ B c = (A [ B)c . De manera
análoga se prueban el resto de propiedades.
5
Si ahora tenemos una propiedad P (n) que depende del número natural n, el principio de
inducción a…rma que si P (1) es cierta, y suponiendo que P (n) es cierta hasta el valor n, se
veri…ca que P (n + 1) es cierta, entonces P (n) es cierta para todo número natural n.
Consideremos el siguiente ejemplo: probar que la suma de los n primeros números naturales
es igual a n2 . Aquí la propiedad
como queríamos probar. Nótese que hemos usado que 1 + 3 + ::: + (2n 1) = n2 , es decir, la
hipótesis de inducción.
jA [ Bj = jAj + jBj:
6
Por otra parte, B = (BnA) [ (B \ A) y (BnA) \ (B \ A) = ;, por lo que
de donde
jBnAj = jBj jB \ Aj:
Sustituyendo en (1.1) obtenemos
jA Bj = jAj jBj:
1.5.2. Relaciones
Dados dos conjuntos A y B, se de…ne la relación R entre ambos como un subconjunto de
producto cartesiano A B. Si (a; b) 2 R, se dice que a está relacionado con b, y lo contrario si
(a; b) 2
= R. Se denotará a b y a b, respectivamente. Si A = B, se dice que R es una relación
sobre A. Dada una relación R, se de…ne su relación inversa como R 1 = f(b; a) : (a; b) 2 Rg.
Por ejemplo, dado A = f1; 2; 3g se de…ne la relación
7
de la forma (a; f (a)) con a 2 A y f (a) 2 B. El conjunto A se denomina dominio de f , mientras
que B es el rango. La imagen de f es
Im f = f (A) := ff (a) : a 2 Ag B.
R es re‡exiva si a a.
R es simétrica si a b, entonces b a.
R = f(1; 1); (1; 2); (2; 1); (2; 2); (3; 3)g
R00 = f(1; 1); (1; 2); (2; 1); (2; 2); (3; 1)g
8
Figura 1.4: Grafo de la relación R00 .
[a] := fb 2 A : a bg.
R = f(1; 1); (1; 2); (2; 1); (2; 2); (3; 3)g
es de equivalencia sobre A = f1; 2; 3g. Hay dos clases de equivalencia, [1] = f1; 2g y [3] = f3g.
Respecto a R es como si A solo tuviera dos elementos al ser 1 y 2 equivalentes. Es decir,
A= = f[1]; [3]g.
9
Figura 1.5: Diagrama de Hasse de la relación de orden R0 .
R0 = f(1; 1); (1; 2); (1; 3); (2; 2); (2; 3); (3; 3)g
es una relación de orden total. El conjunto de los naturales con el orden usual es una relación
de orden total.
Las relaciones de orden pueden representarse grá…camente mediante diagramas de Hasse.
En ellos se eliminan todos los elementos re‡exivos y los de transitividad, es decir, los que pueden
obtenerse a partir de otros dos mendiante la propiedad transitiva. Por ejemplo, la relación R0
se puede representar grá…camente eliminando la línea (1; 3) como se muestra en la …gura 1.5.
10
Por ejemplo, consideremos el conjunto
Sea R la relación sobre A de forma que a b si a divide a b, esto es, existe c 2 N tal que
b = a c. Es fácil ver que R es una relación de orden parcial ya que por ejemplo, ni 5 12
0 0
ni 12 5. Dado A = f1; 2; 3; 6g se tiene que 6 y 12 son cotas superiores de A , 6 es supremo,
máximo y maximal. Respectivamente, 1 es cota inferior, ín…mo, mínimo y minimal de A0 . Si
ahora tomamos B = f1;2; 3; 9g, se tiene que 1 es cota inferior, ín…mo , minimo y elemento
minimal. Sin embargo, no hay cota superior ni supremo ni máximo ya que ningún elemento de
A es dividido por 6 y 9.
1.6. Ejercicios
1. Enumerar los elementos de los siguientes conjuntos:
a) A = fx 2 N : 3 x < 9g:
b) B = fx 2 N : x < 22 y parg:
c) C = fx 2 N : 4x < 9g:
d) D = fx 2 N : 4x = 9g:
a) Encontrar A [ B, A \ B, A [ C, A \ C, D [ F y D \ F .
b) Obtener Ac , B c , Dc , E c , AnB, BnA, DnE.
c) Calcular (A \ B)c [ E, (A [ F ) n B, (F \ E c ) [ (A [ Dc ).
a) BnA = B \ Ac :
b) A \ (B [ C) = (A \ B) [ (A \ C):
c) (A [ B)n(A \ B) = (AnB) [ (BnA):
6. En una encuesta aplicada a 120 personas se encontró que 65 leen el As, 20 leen tanto el
As como el Marca, 45 leen el Marca, 25 leen tanto el As como el Sport, 42 leen el Sport,
15 leen tanto el Marca como el Sport, y 8 leen las tres publicaciones. Se pide:
11
a) Encontrar el número de personas que leen por lo menos una de las tres publicaciones.
b) Encontrar el número de personas que leen exactamente una publicación.
7. Dado un conjunto A, se de…ne 2A o P (A) como el conjunto que contiene cada uno de los
subconjuntos de A. Calcular 2A para A = f1; 2; 3; 4g.
8. Sean An = fn; 2n; 3n; 4n; :::g para todo n 2 N. Calcular A3 \ A5 , A4 \ A5 , y [n2P An
donde P es el conjunto de los números primos.
10. Los conjuntos difusos o fuzzy fueron introducidos por L. Zadeh a mediados del siglo pasado
y en la actualidad tiene múltiples aplicaciones a la ingeniería y la mal llamada inteligencia
arti…cial. Se usa en circunstancias en las que hay una gradación entre la pertenencia o
no de un elemento al conjunto. En concreto, dado un conjunto X, un conjunto difuso A
es una aplicación A : X ! [0; 1] de forma que A(x) es un número entre 0 y 1 que indica
el grado de pertenencia de x a A. Dados dos A y B dos conjuntos difusos, se de…nen la
intersección, unión y complementario de conjuntos difusos como
13. Dado el conjunto Z de enteros y un entero m > 1. Se dice que x es congruente con y
módulo m, que se denota x y(mod m) si x y es divisible entre m. Demostrar que esto
de…ne una relación de equivalencia sobre Z.
12
14. SeaA un conjunto de enteros diferentes de cero y sea la relación sobre A de…nida por
(a; b) (c; d) siempre que ad = bc para todo a; b; c; d 2 A. Demostrar que es una
relación de equivalencia.
15. Sea L cualquier colección de conjuntos. Probar que la relación de inclusión de conjuntos
es de orden parcial sobre L.
13
Bibliografía
[2] M .Díaz Toca, F. Guil Asensio y L. Marín, Matemáticas para la computación, Ed. Diego
Marín.
14