12 13 Conjuntos

Teora de Conjuntos
Conjuntos numricos N = {0, 1, 2, 3, . . . } : Conjunto de los nmeros naturales.
Teora de Conjuntos
Mariam Cobalea
Universidad de Mlaga Dpto. de Matemtica Aplicada
Z = {.., 3, 2, 1, 0, 1, 2, 3, ..} : Conjunto de los nmeros enteros. Z+ = {1, 2, 3, . . . } : Conjunto de los nmeros enteros positivos. Q : Conjunto de los nmeros racionales. R : Conjunto de los nmeros reales. Algunos smbolos 8 ^ !, ) Para todo y (conjuncin) implica 9 _ $, ,
Matemtica Discreta, Curso 12/13
Curso 12/13
Existe o (disyuncin) si y slo si

Teora de Conjuntos 3 / 40
Mariam Cobalea (UMA)
Teora de Conjuntos
1 / 40
Teora de Conjuntos
Introduccin
Teora de Conjuntos
Especicacin de conjuntos
Dado un objeto x y un conjunto S, puede ocurrir que: La nocin de conjunto es uno de los conceptos bsicos de Matemticas. La Teora de Conjuntos se dene mediante un Sistema Axiomtico. Se entiende por conjunto: cualquier coleccin de objetos que se puede tratar como una entidad. elemento: cada uno de esos objetos. Los objetos de un conjunto pueden ser fsicos (un conjunto de estudiantes o un conjunto de ciudades), o bien abstractos (un conjunto de nmeros o de ideas )
1
x sea un elemento de S, entonces se escribe: x 2 S y se lee: x pertenece a S x no sea un elemento de S, entonces se escribe: x 2 S / y se lee: x no pertenece a S
Ejemplo 1 3 2 Z, pero 3 62 N 5 5 2 Q, pero 62 Z 7 7 p p 2 2 R, pero 2 62 Q p 1 2 C, pero p 1 62 R

Matemtica Discreta, Curso 12/13 Teora de Conjuntos 4 / 40
Teora de Conjuntos
2 / 40
Teora de Conjuntos
Teora de Conjuntos
* OJO!: Hay que tener cuidado de que no exista ambigedad. Un conjunto se caracteriza por sus elementos. Por lo tanto, un conjunto se puede especicar estableciendo qu objetos estn en l. Esto se puede hacer de varias maneras: Explcitamente
2
Por ejemplo, si escribimos {3, 5, 7, , 23} se puede interpretar como

