LOGICA Y CONJUNTO

MATEMATICAS

POR: LUIS EDUARDO ROBLES LOBOS

A: PROFESOR LEONARDO CORTINA JARAMILLO

UNIVERSIDAD DE CARTAGENA CREAD TECNOLOGIA EN PRODUCCION ACUICOLA 2013

METODOLOGIA

Para una correcta ubicacin sobre el estudio que vamos a iniciar, considero pertinente mostrar algunas teoras acerca de qu es la Lgica y su relacin con la matemtica; una definicin precisa de la lgica, que la caracterice totalmente, depende del sistema filosfico que se adopte. La lgica matemtica es una ciencia que es anterior a las dems, que contiene las ideas y los principios en que se basan todas las ciencias. Por consiguiente, segn el logicismo la matemtica es una rama de la lgica, sin duda extensa y con vida propia, pero cuyo mtodo se identifica con el propio mtodo de la lgica. Se concibe as la matemtica como una disciplina universal que regira todas las formas de argumentacin. Luego de tener un concepto de lgica y de la importancia de esta para el estudio de la matemtica y teniendo en cuenta que es el primer y ms elemental tema , pero no menos importante, ya que es el principio del estudio de la matemtica, es la teora de conjuntos, procederemos a investigar sobre este tema. Con el fn de cumplir nuestro objetivo, utilizaremos la herramienta ms til de nuestra pocainternet.

1.- LOGICA Y CONJUNTOS

La ciencia que se basa en las leyes, modalidades y formas del conocimiento cientfico se conoce bajo el nombre de lgica. Se trata de una ciencia de carcter formal que carece de contenido ya que hace foco en el estudio de las alternativas vlidas de inferencia. Es decir, propone estudiar los mtodos y los principios adecuados para identificar al razonamiento correcto frente al que no lo es. La etimologa permite saber que el trmino lgica tiene su origen en el vocablo latn logca, que a su vez deriva del griego logiks (de logos, razn o estudio). El filsofo griego Aristteles, cuentan los expertos en cuestiones histricas, fue pionero al emplear la nocin para nombrar el chequeo de los argumentos como indicadores de la verdad dentro de la ciencia, y al presentar al silogismo como argumento vlido. Aristteles est considerado como el padre de la lgica formal. En cambio, la lgica informal refiere al examen metdico de los argumentos probables a partir de la oratoria, la retrica y la filosofa, entre otras ciencias. Tiene como objetivo el reconocimiento de paradojas y falacias, as como ser un recurso eficaz para construir los discursos de forma correcta. La lgica natural es la destreza natural para razonar sin apelar a la ciencia. La denominada lgica borrosa o difusa, en cambio, es aquella que contempla una determinada incertidumbre al analizar el carcter verdico o falso de las proposiciones, a semejanza del raciocinio propio del ser humano. Por otra parte, la lgica matemtica se caracteriza por emplear un lenguaje simblico artificial y realizar una abstraccin de los contenidos. Existen otros tipos o clases de lgica, como la llamada lgica binaria, la cual trabaja con variables que slo toman dos valores discretos.

2.- 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 una recta. 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.

La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje matemtico. Dados unos elementos, unos objetos matemticos como nmeros o polgonos por ejemplo, puede imaginarse una coleccin determinada de estos objetos, un conjunto. Cada uno de estos elementos pertenece al conjunto, y esta nocin de pertenencia es la relacin relativa a conjuntos ms bsica. Los propios conjuntos pueden imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica como a A. Una relacin entre conjuntos derivada de la relacin de pertenencia es la relacin de inclusin. Una subcoleccin de elementos B de un conjunto dado A es un subconjunto de A, y se indica como B A. Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de los nmeros naturales N, el de los nmeros enteros Z, el de los nmeros racionales Q, el de los nmeros reales R y el de los nmeros complejos C. Cada uno es subconjunto del siguiente:

El espacio tridimensional E3 es un conjunto de objetos elementales denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos a su vez, y en particular son subconjuntos de E3, r E3 y E3.

3.- PROPOSICIONES En el desarrollo de cualquier teora matemtica se hacen afirmaciones en forma de frases y que tienen un sentido pleno. Tales afirmaciones, verbales o escritas, las denominaremos enunciados o proposiciones. Proposicin: Llamaremos de esta forma a cualquier afirmacin que sea verdadera o falsa, pero no ambas cosas a la vez. Ejemplo: Las siguientes afirmaciones son proposiciones. (a) Gabriel Garca Mrquez escribi Cien aos de soledad. (b) 6 es un nmero primo. (c) 3+2=6 (d) 1 es un nmero entero, pero 2 no lo es. _ Las proposiciones se notan con letras minsculas, p, q, r . La notacin p: Tres ms cuatro es igual a siete se utiliza para definir que p es la proposicin tres ms cuatro es igual a siete. Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras. Ejemplo: Las siguientes no son proposiciones.

(a) x + y > 5 (b) Te vas? (c) Compra cinco azules y cuatro rojas. (d) x = 2

Solucin: En efecto, (a) es una afirmacin pero no es una proposicin ya que ser verdadera o falsa dependiendo de los valores de x e y e igual ocurre con la afirmacin (d). Los ejemplos (b) y (c) no son afirmaciones, por lo tanto no son proposiciones. _ Desde el punto de vista lgico carece de importancia cual sea el contenido material de los enunciados, solamente interesa su valor de verdad.

4.- PREMISA En lgica, una premisa es cada una de las proposiciones anteriores a la conclusin de un argumento.1 En un argumento vlido, las premisas implican la conclusin, pero esto no es necesario para que una proposicin sea una premisa: lo nico relevante es su lugar en el argumento, no su rol. 2 Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas. Considrese el siguiente argumento: 1. 2. 3. 4. O es martes o es mircoles. Si es martes, entonces tengo que ir a trabajar. Si es mircoles, tengo que ir a trabajar. Por lo tanto, tengo que ir a trabajar.

En este argumento, las proposiciones 1, 2 y 3 son las premisas, y la proposicin 4 es la conclusin. Un argumento puede tener cualquier nmero (en general finito) de premisas, incluso 0 (en cuyo caso la conclusin suele ser un teorema y una verdad lgica). 1. Todos los hombres tienen el cabello corto 2. David es hombre 3. Por lo tanto David tiene el cabello corto

Hay razonamientos de una premisa (hubo al menos un testigo), y razonamientos con ms de una premisa. As sucede con los silogismos ordinarios, que con una sola premisa (por ejemplo: Juan lo vio todo). Por lo tanto, de una premisa mayor (que contiene el trmino mayor, predicado de la conclusin) y una premisa menor (que contiene el trmino menor, que hace de sujeto en la conclusin). Por ejemplo: 1. Todos los mamferos son animales de sangre caliente. (Premisa mayor) 2. Todos los humanos son mamferos. (Premisa menor) 3. Por tanto, todos los humanos son animales de sangre caliente. (Conclusin) En los razonamientos inductivos, la conclusin se obtiene por generalizacin, a partir de varias premisas particulares. Por ejemplo, a partir de una serie de observaciones (el cobre es un metal y es buen conductor de la electricidad; el hierro es un metal y es buen conductor de la electricidad, etc.) se concluye, por induccin, que todos los metales son buenos conductores de la electricidad. En ocasiones, para alcanzar la conclusin de un razonamiento es necesario utilizar premisas subsidiarias, esto es, suponer ms informacin de la que el razonamiento contempla. Por ejemplo, partir de lo contrario de lo que se desea demostrar. Si de dicho supuesto se deduce un absurdo, entonces se puede afirmar la conclusin sin problemas. la premisa es la que toma en cuenta una

decisin y la vuelve mas clara y superficial as se podr tomar una decisin adecuada.

