PUCESA

INTRODUCCIN

e) f) g) h)

P P. (P P) Q. (P Q) (P Q). (P Q) P v Q.

9. Probar que las siguientes proposiciones son contradicciones: a) (P Q) (P Q). b) ((P v Q) P) (Q). c) (P Q) (P). 10. Mostrar que x P(x) es equivalente a x P(x). 1.2. DEFINICIONES BSICAS. Ahora veremos las nociones bsicas sobre la teora de conjuntos. Un conjunto es una coleccin de objetos llamados elementos del conjunto. Si A es un conjunto y a es un elemento de A, se usa la notacin a A ( se lee a es un elemento de A). Se usa la notacin b a cuando es necesario indicar que b no es elemento de A. Si sabemos que A contiene exactamente los elementos a1, a2...... an., lo indicamos escribiendo A={ a1, a2...... an }, por ejemplo el conjunto de los nmeros naturales menores que 6 puede ser escrito A={0,1,2,3,4,5}. Esta notacin puede ser extendida a los conjuntos para los cuales no es posible listar todos sus elementos, tale como N={0,1,2........} o N+ = {1,2,3.......}. Un conjunto slo se caracteriza por sus elementos y no por el orden en el cual se lista. Por eso {1,2,3} y {2,1,3} denota el mismo conjunto. Los conjuntos A y B son iguales si contienen exactamente los mismos elementos. Por tanto, si A={1,2,3,} y B={2,1,3}, se puede escribir que A=B. Fjese que {a} y a no son los mismo. Tenemos que a A, pero a {a}. Tambin el conjunto {{a, b}} tienen un nico elemento que es el conjunto {a, b}. Por otro lado, {a, b} tiene dos elementos, a y b. Por consiguiente, {{a, b}} {a, b}. Si A y B son conjuntos y todos los elementos de A son tambin elementos de B, se escribe A B y se dice que A es un subconjunto de B. Por ejemplo si A={1,2,3} y B={0,1,2,3,4,5}, se tiene A B. Por otro lado, B no es un subconjunto de A, porque los elemento 0, 4 y 5 de B no lo son de A. Para completar las definiciones, es conveniente considerar un conjunto especial , llamado conjunto vaci o nulo, el cual no tiene elementos. El conjunto vaco es un subconjunto de todos los conjuntos; por lo cual se puede escribir A, para todo conjunto A. Algunas veces es conveniente describir el contenido de un conjunto en trminos de una propiedad que sea caracterstica de todos los elementos del conjunto. Sea P(x) una

Ing. M.Sc. Janio Jadn.

PUCESA

INTRODUCCIN

proposicin sobre x. La notacin {xP(x)}, que se interpreta como El conjunto de todos los x tales que P (x), denota el conjunto de todos los x para los cuales P (x) es una proposicin verdadera. Por ejemplo Z+= {xx N y x > 0} describe el conjunto de los enteros positivos A = {xx N y x < 5} es el conjunto {0,1,2,3,4}. Supongamos que A es un conjunto. Definimos conjunto potencia de A como 2A = {BB A}. Por ejemplo, sea A = {a, b, c}. Entonces 2A es el conjunto {, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}}. Obsrvese que 2 A y A 2 A 1.3. OPERACIONES CON CONJUNTOS. En aritmtica se puede sumar, restar o multiplicar dos nmeros. En la teora de conjuntos existen tres operaciones que son anlogas a las anteriores. La unin de conjuntos A y B se denota por A U B y es un conjunto formado por los elementos que aparecen en A, en B o en ambos. Por tanto A U B = {xxA o xB}. La interseccin de A y B es el conjunto A B = { xxA y xB } Obsrvese que si xA B entonces se puede decir que x aparece simultneamente en A y B. Por ejemplo, si A = {0,1,2,3,4,5} y B = {2,3,5,9} entonces A U B={0,1,2,3,4,5,9} y A B= {2,3,5}. Obsrvese que Z+ U {0}=N, mientras que N Z+=Z+. Se dice que los conjuntos A y B son disjuntos si A B = . Teorema 1 Dados los conjuntos A y B, se tiene lo siguiente: 1. 2. 3. 4. 5. 6.

