INTRODUCCION A LOS CONJUNTOS 1. Introduccin a la teora de conjuntos 1.

1 Nocin de conjunto El concepto de conjunto es de fundamental importancia en matemticas y en particular en el estudio de estructuras discretas que permiten modelar y resolver problemas en el campo de la computacin. Un conjunto es una coleccin de objetos bien definidos. A los objetos de la coleccin se les llama miembros o elementos del conjunto. El adjetivo bien definido se usa para significar que cualquiera que sea el objeto considerado, se pueda determinar si est o no en el conjunto que se analiza. En consecuencia, se evita tratar con conjuntos como el conjunto de las frutas ms deliciosas . Entre los ejemplos ms importantes de conjuntos en matemticas se encuentran los sistemas numricos: el conjunto de los nmeros naturales, el conjunto de los nmeros enteros, el conjunto de los nmeros racionales y el conjunto de los nmeros reales. Se utilizan letras maysculas como A, B, C. . . . para representar conjuntos. Ejemplo:
y

El conjunto V de las vocales puede ser escrito como: V = { a, e, i, o, u }

El conjunto C de nmeros enteros impares positivos menores que diez puede ser expresado por: C = { 1, 3, 5, 7, 9 } An cuando los conjuntos son usados, casi siempre, para agrupar elementos con propiedades comunes, estos pueden estar constituidos por elementos de distinta naturaleza. Por ejemplo {2, Pedro, Colombia, manzana, casa} es el conjunto que contiene los cinco elementos: 2, Pedro, Colombia, manzana, y casa. Cuando es posible, es costumbre describir un conjunto, cuyos elementos tienen una caracterstica en comn , escribiendo algunos de sus elementos seguidos por puntos suspensivos. Ejemplo : El conjunto de los nmeros naturales puede ser especificado por N = {1,2,3, . . . } El conjunto de los nmeros enteros puede ser especificado por: Z = { . . . , - 2, - 1, 0, 1, 2, . . . } Como vimos en los ejemplos anteriores, hay conjuntos que pueden ser especificados escribiendo algunos de sus elementos pero esta no siempre resulta ser la forma ms apropiada, adems casi ningn conjunto infinito puede ser descrito de esta forma. Por consiguiente, necesitamos una forma para describir estos conjuntos implcitamente. La manera ms frecuente como hacemos una especificacin implcita es por medio de un predicado o propiedad que cumplen los elementos del conjunto. Por ejemplo, nos podemos referir al conjunto de los nmeros enteros mayores o iguales que 15 escribiendo:{ x Z x 15 }

Definicin: 1.1.1Conjuntos definidos por comprensin. Un conjunto A est escrito por comprensin si es de la forma, XXX Donde, p(x) es un predicado sobre el conjunto U. 1.2 RELACIONES ENTRE CONJUNTOS Hay dos relaciones importantes que se tienen entre conjuntos: contenencia e igualdad Definicin: 1.2.1 Contenencia entre conjuntos. Sean A y B conjuntos. A es un subconjunto de B si cada elemento de A es un elemento de B. Si A es subconjunto de B escribimos si y solamente si Cuando A es subconjunto de B se dice tambin que, A est contenido en B o que, B contiene a A. Ejemplo: . En smbolos tenemos que,

y y y y y y

El conjunto P de enteros pares es un subconjunto de los enteros. Es decir, En el sistema de los nmeros reales se tienen las siguientes contenencias importantes: Si A no est contenido en, es decir, si hay un elemento que est en A y no est en B, escribimos Ejemplo: .

y y

El conjunto R de nmeros primos no est contenido en el conjunto M de nmeros naturales impares. Es decir

De acuerdo a la definicin de contenencia, cuando la implicacin es verdadera. Utilizaremos este hecho en la demostracin de las siguientes propiedades sobre contenencia entre conjuntos. Teorema 1.2.1 Para cualquier conjunto A, se tiene que: (i) (ii) (iii)

Demostracin:
y y y

Como no tiene elementos, la proposicin es falsa. Por lo tanto la implicacin Puesto que todo elemento pertenece a U, la proposicin es verdadera. Por lo tanto la implicacin es verdadera 2. es verdadera3.

es verdadera 1.

Definicin: 1.2.2 Igualdad entre conjuntos. Dos conjuntos A y B son iguales si tienen los mismos elementos, es decir,

