Matemticas Discretas

Oscar Bedoya
oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/MD/

* * * * *

Definicin de conjunto Subconjunto y subconjunto propio Conjunto potencia Producto cartesiano Operaciones con conjuntos

Teora de Conjuntos
George Cantor Defendi su tesis doctoral en 1867 sobre teora de nmeros

Demostr que los nmeros reales son no enumerables

Es considerado el fundador de la teora de conjuntos (1845-1918)

Teora de Conjuntos
Nocin de conjunto
Conjunto de vocales del alfabeto

A={a,e,i,o,u} Conjunto de enteros positivos menores que 100

B={1,2,3,4,,99} Conjunto de nmeros naturales

C={0,1,2,3,4,5,6,} Conjunto de operadores aritmticos conmutativos

D={+,x}

Teora de Conjuntos
Los conjuntos A y B son iguales?
A={a,e,i,o,u}

B={u,o,i,e,a}

Teora de Conjuntos
Los conjuntos A y B son iguales?
A={a,e,i,o,u}

B={u,o,i,e,a} Un conjunto es una coleccin desordenada de objetos

Teora de Conjuntos
Los conjuntos A y B son iguales?
A={a,a,a,a,e,e,e,e,e,i,o,u}

B={a,e,i,o,u}

Teora de Conjuntos
Los conjuntos A y B son iguales?
A={a,a,a,a,e,e,e,e,e,i,o,u}

B={a,e,i,o,u} Dos conjuntos son iguales si tienen los mismos elementos sin importar la cantidad

Teora de Conjuntos
Conjunto vacio
Representa el conjunto que no tiene elementos, se puede expresar de las dos siguientes maneras: {}

Teora de Conjuntos
Determine si los siguientes conjuntos son iguales:
{1,3,3,3,3,3,3,5,5,5,5} y {5,3,1}

{{1}} y {1} {{1,1,1,1,1},1,1,1,1,1} y {1,{1}}

{ } y { , { }} { } y {{ }, }

{x|x es un entero positivo menor que 5} y {1,2,3,4}

Teora de Conjuntos
Determine si los siguientes conjuntos son iguales:
{1,3,3,3,3,3,3,5,5,5,5} y {5,3,1}, si

{{1}} y {1}, no {{1,1,1,1,1},1,1,1,1,1} y {1,{1}}, si

{ } y { , { }}, no { } y {{ }, }, si

{x|x es un entero positivo menor que 5} y {1,2,3,4}, si

Teora de Conjuntos
Pertenencia sobre conjuntos
Dado un conjunto A, por ejemplo, A={w,x,y}, se utiliza la notacin: x A para indicar que el elemento x pertenece al conjunto A

z A para el caso contrario

Teora de Conjuntos
Sea A={1,2,3,4,5} responda falso o verdadero:
1 A

2
{1}

A A
A A

{2,3}

Teora de Conjuntos
Sea A={1,2,3,4,5} responda falso o verdadero:
1 A, verdadero

2
{1}

A, falso A, falso
A, falso A, verdadero

{2,3}

Teora de Conjuntos
Sea A={1,2,{3,4},5,{5,6}} responda falso o verdadero:
1 A

{3,4}
5 {5}

A
A A

{3,4,5}

Teora de Conjuntos
Sea A={1,2,{3,4},5,{5,6}} responda falso o verdadero:
1 A, verdadero

{3,4}
5 {5}

A, verdadero

A, falso
A, verdadero A, falso

{3,4,5}

A, falso

Teora de Conjuntos
Subconjunto
El conjunto A es subconjunto de B, A B, si y solo si todo elemento de A es tambin un elemento de B {1,2} {1,2,6} {1,2,3,4,5} {1,2,3,4,5}

Teora de Conjuntos
Subconjunto
Para cualquier conjunto S, se cumple que S

Para cualquier conjunto S, se cumple que S S

Teora de Conjuntos
Sean A={1,2,3}, B={1,2,3,4,5,6}, C={1,6} indique si se presentan las siguientes relaciones entre conjuntos: A B
A C B A

B C C A
C B

