You are on page 1of 48

INTITUTO TECNOLGICO SUPERIOR DE COALCOMN

NONBRE DE LA CARRERA: ingeniero en sistemas computacionales

ALUMNO: DAVID GILBERTO PINEDA JIMENEZ

GRADO/GRUPO: primer semestre, grupo (b)

PROF: Ing. Luiz sosa castro

MATERIA: Matemticas discretas

Nombre del trabajo: caractersticas de los conjuntos

INDICE Caractersticas de los conjuntos--------------------------------Conjunto universo, vacio----------------------------------------Nmero naturales: enteros, racionales reales e imaginarios --------------------------------------------------------------------Subconjuntos----------------------------------------------------Conjunto potencia----------------------------------------------Operaciones con los conjuntos---------------------------Propiedades de los conjuntos------------------------------Aplicaciones de los conjuntos---------------------------

INTRODUCCIN El concepto de conjunto es de fundamental importancia en matemticas y en particular en el estudio de estructuras discretas que permiten modelar y resolver problemas en el campo de la computacin Un conjunto es una coleccin de objetos bien definidos. A los objetos de la coleccin se les llama miembros o elementos del conjunto. El adjetivo bien definido se usa para significar que cualquiera que sea el objeto considerado, se pueda determinar si est o no en el conjunto que se analiza. En consecuencia, se evita tratar con conjuntos como el conjunto de las frutas ms deliciosas. Entre los ejemplos ms importantes de conjuntos en matemticas se encuentran los sistemas numricos: el conjunto de los nmeros naturales, el conjunto de los nmeros enteros, el conjunto de los nmeros racionales y el conjunto de los nmeros reales Se utilizan letras maysculas como A, B, C. . . . para representar conjuntos. Adems para los conjuntos numricos ms importantes, utilizaremos la siguiente notacin:

OBJETIVO El objetivo de esta unidad es que tengamos el conocimiento sintomtico para poder resolver los problemas de conjuntos que es el nombre que recibe esta unidad numero 2 donde el maestro nos enseara a resolver problemas de los temas a mirar en esta unidad como son caractersticas de los conjuntos, conjunto universo, vacio nmeros naturales, enteros, racionales e irracionales, subjuntos, conjunto potencia, operaciones de conjuntos, propiedades de los conjuntos, aplicaciones de los conjuntos.

CARACTERSTICAS DE LOS CONJUNTOS Los conjuntos son agrupaciones de elementos, cuestin esta que le da su carcter y como veremos sus propiedades y sobre todo su funcionalidad, razn por la cual solo contemplaremos a los conjuntos vacios con un resumen de los mismos. La clase y tipo de conjuntos puede ser de muy distinta ndole y naturaleza pero nosotros los vamos a contemplar de forma que satisfagan a nuestros propsitos de estudio en la forma siguiente, atendiendo principalmente a sus elementos constitutivos: -- CLase o denominacin -- Analogia o semejanza entre los elementos -- Tipos de convergencia -- Caracteristicas resultantes. CLASES Esta teora entiende que: "Clase es la denominacin y expresin lingstica de un conjunto dependiendo de las peculiaridades y caractersticas de sus elementos as como de las exigencias y requerimientos que les pidamos a estos elementos para integrarse en el conjunto". La clase de conjunto depende por tanto de los elementos que los constituyan y de las exigencias especificas para formar dicho conjunto. As tendremos un conjunto de letras, numrico, de notas musicales, de flores, de libros, etc. Pero tambin se puede exigir a los elementos caractersticas y requerimientos especiales para formar el conjunto, como por ejemplo: Conjunto de flores amarillas; conjunto de manzanas maduras y con gusano; conjunto de hombre calvos y con bigote; conjunto de arboles de hojas dentadas, etc. Todas estas clases de conjuntos como vemos estn definidas por su nombre y

expresin lingstica. Como la denominacin y diversidad de clases de elementos que pueden constituir un conjunto es casi ilimitado y muy diverso, y las exigencias y requerimientos para formar conjunto tambin, pues resulta que solo atenindonos a su clase puede resultar poco adecuado el estudio de los conjuntos de una forma estructurada y organizada. Por ejemplo, si observamos una manzana, a esta podemos incluirla en muchos conjuntos diferentes como pueden ser: Un conjunto de manzanas, un conjunto de frutas, un conjunto de vegetales, un conjunto de cosas, etc. Un conjunto de manzanas verdes, maduras, grandes, medianas, chicas, etc. Todos ellos pueden contener a nuestra manzana, pero son conjuntos muy diferentes unos de otros. As que habra que buscar otros parmetros para estudiar los tipos de elementos de un conjunto, aparte de su clase definido por su nombre. Para ello buscamos otras caractersticas como las expuestas anteriormente. ANALOGIA: Clase de los elementos componentes En lo referente a la ANALOGIA o semejanza de los elementos o componentes de un conjunto, estos pueden ser: IGUALES, HOMOGENEOS O HETEROGENEOS.

Son IGUALES, como su nombre indica cuando todos ellos tienen la misma forma, estructura, clase, etc. es decir, son iguales todos sus elementos.

Son conjunto HOMOGENEOS, cuando sin ser iguales sus elementos, pertenecen a un mismo tipo o gneros.

Son HETEROGENEOS, cuando sus elementos son totalmente diferentes.

TIPO: Tipo de inter-relacin entre los elementos componentes

Como vemos ms adelante, la consideracin de los tipos de conjuntos puede ser muy adecuada para una comprensin general de los mismos, mientras que las caractersticas analgicas o de semejanza de los conjuntos sern ms utilizadas para un estudio profundo, matemtico y operativo de los conjuntos. En cuanto al TIPO de conjuntos lo dividiremos en: ---- DIFUSOS, ---- Conjuntos EN RELACION y ---- Conjuntos DE FUSION.

Sern CONJUNTOS DIFUSOS cuando sus elementos a pesar de estar unidos formando conjunto, no tienen ningn tipo de relacin o compenetracin entre ellos. Sern CONJUNTOS DE RELACION cuando los elementos o sub-conjuntos que los forman estn unidos entre ellos bajo cualquier tipo de relacin o coordinacin. Sern conjuntos DE FUSION, cuando sus elementos se unen entre s formando con esta unin unos elementos nuevos y normalmente con distintas propiedades de la de sus componentes. En los conjuntos de Relacin y/o Fusin es muy interesante saber cul es el tipo de relacin que les une pues esta puede darles las propiedades determinantes de conjunto. As que no basta con decir que es un conjunto de relacin o fusin sino que lo importante en definir en todo momento la clase de relacin que los une, de tal modo que pierde en general su propia definicin de conjunto para adquirir el nombre de la relacin y sobre todo el de cuerpo resultante de este conjunto. Ejemplos: Con nombre de cuerpos: Cerebro, y no conjunto de neuronas en relacin. Mente, y no conjuntos de elementos senso-inteligentes Automvil, y no conjunto de piezas mecnicas.

Con tipos de relacin: Sucesin matemtica, y no conjuntos de nmeros relacionados etc.

Pero como hemos dicho en los conjuntos podemos observar la cualidad o caracterstica de la resultante, la cual ser el carcter y propiedades que el conjunto toma por la razn de la conjuncin de sus elementos. En el caso del automvil la resultante del ensamblaje coordinado de todas las piezas del mismo es un compuesto con unas propiedades que todos conocemos. Al igual un animal es un conjunto de fusin formando por elementos de tipo bioqumico con unas caractersticas resultantes bastante creativas y espectaculares. Conjuntos DIFUSOS

La cohesin y relacin de los elementos de un conjunto puede indicarnos las distintas categoras en que podemos dividirlos o nombrarlos para su estudio. En este sentido, sern conjuntos DIFUSOS aquellos cuya cohesin o relacin entre los elementos sea mnima y no pueda ser considerara como una propiedad adquirida del conjunto. Como ejemplos de conjuntos Difusos tendramos a una acumulacin o montn de piedras, ladrillos, tornillos, golas, etc.; a una cesta de manzanas, peras, etc.; a Cualquier conjunto de nmero, letras, etc. que no guarden ninguna relacin operativa ni lingstica entre ellos. Etc. Conjuntos EN RELACION

En el caso de estos conjuntos, la relacin y cohesin entre ellos es mucho mayor que en la de los conjuntos Difusos. Los elementos de un conjunto en RELACION siguen ciertas normas de cohesin e interrelacin entre ellos con lo cual el grupo o conjunto adquiere

