Conjuntos

Intuitivamente, un conjunto es una coleccion de cosas, reales o imaginarias, llamadas

elementos del conjunto. Como veremos después, esta definición tiene algunos problemas cuando
los conjuntos son muy grandes. Pero lo importante es que cada conjunto está determinado por
sus elementos:

Dos conjuntos son iguales si tienen los mismos elementos.

Ejemplos.

• El conjunto de todos los seres vivos.

• El conjunto de las especies de seres vivos.

• El alfabeto ingles = {a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}

• El conjunto de los números naturales = {1,2,3,4,5,...} es denotado por Ν.

• El conjunto de los números reales, denotado por R.

Aunque los conjuntos pueden ser muy heterogeneos, los conjuntos mas útiles estan formados por
elementos con alguna propiedad en común, algo como

{ x / P(x) } = El conjunto de los x que tienen la propiedad P(x)

Ejemplos:

• El conjunto de las canciones de los Beatles = {x /x es cancion y x fue escrita por los
beatles}

• El conjunto de los números primos = { n ∈ Ν / n no es divisible por ningun m con

1<m<n }

• El conjunto de los números racionales = { r ∈ R / ∃ m,n ∈ N, r=m/n} = Q

• El conjunto de los números irracionales = { r ∈ R / ∃ m,n ∈ N, r=m/n} = I

Un conjunto vacio es un conjunto que no tiene elementos, asi que todos los conjuntos vacios
son iguales, lo denotamos por {} o por ∅.

Ejemplos.

• El conjunto de todos los perros voladores = ∅ = El conjunto de los triangulos con 4 lados.

• ∅ = {} ≠ {{}} = {∅}

Si A y B son conjuntos, decimos que A esta contenido en B, o que A es subconjunto de B, si

todos los elementos de A son elementos de B, y escribimos A ⊂ B o A⊆B.

A ⊂ B ⇔ ∀x, x ∈ A → x ∈ B

Por el contrario, cuando A no esta contenido en B escribimos A ⊄ B

A ⊄ B ⇔ ∃x, x ∈ A x ∉ B
Ejemplos.

• Si A = El conjunto de todas las aves

B = El conjunto de todos los animales con alas

C = El conjunto de todos los aniimales que vuelan

Entonces A ⊂ B , B ⊄ A , B ⊄ C , C ⊂ B , A ⊄ C , C ⊄ A .

• Las rectas y los planos son conjuntos de puntos. Los puntos son elementos del plano
mientras que las rectas son subconjuntos del plano.

Afirmación. Si A, B y C son conjuntos y A ⊂ B y B ⊂ C entonces A ⊂ C.

def
Demostración. A ⊂ B y B ⊂ C ⇔ (∀x, x ∈ A → x ∈ B) ∧ (∀x, x ∈ B → x ∈ C) ⇒
silog
⇒ (∀x, x ∈ A → x ∈ C) ⇔ A ⊂ C □

Afirmación. A = B si y solo si A ⊂ B y B ⊂ A
def
Demostración. A = B ⇔ A y B tienen los mismos elementos ⇔
def
⇔ ∀x (x ∈ A → x ∈ B) ∧ (x ∈ B → x ∈ A) ⇔ A⊂ByB⊂A □

Operaciones con conjuntos.

La unión de dos conjuntos A y B es el conjunto AUB formado por los elementos de A y los
elementos de B, es decir

A U B = { x / x ∈ A ∨ x ∈ B}

La intersección de dos conjuntos A y B es el conjunto AUB formado por los elementos de A y los
elementos de B, es decir

A ∩ B = { x / x ∈ A ∧ x ∈ B}

Ejemplo. Si A = El conjunto de los números naturales impares = {1,3,5,7,9,11,13,..}

y B = El conjunto de los múltiplos de 3 = {3,6,9,12,15,...}

entonces A U B = {1,3,5,6,7,9,11,12,13,15,...} A ∩ B = (3,9,15,21,27,...)

La diferencia entre dos conjuntos A y B es el conjunto A-B formado por los elementos de A que
no son elementos de B.

A – B = { x / x ∈A ∧ x ∉B }

Ejemplo. Si A y B son los conjuntos del ejemplo anterior, entonces

A-B = el conjunto de los impares que no son múltiplos de 3 = {1,5,7,11,13,17,19,23,...}

B-A = el conjunto de los múltiplos de 3 que son pares = {6,12,18, 24,...}

La unión y la intersección son operaciones entre conjuntos, que tienen algunas propiedades
parecidas a la suma y la multiplicación de números naturales.

Afirmación. Si A, B y C son conjuntos entonces se cumplen:

1. AUB=BUA La unión es conmutativa

2. A ∩B = B ∩ A La intersección es conmutativa