Teora de Conjuntos
Sean A={1,2,3}, B={1,2,3,4,5,6}, C={1,6} indique si se presentan las siguientes relaciones entre conjuntos: A B, si
A C, no B A, no

B C, no C A, no
C B, si

Teora de Conjuntos
Sean P={1,2}, Q={1,2,3}, R={1,2,3}, indique si:
P R

Q R

Teora de Conjuntos
Sean P={1,2}, Q={1,2,3}, R={1,2,3}, indique si:
P R

Q R note que P R y Q=R

Teora de Conjuntos
Subconjunto propio
El conjunto A es subconjunto propio de B, A B, si y solo si, A B y A B

Teora de Conjuntos
Subconjunto propio
El conjunto A es subconjunto propio de B, A B, si y solo si, A B y A B Sean P={1,2}, Q={1,2,3}, R={1,2,3}, se cumple: P RyP R

Q R pero Q R

Teora de Conjuntos
Sean A={1,2,3}, B={3,3,1}, C={3,2,1,1,1,2} indique si se presentan las siguientes relaciones entre conjuntos: A B
A C B A

B C C A
C B

Teora de Conjuntos
Sean A={1,2,3}, B={3,3,1}, C={3,2,1,1,1,2} indique si se presentan las siguientes relaciones entre conjuntos: A B, no
A C, no B A, si

B C, si C A, no
C B, no

Teora de Conjuntos
Determine si cada una de las siguientes expresiones es falsa o verdadera: x
{x}

{x}
{x} {x}

{x,y}

{x} {x}

{x} {{x}, y, z}
{x} {x} {x}

Teora de Conjuntos
Determine si cada una de las siguientes expresiones es falsa o verdadera: x
{x}

{x}, verdadero
{x}, falso {x}, falso

{x,y}

{x} {x}

{x}, falso {{x}, y, z}, verdadero

{x}, verdadero {x}, falso {x}, verdadero

Teora de Conjuntos
Determine si cada una de las siguientes expresiones es falsa o verdadera: 0
{0} {0}

{0}

{0} {0,{0,0}}
{0} {0} {0} {0}

Teora de Conjuntos
Determine si cada una de las siguientes expresiones es falsa o verdadera: 0
{0}

, falso
{0}, falso , falso

{0}, verdadero

{0} {0,{0,0}}, verdadero

{0} {0}, falso {0} {0}, verdadero

Teora de Conjuntos
Cardinalidad de un conjunto |S|
La cardinalidad de un conjunto S, denotado por |S|, indica la cantidad de elementos diferentes

Teora de Conjuntos
Cardinalidad de un conjunto |S|
La cardinalidad de un conjunto S, denotado por |S|, indica la cantidad de elementos diferentes Para A={3,3,3,3,1,1,1,2,2,2}, |A|=? Para A={1,2,3, {4,5}}, |A|=?

Para A= , |A|=?

Teora de Conjuntos
Cardinalidad de un conjunto |S|
La cardinalidad de un conjunto S, denotado por |S|, indica la cantidad de elementos diferentes Para A={3,3,3,3,1,1,1,2,2,2}, |A|=3 Para A={1,2,3, {4,5}}, |A|=4

Para A= , |A|=0

Teora de Conjuntos
Indique la cardinalidad de los siguientes conjuntos:

{x|x es un entero positivo impar menor que 10}

{a} {{a,b}}

{a, {a}} {a, a, {a,a}, {a,a,a}}

Teora de Conjuntos
Indique la cardinalidad de los siguientes conjuntos:

{x|x es un entero positivo impar menor que 10}, 5

{a}, 1 {{a,b}}, 1

{a, {a}}, 2 {a, a, {a,a}, {a,a,a}}, 2

Teora de Conjuntos
Indique la cardinalidad de los siguientes conjuntos:

{a, {a}, {a,{a}}}

{3, } { }

{ ,

, { }}

Teora de Conjuntos
Indique la cardinalidad de los siguientes conjuntos:

{a, {a}, {a,{a}}}, 3

{3, }, 2 { }, 1

{ ,

, { }}, 1

Teora de Conjuntos
Conjunto potencia P(S)
Dado un conjunto S, el conjunto potencia es aquel que tiene todos los subconjuntos de S