ciertas caractersticas resultantes que dan consistencia y definicin al conjunto. Con objeto de distinguir entre conjuntos de fusin y conjuntos en relacin (que tiene cierta dificultad) nosotros podran considerar que: "En los conjuntos de relacin los elementos pueden ser distinguidos claramente, mientras que en los conjuntos de fusin sus elementos no pueden ser distinguidos normalmente y solo de aprecia el conjunto o cuerpo resultante de dicha unin". Ejemplos de conjuntos en relacin pueden ser: Una sucesin matemtica (1,2,3,4,5....) cuyos elementos o nmeros estn interrelacionados entre ellos por medio de una lgica composicin o leyes y ordenamientos matemticos. En definitiva por medio de una estructuracin inteligente y operativa. Otros ejemplo son: Cualquier operacin matemtica 12 x 12 = 144; un botellero con sus botellas ordenadas; un armario con sus trajes bien puestos; una desfile militar; etc. Pero adems podemos considerar como conjuntos en Relacin a muchos conjuntos de Fusin en los cuales solo deseamos observarlos de una forma particular y subjetiva sin atenernos a su completa consideracin. Por ejemplo, si observamos un rbol del que solo deseamos estudiar sus componentes visibles tales como tronco, ramas y hojas. ---- Conjuntos DE FUSION.

En los conjuntos de FUSION sus elementos no pueden ser observados normalmente. En este tipo de conjuntos, su bien estructurado, cohesionados y refundidos elementos estn tan bien organizados que sus caractersticas y propiedades particulares quedan ocultas o difuminadas, adquiriendo en cambio nuevas propiedades y caractersticas como conjunto.

Por tanto en este tipo de conjuntos de Fusin, sus particularidades hacen que estos conjuntos adquieren su propio nombre segn las caractersticas adquiridas. Por ello, estas particularidades como conjunto hacen que podamos denominarlos como Cuerpo fsicos, o matemticos segn el caso. Como ejemplos de conjuntos de Fusin podramos poner a la mayora de los cuerpos fsicos de la naturaleza, en los cuales no se ven claramente reflejados sus elementos constituyentes sino sus cuerpos fsicos resultantes. As tendramos como ejemplos a un rbol, un animal, un huevo, un automvil, el mar, el sol, etc. etc. As pues, y resumiendo, de la observacin y estudio de los conjuntos de elementos nosotros podemos agruparlos y definirlos segn el siguiente cuadro general

CONJUNTO UNIVERSO, VACIO

Vacio En matemticas, especficamente en teora de conjuntos, el conjunto vaco es el nico conjunto que no contiene elementos. En la axiomtica de Teora de conjuntos se postula el axioma del conjunto vaco. Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco. | ------------------------------------------------Notacin El conjunto vaco es denotado por cualquiera de estos smbolos:

Derivada de la letra (introducida especialmente por Andr Weil) en 1939. Otra notacin comn para el conjunto vaco es:

------------------------------------------------Propiedades (Aqu usaremos smbolos usados en matemticas.) * Para todo conjunto A, el conjunto vaco es subconjunto de A:

* Para todo conjunto A, la unin de A con el conjunto vaco es A:

* Para todo conjunto A, la interseccin de A con el conjunto vaco resulta el conjunto vaco:

* Para todo conjunto A, el producto cartesiano de A y el conjunto vaco es vaco:

* El nico subconjunto del conjunto vaco es l mismo, el conjunto vaco:

* El nmero de elementos del conjunto vaco (es decir, su nmero cardinal) es

cero; en particular, el conjunto vaco es un conjunto finito:

Que se puede expresar:

* Para cualquier propiedad se tiene: * para todo elemento del la propiedad es cierta (por vacuidad) * no hay elementos en l para los cuales la propiedad sea cierta

* Entonces: si, para alguna propiedad, las dos proposiciones siguientes son ciertas: * para todo elemento de V la propiedad es cierta * y no hay elementos en V que cumplan la propiedad Por lo tanto Los matemticos generalmente hablan de 'el conjunto vaco' y no de 'un' conjunto vaco, pues en Teora de conjuntos, dos conjuntos son iguales si y slo si uno es subconjunto del otro y viceversa, i.e. tienen los mismos elementos. En conclusin, slo hay un conjunto vaco. ------------------------------------------------Problemas comunes El conjunto vaco, a pesar de contener nada, sigue siendo algo en s mismo: un conjunto. Esta distincin es importante si situamos a los conjuntos en un contexto. Por ejemplo, si imaginamos a los conjuntos como bolsas, capaces de contener distintos elementos, el conjunto vaco sera aquella bolsa sin elementos

UNIVERSO -------------------------------------------------

Conjunto universal

El universo de discurso, conjunto universal o referencial, que normalmente se denota por las letras, es un conjunto cuyo objeto de estudio son los subconjuntos del mismo. Anteriormente al conjunto universal como el conjunto de todas las cosas, sin embargo est demostrado que este conjunto no existe. Particularmente porque suponer la existencia de dicho conjunto conduce a la paradoja de Russell. Actualmente se debe dejar en claro sobre cul conjunto se est tratando. Por ejemplo, si estamos tratando conjuntos cuyos elementos son letras, el conjunto referencial sera el conjunto formado por todas las letras del alfabeto. El complemento del conjunto universo es el conjunto vaco, es decir, aquel que est desprovisto de elementos.

------------------------------------------------Propiedades * Todo conjunto A es subconjunto de U:

* Para todo conjunto A, la unin de A con el conjunto universal da U:

* Para todo conjunto A, la interseccin de A con el conjunto universal resulta el mismo conjunto:

* El complemento del conjunto universal es el conjunto vaco:

* El conjunto universal es el complemento del conjunto vaco:

NMEROS NATURALES; ENTEROS, RACIONALES, REALES, E

IMAGINARIOS. Los nmeros naturales pueden usarse para contar (una manzana, dos manzanas, tres manzanas, ). Un nmero natural es cualquiera de los nmeros que se usan para contar los elementos de un conjunto. Reciben ese nombre porque fueron los primeros que utiliz el ser humano para contar objetos. *| Definiciones * La Real Academia Espaola los define como "Cada uno de los elementos de la sucesin 0, 1, 2, 3..." [1] * Es el conjunto de los nmeros enteros no negativos. * Un nmero es un smbolo que indica una cantidad . El conjunto de los nmeros naturales se representa por y corresponde al siguiente conjunto numrico:[2]

Los nmeros naturales son un conjunto cerrado para las operaciones de la adicin y la multiplicacin, ya que al operar con cualquiera de sus elementos, resulta siempre un nmero perteneciente a. El cero y la definicin de los nmeros naturales Existe una controversia acerca de la inclusin del cero dentro del conjunto de los nmeros naturales. De ah que no exista acuerdo en la literatura y coexistan definiciones contradictorias de los nmeros naturales. De hecho, algunos matemticos (especialmente los de la Teora de Nmeros) prefieren no reconocer el cero como un nmero natural; otros, especialmente los de Teora de conjuntos, Lgica e Informtica, sostienen la postura opuesta. Histricamente, el cero no se consideraba nmero natural. Entre otros motivos porque no tena una representacin natural: cero dedos, cero vacas, etc. podran considerarse puros constructos mentales. Ms recientemente, desde el punto de vista de los fundamentos lgicos de las

matemticas y de algunas aplicaciones, la situacin adquiri una perspectiva nueva que hizo ms natural la inclusin del cero dentro del conjunto de los nmeros naturales. Por ejemplo, desde el punto de vista de la teora de conjuntos, el cero se relaciona con el nmero de elementos del conjunto vaco. Y en informtica, con un estado de la memoria en que todos los bits se encuentran en estado off. De ah que la inclusin del cero dentro del conjunto de los nmeros naturales sea cuestin de contexto y de convenio, observndose una tendencia creciente a considerarlo parte de l. [Cita requerida] Historia Antes de que surgieran los nmeros para la representacin de cantidades, el ser humano us otros mtodos para contar, utilizando para ello objetos como piedras, palitos de madera, nudos de cuerdas, o simplemente los dedos. Ms adelante comenzaron a aparecer los smbolos grficos como seales para contar, por ejemplo marcas en una vara o simplemente trazos especficos sobre la arena. Pero fue en Mesopotamia alrededor del ao 4.000 a. C. donde aparecen los primeros vestigios de los nmeros que consistieron en grabados de seales en formas de cuas sobre pequeos tableros de arcilla empleando para ello un palito aguzado. De aqu el nombre de escritura cuneiforme. Este sistema de numeracin fue adoptado ms tarde, aunque con smbolos grficos diferentes, en la Grecia Antigua y en la Antigua Roma. En la Grecia antigua se empleaban simplemente las letras de su alfabeto, mientras que en la antigua Roma adems de las letras, se utilizaron algunos smbolos. Quien coloc al conjunto de los nmeros naturales sobre lo que comenzaba a ser una base slida, fue Richard Dedekind en el siglo XIX. Este los deriv de una serie de postulados (lo que implicaba que la existencia del conjunto de nmeros naturales se daba por cierta), que despus precis Peano dentro de una lgica de segundo orden, resultando as los famosos cinco postulados que llevan su nombre. Frege fue superior a ambos, demostrando la existencia del

