REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACIN SUPERIOR INSTITUTO UNIVERSITARIO DE TECNOLOGIA DE ADMINISTRACION INDUSTRIAL

PUERTO LA CRUZ, ESTADO ANZOTEGUI

TEORIA DE LOS CONJUNTOS

Profesor:

ngel Malpica
Br.

Jean Villahermosa C.I N23.734.757 Ubaldo Figuera C.I:N24.494.474 Dorianny Montilla C.I.N25.993.443 Elianny Betancourt C.I.N26.449.805

Enero 2.014

INDICE

Introduccin ............................................................................................................ pg. 03 Definicin de conjunto ........................................................................................... pg. 04 Tipos o clasificacin de los conjuntos .................................................................... pg. 04 Propiedades, leyes, axiomas o teoremas de conjuntos ........................................... pg. 06 Operaciones con conjuntos ..................................................................................... pg. 17 Representacin grafica de los conjuntos. ............................................................... pg. 20 Conclusin .............................................................................................................. pg. 22 Bibliografa ............................................................................................................. pg. 23

INTRODUCCION
Un conjunto es una agrupacin de objetos considerada como un objeto en s. Los objetos del conjunto pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmeros naturales es infinito, pero el conjunto de los planetas en el Sistema Solar es finito (tiene ocho elementos). Adems, los conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con nmeros. Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en trminos de nociones ms elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuicin y a la lgica. Por otro lado, son el concepto fundamental de la matemtica: mediante ellos puede formularse el resto de objetos matemticos, como los nmeros y las funciones, entre otros. Su estudio detallado requiere pues la introduccin de axiomas y conduce a la teora de conjunto

1. DEFINICIN DE CONJUNTO a) Un conjunto es un grupo de elementos u objetos especificados en tal forma que se puede afirmar con certeza si cualquier objeto dado pertenece o no a la agrupacin. Para denotar a los conjuntos, se usan letras maysculas. Cuando un elemento como: utiliza la notacin: b) Un conjunto queda perfectamente definido si se conocen con exactitud los elementos que lo integran o que pertenecen a l; es decir, si se nombran todos sus elementos o bien si se usa un enunciado o propiedad que lo identifique. Independientemente de la forma en que se lo represente, siempre se usa una letra mayscula que lo define. Esta letra mayscula representa a un conjunto especfico de elementos. Existen dos maneras de definir un conjunto dado: a) Por extensin o enumeracin: se define nombrando a cada elemento del conjunto. b) Por comprensin: se define mediante un enunciado o atributo que representa al conjunto (se busca una frase que represente a la totalidad de elementos sin nombrar a ninguno en particular).
Por comprensin A = {Nmeros dgitos} B = {Nmeros pares] C = {Mltiplos de 5} Por extensin A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} B = {2, 4, 6, 8, 10, 12, 14, ...} C = {5, 10, 15, 20, 25, 30, 35...}

pertenece a un conjunto

se expresa de forma simblica

. En caso de que un elemento

no pertenezca a este mismo conjunto se

2.- TIPOS O CLASIFICACIN DE LOS CONJUNTOS La clasificacin de los conjuntos est fundamentada en el anlisis de sus elementos o miembros, por ejemplo si no tiene miembros, el conjunto es vaco, si sus miembros son innumerables infinito, etc. Las clases de conjuntos son: 1.-Conjunto Finito: Cuando los miembros o elementos del conjunto se pueden contar o enumerar. Por ejemplo el conjunto de las letras del alfabeto es un conjunto finito que expresado por comprensin es:

A = {x/x son las letras del alfabeto castellano} 2.-Conjunto Infinito: Cuando los elementos o miembros no se pueden enumerar o contar, se considera como conjunto infinito. Un ejemplo de conjunto infinito son las estrellas del cielo. Los conjuntos infinitos siempre debern determinarse por comprensin; para el ejemplo: B = {x/x son las estrellas del universo} 3.-Conjunto Unitario: Es el conjunto que tiene un solo miembro o elemento. Un ejemplo: C = {luna} 4.-Conjunto Vaco: Se trata del conjunto que no tiene elementos, o que estos son inexistentes, ejemplos: D = {x/x son perros con alas} E={} Se considera el conjunto vaco como subconjunto de cualquier conjunto. 5.-Conjunto Universal o Referencial: Se llama as al conjunto conformado por los miembros o elementos de todos los elementos que hacen parte de la caracterizacin y se simboliza con la letra U. Por ejemplo, dados: A = {1, 3, 5, 7} B = {2, 3, 4} C = {6, 7, 8, 9} El conjunto universal o referencial es: U = {1, 2, 3, 4, 5, 6, 7, 8, 9} 6.-Conjuntos disyuntos o disjuntos Son aquellos conjuntos que no tienen ningn miembro o elemento en comn. Otra forma de expresarlos es decir que la interseccin de dos o ms conjuntos disyuntos o disjuntos es el conjunto vaco Por ejemplo los conjuntos B y C mencionados como ejemplos del conjunto universal son conjuntos disyuntos pues no tienen ningn miembro en comn 7.-Conjuntos equivalentes Corresponde a los conjuntos con el mismo nmero cardinal, es decir cuando tienen la misma cantidad de elementos. Por ejemplo: A = {a, b, c, d} B = {1, a, I, alpha} Por lo tanto A y B son conjuntos equivalentes.

8.-Conjuntos iguales Cuando los conjuntos contienen los mismos elementos, estos conjuntos son iguales: A = {2, 4, 6, 8, 10} B = {4, 10, 2, 8, 6} A y B son iguales porque contienen los mismos elementos. Es bueno anotar que en un conjunto no importa el orden en que se ubiquen, por eso el conjunto B es igual que el A 9.-Conjuntos homogneos Cuando sus miembros o elementos que lo componen, pertenecen al mismo tipo o gnero. Por ejemplo un conjunto compuesto por letras nicamente, o por nmeros, etc. A = {a, l, m, p, r} El conjunto es homogneo pues todos sus miembros son letras. 10.-Conjuntos heterogneos Son aquellos conjuntos compuestos por miembros de diferentes tipos, clases, gneros, etc. B = {1, a, prado, rojo} 11.-Conjuntos congruentes Dos conjuntos numricos son congruentes cuando sus respectivos miembros se pueden poner en correspondencia uno a uno, de manera que la distancia entre ellos se mantenga: A = {2, 4, 6, 8, 10} B = {7, 9, 11, 13, 15} As: 2 y 7; 4 y 9; 6 y 11; 8 y 13; 10 y 15 tienen todos ellos como distancia entre ellos 5. 12.-Conjuntos no congruentes Cuando entre dos conjuntos no se puede dar una correspondencia entre los miembros de los conjuntos, de manera que la distancia entre ellos no sea constante, los conjuntos se consideran no congruentes. Ejemplo: A = {2, 4, 6, 8, 10} C = {5, 6, 7, 8, 9}

3.- PROPIEDADES, LEYES, AXIOMAS O TEOREMAS DE CONJUNTOS En la teora de Cantor, es posible formar un conjunto a partir de una propiedad determinada que deben cumplir sus elementos. En otras palabras, dada cualquier propiedad , existe un conjunto cuyos elementos son precisamente los objetos que verifican smbolos, este conjunto se representa por . En

As, por ejemplo, considerando la frmula

, se obtiene el conjunto

que claramente lo contiene todo. A este conjunto no se le puede aplicar alguno de los resultados de Cantor, ya que esto conduce a ciertas paradojas. Como otro ejemplo ms claro de conjuntos contradictorios debido a su 'gran tamao', est el que da lugar a la paradoja de Russell. Consideremos el conjunto cuyos elementos son aquellos conjuntos que no se pertenecen a s mismos. Esto es, el conjunto

La paradoja de Russell surge al preguntarse: es decir, si , entonces

un elemento de s mismo? Si lo es, es , lo que es una contradiccin.