Teora de Conjuntos
Conjunto potencia P(S)
Dado un conjunto S, el conjunto potencia es aquel que tiene todos los subconjuntos de S Dado A={1,2,3} P(A)= ?

Teora de Conjuntos
Conjunto potencia P(S)
Dado un conjunto S, el conjunto potencia es aquel que tiene todos los subconjuntos de S Dado A={1,2,3} P(A)={ ,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

Teora de Conjuntos
Conjunto potencia P(S)
Dado un conjunto S, el conjunto potencia es aquel que tiene todos los subconjuntos de S En general, dado un conjunto A con n elementos, el conjunto P(A) tiene 2n elementos

Teora de Conjuntos
Sea S={1,{2,3},4}, muestre P(S)

Teora de Conjuntos
Sea S={1,{2,3},4}, muestre P(S)

- P(S)={ , {1}, {{2,3}}, {4}, {1,{2,3}}, {1,4}, {{2,3},4}, {1,{2,3},4}}

Teora de Conjuntos
Sea S= , muestre P(S)

Teora de Conjuntos
Sea S= , muestre P(S)

- P(S)={ }

Teora de Conjuntos
Encuentre los siguientes conjuntos potencia:

P( P( ) )
P( {{a,c},{a,b}} ) P( {1,2,3,4} )

Teora de Conjuntos
Encuentre los siguientes conjuntos potencia:

P(P( ))
P( )={ } P(P( ))=P({ })={ , { }}

P({{a,c},{a,b}})={ ,{a,c},{a,b},{{a,c},{a,b}}} P({1,2,3,4})={ ,{1},{2},{3},{4},{1,2},{1,3},{1,4},{2,3},{2,4}, {3,4},{1,2,3},{1,2,4},{2,3,4},{1,3,4},{1,2,3,4}}

Teora de Conjuntos
Producto cartesiano AxB
Dados dos conjuntos A y B, el producto cartesiano de A y B, denotado por AxB es el conjunto de todos los pares ordenados (a,b) donde a A y b B

AxB = {(a,b) | a A

b B}

Teora de Conjuntos
Producto cartesiano AxB
Dados dos conjuntos A y B, el producto cartesiano de A y B, denotado por AxB es el conjunto de todos los pares ordenados (a,b) donde a A y b B

AxB = {(a,b) | a A A={1,2,3}

B={a,b} AxB=?

b B}

Teora de Conjuntos
Producto cartesiano AxB
Dados dos conjuntos A y B, el producto cartesiano de A y B, denotado por AxB es el conjunto de todos los pares ordenados (a,b) donde a A y b B

AxB = {(a,b) | a A A={1,2,3}

B={a,b}

b B}

AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}

Teora de Conjuntos
Producto cartesiano AxB
Dados dos conjuntos A y B, el producto cartesiano de A y B, denotado por AxB es el conjunto de todos los pares ordenados (a,b) donde a A y b B

AxB = {(a,b) | a A A={1,2,3}

B={a,b}

b B}

AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)} BxA=?

Teora de Conjuntos
Producto cartesiano AxB
Dados dos conjuntos A y B, el producto cartesiano de A y B, denotado por AxB es el conjunto de todos los pares ordenados (a,b) donde a A y b B

AxB = {(a,b) | a A A={1,2,3}

B={a,b}

b B}

AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)} BxA={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}

Teora de Conjuntos
Producto cartesiano AxB
Dados dos conjuntos A y B, el producto cartesiano de A y B, denotado por AxB es el conjunto de todos los pares ordenados (a,b) donde a A y b B

AxB = {(a,b) | a A A={1,2,3}

B={a,b}

b B}

|AxB|=|A| |B|

AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)} BxA={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}

Teora de Conjuntos
Producto cartesiano AxB
Dados A={1,2} y B={ , , , }

AxB={(1, ),(1, ),(1, ),(1, ),(2, ),(2, ),(2, ),(2, )} BxA={( ,1),( ,1),( ,1),( ,1),( ,2),( ,2),( ,2),( ,2)}

Teora de Conjuntos
Ren Descartes

Estudi matemticas y leyes