A=A A = {} Si AB, entonces A B = A Si AB, entonces A B = B A A =A = A A (a) A B = B A (b) A B = B A 7. (a) A (B C) = (A B) C (b) A (BC) = (AB) C 8. (a) A(B C) = (AB) U (AC) (b) A (B C) = (A B) (A C)

Si A y B son dos conjuntos cualesquiera, el complemento de B con respecto a A (tambin llamado complemento relativo) es el conjunto A B = {xx A y x B} Ing. M.Sc. Janio Jadn. 5

PUCESA

INTRODUCCIN

Por lo tanto, A B esta compuesto por todos los elementos de A que no estn tambin en B. Por ejemplo, si A={0,2,4,6,8,10} y B={0,1,2,3,4}, entonces A B = {6,8,10}, mientras que A B = {1,3}. Es conveniente pensar que todos los conjuntos aqu tratados se consideran subconjuntos de un conjunto universal U. Los complementos pueden ser formados con respecto a ese conjunto universal. Si A es un conjunto, entonces U A es el conjunto de todos los elementos que no estn en A. Conviene denotar tales complementos mediante A ; de forma que U A= A Obsrvese que {}= U, y U ={}. Teorema 2. Dados los conjuntos A y B: 1. 2. A B = A B. ( A B ) =A B.

3. 4.

( A B ) = A B.
A= A

Tngase en cuenta que los apartados(2)y (3) del teorema 2 se conocen como las leyes de De Morgan para conjuntos. Dados los conjuntos A y B, su producto cartesiano, AxB, es el conjunto de todos los pares ordenados de los que el primer elemento proviene de A y el segundo de B. As que, A x B = {(a, b)a A y b B} Por ejemplo si, A={1,2,3} y B={5,6,} entonces A x B={(1,5),(2,5),(3,5),(1,6),(2,6),(3,6)} Obsrvese que dos pares ordenados son iguales si y slo si los elementos correspondientes de los mismos son iguales. Por lo tanto (a,b) = (c,d) slo cuando a = c y b = d. Luego un par ordenados es distinto que un conjunto de dos elementos .

Ing. M.Sc. Janio Jadn.

PUCESA

INTRODUCCIN

Ejercicios Propuestos.

1. Probar las siguientes afirmaciones: a) Si A B, entonces 2A 2B. b) Si A B = A B, entonces A = B. c) Si A = B entonces A B = A B. 2. Si A B, entonces para todo conjunto C, se obtiene que A C B C y A C B C. Probarlo. 3. Si A C y B D se cumple que C D A B?. 4. Probar o refutar las siguientes afirmaciones: a) Si A B = A C, entonces B = C. b) Si A B = A C, entonces B = C. 5. Sea {B | 1}una familia indexada de conjuntos. Se usar la notacin 1 B para indicar la unin de todos los B y 1 B para indicar la interseccin de todos los B. Probar que para todo conjunto A se cumplen las siguientes igualdades: a) A (1 B) = 1 (A B). b) A (1 B) = 1 (A B). 6. Demostrar las siguientes igualdades: a) b) c) d) e) A B = A (B A). B A si y slo si A B = . (1 B) A = 1 (B - A). (A - B) C = (A C) (B - C) = A (B C). A B = y A B = si y slo si A = B.

7. Son ciertos los siguientes resultados?. a) 2A 2B = 2A B . b) 2A 2B = 2A B . 8. Los pares ordenados (x, y) se definen formalmente por medio de la siguiente igualdad (x, y) = {{x},{x, y}}. Usando la definicin anterior, mostrar que (a, b) = (c, d) si y slo si a = c y b = d. 9. Dados los conjuntos A, B y C, probar que: a) A x (B C) = (A x B) (A x C). b) A x (B C) = (A x B) (A x C). c) A x (B - C) = (A x B) - (A x C).

Ing. M.Sc. Janio Jadn.