Introduccin a los conjuntos

Olvida todo lo que sabes sobre nmeros. Olvdate de que sabes lo que es un nmero. Aqu es donde empiezan las matemticas. En vez de matemticas con nmeros, vamos a hacer matemticas con "cosas".

Definicin
Qu es un conjunto? Bueno, por decirlo de una manera simple es una coleccin. Primero eliges una propiedad comn a unas "cosas" (esto lo definiremos luego) y despus renes las "cosas" que tienen esa propiedad. Por ejemplo, la ropa que llevas: podran ser zapatos, calcetines, sombrero, camisa, pantalones y otras cosas. Seguro que a ti se te ocurriran cien por lo menos. Esto es un conjunto. Otro ejemplo sera tipos de dedos. Este conjunto tendra pulgar, ndice, medio, corazn y meique. As que son slo cosas juntas que tienen una misma propiedad.

Notacin
Hay una notacin para conjuntos bastante simple. Los dos ejemplos de arriba son: {calcetines, zapatos, relojes, faldas, ...} {pulgar, ndice, medio, corazn, meique} Fjate que uno tiene "...". Esto slo quiere decir que el conjunto sigue indefinidamente. A lo mejor no hay infinitas cosas distintas que ponerse, pero no estoy seguro de eso. Despus de pensarlo durante una hora, todava no estoy seguro. El primer conjunto es un conjunto infinito, el segundo es un conjunto finito.

Conjuntos de nmeros

Qu tiene esto que ver con matemticas? Cuando definimos un conjunto, todo lo que hace falta es una propiedad comn. Quin dice que no se puede hacer lo mismo con nmeros? Conjunto de nmeros pares: {..., -4, -2, 0, 2, 4, ...} Conjunto de nmeros impares: {..., -3, -1, 1, 3, ...} Conjunto de nmeros primos: {2, 3, 5, 7, 11, 13, 17, ...} Mltiplos positivos de 3 que son menores que 10: {3, 6, 9} Y la lista sigue. Podemos inventar muchos conjuntos distintos. Tambin hay conjuntos de nmeros que no cumplen una propiedad comn, simplemente se definen as. Por ejemplo: {2, 3, 6, 828, 3839, 8827} {4, 5, 6, 10, 21} {2, 949, 48282, 42882959, 119484203} Todos estos conjuntos los he escrito aporreando mi teclado sin mirar.

Por qu son importantes los conjuntos?

Los conjuntos son los ladrillos fundamentales de las matemticas. Es verdad que los conjuntos, por s solos, no parecen nada del otro mundo. Pero cuando los aplicas en distintas situaciones es cuando se convierten en los bloques con los que las matemticas se construyen. Las matemticas se pueden complicar mucho rpidamente. Teora de grafos, lgebra astracta, anlises real, anlisis complejo, lgebra lineal, teora de nmeros, y la lista sigue y sigue. Pero hay una cosa que todas estas partes de las matemticas tienen en comn: los conjuntos. Las matemticas se pueden complicar mucho rpidamente. Teora de grafos, lgebra astracta, anlises real, anlisis complejo, lgebra lineal, teora de nmeros, y la lista sigue y sigue. Pero hay una cosa que todas estas partes de las matemticas tienen en comn: los conjuntos.

Conjunto universal
Al principio usamos la palabra "cosas" entre comillas. Esto se llama el conjunto universal. Es un conjunto que contiene todo. Bueno, No todo de verdad. Todo lo que tiene que ver con el problema que tienes entre manos.

Hasta ahora, los conjuntos que te he dado contenan nmeros enteros. As que el conjunto universal aqu seran los enteros. De hecho, cuando uno hace Teora de Nmeros, casi siempre ese es el conjunto universal, porque la Teora de Nmeros es la parte de las matemticas que estudia los enteros. Sin embargo en Anlisis Real, el conjunto universal es casi siempre los nmeros reales. Y en Anlisis Complejo, el conjunto universal es los nmeros complejos.

Ms notacin
Cuando hablamos de conjuntos, es normal usar letras maysculas para llamar al conjunto, y letras minsculas para los elementos de ese conjunto. As que por ejemplo A es un conjunto, y a es un elemento de A. Lo mismo con B y b, y con C y c. No pasa nada si no sigues esa regla, puedes usar algo como m para representar un conjunto sin romper reglas matemticas (ojo, pasars aos en la crcel por dividir entre 0), pero esta notacin es fcil de seguir, as que por qu no usarla? Tambin, cuando decimos que un elemento a est en un conjunto A, usamos el smbolo para mostrarlo. Y si algo no est en un conjnto usamos . Ejemplo: el conjunto A es {1,2,3}. Como puedes ver 1 A, pero 5 A