no satisface la condicin

Si , entonces satisface la condicin para ser uno de sus elementos, y as , de nuevo una contradiccin. As, no puede ni ser un elemento de s mismo ni no serlo. En un intento de eliminar esta paradoja, Russell y Whitehead desarrollaron la teora de tipos y la expusieron en un libro titulado Principia Mathematica. Si bien esta teora eliminaba la paradoja de Russell, resultaba demasiado complicada como para poseer inters. La teora de conjuntos de Zermelo, mucho ms simple a nivel lgico, lograba eliminar tanto la paradoja de Russell como todas las dems que surgan en el sistema de Cantor y en el de Frege. Los axiomas de Zermelo-Fraenkel La teora de conjuntos de Zermelo-Fraenkel toma como primitivos los conceptos de conjunto y de pertenencia y consta de los diez axiomas siguientes: 1. Axioma de extensionalidad. Dos conjuntos e son iguales (lo que se representa por ) nicamente si contienen los mismos elementos. Ms formalmente, y en la simbologa usual,

2. Axioma del conjunto vaco. Existe un conjunto (representado por ) sin elementos. Esto es,

3. Axioma de pares. Dados cualesquiera conjuntos representado por , cuyos elementos son nicamente

e , existe otro conjunto, e . Esto es,

4. Axioma de la unin. Dada cualquier coleccin de conjuntos representado por y llamado unin de conjunto de . Esto es,

, existe un conjunto,

, que contiene todos los elementos de cada

5. Axioma del conjunto potencia Para cualquier conjunto representado por , que contiene todos los subconjuntos de

existe otro conjunto, . En smbolos,

6. Esquema axiomtico de especificacin. Sea una frmula de un lenguaje de primer orden que contenga una variable libre . Entonces, para cualquier conjunto existe un conjunto cuyos elementos son aquellos elementos Formalmente, de que cumplen .

7. Esquema axiomtico de reemplazo. Si elemento de un conjunto el conjunto funcin f:xy tal que f(a)=y. Formalmente, si

es una sentencia tal que para cualquier existe, entonces existe una

Entonces

8. Axioma de infinitud. Existe un conjunto entonces . En smbolos, .

tal que

y tal que si

9. Axioma de regularidad. Para todo conjunto no vaco que . Esto es, en trminos formales,

existe un conjunto

tal

10. Lema de Zorn. Todo conjunto inductivo no-vaco tiene elemento mxima En un principio Zermelo trat de probar el "Lema de Zorn" a partir de los otros nueve axiomas, pero no lo consigui, adems, posteriormente los Teoremas de Incompletitud de

Gdel probaron que el Lema de Zorn no era demostrable a partir de los restantes axiomas. Por lo tanto se aadi como dcimo axioma de la teora. Es equivalente a Axioma de eleccin. Dada una familia de conjuntos no-vacos podemos coger un elemento de cada conjunto. Este axioma puede expresarse de manera equivalente a, dado un conjunto cualquiera x, existe una funcin f que elige un elemento de cada conjunto no vaco de x:

Sobre los axiomas y algunas definiciones en ZF El axioma de extensionalidad El axioma de extensionalidad dice que dos conjuntos son iguales si y solo si tienen los mismos elementos. En otras palabras, afirma que un conjunto est determinado por su extensin (todos sus elementos). Una relacin ms general que la igualdad es la inclusin ( ), que se define como sigue:

A diferencia del signo de la igualdad, el smbolo no figura dentro del lenguaje de primer orden con el que se construye la teora ZF, pues la definicin antes dada debera en ese caso ser introducida como un axioma que establezca el empleo de , cosa que no se ha hecho aqu. En su lugar, la simbologa se emplea simplemente para representar la frmula del lenguaje de la teora de conjuntos.