3. (AUB) U C = A U (BUC) = A U B U C La unión es asociativa

4. (A∩B) ∩ C = A ∩ (B∩C) = A ∩ B ∩ C La intersección es asociativa

5. A ∩ (BUC) = (A∩B) U (A∩C) La unión se distribuye sobre la intersección

6. A U (B∩C) = (AUB) ∩ (AUC) La intersección se distribuye sobre la unión

Demostración.

1. Tenemos que ver que A U B y B U A tienen los mismos elementos:

x∈AUB ⇔ x∈A ∨x∈B ⇔ x∈B ∨x∈A ⇔ x∈BUA □

2. Ejercicio.

3. Hay que ver que (AUB) U C y A U (BUC) tienen los mismos elementos:

x ∈ (AUB) U C ⇔ x ∈ AUB ∨ x ∈ C ⇔ (x ∈ A ∨ x ∈ B) ∨ x ∈ C ⇔

⇔ x ∈ A ∨ (x ∈ B ∨ x ∈ C) ⇔ x ∈ A ∨ x ∈ (BUC) ⇔ x ∈ A U (BUC) □

4. Ejercicio.

5. Veamos que A ∩ (BUC) y (A∩C) U (B∩C) tienen los mismos elementos:

x ∈ A ∩ (BUC) ⇔ x ∈ A ∧ x ∈ (BUC) ⇔ x ∈ A ∧ (x ∈ B ∨ x ∈ C) ⇔

⇔ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ C) ⇔ x ∈ (A∩B) U (A∩C) □

6. Ejercicio.

Hay otras maneras de combinar conjuntos para obtener otros conjuntos.

El producto cartesiano de dos conjuntos A y B es el conjunto AxB cuyos elementos son todas
las parejas (a,b) formadas por un elemento a de A y un elemento b de B:

A x B = { (x,y) / x ∈ A , y ∈ B }

Ejemplos.

• Si A = {1,2,3} y B ={1,2} entonces A X B = { (1,1), (1,2), (2,1), (2,2), (3,1), (3,2) }

• Si A = {1,2,3} y B ={ } entonces AXB={}

Ejercicios.

1. ¿Es verdad que AUB = AUC ⇔ B=C ? ¿Y que A∩B = A∩C ⇔ B=C?

2. Demuestra que la intersección de conjuntos es conmutativa y asociativa.

3. Demuestra que la intersección de conjuntos se distribuye sobre la unión.

4. Muestra que la diferencia de conjuntos no es asociativa, es decir, que (A-B)-C ≠ A-(B-C).

5. Encuentra 3 conjuntos A, B y C tales que A∩B, A∩C y B∩C sean infinitos, pero A∩B∩C = ∅.

6. Si A, B, C son conjuntos, define A x B x C y di como se relaciona con (A x B) x C.

Conjunto universal, complemento.

Cuando pensamos en conjuntos usualmente no nos interesan conjuntos demasiado heterogeneos,

donde ser revuelvan por ejemplo manzanas, poemas, numeros, amenazas y marcianos, sino que
nos restringimos de entrada a un üniverso¨mas pequeño, por ejemplo a los numeros, y pensamos
en conjuntos que esten contenidos en este “conjunto universal”, que puede cambiar de acuerdo a
lo que nos interese.

Si fijamos un conjunto universal U, el complemento de un conjunto A en U es el conjunto

formado por los elementos de U que no estan en A, y es denotado por A c.

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

Ojo: aunque Ac depende del conjunto universal U, este no se escribe si se adivina del contexto.

Ejemplos.

• Si A = { x / x es ave y x vuela} entonces Ac = {x / x no es ave o x no vuela}

La propiedad que define a Ac es la negación de la propiedad que define a A, pero A c depende de

quien sea el universo ya que no hemos dicho donde buscar los x que cumplen esa propiedad.

• Si P = {n ∈ N / n es primo} entonces se entiende que el conjunto universal es N y

Pc = {n ∈ N / n no es primo}

• El conjunto de los números algebráicos es el conjunto

A = { x ∈ R / x es raiz de algún polinomio con coeficientes enteros}

Su complemento (en el universo de los números reales) es el conjunto de los números

trascendentes:

Ac = { x ∈ R / x no es raiz de ningún polinomio con coeficientes enteros}

Afirmación. Si A y B son conjuntos en un universo U, entonces A - B = A ∩ Bc

Demostración. ∀x, x ∈ A - B ⇔ x∈A∧x∉B ⇔ x ∈ A ∧ x ∈ Bc ⇔ x ∈ A ∩ Bc □

Afirmación. Si A y B son conjuntos en un universo U, entonces A ⊂ B si y solo si Bc ⊂ Ac

Demostración. A⊂B ⇔ ∀x, x ∈ A → x ∈ B ⇔ ∀x, x ∉ B → x ∉ A ⇔

