Fundamento de Conjuntos

Operaciones entre Conjuntos

MATEMTICAS DISCRETAS
JAIME ANDRS CASTAO PEREA
jaime.castano@correo.icesi.edu.co
universomatematico81.blogspot.com
Departamento de Matemticas y Estadstica
Universidad Icesi
2014-2

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Fundamentos de Conjuntos

Operaciones entre Conjuntos

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Operaciones entre Conjuntos

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Preguntas de inters

Algunas preguntas que debes saber responder al da de hoy:

1

Qu es un conjunto? cmo se nombran?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Preguntas de inters

Algunas preguntas que debes saber responder al da de hoy:

1

Qu es un conjunto? cmo se nombran?

Qu es un elemento? Cmo se simbolizan?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Preguntas de inters

Algunas preguntas que debes saber responder al da de hoy:

1

Qu es un conjunto? cmo se nombran?

Qu es un elemento? Cmo se simbolizan?

Cmo te puedes referir a los conjuntos? Cita un ejemplo

de cada uno.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Preguntas de inters

Algunas preguntas que debes saber responder al da de hoy:

1

Qu es un conjunto? cmo se nombran?

Qu es un elemento? Cmo se simbolizan?

Cmo te puedes referir a los conjuntos? Cita un ejemplo

de cada uno.

Qu es la relacin de pertenencia y para qu la usas?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Preguntas de inters

Algunas preguntas que debes saber responder al da de hoy:

1

Qu es un conjunto? cmo se nombran?

Qu es un elemento? Cmo se simbolizan?

Cmo te puedes referir a los conjuntos? Cita un ejemplo

de cada uno.

Qu es la relacin de pertenencia y para qu la usas?

Qu es la relacin de inclusin y para qu la usas?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Preguntas de inters

Algunas preguntas que debes saber responder al da de hoy:

1

Qu es un conjunto? cmo se nombran?

Qu es un elemento? Cmo se simbolizan?

Cmo te puedes referir a los conjuntos? Cita un ejemplo

de cada uno.

Qu es la relacin de pertenencia y para qu la usas?

Qu es la relacin de inclusin y para qu la usas?

Qu es un diagrama de Venn?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Un concepto importante, presente en demostraciones

vinculadas con los conjuntos, corresponde al axioma de
extensin.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Un concepto importante, presente en demostraciones

vinculadas con los conjuntos, corresponde al axioma de
extensin.
Axioma de extensin
Si todo elemento de A pertenece a B y todo elemento de B
pertenece al conjunto A, entonces los conjuntos son iguales.
Escribimos A = B.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Un concepto importante, presente en demostraciones

vinculadas con los conjuntos, corresponde al axioma de
extensin.
Axioma de extensin
Si todo elemento de A pertenece a B y todo elemento de B
pertenece al conjunto A, entonces los conjuntos son iguales.
Escribimos A = B.
Simblicamente, Cmo puedes escribir el axioma anterior?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Un concepto importante, presente en demostraciones

vinculadas con los conjuntos, corresponde al axioma de
extensin.
Axioma de extensin
Si todo elemento de A pertenece a B y todo elemento de B
pertenece al conjunto A, entonces los conjuntos son iguales.
Escribimos A = B.
Simblicamente, Cmo puedes escribir el axioma anterior?
Para probar que dos conjuntos son iguales, se debe probar que
A B y B A. Qu significa esto?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

En ocasiones, existen en matemtica, conjuntos que carecen

de elementos. Puedes dar un ejemplo?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

En ocasiones, existen en matemtica, conjuntos que carecen

de elementos. Puedes dar un ejemplo? A este conjunto que
carece de elementos se le denomina Conjunto vaco. Se
puede simbolizar como {} .

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

En ocasiones, existen en matemtica, conjuntos que carecen

de elementos. Puedes dar un ejemplo? A este conjunto que
carece de elementos se le denomina Conjunto vaco. Se
puede simbolizar como {} .
La existencia de este conjunto se da como un axioma.
Axioma del conjunto vaco
Existe un conjunto que no tiene elementos

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

En ocasiones, existen en matemtica, conjuntos que carecen

