REPBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD NACIONAL EXPERIMENTAL RAFAEL MARA BARALT PROGRAMA EDUCACIN PROYECTO MATEMTICA Y FSICA

TEORA DE CONJUNTOS

Autores: Ing. Elizer Martnez Licda. Iraida Nez Docente: Lic. Jos Luis lvarez

Cabimas, Julio de 2013

NDICE

NDICE ............................................................................................................ 1 INTRODUCCIN ............................................................................................ 2 TEORA DE CONJUNTOS ............................................................................. 4

CONCEPTO DE CONJUNTO .............................................................................. 4 DETERMINACIN DE CONJUNTOS .................................................................... 4 INCLUSIN ..................................................................................................... 5 IGUALDAD...................................................................................................... 6 CONJUNTO DE PARTES ................................................................................... 7 COMPLEMENTO DE CONJUNTO ........................................................................ 7 UNIN E INTERSECCIN.................................................................................. 9 TEOREMA DE MORGAN ................................................................................. 13 DIFERENCIA SIMTRICA ................................................................................ 15 PRODUCTO CARTESIANO .............................................................................. 17

CONCLUSIONES ......................................................................................... 19 BIBLIOGRAFA ............................................................................................ 20

INTRODUCCIN

En el estudio de cualquier rama de la Matemtica, sea Anlisis, lgebra o Geometra, resulta til emplear la notacin y la terminologa de la Teora de conjuntos. Esta teora, que fue desarrollada por Boole y Cantor a fines del siglo XIX, ha tenido una profunda influencia en el desarrollo de la Matemtica en el siglo XX. Ha unificado muchas ideas aparentemente inconexas y ha contribuido a reducir gran nmero de conceptos matemticos a sus fundamentos lgicos por un mtodo elegante y sistemtico. Un estudio riguroso de la Teora de conjuntos requerira una amplia discusin que consideramos fuera del alcance de este informe. Por fortuna, las nociones bsicas son en nmero reducido, y es posible desarrollar un conocimiento prctico de los mtodos e ideas de la Teora de conjuntos a travs de una discusin informal. En realidad no vamos a hacer una discusin de la moderna Teora de conjuntos, sino precisar la terminologa que deberemos aplicar a las ideas ms o menos familiares. En Matemticas, la palabra conjunto se emplea para representar una coleccin de objetos considerada como una sola entidad. Las colecciones designadas con nombres tales como rebao, tribu, muchedumbre, equipo y electorado son todos ejemplos de conjunto. Los objetos que constituyen la coleccin se llaman elementos o miembros del conjunto, y de ellos se dice que pertenecen o que estn contenidos en el conjunto. A su vez, se dice que el conjunto contiene o est compuesto de sus elementos. Nos ocuparemos principalmente de conjuntos de entes matemticos: conjuntos de nmeros, de curvas, de figuras geomtricas, etc. En muchas aplicaciones conviene considerar conjuntos en los que no se supone nada acerca de la naturaleza de sus elementos. Tales conjuntos se llaman

abstractos. La Teora de conjuntos abstractos ha sido desarrollada para tratar con tales colecciones de objetos arbitrarios, y precisamente a esa generalidad se debe el gran alcance de tal teora.

TEORA DE CONJUNTOS

Concepto de Conjunto

Un conjunto es una coleccin de objetos. Corrientemente los conjuntos se designan con letras maysculas: A, B, C,..., X, Y, Z: y los elementos con minsculas: a, b, c,..., x, y, z. Utilizamos la notacin

para indicar que x es un elemento de S o que x pertenece a S, Si x no pertenece a S escribimos . Cuando convenga, designaremos conjuntos

escribiendo los elementos entre corchetes; por ejemplo, el conjunto de los enteros positivos pares menores que 10 se expresa con el smbolo {2, 4, 6, 8} mientras que el de todos los enteros positivos se representa con {1, 2, 3, ... }; los tres puntos significan y as sucesivamente. Los puntos suspensivos tan slo se utilizan cuando el significado de y as sucesivamente sea claro. El mtodo de citar los elementos de un conjunto entre corchetes se llama frecuentemente la notacin en lista.

Determinacin de Conjuntos

Bsicamente existen dos formas para determinar un conjunto, stas son:

1. Por extensin: Un conjunto est determinado por extensin cuando se describe el conjunto nombrando cada uno de sus elementos. Por ejemplo:

* *

+ +

2. Por comprensin: Un conjunto est determinado por comprensin cuando se nombra una propiedad, una regla o una caracterstica comn a los elementos del conjunto. Por ejemplo: * * + +

Inclusin