En vista del axioma de extensionalidad y de la definicin anterior, resulta que puede probarse que dos conjuntos e son iguales si puede probarse que e . El axioma del conjunto vaco El axioma del conjunto vaco nos da un conjunto sin elementos. Este axioma se present usando el smbolo . Esto est justificado, pues el axioma de extensionalidad nos dice que este conjunto es nico. DEMOSTRACION El axioma del conjunto vaco puede deducirse de otro axioma ms dbil, que afirma la existencia de un conjunto, digamos , y del esquema de especificacin con la frmula aplicada a este conjunto . As, el conjunto vaco es el conjunto

Con el trmino EL AXIOMA DE PARES

una descripcin impropia.

EL axioma de pares, un axioma de la teora de Zermelo-Fraenkel, establece que, dados cualesquiera dos conjuntos e , existe otro conjunto, representado por elementos son nicamente e . Esto es, (3) Del axioma de pares se tiene, a partir de dos conjuntos e , el conjunto { }. Este conjunto se llama par desordenado de e . Si se aplica el axioma de pares a un solo conjunto , se obtiene el par { } cuyo nico elemento es, obviamente, , y por ello puede representarse como . A este ltimo conjunto puede aplicrsele de nuevo el axioma de pares, dando lugar al conjunto {{ }}, conjunto al cual puede aplicarse tambin el axioma de pares, obtenindose el conjunto {{{ }}}, y as sucesivamente. Este proceso de construccin de conjuntos puede aplicarse al nico conjunto dado y conocido explcitamente, , obtenindose una serie infinita de conjuntos , cuyos

El axioma de unin Axioma de unin Si es una coleccin de conjuntos, entonces la unin . Si contiene aquellos y solo , un

aquellos elementos que estn en algn conjunto de conjunto con elementos, entonces es comn escribir

Para representar la unin de los conjuntos de

. Es fcil ver que

10

De modo que el axioma de unin y el axioma de pares garantizan la existencia del conjunto para cualesquiera conjuntos e , un hecho que no puede deducirse simplemente del esquema de especificacin junto con los axiomas restantes. A diferencia de la unin, la interseccin de conjuntos es deducible a partir del axioma de pares y el esquema de especificacin. Efectivamente, pues se define el conjunto mediante

Y por tanto

existe. Ms general, se define el conjunto

El axioma del conjunto potencia El axioma del conjunto potencia nos da un conjunto que contiene a todos los subconjuntos de cualquier conjunto. Por tanto, . Puesto que para cualquiera que sea el conjunto , puede hacerse uso del esquema de especificacin para obtener el conjunto

Si

es otro conjunto, similarmente se obtiene al conjunto . Luego

como un subconjunto de

De manera que el axioma de pares puede deducirse del axioma del conjunto potencia, el esquema de especificacin y el axioma de unin. As pues, no todos los axiomas de ZF son independientes. El esquema axiomtico de especificacin El esquema de especificacin resulta ser una versin limitada o dbil del axioma de Frege. Para este ltimo, era posible tener un conjunto cuyos elementos satisfacan cierta propiedad. Con ello Frege garantizaba demasiado y daba lugar en su sistema a paradojas como la de Russell, entre otras. Por otra parte, el esquema de especificacin va de acuerdo con una doctrina de reduccin del tamao. Permite obtener conjuntos a partir de otros, y cuyo tamao es menor que el de aquellos de los que han sido obtenidos. Esto implica que,

11

necesariamente, contemos con conjuntos previamente dados. Por tanto, nunca es posible pensar en la frmula , pues el conjunto no puede ser obtenido sin ms que s mismo. La paradoja de Russell surge precisamente de considerar que conjuntos muy grandes pueden ser obtenidos de forma gratuita sin ms que especificar cules son sus elementos. Otras paradojas que tienen que ver con el gran tamao de los conjuntos, quedan excluidas de ZF mediante el esquema de especificacin. Ahora bien, el calificativo de esquema se debe a que no es un nico axioma, sino que este afirma (metamatemticamente) que cualquier expresin de la forma

Donde es una frmula del lenguaje de la teora de conjuntos es un axioma de ZF. As, si consideramos la existencia de un conjunto como un axioma, el conjunto vaco sera tambin un axioma resultante de aplicar el esquema de especificacin al conjunto con la frmula .

