TEORA DE CONJUNTOS

25

CAPTULO II TEORA DE CONJUNTOS

2.2 INTRODUCCIN Denotaremos los conjuntos con letras maysculas y sus elementos con letras minsculas, si un elemento p pertenece a un conjunto A escribiremos p A en caso de que el elemento no pertenezca al conjunto se escribir p A . Un conjunto es finito si su nmero de elementos es finito e infinito si tiene infinitos elementos. Para especificar un conjunto dado se puede usar las siguientes notaciones:

A {1,2,3,4,5,6,7,8,9,0, } A {x : x es un digito}
Las dos notaciones representan el mismo conjunto, la primera se denomina expresin por extensin de un conjunto, la segunda por comprensin. Dos conjuntos A y B son iguales si tienen los mismos elementos. Si A {2,3} y B {x / x 2 5 x 6 0} Entonces A = B ya que las races de la ecuacin del conjunto B son 2 y 3 Un conjunto B es subconjunto de A si todos los elementos del conjunto B pertenecen al conjunto A, esto se escribe como B A En cualquier aplicacin de la teora de conjuntos, todos los conjuntos que se investigan son subconjuntos de un conjunto dado al que se denomina conjunto universal y se representa por U. El conjunto que no tiene elementos se denomina conjunto vaco y se representa por .

26

LGEBRA I

2.3 UNIN La unin de conjuntos est definida como:

A B {x : x
A

A o

B}
B

A B

2.4 INTERSECCIN La interseccin de conjuntos est dada por:

A B

{x : x

B}

A B
A A B B

AB

2.5 COMPLEMENTO RELATIVO O DIFERENCIA El complemento relativo o diferencia de conjuntos est dado por:

A\ B

A B {x : x

B}

TEORA DE CONJUNTOS

27

A\ B

A B

2.6 DIFERENCIA SIMTRICA La diferencia simtrica de los conjuntos A y B viene dada por:

( A B) ( B

A)

2.7 COMPLEMENTO ABSOLUTO El complemento de un conjunto est dado por los elementos que se encuentran fuera del conjunto, se define como:

AC

x:x

28

LGEBRA I

AC A A

2.8 LEYES DEL LGEBRA DE CONJUNTOS Los conjuntos satisfacen las siguientes leyes 2.8.1 LEYES DE IDEMPOTENCIA

A A
2.8.2 LEYES ASOCIATIVAS

A ;

A A

A (B C)

( A B) C ;

A (B C)

( A B) C

2.8.3 LEYES CONMUTATIVAS

A B

BA ;

A B

B A

2.8.4 LEYES DISTRIBUTIVAS

A (B C) A (B C)
2.8.5 LEYES DE IDENTIDAD

( A B) ( A C ) ( A B) ( A C )

A A U

A ; A U U ; A

2.8.6 LEYES DE COMPLEMENTO

A AC ( AC ) C

; A AC ;
C

A ; UC

TEORA DE CONJUNTOS

29

2.8.7 LEYES DE MORGAN

( A B)C

AC B C

; ( A B)C

AC B C

2.9 DIAGRAMAS DE VENN Es una representacin grfica en la cual se sombrean las reas que corresponden a las operaciones que se pueden realizar entre conjuntos Ejemplo 1 En los siguientes diagramas de Venn sombrear el rea que corresponde a) AC ( B C C ) A B A B

C V

C VC

(B C C )

C V

C V

AC ( B C C )

30

LGEBRA I

b) AC ( B C C ) A

AC
A C A B C

(B C C )

AC ( B C C )

Ejemplo 2 Sombrear el rea que corresponde a la siguiente operacin a)

A DC

BC C

A DC

TEORA DE CONJUNTOS

31

BC C

A DC

BC C

b)

A DC
B

BC C
B

A DC

32

LGEBRA I

BC C
2.10 CONJUNTOS PRODUCTO

A DC

BC C

2.10.1 PARES ORDENADOS (a,b) Un par ordenado (a,b) consta de dos elementos denominados primer y segundo elemento. Dos pares ordenados (a,b) (c,d) son iguales si y slo si a=c y b=d. Los puntos del plano cartesiano son pares ordenados de nmeros reales. 2.10.2 CONJUNTOS PRODUCTO El conjunto producto o producto cartesiano A B consta de todos los pares ordenados (a,b) donde a A y b B

A B {(a, b) : a

A, b

B}