A partir de un conjunto dado podemos formar nuevos conjuntos, llamados subconjuntos de aqul. Por ejemplo, el conjunto de los enteros positivos menores que 10 y divisibles por 4 (que es el conjunto {4, 8}) es un subconjunto de los enteros positivos pares menores que 10. En general, daremos la definicin siguiente: Se dice que un conjunto A es un subconjunto del conjunto B, y escribimos , cuando todo elemento de A pertenece

tambin a B. Decimos tambin que A est contenido en B o que B contiene a A. El smbolo conjuntos. La relacin no excluye la posibilidad de que y . En realidad, se utiliza para representar la relacin de inclusin de

podemos tener las dos relaciones

pero esto se presenta tan

slo si A y B tienen los mismos elementos. En otras palabras:

Puede ocurrir que un conjunto no contenga elementos. Un tal conjunto se llama conjunto vaco, y se representa mediante el smbolo Consideremos el .

como subconjunto de cualquier conjunto. Hay quien

imagina un conjunto como un recipiente (tal como una bolsa o una caja) que

contiene ciertos objetos, sus elementos. Entonces, el conjunto vaco sera un recipiente vaco. Para evitar dificultades y confusiones, debemos distinguir entre el elemento x y el conjunto {x} cuyo nico elemento es x. (Una caja con un sombrero dentro, es conceptualmente distinto del sombrero considerado solo.) En particular el conjunto vaco En realidad el conjunto vaco conjunto { no es lo mismo que el conjunto { }.

no contiene elementos, mientras que el (Una bolsa que contiene una bolsa

} contiene un elemento

vaca no est vaca.) Los conjuntos que contienen un solo elemento se llaman conjuntos de un elemento.

Igualdad

Se dice que dos conjuntos A y B son iguales (o idnticos) si constan exactamente de los mismos elementos, en cuyo caso escribiremos . Si

uno de los conjuntos contiene algn elemento que no est en el otro, decimos que los conjuntos son distintos y escribimos .

Ejemplo 1. De acuerdo con esta definicin, los dos conjuntos {2, 4, 6, 8} y {2, 8, 4, 6} son iguales, ya que ambos constan de los cuatro elementos 2, 4, 6, y 8. De este modo, cuando usamos la notacin en lista para expresar un conjunto, el orden en que aparecen los elementos es indiferente. Ejemplo 2. Los conjuntos {2, 4, 6, 8} Y {2, 2, 4, 4, 6, 8} son iguales a pesar de que en el segundo conjunto los elementos 2 y 4 estn citados dos veces. Ambos conjuntos contienen los cuatro elementos 2, 4, 6, 8 Y no otros, as que la definicin exige que consideremos iguales esos conjuntos. Este ejemplo pone de manifiesto que no debemos exigir que los elementos citados en la notacin en lista sean todos distintos. Anlogamente el conjunto de letras en la palabra Mississippi es idntico al conjunto {M, i, s, p} que consta de las cuatro letras distintas M, i, s, y p.

Conjunto de Partes

Ocurre a veces que los elementos de un conjunto son a su vez conjuntos; Por ejemplo, el conjunto de todos los subconjuntos de A. Si A es un conjunto, el conjunto de partes de A, escrito como P(A) est formado por todos los subconjuntos que se pueden formar del conjunto A. Por ejemplo; S * +, entonces el conjunto de partes de A esta formado por los

siguientes subconjuntos: ( ){* + * + * + * +* +* +* + }

Como ya habamos analizado, el conjunto vaco est en todo conjunto y este caso no es la excepcin, por esta razn ( ). Adems, es de

observar que los elementos del conjunto A son a su vez conjuntos, por lo que se dice que el conjunto P(A) constituye una familia de conjuntos. El nmero de elementos del conjunto P(A) depende del nmero de elementos de A. En el ejemplo anterior, A tiene 3 elementos y P(A) tiene 8 = 23 elementos. En general, .si A tiene n-elementos se pueden formar 2n subconjuntos del conjunto A.

Complemento de Conjunto Si A es un conjunto no vaco, el complemento de A, simbolizado por A, est formado por todos los elementos que no pertenecen al conjunto A, es decir, la diferencia del conjunto universal U1 y del conjunto A.

En toda aplicacin de la Teora de Conjuntos, todos los conjuntos que se consideran sern muy probablemente subconjuntos de un mismo conjunto dado. Este conjunto se llamar Conjunto Universal o Universo del Discurso y se denotar por U.

Al analizar el complemento de un conjunto se pueden presentar 3 casos. En los ejemplos que se muestran a continuacin la parte sombreada representa el complemento del conjunto A.