sistema de nmeros naturales partiendo de principios ms fuertes. Lamentablemente la teora de Frege perdi, por as decirlo, su credibilidad y hubo que buscar un nuevo mtodo. Fue Zermelo quien demostr la existencia del conjunto de nmeros naturales, dentro de su teora de conjuntos y principalmente mediante el uso del axioma de infinitud que, con una modificacin de este hecha por Adolf Fraenkel, permite construir el conjunto de nmeros naturales como ordinales segn von Neumann. Construcciones axiomticas Histricamente, se han realizado propuestas para axiomatizar la nocin habitual de nmeros naturales, de entre las que destacan las de Peano y la construccin a partir de la teora de conjuntos. Axiomas de Peano Los axiomas de Peano rigen la estructura nmeros naturales sin necesidad de otra teora (por ejemplo, la de conjuntos) ni de las nociones aritmticas de suma o equivalencia. Requiere, eso s, de la nocin previa de sucesor. Los cinco axiomas de Peano son: 1. El 1 es un nmero natural. 2. Si n es un nmero natural, entonces el sucesor de n tambin es un nmero natural. 3. El 1 no es el sucesor de ningn nmero natural. 4. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el mismo nmero natural. 5. Si el 1 pertenece a un conjunto, y dado un nmero natural cualquiera, el sucesor de ese nmero tambin pertenece a ese conjunto, entonces todos los nmeros naturales pertenecen a ese conjunto. ste es el axioma de induccin, que captura la idea de induccin matemtica. Definicin en teora de conjuntos En teora de conjuntos se define al conjunto de los nmeros naturales como el mnimo conjunto que es inductivo. La idea es que se pueda contar haciendo

una biyeccin desde un nmero natural hasta el conjunto de objetos que se quiere contar. Es decir, para dar la definicin de nmero 2, se requiere dar un ejemplo de un conjunto que contenga precisamente dos elementos. Esta definicin fue proporcionada por Bertrand Russell, y ms tarde simplificada por Von Neumann quien propuso que el candidato para 2 fuera el conjunto que contiene solo a 1 y a 0. Formalmente, un conjunto x se dice que es un nmero natural si cumple 1. Para cada , 2. La relacin es un orden total estricto en x 3. Todo subconjunto no vaco de x tiene elementos mnimo y mximo en el orden Se intenta pues, definir un conjunto de nmeros naturales donde cada elemento respete las convenciones anteriores. Primero se busca un conjunto que sea el representante del 0, lo cual es fcil ya que sabemos que no contiene elementos. Luego se definen los siguientes elementos de una manera ingeniosa con el uso del concepto de sucesor. Se define entonces que el conjunto vaco es un nmero natural que se denota por 0 y que cada nmero natural n tiene un sucesor denotado como n + . Estas ideas quedan formalizadas mediante las siguientes expresiones:

De esta manera, cada elemento de algn nmero natural es un nmero natural; a saber, un antecesor de l. Por ejemplo: * Por definicin 0 = {} (lo cual refuerza el hecho de que 0 no tiene antecesores) * 1 es el sucesor de 0, entonces * 2 es el sucesor de 1, pero 1 es {0}, entonces * y en general

Esto permite establecer una relacin de orden entre los elementos del conjunto a pesar de que un conjunto es por naturaleza un agregado de elementos

desordenados. Se define esta relacin mediante la expresin

es decir que un nmero a es menor o igual que b si y slo si b contiene a todos los elementos de a. Tambin se puede usar otra definicin ms inmediata a partir del hecho de que cada nmero natural consta de sus antecesores. As si y slo si. sa es la construccin formal de los naturales que garantiza su existencia como conjunto a la luz del desarrollo axiomtico Zermelo-Fraenkel. El postulado de los conjuntos infinitos asegura la validez de la tcnica de demostracin conocida como induccin matemtica. Un teorema demuestra que cualquier conjunto que sea inductivo contiene a todos los nmeros naturales, es decir que si A es un conjunto inductivo, entonces. Esto significa que, en efecto, es el mnimo conjunto inductivo. Se define la suma por induccin mediante:

Lo que convierte a los nmeros naturales en un monoide conmutativo con elemento neutro 0, el llamado Monoide Libre con un generador. Este monoide satisface la propiedad cancelativa y por lo tanto puede incluirse en un grupo matemtico. El menor grupo que contiene a los naturales es el de los nmeros enteros. De manera anloga, la multiplicacin se define mediante las expresiones

Esto convierte (esto es, con esta nueva operacin), en un monoide conmutativo. Otra forma de construccin de es la siguiente: Sea la clase de todos los conjuntos y definiremos una relacin binaria R "ser equipotente" de la siguiente manera Dados A y B se dice que A R B Existe una aplicacin biyectiva de A sobre B, es decir, existe biyectiva. Claramente se puede demostrar que esta

relacin verifica las propiedades reflexiva, simtrica y transitiva luego es una relacin de equivalencia al conjunto cociente los llamaremos cardinales y a los cardinales finitos se les llamar nmeros naturales.Las operaciones de suma y producto de cardinales se definen como el cardinal de la unin y el producto cartesiano de los conjuntos representantes y verifica todas las propiedades para que sea un semianillo conmutativo y unitario. Operaciones con los nmeros naturales Las operaciones matemticas son acciones de relacin que permiten a los seres humanos acordar procesos culturales de lectura simblica de agrupacin o construccin, de disgregacin o deconstruccin, as como de los nmeros de races u origen de un determinado objeto geomtrico o de propiedades dimensionales, que se pueden realizar con un determinado conjunto numrico. Los conjuntos numricos son espacios en los cuales las operaciones pueden hacerse con elementos de dichos conjuntos y dar como resultado de la accin elementos que pueden estar dentro o fuera de ellos, Si la operacin su resultado siempre da elementos del conjunto numrico se dice que el espacio es cerrado para dicha operacin (cumple con la propiedad clausurara), si el resultado algunas veces da elementos del conjunto y otras veces no, se dice que el espacio es abierto para dicha operacin. (No cumple con la propiedad clausurara) De all que se puede decir que las operaciones en los nmeros naturales son: la adicin cuyo resultado es la suma (operacin cerrada, constructora de linealidad), la sustraccin cuyo resultado es diferencia o resta (operacin abierta reconstructora de la linealidad), la multiplicacin cuyo resultado recibe el nombre de producto (operacin cerrada, constructora de ortogonal dad (ngulo recto)), la divisin cuyo resultado es el cociente (operacin abierta de doble naturaleza reconstructora de la ortogonal dad (desarma al ngulo recto), o como razn de cambio), la potenciacin cuyo resultado es potencia (operacin cerrada en los naturales, constructora de

objetos geomtricos "perfectos"), radicacin cuyo resultado es raz (operacin abierta, reconstructora de objetos geomtricamente perfectos) y la logaritmacin (operacin abierta, que establece el posible nmero de races de un objeto potencialmente perfecto, o de posibles propiedades dimensionales de los objetos geomtricos). Es as como las operaciones quedan establecidas para su reconocimiento geomtrico como constructoras, reconstructoras y de propiedades dimensionales de los objetos geomtricos. A partir de esta concepcin se puede decir que: La sustraccin es la operacin inversa a la adicin de la misma manera que la divisin es la inversa de la multiplicaciones, es decir, si a+b = c, entonces b = c - a; se observa como la adicin o suma construye segmentos de rectas y la sustraccin o resta deconstruye el segmento de recta. No siempre se puede realizar una resta entre nmeros naturales, debido a que no siempre se cumple que el nmero al que se le resta el otro, es mayor. Se puede realizar, 20 - 5 = 15; siendo 20 el minuendo y 5 el sustraendo; pero no 5-20; la razn es que el resultado, -15, no est dentro del conjunto de los nmeros naturales. La suma y la multiplicacin de nmeros naturales son operaciones conmutativas y asociativas. Es decir: * El orden de los nmeros no altera el resultado, a+b = b+a, pues la construccin de dicho segmento conserva su longitud sin importar que cantidad coloque primero, y ab = ba siempre construira la misma rea rectangular, sin importar el orden en el cual se coloquen los factores(propiedad conmutativa). * Para sumar (o multiplicar) tres o ms nmeros naturales, no hace falta agrupar los nmeros de una manera especfica ya que (a+b)+c=a+(b+c) (propiedad asociativa). Esto es lo que da sentido a expresiones como a+b+c. Al construir la multiplicacin de nmeros naturales reas rectangulares, se puede observar claramente que la adicin o suma y la multiplicacin son