El esquema de especificacin no es independiente en ZF, pues se deduce del esquema de reemplazo, introducido por Fraenkel y Skolem el mismo ao y de forma independiente. Esquema axiomtico de reemplazo El esquema axiomtico de reemplazo dice que si dos variables libres e , tales que para cada tal que es un conjunto y existe un nico si y solo si es una frmula con tal que . se

cumple, entonces existe un conjunto

Para mostrar como el esquema de especificacin se deduce del esquema de reemplazo, se considera la frmula

donde

cualquier elemento de un conjunto . Si

, entonces ciertamente existe un

nico tal que (pues es mismo), por lo que la hiptesis del esquema de reemplazo se cumple, con lo que existe un conjunto tal que lo que es lgicamente equivalente a que existe un conjunto tal que

La formulacin que se ha dado del axioma de reemplazo fue introducida por primera vez por Fraenkel [1929], y apareci tambin en los trabajos de Church [1942]. Una forma ms

12

dbil de este esquema axiomtico a parece en los trabajos de Tarski [1948]. La formulacin original, dada por Fraenkel [1921/22 y 1927] y Skolem [1922/23 y 1929], es en esencia como sigue:

Para todo conjunto que

y cualquier funcin .

definida en , existe un conjunto

tal

para todo

El esquema de reemplazo fue introducido por Fraenkel y Skolem con la finalidad de extender la fuerza del esquema de especificacin, as como tambin posibilitar el conteo de nmeros ordinales ms all de lo que permite el axioma de infinitud. Axioma de infinitud El axioma de infinitud, introducido (aunque no en la forma en que se ha presentado aqu) por Zermelo 1908, permite la obtencin de los nmeros naturales como conjuntos dentro de ZF. En trminos generales, este axioma da un conjunto infinito segn Dedekind, pues garantiza la existencia de un conjunto sobre el cual existe al menos una funcin rango de inyectiva y no sobreyectiva (que claramente no existe para un es tal que y , por lo que el es un subconjunto propio de su dominio, . Pero, en ese caso, la aplicacin conjunto finito). Es decir, la funcin

dada por , es biyectiva. La conclusin es que existe una biyeccin entre y uno de sus subconjuntos propios. Ahora bien, el conjunto cuya existencia garantiza el axioma de infinitud, cumple:

Pero es posible que subconjuntos de cumplan esto mismo (un subconjunto as de X se denomina conjunto inductivo). Si es el conjunto de todos los subconjuntos inductivos de , es no vaco, pues . As, puede formarse la interseccin

de todos los conjuntos inductivos. Este conjunto es claramente inductivo, y sus elementos son

los mismos que pueden ser considerados los nmeros naturales en ZF, y puede

13

llamarse . Se observa que, de este modo, un nmero natural es un conjunto que contiene a todos los nmeros naturales anteriores a l. El conjunto de nmeros naturales queda de esta forma bien ordenado por la inclusin. Cualquier nmero natural de la forma para algn se llama sucesor de , y se representa por o por . Mediante esta definicin de pueden probarse los axiomas de Peano, con lo que en ZF estos se convierten en teoremas (ms exactamente, cuatro teoremas y un metateorema) sencillos:

implica

La forma en que se ha presentado el axioma de infinitud se debe a Fraenkel, y permite la construccin de los nmeros naturales como nmeros ordinales en el sentido de von Neumann. En esta forma fue utilizado por R. M. Robinson en su The thory of classes [1937] (en donde presenta una modificacin del sistema de von Neumann), as como tambin por Bernays [1942].

Zermelo introdujo el axioma de infinitud [1908] de forma esencialmente similar a la siguiente:

Existe un conjunto

tal que

(i) ( ii )

As, puede obtenerse el conjunto de nmeros naturales cuyos elementos son

El orden que se establece entre estos elementos es el de la inclusin. Este axioma de infinitud de Zermelo no tiene las ventajas que tiene el axioma de infinitud de Fraenkel.