Ejemplo:

y y y

Cuando se quiere demostrar que A = B teniendo en cuenta la definicin anterior, debemos probar que i) ii) .

Ilustraremos esta forma de mostrar la igualdad entre dos conjuntos en la demostracin de las siguientes propiedades sobre igualdad entre conjuntos. Teorema 1.2.2 Dados A, B y C conjuntos, se tiene que:
y y y

A =A. . . Demostracin: (i) Esto implica que: . . Ejercicio: .

Demostrar las partes (i) y (iii) del teorema anterior. Negando la definicin de igualdad entre conjuntos, deducimos que dos conjuntos no son iguales si no tienen los mismos elementos: 5

Es decir,

Ejemplo:

y y y

Decimos que A es subconjunto propio de B si Utilizamos la notacin

. .

para indicar que A es subconjunto propio de B. Por ejemplo,

Contenencia e igualdad entre conjuntos definidos por comprensin En el caso que los conjuntos estn descritos por comprensin, las relaciones de contenencia e igualdad se pueden expresar en trminos de los predicados que definen los conjuntos. Sean,

Como:

Entonces,

Por lo tanto,

Como:

Entonces, . En otros trminos,

Por lo tanto,

Ejemplo:

y y y y y

1.3 OPERACIONES ENTRE CONJUNTOS En esta seccin se estudiaran varias operaciones que combinan conjuntos dados para crear nuevos conjuntos. Definicin: 1.3.1 unin entre conjuntos. Sean A y B conjuntos. La unin de A y B est definida como el conjunto de todos los elementos que estn en A, o estn en B, o en ambos A y B. En smbolos,

Por lo tanto,

En consecuencia:

Definicin: 1.3.2 Interseccin entre conjuntos. Sean A y B conjuntos. La interseccin de A y B est definida como el conjunto de todos los elementos que estn en ambos A y B. En smbolos,

Por lo tanto,

En consecuencia:

Ejemplo: Sean . Entonces,

y y y y y y y y y

. Ejemplo:

y y y y y y

Definicin: 1.3.3 Conjuntos disyuntos. Si dos conjuntos no tienen elementos en comn, se dice que son disyuntos. En smbolos,

Ejemplo:

y y y y

Las operaciones de interseccin y unin entre conjuntos son ejemplos de operaciones binarias: dados dos conjuntos A y B como operandos, los resultados respectivamente. son tambin conjuntos, en este caso los operadores son

La siguiente definicin del complemento de un conjunto, es un ejemplo de operacin unaria: dado un conjunto A como operando esta operacin da como resultado un nuevo conjunto por . . El operador complemento es denotado

Definicin: 1.3.4 Complemento de un conjunto. Sea U un universo y A un subconjunto de U. El complemento de A es el conjunto de todos los elementos que no estn en A. En smbolos,

Por lo tanto,

En consecuencia:

Ejemplo: ,

y y y

Ejemplo: ,
y y y y

Ejemplo:

y y y y

Operaciones entre conjuntos definidos por comprensin. En el caso particular que los conjuntos estn descritos por comprensin, las operaciones entre ellos se pueden indicar en trminos de los predicados que definen los conjuntos. Sean

Como:

Entonces,

En este caso,

En consecuencia:

Como:

Entonces,

En este caso,

En consecuencia:

Como:

Entonces,

En este caso,

En consecuencia:

Ejemplo: Sean

y y y

y y

Entonces,

y y y y y y y y y y y y y

y y y y y

1.4 EL LGEBRA DE CONJUNTOS Uno de los resultados ms importantes acerca de conjuntos es que bajo las operaciones de unin, interseccin y complemento se satisfacen ciertas leyes algebraicas a partir de la cuales podemos desarrollar un lgebra de conjuntos. El lgebra de conjuntos es un ejemplo de una estructura conocida como un lgebra de Boole; otro ejemplo es el lgebra de la lgica, donde son las operaciones que actan sobre proposiciones. En esta seccin trataremos las leyes bsicas del lgebra de conjuntos. Teorema 1.4.1 Si A y B son conjuntos, entonces

(i) ( ii ) Demostracin: ( i ) Para demostrar que debemos mostrar que .

.Definicin de

( ii ) Para demostrar que

debemos mostrar que Definicin de