Igualdad
Dos conjuntos son iguales si tienen exactamente los mismos miembros. Quizs no parezcan iguales a primera vista, tienes que mirarlos bien! Ejemplos: Son A y B iguales si:

A es el conjunto de los cuatro primeros enteros positivos B = {4, 2, 1, 3}

Vamos a verlo. Los dos contienen 1. Y 2. Y 3, y 4. Y ya hemos comprobado los elementos de los dos conjuntos, as que: S, son iguales! Y el signo igual (=) se usa precisamente para indicar igualdades, as que escribimos:

A=B

Subconjuntos
Cuando definimos un conjunto, si tomamos partes de l tenemos algo que se llama un subconjunto. As que por ejemplo tenemos el conjunto {1, 2, 3, 4, 5}. Un subconjunto suyo es {1, 2, 3}. Otro subconjunto es {3, 4} y otro es {1}. Sin embargo, {1, 6} no es un subconjunto, porque contiene un elemento (el 6) que no est en el conjunto grande. En general: A es subconjunto de B si y slo si cada elemento de A est en B. As que vamos a usar esta definicin en algunos ejemplos.

Es A subconjunto de B, si A = {1, 3, 4} y B = {1, 4, 3, 2}?

1 est A, pero 1 tambin est en B. Por ahora bien. 2 est en B, pero no en A. Pero recuerda que eso no importa, slo hay que mirar los elementos de A. 3 est en A y tambin en B. Falta uno ms. 4 est A, y en B. Esos son todos los elementos de A, y estn todos en B, as que ya est. Vamos a intentar un ejemplo ms difcil.

Sean A todos los mltiplos de 4 y B todos los mltiplos de 2. Es A un subconjunto de B? Es B un subconjunto de A?

Bueno, no se pueden comprobar todos los elementos de estos conjuntos, porque hay infinitos elementos. As que tenemos que hacernos una idea de cmo son los elementos en cada uno, y comparar. Para representar un mltiplo de 2, usamos 2n, donde n es un entero. Y hacemos lo mismo con los mltiplos de 4: son 4m, donde m es entero. As que si tenemos un nmero 4m, lo podemos escribir como un mltiplo de 2, con la forma 2n? Claro que podemos! Sabemos que 4 = 2*2, as que 4m = 2*2m, o mejor 2(2m). Tambin sabemos que 2m es un entero. As que vamos a llamar a = 2m, donde a es un entero. Entonces podemos decir que 4m = 2*2m = 2(2m) = 2(a). Como a es un entero, 2a es prcticamente lo mismo que 2n. Quiero decir, lo nico que pasa es que usamos otra letra, pero no importa qu letra usemos. As que A es un subconjunto de B. Pero es B un subconjunto de A? Bueno, podemos probar a hacer lo mismo. Tenemos 2n y queremos que sea como 4m. Una manera de hacer eso sera multiplicarlo por 2 para que tengamos 2*2n o lo que es lo mismo 4n. Pero recuerda lo de arriba, slo podemos usar el signo igual. Si multiplicas un nmero por 2, ya no es igual a lo que era. As que nos hemos

topado con un muro. No parece que 2n se pueda hacer parecido a 4m. A lo mejor lo que queremos es falso? Vamos a probar lo contrario, a ver si es verdad que B no es subconjunto de A. Cmo lo haramos? Bueno, nos basta encontrar un elemento de B que no est en A. Todo lo que hay que hacer es buscar un elemento as. Queremos un mltiplo de 2 que no sea mltiplo de 4. Pero de hecho, 2 es mltiplo de 2, pero no es mltiplo de 4. As que 2 est en B pero no en A, y entonces B no es subconjunto de A.