Ejemplo 3 Sean A={ a,b,c } y B={ x,y } Entonces el conjunto producto ser:

A B {(a, x), (a, y), (b, x),b, y), (c, x), (c, y)}

TEORA DE CONJUNTOS

33

2.10.3 CONJUNTOS PRODUCTO EN GENERAL El producto de tres conjuntos A B C estar formado por triplas ordenadas, definindose el triple producto de la siguiente manera:

A B C {(a, b, c) : a

A, b B, c C}

El producto cartesiano de n conjuntos estar formado por n-uplas ordenadas de la forma:

A B C .......... N {(a, b, c........ n) : a

Ejemplo 4 Sean los conjuntos A = { 1,2,3 }; B = { a,b }; C={ x,y,z } Hallar a) A x B x C b) C x A x B

A, b B, c C,..... n N}

c) B x C x A

La solucin en ambos casos estar formada por triplas ordenadas de la forma. a) A x B x C = {(1,a,x)(1,a,y)(1,a,z)(1,b,x)(1,b,y)(1,b,z) (2,a,x)(2,a,y(2,a,z)(2,b,x)(2,b,y)(2,b,z) (3,a,x)(3,a,y)(3,a,z)(3,b,x)(3,b,y)(3,bz)} b) C x A x B ={(x,1,a)(x,1,b)(x,2,a)(x,2,b)(x,3,a)(x,3,b) (y,1,a)(y,1,b)(y,2,a)(y,2,b)(y,3,a)(y,3,b) (z,1,a)(z,1,b)(z,2,a)(z,2,b)(z,3,a)(z,3,b)} Puede resultar conveniente construir un diagrama de rbol como el siguiente para evitar cualquier confusin en la formacin de las triplas ordenadas c) B x C x A

34

LGEBRA I

Para hallar este conjunto producto, se pueden escribir en una primera columna los elementos del conjunto B, a continuacin de cada uno de ellos los elementos del conjunto C y finalmente al lado de cada uno de estos ltimos, los elementos del conjunto A x y z x y z x y z x y z x y z x y z

a 1 b a 2 b a 3 b

Las triplas ordenadas se pueden formar siguiendo cada una de las direcciones de las lneas trazadas B x C x A = {(1,a,x)(1,a,y)(1,a,z)(1,b,x)(1,b,y)(1,b,z) (2,a,x)(2,a,y)(2,a,z)(2,b,x)(2,b.y)(2,b,z) (3,a,x)(3,a,y)(3,a,z)(3,b,x)(3,b,y)(3,b,z)} 2.10.4 CONJUNTOS DE VERDAD DE PROPOSICIONES El conjunto de verdad de una proposicin P, denotado por (P) consta de n-uplas ordenadas con los valores de verdad de cada uno de los enunciados para los cuales la proposicin P es verdadera.

TEORA DE CONJUNTOS

35

Ejemplo 5 Encuentre el conjunto de verdad de la siguiente proposicin:

[( p
P V V F F q V F V F [(p V V F F

q)
V F V V

~ q]
q) V F V F F V F V ~q] F V F V

El conjunto de verdad estar formado por duplas ordenadas de la forma: (P)={VF, FF} Ejemplo 6 Encuentre el conjunto de verdad de la siguiente proposicin:

[( p
La tabla de verdad es:
p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F [(p V V V V V V V V F F F F F F F F

q)

(~ r

s)] (~ q r )

V V V V F F F F V V V V V V V V

q) V V V V F F F F V V V V F F F F

F F V F V V F V F F V F F F V F

(~r F F V V F F V V F F V V F F V V

^ F F V F F F V F F F V F F F V F

s)] V F V F V F V F V F V F V F V F

V V V V F F F V F V V V F V V F V

(~q F F F F V V V V F F F F V V V V

V V V F F V V V V V V F F V V V V

r) V V F F V V F F V V F F V V F F

36

LGEBRA I

El conjunto de verdad de esta proposicin esta formado por 4-uplas ordenadas para los cuales la proposicin es verdadera (P)={VVVV, VVVF, VVFV, VFFV, FVVV, FVVF, FVFV, FFVV, FFVF, FFFF} Las n-uplas se han escrito sin la separacin de comas y sin los parntesis para simplificar su representacin. 2.11 LGEBRA DE BOOLE Se denomina as en honor a George Boole, (2 de noviembre de 1815 al 8 de diciembre de 1864), matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX. Especficamente, el lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica biestables, en 1938. Un lgebra booliana es un conjunto B de elementos a,b,. Dotado de dos operaciones binarias llamadas suma y producto, que se denotan respectivamente por + y * tal que:1

