Teora de Conjuntos

La Teora de conjuntos, es una importante rama de las matemticas creada por el matemtico alemn Georg Cantor, su estudio e importancia es fundamental en el estudio de la matemtica, pilar fundamental del tema funciones entre otroste Un conjunto es una coleccin de objetos distintos y no ordenados, (que podemos llamar elementos y es considerado un objeto en s mismo! Los conjuntos son considerados uno de los conceptos matemticos ms fundamentales! "unque en realidad no el t#rmino no fue in$entado %asta finales del siglo &'&, la teora de conjuntos es parte ineludible en la matemtica de %oy y puede ser usada como base para casi cualquier concepto matemtico actual! Una de las %erramientas principales para ense(ar conjuntos son los diagramas de )enn ms que nada por su utilidad $isual! *e atribuye a Georg Cantor la in$encin de la teora de conjuntos, y di la anterior definicin al comien+o de su libro ,eitr-ge +ur ,egr.ndung der transfiniten /engenle%re! Los elementos o miembros de un conjunto pueden ser n0meros, personas, letras del alfabeto, otros conjuntos, etc! Los conjuntos son notados por con$encin con letras may0sculas y podemos afirmar que dos conjuntos " y , son iguales si y slo si contienen precisamente los mismos elementos! Como se discutir, la definicin anterior resulta inadecuada para las matemticas formales1 en $e+ de eso la nocin de conjunto se toma como un concepto primiti$o no definido en la teora a2iomtica de conjuntos, y sus propiedades son definidas por los a2iomas de 3ermelo4 5raen6el! Las propiedades bsicas de los conjuntos son que tienen elementos, y que 7 conjuntos con iguales si y slo si tienen los mismos elementos!

Describiendo Conjuntos
82isten dos formas de describir un conjunto o especificar sus elementos! La primera es por comprensin, usando una regla o descripcin que los defina9 " es el conjunto cuyos elementos son los primeros cuatro n0meros positi$os! , es el conjunto de los colores de la bandera 5rancesa! La segunda por e2tensin, esto es una lista de cada uno de los elementos! Una definicin por e2tensin aparecer rodeando con lla$es los elementos del conjunto! C : ; <, 7, =, > ? @ : ;a+ul, blanco, rojo? "lgunos detalles importantes son9 cada elemento de un conjunto debe ser 0nico, no puede %aber dos id#nticos y el orden de los mismos es irrele$ante (a diferencia de las sucesiones o series porque la definicin por e2tensin slo refiere al %ec%o de que cada elemento listado pertenece al conjunto! Aara conjuntos con muc%os elementos, esta notacin puede ser abre$iada usando puntos suspensi$os !!! Aor ejemplo el conjunto de los primeros mil positi$os sera ; =, 7, >,!!!, =BBB? donde los par#ntesis indican que la lista contin0a siguiendo el patrn ob$io! Tambi#n se usan puntos suspensi$os cuando el conjunto tiene infinitos elementos lo que sera para el conjunto de n0meros pares ;7, <, C, D, !!!?! La notacin con lla$es tambi#n es usada para los conjuntos definidos por comprensin, en #ste caso las lla$es significan el conjunto de Etodos!!!E aunque su desarrollo es un poco mas complejo! Aor ejemplo el conjunto 5 de los 7B menores naturales son 5: ;n F GH B I n I 7=? 8n esta notacin la barra H significa Etal queE (tambi#n se usa E9E ! Cualquiera de las dos formas se pueden usar indistintamente1 por ejemplo en los casos anteriores ":C y ,:@!

PERTENENCIA
La relacin cla$e entre conjuntos es la pertenencia, (cuando un conjunto es elemento de otro ! *i a pertenece a ,, se indica " F ,, mientras que si C no pertenece a , entonces C J ,! Aor ejemplo en los conjuntos anteriores podemos decir que9 < F " pero >K J 5!

Subconjuntos
*i todo elemento del conjunto " es tambi#n elemento del conjunto ,, se dice que " es subconjunto de , y se nota " L , (tambi#n se dice que a est contenido en , ! @e forma equi$alente podramos decir que , M " o que , contiene a "! La relacin entre conjuntos definida de #sta forma se llama inclusin! *i " es subconjunto de , pero no es igual se llama a " subconjunto propio de , (" N , ! 8jemplo9 8l conjunto de todos los %ombres es subconjunto propio del conjunto de las personas! ; = , > ? N ;=, 7, >, <? ;=, 7, >, <? L ;=, 7, >, <? Otro conjunto importante en la teora de conjuntos es el conjunto $aco P (conjunto sin elementos una propiedad importante del mismo es que el conjunto $aco es subconjunto de todos los conjuntos! Tambi#n es importante detallar que cualquier conjunto es subconjunto de s mismo, esta propiedad resulta muy 0til para demostrar que 7 conjuntos son iguales! " : , si y solo si " L , y , L "!

Conjunto de Partes
8l conjunto de partes de un conjunto * es el conjunto de todos los subconjuntos de *! 8sto incluye los subconjuntos formados por todos los miembros de * y el conjunto $aco! *i un conjunto finito * tiene cardinal n, entonces su conjunto de partes tiene cardinal 7n! La notacin usada para el conjunto de partes es A(* ! *i un conjunto * es infinito (numerable o no numerable entonces su conjunto de partes siempre es no numerable! 8s ms, si * es un conjunto, entonces jams se puede establecer una biyeccin entre * y A(* ! O en otras palabras A(* es siempre estrictamente mayor que *! Como ejemplo el conjunto de partes de ;=, 7, >? es ;;=, 7, >?, ;=, 7?, ;=, >?, ;7, >?, ;=?, ;7?, ;>?, P?! La cardinalidad del conjunto original es >, y la del conjunto de partes es 7Q: D!

Cardinalidad
La cardinalidad R*R de un conjunto es Eel n0mero de elementos de *E! Aor ejemplo, como la bandera de 5rancia tiene tres colores, R,R: >! 82iste un conjunto 0nico que no contiene elementos y cuyo cardinal es B, #ste es llamado conjunto $aco (o conjunto nulo y se nota por el smbolo P! Aor ejemplo el conjunto de todos los cuadrados de > lados es $aco! "unque pare+ca tri$ial la e2istencia de este conjunto es fundamental para la teora a2iomtica de conjuntos! "lgunos conjuntos tienen cardinalidad infinita! 8l conjunto de los n0meros naturales por ejemplo, es ms algunos cardinales infinitos son mayores que otros! Aor ejemplo, el conjunto de los n0meros reales tiene un cardinal mayor que el conjunto de los n0meros naturales! *in embargo se puede demostrar que la cantidad de puntos en una lnea recta tiene el mismo

cardinal que cualquier segmento de ella, o que el plano, o que cualquier espacio euclidiano de dimensiones finitas!

CONJUNTOS ESPECIALES
82isten algunos conjuntos que tienen gran importancia matemtica y que se nombran tan regularmente en la teora de conjuntos que tienen nombres especiales y se adoptaron con$enciones especiales para referirse a ellos! "lguno de ellos son9 A que es el conjunto de los n0meros primos G conjunto de los n0meros Gaturales 3 conjunto de los n0meros 8nteros! S conjunto de los n0meros Tacionales T conjunto de los n0meros Teales! C conjunto de los n0meros Complejos Cualquiera de los anteriores tiene infinitos elementos, y cada uno de ellos puede considerarse como un subconjunto de los siguientes en la lista! Operaciones ,sicas 82isten algunas operaciones ,sicas que permiten construir conjuntos nue$os a partir de otros dados!

Unin de Conjuntos
La unin de 7 conjuntos " y , se nota como " U , y es el conjunto de todos los elementos de " y ,! 8jemplo ;=, 7? U ;rojo, blanco? :;=, 7, rojo, blanco?! "lgunas propiedades bsicas de la unin9 V V V V V V " " " " " " U , : , U "! U (, U C : (" U , U C! L (" U , ! U " : "! U P : "! L , if si y solo si " U , : ,!

Interseccin de Conjuntos
*e dira que es el nue$o conjunto determinado por los elementos que los dos elementos primiti$os tienen en com0n! La interseccin de " y ,, notado como " W ,, es el conjunto de todos los elementos que pertenecena a " y a ,! *i tenemos que " W , : P entonces se dice que " y , son disjuntos! 8jemplos

V ;=, 7? W ;rojo, blanco? : P! V ;=, 7, $erde? W ;rojo, blanco, $erde? : ;$erde?! V ;=, 7? W ;=, 7? : ;=, 7? "lgunas propiedades bsicas de las intersecciones9 V V V V V V " " " " " " W , : , W "! W (, W C : (" W , W C! W , L "! W " : "! W P : P! L , if si y solo si " W , : "!

CO PLE ENTO DE UN CONJUNTO

8l complemento relati$o de , y " (tambi#n llamado diferencia terica de " y , , notada como "X, o (" 4 , es el conjunto de todos los elementos que son miembros de " pero no de ,! 8n algunos casos todos los conjuntos a trabajar sern subconjuntos de un conjunto particular llamado conjunto uni$ersal U! 8n esos casos UX" es llamado el complemento absoluto y simplemente complemento de " y se nota "Y 8jemplos ;=, 7? X ;=, 7? : P! ;=, 7, >, <? X ;=, >? : ;7, <?! "lgunas propiedades bsicas del complemento V " X , Z , X "! V " U "[ : U! V " W "[ : P! V ("[ [ : "! V " X " : P! V U[ : P and P[ : U! V " X , : " W ,[! Una e2tensin del complemento es la diferencia sim#trica, definida para conjuntos " y , " \ , : (" X , U (, X " ! Un ejemplo de diferencia sim#trica de ;],D,K,=B? y ;K,=B,==,=7? es el conjunto ;],D,==,=7?!

Producto Cartesiano de Conjuntos

Un nue$o conjunto puede ser construido mediante la asociacin de cada elemento de un conjunto con los elementos de otro! 8l produclto cartesiano de " y ,, notado como " 2 , es el conjunto de todos los pares ordenados (a,b tal que a es elemento de " y b es elemento de ,! 8jemplo9 ;=, 7? ^ ;=, 7? : ;(=, = , (=, 7 , (7, = , (7, 7 ?! "lgunas propiedades bsicas del producto cartesiano son9 V " ^ P : P! V " ^ (, U C : (" ^ , U (" ^ C ! V (" U , ^ C : (" ^ C U (, ^ C ! *i " y , son conjuntos infinitos!

V R_" ^ ,_R : R_, ^ "_R : R_"_R ^ R_,_R!

A!licaciones
La teora de conjuntos es $ista como la cimentacin desde donde deri$a la matemtica! Aor ejemplo, estructuras en lgebra abstracta, tales como grupos, campos y anillos, son conjuntos cerrados sobre una o ms operaciones! Una de las aplicaciones de la teora de conjuntos es ca construccin de relaciones! Una relacin entre un dominio " y un codominio , es un subconjunto del producto cartesiano de " 2 ,! @ado este concepto, rpidamente se puede $er que el conjunto 5 de todos los pares ordenados (2, 2` donde 2 es real, es bastante familiar! Tiene como dominio el conjunto T y como codominio al mismo T, porque el conjunto de los cuadrados es subconjunto del conjunto de los reales! *i colocamos esto en notacin funcional, la relacin se con$ierte en f(2 : 2`! La ra+n de que estas dos notaciones sean equi$alentes es que para cualquier $alor real dado donde la funcin est definida su correspondiente par ordenado (2,2` es miembro de 5!

La teora "2iomtica
La necesidad de la teora a2iomtica radica en las limitaciones que e2isten en la definicin de conjunto y en la e2istencia de algunas EparadojasE amplamente trabajadas por algunos de los ms importantes matemticos! La paradoja de Tussel /uestra que el conjunto de todos los conjuntos que no se contienen a s mismos no e2iste! La paradoja de Cantor /uestra que el conjunto de todos los conjuntos no puede e2istir! http://es.scribd.com/doc/29810954/DIVISION-AL !"#AI$A% di&icio'es%()*ebr(ic(s