A los 18 aos se desencant de estudiar y se dedic a recorrer el mundo El servicio militar y cmo decidi su futuro Escribi el Discurso del Mtodo (hiptesis del espritu maligno*)

(1596-1650)

Teora de Conjuntos
Ren Descartes

Motivacin de la duda metdica (niez y los sueos) Meditacin en la guerra de 1637

El alma como entidad libre del mundo slido La existencia de Dios Las profesiones de un ser humano (1596-1650)

Teora de Conjuntos
Dados A={a,b}, B={x,y,z}, C={0,1} calcule:
AxB

AxA BxC

Teora de Conjuntos
Dados A={a,b}, B={x,y,z}, C={0,1} calcule:
AxB={(a,x),(a,y),(a,z),(b,x),(b,y),(b,z)}

AxA={(a,a),(a,b),(b,a),(b,b)} BxC={(x,0),(x,1),(y,0),(y,1),(z,0),(z,1)}

Teora de Conjuntos
Dados A={ }, B={x,y,z} calcule:
AxB

Teora de Conjuntos
Dados A={ }, B={x,y,z} calcule:
AxB={ }

Teora de Conjuntos
Determine si cada una de las siguientes sentencias es falsa o verdadera { } P({ })
P(P({ })) { ,{ }}

|{a,b,c}x{1,2}| < |P({a,b})|

Teora de Conjuntos
Determine si cada una de las siguientes sentencias es falsa o verdadera { }
{ } { ,{ }}

P({ })
{ , { }}, verdadero P(P({ }))

{ ,{ }}
6<4, falso

{ , { }, {{ }}, { ,{ }}}, verdadero

|{a,b,c}x{1,2}| < |P({a,b})|

Teora de Conjuntos
Operaciones entre conjuntos
Unin

Interseccin Diferencia
Complemento

Teora de Conjuntos
Operaciones entre conjuntos
Unin. A B={x|x A x B}

Interseccin. A B={x|x A Diferencia. A-B={x|x A

Complemento. A={x|x A}

x B}

x B}

Teora de Conjuntos
Operaciones entre conjuntos
Unin. A B={x|x A x B}

Interseccin. A B={x|x A Diferencia. A-B={x|x A

Complemento. A={x|x A}

x B}

x B}

U={1,2,3,4,5,6,7,8,9}
A={1,2,3,5,9} B={3,7,9}

Teora de Conjuntos
Dados A={1,2,3,5,9}, B={3,7,9} y U={1,2,3,4,5,6,7,8,9} indique los resultados de las siguientes operaciones: A B

A B A-B
B-A A

A B A B

B-A B A

Teora de Conjuntos
Dados A={1,2,3,5,9}, B={3,7,9} y U={1,2,3,4,5,6,7,8,9} indique los resultados de las siguientes operaciones: A B={1,2,3,5,7,9}

A B={3,9} A-B={1,2,5}
B-A={7} A = {4,6,7,8}

A B A B

B-A = {4,6,8} {1,2,3,4,5,6,8,9}={4,6,8} B A = {1,2,5} {7}={1,2,5,7}

Teora de Conjuntos
Dados A={a,b,c,d,e}, B={a,b,c,d,e,f,g,h} y U={a,b,c,d,e,f,g,h,i,j,k} encuentre: A B

B-A
(B A)

(A-B)
(B-A)

(A-B) - (A B)

Teora de Conjuntos
Dados A={a,b,c,d,e}, B={a,b,c,d,e,f,g,h} y U={a,b,c,d,e,f,g,h,i,j,k} encuentre: A B={f,g,h,i,j,k}

B-A
(B A)

(A-B)={a,b,c,d,e,i,j,k}
(B-A)={i,j,k}

={a,b,c,d,e,i,j,k}

(A-B) - (A B)={a,b,c,d,e,f,g,h,i,j,k}-{a,b,c,d,e,f,g,h}={i,j,k}

Teora de Conjuntos
Dados A={1,3,5,7,8,9}, B={2,4,5,6} y U={1,2,3,4,5,6,7,8,9,10} encuentre: A-B A

(B A) (A B)

(A B) (B-A)