de elementos. Puedes dar un ejemplo? A este conjunto que
carece de elementos se le denomina Conjunto vaco. Se
puede simbolizar como {} .
La existencia de este conjunto se da como un axioma.
Axioma del conjunto vaco
Existe un conjunto que no tiene elementos
Teorema
Sea A un conjunto, entonces A. Qu significa esto?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

En ocasiones, existen en matemtica, conjuntos que carecen

de elementos. Puedes dar un ejemplo? A este conjunto que
carece de elementos se le denomina Conjunto vaco. Se
puede simbolizar como {} .
La existencia de este conjunto se da como un axioma.
Axioma del conjunto vaco
Existe un conjunto que no tiene elementos
Teorema
Sea A un conjunto, entonces A. Qu significa esto?
Escribe dos ejemplos por comprensin de conjuntos que no
tengan elementos.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Tamao o nmero de elementos

Si A es un conjunto, cmo se denomina el nmero de
elementos de un conjunto?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Tamao o nmero de elementos

Si A es un conjunto, cmo se denomina el nmero de
elementos de un conjunto?
Definicin
El nmero de elementos distintos de un conjunto A se
denomina Cardinalidad de A. Se simboliza como #(A)
Car (A) |A|.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Tamao o nmero de elementos

Si A es un conjunto, cmo se denomina el nmero de
elementos de un conjunto?
Definicin
El nmero de elementos distintos de un conjunto A se
denomina Cardinalidad de A. Se simboliza como #(A)
Car (A) |A|.
Ejemplo
Cita algunos ejemplos. Adems, cita un ejemplo en donde los
conjuntos sean iguales y tengan cardinalidad distinta.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Tamao o nmero de elementos

Si A es un conjunto, cmo se denomina el nmero de
elementos de un conjunto?
Definicin
El nmero de elementos distintos de un conjunto A se
denomina Cardinalidad de A. Se simboliza como #(A)
Car (A) |A|.
Ejemplo
Cita algunos ejemplos. Adems, cita un ejemplo en donde los
conjuntos sean iguales y tengan cardinalidad distinta.
Definicin
Un conjunto finito es un conjunto con una cantidad finita de
elementos. De lo contrario se denomina conjunto infinito.
Jaime Andrs Castao Perea
MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Los conjuntos como objetos matemticos, pueden ser

combinados mediante operaciones como:
S
1
Unin [ ]
T
2
Interseccin [ ]
3

Diferencia []

Complemento [0 ]

Producto Cartesiano []

Adems, a partir de un conjunto X , podemos obtener el

conjunto llamado:
Partes o potencia del conjunto X , simbolizado como P(X )

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Unin
Definicin
S
La unin de losSconjuntos A y B, simbolizada como A B se
define como A B = {x : x A x B}

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Unin
Definicin
S
La unin de losSconjuntos A y B, simbolizada como A B se
define como A B = {x : x A x B}
La unin satisface las siguientes propiedades:
Propiedades
1
2
3
4
5
6

S
Idempotencia: A A = A
S
S
Conmutativa: A B = B A
S S
S S
Asociativa: (A B) C = A (B C)
S
Identidad: A = A
S
A (A B)
S
Si A B entonces A B = B.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Interseccin
Definicin
LaTinterseccin de los conjuntos
A y B, simbolizada como
T
A B se define como A B = {x : x A x B}

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Interseccin
Definicin
LaTinterseccin de los conjuntos
A y B, simbolizada como
T
A B se define como A B = {x : x A x B}
La interseccin satisface las siguientes propiedades:
Propiedades
1
2
3
4
5
6

T
Idempotencia: A A = A
T
T
Conmutativa: A B = B A
T T
T T
Asociativa: (A B) C = A (B C)
T
Identidad: A = A
T
(A B) A
T
Si A B entonces A B = A

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Diferencia
Definicin
La diferencia de los conjuntos A y B, simbolizada como A B
se define como A B = {x : x A x
/ B}

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Diferencia
Definicin
La diferencia de los conjuntos A y B, simbolizada como A B
se define como A B = {x : x A x
/ B}
La Diferencia satisface las siguientes propiedades:
Propiedades
1

AA=

A=A

A=

A (A B) = A