14

Axioma de regularidad o de fundacin El axioma de regularidad dado aqu se debe a Zermelo [1930], si bien von Neumann present uno equivalente [1929], aunque ms complicado. Este axioma prohbe la existencia de conjuntos extraos, tales como conjuntos que cumplan: xx; o un par de conjuntos con xy yx; as como tambin la existencia de cadenas descendientes infinitas:

Existen teoras de conjuntos donde se excluye este axioma. La teora que resulta de aadir un contrario del axioma de regularidad se conoce como teora de conjuntos no bien fundados. Axioma de eleccin A diferencia de los axiomas de ZF, el axioma de eleccin es un axioma no constructivo, en el sentido de que no determina un conjunto nico a partir de su informacin. Adems, como puede observarse, carece de la obviedad que (aunque la complejidad notacional de estos haga en algunos casos pensar lo contrario) caracteriza a todos los otros axiomas. Esto llev a algunos matemticos al intento de probar el axioma de eleccin a partir de los dems axiomas, cosa en lo que todos ellos fracasaron. Estos intentos vanos de probar el axioma de eleccin despus de grandes esfuerzos, y ciertas peculiaridades del mismo, algunos matemticos pensaban ya en la posible independencia del axioma de eleccin respecto de los axiomas de ZF, aunque no saban en qu direccin se encontraba la prueba de ello. Gdel prob [1930/1940] que el axioma de eleccin era consistente con los axiomas de ZF, por lo que poda emplearse junto con ellos sin temor de obtener contradicciones. El axioma de eleccin fue presentado por Russell en 1906 de manera esencialmente similar a la siguiente:

Para todo conjunto no vaco de conjuntos disjuntos tal que cartesiano de es no vaco.

, el producto

Russell llam a este principio Axioma multiplicativo. El nombre de Axioma de eleccin (Auswahlaxiom) fue dado por Zermelo al principio ms general que el de Russell:

Para todo conjunto no vaco argumentos son elementos de

tal que , tal que

, existe una funcin .

cuyos

El nombre del axioma se debe al hecho de que la funcin elemento (conjunto) de .

elige un elemento de cada

15

Zermelo introdujo el axioma de eleccin para probar el teorema de buena ordenacin que afirma que todo conjunto puede ser bien ordenado. Mostr tambin que el lema de Kuratowski-Zorn se deduce del axioma de eleccin. En realidad, el axioma de eleccin es equivalente tanto al teorema de buena ordenacin como al lema de Kuratowski-Zorn (la mayora de las veces simplemente llamado Lema de Zorn). La siguiente lista enumera algunos principios equivalentes en ZF al axioma de eleccin:

Teorema de buena ordenacin. Lema de Kuratowski-Zorn. Ley de tricotoma de cardinales. Principio del maximal de Hausdorff. Lema de Teichmler-Tukey.

Wacaw Sierpiski prob en 1947 que la hiptesis del continuo (un principio ad hoc que debe ser aceptado como axioma de la teora de conjuntos) implica el axioma de eleccin, si bien lo recproco no es cierto. Otro principio que implica el axioma de eleccin es el axioma de conjuntos inaccesibles de Tarski [1938/1939]. El sistema axiomtico de ZFC admite las demostraciones por reduccin al absurdo como mtodo para demostrar teoremas. Dado un (presunto) conjunto nos basta con llegar a una contradiccin con el resto de la teora despus de haber supuesto su existencia para demostrar que no existe tal conjunto. Un ejemplo tpico es la no existencia del conjunto de todos los conjuntos.

De existir este conjunto V podramos definir el conjunto irremisiblemente lleva a la Paradoja de Russell, por lo cual V no es un conjunto.

, lo que

