Captulo 8.

- TEORIA DE CONJUNTOS Introduccin La teora de conjuntos es una de las partes de la matemtica que se desarroll desde fines del siglo XIX. Ha introducido trminos como pertenencia, inclusin, unin y otros con significados rigurosos y su uso sin dudas ha permitido mejorar la presicin del lenguaje en reas de conocimiento como la teora de relaciones y funciones, la teora de las probabilidades y otras. Conocerla, al menos en sus aspectos fundamentales, es una necesidad para cualquier estudiante de ciencias, por ello su presencia en la currula de matemtica para Ingeniera Agronmica. NOCIONES DE CONJUNTO Y DE ELEMENTO Un conjunto es cualquier agrupacin o coleccin de objetos o entidades. Un elemento es cada uno de los objetos que forman un conjunto. Los conjuntos se designan o anotan generalmente con una letra mayscula. Sus elementos se encierran entre llaves y si son literales, generalmente se usan minsculas. Por ejemplo, el conjunto A, formado por los elementos 1, 2 y 3, se anota as:
A = {1,2,3}

DEFINICION ( O DETERMINACION) DE UN CONJUNTO Un conjunto est definido o est determinado cuando se conocen todos y cada uno de los elementos que lo forman. Se usan dos maneras para definir un conjunto: a) extensin o enumeracin b) comprensin. DEFINICION POR EXTENSION O ENUMERACIN Un conjunto est definido por extensin o enumeracin cuando para conocer los elementos que lo forman, stos se nombran o enumeran uno a uno. Ejemplo: si decimos que el conjunto M est formado por los elementos 5 y 7, y anotamos M = { 5;7} , lo hemos definido por extensin. DEFINICION POR COMPRENSION Un conjunto est definido por comprensin cuando sus elementos se conocen a travs de una propiedad que les es comn a ellos y slo a ellos. Esa propiedad suele adquirir la forma de una funcin proposicional que se transforma en una proposicin verdadera (V) slo cuando a su/s variable/s se le/s asignan como valores los elementos de ese conjunto. En el caso de conjuntos de inters matemtico la funcin proposicional suele tener forma de una ecuacin, o tambin de una inecuacin. Ejemplo: el mismo conjunto M del caso anterior puede ser definido por comprensin as: El smbolo x/ se lee: x, tal que EQUIVALENCIA DE AMBAS DEFINICIONES
M = { x / x 2 2 x 35 = 0}

Analicemos la equivalencia de las dos formas de definicin utilizadas. En la definicin por comprensin, la funcin proposicional usada es la ecuacin de segundo grado en una incgnita, x 2 2 x 35 = 0 , que slo se satisface como igualdad para sus races , que calculamos a continuacin, con la frmula de Baskara:
x=
( 2) ( 2) 2 4.1.( 35 ) b b 2 4.a.c 2 12 . = = 2.a 2 .1 2 De all, x1 = 7 y x 2 = 5

Estos dos nmeros son, precisamente, los elementos de M enumerados en la otra forma usada. Concluimos entonces que ambas formas definen al mismo conjunto y, por ello, son equivalentes. Debe entenderse tambin que la funcin proposicional x 2 2 x 35 = 0 , permite comprender que el conjunto M est formado por los nmeros 5 y 7, an cuando stos no sean nombrados explcitamente, pues ellos son los nicos nmeros que la transforman en una proposicin verdadera. DOS CONJUNTOS ESPECIALES Es frecuente, en esta teora, la referencia a dos conjuntos que debemos distinguir como especiales: a) el conjunto vaco (simbolizado con ) b) el conjunto universal (simbolizado con U) El conjunto vaco es el que no tiene elementos. El conjunto universal es el que rene a todos los elementos de que se trata. DIAGRAMAS DE VENN-EULER Los diagramas de Venn-Euler estn formados por curvas que encierran a los elementos de un conjunto del cual se necesita proponer un grfico representativo. La letra mayscula que lo nombra se coloca afuera de la curva. Ejemplo: A

Si A = {1,2,3} , el grfico ser A

x x1

2
x

El nico conjunto que se representa grficamente de un modo distinto es el universal U, pues para l se utiliza un rectngulo y su nombre se coloca en el interior, generalmente en el ngulo superior izquierdo. U