1er Caso: Que los conjuntos no tengan ningn elemento en comn. (Conjuntos disyuntos).

Figura 1. Complemento de Conjuntos: 1er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * * + + +

2do Caso: Que los conjuntos tengan slo unos elementos en comn.

Figura 2. Complemento de Conjuntos: 2do Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * * 8 + + +

3er Caso: Que un conjunto este contenido en el otro.

Figura 3. Complemento de Conjuntos: 3er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * * + + +

Unin e Interseccin

Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunto de todos los elementos que pertenecen al conjunto A o al conjunto B. Simblicamente la unin se define de la siguiente manera: * donde el smbolo se lee o +

Para representar grficamente la operacin de unin entre conjuntos, se debe tener en cuenta la relacin que exista entre ellos, segn los siguientes casos:

1er Caso: Que los conjuntos no tengan ningn elemento en comn. (Conjuntos disyuntos). La parte subrayada representa la unin entre los conjuntos A y B.

Figura 4. Unin de Conjuntos: 1er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * * + +

2do Caso: Que los conjuntos tengan slo unos elementos en comn.

Figura 5. Unin de Conjuntos: 2do Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * * + +

10

3er Caso: Que un conjunto est contenido en el otro.

Figura 6. Unin de Conjuntos: 3er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * * + +

Se define la interseccin entre dos conjuntos A y B como el conjunto formado por todos los elementos que pertenecen simultneamente al conjunto A y al conjunto B. Simblicamente la interseccin se expresa del siguiente modo: * Donde el smbolo + se lee y.

se lee interseccin y el smbolo

1er Caso: Que los conjuntos no tengan ningn elemento en comn. (Conjuntos disyuntos).

La parte subrayada representa la interseccin entre los conjuntos A y B.

11

Figura 7. Interseccin de Conjuntos: 1er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005)

* * * *+ + +

Se puede observar que cuando dos conjuntos son diferentes, su interseccin es vaca y los conjuntos se llaman disyuntos, como ya se haba mencionado.

2do Caso: Que los conjuntos tengan slo unos elementos en comn.

Figura 8. Interseccin de Conjuntos: 2do Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005).

* * * * + + +

12

3er Caso: Que un conjunto este contenido en el otro.

Figura 8. Interseccin de Conjuntos: 2do Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005).

* * * * + + +

Esto permite afirmar que puede inferir que si entonces,

, entonces, .

. Anlogamente se

Teorema de Morgan

Estos Teoremas (o Leyes) establecen los complementos de la unin e interseccin entre conjuntos:

Primer Teorema: El complemento de la unin de dos conjuntos es la interseccin de sus complementos, es decir: ( )

Figura 9. Representacin grfica de la Primera Ley de Morgan. Fuente: Teora de Conjuntos, Becerra. J (2011)

13

En el diagrama de la izquierda (Figura 9), regin en blanco y (

viene dada por la

) est representado por el rea sombreada es la regin

verticalmente. Por su parte en el diagrama de la derecha, sombreada horizontalmente, que

es el rea sombreada verticalmente, por lo

est representado por la superficie cuadriculada. Las regiones

resultantes son iguales.

Segundo Teorema: El complemento de la interseccin de dos conjuntos es la unin de sus complementos, es decir: ( )

Figura 10. Representacin grfica de la Segunda Ley de Morgan. Fuente: Teora de Conjuntos, Becerra. J (2011)

En el diagrama de la izquierda (Figura 10), regin sombreada horizontalmente y (

est dada por la

) est representado por el rea es

sombreada verticalmente. Por su parte, en el diagrama de la derecha, la regin sombreada horizontalmente, por lo que

es el rea sombreada verticalmente,

est representado por la superficie que no es blanca. Las

regiones resultantes son iguales.

Ejemplo: Dados los siguientes conjuntos: * * * Comprobar las Leyes de Morgan + + +

14

Solucin: * * * * ( Como: ( ) ( ) ( Como: ( ) ( ) ( ( ) ) * ) * * ) + + ( ) ( ) * + + + ( ) ( ) + + +

Diferencia Simtrica

Se define la diferencia simtrica entre dos conjuntos no vacos A y B, como el conjunto formado por los elementos que pertenecen al conjunto A o al conjunto B, pero no pertenecen simultneamente a ambos conjuntos. Simblicamente la diferencia simtrica entre A y B se escribe de la siguiente manera: * +

En las siguientes grficas, se analizan los casos que pueden presentarse en la Diferencia Simtrica. La parte sombreada representa la diferencia simtrica entre los conjuntos A y B.