Subconjuntos propios
Si nos fijamos en la definicin de subconjunto y dejamos que nuestra mente trabaje un poco, llegamos a una conclusin rara. Digamos que A es un conjunto. Es verdad que todo elemento a de A tambin es un elemento de A? Bueno, est claro que s, no? Y eso no significa que A es un subconjunto de A? Esto no parece muy correcto, no? Queremos que nuestros subconjuntos sean propios. As que introducimos la definicin de subconjuntos propios. A es un subconjunto propio de B si y slo si cada elemento de A est en B, y existe por lo menos un elemento de B que no est en A. Esta pequea parte del final es la que hace que A no sea un subconjunto propio de s mismo. Por lo dems, un subconjunto propio es lo mismo que un subconjunto normal. As que por ejemplo, {1, 2, 3} es un subconjunto de {1, 2, 3}, pero no es un subconjunto propio de {1, 2, 3}. Por otra parte, {1, 2, 3} es un subconjunto propio de {1, 2, 3, 4} porque el elemento 4 no est en el primer conjunto. Fjate en que si A es un subconjunto propio de B, entonces tambin es un subconjunto de B.

Ms notacin
Cuando decimos que A es un subconjunto de B, escribimos A O podemos decir que A no es subconjunto de B: A B.

B ("A no es subconjunto de B") Bo

Cuando hablamos de subconjuntos propios, quitamos la lnea de debajo y queda A para decir lo contrario, A B.

Conjunto vaco
Probablemente esto es lo ms raro que tienen los conjuntos.

Por ejemplo, piensa en el conjunto de teclas de piano que tiene una guitarra. "Pero espera!" seguro que dices, "Una guitarra no tiene teclas!" Y tienes toda la razn. Este conjunto no tiene elementos. A este conjunto se le llama conjunto vaco. No tiene elementos. Ni uno. Se representa como Otro ejemplo de conjunto vaco es el conjunto de pases al sur del polo sur. Y qu es tan extrao sobre el conjunto vaco? Bueno, esa parte viene ahora.

El conjunto vaco y subconjuntos

Volvamos a la definicin de subconjunto. Tenemos un conjunto A. No decimos ms de l, podra ser cualquier conjunto. El conjunto vaco es subconjunto de A? Volviendo a la definicin de subconjunto, si todo elemento del conjunto vaco tambin est en A, entonces el conjunto vaco es subconjunto de A. Pero y si no hay elementos? Hay falta aprender algo de lgica para entender esto, pero esa frase es verdadera de manera "vaca" o "trivial". Pinsalo de esta manera: no podemos encontrar elementos en el conjunto vaco que no estn en A, as que todos los elementos del conjunto vaco estn en A. As que la respuesta a la pregunta que hicimos es un sonoro s. El conjunto vaco es subconjunto de todos los conjuntos, includo l mismo.

Cardinal
Todo conjunto tiene una propiedad asociada llamada cardinal. Es simplemente el tamao del conjunto. De la misma manera que hay conjuntos finitos e infinitos, estos tienen cardinal finito e infinito. Para conjuntos finitos, lo representamos con un nmero, el nmero de elementos. Por ejemplo, {1, 2, 3, 4} tiene cardinal 4. Sobre conjuntos infinitos, slo podemos decir que tienen cardinal infinito. Aunque parezca raro, hay infinitos ms grandes que otros, pero este es un tema avanzado en teora de conjuntos.

No! No ms notaciones!
Nah, era broma. No hay ms notaciones.

Ejercicios
Pronto ...

Teora de conjuntos y elementos

Diferencia entre elemento y subconjunto. El conjunto C est formado por dos elementos. El conjunto A est formado por cinco elementos (cinco figuras geomtricas), y C, sealado con lnea discontinua, es un subconjunto de A, C A. El conjunto B, por el contrario, est formado por cuatro elementos: tres figuras geomtricas y un conjunto, a saber, C. Por tanto, C, sealado con lnea continua, es un elemento de B, C B. Al escribir A = {1,2,3,4}, estamos diciendo que los elementos del conjunto A son los nmeros 1, 2, 3 y 4. Un grupo de elementos de A sera, por ejemplo, {1,2}, el cual es un subconjunto de A. Los elementos pueden ser conjuntos en s mismos. Por ejemplo, consideremos el conjunto

B = {1,2,{3,4}}. Los elementos de B no son 1, 2, 3, y 4; en efecto, B tiene slo tres elementos: 1, 2 y el conjunto {3,4}. Los elementos de un conjunto pueden ser cualquier cosa. Por ejemplo, C = {rojo, verde, azul}, es el conjunto cuyos elementos son los colores rojo, verde y azul.