5.- Conectores Lgicos y Tablas de Verdad

Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: 5.1.-NEGACIN Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc. Prefijos negativos: a, des, in, i. Condicin: lo V se transforma en F (y al revs) P p

5,2.-CONJUNCIN: Palabras conectivas: y, aunque, pero, mas, tambin, sin embargo, adems, etc. Condicin: es V cuando ambas son V.

Ejemplo: Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y tiene corriente en la batera" Sean: p= tiene gasolina el tanque q = tiene corriente la batera r = el auto enciende = p ^ q

La conclusin resultante es que para que el auto encienda se debe tener gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto no arrancar.

5.3.-DISYUNCIN INCLUSIVA Una, otra o ambas a la vez. (y/o) Palabras conectivas: o Condicin: es F cuando las dos son F.

Ejemplo: Sea el siguiente enunciado : "Una persona puede entrar al cine si compra boleto u obtiene un pase" Sean: p= compra boleto q = obtiene un pase r = una persona entra al cine = p v q La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se tiene ambas tambin se puede entrar, si no tengo ninguna de las dos alternativas entonces no se puede entrar al cine. 5.4.-DISYUNCIN EXCLUSIVA O una o la otra (NUNCA ambas juntas) Palabras conectivas: O ......... o ..... O bien .... o bien .... a menos que .... .... salvo que ...... Condicin: es V cuando uno es V y el otro es F

5.5.-LA CONDICIONAL Palabras conectivas: Si ..p.. entonces ..q.. Si ..p.. , ..q.. Cuando .......p............. , ......q.. Siempre ......p............. , ....q.. Es condicin suficiente..p..para que..q.. .........q........ slo si ......p....... Es condicin necesaria...q..para que..p. . Condicin: es falsa slo si el antecedente (p) es V y el consecuente (q) es F.

Ejemplo: Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata", se observa que estamos diciendo es que la primera proposicin "si el cuerpo se calienta" implica a la segunda proposicin " entonces se dilata", pero no se afirma que el antecedente es verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calent y el cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe

5.6.-LA BICONDICIONAL Palabras conectivas: si y slo si; cuando y slo cuando; es equivalente a; es condicin suficiente y necesaria para; etc.

Condicin: son verdaderas si ambas proposiciones tienen el mismo "valor de verdad".

5.7.-NEGACION CONJUNTA Simbolizaciones equivalentes: Palabras conectivas: Ni.... ni..... No.... ni.....

Condicin: es V si slo ambas proposiciones son F

5.8.-NEGACION CONJUNTA Simbolizaciones equivalentes: Palabras conectivas: O no............... o no...... Es incompatible.... con.......

Condicin: es F si las proposiciones son ambas V

6.- LAS LEYES DE DE MORGAN

Las Leyes De Morgan sirven para declarar que la suma de n variables proposicionales globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente y que inversamente, el producto de n variables proposicionales globalmente negadas es igual a la suma de las n variables negadas individualmente.

Demostracin formal si y solo si para cualquiera x: y .

Por lo tanto inclusin:

Con proposiciones La prueba utiliza la asociatividad y la distributividad de las leyes

Verdad Si verdad por n

7.-MTODOS DE RESOLUCIN DE SISTEMAS DE ECUACIONES LINEALES

