Teora de conjuntos

Hiptesis del continuo. La coleccin de todos los conjuntos de nmeros naturales P(N) tiene la llamada potencia del continuo: tantos elementos como (por ejemplo) puntos en unarecta. Su estudio es uno de los principales problemas en la teora de conjuntos. 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.
1

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 delinfinito en la segunda mitad del siglo XIX, precedido

por algunas ideas deBernhard 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. Tabla de verdad Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.
1

Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgensteinen su Tractatus logico-philosophicus, publicado en 1921. Tablas de verdad[editar editar fuente] Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposicones que la integran, encontrndonos con los siguientes casos:

Verdad Indeterminada o Contingencia[editar editar fuente] Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: .

Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor Vo F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3) Una columna (Columna 4) en la que se establecen los valores de aplicando la definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la proposicin completa , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin es V y cundo es F.

Contradiccin[editar editar fuente] Artculo principal: Contradi ccin. Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es verdad su contradiccin es falsa, y si A es falsa su contradiccin es verdad, la conjuncin de ambas da falso en todos los casos. Tautologas[editar editar fuente] Artculo principal: Tautologa.

Se entiende por proposici n tautolgic a, o tautolog a, aquella proposici n que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos la variable Aen disyuncin con su contradiccin, si A es verdad, su negacin es falsa y si A es falsa su negacin es verdad, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos. ____________________________________________-Tcnicas de Conteo Si el nmero de posibles resultados de un experimento es pequeo, es relativamente fcil listar y contar todos los posibles resultados. Al tirar un dado, por ejemplo, hay seis posibles resultados. Si, sin embargo, hay un gran nmero de posibles resultados tales como el nmero de nios y nias por familias con cinco hijos, sera tedioso listar y contar todas las posibilidades. Las posibilidades seran, 5 nios, 4 nios y 1 nia, 3 nios y 2 nias, 2 nios y 3 nias, etc. Para facilitar el conteo examinaremos tres tcnicas: La tcnica de la multiplicacin, la tcnica de la permutacin, y la tcnica de la combinacin. La Tcnica de la Multiplicacin La tcnica de la multiplicacin: Si hay m formas de hacer una cosa y hay n formas de hacer otra cosa, hay m x n formas da hacer ambas cosas En trminos de frmula Nmero total de arreglos = m x n Esto puede ser extendido a ms de dos eventos. Para tres eventos, m, n, y o:

Nmero total de arreglos = m x n x o Ejemplo: Un vendedor de autos quiere presentar a sus clientes todas las diferentes opciones con que cuenta: auto convertible, auto de 2 puertas y auto de 4 puertas, cualquiera de ellos con rines deportivos o estndar. Cuntos diferentes arreglos de autos y rines puede ofrecer el vendedor? Para solucionar el problema podemos emplear la tcnica de la multiplicacin, (donde m es nmero de modelos y n es el nmero de tipos de rin). Nmero total de arreglos = 3 x 2 No fue difcil de listar y contar todos los posibles arreglos de modelos de autos y rines en este ejemplo. Suponga, sin embargo, que el vendedor tiene para ofrecer ocho modelos de auto y seis tipos de rines. Sera tedioso hacer un dibujo con todas las posibilidades. Aplicando la tcnica de la multiplicacin fcilmente realizamos el clculo: Nmero total de arreglos = m x n = 8 x 6 = 48 La Tcnica de la Permutacin Como vimos anteriormente la tcnica de la multiplicacin es aplicada para encontrar el nmero posible de arreglos para dos o ms grupos. La tcnica de la permutacin es aplicada para encontrar el nmero posible de arreglos donde hay solo u grupo de objetos. Como ilustracin analizaremos el siguiente problema: Tres componentes electrnicos - un transistor, un capacitor, y un diodo - sern ensamblados en una tablilla de una televisin. Los componentes pueden ser ensamblados en cualquier orden. De cuantas diferentes maneras pueden ser ensamblados los tres componentes? Las diferentes maneras de ensamblar los componentes son llamadas permutaciones, y son las siguientes: TDC DTC CDT TCD DCT CTD Permutacin: Todos los arreglos de r objetos seleccionados de n objetos posibles La frmula empleada para contar el nmero total de diferentes permutaciones es: n P r = n! / (n r )! Donde: nPr es el nmero de permutaciones posible n es el nmero total de objetos