2.11.1 LEY DE CLAUSURA Para cualesquiera a, b B, la suma a + b y el producto a * b existen y son elementos nicos de B. 2.11.2 LEY CONMUTATIVA a+b=b+a 2.11.3 LEYES ASOCIATIVAS (a + b) + c = a + (b + c) ; (a * b) * c = a * (b * c)

a*b= b*a

1 Seymour Lipschutz. TEORIA DE CONJUNTOS, Edit. Schaum 1969 Pag. 216

TEORA DE CONJUNTOS

37

2.11.4 LEYES DISTRIBUTIVAS a * (b + c) = (a * b) + (a * c) ; a + (b * c) = (a + b) * (a + c)

2.11.5 ELEMENTOS NEUTROS Existen elementos, neutro aditivo 0 y neutro multiplicativo U tales que, para todo a B a+0=a ; a*U=a

2.11.6 COMPLEMENTO Para todo a B existe un a B llamado complemento de a tal que: a + a = U ; a * a = 0

Como veremos las operaciones se realizarn mediante relaciones lgicas, lo que en el lgebra convencional son las sumas y multiplicaciones. Las variables con las que opera son las binarias 1 y 0 (verdadero o falso). Los signos 1 y 0 no expresan cantidades, sino estados de las variables. Podemos decir, que el sistema de numeracin binario y el lgebra de Boole constituyen la base matemtica para el diseo y construccin de sistemas digitales. Ejemplo 7 Sean B = {1, 0} y sean las dos operaciones + y * definidas como sigue: + 1 0 1 1 1 0 1 0 * 1 0 1 1 0 0 0 0

Entonces la terna ( B, +, * ) es un lgebra booliana. Ejemplo 8 Sea A una familia de conjuntos cerrada respecto a las operaciones de

38

LGEBRA I

unin, interseccin y complemento, Entonces (A, , U ) es un lgebra booliana, el conjunto universal es el conjunto unidad e el conjunto vaco es el elemento cero. Ejemplo 9 Sea F el conjunto de las proposiciones generadas por las variables p, q, r, Entonces ( F, V, ) es un lgebra booliana.

2.12 DUALIDAD DE UN LGEBRA BOOLIANA El dual de un enunciado en un lgebra booliana ( B, +, * ) es el anunciado que resulta intercambiando + y * y los elementos neutros U y 0 en el anunciado original; El dual de: ( U + a ) * ( b + 0 )= b Es: (0*a)+(b*U)=b

El dual de cada axioma de un lgebra booliana es tambin un axioma. El dual de un teorema de un lgebra booliana es tambin un teorema. 2.13 LEYES FUNDAMENTALES 2.13.1 LEYES DE IDEMPOTENCIA a+a=a a+U=U 2.13.2 LEYES DE INVOLUCIN (a) = a ; U = 0 ; 0=U ; ; a*a=a a*0=0

2.13. 3 LEYES DE DE MORGAN ( a + b ) = a * b ; ( a * b ) = a + b

2.14 ORDEN DE UN LGEBRA BOOLIANA TEOREMA

TEORA DE CONJUNTOS

39

Sea a, b B un lgebra booliana. Entonces las siguientes condiciones son equivalentes: a * b = 0 Demostracin de a * b = 0 implica a+b=b a+b=b a + b = U a*b=a

( a + b ) = ( a + b ) * U = ( a + b ) * ( b + b ) = ( b + a ) * ( b + b ) = ( b + b ) * ( a + b )= b * ( a + b ) = ( b * a ) + ( b * b )= b + 0 = b Demostracin de a + b = b implica a + b = U

a + b = a + ( a + b )= ( a + a )+ b = U + b = U Demostracin de a + b = U implica a * b = 0 a + b = U implica ( a + b ) = U implica a * b = U implica a * b = 0 Sea a, b B un lgebra booliana. Se dice que a es anterior a b denotado por a b si es vlida una de las propiedades del teorema anterior. Ejemplo 10 Considerando un lgebra booliana de conjuntos ( A, , U ) , entonces A es anterior a B significa que A B verificndose que:

A B' A B B

; A' B U ; A B A

40

LGEBRA I

A B

El diagrama de Venn permite apreciar claramente las identidades descritas.