Teora de conjuntos

Teora de conjuntos
La Teora de Conjuntos es una divisin de las matemticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemtico alemn Georg Cantor, Gottlob Frege y Julius Wilhelm Richard Dedekind en el Siglo XIX y ms tarde reformulada por Zermelo. El concepto de conjunto es intuitivo y se podra definir como una "agrupacin bien definida de objetos no repetidos y no ordenados"; as, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Diagrama de Venn que muestra un conjunto contenido en otro conjunto y su complemento Un conjunto est bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolgrafos azules est bien definido, porque a la vista de un bolgrafo se puede saber si es azul o no. El conjunto de las personas altas no est bien definido, porque a la vista de una persona, no siempre se podr decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo XIX, segn Frege, los elementos de un conjunto se definan slo por tal o cual propiedad. Actualmente la teora de conjuntos est bien definida por el sistema ZFC. Sin embargo, sigue siendo clebre la definicin que public Cantor. Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra intuicin o nuestro pensamiento. Georg Cantor A propsito de la nocin de conjunto, Dedekind dijo que se los imaginaba como un saco cerrado que contiene cosas... de las que no sabemos nada fuera de que existen y son totalmente determinadas. Algn tiempo despus, Cantor dio a conocer su idea de conjunto: elev su colosal figura, describi con el brazo erguido un gesto soberbio, y dijo con la mirada perdida: 'Me imagino un conjunto como un abismo'. Felix Bernstein, citado en las Obras Completas de Richard Dedekind

Notacin
Usualmente los conjuntos se representan con una letra mayscula:

Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos elementos tienen carcter individual, tienen cualidades que nos permiten diferenciarlos, y cada uno de ellos es nico, no habiendo elementos duplicados o repetidos. Los representaremos con una letra minscula:

De esta manera, si

es un conjunto, y

todos sus elementos, es comn escribir:

para definir a tal conjunto

. Esta notacin empleada para definir al conjunto

se llama notacin por extensin.