Resolver un sistema de ecuaciones lineales es encontrar todas sus soluciones. Los mtodos de igualacin, sustitucin y reduccin consisten en encontrar y resolver, para cada una de las incognitas, una ecuacin con esa incognita y con ninguna otra ( convirtiendo as un problema dificil en uno mas facil, no?). A estas ecuaciones, con solo una incognita, se llega a traves de una serie de pasos en los que las ecuaciones intermedias que se van obteniendo tienen menos incognitas que las ecuaciones previas. As, es posible que en uno de estos pasos de eliminacin de incognitas se utilize un mtodo ( el de reduccin, por ejemplo ) y que, en el siguiente paso, se utilize otro mtodo ( el de igualacin, por ejemplo ). Cada vez que se encuentra la solucin para una incognita, se sustituye esta incognita por su solucin para obtener asi ecuaciones con menos incognitas. Los mtodos de igualacin, sustitucin, reduccin y Gauss se pueden utilizar para resolver sistemas de ecuaciones compatibles determinados e indeterminados. Estos mismos mtodos tambien pueden utilizarse para comprobar si un sistema de ecuaciones es compatible o no. La utilizacion de cualquiera de ellos conduciria, en el caso de que el sistema fuese incompatible, a una igualdad que es falsa, por ejemplo:

El mtodo de la matriz inversa y la regla de Cramer solo se pueden utilizar en el caso de que el sistema de ecuaciones lineales sea compatible determinado. 7.1.-Mtodo de reduccin Consiste en multiplicar ecuaciones por numeros y sumarlas para reducir el nmero de incognitas hasta llegar a ecuaciones con solo una incognita. Multiplicar una ecuacin por un nmero consiste en multiplicar ambos miembros de la ecuacin por dicho nmero. Sumar dos ecuaciones consiste en obtener una nueva ecuacin cuyo miembro derecho ( izquierdo ) es la suma de los miembros derechos ( izquierdos ) de las ecuaciones que se suman. Ejemplo

Multiplicando la primera ecuacin por 3 y la segunda por -5, se obtienen las ecuaciones

El sumar ambas ecuaciones nos da la ecuacin

que es una ecuacin con una sola incognita y cuya solucin es

La eleccin de los factores 3 y -5 se ha hecho precisamente para que la desaparezca al sumar ambas ecuaciones. Sutituyendo por uno en la primera ecuacin del sistema de ecuaciones de partida, se obtiene

que es otra ecuacin con una sola incognita y cuya solucin es

7.2.-Mtodo de igualacin El mtodo de igualacin consiste en lo siguiente: Supongamos que tenemos dos ecuaciones:

donde , , y representan simplemente los miembros de estas ecuaciones ( son expresiones algebraicas ). De las dos igualdades anteriores se deduce que

Si resulta que una incgnita del sistema de ecuaciones no aparece ni en ni en , entonces la ecuacin

no contendra dicha incgnita Este proceso de eliminacin de incognitas se puede repetir varias veces hasta llegar a una ecuacin con solo una incognita, digamos . Una vez que se obtiene la solucin de esta ecuacin se sustituye por su solucin en otras ecuaciones dode aparezca para reducir el nmero de incognitas en dichas ecuaciones. Ejemplo El sistema de ecuaciones

es equivalente a este otro

El segundo sistema lo he obtenido pasando los terminos en del miembro de la izquierda al miembro de la derecha en cada una de las ecuaciones del primer sistema. Del segundo sistema se deduce que

que es una ecuacin con una sola incognita cuya solucin es

Sustituyendo por 1 en la primera ecuacin del sistema de partida se tiene que

que es una ecuacin con una sola incognita y cuya solucin es

7.3.- Mtodo de sustitucin

Supongamos que un sistema de ecuaciones se puede poner de la forma

Entonces podemos despejar en la segunda ecuacin y sustituirla en la primera, para obtener la ecuacin:

Lo que se busca es que esta ecuacin dependa de menos incognitas que las de partida. Aqui sistema. Ejemplo: y son expresiones algebraicas de las incognitas del

Intentemos resolver La primera ecuacin se puede reescribir de la forma

Por otra parte, de la segunda ecuacin del sistema se deduce que

Sustituyendo se tiene que :

por

en:

que es una ecuacin con solo una incognita y cuya solucin es

Sustituyendo por uno en la primera ecuacin del sistema de ecuaciones de partida obtenemos una ecuacin de una sola incognita

cuya solucin es 7.4.-Mtodo de Gauss