[editar] Notacin
La relacin "es un elemento de", tambin llamada miembro del conjunto, se denota mediante el smbolo ., y al escribir

estamos diciendo que x es un elemento de A. Equivalentemente, podemos decir o escribir "x es un miembro de A", "x pertenece a A", "x es en A", "x reside en A", "A incluye x", o "A contiene x". La negacin de este smbolo se denota .

Desafortunadamente, los trminos "A incluye x" y "A contiene x" son ambiguos, porque algunos autores tambin los usan para referirse a que "x es un subconjunto de A".1 El lgico George Boolos es enftico al aclarar que la palabra "contiene" debe usarse slo para pertenencia de elementos, e "incluye" slo para relaciones de subconjuntos RELACION DE PERTENENCIA
Los objetos que forman parte del conjunto se denominan elementos. Si un elemento forma parte de un conjunto se dice que el elemento pertenece ( )al conjunto. Si el elemento no forma parte del conjunto, se dice que no pertenece ( ) al conjunto.

DETERMINACIN DE CONJUNTOS Un conjunto se puede determinar de dosmaneras: A. Determinacin por comprensin: Un conjunto est determinado porcomprensin cuando se hace referencia ala propiedad del conjunto. Ejemplo :A = {x / x es una vocal}Se lee: El conjunto A formado por todas lasx tal que x es una vocal. Ejemplo: B = {x/x N; 2 < x < 8}Se lee: El conjunto B formado por todas lasx, tal que x es un nmero naturalentre 2 y 8. Ejemplo: C = {x/x N: 1 x < 10; x es par}Se lee: El conjunto C formado por todas lasx tal que x es un nmero natural mayoro igual que 1 y menor que 10, par. B. Determinacin por extensin:

Un conjunto est determinado porextensin cuando se nombra o enumeracada uno de sus elementos. Es lo contrarioa la determinacin por comprensin. Ejemplos: A = {lunes, martes, mircoles, jueves,viernes, sbado, domingo}B = {0; 1; 2; 3; 4; 5; 6; }P = {0; 2; 4; 6; 8; }I = {1; 3; 5; 7; 9; } DE COMPRENSIN A EXTENSIN Para pasar un conjunto que est porcomprensin a extensin, es necesario realizarlos siguientes pasos que veremos en elejemplo: Ejemplo: Dado el siguiente conjunto, determinarlo porextensin.C = {x+2/x N: 1 x < 10; x es par}Paso 1:El intervalo siempre es el primer paso.De ste se obtienen los valores de x.1 x < 10, x: 1; 2; 3;4;5;6;7;8;9Paso 2:De los valores obtenidos en el paso 1,se filtran o se escogen los que sonpares.x es par, x: 1; 2 ; 3; 4 ; 5; 6 ; 7; 8 ; 9 x: 2; 4; 6; 8Paso 3:Finalmente, se reemplazan los valoresen: x+22+2=44+2=66+2=88+2=10Por lo tanto, el conjunto determinado porextensin es: C = {4; 6; 8; 10} Prof. Hctor R. MALLMA ALVARADO Tal que PropiedadPaso 1 Paso 2Paso 3

Una de las principales teoras dentro de la matemtica actual es la Teora de los Conjuntos. Podramos decir que es una teora que nos explica el funcionamiento de una coleccin de elementos cuando realizamos alguna operacin con ellos. De la definicin anterior observamos la primera dificultad que se encuentra un estudiante al estudiar esta teora, pues se empieza sin ninguna definicin vlida. El concepto de conjunto se acepta sin definicin. La segunda dificultad a la que una persona se enfrenta cuando estudia la Teora de Conjuntos es la de las operaciones con conjuntos. Una parte que sin lugar a dudas es muy importante ya que influir en otras teoras matemticas. Pues bien, los Diagramas de Venn intentan corregir, de alguna manera, dicha dificultad.

Los Diagramas

Diagrama de Venn