Teorema 1.4.2 Si A y B son conjuntos, entonces (i) ( ii ) Ejercicio: Demostrar el teorema anterior. Teorema 1.4.3 Si A y B son conjuntos, entonces (i) ( ii ) Demostracin: ( i ) Hay que demostrar dos implicaciones: 8

Supongamos que (a.1) hiptesis 9

. Para demostrar la igualdad Definicin U.

debemos mostrar las dos contenencias:

(a.2) Es verdadera por el teorema (1.4.4.i i ).

y

Supongamos que por el teorema (1.4.4.i ). De esta forma, reemplazando . Ejercicio: Demostrar la parte ( i i ) del teorema anterior. Teorema 1.4.4 Leyes de absorcin Para cualesquier conjuntos A y B, (i) (i i ) Demostracin: (i) Por lo tanto, teorema ( 1.4.3.i ) Ejercicio: Demostrar la parte ( i i ) del teorema anterior. Teorema 1.4.4 Leyes de absorcin Para cualesquier conjuntos A, B y C, se cumple lo siguiente: ( i ) Leyes conmutativas (a) (b) ( i i )Leyes asociativas (a) (b) ( i i i ) Leyes distributivas (a) (b) teorema ( 1.4.2.i ) . . por B por la contenencia anterior obtenemos:

( i v ) leyes de impotencia (a) (b) ( v ) leyes de identidad (a) (b) (c) (d) ( v i ) leyes de complemento (a) (b) (c) (d) (e)

( v i i ) leyes de Morgan (a) (b) Primera Ley El complementario de la unin de dos conjuntos es igual a la interseccin de los complementarios de dichos conjuntos.

Es decir, todo elemento que pertenece al complementario de la unin pertenece a la interseccin de los complementarios de los conjuntos Recprocamente

Es decir, todo elemento que pertenezca a la interseccin de los complementarios de dos conjuntos pertenece al complementario de la unin de dichos conjuntos. De ambas inclusiones deducimos que ambos conjuntos son iguales Segunda Ley El complementario de la interseccin de dos conjuntos es igual a la unin de los complementarios de dichos conjuntos.

La demostracin es lgicamente anloga a la anterior.

de donde se deducen las dos inclusiones. Demostracin: ( i i i.a ) hay que demostrar las dos contenencias: (1) (2) (1)

(2)

Ejercicio: Demostrar las dems partes del teorema anterior. Usando las leyes del lgebra de conjuntos que hemos desarrollado anteriormente, podemos probar todas las propiedades elementales sobre conjuntos sin referirnos a las definiciones de lo smbolos un ejemplo de como tales pruebas se pueden realizar. Ejemplo: . El siguiente es

Demostrar

Demostrar

PRINCIPIO DE DUALIDAD Si en una proposicin se intercambian en todos los casos en que se presente por y viceversa, y donde aparezca U por y viceversa, entonces la nueva proposicin que resulta se llama dual de la primera. Ejemplo: El dual de, Obsrvese que la frase dual de cada una de las propiedades enunciadas anteriormente, sobre lgebra de conjuntos, est tambin enunciada como una propiedad. Teorema 1.4.6 Si t es un teorema que trata de conjuntos e incluye slo teorema de la teora de conjuntos. entonces el dual de t tambin es un

La utilizacin de este teorema reduce el trabajo de forma considerable en la demostracin de propiedades. En cada una de las propiedades enunciadas anteriormente sobre lgebra de conjuntos, para cada par de proposiciones duales slo se necesita demostrar una de ellas y recurrir a este teorema para quede establecida la demostracin de la otra proposicin del par. El teorema anterior est basado en el siguiente principio: El principio de dualidad: Si ciertos axiomas implican sus propios duales, entonces el dual de cualquier teorema que sea consecuencia de los axiomas, es tambin consecuencia de los axiomas. Pues dado cualquier teorema y su demostracin, el dual del teorema se puede demostrar del mismo modo empleando el dual de cada paso de la primera demostracin. Ejemplo: Demostrar:

El dual de este teorema fue demostrado en un ejemplo anterior; por tanto, este teorema es cierto por el principio de dualidad. Familia de conjuntos Ocurre a veces que los elementos de un conjunto son a su vez conjuntos. Para evitar decir conjunto de conjuntos , se suele decir familia de conjuntos o coleccin de conjuntos . Utilizaremos letras como A, B, C, , para denotar familias o colecciones de conjuntos Ejemplo: El conjunto Sus elementos son los conjuntos es una familia de conjuntos. .