Es tambin frecuente el uso de los dos diagramas que siguen, llamados diagramas de distribucin, cuya utilidad se apreciar en sus aplicaciones. U A B U A C LA PERTENENCIA La pertenencia es un concepto que permite observar la posicin de un elemento cualquiera, con respecto a un conjunto, tambin cualquiera. As, dados un elemento y un conjunto cualesquiera, diremos que: a) el elemento pertenece al conjunto, o bien b) El elemento no pertenece al conjunto. Los smbolos usuales son ( pertenece ) y (no pertenece). Ejemplo: sea M = { x / x 2 2 x 35 = 0} . a) 5 M es una proposicin V (verdadera). 7 M es una proposicin V. b) 2 M es una proposicin V. c) 4,25 M es una proposicin F (falsa). d) e) 5 M es una proposicin F. En sntesis: la pertenencia slo se debe usar para comparar la posicin de un elemento con respecto a un conjunto. El formato usual es [elemento] [conjunto], o bien [elemento] [conjunto], en donde los corchetes se deben interpretar como los lugares que en general han de ocupar las entidades que se comparan. LA INCLUSION La inclusin es un concepto que permite comparar la ubicacin de un conjunto con respecto a otro conjunto. Definicin: un conjunto A est incluido en otro conjunto B si, y slo si, todos los elementos de A lo son tambin de B. Los smbolos usuales en este caso son: B

(est incluido en)

(no est incluido en)

3

 (incluye a) Con estos smbolos, podemos enunciar la definicin de inclusin as:

A B x A x B

o, usando el condicional contrarrecproco (equivalente):

A B x B X A

Propiedades de la inclusin: 1) Propiedad Reflexiva: todo conjunto est incluido en s mismo. 2) Propiedad Transitiva:
A B B C A C A : A A

A 3) El conjunto vaco est incluido en cualquier conjunto. : A

4) Todo conjunto est incluido en el Universal: U A

A : A U

CONJUNTOS IGUALES Definicin:

A= B A BB A

Propiedades de la igualdad de conjuntos: 1) Propiedad Reflexiva: A : A = A A=B B= A 2) Propiedad Simtrica: 3) Propiedad Transitiva: A = B B = C A = C OPERACIONES CON CONJUNTOS I- UNION DE DOS CONJUNTOS

Definicin: Grficamente: U

C = A B A B = { x / x A x B}

A B
Propiedades: 1) Propiedad de Idempotencia:

A A = A

2) Propiedad Conmutativa: A B = B A 3) Propiedad Asociativa: Casos particulares: 1) Si un conjunto est incluido en otro, la unin de ambos es el conjunto incluyente. A B A B = B Grficamente: B A A B

( A B) C = A ( B C )

Por lo tanto: a) A = A ; b) A U = U .

II- INTERSECCION DE DOS CONJUNTOS Definicin: Grficamente: U A

C = A B A B = { x / x A x B}

Propiedades:

A B

1) Propiedad de Idempotencia:

A A = A

2) Propiedad Conmutativa: A B = B A

3) Propiedad Asociativa: Casos particulares:

( A B) C = A ( B C )

1) Si un conjunto est incluido en otro, la interseccin de ambos es el conjunto incluido. A B A B = A Grficamente: B A A B Resulta, entonces, que: c) A = ; d) A U = A . 2) Si la interseccin de dos conjuntos es el conjunto vaco, los dos conjuntos se dicen disyuntos, y recprocamente. A B = A es disyunto con B Grficamente: U A B

III- COMPLEMENTACION DE CONJUNTOS Definicin: se llama complemento de A al conjunto formado por todos los elementos de U, que no pertenecen a A. El complemento de A se denota con A, o con A . Usaremos preferentemente la segunda notacin. Entonces: A = { x / x U x A} , o bien, A = { x / x A} En forma grfica: U A
A

Propiedades de la complementacin: 1) Propiedad Involutiva: 2) A B B A

( A) = A

PROPIEDADES DISTRIBUTIVAS La unin y la interseccin de conjuntos se relacionan a travs de dos propiedades que se enuncian simblicamente a continuacin: I) Propiedad distributiva de la unin, con respecto a la interseccin

( A B) C = ( A C ) ( B C )
II) Propiedad distributiva de la interseccin, con respecto a la unin

( A B) C = ( A C ) ( B C )
LEYES DE DE MORGAN A su vez, la unin y la interseccin de conjuntos se relacionan con la complementacin de conjuntos a travs de otras dos propiedades que se enuncian simblicamente a continuacin: I) Primera ley de De Morgan

( A B) = A B
II) Segunda ley de De Morgan

( A B) = A B
IV- DIFERENCIA DE DOS CONJUNTOS Definicin: Grficamente: U A B
C = A B A B = { x / x A x B}

A - B Observacin: la diferencia de conjuntos no es conmutativa. A-B B-A Propiedades: 1) A-B = A B

2) Propiedad distributiva de la interseccin con respecto a la diferencia:

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