Procedimiento igual nos llevar a demostrar la no existencia de conjunto conjugado (conjunto de los elementos no pertenecientes al conjunto) dado un conjunto cualquiera, ya que de ser as existira su unin, por el axioma de la unin, y esta sera igual a V. Teoremas de incompletitud de Gdel Kurt Gdel prob que la consistencia lgica de los axiomas de ZFC es indemostrable. A lo sumo se pueden demostrar afirmaciones como si ZFC es consistente, entonces "T" tambin lo es, es decir la consistencia relativa. En cuanto a la completitud, el propio Gdel en sus teoremas de incompletitud demostr que si un sistema axiomtico es lo suficientemente fuerte como para construir una aritmtica recursiva, dicho sistema no puede ser completo y consistente.

16

4.- OPERACIONES CON CONJUNTOS Unin de conjuntos. Es la unin de los elementos de dos o mas conjuntos, formando un nuevo conjunto cuyos elementos son los elementos de los conjuntos originales, pero, cuando un elemento se repite, dicho elemento entrar a formar parte del conjunto unin una sola vez; en esto se diferencia la unin de conjuntos del concepto clsico de la suma, en la que los elementos comunes se consideran tantas veces como estn en el total de los conjuntos. Ejemplo: Dados los conjuntos: A = {d, f g, h} y B = {b, c, d, f} La unin de dichos conjuntos ser: AUB= {d, f, g, h, b, c} , mientras que segn el concepto clsico de la suma hubisemos puesto: A + B = d + f + g + h + b + c + d + f.

Propiedades de la unin de conjuntos: 1. Propiedad idempotente. Puede exponerse mediante la siguiente expresin, que por ser tan lgica, no necesita ms explicacin: VA => A = A

2. Propiedad conmutativa. Es tambin evidente: AUB = BUA

3. Propiedad asociativa. Dados tres conjuntos A, B y C se verifica que: (AUB)UC = AU(BUC) = AUBUC

Se puede demostrar mediante un ejemplo sencillo. Sean: A = {m, n, p}, B ={j, k, l}, C = {r, p, l}.

17

El nuevo conjunto y ste unido con el conjunto C, dar como resultado el conjunto: (AUB) UC = {m, n, p, j, k, l, r} ahora bien, si hacemos antes la unin de B con C tendremos: BUC = {j,k,l,r,p} que unido con el conjunto A nos da: AU(BUC) = {m, n, p, j,k,l,r,p} Luego, los conjuntos (AUB) UC y AU (BUC) son iguales por estar formados por los mismos elementos. Interseccin de conjuntos. Se llama interseccin de dos conjuntos A y B, y se representa por AnB, al nuevo conjunto que tiene por elementos todos los elementos comunes a A y a B. Es lgico que la interseccin de dos conjuntos disjuntos sea el conjunto vaco (no tiene elementos). Ejemplo: Dados los conjuntos A = { d, f g, h } y B = { b, c, d, f }, su interseccin ser: AnB = {d,f} La representacin grfica de dicha interseccin est representada en la figura, en la cual la interseccin es la parte rayada. Propiedades de la interseccin. Son las mismas que las de la unin; por tanto, las expresaremos de la forma siguiente: 1. Propiedad idempotente: VA => AnA = A 2. Propiedad conmutativa: AnB = BnA 1. Propiedad asociativa: (AnB)nC = An(BnC)

Propiedades comunes a la unin y a la interseccin. 1. Ley de absorcin. Tiene dos formas distintas que se expresan: An(AUB) = A y Au (BnC) Expongamos un ejemplo como comprobacin: A = {1, 2, 3 , 4} y B = {1, 2, 3, 6}. Hagamos primero la unin de A con B: AUB = {1,2,3,4,6} y ahora, la interseccin del mismo con el conjunto A: An(AUB) = {1, 2, 3 , 4} = A Anlogamente:

18

AnB = {1, 2, 3}, AU(AnB) = {1, 2, 3 , 4} = A B) = { 1,2, 3, 4 } = A.