1
Enteros impares desde 3 hasta 23, que es el conjunto {3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23} bien Enteros primos desde 3 hasta 23, que es el conjunto {3, 5, 7, 11, 13, 17, 19, 23}
Implcitamente
Teora de Conjuntos
5 / 40
Teora de Conjuntos
7 / 40
Teora de Conjuntos
Teora de Conjuntos
Explcitamente 3 En algunos casos se puede dar una lista de sus elementos. 3 La notacin que se usa es la siguiente: los elementos se separan por comas y la lista se delimita por llaves. Ejemplo 2 El conjunto cuyos elementos son 0 y 1 se designa {0, 1} 3 Cuando el nmero de elementos sea sucientemente grande se pueden usar puntos suspensivos. Ejemplo 3 El conjunto de los enteros mltiplos de tres se denota { , 6, 3, 0, 3, 6, }
Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos 6 / 40
Implcitamente 3 En otros casos no podemos (o no nos interesa) dar la lista. Por eso, necesitamos otra forma de describir estos conjuntos. 3 Esta especicacin se hace mediante un predicado p 3 La notacin es S = { x 2 X | p(x) } que signica con una variable libre.
S es el conjunto de todos los elementos x del conjunto X que verican el predicado p Ejemplo 4 El conjunto S de las soluciones de la ecuacin x 2 5x + 6 = 0 se puede representar { x 2 R | x 2 5x + 6 = 0 }
Teora de Conjuntos
Teora de Conjuntos
Diagramas de Venn
S ={x 2X
p(x) }
Los conjuntos se pueden representar grcamente mediante diagramas de Venn, llamados as por el matemtico John Venn, que introdujo esta representacin. En lo diagramas de Venn, el conjunto universal U se representa por un rectngulo. Dentro del rectngulo se utilizan crculos u otras guras geomtricas para representar conjuntos. A veces se emplean puntos para indicar los elementos del conjunto. U A
Para determinar si un elemento c de X est en el conjunto S, basta con estudiar si el predicado p se verica para dicho elemento. Ejemplo 5 3 2 S = { x 2 R | x2 Ejercicio Sea A = {x 2 Z |3x = 6} Es A = 2 ? 5x + 6 = 0 }, ya que 32 53+6=0
Teora de Conjuntos
9 / 40
Teora de Conjuntos
11 / 40
Teora de Conjuntos
Conjunto vaco ; y Conjunto universal U
Teora de Conjuntos
Igualdad e Inclusin de conjuntos
Ejemplo 6 El conjunto de enteros comprendidos entre 0 y 1 se puede representar: { x 2 Z | 0 < x < 1} Como sabemos, no existen enteros comprendidos entre 0 y 1. As pues, nos encontramos con un conjunto sin elementos. A este conjunto se le conoce como conjunto vaco y se denota ;.
Denicin 1 Dos conjuntos A y B son iguales si tienen los mismos elementos. A=B ()
def.
8x ( x 2 A () x 2 B )
Cada elemento del conjunto A es un elemento del conjunto B y cada elemento del conjunto B es un elemento del conjunto A. Ejemplo 7 Son iguales los conjuntos A = { x 2 R | x2 5x + 6 = 0 } y B = {2, 3}
En muchas aplicaciones, es habitual trabajar en un conjunto jo, un conjunto que contiene todos los objetos que estamos considerando. Este conjunto se llama Universo o Conjunto universal y se denota U .
Teora de Conjuntos
12 / 40
Teora de Conjuntos
Teora de Conjuntos
* Un conjunto se especica explcitamente con una lista y el orden en la lista no importa {a, b, c} = {b, a, c} * Adems, {a, b, a} = {a, b} = {a, a, a, b, b} del mismo conjunto. son especicaciones diferentes
Ejemplo 9 Sean los conjuntos: A = {3, 5 }, B = {x 2 N | x es un primo menor que 9 }, C = {2, 3, 5, 7 } Veamos que A es un subconjunto propio de B 3 3 3 3 3 2 A y 3 es un primo menor que 9, luego 3 2 B 5 2 A y 5 es un primo menor que 9, luego 5 2 B 7 2 B pero 7 2 A / Por lo tanto, A B. B=C
* Por otra parte, el mismo conjunto se puede especicar implcitamente con distintos predicados. Ejemplo 8 {x 2 Z | x 2 + x = 0 } = {x 2 Z |
Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13
Veamos que 1x <1}

3 C B, ya que todo elemento de C es un elemento de B. 3 Como adems todo elemento de B est en C , se tiene que B C . 3 As, B = C .
Teora de Conjuntos
Teora de Conjuntos
Denicin 2 Dados los conjuntos A y B, se dice que A est contenido si todo elemento de A es tambin un elemento de B. AB Se denota ()
def.
Ejercicio en B Sean los conjuntos: B = {1, 3}, C = {1, 5, 9}, B B. Inserta el smbolo correcto
iii )
8x(x 2 A ! x 2 B)
D = {1, 2, 3, 4, 5}, E = {1, 3, 5, 7, 9} entre: B C vi ) D

ii ) iv )
A B y se lee: el conjunto A est contenido en el conjunto se dice que A es un subconjunto de
Si
Y si en el conjunto B podemos hallar elementos que no estn en A, decimos que A es un subconjunto propio de B. Se denota A B. A B () A B ^ A 6= B
A B,
B B v) C
i)
y C y E y E
y D y D y E
Teorema 1 El conjunto vaco est contenido en todos los conjuntos.

