Universidad Fermn Toro Vice-rectorado Acadmico Decanato de Ingeniera Departamento de Matemtica

Teora de conjuntos

Alexander jose :

Teora de conjuntos
El concepto de conjunto es de fundamental importancia en las matemticas modernas. La mayora de los matemticos creen que es posible expresar todas las matemticas en el lenguaje de la teora de conjuntos. Nuestro inters en los conjuntos se debe tanto al papel que representan en las matemticas como a su utilidad en la modelizacin e investigacin de problemas en la informtica. Los conjuntos fueron estudiados formalmente por primera vez por Georg Cantor1. Despus de que la teora de conjuntos se estableciera como un rea bien definida de las

matemticas, aparecieron contradicciones o paradojas en la misma. Para eliminar tales paradojas, se desarrollaron aproximaciones ms sofisticadas que las que hizo Cantor. Un tratamiento introductorio de la teora de conjuntos se ocupa, generalmente, de la teora elemental, la cual es bastante similar al trabajo original de Cantor. Utilizaremos esta aproximacin ms simple y desarrollaremos una teora de conjuntos de la cual es posible derivar contradicciones. Parece extrao el proponerse tal cosa deliberadamente, pero las contradicciones no son un problema si, como es nuestro caso, el universo del discurso se define convenientemente. Aun ms, la existencia de las paradojas en la teora elemental no afecta a la validez de nuestros resultados ya que los teoremas que presentaremos pueden demostrarse mediante sistemas alternativos en los que las Paradojas no ocurren. Intuitivamente, un conjunto es cualquier coleccin de objetos que pueda tratarse como una entidad. A cada objeto de la coleccin lo llamaremos elemento o miembro del conjunto. A los conjuntos los designaremos con letras maysculas y a sus elementos con letras minsculas. La Afirmacin el elemento a pertenece al conjunto A se escribe a A

Y la negacin de este hecho, (a a A

A), se escribe

La definicin de un conjunto no debe ser ambigua en el sentido de que pueda decidirse cuando un objeto particular pertenece, o no, a un conjunto.

Conjunto Universal En cualquier aplicacin de la teora de conjuntos, los elementos de todos los conjuntos en consideracin pertenecen a un gran conjunto fijo llamado conjunto universal. Lo notaremos por U. Conjunto Vaco Al conjunto nico que no contiene elementos, lo llamaremos conjunto vaco. Lo notaremos con el Smbolo; que proviene del alfabeto noruego.

Subconjuntos Sean A y B dos conjuntos. Diremos que A esta contenido en B o que es un subconjunto de B, y lo notaremos por A _ B, si cada elemento de A es un elemento de B. Si A es un conjunto, se define el conjunto Potencia de A o conjunto partes de A como (A) = {X / X A}, es decir, es el conjunto formado por todos los subconjuntos de A. Ejemplo: Si A = {x,y,z} entonces (A) = {{f }, {x}, {y}, {z}, {x,y}, {x,z}, {y,z}, {x,y,z}} Caractersticas del Conjunto Potencia

- La principal caracterstica de este conjunto es que es un conjunto de conjuntos, es decir, sus elementos son conjuntos. - Dado un conjunto A podemos conocer el nmero de elementos de (A), ya que si A tiene n elementos, entonces (A) tiene 2n elementos. El siguiente teorema nos dice que el conjunto partes conserva la relacin de inclusin. Teorema. A B (A) (B) Representacin Tabular del Conjunto Producto Un conjunto AxB lo podemos representar por medio de tablas como veremos en el siguiente ejemplo. Ejemplo Si A = {3,5,7} y B = {1,2,3} encuentre la representacin tabular de AXB Solucin A x B = {(3,1),(3,2),(3,3),(5,1),(5,2),(5,3),(7,1),(7,2),(7,3)} Una cantidad de objetos bien definidos se llama conjunto; y cada objeto que lo compone se llama elemento o miembro del conjunto. Este conjunto de objetos puede definirse de 2 formas, haciendo una lista de todos y cada uno de ellos o estableciendo una regla que nos permita en pocas palabras especificarlos a todos. Estas dos maneras de definir un conjunto se conocen como mtodo, y aprenderemos a utilizarlos a continuacin: Segn sus Elementos un Conjunto puede ser: Finito: Si su nmero de elementos puede contarse. Por ejemplo: El conjunto de los planetas del sistema solar. Infinito: Si sus elementos no pueden contarse o son infinitos. Por ejemplo: El conjunto de los nmeros reales.