operaciones compatibles, pues la multiplicacin sera una adicin de cantidades iguales y gracias esta compatibilidad se puede desarrollar la propiedad distributiva, ya que: Propiedades de los nmeros naturales Los nmeros naturales estn totalmente ordenados. La relacin de orden se puede redefinir as: si y slo si existe otro nmero natural c que cumple a + c = b. Este orden es compatible con todas las operaciones aritmticas puesto que si a, b y c son nmeros naturales y , entonces se cumple:

Otra forma de definir dicha relacin es utilizando la construccin de por cardinales se tiene que si dados dos representantes A y B de a y b respectivamente existe una aplicacin inyectiva.Se demuestra fcilmente que esta relacin es de orden y no depende de los representantes A y B elegidos. Una propiedad importante del conjunto de los nmeros naturales es que es un conjunto bien ordenado: cualquier subconjunto de los nmeros naturales tiene un elemento mnimo. De hecho, cualquier conjunto A es isomorfo al de los nmeros naturales si no est vaco, est totalmente ordenado por y cumple: 1. Para cualquier elemento a de A existe b en A tal que a < b 2. Cualquier subconjunto no vaco de A tiene un elemento mnimo En los nmeros naturales existe el algoritmo de la divisin. Dados dos nmeros naturales a y b, si b 0 , podemos encontrar otros dos nmeros naturales q y r, denominados cociente y resto respectivamente, tales que y r < b.

Los nmeros q y r estn unvocamente determinados por a y b. Otras propiedades ms complejas de los nmeros naturales, como la distribucin de los nmeros primos por ejemplo, son estudiadas por la teora de nmeros. Uso de los nmeros naturales Los nmeros naturales, son usados para dos propsitos fundamentalmente:

para describir la posicin de un elemento en una secuencia ordenada, como se generaliza con el concepto de nmero ordinal, y para especificar el tamao de un conjunto finito, que a su vez se generaliza en el concepto de nmero cardinal. En el mundo de lo finito, ambos conceptos son coincidentes: los ordinales finitos son iguales a N as como los cardinales finitos. Cuando nos movemos ms all de lo finito, ambos conceptos son diferentes. Nmeros | Complejos | Reales | Racionales | Enteros | Naturales | Primos | Compuestos | | | Cero | Negativos | | | Fraccionarios | Fraccin propia | Fraccin impropia | | | | | Irracionales | Algebraicos | Trascendentes | | | | | Imaginarios | | |

ENTEROS Los nmeros enteros son una generalizacin del conjunto de nmeros naturales que incluye nmeros enteros negativos (resultados de restar a un nmero natural otro mayor), adems del cero. El hecho de que un nmero sea entero, significa que no tiene parte decimal. Los nmeros enteros negativos pueden aplicarse en diversos contextos, como la representacin de profundidades bajo el nivel del mar, temperaturas bajo cero, o deudas, entre otros.

| Historia Los nmeros enteros positivos y negativos, son el resultado natural de las operaciones suma y resta. Su empleo, aunque con diversas notaciones, se remonta a la antigedad. El nombre de enteros se justifica porque estos nmeros ya positivos o negativos, siempre representaban una cantidad de unidades no divisibles (por ejemplo, personas). No fue sino hasta el siglo XVII que tuvieron aceptacin en trabajos cientficos europeos, aunque matemticos italianos del renacimiento como Tartaglia y Cardano los hubiesen ya advertido en sus trabajos acerca de solucin de ecuaciones de tercer grado. Sin embargo, la regla de los signos ya era conocida previamente por los matemticos de la India. [cita requerida] Aplicacin en contabilidad Encuentran aplicacin en los balances contables. A veces, cuando la cantidad adeudada o pasivo, superaba a la cantidad poseda o activo, se deca que el banquero estaba en "nmeros rojos". Esta expresin vena del hecho que lo que hoy llamamos nmeros negativos se representaban escritos en tinta roja as: 30

poda representar un balance positivo de 30 sueldos, mientras que 3 escrito con tinta roja poda representar, 3 sueldos, es decir, una deuda neta de 3 sueldos. Estructura de los nmeros enteros Los enteros con la adicin y la multiplicacin forman una estructura algebraica llamada anillo. Pueden ser considerados una extensin de los nmeros naturales y un subconjunto de los nmeros racionales (fracciones). Los nmeros enteros son subconjunto de los nmeros racionales o fracciones, puesto que cada nmero entero puede ser considerado como una fraccin cuyo denominador es el nmero uno. Los nmeros enteros pueden ser sumados y/o restados, multiplicados y comparados. Si la divisin es exacta, tambin pueden dividirse dentro del mismo conjunto de los enteros. La razn principal para introducir los nmeros negativos sobre los nmeros naturales es la posibilidad de resolver ecuaciones del tipo: a+x=b para la incgnita x. Matemticamente, el conjunto de los nmeros enteros con las operaciones de suma y multiplicacin, constituye un anillo conmutativo y unitario. Por otro lado, , donde es el orden usual sobre , es un conjunto completamente ordenado sin cota superior o inferior: los enteros no tienen principio ni fin. El conjunto de los nmeros enteros se representa mediante (el origen del uso de Z es el alemn Zahl, nmero o cantidad). Construccin formal de los enteros a partir de los naturales Un nmero entero negativo puede ser definido mediante la diferencia de dos nmeros naturales. Por ejemplo 3 = 5 8, de donde puede asociarse el nmero 3 con el par ordenado (5,8) de nmeros naturales. Sin embargo, debido a que (4,7) y una infinidad ms de pares ordenados dan como resultado 3 al restar sus componentes, no puede decirse simplemente que 3 = (5,8).

Lo que puede hacerse, es incluir todos los pares ordenados de nmeros naturales, que dan como resultado 3 al restar sus componentes, dentro de un solo conjunto, o, ms exactamente, dentro de una clase de equivalencia. Para ello, aprovechamos el que dos pares ordenados (a,b) y (c,d) puedan ser asociados al mismo nmero entero si: (1) . El nico problema es que la ecuacin (1) no est definida en cuando a < b. Pero esto se remedia fcilmente, al notar que | equivale a | | Ciertamente para cualesquiera , de tal manera que puede definirse una relacin sobre mediante: | si y solo si | | La relacin es una relacin de equivalencia que produce en una particin en clases de equivalencia, cada una de las cuales puede ser asociada a un nico nmero entero y viceversa. Por ejemplo:

Si admitimos el cero como nmero natural, podemos definir: | info=para todo Si no se acepta el cero como nmero natural, y se parte, en cambio, del 1, se define entonces | info=para todo Luego el cero puede definirse como: | info=para todo El escoger (n,0) y (0,n) (o (n + 1,1) y (1,n + 1) para cuando no se acepta ), para las definiciones anteriores es una decisin completamente arbitraria que toma en cuenta la sencillez de estos pares ordenados. Ntese que, de cualquier forma, | info=para todo Se define pues el conjunto de los nmeros enteros como el conjunto: (2)

de todas las clases de equivalencia producidas por la relacin sobre el producto cartesiano . Esto es, es el conjunto cociente: (3) . RACIONALES En sentido amplio, se llaman nmeros racionales a todo nmero que puede representarse como el cociente, de dos enteros con denominador distinto de cero (una fraccin comn). El trmino racional alude a racin o parte de un todo, y no al pensamiento o actitud racional.

Representacin grfica de las fracciones cuyo divisor es 4. En sentido estricto, nmero racional es el conjunto de todas las fracciones equivalentes a una dada; de todas ellas, se toma como representante cannico del dicho nmero racional a la fraccin irreducible, la de trminos ms sencillos. Definimos un nmero racional como un decimal finito o infinito peridico (por ejemplo, el nmero decimal finito 0,75 es la representacin decimal del nmero racional 3/4. El nmero decimal infinito peridico 0,333... es la representacin decimal del nmero racional 1/3). El nmero racional permite resolver ecuaciones del tipo ax = b, cuando a y b son nmeros enteros (con a distinto de cero). El conjunto de los nmeros racionales se denota por , que significa cociente (Quotient en varios idiomas europeos). Este conjunto de nmeros incluye a los nmeros enteros y es un subconjunto de los nmeros reales. Las fracciones equivalentes entre s nmero racional son una clase de equivalencia, resultado de la aplicacin de una relacin de equivalencia al conjunto de nmeros fraccionarios. Los nmeros racionales cumplen la propiedad arquimediana o de densidad, esto es, para cualquier pareja de nmeros racionales existe otro nmero racional situado entre ellos, propiedad que no estaba presente en los nmeros enteros, por lo que los nmeros racionales son densos en la recta de los