El mtodo de Gauss consiste en transformar el sistema dado en otro equivalente. Para ello tomamos la matriz ampliada del sistema y mediante las operaciones elementales con sus filas la transformamos en una matriz triangular superior ( o inferior ). De esta forma obtenemos un sistema equivalente al inicial y que es muy facil de resolver. Es esencialmente el mtodo de reduccin. En el mtodo de Gauss se opera con ecuaciones, como se hace en el mtodo de reduccin, pero uno se ahorra el escribir las incognitas porque al ir los coeficientes de una misma incognita siempre en una misma columna, uno sabe en todo momento cual es la incognita a la que multiplican.

Ejemplo La matriz ampliada del sistema de ecuaciones:

es:

Si a la tercera y segunda fila le restamos la primera, obtenemos:

Lo que acabamos de hacer es equivalente a restar a la tercera y segunda ecuacin la primera. Si ahora intercambiamos la segunda y tercera filas ( ecuaciones ), obtenemos la siguiente matriz triangular superior:

que es la matriz ampliada del sistema de ecuaciones:

que es equivalente al inicial. Solucionamos la tercera ocuacion para obtener :

En la primera y segunda ecuacin, sustituimos ecuacin ( ), para obtener:

por la solucion de la tercera

La segunda ecuacin es ahora una ecuacin con una sola incognita, , que resolvemos para obtener . Sustituimos, en la primera ecuacin, por 1 ( ). Esto nos da una ecuacin en :

que al resolverla termina de darnos la solucin del sistema de ecuaciones inicial:

7.5.-Mtodo de la matriz inversa Un sistema de ecuaciones lineales se puede escribir en forma matricial:

Si existe, es decir, si es una matriz cuadrada de determinante no nulo, entonces podemos multiplicar toda la igualdad anterior por la izquierda por , para obtener:

que es la solucin del sistema de ecuaciones lineales de matriz de coeficientes y matriz de terminos independientes .

7.6.-Regla de Cramer Esta regla es un mtodo de resolucin de sistemas de ecuaciones lineales que se puede utilizar cuando la matriz de coeficientes del sistema es cuadrada y de determinante no nulo. El que sea cuadrada significa que el numero de incognitas y el numero de ecuaciones coincide. Cuando el sistema de ecuaciones

satisface las condiciones arriba mencionadas, su solucin viene dada por:

En general

donde es la matriz que se obtiene sustituyendo la i-esima columna de por la matriz de los terminos independientes, . Ejemplo Consideremos el sistema de ecuaciones:

En este sistema de ecuaciones lineales, la matriz una matriz cuadrada y aplicar la regla de Cramer para resolverlo:

de los coeficientes es . Por lo tanto, podemos

8.-ECUACIN LINEAL DE PRIMER Y SEGUNDO ORDEN

Las Ecuaciones diferenciales de primer orden se caracterizan por ser de la forma:

Donde y son funciones continuas en un intervalo solucin de esta ecuacin viene dada por:

. La

Ecuaciones lineales de orden n(segundo orden o superior) Del mismo modo que se ha definido la ecuacin diferencial lineal de primer orden podemos definir una ecuacin diferencial de orden n como:

Donde la derivada mayor que aparece es de orden n-simo. Resolucin caso general Esta ecuacin se dice que es lineal si la funcin incgnita o sus derivadas no estn multiplicadas por si mismas o si tampoco aparecen en forma de funciones compuestas (por ejemplo, ). Una ecuacin diferencial lineal de orden superior puede atacarse convirtindola en un sistema de n ecuaciones diferenciales de primer orden. Para hacer esto se definen las n funciones incgnita adicionales dadas por:

Puesto que:

El sistema de ecuaciones diferenciales puede escribirse en forma de ecuacin matricial como:

Resolucin con coeficientes constantes La resolucin de ecuaciones y sistemas de ecuaciones diferenciales se simplifica mucho si las ecuaciones son de coeficientes constantes. En el caso de una ecuacin de primer orden la bsqueda de un factor integrante nos lleva en la mayora de los casos a una ecuacin en derivadas parciales. Si la ecuacin es de orden superior, a no ser que sea una ecuacin de Euler o similar, tendremos que proponer una solucin que no viene dada, en general, por funciones elementales. En estos casos los mtodos preferidos (sin contar el clculo numrico) son los que emplean series de potencias o series de Fourier. En el caso de los sistemas, si la matriz del sistema es de coeficientes constantes podemos resolver el sistema usando el mtodo de los valores propios ya que en ese caso la matriz resultante de la reduccin de la ecuacin a un sistema de primer orden es constante y puede encontrarse fcilmente su solucin calculando la exponencia de la matriz del sistema. Para estudiar otros mtodos de encontrar la solucin a parte de la exponenciacin de matrices consideraremos una ecuacin del tipo:

Donde son coeficientes constantes conocidos. Observemos que la derivada n-sima va acompaada por el coeficiente unidad. Definimos el polinomio caracterstico de la ecuacin como

que es una ecuacin algebraica de orden n. Se demuestra que si hallamos las n races del polinomio caracterstico la solucin de la ecuacin homognea:

Al calcular las races siguientes casos:

del polinomio caracterstico pueden darse los

Races reales distintas: En este caso la solucin viene dada directamente por , siendo , donde constantes de integracin.

Races reales repetidas: Ilustraremos este caso con un ejemplo; sea una ecuacin de segundo orden con coeficientes constantes cuyo polinomio carcterstico tiene la raz doble. En este caso no podemos expresar la solucin como , ya que si lo hacemos de este modo tenemos una informacin redundante. En este caso particular la solucin de la ecuacin es . aparece repetida q

En general, en una ecuacin de orden n, si una raz veces la solucin parcial asociada a ella es:

Races complejas: Si las races son del tipo debemos expresar la solucin como combinacin lineal de senos, cosenos y exponenciales en la forma .

Si las races complejas conjugadas estn repetidas q veces, la ecuacin es del tipo

. Una vez resuelto el problema homogneo podemos atacar el problema completo. Para tener la solucin del problema completo debemos sumar una solucin particular a la solucin homognea ya obtenida:

. Para hallar empleamos el mtodo de la conjetura razonable, consistente en analizar el trmino inhomogneo de la ecuacin y proponer funciones del mismo tipo como solucin. Ntese que no es necesario que sea un coeficiente constante. Ejemplos:

Tenemos (polinomio de primer orden).

Proponemos

Las constantes y quedan determinadas tras aplicar los requerimientos de la ecuacin a la solucin particular (derivar n veces, multiplicar por coeficientes constantes, etc.).

Tenemos: Proponemos las constantes y

. se determinan como en el ejemplo 1.

9.-APLICACIN DE LAS ECUACIONES LINEALES DE PRIMER ORDEN

9.1.-Aplicaciones a la Biologa: Uno de los campos ms fascinante del conocimiento al cual los mtodos matemticos han sido aplicados es el de la Biologa. La posibilidad de que las matemticas pudieran aun ser aplicadas exitosamente el estudio de varios procesos naturales de los seres vivos desde los microorganismos ms elementales hasta la misma humanidad sorprende a la imaginacin. Crecimiento Biolgico: Un problema fundamental en la biologa es el crecimiento, sea este el crecimiento de una clula, un organismo, un ser humano, una planta o una poblacin. La ecuacin diferencial fundamental era: dy / dt = con solucin y = ce Donde c es una constante arbitraria. De esto vemos que el crecimiento ocurre si > 0 mientras que el decaimiento (o encogimiento) ocurre s < 0. Un defecto obvio de dicha ecuacin diferencial anteriormente planteada y de su solucin correspondiente es que si > 0 entonces tenemos que y!" si t!" , as que a medida que el tiempo transcurre el crecimiento es limitado. Esto esta en conflicto con la realidad, ya que despus de transcurrir cierto tiempo sabemos que una clula o individuo deja de crecer, habiendo conseguido el tamao mximo. 9.2.-Aplicaciones a la Economa: En aos recientes ha habido un inters creciente por la aplicacin de las matemticas a la economa. Sin embargo, puesto que la economa involucra mucho factores impredecibles, tales como decisiones psicolgicas o polticas, la formulacin matemtica de sus problemas es difcil. Se debera hacer nfasis que, como en los problemas de ciencia e ingeniera, cualquier resultado obtenido tericamente debe finalmente ser probado a la luz de la realidad. Oferta y Demanda Suponga que tenemos un bien tal como trigo o petrleo. Sea p el precio de este bien por alguna unidad especificada ( por ejemplo un barril de petrleo) en cualquier tiempo t. Entonces podemos pensar que p es una funcin de t as que p(t) es el precio en el tiempo t. y