Teora de Conjuntos
Dados A={1,3,5,7,8,9}, B={2,4,5,6} y U={1,2,3,4,5,6,7,8,9,10} encuentre: A-B A = {2,4,5,6,10} {2,4,6,10} = {2,4,6,10}

(B A) (A B)

(A B) = {5}

{10} = {5,10} {2,4,6} = {2,4,6}

(B-A) = {1,2,3,4,6,7,8,9,10}

Teora de Conjuntos
Dados A={a,b,c}, B={b,d}, U={a,b,c,d,e,f} encuentre y compare: A B,A B

A B,A B

Teora de Conjuntos
Dados A={a,b,c}, B={b,d}, U={a,b,c,d,e,f} encuentre y compare: A B , A B. Ambos son {e,f}

A B , A B. Ambos son {a,c,d,e,f}

Teora de Conjuntos
Identidades entre conjuntos

Identidad
(A (A B) = A B) = A B B

Nombre Leyes de De Morgan Leyes de absorcin Leyes de complemento

A A A A

(A B) = A (A B) = A A=? A=?

Teora de Conjuntos
Identidades entre conjuntos

Identidad
(A (A B) = A B) = A B B

Nombre Leyes de De Morgan Leyes de absorcin Leyes de complemento

A A A A

(A B) = A (A B) = A A=U A=

Teora de Conjuntos
Identidades entre conjuntos Identidad A A A A A A =? U=? U=U = A=A A=A Nombre Leyes de identidad Leyes de dominacin Leyes de idempotencia

A=A

Ley de complementacin

Teora de Conjuntos
Identidades entre conjuntos Identidad A A A A A A =A U=A U=U = A=A A=A Nombre Leyes de identidad Leyes de dominacin Leyes de idempotencia

A=A

Ley de complementacin

Teora de Conjuntos
Identidades entre conjuntos

Identidad
A A B =B B =B A A

Nombre Leyes conmutativas C C (A (A Leyes asociativas

C) C) Leyes distributivas

A A A A

(B (B (B (B

C) C) C) C)

= (A = (A = (A = (A

B) B) B) B)

Teora de Conjuntos
Cmo probar identidades

Se tienen dos mtodos:

Construir una tabla de pertenencia Utilizar la notacin de conjuntos y las equivalencias lgicas

Teora de Conjuntos
Tabla de pertenencia

Se considera cada combinacin de conjuntos en los que un elemento puede pertenecer y se verifica que los elementos en la misma combinacin de conjuntos pertenecen a ambos conjuntos en la identidad

Teora de Conjuntos
Probar A A 1 B=A B 1 B A B A B A B A B

1 0 0

0 1 0

Teora de Conjuntos
Probar A A 1 B=A B 1 B A B A B A B A B

1 0 0

0 1 0 1 representa x Conjunto 0 representa x Conjunto

Teora de Conjuntos
Probar A A 1 B=A B 1 B A 0 B 0 A B A B A B 1 0 0

1 0 0

0 1 0

0 1 1

1 0 1

0 0 0

1 1 1

1 1 1

Teora de Conjuntos
Probar A A 1 B=A B 1 B A 0 B 0 A B A B A B 1 0 0

1 0 0

0 1 0

0 1 1

1 0 1

0 0 0

1 1 1

1 1 1

Teora de Conjuntos
Probar A (A B) = A (A B)

Teora de Conjuntos
Probar A (A B) = A
A 1 1 0 B 1 0 1 A 0 0 1 B 0 1 0 A B 0 0 1

(A B)
A (A B) 1 1 1
A (A B)

A B 1 1 0

A (A B) 0 0 0

0 0 0

Teora de Conjuntos
Probar A (B C) = A (B C)

Teora de Conjuntos
Probar A
A
1 1 1 1

(B
C
0 1 0 1

C) = A
B C
0 1 0 0 1 0 1 1

(B

C)
A (B C)
1 1 1 1

B
1 1 0 0

A
0 0 0 0

B C A (B C)
0 0 0 0

A (B C)
0 0 0 0

0
0

1
1

0
1

1
1

0
1

1
0

1
0

0
1

1
0

0
0

0
0

0
1

1
1

0
0

1
1

1
1

0
0

1
1

Teora de Conjuntos
Complete la tabla para (A B) A B A-B