nmeros reales. *| Historia En el Antiguo Egipto ya se calculaba utilizando aqullas cuyos denominadores son enteros positivos, como: Cualquier fraccin que escribimos con un numerador no unitario, los egipcios la escriban como suma de fracciones unitarias distintas, de ah que las sumas de fracciones unitarias se conozcan como fraccin egipcia. Adems, se puede demostrar que cualquier nmero racional positivo se puede escribir como fraccin egipcia. El jeroglfico de una boca abierta ( | | ) denotaba la barra de fraccin (/), y un jeroglfico numrico escrito debajo de la "boca abierta", denotaba el denominador de la fraccin. | Los babilnicos utilizaban fracciones cuyo denominador era una potencia de 60, mientras que los egipcios usaron, sobre todo, las fracciones con numerador igual a 1. En la escritura, la fraccin la expresaban con un valo, que significaba parte o partido, y debajo, o al lado, ponan el denominador; el numerador no se pona por ser siempre 1. Los griegos y romanos usaron tambin las fracciones unitarias, cuya utilizacin persisti hasta la poca medieval. En el siglo XIII Leonardo de Pisa, mejor conocido como Fibonacci, introdujo en Europa la barra horizontal para separar numerador y denominador en las fracciones. Construccin de los nmeros racionales * Consideremos las parejas de nmeros enteros donde . * denota a . A se le llama numerador y a se le llama denominador * Al conjunto de estos nmeros se le denota por . Es decir En sentido amplio, se llaman nmeros racionales a todo nmero que puede representarse como el cociente de dos enteros con denominador distinto de

cero (una fraccin comn). El trmino racional alude a racin o parte de un todo, y no al pensamiento o actitud racional. Definicin de suma y multiplicacin en Q * Se define la suma * Se define la multiplicacin REALES En matemticas, los nmeros reales son aquellos que poseen una expresin decimal e incluyen tanto a los nmeros racionales (como: 31, 37/22, 25,4) como a los nmeros irracionales, que no se pueden expresar de manera fraccionaria y tienen infinitas cifras decimales no peridicas, tales como: . Pueden ser descritos de varias formas, algunas simples aunque carentes del rigor necesario para los propsitos formales de matemticas y otras ms complejas pero con el rigor necesario para el trabajo matemtico formal. Durante los siglos XVI y XVII el clculo avanz mucho aunque careca de una base rigurosa, puesto que en el momento no se consideraba necesario el formalismo de la actualidad, y se usaban expresiones como pequeo, lmite, se acerca sin una definicin precisa. Esto llev a una serie de paradojas y problemas lgicos que hicieron evidente la necesidad de crear una base rigurosa para la matemtica, la cual consisti de definiciones formales y rigurosas (aunque ciertamente tcnicas) del concepto de nmero real.[1] En una seccin posterior se describirn dos de las definiciones precisas ms usuales actualmente: clases de equivalencia de sucesiones de Cauchy de nmeros racionales y cortaduras de Dedekind.

*| Historia Los egipcios utilizaron por primera vez las fracciones comunes alrededor del ao 1000 a. C.; alrededor del 500 a. C. el grupo de matemticos griegos liderados por Pitgoras se dio cuenta de la necesidad de los nmeros irracionales. Los nmeros negativos fueron ideados por matemticos indios

cerca del 600, posiblemente reinventados en China poco despus, pero no se utilizaron en Europa hasta el siglo XVII, si bien a finales del XVIII Leonhard Euler descart las soluciones negativas de las ecuaciones porque las consideraba irreales. En ese siglo, en el clculo se utilizaba un conjunto de nmeros reales sin una definicin concisa, cosa que finalmente sucedi con la definicin rigurosa hecha por Georg Cantor en 1871. En realidad, el estudio riguroso de la construccin total de los nmeros reales exige tener amplios antecedentes de teora de conjuntos y lgica matemtica. Fue lograda la construccin y sistematizacin de los nmeros reales en el siglo XIX por dos grandes matemticos europeos utilizando vas distintas: la teora de conjuntos de Georg Cantor (encajamientos sucesivos, cardinales finitos e infinitos), por un lado, y el anlisis matemtico de Richard Dedekind (vecindades, entornos y cortaduras de Dedekind). Ambos matemticos lograron la sistematizacin de los nmeros reales en la historia, no de manera espontnea, sino utilizando todos los avances previos en la materia: desde la antigua Grecia y pasando por matemticos como Descartes, Newton, Leibniz, Euler, Lagrange, Gauss, Riemann, Cauchy y Weierstrass. Evolucin del concepto de nmero Se sabe que los egipcios y babilnicos hacan uso de fracciones (nmeros racionales) en la resolucin de problemas prcticos. Sin embargo, fue con el desarrollo de la matemtica griega cuando se consider el aspecto filosfico de nmero. Los pitagricos descubrieron que las relaciones armnicas entre las notas musicales correspondan a cocientes de nmeros enteros, lo que les inspir a buscar proporciones numricas en todas las dems cosas, y lo expresaron con la mxima todo es nmero. En la matemtica griega, dos magnitudes son conmensurables si es posible encontrar una tercera tal que las primeras dos sean mltiplos de la ltima, es decir, es posible encontrar una unidad comn para la que las dos magnitudes tengan una medida entera. El principio pitagrico de que todo nmero es un cociente de enteros, expresaba en esta forma que cualesquiera dos

magnitudes deben ser conmensurables. Sin embargo, el ambicioso proyecto pitagrico se tambale ante el problema de medir la diagonal de un cuadrado, o la hipotenusa de un tringulo rectngulo, pues no es conmensurable respecto de los catetos. En notacin moderna, un tringulo rectngulo cuyos catetos miden 1, tiene una hipotenusa que mide : Si es un nmero racional donde p/q est reducido a sus trminos mnimos (sin factor comn) entonces 2q=p. La expresin anterior indica que p es un nmero par y por tanto p tambin, es decir, p=2m. Sustituyendo obtenemos 2q=(2m)=4m, y por tanto q=2p. Pero el mismo argumento usado nos dice ahora que q debe ser un nmero par, esto es, q=2n. Mas esto es imposible, puesto que p y q no tienen factores comunes (y hemos encontrado que 2 es un factor de ambos). Por tanto, la suposicin misma de que es un nmero racional debe ser falsa. Surgi entonces un dilema, ya que de acuerdo al principio pitagrico: todo nmero era racional, mas la hipotenusa de un tringulo rectngulo issceles no era conmensurable con los catetos, lo cual implic que en adelante las magnitudes geomtricas y las cantidades numricas tendran que tratarse por separado, hecho que tuvo consecuencias en el desarrollo de la matemtica durante los dos milenios siguientes.[2] Los griegos desarrollaron una geometra basada en comparaciones (proporciones) de segmentos sin hacer referencia a valores numricos, usando diversas teoras para manejar el caso de medidas inconmesurables, como la teora de proporciones de Eudoxo. As, los nmeros irracionales permanecieron a partir de entonces excluidos de la aritmtica puesto que slo podan ser tratados mediante el mtodo de infinitas aproximaciones. Por ejemplo, los pitagricos encontraron (en notacin moderna) que si a/b es una aproximacin a entonces p=a+2b y q=a+b son tales que p/q es una aproximacin ms precisa. Repitiendo el proceso nuevamente se obtienen mayores nmeros que dan una mejor aproximacin.[3] Dado que las

longitudes que expresan los nmeros irracionales podan ser obtenidas mediante procesos geomtricos sencillos pero, aritmticamente, slo mediante procesos de infinitas aproximaciones, origin que durante 2000 aos la teora de los nmeros reales fuese esencialmente geomtrica, identificando los nmeros reales con los puntos de una lnea recta. Nuevos avances en el concepto de nmero real esperaron hasta los siglos XVI y XVII, con el desarrollo de la notacin algebraica, lo que permiti la manipulacin y operacin de cantidades sin hacer referencia a segmentos y longitudes. Por ejemplo, se encontraron frmulas para resolver ecuaciones de segundo y tercer grado de forma mecnica mediante algoritmos, los cuales incluan races e incluso, en ocasiones, nmeros no reales (lo que ahora conocemos como nmeros complejos). Sin embargo, no exista an un concepto formal de nmero y se segua dando primaca a la geometra como fundamento de toda la matemtica. Incluso con el desarrollo de la geometra analtica este punto de vista se mantena vigente, pues Descartes rechazaba la idea que la geometra pudiera fundamentarse en nmeros, puesto que para l la nueva rea era simplemente una herramienta para resolver problemas geomtricos. Posteriormente, la invencin del clculo abri un perodo de grande avances matemticos, con nuevos y poderosos mtodos que permitieron por vez primera atacar los problemas relacionados con lo infinito mediante el concepto de lmite. As, un nmero irracional pudo ser entendido como el lmite de una suma infinita de nmeros racionales (por ejemplo, su expansin decimal). Como muestra, el nmero puede estudiarse de forma algebraica (sin apelar a la intuicin geomtrica) mediante la serie:

entre muchas otras expresiones similares. Para entonces, el concepto intuitivo de nmero real era ya el moderno, identificando sin problema un segmento con la medida de su longitud (racional

o no). El clculo abri el paso al anlisis matemtico, que estudia conceptos como continuidad, convergencia, etc. Pero el anlisis no contaba con definiciones rigurosas y muchas de las demostraciones apelaban an a la intuicin geomtrica. Esto conllev a una serie de paradojas e imprecisiones. Tipos de nmeros reales Un nmero real puede ser un nmero racional o un nmero irracional. Los nmeros racionales son aquellos que pueden expresarse como el cociente de dos nmeros enteros, tal como 3/4, -21/3, 5, 0, 1/2, mientras que los irracionales son todos los dema. Los nmeros racionales tambin pueden describirse como aquellos cuya representacin decimal es eventualmente peridica, mientras que los irracionales tienen una expansin decimal aperidica: Ejemplos 1/4 = 0,250000... Es un nmero racional puesto que es peridico a partir del tercer nmero decimal. 5/7 = 0,7142857142857142857.... Es racional y tiene un perodo de longitud 6 (repite 714285). es irracional y su expansin decimal es aperidica.

Otra forma de clasificar los nmeros reales es en algebraicos y trascendentes. Un nmero es algebraico si existe un polinomio que lo tiene por raz y es trascendente en caso contrario. Obviamente, todos los nmeros racionales son algebraicos: si es un nmero racional, con p entero y q natural, entonces es raz del de la ecuacin qx=p. Sin embargo, no todos los nmeros algebraicos son racionales. Ejemplos El nmero es algebraico puesto que es la raz del polinomio 8x3 12x2 + 6x 8 Un ejemplo de nmero trascendente es