Una coleccin de conjuntos importante es el conjunto de todos los subconjuntos de un conjunto dado. Definicin: 1.4.1 Conjunto potencia. Sea A un conjunto. Al conjunto de todos los subconjuntos de A se le llama el conjunto potencia de A o las partes de A,y se denota P(A). Es decir,

Por lo tanto, En consecuencia: Recordemos que dado un conjunto A se cumple que: Por lo tanto, para cualquier conjunto A se tiene que: Ejemplo: y . .

y y

Interseccin y unin generalizadas Puesto que la unin e interseccin de conjuntos satisfacen las leyes asociativas, los conjuntos y estn bien definidos cuando A, B, y C son conjuntos. Obsrvese que contiene aquellos elementos que estn en por lo menos uno de los conjuntos A, B, y C, y que contiene aquellos elementos que estn en A, B, y C. Ejemplo: Sean

Entonces,

y y

En general, podemos considerar uniones e intersecciones de un nmero arbitrario de conjuntos. Para esto, introducimos las siguientes definiciones.

Definicin: 1.4.2 Unin generalizada de conjuntos. La unin de la coleccin de conjuntos conjunto de elementos que pertenece a por lo menos un conjunto de la coleccin. Si usamos la notacin abreviada, la notacin . Para denotar la unin de los conjuntos

es el

o de manera ms

Entonces

Por lo tanto,

En consecuencia: Ejemplo: Sean

Entonces, Sean

Entonces, Ahora generalizamos la interseccin de conjuntos

Definicin: 1.4.3 Interseccin generalizada de conjuntos. La interseccin de la coleccin de conjuntos es el conjunto de elementos que pertenece a todos los conjuntos de la coleccin.

Si usamos la notacin ms abreviada, la notacin

. Para denotar la interseccin de los conjuntos

o de manera

Entonces,

Por lo tanto,

En consecuencia: Ejemplo: Sean

Entonces, Sean

Entonces, FAMILIA DE CONJUNTOS CON NDICES

En la ultima seccin al considerar la coleccin de conjuntos conjuntos con ndices. Si llamamos conjunto . En este caso se dice que un ndice de la coleccin conjuntos.

tenemos lo que se llama una familia de le corresponde un , es decir, cada , es

entonces vemos que a cada elemento es el conjunto de ndices, y que la suscrita de

Ms generalmente, utilizamos un conjunto

cuyos elementos

(no necesariamente nmeros) sirven como . La familia es llamada una son llamados ndices. Una

ndices para designar los elementos de una coleccin familia de conjuntos con ndices,

es llamado su conjunto de ndices y los elementos de es:

notacin compacta para designar la familia Ejemplo:

Sea Entonces,

, donde

Sea Entonces,

, donde

Obsrvese que puede suceder que Sea Entonces,

y

, con , donde

Sea

el conjunto de palabras en espaol. , entonces,

Si definimos

Obsrvese que los elementos del conjunto de ndices, en este caso, no son nmeros. Sea

Entonces, Ntese que en la seccin anterior las operaciones de interseccin y unin de conjuntos fueron generalizadas para la familia con ndices, con conjuntos de ndices . Ahora extendemos estas definiciones a

cualquier familia de conjuntos con ndices

Definicin: 1.4.4. Sea

una familia de conjuntos con ndices. La unin de la familia de la familia. En smbolos,

consiste en

aquellos elementos que pertenecen al menos a uno de los

Por lo tanto,

En consecuencia:

Ejemplo: Sea , donde .

Entonces,

Sea

, donde

Entonces,

Sea

, donde

Entonces, Sea , donde .

Entonces,
y

Sea

el conjunto de palabras en espaol.

Si definimos,

Entonces, Sean .

para

Entonces, Ahora definimos la interseccin generalizada para una familia con ndices:

Definicin: 1.4.5. Sea

una familia de conjuntos con ndices. La interseccin de la familia de la familia. En smbolos,

consiste en

aquellos elementos que pertenecen a todos los

Por lo tanto

En consecuencia: Ejemplo: Sea , donde .

Entonces,

Sea Entonces,

, donde

Sea

, donde

Entonces,

Sea

, donde

Entonces,
y

Sea

el conjunto de palabras en espaol.

Si definimos,

Entonces, Sean .

para

Entonces,