1 1 0 0

1 0 1 0

? ? ? ?

Teora de Conjuntos
Complete la tabla para (A B) A B A-B

1 1 0 0

1 0 1 0

El mismo elemento est en A y en B. Por lo tanto, no estar en A-B

Teora de Conjuntos
Complete la tabla para (A B) A B A-B

1 1 0 0

1 0 1 0

0 1 0 0

Teora de Conjuntos
Probar A (B - A) =

Teora de Conjuntos
Probar A (B - A) = A B B-A A (B-A) 0

1 1 0 0

1 0 1 0

0 0 1 0

0 0 0

Teora de Conjuntos
Probar A (B - A) = A B

Teora de Conjuntos
Probar A (B - A) = A A 1 B 1 B B-A 0 A (B-A) 1 A B 1

1 0 0

0 1 0

0 1 0

1 1 0

1 1 0

Teora de Conjuntos
Cmo probar identidades

Se tienen dos mtodos:

Construir una tabla de pertenencia Utilizar la notacin de conjuntos y las equivalencias lgicas

Teora de Conjuntos
A B={x|x A x B}

A B={x|x A
A-B={x|x A A={x|x A}

x B}
x B}

Teora de Conjuntos
Probar A B=A B

B=?

Teora de Conjuntos
Probar A B=A B

B={x|x

B}

Teora de Conjuntos
Probar A B=A B

A
A A

B={x|x
B={x| B={x|

A
(x (x A

B}
A B) } x B) }

A A
A A

B={x|

( x A) A)
A)

(x B) } (x
(x

B = { x | (x
B = { x | (x B=A B

B) }
B)}

Teora de Conjuntos
Probar A (B C) = A (B C)

(B

C) = ?

Teora de Conjuntos
Probar A (B C) = A (x [(x (B C)

A
A A

(B
(B (B

C) = { x | x
C) = { x | C) = { x |

(A
(A

(B
(B (x A)

C)) }
C)) } (B C))] }

A A
A A

(B (B
(B (B

C) = { x |

(x

A) A)
A) C)

(x (x
(x

(B

C)) }

C) = { x | (x
C) = { x | (x C) = A (B

(B
(B

C)) }
C) }

Teora de Conjuntos
Probar A (B - A) =

(B - A) = ?

Teora de Conjuntos
Probar A (B - A) =

A
A A

(B - A) = { x | x
(B - A) = { x | (x (B - A) = { x | (x

(A
A) A)

(B A)) }
[x (x (B A)] } B x A) }

A A
A A A

(B - A) = { x | (x (B - A) = { x | ((x
(B - A) = { x | (x (B - A) = { x | (x (B - A) =

A) A)
) )}

(x
(x

B)
B) }

(x A) } (x B) }

(x A))

Teora de Conjuntos
Probar A (B - A) = A B

(B - A) = ?

Teora de Conjuntos
Probar A (B - A) = A B

A
A A

(B - A) = { x | x
(B - A) = { x | (x (B - A) = { x | (x

(A
A) A)

(B A)) }
(x [(x (B A)) } B) (x A)] }

A A
A A

(B - A) = { x | [(x A) (x B)] (B - A) = { x | [(x A) (x B)]

(B - A) = { x | (x A) (x B)} (B - A) = A B

[(x A) (x A)] } (x U) }

Teora de Conjuntos
Probar A (B - A) = A B

(B - A) = ?

Teora de Conjuntos
Probar A (B - A) = A B

A
A A

(B - A) = { x | x

(B A)) }
x (B A)) } x (B A)) }

(B - A) = { x | x A (B - A) = { x | x A

A A
A A A

(B - A) = { x | x A (B - A) = { x | x A
(B - A) = { x | x A (B - A) = { x | x A (B - A) = { x | [x A

(x B [ (x B)
[ (x B) [ (x B) (x B)]

x A)) } x A] }
( x A)] } x A] } [x A x A] }

(B - A) = { x | [x A

(x B)]

Teora de Conjuntos
Probar A (B - A) = A B

A
A A

(B - A) = { x | [x A
(B - A) = { x | x A (B - A) = { x | x A

(x B)]
(x B) } x B}=A B