Operaciones con nmeros reales Con nmeros reales pueden realizarse todo tipo de operaciones bsicas con dos excepciones importantes: 1. No existen races de orden par (cuadradas, cuartas, sextas, etc.) de nmeros negativos en nmeros reales, (aunque s existen en el conjunto de los nmeros complejos donde dichas operaciones s estn definidas). 2. La divisin entre cero no est definida (pues cero no posee inverso multiplicativo, es decir, no existe nmero x tal que 0x=1. Estas dos restricciones tienen repercusiones otras reas de las matemticas como el clculo: existen asntotas verticales en los lugares donde el denominador de una funcin racional tiende a cero, es decir, en aquellos valores de la variable en los que se presentara una divisin entre cero, o no existe grfica real en aquellos valores de la variable en que resulten nmeros negativos para races de orden par, por mencionar un ejemplo de construccin de grficas en geometra analtica. Notacin Los nmeros reales se expresan con fracciones decimales que tienen una secuencia infinita de dgitos a la derecha de la coma decimal, como por ejemplo 324,8232. Frecuentemente tambin se subrepresentan con tres puntos consecutivos al final (324,823211247), lo que significara que an faltan ms dgitos decimales, pero que se consideran sin importancia. Las medidas en las ciencias fsicas son siempre una aproximacin a un nmero real. No slo es ms conciso escribirlos con forma de fraccin decimal (es decir, nmeros racionales que pueden ser escritos como proporciones, con un denominador exacto) sino que, en cualquier caso, cunde ntegramente el concepto y significado del nmero real. En el anlisis matemtico los nmeros reales son objeto principal de estudio. Puede decirse que los nmeros reales son la herramienta de trabajo de las matemticas de la continuidad, como el clculo y el anlisis matemtico, mientras que los nmeros enteros lo son de

las matemticas discretas, en las que est ausente la continuidad. Se dice que un nmero real es recursivo si sus dgitos se pueden expresar por un algoritmo recursivo. Un nmero no-recursivo es aqul que es imposible de especificar explcitamente. Aun as, la escuela rusa de constructivismo supone que todos los nmeros reales son recursivos. Los ordenadores slo pueden aproximarse a los nmeros reales por nmeros racionales; de todas maneras, algunos programas de ordenador pueden tratar un nmero real de manera exacta usando su definicin algebraica (por ejemplo, "") en vez de su respectiva aproximacin decimal. Los matemticos usan el smbolo (o, de otra forma, , la letra "R" en negrita) para representar el conjunto de todos los nmeros reales. La notacin matemtica se refiere a un espacio de n dimensiones de los nmeros reales; por ejemplo, un valor consiste de tres nmeros reales y determina un lugar en un espacio de tres dimensiones. En matemtica, la palabra "real" se usa como adjetivo, con el significado de que el campo subyacente es el campo de los nmeros reales. Por ejemplo, matriz real, polinomio real, y lgebra de Lie real. IMAGINARIOS Un nmero imaginario es un nmero cuyo cuadrado es negativo. Fue en el ao 1777 cuando Leonhard Euler le dio a el nombre de i (por imaginario) y se propuso para ser despectivo, aunque son un concepto vlido suponiendo un plano con ejes cartesianos en el que los reales se encuentran sobre el eje horizontal y los imaginarios sobre el eje vertical complejo. Cada nmero imaginario puede ser escrito como ib donde b es un nmero real e i es la unidad imaginaria, con la propiedad:

En campos de ingeniera elctrica, electrnica y relacionados, la unidad imaginaria es a menudo escrita como j para evitar la confusin con la intensidad de una corriente elctrica, tradicionalmente denotada por i.

Cada nmero complejo puede ser escrito unvocamente como una suma de un nmero real y un nmero imaginario, de esta forma:

Al nmero imaginario i se le denomina tambin constante imaginaria. Estos nmeros extienden el conjunto de los nmeros reales al conjunto de los nmeros complejos . Gottfried Leibniz, en el siglo XVII, deca que es una especie de anfibio entre el ser y la nada.

Usos * La unidad imaginaria puede ser usada para extender formalmente la raz cuadrada de nmeros negativos. * Igualmente la raz cuadrada de un nmero imaginario es un nmero complejo, y la raz de un nmero complejo en general es otro nmero complejo. * Gracias a la frmula de Pascal los logaritmos de nmeros negativos tambin son expresables (de manera no unvoca) mediante , as ln( 1) = i aunque cualquier nmero imaginario de la forma satisface que . Curisosamente . * En fsica cuntica la unidad imaginaria se usa ampliamente y permite simplificar la descripcin matemtica de los estados cunticos variables en el tiempo. * En teora de circuitos y corriente alterna la unidad imaginaria se usa ampliamente para representar ciertas magnitudes como fasores, lo cual permite un tratamiento algebraico ms gil de dichas magnitudes.

SUBCONJUNTOS Sean A y B dos conjuntos tal que todo elemento de A es tambin elemento de B, entonces decimos que: | |

| | * A es un subconjunto de B;

* B es un superconjunto de A;

Todo conjunto A es un subconjunto de s mismo. Cualquier subconjunto de A que no sea igual a A se denomina propio (cuando puede ser igual a A se denomina impropio). Si A es un subconjunto propio de B, escribimos:

De manera anloga si B es un superconjunto propio de A, escribimos:

El conjunto vaco, denotado como:

Es un subconjunto de cualquier conjunto. Adems el conjunto vaco es siempre un subconjunto propio, excepto de s mismo. *| Diferentes notaciones Se utilizan fundamentalmente dos sistemas de notacin para subconjuntos. El sistema antiguo utiliza el smbolo "" para referirse a cualquier subconjunto y "" para referirse a los subconjuntos propios. El sistema moderno usa el smbolo "" para indicar cualquier subconjunto y "" para los subconjuntos propios. En esta enciclopedia preferiremos el sistema moderno, ya que sus smbolos pueden ser representados por mayor nmero de navegadores. De manera anloga se puede aplicar lo mencionado a los superconjuntos. Ejemplos * El conjunto {1, 2} es un subconjunto propio de {1, 2, 3} * El conjunto de los nmeros naturales es un subconjunto propio del conjunto de los nmeros racionales. * El conjunto {x: x es un nmero primo mayor que 2.000} es un subconjunto

propio de {x: x es un nmero impar mayor que 1.000}. Algunos resultados Proposicin 1: Dados tres conjuntos A, B y C, si A es subconjunto de B y B es subconjunto de C, entonces A es subconjunto de C. Proposicin 2: Dos conjuntos A y B son iguales si y slo si A es subconjunto de B y B es subconjunto de A. Proposicin 3: Para todo conjunto A, el conjunto vaco es un subconjunto de A. Demostracin: Dado cualquier conjunto A, queremos demostrar que {} es un subconjunto de A. Esto supone mostrar que todos los elementos de {} son elementos de A. Sin embargo, por definicin, {} no tiene ningn elemento. Para el matemtico experimentado, la inferencia "{} no tiene elementos, as que todos los elementos de {} son elementos de A" es inmediata, pero puede ser ms problemtica para el principiante. Despus de todo, como {} no tiene elementos, cmo pueden "esos elementos" pertenecer a otro conjunto? Se puede razonar esto por contraposicin. Para probar que {} no es un subconjunto de A, tendramos que encontrar un elemento de {} que no est en A. Como {} no tiene elementos, esto es imposible y por tanto {} es un subconjunto de A.

CONJUNTO POTENCIA En matemticas, dado un conjunto S, el conjunto potencia o conjunto de partes de S, escrito P(S) o 2S, es el conjunto de todos los subconjuntos de S. En la teora de conjuntos basada en los Axiomas de Zermelo-Fraenkel, la existencia del conjunto potencia se establece por el axioma del conjunto potencia. Por ejemplo, si S= {a, b, c} entonces la lista completa de subconjuntos de S es como sigue: 1. { } (conjunto vaco); 2. {a}; 3. {b};

4. {c}; 5. {a, b}; 6. {a, c}; 7. {b, c}; 8. {a, b, c};

Y por lo tanto el conjunto potencia de S es P(S) = {{ }, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. Otro ejemplo ms complejo es el siguiente: Sea A = {2, }, Determinar P (P(A)), es decir, el conjunto potencia del conjunto potencia de A; es el conjunto vaco: Primero hacemos: P(A) = {, {2}, {}, A} Y luego hacemos P (P(A)): P (P(A)) = {, { } , { {2} } , { {} } , { A }, { , {2} } , { , {} } , { , A }, { {2} , {} } , { {2} , A } , { {}, A }, {, {2}, {}}, {, {2}, A}, {, {}, A}, {{2}, {}, A} Y P(A)}

Cuando S es finito, si n = |S| es el nmero de elementos de S, en este caso 3, entonces el respectivo conjunto potencia contiene |P(S)| = 2n elementos, en este caso 23 = 8. En este caso tambin se puede establecer una biseccin entre los elementos del conjunto potencia con nmeros de n-bits: el n-simo bit se refiere a la presencia o ausencia del n-simo elemento de S. Hay 2n tales nmeros. Este argumento prueba la identidad de coeficientes binomiales:

La cardinalidad de un conjunto potencia siempre es mayor que la cardinalidad del conjunto base, el argumento diagonal de Cantor demuestra la afirmacin

para conjuntos infinitos, mientras que el hecho de que n < 2n la prueba para conjuntos finitos. El conjunto potencia de los nmeros naturales, por ejemplo, se puede poner en correspondencia uno a uno con el conjunto de nmeros reales. Usualmente se establece primero una biyeccin entre los nmeros reales y el intervalo cerrado [0,1], para luego, usando la expansin didica de los nmeros reales, identificar cada elemento de [0,1] con la sucesin infinita de ceros y unos dada por los coeficientes. El conjunto potencia de un conjunto S, junto con las operaciones de la unin, de la interseccin y del complemento forman el ejemplo prototpico de lgebra de Boole. De hecho, uno puede demostrar que cualquier lgebra de Boole finita es isomorfa al lgebra booleana del conjunto potencia de un conjunto finito. Para las lgebras booleanas infinitas esto no es verdad, pero cada lgebra booleana infinita es sublgebra de un lgebra booleana de partes. La notacin 2S En teora de conjuntos, XY es el conjunto de todas las funciones de Y a X. Como 2 puede ser definido como {0, 1} (vase nmero natural), 2S es el conjunto de todas las funciones de S a {0, 1}. Cada funcin en 2S est en correspondencia biyectiva con un subconjunto de S (la anti imagen de 1) por lo que se establece una equivalencia de conjuntos entre 2S y P(S) Implementacin en Python Esta implementacin del algoritmo para obtener un conjunto potencia de una coleccin dada: def addTo(e, t): for s in t: s += [e] return t

def powerSet(a_set):

if not a_set: return [[]] e = a_set[0] t = a_set[1:] return powerSet(t) + addTo(e, powerSet(t)) La cual puede ser probada ejecutando luego: a = [1,2,3]

print powerSet(a) Y la respuesta ser: [[], [3], [2], [3, 2], [1], [3, 1], [2, 1], [3, 2, 1]

Demostracin por induccin del cardinal del conjunto potencia de S cuando S es finitob Sea S un conjunto finito con n elementos (|S|=n) entonces |P(S)|=2n Demostracin Caso base n=0 Sea S el conjunto vaco, entonces |S| = 0 y P(S) = {} Supongamos cierto si |S|=m y m es menor o igual que n, entonces |P(S)|=2m Sea |S' |=n+1 S' = {a0,a1,...,an 1,an} Por tanto S' = {a0,a1,...,an 1} U {an} Sea S = {a0,a1,...,an 1} Entonces S' = S U {an} Tenemos que P(S' ) = P(S U {an}) = P(S) U {P' U {an} / P' P(S)} Dado que ambos conjuntos son disjuntos tenemos que: |P(S' )| = |P(S) U {P' U {an} / P' P(S)}| = |P(S)| + |{P' U {an} / P' P(S)}| = 2n + 2n

= 2n + 1

OPERACIONES CON CONJUNTOS En las operaciones de conjuntos, este estudio difiere en varios puntos de lo aceptado actualmente por entender que no se corresponde con la realidad, que existen contradicciones, que no son aceptables desde un punto de vista lgico o que no son operativos en conjuntos reales. Si est de acuerdo y no se revisaran las consideraciones actuales de intercepcin de conjuntos, conjuntos complementarios, etc. Por lo tanto, aqu vemos las operaciones tal cual la entiende esta teora a de conjuntos. SUMA DE CONJUNTOS Dos o ms conjuntos pueden sumarse mediante la reunin de todos sus elementos en un solo conjunto, con las dos condiciones siguientes: 1.- Como hemos visto, la primera condicin de la suma es que en el nuevo supe conjunto formado estarn todos los elementos de los conjuntos constituyentes. *** Los elementos comunes debido a las intersecciones de dos o ms conjuntos de la suma se atender a su realidad fsica y solo se sumaran una vez. 2.- La segunda condicin es que tambin sean conservadas en la suma o supe conjunto resultante las peculiaridades de convergencia o identidad que cada uno de los conjuntos sumandos tuviera. En este caso y cuando que sea posible y exista la misma convergencia o identidad entre los conjuntos sumados, se podrn unificar todos los elementos reunidos y ordenados mediante dicha convergencia. (pez Sea un conjunto A o sucesin (6,7,8,9) y conjunto B o sucesin (1,2,3,4,5,) estos se pueden sumar formando una sola sucesin A + B (1,2,3,4,5,6,7,8,9). Ejemplo para la comprensin de estas dos condiciones de la suma: ---- Si tenemos un conjunto A formado por varios nmeros sin ordenar (6 7 3 1

4 7) y lo sumamos a un conjunto B formado tambin por numero sin ordenar (5 9 2 1 4) el supe conjunto resultante contendr todos y cada uno de los elementos o numero antes mencionados, tambin sin ordenar. p. e. A+B (7 1 3 2 9 1 4 5 6) ** o cualquier otro que contenga todos los elementos de los sumandos. ** Aqu vemos que existen dos 7, dos 1 y dos 4 en el conjunto suma A + B porque se entiende que no son elementos compartidos o de intercepcin entre los conjuntos A y B, sino nmeros propios de cada uno. ---- Si tenemos un conjunto A (23-14=9) constituido por los elementos de una operacin matemtica y los sumamos a un conjunto B (33x2=66) tambin formado por una operacin matemtica, el superconjunto resultante A + B (2314=9 33x2=66) tendr que contener todos los elementos de los dos conjuntos y al mismo tiempo conservar su identidad o convergencia. ---- Si sumamos un conjunto A (caja botellas wisky) a un conjunto B (tres naranjas sueltas), en el superconjunto suma A + B la caja de wisky quedara intacta y las naranjas podrn colocarse en cualquier posicin dentro de este superconjunto puesto que antes tampoco tenan ninguna ordenacin. No obstante si las naranjas estaban ordenadas dentro de una bolsa, tambin quedaran ordenas en su bolsa en el nuevo superconjunto. RESTA DE CONJUNTOS Principio de la resta: "A todo conjunto A, podemos restarle o extraerle uno o varios subconjuntos (B,C,D) o elementos (a,b,c) del mismo . O todos sus elementos convirtindose en este caso en conjunto vacio". Por tanto aqu hay que establecer claramente la distincin entre los subconjuntos (B,C,D,E,F, etc.) todos ellos pertenecientes al conjunto principal A del cual se restan, de otros conjuntos diferentes B,C,D etc. que no pertenezcan al conjunto A y que por tanto no pueden ser restados. "No se pueden restar los elementos que tiene otro conjunto, sino los propios del

conjunto que se somete a la resta" Seria pues la siguiente expresin: A -- B donde B seria siempre un subconjunto perteneciente a A. Y cuando haya varios subconjuntos a restar podemos poner: A -- ( B + C + D + E ...) Por tanto el principio de la resta debe cumplirse de tal forma que el conjunto A tenga como componentes a los subconjuntos a restar B, C, D, E. Y lo expresaremos as: A (B, C, D, E ) Conjunto A contiene a los subconjuntos (B, C, D, E ) que pueden ser restados. Para que la resta sea pura y no represente una composicin, se deben respetar tambin la exigencia de la conservacin de la convergencia en los conjuntos resultantes de esta resta. (p.e. Si tenemos un conjunto A (compuesto por dos peras y tres manzanas) podemos restarle el subconjunto B (formado por las dos peras). Pero no podemos restarle dos peras pertenecientes a otro conjunto B. A (2 peras y 3 manzanas) -- B (2 peras) = A -- B (3 manzanas) --Si tenemos un conjunto A (2, 4, 6,8, 0) podemos restarle su B (8,0) y quedara un conjunto A -- B (2,4,6). A (2,4,6,8,0) -- B (8,0) = A -- B (2,4,6) De esta forma, cualquier resta tienen que cumplir la propiedad de total interseccin entre todos los elementos de sus parmetros, es decir: Minuendo = sustraendo + diferencia, donde ---Todo elemento del sustraendo y diferencia estaban en el minuendo. ---Todos los elementos del minuendo estarn en el sustraendo O diferencia. ---Ningn elemento del sustraendo est en la diferencia. ---Ningn elemento de la diferencia est en el sustraendo. A (2,4,6,8,0) -- B (8,0) = A -- B (2,4,6)

PROPIEDADES DE LOS CONJUNTOS

PRODUCTO DE UN COJUNTO POR UN NMERO O FUNCION NUMERICA El producto de un conjunto por un nmero o funcin numrica consistir en otro conjunto formado por el producto de cada uno de los elementos del conjunto primario (o multiplicando) por el nmero o funcin multiplicadora. (p.e. Sea un conjunto A (a,b,c,d,) que es multiplicado por el numero 3. El conjunto real resultante 3xA ser (a,a,a,b,b,b,c,c,c,d,d,d,). No obstante est permitido, tanto para numero como para funciones, representarlo en forma de sntesis matemtica del producto y ponerlo extractado en la forma (3a, 3b,3c,3d). De igual manera que para la suma, para el producto de un conjunto por un numero, es necesario que se mantenga la identidad o convergencia en el resultado. (p.e. Sea el conjunto A (a,b,c,coco,%) al cual lo multiplicamos por el numero 2. El resultado real seria 2xA (a,a,b,b,c,c,coco,coco,%%) o su representacin matemtica (2a,2b,2c,2coco,2%). Cuando es una funcin matemtica y mientras no tengamos el resultado de dicha funcin, el conjunto resultante habr que expresarlo nicamente en representacin matemtica. Despus cuando tengamos el resultado de la funcin, pues podemos hacer ya una representacin real del conjunto resultante. (p.e. Sea un conjunto A (a,b,c,coco) multiplicado por una funcin y=2x. En este caso tendramos que representar matemticamente al conjunto resultante como As (ya,yb,yc,ycoco) o como Ax2x (2xa,2xb,2xc,2xcoco), pero no podremos exponer todos su elementos reales hasta que no conozcamos la solucin de la funcin. En el caso de la multiplicacin de conjuntos por nmeros o funciones, y cuando sea posible, es recomendable seguir las normas de identidad o convergencia que tena el conjunto multiplicado, del tal modo que podamos estructurar en

una solo conjunto organizado todos sus elementos. (p.e. Sea un conjunto A formado por 12 malecones colocados ordenadamente en su sitio al borde de una carretera. Si multiplicamos este conjunto por el nmero 3, nos dara un conjunto 3xA formado por 36 malecones situados ordenadamente al bode de la carretera.) Las operaciones con conjuntos pueden ser muy tiles y usadas en la prctica. Como ejemplo de estas operaciones podramos poner el siguiente: Si en la milicia por ejemplo queremos formar un batalln para llevar a cabo una misin especifica y deseamos que conste de seis compaas perfectamente equipadas para la misin a emprender, pues procederamos a escoger y estudiar una compaa tipo segn la necesidades, y seguidamente adiestrar o prepararlas para despus unirlas y formar el batalln. En este caso podramos ponerlo como un producto de un conjunto tipo A (compaa) multiplicarlo por un numero (6) y sumarle otro conjunto de mandos B (coronel, 2 comandantes). Nos quedara pues: A (compaa) x 6 + B (coronel, 2comandantes) = batalln C (coronel, 2comandantes, 6 compaas). Tambin podemos desglosarlo ms incluyendo, saldados, mandos intermedios, etc. Incluso armamento y utensilios si queremos incluirlos. Todo ello mediante estos procedimientos de sumas y productos, es decir, utilizando medios matemticos normales, pero por medio de agrupaciones de sus elementos en conjuntos en los cuales podemos conservar sus caractersticas y peculiaridades asociativas. Producto de conjuntos de elementos. Producto algebraico de conjuntos p>Esta teora de conjuntos fsicos y matemticos entiende que si queremos considerar los productos de conjuntos de elementos entre si debemos acercarnos los ms posible a los principios y propiedades de la multiplicacin

de nmeros, y al mismo tiempo al respeto a las propiedades de los elementos de cada conjunto. Por ello comenzare con alguna definicin y exposicin de los principales parmetros estructurales del producto algebraico entre conjuntos. El producto algebraico de conjuntos consiste en multiplicacin de los mismos siguiendo los mtodos algebraicos comunes. Al estar los conjuntos formados por elementos de cualquier tipo y entidad, nosotros consideraremos dos tipos de componentes de los factores a multiplicar: -- Los elementos propiamente dichos, que como hemos dicho pueden ser de cualquier tipo y entidad. (Por ejemplo: un lpiz, un rbol, un animal, un signo, un smbolo, una idea, un sentimiento, etc.) -- Y los coeficientes multiplicadores o cantidad de estos elementos anteriores que pueda contener cada uno de los factores a multiplicar. (Por ejemplo: 25 conejos; siendo 25 el coeficiente multiplicador de los elementos del conjunto o conejos) Pues bien, como veremos ms adelante en el producto algebraico de conjuntos los coeficientes o cantidades se multiplican entre ellos y los elementos se integran (fusionan) entre s.

APLICACIONES DE CONJUNTOS Definicin Sean dos conjuntos A y B. Establezcamos una correspondencia o relacin entre los elementos del conjunto A y los elementos del conjunto B. O sea, establecemos una norma que asigna a elementos del conjunto A, elementos del conjunto B. Por ejemplo: Sean a1, a2, a3, ... elementos del conjunto A y b1, b2, b3, ... elementos del conjunto B. Supongamos que el elemento a1 est relacionado con los elementos b1 y b2, que el elemento a2 est relacionado con el

elemento b3 y que a3 est relacionado con b1. Esta correspondencia entre los elementos de los dos conjuntos puede representarse por un subconjunto del producto cartesiano A x B que se llama grafo de la relacin. En nuestro ejemplo el grafo sera {(a1,b1), (a1,b2), (a2,b3), (a3,b1)}. Una relacin entre A y B de grafo G es una aplicacin de A en B si para cada x perteneciente a slo existe un elemento y perteneciente a B tal que el par x,y pertenece a G. Nuestro ejemplo no es una aplicacin porque el elemento a1 est relacionado con dos elementos: b1 y b2. Al igual que en las funciones, en las aplicaciones existen los conceptos dominio e imagen. Dominio es el conjunto de elementos de A para los que la aplicacin produce una imagen, tal que el par (x,y) pertenece al conjunto G. Imagen es el conjunto de elementos de B para los que existe un elemento en el conjunto A tal que el par (x,y) pertenece al conjunto G. Tipos de aplicaciones Inyectiva (tambin se llama uno a uno): Si cada elemento de B que es imagen de otro elemento de A slo lo es de uno. Por ejemplo: si una aplicacin relaciona a1 con b1 y a2 con b1, no es inyectiva porque dos elementos distintos comparten la misma imagen. Sobreyectiva (tambin se llama suprayectiva, exhaustiva y sobre): Si todos los elementos de B son imagen de alguno de A. Biyectiva: Si es inyectiva y sobreyectiva. Composicin de aplicaciones Sea f es una aplicacin de A en B y g es una aplicacin de B en C. Si la imagen de f est contenida en el dominio de g, entonces se puede definir una aplicacin h de A en C de la forma: h(x) = g[f(x)] para todo x perteneciente al dominio de f. Aplicacin recproca

Es una aplicacin que se representa por f -1 tal que la composicin f -1[f(x)] = x.

CONCLUSIONES * Concluimos que con esta unidad vamos a poder resolver todos los problemas que se nos presentes sobre los temas vistos * Mejor solucin a los problemas * Mas entend

You might also like