⇔ ∀x, x ∈ Bc → x ∈ Ac ⇔ Bc ⊂ Ac □

Las relaciones entre la unión, la intersección y el complemento estan dadas por las

Leyes de De Morgan:

1. (AUB)c = Ac ∩ Bc

2. (A∩B)c = Ac U Bc

Demostración.

1. ∀x, x ∈ (AUB)c ⇔ x ∉ AUB ⇔ x ∉ A ∧ x ∉ B ⇔ x ∈ Ac ∧ x ∈ Bc ⇔ x ∈ Ac ∩ Bc

2. Ejercicio.

Ejercicios.

7. Si A = { n / n es multiplo de 3} B = {n / n > 8} calcula A c , Bc , (AUB)c y (A∩B)c .

8. Demuestra la segunda ley de De Morgan.

10. Demuestra que el complemento de (A U B) ∩ C es (Ac ∩ Bc) U Cc (usa las leyes de de M)

Conjuntos de conjuntos.

Podemos considerar a conjuntos cuyos elementos sean otros conjuntos.

Ejemplos.

• El conjunto formado por los grupos en una escuela.

• El conjunto de todos los intervalos [a,b], donde [a,b]={x∈R / a≤x≤b }

• El conjunto formado por todas las rectas en el plano (este conjunto no es el plano, que es
un conjunto de puntos, sino un conjunto cuyos elementos son las rectas!)

Si A es cualquier conjunto, el conjunto potencia de A, es el conjunto cuyos elementos son todos

los subconjuntos de A, y es denotado por 2A.

Ejemplos.

• Si A = {1,2,3} entonces 2A = { ∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} }

• Si A = ∅ entonces el unico subconjuno de A es ∅ asi que 2∅ = {∅}

Familias de conjuntos.

A veces es necesario considerar familias grandes de conjuntos y hacer operaciones con ellos,
como intersectarlos o unirlos todos.

Ejemplos.

• Considerar la familia G de todos los grupos de la facultad de ciencias:

G = {g / g es un grupo de la facultad}

La unión de todos los grupos de la facultad se denota por Ug y la interseccion por ∩ g.

g∈G g∈G

Observar que U g = el conjunto de alumnos de la facultad y que ∩ g = ∅.

g∈G g∈G
La familia G tiene muchas subfamilias, por ejemplo la familia T de los grupos de la tarde.

Entonces U g = el conjunto de alumnos que toman algun curso en la tarde

g∈T
y el complemento de este conjunto es

∩ gc = el conjunto de alumnos que toman todos sus cursos en la mañana

g∈T

Si a es un alumno de la facultad entonces

U g = el conjunto de todos los alumnos que llevan alguna clase con a.

a∈g

∩ g = el conjunto de todos los alumnos que llevan todas sus clases con a.
a∈g

Ejercicios.

11. Da un ejemplo de un conjunto cuyos elementos sean conjuntos de conjuntos.

A
12. Si A = {1,2} ¿quienes son 2A y 22 ?

13. Muestra que si A y B son dos conjuntos entonces

a. 2A∩B = 2A ∩ 2B b. 2AUB ⊂ 2A U 2B.

14. Sea I la familia de todos los intervalos [-n,n] para n en N. Calcula U [-n,n] y ∩ [-n,n]
n∈N n∈N
c c
15. Si {Ai}i∈I es una familia de conjuntos, ¿ quien es (U A ) ? ¿ y (∩
i∈I i
A) ?
i∈I i
Conjuntos y lógica.

Todas las matemáticas modernas estan construidas de conjuntos, y basadas en la lógica.

La definición intuitiva de conjunto como una colección de cualquier clase de cosas lleva a
paradojas logicas. Si pudiéramos hablar de conjuntos sin ninguna restricción, podríamos
considerar, por ejemplo, al conjunto U de todos los conjuntos y podriamos considerar lo siguiente:

Sea V el conjunto cuyos elementos son todos los conjuntos que no son elementos de si mismos.
Entonces podemos preguntarnos si V es elemento de sí mismo, o si no lo es.
Si V no es elemento de sí mismo, entonces es uno de los conjuntos que no son elementos de sí
mismos, asi que V debe ser elemento de V, lo que es una contradicción.
Y si V sí es elemento de sí mismo, entonces V no es uno de los conjuntos que no son elementos
de sí mismos, y por lo tanto V no es elemento de V, lo que es una contradicción.