Unitario: Si est compuesto por un solo elemento. Por ejemplo: El conjunto de los satlites de la tierra. Nulo o Vaco: El que no tiene ningn elemento. Por ejemplo: El conjunto de los elefantes albinos. Mtodos de Conjunto Mtodo del Listado: Se utiliza cuando es posible especificar cada uno de los elementos del conjunto. Se dice que un conjunto es determinado por extensin (o enumeracin), comprende a todos los elementos del conjunto y slo a ellos para ello se describe todo el listado dado y se encierra en llave. Por ejemplo: El conjunto de los nmeros positivos mltiplos de 5 y menores de 30. Utilizando el mtodo del listado podramos escribirlo de 2 maneras: La primera haciendo una lista detallada de todos los elementos de la siguiente manera: A = 5, 10, 15, 20, 25, 30, 35, 40, 45, 50 o podemos hacer una lista parcial utilizando los tres primeros elementos y el ltimo, en caso de haberlo, y tres puntos suspensivos que indican sucesin de elementos. Por ejemplo: 5, 10, 15, , 50 Si queremos indicar un conjunto indefinido como por ejemplo todos los nmeros positivos mltiplos de 5 nos quedaran: 5, 10, 15,. . . . . . La ausencia de trminos al final indica que no tiene fin. Mtodo de la Regla Se utiliza en aquellos casos donde no es posible o resulta demasiado largo enumerar cada uno de los elementos. Se dice que un conjunto es determinado por comprensin, cuando se da una propiedad que la cumpla en todos los elementos del conjunto y slo a ellos. En tal caso los elementos e

especifican con una regla que significa pertenencia y que es una lnea horizontal ( l ) que se lee tal que. Si queremos considerar el conjunto de todos los habitantes de Barquisimeto sera muy difcil hacerlo por el mtodo del listado, entonces empleamos el mtodo de la regla de la manera siguiente: A= XlX es una persona que habita en Barquisimeto que se lee: el conjunto de todas las X tal que X es una persona que vive en Barquisimeto. Ejercicio Resuelto Dados los siguientes conjuntos: A= El conjunto de los nmeros naturales. B= El conjunto de los nmeros naturales pares mayores que 20 y menores que 80. C= EL conjunto de los nmeros enteros negativos. D= EL conjunto de los nmeros enteros no negativos. Se pide: Represente cada conjunto utilizando la teora que usted considere conveniente, escribiendo al lado de cada uno el nombre de la teora utilizada. Resuelva las operaciones indicadas y escriba a su lado a que tipo de conjunto pertenece. b.1. A B b.2. C D b.3. CUD b.4. BUD b.5. D-A Parte a A= 1, 2, 3, 4, 5, 6, 7... mtodo del listado.

B= 22, 24,26,..., 80 mtodo del listado. C= XlX es un nmero entero negativo mtodo de la regla. D= 0, 1, 2, 3, 4... mtodo del listado Parte b A B= 22, 24, 26,...80 finito C D= vaco CUD= X/X es un nmero entero infinito BUC= 22, 24, 26...80,-1, -2, -3,..... infinito D-A = 0 unitario Unin de Conjuntos: La unin de los conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A o a B o a ambos. Se denota: A U B. La unin de conjuntos se define como: A U B = {x / x A o x B}

Ejemplos: Vamos a mostrar tres casos de diferente de unin de conjuntos:

Cuando no tienen Cuando tienen algunos Cuando todos los elementos comunes elementos comunes elementos pertenecen a otro conjunto Cuando dos conjuntos no tienen nada en comn se les llama disjuntos o complementarios y su unin es el conjunto vaco. Por ejemplo A= conjunto de los dedos de la mano y B= conjunto de los das de la semana. AUB= Interseccin de Conjuntos: Se define la interseccin de dos conjuntos A y B al conjunto de elementos que son comunes a A y B. Se denota por A tambin se puede definir: A B={x/xAyxB} Ejemplos: Vamos a mostrar tres casos de diferente de unin de conjuntos: B, que se lee: A interseccin B. La interseccin de A y B

Cuando tienen Cuando no tienen Cuando todos los elementos comunes elementos comunes conjunto pertenecen a otro conjunto Diferencia de Conjuntos: Se denomina diferencia de dos conjuntos A y B al conjunto formado por todos los elementos de A pero que no pertenecen a B. La diferencia se denota por: A - B que se lee: A diferencia B o A menos B. Se define la diferencia de dos conjuntos tambin como: A - B = {x / x A y x B} Ejemplos: Vamos a mostrar tres casos de diferente de unin de conjuntos:

Cuando no tienen Cuando tienen Cuando todos los elementos comunes elementos comunes elementos de un conjunto pertenecen a otro conjunto.