Diagrama de Venn mostrando la interseccin de dos conjuntos. Los diagramas de Venn son ilustraciones usadas en la rama de la Matemtica y Lgica de clases conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un crculo o un valo. La posicin relativa en el plano de tales crculos muestra la relacin entre los conjuntos. Por ejemplo, si los crculos de los conjuntos A y B se solapan, se muestra un rea comn a ambos conjuntos que contiene todos los elementos contenidos a la vez en A y en B. Si el crculo del conjunto A aparece dentro del crculo de otro B, es que todos los elementos de A tambin estn contenidos en B. de Venn se basan fundamentalmente en representar los conjuntos matemticos con unas circunferencias. Con estas circunferencias el estudiante realiza una serie de operaciones como la unin, la interseccin, etc. Podramos decir que el manejo de los Diagramas de Veen sirven para orientar al estudiante, son una herramienta metodolgica que tiene el profesor para explicar la Teora de Conjuntos. Pues bien vamos a citar a continuacin los ejemplos ms importantes de los Diagramas de Veen. Diagrama de la interseccin de dos conjuntos. En teora la interseccin de dos conjuntos podemos definirla como la parte comn que tienen dos conjuntos, si es que existe(Ejemplo de inexistencia: la interseccin de los nmeros pares con los impares) . Pues el diagrama que viene a continuacin representa dicha situacin. La interseccin de los conjuntos A y B es la parte azulada, en efecto vemos que la parte comn que comparte el conjunto A con el B es la parte azul.

En matemticas la interseccin se representa AB.

Diagrama de la intercesin vaca (no hay ningn elemento comn) En efecto, se observa que ambos conjuntos no tienen ninguna parte comn. Esto se le llama en Matemticas conjunto vaco y se representa: . Diagrama de la unin de dos conjuntos. En teora la unin de dos conjuntos podemos definirla como una suma de un conjunto con otro. Pues el diagrama que se muestra a continuacin representa la situacin descrita anteriormente. La unin de los conjuntos A y B es la parte colorada, podemos ver que se han sumado el conjunto A y el B. En matemticas la unin se representa AUB. Diagrama del complementario de un conjunto. En teora el complementario de un conjunto se hace en referencia a un conjunto universal y se define como los elementos que no pertenecen al conjunto. Tan raro se entiende mejor con el siguiente diagrama. El conjunto U es el universal(parte amarilla y blanca) y el complementario de A es solo la parte amarilla del dibujo. El complementario de un conjunto se representa Ac. Diagrama de la diferencia de conjuntos. La diferencia B - A es la parte de B que no est en A. La diferencia de conjuntos en matemticas se expresa B\A, para este caso.

Diagrama de la inclusin de conjuntos. En el diagrama se puede observar como el conjunto B esta contenido (o incluido) en el conjunto A. Esto matemticamente se expresa BA. Con estos diagramas se pueden representar la gran mayora de las operaciones con conjuntos. Pero, las aqu expuestas son las fundamentales a partir de ellas se obtienen las dems.

Principio de inclusin-exclusin
En combinatoria, el principio de inclusin-exclusin (conocido tambin como principio de la criba) permite calcular el cardinal de la unin de varios conjuntos, en base a los cardinales de cada uno de ellos y todas sus posibles intersecciones. Si A1, ..., An son conjuntos finitos entonces:

donde |A| denota el cardinal de A. Una escritura ms rigurosa pero menos legible es:

Inclusin-exclusin para tres conjuntos. Tomando n=2 tenemos un caso de doble conteo, podemos hallar el tamao de la unin de dos conjuntos A y B sumando |A| y |B| y restando el tamao de su interseccin. El nombre proviene de la idea en la que el principio se basa: una muy generosa inclusin seguida de una compensadora exclusin. Si n>2 la exclusin de las parejas de intersecciones es (tal vez) demasiado rigurosa y la frmula correcta es como se muestra, con signos alternados. Esta frmula se atribuye a Abraham de Moivre aunque a veces se la asocia con Joseph Sylvester o Henri Poincar. El grfico de la derecha ilustra el caso de tres conjuntos A, B y C.

RELACIONES DE CONJUNTOS.SUBCONJUNTO: Un conjunto es llamado subcest contenido en otro; es decisus elementos pertenecen al el SUPERCONJUNTO: Un conjunto es llamado superccontiene a otro u otros dentro d INCLUSIN ( ) Y NO INCLUSIA. INCLUSIN ( ): Un conjunto est incluido o esotro conjunto, si todospertenecen, o estn contenidconjunto. Prof. Hctor R. MALLMA Observa!!!A={1;2;3;4;5} yB={3;4}Como podrs ver, todos losB pertenecen tambin al con 1 2 4 3