r es el nmero de objetos utilizados en un mismo momento

n P r = n! = 3! = 3 x 2 = 6 --------- --------- --------(n r )! ( 3 3 )! 1 Ejemplo: Suponga que hay ocho tipos de computadora pero solo tres espacios disponibles para exhibirlas en la tienda de computadoras. De cuantas maneras diferentes pueden ser arregladas las 8 mquinas en los tres espacios disponibles? n P r = n!/(n r )! = 8! / 8 3 )! = 8!/ 5! = 336 En el anlisis anterior los arreglos no presentan repeticiones, es decir, no hay dos espacios disponibles con el mismo tipo de computadora. Si en los arreglos se permite la repeticin, la frmula de permutaciones es la siguiente: n Pr = nr Para ilustrar el punto, queremos saber cuntas series de 2 letras se pueden formar con las letras A, B, C, si se permite la repeticin? Las permutaciones son las siguientes: AA, AB, AC, BA, CA, BB, BC, CB, CC Usando la frmula: n Pr = nr = 3P2 = 32 = 9 La Tcnica de la Combinacin En una permutacin, el orden de los objetos de cada posible resultado es diferente. Si el orden de los objetos no es importante, cada uno de estos resultados se denomina combinacin. Por ejemplo, si se quiere formar un equipo de trabajo formado por 2 personas seleccionadas de un grupo de tres (A, B y C). Si en el equipo hay dos funciones diferentes, entonces si importa el orden, los resultados sern permutaciones. Por el contrario si en el equipo no hay funciones definidas, entonces no importa el orden y los resultados sern combinaciones. Los resultados en ambos casos son los siguientes: Permutaciones: AB, AC, BA, CA, BC, CB Combinaciones: AB, AC, BC Combinaciones: Es el nmero de formas de seleccionar r objetos de un grupo de n objetos sin importar el orden. La frmula de combinaciones es: n C r = n!r! (n r )!

Ejemplo: En una compaa se quiere establecer un cdigo de colores para identificar cada una de las 42 partes de un producto. Se quiere marcar con 3 colores de un total de 7 cada una de las partes, de tal suerte que cada una tenga una combinacin de 3 colores diferentes. Ser adecuado este cdigo de colores para identificar las 42 partes del producto? Usando la frmula de combinaciones: n C r = n!/ r! (n r )! = 7! / 3! ( 7 3 )! = 7! / 3! 4!= 35 El tomar tres colores de 7 posibles no es suficiente para identificar las 42 partes del producto.

Teora de Conjuntos Definicin Por extensin: se enumeran todos los elementos del conjunto Por comprensin: se da la propiedad que caracteriza a los elementos del conjunto Conjuntos especiales Conjunto vaco: carece de elementos > o { } Conjunto unitario: formado por un nico elemento > {a} Conjunto universal: formado por todos los elementos que intervienen > Inclusin A B <=> Para todo x: x A => x B Igualdad de conjuntos A = B <=> A B y B A Propiedades de la inclusin Reflexividad: Para todo x: x A => x A es verdadero, por lo tanto A A Transitividad: Si A B y B C => A C Antisimtrica: Si A B y B A => A = B Caractersticas del conjunto vaco Est incluido en cualquier otro conjunto. El conjunto vaco es nico Complemento de un conjunto Ac = { x / x A } Propiedades de complemento Involucin: (Ac)c = A Si A B => Bc Ac Interseccion de conjuntos AB={x/xAyxB} Conjuntos disjunto: Si A B = Propiedades de interseccion

Idempotencia: A A = A Asociativa: (A B) C = A (B C) Conmutativa: A B = B A Elemento neutro: A = A = A Union de conjuntos AUB={x/xAoxB} Propiedades de la union Idempotencia: A U A = A Asociativa: (A U B) U C = A U (B U C) Conmutativa: A U B = B U A Elemento neutro: A U = U A = A Leyes distributivas (A U B) C = (A C) U (B C) (A B) U C = (A U C) (B U C) Leyes de Morgan (A U B)c = Ac Bc (A B)c = Ac U Bc Diferencia de conjuntos A-B={x/xAyxB} Propiedades de la diferencia No es conmutativa: A - B B - A A - B = A Bc A (B - C) = (A B) - (A C)