Esta paradoja (La paradoja de Russell) muestra que no puede existir un “conjunto universal” que
contenga a todos los conjuntos y que es necesario definir lo que son los conjuntos de manera
mucho mas cuidadosa. Pero tambien siembra la duda de que los conjuntos, aun definidos con
mucho mas cuidado, no lleven a otras contradicciones lógicas, y que las matemáticas, que están
basadas en los conjuntos, no vayan a ser ilogicas. En los últimos 100 años se ha trabajado
muchisimo para mostrar que los conjuntos, definidos cuidadosamente, no llevan a ninguna
contradicción lógica (esto se expresa diciendo que la teoría de conjuntos es consistente).

No sólo los conjuntos definidos de manera arbitraria llevan a contradicciones lógicas, las
proposiciones definidas de manera arbitraria también. Considerar por ejemplo la afirmación:

Esta afirmación es falsa

Observar que esa afirmación no puede ser cierta (porque entonces sería falsa!) y tampoco puede
ser falsa (porque entonces sería cierta!). Asi que no cualquier afirmación es una proposición (algo
que es o cierto o falso, pero no ambas o ninguna), y tenemos que tener cuidado en que clase de
afirmaciones permitimos.

Axiomas.

Definir lo que son los conjuntos y los elementos con precisión no es nada facil (es como tratar de
definir lo que son los puntos y las rectas), pero resulta que tampoco es necesario, porque lo que
importa realmente son las propiedades que tienen.

En la geometría no usamos lo que son los puntos y las rectas, sino únicamente las relaciones
entre ellos (por ejemplo: “por dos puntos pasa una recta” y “dos rectas distintas se intersectan a
lo mas en un punto”). Asumimos que estas propiedades son ciertas -decimos que son axiomas
de la geometría- y a partir de ahi, usando únicamente la lógica, tratamos de descubrir que otras
propiedades tienen.

Para estudiar conjuntos tampoco necesitamos saber que son, siempre y cuando sepamos cuales
son sus propiedades fundamentales, que hacen que se comporten como los conjuntos que
conocemos. Una lista de estas propiedades, a partir de las cuales solo necesitamos usar la logica
para averiguar todas las demas, es un sistema axiomatico para los conjuntos.
Estos son algunos de los axiomas de los conjuntos (faltan muchos mas):

• Existe un conjunto que no tiene elementos.

• Dos conjuntos son iguales si y solo si tienen los mismos elementos.

• Ningún conjunto es elemento de sí mismo.

• Si A es un conjunto y P es una propiedad entonces {x∈A / P(x)} tambien es un conjunto.

• Si A es un conjunto entonces existe un conjunto cuyos elementos son los subconjuntos de

A.

Ejercicios de repaso.

16. Demuestra que son equivalentes

A⊂B ⇔ A∩B = A ⇔ A∪B = B.

17. Demuestra que (A∩B)∪C = A∩(B∪C) si y solo si C ⊂ A.

18. Demuestra que C-(A∪B) = (C-A)∩(C-B)

19. ¿Que correspondencia hay entre las relaciones y operaciones de conjuntos (=, ⊂, U, ∩, c )
y las operaciones lógicas entre proposiciones (∧,∨,┐,→,↔)? ¿Cual corresponde a cual?

20. La diferencia simétrica o suma booleana de dos conjuntos A y B es el conjunto A+B

. formado por los elementos que están en alguno de los conjuntos pero no en el otro, es decir

A+B = (A-B) U (B-A)

a. Si A = {1,2,3} y B= {3,4} calcula A+B.

b. Muestra que A+B = AUB - A∩B

b. Muestra que para todo conjunto A, existe un único conjunto A' tal que A+A' = ∅.

c. Muestra que existe un único conjunto Z tal que para todo conjunto A, A+Z = A .

c. Demuestra que + es una operación conmutativa y asociativa entre conjuntos.

21. ¿Puedes dar otros ejemplos de “conjuntos imposibles” y de afirmaciones paradojicas?

22. ¿Que diran los otros axiomas de los conjuntos?

Diagramas de Venn

Si los elementos y los conjuntos son “cosas” ¿que quiere decir que una cosa este en otra?

Cardinalidad

Afirmacion. Si A y B son conjuntos finitos, entonces #AUB = #A + #B – #A∩C.

De una encuesta a 50 alumnos, a 36 les gusta el futbol y a 27 les gusta el beisbol ¿A cuantos les
gustan los dos deportes?

Si A y B son conjuntos finitos, entonces #AxB = #A ▪ #B

30% la linea 1, 33% la 2, 28% la 3, 5% la 4, 10% la 5, 8% la 6, 10% la 7, 13% la 8 y 12% la 9.

¿Al menos que porcentaje usan 2 o mas lineas?

De 100 clientes

44 like Classical
27 like all three
15 like only Pop
10 like Jazz and Classical, but not Pop
How many like Classical but not Jazz?

78 customers like Jazz or Pop (or possibly both).

19 customers marked “None of the above” when asked what they like.
12 like Jazz and Pop, but not classsical.
How many like only Jazz?