Teora de conjuntos Para representar que un elemento pertenece a " o bien " pertenece a un conjunto , escribimos (lase " se escribe en ", " no

es un elemento de

"). La negacin de

(lase "

pertenece a "). El conjunto universal, que representaremos como hablamos de ciudades,

(u mayscula), es el conjunto de todas las cosas sobre las que es el conjunto de los nmeros enteros; si

estemos tratando. As, si hablamos de nmeros enteros entonces

es el conjunto de todas las ciudades. Todos los elementos posibles estn en este conjunto:

Este conjunto universal puede mencionarse explcitamente, o puede darse por supuesto segn el contexto que estemos tratando. Existe adems, un nico conjunto que no tiene elementos, al que se le llama conjunto vaco y que se denota por , esto es: contenidos en l: . La caracterstica importante de este conjunto es que todos los elementos posibles no estn

Por otro lado, si todos los elementos expresada como una proposicin definir:

de un conjunto , con la indeterminada

satisfacen alguna propiedad, misma que pueda ser , usamos la notacin por comprensin, y se puede

Lo anterior se lee "

es el conjunto de elementos

, que cumplen la propiedad

". El smbolo ":" se lee .

"que cumplen la propiedad" o "tal que"; este smbolo puede ser remplazado por una barra

Por ejemplo, el conjunto:

puede definirse por:

donde el smbolo

representa al conjunto de los nmeros naturales.

Teora de conjuntos

Igualdad entre conjuntos. Subconjuntos y Superconjuntos

Igualdad de conjuntos
Dos conjuntos smbolos: y se dicen iguales, lo que se escribe est tambin contenido en si constan de los mismos elementos. Es decir, si y todo elemento de est contenido en . En y solo si todo elemento de

Subconjuntos y Superconjuntos
Un conjunto de otro se dice que es subconjunto , si cada elemento de . Es decir: es , y se denota

tambin elemento de

Diagrama de Venn que muestra

Cabe sealar que, por definicin, no se excluye la posibilidad de que si AB, se cumpla subconjunto de B, tiene por lo menos un elemento que no pertenezca al conjunto , lo que se representa por . Es decir es un subconjunto propio de

. Si, siendo A un

, entonces decimos que

As, el conjunto vaco es subconjunto propio de todo conjunto (excepto de s mismo), y todo conjunto subconjunto "impropio" de s mismo. Si es un subconjunto de , decimos tambin que es un superconjunto de , lo que se escribe . As pues

es

y tambin que:

significando

que

es superconjunto propio de

La relacin "ser subconjunto" es una relacin de orden entre conjuntos puesto que es reflexiva, transitiva y antisimtrica.

Teora de conjuntos

Operaciones con conjuntos

Unin
Para cada par de conjuntos como elementos de y existe un conjunto unin de los dos, que se denota el cual contiene todos los y de .

Diagrama de Venn que ilustra

Esto siginifica que xAB si y slo si xA xB. De manera ms general, para cada conjunto elementos son todos los elementos existe otro conjunto denotado como . de manera que sus

de algn elemento de S,

De esta manera

es el caso especial donde

Ejemplo. Si tenemos los conjuntos

, entonces:

Teora de conjuntos

Interseccin
Los elementos comunes a y forman un conjunto denominado interseccin de y , representado por . Es decir, es el conjunto que contiene a que al mismo : todos los elementos de tiempo estn en

Diagrama de Venn que ilustra

Esto siginifica que xAB si y slo si xA y xB. Puede definirse tambin la interseccin de una familia de conjuntos, dos conjuntos y son tales que Ejemplo. Si tenemos los conjuntos , entonces se dice que de forma similar al caso de la unin. Si y son conjuntos disjuntos.

, entonces:

Teora de conjuntos Particin Dado un conjunto A, una familia de subconjuntos X={Ai} (con cada Ai A) se denomina una particin de A si la unin de todos ellos es A y son disjuntos dos a dos:

Diferencia

Diagramas de Venn que muestran Los elementos de un conjunto diferencia de y , representado por

respectivamente. , forman otro conjunto llamado . Es decir:

que no se encuentran en otro conjunto

Esto significa que xA\B si y slo si xA y xB. Tambin se denota por A-B. Ejemplo. Dados los conjuntos

, se tiene:

Teora de conjuntos

Complemento
El complemento de un conjunto es el conjunto de todos los elementos que no pertenecen a .

Diagrama de Venn que ilustra el complemento de A, AC.

El conjunto complemento siempre lo es respecto al conjunto universal que estamos tratando, esto es, si hablamos de nmeros enteros, y definimos el conjunto de los nmeros pares, el conjunto complemento de los nmeros pares es el formado por los nmeros impares. Si estamos hablando de personas, y definimos el conjunto de las personas rubias, el conjunto complementario es el de las personas no rubias. Ejemplo. Consideremos el universo de los nmeros naturales {1,2,3,...}, y entendamos los puntos suspensivos "..." como "y todos los dems". Sean los conjuntos:

(los nmeros impares). Se tiene entonces:

(los nmeros pares).

Teora de conjuntos

Diferencia simtrica
La diferencia simtrica de dos conjuntos A y B viene dada por los elementos que pertenecen a uno y slo uno de los dos:

Diagrama de Venn que ilustra la diferencia simtrica de A y B, AB.

Tambin se denota por

lgebra de conjuntos
Sean 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. Propiedad distributiva de la unin Elemento neutro de la unin Elemento neutro de la interseccin Propiedad conmutativa de la interseccin Propiedad conmutativa de la unin Propiedad de Involucin. Propiedad asociativa de la interseccin Propiedad asociativa de la unin Propiedad distributiva de la interseccin , ,y conjuntos cualesquiera y un conjunto tal que , y entonces:

Teora de conjuntos 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33.

Producto cartesiano de conjuntos

Un par ordenado de nmeros Dados dos conjuntos representado por y es tal si los pares y son uno mismo si y slo si y . (en ese orden), , definimos al conjunto producto ( o producto cartesiano) de , como el conjunto

Ejemplo Sean:

. El producto de S por R ser:

Y el producto se R por S :

Ya que el producto cartesiano est formado de pares ordenados (donde el orden de los componentes importa), Resulta que como norma general:

Y solo se da el caso:

Cuantificadores
Los cuantificadores sirven para indicar cuantos elementos de un conjunto dado cumplen con cierta propiedad. Tales cuantificadores son El cuantificador universal, representado por . Este cuantificador se emplea para afirmar que todos los elementos de un conjunto cumplen con determinada propiedad. Se escribe

El cuantificador existencial se usa para indicar que al menos un elemento de un conjunto propiedad. Se escribe . Se definen

cumple con una

Teora de conjuntos

10

Funciones
Sean y dos conjuntos. Un subconjunto , se dice aplicacin o funcin de en , lo que se representa por siempre que se verifique Si , el elemento se dice imagen de por , y el elemento se llama antecedente de por por . , y por

Sea una funcin tanto . Sean las funciones

. Se emplea la notacin y ,

para representar a la imagen de . Se define

y se dice que Sean ,

es el producto de composicin de las funciones y

. .

tres funciones. Entonces

Para demostrar la igualdad tendremos que probar que tienen el mismo dominio, el mismo codominio, y que sus imgenes son iguales:

Hemos demostrado que los dominios son iguales.

Tambin

vemos

que

tienen

el :

mismo

codominio,

slo

nos

queda

ver

que

Por lo tanto queda probado que:

Teora axiomtica de conjuntos

La teora de conjuntos que se discute en este artculo es hasta cierto punto elemental, y se describe de manera informal, apelando a la intuicin para determinar como se comportan los objetos llamados "conjuntos". Este manera de razonar no est exenta de problemas, puesto que es sencillo encontrarse con paradojas como la famosa paradoja de Russell. La teora de conjuntos axiomtica se desarrolla para evitar estas paradojas y poder estudiar en mayor profundidad las consecuencias de la teora. En ella, los axiomas que verifican los conjuntos se escogen cuidadosamente. Ejemplos conocidos son: La teora de conjuntos de Zermelo-Fraenkel La teora de conjuntos de Neumann-Bernays-Gdel

Teora de conjuntos

11

Vase tambin
Hiptesis del continuo Diagrama de Venn Conjunto Interseccin de conjuntos Unin de conjuntos Diferencia de conjuntos

Bibliografa
1. Gonzlez Carlomn, Antonio (6 de 2006) (en espaol). Retculo completo de Boole, lgica matemtica, teora de conjuntos (2 edicin). Universidad de Oviedo. Servicio de Publicaciones. pp.232. ISBN 978-84-8317-534-7. 2. Cantor, Georg (11 de 2005) (en espaol). Fundamentos para una teora general de conjuntos: escritos y correspondencia selecta. Ferreirs Domnguez, Jos; Gmez-Caminero, Emilio F.; Ferreirs Domnguez, Jos (1 edicin). Editorial Crtica. pp.320. ISBN 978-84-8432-695-3. 3. Fernndez Laguna, Vctor (2 de 2004) (en espaol). Teora de conjuntos elemental, Bachillerato (2 edicin). Anaya. pp.168. ISBN 978-84-667-2614-6. 4. Climent Coloma, Joan Josep (10 de 2003) (en espaol). lgebra: teora de conjuntos y estructuras algebraicas (2 edicin). Editorial Club Universitario. pp.512. ISBN 978-84-8454-302-2. 5. Set, Jordi (7 de 2002) (en espaol). Teora elemental de conjuntos (1 edicin). Clag S.A. pp.168. ISBN 978-84-921847-6-7. 6. Arrieche Alvarado, Mario (7 de 2002) (en espaol). Iniciacin de la teora de conjuntos, en la formacin de profesores de matemticas (1 edicin). Arrieche Alvarado, Mario Jose. pp.169. ISBN 978-84-607-4774-1. 7. Gonzlez Carlomn, Antonio (9 de 2001) (en espaol). Retculo completo de Boole. Lgica matemtica teora de conjuntos (1 edicin). Universidad de Oviedo. Servicio de Publicaciones. pp.204. ISBN 978-84-8317-264-3. 8. Climent Coloma, Joan Josep (6 de 2001) (en espaol). lgebra. Teora de conjuntos y estructuras algebraicas (1 edicin). Editorial Club Universitario. pp.240. ISBN 978-84-8454-081-6. 9. Alonso Jimnez, Jos A; Prez Jimnez, Mario de J.; Ruiz Reina, Jos L. (9 de 1998) (en espaol). Teora de conjuntos (1 edicin). Ediciones La , S.L.. pp.348. ISBN 978-84-89524-45-3. 10. Hernndez Hernndez, Fernando (1998). Teora de conjuntos. Mxico D.F.: Sociedad Matemtica Mexicana. 11. Jonsonbaugh, Richard (2005). Matemticas Discretas Sexta Edicin. Pearson Educacin, Mxico, 2005. ISBN 970-26-0637-3.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Teora de conjuntos.Commons

Fuentes y contribuyentes del artculo

12

Fuentes y contribuyentes del artculo

Teora de conjuntos Fuente: http://es.wikipedia.org/w/index.php?oldid=44983832 Contribuyentes: .Jos, 4lex, Aadrover, Airunp, Aleator, Alephcero, AlfonsoERomero, Alhen, Andreasmperu, Antur, Antn Francho, Aracne, Ascnder, Banfield, Cain31415, Chalisimo5, Chanchicto, Chanchocan, Cinabrium, Cobalttempest, Comae, Crescent.Moon, Cuate77, Cuky, Daipop, Davidsevilla, Dianai, Diegusjaimes, Dnu72, Dodo, Ebr, Eduardosalg, Ejrrjs, Elessar.telkontar, Elodar, Elwikipedista, Eqcedwin, Farisori, Fmr cosm, Fsd141, Gtz, HiTe, Humbefa, Hctor Guido Calvo, JAGT, Javierito92, Jkbw, Jorge C.Al, JorgeGG, Joseaperez, Joxemai, Juan Marquez, Kiaramaria, Klauestte, Kn, Kolmogorov, Kronoss, Kved, Latiniensis, Laura Fiorucci, Lauranrg, Linkedark, Lipedia, Lolmaker, Lucien leGrey, Mafores, Maldoror, Manw, Marsa, Matdrodes, Mauricio Maluff, Maximiliano Ulloa Castillo, Moriel, Mortadelo2005, Mpagano, Muro de Aguas, Nicolasdiaz, Nicop, Nyx, Paintman, Palach, Pan con queso, PoLuX124, Ramjar, Raystorm, Redjhawk, Retama, Richy, Rimeju, Rioman, Roman.astaroth, Rsg, Rubenerm, Sabbut, Samid Limon, Savh, Super braulio, Superzerocool, Tano4595, Technopat, Tirithel, Tito HX, Toad32767, Tomas Snchez, Torquemado, Ty25, Vargenau, Vitamine, Vivero, Wewe, Wikisilki, Willtron, Yeza, 417 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Image:Absolute complement (set teory, Venn diagram).PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Absolute_complement_(set_teory,_Venn_diagram).PNG Licencia: GNU Free Documentation License Contribuyentes: User:Paul August Image:Venn A subset B.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn_A_subset_B.png Licencia: GNU Free Documentation License Contribuyentes: Darapti, EugeneZelenko, Porao, Yuval Madar Image:Venn0111.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0111.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Lipedia Image:Venn0001.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0001.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Lipedia, Tony Wills, 9 ediciones annimas Archivo:Venn0100.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0100.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Lipedia Archivo:Venn0010.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0010.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Lipedia Image:Venn1010.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn1010.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Lipedia Image:Venn0110.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0110.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Herbythyme, Jarekt, Lipedia, 3 ediciones annimas Imagen:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: User:3247, User:Grunt

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/