15

1er Caso: Que los conjuntos no tengan ningn elemento en comn. (Conjuntos disyuntos).

Figura 11. Diferencia Simtrica de Conjuntos: 1er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005).

* * * * * + +

+ +

Se puede observar que cuando dos conjuntos son diferentes, su diferencia simtrica es vaca y los conjuntos se llaman disyuntos.

2do Caso: Que los conjuntos tengan slo unos elementos en comn.

Figura 12. Diferencia Simtrica de Conjuntos: 2do Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005).

* * * * * 16 + + + +

3er Caso: Que un conjunto este contenido en el otro.

Figura 13. Diferencia Simtrica de Conjuntos: 3er Caso. Fuente: Lgica Matemtica, Acevedo y Galindo (2005).

* * * * * + + + +

Producto Cartesiano

Uno de los principios bsicos para hacer un anlisis matemtico es el concepto de parejas ordenadas: dos objetos, personas, smbolos o cosas mencionados en un orden definido por su posicin, es decir, primero uno y luego el otro. Si este orden cambiara, es decir, primero el otro y luego el uno, se tendr como resultado una nueva pareja ordenada y diferente a la inicialmente considerada. La simbologa matemtica que se utiliza para representar una pareja ordenada es escribir dentro de un parntesis, la primera componente separada por una coma de la segunda componente, por ejemplo: (x, y) es la pareja ordenada, en donde x es la primera componente y y es la segunda componente.

17

El producto cartesiano de dos conjuntos A y B es el conjunto de todos los posibles pares ordenados que se forman eligiendo como primera componente a un elemento que pertenezca a A y como segunda componente a un elemento que pertenezca a B. El producto cartesiano se denota de la siguiente forma: *( y se lee A cruz B. ) + de los siguientes

Ejemplo: Obtener el producto cartesiano conjuntos: * * Solucin: *( )( )( )( )( )( )( )( )( + +

)(

)(

)(

)+

El nmero de parejas ordenadas que resultan de un producto cartesiano se obtiene multiplicando sus cardinalidades2. En el ejemplo anterior: ( ) de ( )( ) . ( ) , entonces el nmero de parejas ordenadas es

El producto cartesiano no es conmutativo. Esto significa que .

La cardinalidad de un conjunto se define como el nmero de elementos que posee. Se denota por medio de los smbolos #.

18

CONCLUSIONES

Los conceptos e ideas contemplados en la Teora de Conjuntos tienen la funcin de darle sentido a las definiciones ms amplias estudiadas en otras ramas de las Matemticas. De hecho, los estudios realizados por Boole y Cantor sobre estos tpicos, surgieron por la necesidad de dar un fundamento lgico y riguroso a diversos temas matemticos aparentemente inconexos. Para lograr este objetivo, se vio la necesidad de formular un lenguaje lo suficientemente amplio como para abarcar el lgebra, la Geometra, la Aritmtica y el Clculo. El aprendizaje de este tipo de lenguaje especial constituye la razn del presente informe y por medio de su correcta comprensin se har posible dominar otros conceptos matemticos posteriores. El lenguaje de las matemticas se internacionaliza cada vez ms, hacindose ms preciso, ms exacto y menos propenso a ambigedades. El simbolismo perfeccionado y la nomenclatura, aceptada por todos, harn realidad muy pronto el que se pueda leer un texto matemtico sin apenas conocer la lengua de expresin de su autor. Finalmente, es de destacar que la Teora de Conjuntos es un campo muy amplio, donde coinciden distintas disciplinas, muchas de ellas, aparentemente poco relacionada con las matemticas. Es por ello que su estudio es tan importante. Se podra afirmar que el dominio de los conceptos y la simbologa estudiados en la Teora de Conjuntos, facilitarn el anlisis y aportaran la orientacin correcta a cualquier rama del saber.

19

BIBLIOGRAFA

Apostol, T (2001). Calculus. One -Variable Calculus, with an introduction to Linear Algebra. Editorial Revert. Espaa. Aylwin, C (2002). Lgica, Conjuntos y Nmeros. Departamento de Matemticas, Facultad de Ciencias, Universidad de Los Andes, Mrida, Venezuela. Becerra, J (2011). Teora de Conjuntos. Facultad de Contadura y Administracin. UNAM. Mxico D.F, Mxico. Galindo, N y Acevedo G (2005). Lgica Matemtica. UNAD, Bogot, Colombia. Lipschutz, S (1991). Schaums Outline of Set Theory and Realted Topics. McGraw-Hill/Interamericana de Mxico. Mxico D.F, Mxico.

20