Teora de Conjuntos
Teora de Conjuntos
Conjunto de las partes de un conjunto: Representacin en ordenador
* OJO!: NO hay que confundir la pertenencia 2 de un elemento en un conjunto con la inclusin entre conjuntos. Ejercicio Establece si son verdaderas o falsas las siguientes armaciones:
i) iv ) vii )
a 2 {a} a {a} ; {;}
ii ) v) viii )
{a} 2 {a} {a} {a} ; 2 {;}
iii ) vi ) ix )
{a, b} 2 {a, {a, b}} {a, b} {a, {a, b}} {;} 2 {;}
3 Si S es un conjunto formado por n elementos y se especica con una lista ordenada {s1 , s2 , ..., sn }, cada subconjunto X S se puede representar mediante una cadena binaria de longitud 8 de la siguiente manera: n <1, si s 2 X j X := c1 c2 . . . cn , donde cada cj = :0, en caso contrario 3 De esta forma, el conjunto de todas las posibles cadenas binarias de longitud n representar al conjunto P(S). Ejemplo 12 El subconjunto X = {a, c} del conjunto S = {a, b, c} se puede representar por la cadena binaria 101. Y el conjunto P(S) queda representado por n o 000, 100, 010, 001, 110, 101, 011, 111
17 / 40 Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos 19 / 40
* {;} representa un conjunto cuyo nico elemento es el conjunto vaco.

Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos
Teora de Conjuntos
Conjunto de las partes de un conjunto
Teora de Conjuntos
Operaciones entre conjuntos
Denicin 3 El conjunto de las partes de un conjunto S, denotado conjunto de todos sus posibles subconjuntos. n o P(S) = X | X S Ejemplo 10 P(S), es el
Denicin 4 La unin de dos conjuntos A y B es el conjunto de los elementos que pertenecen a A bien a B. Se denota A [ B. A [ B = {x 2 U | x 2 A _ x 2 B} La interseccin de dos conjuntos A y B es el conjunto de los elementos que pertenecen a ambos. Se denota A \ B. Si A \ B = ?, se dice que los conjuntos A y B son disjuntos. Ejemplo 13 A = {1, 2, 3, 4}, B = {3, 5, 7}, A [ B = {1, 2, 3, 4, 5, 7} A \ B = {3} A \ B = {x 2 U | x 2 A ^ x 2 B}
n o Para el conjunto S = {1, 2}, tenemos que P(S) = ?, {1}, {2}, {1, 2} Ejemplo 11 Dado un alfabeto , un lenguaje es cualquier subconjunto de . As, el conjunto P( ) es el conjunto de todos los posibles lenguajes que se pueden denir con smbolos del alfabeto .
Teora de Conjuntos
20 / 40
Teora de Conjuntos
Teora de Conjuntos
Propiedades de la unin y la interseccin de conjuntos
U A
A[B
U B A
A\B
Teorema 2 Sean los conjuntos A, B, C U. Se verican las siguientes propiedades: B 1. Conmutativa: 2. Asociativa: A [ (B [ C ) = (A [ B) [ C ; A [ (A \ B) = A; A [ A = A; A [ B = B [ A; A\B =B \A A \ (B \ C ) = (A \ B) \ C A \ (A [ B) = A A\A=A
U A B
3. Absorcin: 4. Idempotencia:
A\B =?
Teora de Conjuntos
21 / 40
Teora de Conjuntos
23 / 40
Teora de Conjuntos
Teora de Conjuntos
Ejercicio En el conjunto N de los nmeros naturales se consideran los subconjuntos siguientes: P : conjunto de nmeros naturales primos; D : conjunto de mltiplos de dos; T : conjunto de mltiplos de tres; I : conjunto de nmeros impares y S : conjunto de mltiplos de seis. Determina: a) P \ I e) D \ S b) P [ I f) D [S c) P \ D g) T \ S d) D \ T h) I \ S
Teorema 3 Sean los conjuntos A, B, C U. Se verican las siguientes propiedades: 5. Cotas: AB () A[B A U = = = B () = A\B A ? = A
6. Identidad: 7. Dominancia:
?[A = A[U =
A\U
?\A =
8. Distributiva: A [ (B \ C ) A \ (B [ C )
(A [ B) \ (A [ C ) (A \ B) [ (A \ C )
Teora de Conjuntos
22 / 40
Teora de Conjuntos
24 / 40
Teora de Conjuntos
Teora de Conjuntos
* La propiedad asociativa de la unin y de la interseccin permite prescindir de los parntesis cuando aplicamos uno de estos operadores a ms de dos conjuntos A [ B [ C = (A [ B) [ C = A [ (B [ C ) A \ B \ C = (A \ B) \ C = A \ (B \ C ) * Sin embargo, cuando intervienen ambos operadores no se puede prescindir de los parntesis (A \ B) [ C 6= A \ (B [ C ) (A [ B) \ C 6= A [ (B \ C )
Denicin 6 La diferencia de dos conjuntos que no estn en B A 4 A B A y B es el conjunto de elementos de A
B = {x 2 U | x 2 A ^ x 2 B} / B en A.
tambin se llama complemento relativo de
4 Para A U, el complemento relativo de A en U recibe el nombre de complementario de A y se denota A. Ejemplo 16 A = {1, 2, 3, 4}, A B = {1, 2, 4},
B = {3, 5, 7},
U = {1, 2, 3, 4, 5, 6, 7, 8, 9}
A = {5, 6, 7, 8, 9}
Matemtica Discreta, Curso 12/13 Teora de Conjuntos 27 / 40
Teora de Conjuntos
25 / 40
Teora de Conjuntos
Particin de un conjunto
Teora de Conjuntos
Denicin 5 Una particin de un conjunto S es una familia = S1 , ..., Sk de subconjuntos de S, tales que son disjuntos dos a dos y su unin es S. 8i, j S1 [ S2 [ ... [ Sk = S Ejemplo 14 La familia S i \ Sj = ? U A B
B U A
{1, 3}, {2, 5}, {4}
es una particin del conjunto
S = {1, 2, 3, 4, 5} Ejemplo 15 Una particin del conjunto N es {x 2 N | x es par }, {x 2 N | x es impar } Ejercicio

Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos 26 / 40 Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos 28 / 40
Dado el conjunto S = {a, b, c},
halla el conjunto de todas las particiones de
Teora de Conjuntos
Operaciones entre conjuntos. Ejemplo de demostracin
Teora de Conjuntos
Proposicin 4 Si A y B son conjuntos en un universo U , entonces A Demostracin: () Supongamos que x 2 A B. Entonces, por la denicin de diferencia: x 2 A y x 62 B. Si x 62 B, por la denicin del complementario x 2 B () Anloga (ejercicio) Por lo tanto, x 2 A y x 2 B, es decir, x 2 A \ B B =A\B
Ejercicio En el conjunto N de los nmeros naturales se consideran los subconjuntos siguientes: P : conjunto de nmeros naturales primos; D : conjunto de mltiplos de dos; T : conjunto de mltiplos de tres; I : conjunto de nmeros impares y S : conjunto de mltiplos de seis. Describe el complementario de: a) Determina: d ) T S e) P P I b) I f) D \I c) D
Teora de Conjuntos
29 / 40
Teora de Conjuntos
31 / 40
Teora de Conjuntos
Propiedades de la unin, interseccin y complementacin de conjuntos
Teora de Conjuntos
Propiedades de la unin, interseccin y complemento de conjuntos
Sean A, B, C U . Se verican las siguientes propiedades: 1. Conmutativa:
Teorema 5 Sean los conjuntos A, B, C U. Se verican las siguientes propiedades: 9. Complemento: 10. DeMorgan: 11. Involucin: A [ A = U; (A [ B) = A \ B; (A) = A A\A=? (A \ B) = A [ B
2. Asociativa: 3. Absorcin: 4. Idempotencia: Extremos: 5. Cotas: 6. Identidad: 7. Dominancia: 8. Distributiva: 9. Complemento: 10. DeMorgan: 11. Involucin:
A [ (B [ C ) = (A [ B) [ C ; A [ (A \ B) = A; ?, U, AB A [ A = A; ()
A [ B = B [ A;
A \ (B \ C ) = (A \ B) \ C A \ (A [ B) = A A\A=A
A\B =B \A
? [ A = A;
A [ B = B ()
?AU
A\B =A
A [ (B \ C ) = (A [ B) \ (A [ C ); (A [ B) = A \ B; (A) = A A [ A = U;
A [ U = U;
A \ (B [ C ) = (A \ B) [ (A \ C ) (A \ B) = A [ B A\A=?
?\A=?
A\U =A
Teora de Conjuntos
30 / 40
Teora de Conjuntos
32 / 40
Teora de Conjuntos
* Para poder trabajar con mayor exibilidad con los subndices, otra posible notacin para la unin e interseccin de familias de conjuntos ser [ \ Ai , Ai
i2
Teora de Conjuntos
Cmo demostrar propiedades de las operaciones de conjuntos?
Ejercicio Sean A, B, C U. Demuestra que: A \ (B C ) = (A \ B) (A \ C )
i2
Solucin: Podemos demostrar esta igualdad usando las propiedades de la unin, interseccin y complementacin de conjuntos. (A \ B) (A \ C ) = (A \ B) \ (A \ C ) (Def. 2 diferencia de conj.) (De Morgan) (Distributiva) (Complemento) (Identidad) (Asociativa) = (A \ B) \ (A [ C ) = (A \ B) \ A [ (A \ B) \ C = ; [ (A \ B) \ C = (A \ B) \ C = A \ (B \ C ) = A \ (B
33 / 40 Mariam Cobalea (UMA)
* Sobre estas notaciones extendidas, podremos aplicar las propiedades de distribucin y de De Morgan generalizadas: [
i2
A\
Bi =
I I
i2
[ \
I I
(A \ Bi ); Bi
A[
\
i2
Bi =
I I
i2
I I
(A [ Bi ) Bi
i2
Bi =
i2
i2
Bi =
i2
C)
Teora de Conjuntos
Teora de Conjuntos
35 / 40
Teora de Conjuntos
Teora de Conjuntos
Ejercicio Sean los conjuntos A1 = { 2, 1, 0, 1, 2}, A2 = {0, 1, 2}, A3 = { 1, 0, 1} y sea el conjunto de ndices
Denicin 7 La diferencia simtrica de los conjuntos A y B es el conjunto de elementos que pertenecen a A a B, pero no a ambos. Se denota A 4 B. A 4 B = {x 2 U | x 2 A ^ x 62 B _ x 2 B ^ x 62 A } = (A U \ A Ai Ejemplo 17 A = {1, 2, 3, 4}, Ejercicio
B) [ (B
A)
I = {1, 2, 3}.
Determina los siguientes conjuntos: [ (a) Ai

i2
A4B
(b)
i2
I
B = {3, 5, 7} A 4 B = {1, 2, 4, 5, 7} (A \ B)
Tomando Z como conjunto universal, determina: [ \ (c) Ai (d) Ai

i2
i2
Demuestra que A 4 B = (A [ B)
Teora de Conjuntos
36 / 40
Teora de Conjuntos
Cmo refutar propiedades de las operaciones de conjuntos?: Contraejemplos
Teora de Conjuntos
Demostrar o refutar propiedades de las operaciones de conjuntos
Ejercicio Sean A, B, C U. Demuestra o refuta A (B4C ) = (A B)4(A C) Ejercicio Sean A,

1 I I
Solucin: Esta igualdad no se verica, por eso hay que refutarla. Para ello, basta con dar un contraejemplo: conjuntos A, B y C tales que A Si tomamos A = { 3, 2, 1, 0, 1, 2}, tenemos que Sin embargo, (A (A (B4C ) 6= (A B)4(A C)
Demuestra que son ciertas las siguientes igualdades:

(A4B)4C = A4(B4C ) A \ (B 4 C ) = (A \ B) 4 (A \ C )
B y C subconjuntos de un universo U .
B = {0, 1, 2, 3, 4}, A
C = { 3, 1, 2, 4},
Da un contraejemplo para demostrar que no se verican las igualdades:

I I
(B4C ) = {0, 1, 3, 3, 1}, B) = { 3, 2, 1}, C ) = { 2, 0, 1},
(B4C ) = { 2, 2}
A4(B [ C ) = (A4B) [ (A4C ) A (B4C ) = (A B)4(A C)
(A
B)4(A
C ) = { 3, 1, 0, 1}
Teora de Conjuntos 37 / 40 Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos 39 / 40
Teora de Conjuntos
Demostrar o refutar propiedades de las operaciones de conjuntos
Ejercicio Sean A,
1 I I I I 2
Teora de Conjuntos Bibliografa

Matemtica Discreta N.L.Biggs (Ed. Vicens Vives) Matemtica Discreta F. Garca Merayo (Ed. Paraninfo) Problemas resueltos de Matemtica Discreta F. Garca Merayo, G. Hernndez Pealver y A. Nevot Luna (Ed. Thomson) Matemticas Discreta y combinatoria R.P. Grimaldi (Ed. Addison Wesley) Estructuras de Matemticas Discretas para la Computacin B. Kolman y R.C. Busby (Ed. Prentice Hall) 2000 Problemas resueltos de Matemtica Discreta S. Lipschutz y M. Lipson (Ed. McGraw Hill) 201 Problemas resueltos de Matemtica Discreta V. Meavilla Segu (Prensas Universitarias de Zaragoza) Matemtica Discreta y sus aplicaciones K. Rosen (Ed. McGraw Hill) Matemtica Discreta K.A. Ross y C.R.B. Wright (Ed. Prentice Hall)
Teora de Conjuntos 38 / 40 Mariam Cobalea (UMA) Matemtica Discreta, Curso 12/13 Teora de Conjuntos 40 / 40
Demuestra que son ciertas las siguientes igualdades:

A \ (B A A (B \ C ) = (A (B [ C ) = (A C = (A C ) = (A \ B) B) [ (A B) \ (A (A \ C ) C) C) C)
B y C subconjuntos de un universo U .
Da un contraejemplo para demostrar que no se verican las igualdades:

I I I
(A [ B) A (A A (B
C ) [ (B B) C
C ) = (A
Demuestra que son ciertas las siguientes equivalencias:

I I
(B \ C ) = (A
B) [ B = A
B) \ (A
C)
A [ B C () A C y B C C A \ B () C A y C B

12 13 Conjuntos

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

12 13 Conjuntos

Загружено:

Авторское право:

Доступные форматы

Teora de Conjuntos

Conjuntos numricos N = {0, 1, 2, 3, . . . } : Conjunto de los nmeros naturales.

Existe o (disyuncin) si y slo si

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Ejemplo 1 3 2 Z, pero 3 62 N 5 5 2 Q, pero 62 Z 7 7 p p 2 2 R, pero 2 62 Q p 1 2 C, pero p 1 62 R

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Por ejemplo, si escribimos {3, 5, 7, , 23} se puede interpretar como

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Veamos que 1x <1}

D = {1, 2, 3, 4, 5}, E = {1, 3, 5, 7, 9} entre: B C vi ) D

A B y se lee: el conjunto A est contenido en el conjunto se dice que A es un subconjunto de

Teorema 1 El conjunto vaco est contenido en todos los conjuntos.

a 2 {a} a {a} ; {;}

{a} 2 {a} {a} {a} ; 2 {;}

* {;} representa un conjunto cuyo nico elemento es el conjunto vaco.

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Denicin 6 La diferencia de dos conjuntos que no estn en B A 4 A B A y B es el conjunto de elementos de A

tambin se llama complemento relativo de

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

{1, 3}, {2, 5}, {4}

es una particin del conjunto

S = {1, 2, 3, 4, 5} Ejemplo 15 Una particin del conjunto N es {x 2 N | x es par }, {x 2 N | x es impar } Ejercicio

Dado el conjunto S = {a, b, c},

halla el conjunto de todas las particiones de

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Sean A, B, C U . Se verican las siguientes propiedades: 1. Conmutativa:

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Ejercicio Sean A, B, C U. Demuestra que: A \ (B C ) = (A \ B) (A \ C )

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 12/13

Matemtica Discreta, Curso 12/13

Determina los siguientes conjuntos: [ (a) Ai

Tomando Z como conjunto universal, determina: [ \ (c) Ai (d) Ai

Mariam Cobalea (UMA)