El numero de unidades del bien que desean los consumidores por unidad de tiempo en cualquier tiempo t se llama la demanda y se denota por D(t), o brevemente D. Esta demanda puede depender no solo del precio p en cualquier tiempo t, esto es, p(t), sino tambin de la direccin en la cual los consumidores creen que tomaran los precios, esto es, la tasa de cambio del precio o derivada p(t). Por ejemplo, si los precios estn altos en tiempo t pero los consumidores creen que pueden subir, la demanda tiende a incrementar. En smbolos esta dependencia de D en p(t) y p(t) puede escribirse: D = (p(t)),p(t) Llamamos la funcin de demanda. Similarmente, el numero de unidades del bien que los productores tienen disponible por unidad de tiempo en cualquier tiempo t se llama oferta y se denota por S(t), o brevemente S. Como en el caso de la demanda, S tambin depende de p(t) y p(t). Por ejemplo, si los precios estn altos en tiempo t pero los productores creen que estos pueden subir mas, la oferta disponible tiende a incrementar anticipndose a precios ms altos. En smbolo esta dependencia de S en p(t) y p(t) puede escribirse: S = g(p(t), p(t) Llamamos g a la funcin oferta . 9.2.-Aplicaciones a la Qumica: Hay muchas aplicaciones de ecuaciones diferenciales a los procesos qumicos. Algunas de estas sern indicadas en los siguientes ejemplos. Ejemplo: Un tanque esta lleno con 10 galones (abreviacin gal) de agua salada en la cual estn disueltos 5lb de sal. Si el agua salada esta conteniendo 3lb de sal por gal que entra al tanque a 2 gal por minuto y la mezcla bien agitada sale a la misma tasa. cualquier tiempo.

Formulacin Matemtica: Sea A el numero de libras de sal en el tanque despus de t minutos. Luego dA / dt es la tasa de cambio de esta cantidad de sal en el tiempo y esta dada por:

dA / dt = tasa de cantidad ganada - tasa de cantidad perdida Puesto que entran 2gal/min. conteniendo 3lb/gal de sal tenemos que la cantidad de sal que entra por minuto es: 2gal / min. x 3 lb./gal = 6 lb./min. Lo cual es la tasa a la cual se gana sal. Puesto que siempre hay 10 gal en el tanque y debido a que hay A libras de sal en cualquier tiempo t, la concentracin de sal al tiempo t es A libras por 10gal. La cantidad de sal que sale por minuto es, por tanto, Alb / 10gal x 2gal / min. = 2A lb. / 10min. = A lb./ 5min. de: (dA / dt),(6 lb./min.) y (A lb./5min) tenemos que: dA / dt = 6 - A/5. Puesto que inicialmente hay 5lb. de sal, tenemos que A = 5 en t = 0. As, la formulacin matemtica completa es: dA / dt =6 - A/5 A = 5 en t = 0 solucin: Usando el mtodo de separacin de variables, tenemos: " (dA / 30 - A) = " (dt / 5) - ln (30 - A) = t / 5 + c Puesto que A = 5 en t = 0, c = - ln 25. As, - ln (30 - A) = t/5 - ln 25 = ln[(30 - A)/25] = A = 30 - 25 e La cual es la cantidad de sal en el tanque en cualquier tiempo t. Al final de los 10min. la cantidad de sal es A = 30 - 25 e = 26.6 lb. Despus de un tiempo largo, esto es, cuando t!", vemos que A!30 lb., Esto tambin podra ser visto desde la ecuacin diferencial haciendo dA / dt = 0, puesto que tambin A es una constante cuando se alcanza el equilibrio.

9.3.-Aplicaciones a flujo de calor en estado estacionario Considere una pieza de material de longitud indefinida acotada por dos planos paralelos A y B, como muestra la figura a.1. Asuma que el material es uniforme en todas sus propiedades, por ejemplo, calor especifico, densidad, etc. Supngase que los planos A y B se mantienen a 50C y 100C, respectivamente. Todo punto en la regin entre A y B alcanza cierta temperatura que no cambia posteriormente. As todos los puntos en el plano C en la mitad entre A y B estarn a 75C; el plano E a 90C. Cuando la temperatura en cada punto de un cuerpo no varia con el tiempo, decimos que

prevalecen las condiciones de estado estacionario o que tenemos un flujo de calor en estado estacionario.

10.-APLICACIONES DE LAS ECUACIONES DIFERENCIALES DE SEGUNDO ORDEN

10.1.-Aplicaciones a la fsica:

Movimiento Armnico Simple: La Ley de Hooke: Supongamos que un cuerpo de masa M esta sujeto al extremo de un resorte flexible suspendido de un soporte rgido (por ejemplo un techo), como se muestra en la figura 5.1b. Cuando M se reemplaza por un cuerpo diferente Mi, el alargamiento del resorte ser, por supuesto, distinto. Por la Ley de Hooke, el resorte mismo ejerce una fuerza de restitucin F opuesta a la direccin del alargamiento y proporcional a su magnitud s. Dicho en trminos simples, F = ks, en donde k es una constante de proporcionalidad. Aunque cuerpos de distinto peso producen distintos alargamientos del resorte, tal elemento elstico esta esencialmente caracterizado por l numero k. Por ejemplo, si un cuerpo que pesa 10lb. alarga el resorte en 1/2 pie, entonces, 10 = k (1/2) implica que k = 20 lb./pie. Luego, necesariamente una masa que pesa 8 lb. alarga el mismo resorte en 2/5 pie.

CONCLUSION Luego de terminar esta investigacin podemos concluir que, la Teora de Conjuntos es una teora matemtica, que estudia bsicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, as como a los problemas relacionados con estos. La importancia de la Teora de Conjuntos radica en que a partir de ella se puede reconstruir toda la matemtica. Permite visualizar las intersecciones que puedan existir entre las partes que conforman un problema, as como cada parte con el todo. Es un instrumento esencial para el desarrollo de la capacidad de anlisis.

BIBLIOGRAFIA

Ivorra, Carlos, Lgica y teora de conjuntos, consultado el 18-10-2010. Jech, Thomas. Set Theory (en ingls). Stanford Encyclopedia of Philosophy (Fall 2011 edition). Consultado el 16-12-2011. http://html.rincondelvago.com/teoria-de-conjuntos_2.html

es.wikipedia.org/wiki/Teora_de_conjuntos www.wikillerato.org/Mtodos_de_resolucin_de_sistemas_de_ecuaci... anderstivogm.blogspot.com/.../conectivos-logicos-y-tabla-de-verdad.... es.wikipedia.org/wiki/Leyes_de_De_Morgan es.wikipedia.org/wiki/Premisa

http://html.rincondelvago.com/aplicaciones-de-las-ecuaciones-diferenciales-deprimer-y-segundo-orden.html