2. Ley distributiva. Tiene tambin dos formas de expresin: De la unin respecto de la interseccin: (AnC)UC = (AUC)n(BUC) De la interseccin respecto de la unin: (AUB)nC = (AnC)U(BnC) Estas dos propiedades comunes a las dos operaciones nos indican que ambas tienen la misma fuerza, existe entre ellas una completa analoga. Diferencia de conjuntos y complementario de un conjunto con respecto a otro. Dados dos conjuntos A y B, se llama diferencia de A para B, y se representa por A - B al conjunto de todos los elementos de A que no son elementos de B. Ejemplo: Si A = {a, b, j c, d, e} y B={a, b, m, n, p}, A - B ={c, d, e.}. Dicho ejemplo est representado en la figura (A) en la que se comprueba que esta diferencia no goza de la propiedad conmutativa. Si A es un subconjunto de B, se llama complementario de A y se representa por: [A, al conjunto formado por todos los elementos que pertenecen a B y no pertenecen a A.] Como vemos, se trata de dos conceptos similares, pero que no hay que confundir. Producto cartesiano de dos conjuntos. Se llama conjunto producto cartesiano de dos conjuntos A y B, y se representa por A x B, al conjunto formado por todos los pares ordenados de elementos (a, b), tales que a A y b B. Al decir pares ordenados, estamos definiendo un nuevo concepto nuevo hasta ahora, y que al ser ordenados, sern diferentes los pares: (a, b) y (b, a), lo cual nos indica a su vez que dicho producto cartesiano no goza de la propiedad conmutativa. En efecto, al considerar, por ejemplo, los conjuntos: A = {a, b, c, d, e} y B = {m, n} podemos hallar el producto cartesiano de A x B, resultando: A x B = {(a, m), (a, n), (b, m), (b, n), (c, m), (c, n), (e, m), (e, n).}.

Sin embargo, si hallamos el producto cartesiano de B x A: B x A = {(m, a), (m, b), (m, c), (m, d), (m, e), (n, a), (n, b), (n, c), (n, d), (n, e).}. Observndose que en ellos los pares son diferentes, pues aunque estn formados por los mismos elementos, estn en distinto orden.

Propiedades del producto cartesiano.

19

1. El producto cartesiano de un conjunto. Cualquiera por el conjunto vaco da como resultado el conjunto vaco. Ax{ } = { } es evidente, ya que el conjunto vaco carece de elementos, luego no se pueden formar pares con los del otro conjunto A. 2. Propiedad distributiva respecto de la unin. Se expresa: A(BUC) = (AxB)U(AxC) 2. Propiedad distributiva respecto de la interseccin: Ax(BnC) = ((AxB)n(AxC))

5.- REPRESENTACIN GRAFICA DE CONJUNTOS (DIAGRAMA DE VENN) Es habitual representar los conjuntos en forma grfica mediante los Diagramas de Venn. Es la representacin grfica de un conjunto en la cual se sitan dentro de una lnea cerrada los signos representativos de los elementos del conjunto. En la figura se muestran las dos formas respectivas de representar el conjunto: A= {a, b, c, d, e}. En estos diagramas el conjunto se representa mediante una superficie limitada por una lnea. En su interior se colocan los elementos del conjunto. Cada porcin del plano limitada se nombra con una letra mayscula. El conjunto A est formado por los elementos 1, 2, 3. El conjunto B est formado por los elementos a, b, c, d.

Existe, adems, otra forma de representarlos que es entre llaves. En estos ejemplos se escribe: A = {1, 2, 3} B = {a, b, c, d} Otro ejemplo:

20

Por diagrama

Entre llaves S = {a, e, i, o, u} Se escribe una coma para separar los elementos.

21

CONCLUSION

La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier teora matemtica. Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas; y junto con la lgica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para desarrollar toda la matemtica. Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hiptesis del continuo o la existencia de un cardinal inaccesible. Por esta razn, sus razonamientos y tcnicas se apoyan en gran medida en la lgica matemtica. El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz a investigar cuestiones conjuntistas puras del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la teora cantoriana, de conjuntos, formalizada por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.

22

BIBLIOGRAFIA

www.lawebdelprofesor.edu.ve

23