5 Subconjunto AB http://Apuntes124.blogspot.com ntes de clase de aritmtica de rimaria 2008 PROPIEDADES njunto cuandor, cuando todostro conjunto.onjunto cuandoe s. N( ) subconjunto deus elementosos, en el otroSe lee: B incluido en B. NO INCLUSIN ( ) Un conjunto no est incluido no es subconjunto de omenos un elemento no pencuentra dentro del otro cFig. 1:Se lee: B no incluFig. 2:Estos dos conjuntosSe lee: B no inclu ALVARADO lementos de junto A. B ABB Recuerda qu se usan dy no de conjelemento a c Superconjunto B ARITMTICA 1 Ao en otro conjuntotro conjunto, si alertenece o no senjunto.ido en Ason disjuntos.ido en A AA los smbolos de ye conjunto a conjuntounto a elemento o denjunto. A A BAB

INCLUSIN: Propiedades. Subconjunto propio.INCLUSIN: Propiedades. En la inclusin de conjuntos podemos destacartres propiedades importantes que enseguidaveremos: Todo conjunto es subconjunto de s mismo: AA

 Hemos definido que un conjunto estincluido en otro si todos sus elementospertenecen al otro conjunto. Conmucha ms razn, todos los elementosdel conjunto A pertenecen al mismoconjunto A. Es reflexivo. El conjunto vaco es subconjunto detodos los conjuntos: A El conjunto vaco se representa as y est incluido en cualquier conjunto. Si un conjunto est incluido en otro yste en un tercero, entonces elprimero conjunto est incluido en eltercer conjunto. Es transitivo. A B B C A C SUBCONJUNTO PROPIO. Si observas los siguientes conjuntos con muchaatencin:A={1;2;3} y B={1;2;3;4;5}, te dars cuenta que AB . Adems, te dars cuenta que elconjunto incluido A tiene menos elementos queel conjunto que incluye. Es por eso que alconjunto incluido A se le llama subconjuntopropio de B.Grficamente un subconjunto propio se veras: CASOS ESPECIALES Hay conjuntos que tienen como elementosotros conjuntos. Estos conjuntos estnfuncionando como elementos.Conjunto Familia:Es aquel conjunto que todos sus elementos sonconjuntos.Ejemplo: A = {{1},{2},{3;4}, }Podemos COJUNTOS IGUALES Son todos aquellos conjuntos que tienen elementos iguales. Los elementos de un conjunto tambin pertenecen al mismo conjunto. Ejemplo:

D = F

Los conjuntos D y F son iguales porque tienen el mismo elemento. A veces pueden estar desordenados los elementos cuando son ms de uno, en tal caso, debe recordarse que en un conjunto no importa el orden en que estn los elementos.

Que son los conjuntos diferentes?

Dos conjuntos son diferentes si no contienen exactamente los mismos elementos (al menos un elemento de un conjunto no pertenece al otro) son Disjuntos si no tienen un elemento en comn.

cojunto finitos
un cojunto A es un cojunto finito si existe una biyecion, entre el y el cojunto (1,2,3...n). con n=un numero natural, que representa la cardinalidad del cojunto. es decir (A)=n sin =0 entonces A es un cojunto vacio. todo cojunto fino es ademas un cojunto numerable (pero no todo cojunto numerable es infinito)

cojunto infinito
cojunto en que el numero de elementos ilimitado.el cojunto "de los numeros contable" (1,2,3) es un cojunto infinito otro el ejemplo es el numero de cuadros en un plano dado.

ejemplo de cojunto finito

M=(X/X es un rio de la tierra) P=(X/X es un pais de la tierra)

ejemplo de cojunto infinito

V=(3,6,9,12,15,18,21,24,25...) N=(0,1,2,3,4,5,6,7,8...)

Conjunto vaco
El conjunto vaco es el conjunto matemtico que no tiene ningn elemento. Se representa con el smbolo o simplemente como {}. Algunas de sus propiedades son:

Para cualquier conjunto A, el conjunto vaco es un subconjunto de A: {} A. Para cualquier conjunto A, la unin de A y el conjunto vaco es A: A {} = A. Para cualquier conjunto A, la interseccin de A y el conjunto vaco es el conjunto vaco: A {} = {}. El nico subconjunto del conjunto vaco es el conjunto vaco. La cardinalidad del conjunto vaco es cero.

CAPITULO I: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 definidose 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. Adems para los conjuntos numricos ms importantes, utilizaremos la siguiente notacin:

N: El conjunto de nmeros naturales. Z: El conjunto de nmeros enteros. Q: El conjunto de nmeros racionales. I: El conjunto de nmeros irracionales.

R: El conjunto de nmeros reales.

Tambin es usual utilizar letras minsculas como a,b, c, . . . x, y, z para denotar elementos. Para cualquier objeto x y cualquier conjunto A, si x es un elemento del conjunto A_ escribiremos x A; si x no es un elemento del conjunto A, escribiremos x A. Por ejemplo, 3 Ny Z. Hay varias formas para describir conjuntos. Cuando sea posible, una forma es listar entre llaves todos los elementos del conjunto y separarlos por comas. En este caso se dice que el conjunto est descrito por extensin. Ejemplo:

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, . . . }

Elconjunto de los nmeros enteros puede ser especificado por: Z = { . . . , - 2, - 1, 0, 1, 2, . . . }

El conjunto de los nmeros enteros pares no negativos puede ser especificado por:

A = {0, 2, 4, . . . }

El conjunto de nmeros enteros del 1 al 80 puede ser especificado por: B = {1, 2, 3, . . . }

El conjunto de letras del abecedario castellano se pude escribir: L= {a, b, c, . . . , z, A, B, C, . . . , Z }

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 } Es decir, los elementos del conjunto anterior, son aquellos nmeros enteros que hacen verdadero el predicado: p(x) : x 15 Definicin: 1.1.1Conjuntos definidos por comprensin. Un conjunto A est escrito por comprensin si es de la forma,

Donde, p(x) es un predicado sobre el conjunto U. denota el conjunto de elementos que pertenecen al conjunto U para los cuales el predicado p(x) se convierte en una proposicin verdadera. Esto significa lo siguiente: Para un elemento cualquiera : si, y slo si p(a) es verdadera. En consecuencia:

El conjunto U se llama conjunto universal. En nuestro estudio de conjuntos siempre asumiremos un universo de discursoU, y de acuerdo al contexto en donde estemos trabajando, algunas veces no ser especificado explcitamente. El objetivo de fijar un conjunto universal es que cada variable que denote un elemento de un conjuntoes un elemento y slo un elementodel universo. Ejemplo:

El conjunto {-6, -5, -4, -2, -} puede ser especificado por:

El conjunto de enteros pares puede ser escrito:

Como 8=2*4, entonces existe En el caso que afirmemos que un elemento que, .

Por lo tanto

. tal

, podemos concluir que existe

El conjunto de enteros cuya raz cuadrada es mayor que 20 puede ser escrito:

Como Como

, entonces 4, entonces .

El conjunto universal en el primer ejemplo es Z en el segundo ejemplo es R, y en el tercer ejemplo se da por entendido que el conjunto universal es R. En general cuando nos estemos refiriendo a un conjunto de nmeros y no se escriba explcitamente el conjunto universal, asumiremos que es R. Otra manera menos formal de especificar conjuntos por comprensin es describir parcialmente el predicado a la izquierda de la barra Ejemplo: .

El conjunto de enteros mltiplos de 5:

tambin puede ser descrito por:

El conjunto de nmeros racionales puede ser especificado por:

Al describir conjuntos por comprensin puede suceder que ningn elemento del conjunto universal cumpla la propiedad que describe al conjunto. En este caso decimos que el conjunto es vaco. Definicin: 1.1.2 Conjunto Vaco. El conjunto que no contiene elementos se llama conjunto vaco. Se utiliza una de las notaciones, para denotar el conjunto vaco. Hay muchas formas para describir el conjunto vaco, como lo muestra el siguiente ejemplo. Ejemplo:

o o o o o o

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 unsubconjuntode Bsi cada elemento de A es un elemento de B. Si A es subconjunto de B escribimos . En smbolos tenemos que,

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:

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:

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:

Como no tiene elementos, la proposicin implicacin es verdadera 1.

es falsa. Por lo tanto la

Puesto que todo elemento pertenece a U, la proposicin tanto la implicacin es verdadera 2. es verdadera3.

es verdadera. Por lo

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

Ejemplo:

Cuando se quiere demostrar que A = B teniendo en cuenta la definicin anterior, debemos probar que i) y 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:

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:

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:

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,

Ejemplo:

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

Ejemplo:

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

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 es denotado por . . El operador complemento

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: ,

Ejemplo:

Ejemplo:

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

Entonces,