(A B) C = A (B

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

B
S

C)
Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Complemento
Definicin
Sea U y A conjuntos tales que A U. El complemento de A en
U o con respecto a U, simbolizado como A0 Ac se define
como A0 = U A = {x U : x
/ A}

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Complemento
Definicin
Sea U y A conjuntos tales que A U. El complemento de A en
U o con respecto a U, simbolizado como A0 Ac se define
como A0 = U A = {x U : x
/ A}
El complemento satisface las siguientes propiedades:
Propiedades
T
1
A A0 =
2
3
4
5

0 = U
(U 0 )0 = U
S
T
(A B)0 = A0 B 0
T
S
(A B)0 = A0 B 0
S
A A0 = U

6
Jaime Andrs Castao Perea
MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Definicin
El producto cartesiano de los conjuntos A y B, simbolizado
como A B se define como A B = {(a, b) : a A, b B}.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Definicin
El producto cartesiano de los conjuntos A y B, simbolizado
como A B se define como A B = {(a, b) : a A, b B}.
El producto cartesiano ser fundamental en la definicin del
concepto de funcin mas adelante.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Definicin
El producto cartesiano de los conjuntos A y B, simbolizado
como A B se define como A B = {(a, b) : a A, b B}.
El producto cartesiano ser fundamental en la definicin del
concepto de funcin mas adelante. Qu pasa si no son dos
conjuntos solamente? Se puede definir producto cartesiano en
general para n conjuntos.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Definicin
El producto cartesiano de los conjuntos A y B, simbolizado
como A B se define como A B = {(a, b) : a A, b B}.
El producto cartesiano ser fundamental en la definicin del
concepto de funcin mas adelante. Qu pasa si no son dos
conjuntos solamente? Se puede definir producto cartesiano en
general para n conjuntos.
Definicin
El producto cartesiano de los conjuntos A1 , A2 , . . . An ,
simbolizado como A1 . . . An se define como
A1 . . . An = {(a1 , a2 , . . . , an ) : ai Ai , i = 1, . . . n}.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Definicin
Dado el conjunto A, el conjunto partes de A, simbolizado como
P(A) se define como P(A) = {X : X A}.

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Definicin
Dado el conjunto A, el conjunto partes de A, simbolizado como
P(A) se define como P(A) = {X : X A}.
Ejemplo
Sea A = {a}, B = {1, 2, 3}. Escribe el conjunto partes de cada
uno de ellos. cul es el cardinal de cada uno de ellos?
Puedes contar el nmero de elementos de partes de un
conjunto? Cmo lo calculas?

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Ejercicios para demostrar

Algunas propiedades distributivas
S T
S T S
1
A (B C) = (A B) (A C)
T S
T S T
2
A (B C) = (A B) (A C)
S
T
3
A (B C) = (A B) (A C)
T
S
4
A (B C) = (A B) (A C)
Otros ejercicios de inters:
1
2
3

A B = B A si y slo si A = B
T
A B = A si y slo si A B =
A B = B si y slo si A = B =

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Uniones e intersecciones generalizadas

Definicin
La unin de una coleccin de conjuntos es el conjunto que
contiene aquellos elementos que son miembros de al menos
uno de los conjuntos de la coleccin. Esta unin se simboliza
n
S
S
S S
Ai .
como A1 A2 . . . An =
i=1

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Uniones e intersecciones generalizadas

Definicin
La unin de una coleccin de conjuntos es el conjunto que
contiene aquellos elementos que son miembros de al menos
uno de los conjuntos de la coleccin. Esta unin se simboliza
n
S
S
S S
Ai .
como A1 A2 . . . An =
i=1

Definicin
La interseccin de una coleccin de conjuntos es el conjunto
que contiene aquellos elementos que son miembros de cada
uno de los conjuntos de la coleccin. Esta interseccin se
n
T T T
T
simboliza como A1 A2 . . . An =
Ai .
i=1
Jaime Andrs Castao Perea
MATEMTICAS DISCRETAS

Universidad Icesi

Fundamento de Conjuntos

Operaciones entre Conjuntos

Sobre ejercicios sugeridos

Listado
Seccin 1.6: 1,3,4,5,7,8,9,10,11,12,13,14,15,16,17,19
20,21,23,25,26.
Listado
Seccin 1.7: 4,5,6,7,8,9,10,12,14,15,16,17,18,19,21
23,24,25,37,42,38
Prximo tema
Seccin 1.8: Funciones

Jaime Andrs Castao Perea

MATEMTICAS DISCRETAS

Universidad Icesi