REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACIN SUPERIOR UNIVERSIDAD BOLIVARIANA DE VENEZUELA TUCUPIDO ESTADO

GUARICO.

FUNCIONES Y SUCESIONES MATEMATICAS

FACILITADOR: Toro Efran

PARTICIPANTES: Arismendi Ana Guzmn Gleidy Guzmn Mirtha Contreras Leobardo Ojeda Betty

TUCUPIDO DICIEMBRE, 2010

INTRODUCCIN La nocin de las funciones matemticas se conoce desde los inicios de esta ciencia, entre los babilnicos, egipcios y chinos, cuando estos observaron dos variables y sus relaciones. Sin embargo, es el matemtico suizo, Leonhard Euler (1707-1783) quien introduce y precisa el concepto de funcin matemtica as como por realizar un estudio sistemtico de todas las funciones elementales, incluyendo sus derivadas e integrales. Un poco ms de cien aos antes de Euler, ya Ren Descartes (1596-1650) haba mostrado en sus trabajos de geometra, que tena una idea muy clara de los conceptos de variable y funcin, realizando una clasificacin de las curvas algebraicas segn sus grados, reconociendo que los puntos de interseccin de dos curvas se obtienen resolviendo, en forma simultnea, las ecuaciones que las representan y las siguientes funciones: Funcin Trigonomtrica Funcin Logartmica Funcin Exponencial Funcin Polinmica Sucesiones El principal objetivo de esta trabajo de investigacin es poder entender el uso de las funciones y as poder utilizarlas frente a los problemas diarios. El mtodo de investigacin es la consulta bibliogrfica y el anlisis de la misma.

LAS FUNCIONES POLINMICAS Son aquellas que surgen de evaluar los polinomios sobre las variables en las que estn definidos. Son una clase de funciones suaves, esto es, son infinitamente diferenciables (tienen derivadas de todos los rdenes finitos). Debido a su estructura simple, los polinomios son muy sencillos de evaluar, y se usan ampliamente en anlisis numrico para interpolacin polinmica o para integrar numricamente funciones ms complejas. Una manera muy eficiente para evaluar polinomios es la utilizacin de la regla de Horner. En lgebra lineal el polinomio caracterstico de una matriz cuadrada codifica muchas propiedades importantes de la matriz. En teora de los grafos el polinomio cromtico de un grafo codifica las distintas maneras de colorear los vrtices del grafo usando x colores. Con el desarrollo de la computadora, los polinomios han sido remplazados por funciones spline en muchas reas del anlisis numrico. Las splines se definen a partir de polinomios y tienen mayor flexibilidad que los polinomios ordinarios cuando definen funciones simples y suaves. stas son usadas en la interpolacin spline y en grficos por computadora. Segn el grado del polinomio las funciones polinmicas pueden clasificarse en: Grado Nombre Expresin

funcin constante

y=a

funcin lineal

y = ax + b es un binomio del primer grado

funcin cuadrtica

y = ax + bx + c es un trinomio del segundo grado

funcin cbica

y = ax + bx + cx + d es un cuatrinomio de tercer grado

PROPIEDADES Operacin en funciones polinmicas Propiedades Suma Conmutativa f(x) + g(x) = g(x) + f(x) Asociativa E. neutro Producto f(x) g(x) = g(x) f(x)

[f(x) + g(x)] + h(x) =f(x) + [g(x) + f(x) [g(x) h(x)] h(x)] =[f(x) g(x)] h(x) f(x) + N(x) = N(x) + f(x) = f(x),siendo N (x) = 0 f(x) I(x) = I(x) f(x) = f(x),siendo I(x) = 1 No se cumple

E. simtrico f(x) + [-f(x)] = [-f(x)] + f(x) = 0

Distributiva f(x) [g(x) + h(x)] = f(x) g(x) + f(x) h(x) FUNCIN RACIONAL Este artculo trata sobre el concepto matemtico. Para la capacidad de razonar, vase Racionalidad.

Funcin racional de grado 2: y = (x2-3x-2) / (x2-4).

Funcin racional de grado 3: y = (x3-2x) / (2(x2-5)). En matemticas, una funcin racional es una funcin que puede ser expresada de la forma:

Donde P y Q son polinomios y x una variable, siendo Q distinto del polinomio nulo. Las funciones racionales estn definidas o tienen su dominio de definicin en todos los valores de x que no anulen el denominador.1

Las funciones racionales tienen diversas aplicaciones en el campo del anlisis numrico para interpolar o aproximar los resultados de otras funciones ms complejas, ya que son computacionalmente simples de calcular como los polinomios, pero permiten expresar una mayor variedad de comportamientos.

PROPIEDADES

Toda funcin racional es de clase las races del polinomio Q(x). oblicuas). FUNCIN EXPONENCIAL

en un dominio que no incluya

Todas las funciones racionales tienen asntotas (verticales, horizontales u

La funcin exponencial, es conocida formalmente como la funcin real ex, donde e es el nmero de Euler, aproximadamente 2.71828.... Esta funcin tiene por dominio de definicin el conjunto de los nmeros reales, y tiene la particularidad de que su derivada es la misma funcin. Se denota equivalentemente como f(x)=ex o exp(x), donde e es la base de los logaritmos naturales y corresponde a la funcin inversa del logaritmo natural. En trminos mucho ms generales, una funcin real E(x) se dice que es del tipo exponencial en base a si tiene la forma

Siendo nmeros reales, . As pues, se obtiene un abanico de exponenciales, todas ellas similares, que dependen de la base a que utilicen.

PROPIEDADES Las funciones exponenciales (y exponenciales en base distinta a e) satisfacen las siguientes propiedades generales.

Son las nicas funciones que son igual a su derivada (multiplicada por una constante ,en el caso de que tengan una base distinta a e)

su lmite en - es 0, y en + es +

Se aplica a la qumica y fsica. En algunos elementos radioactivos son de tal naturaleza que su cantidad disminuye con respecto al tiempo, se cumple la ley exponencial y se dice que el elemento decrece o decae. En la qumica, el PH de una sustancia se define como: H = -Log [H+], donde [H+] es la concentracin de iones de una sustancia expresada en moles por litro. El PH del agua destilada es 7. Una sustancia con un PH menor que 7, se dice que es cida, mientras que su PH es mayor que 7, se dice que es base. Los ambientalistas miden constantemente el PH del agua de lluvia debido al efecto daino de la "lluvia cida" que se origina por las emisiones de dixido de azufre de las fbricas y plantas elctricas que trabajan con carbn.

Otras de la aplicacin de las funciones exponencial fue con el descubrimiento del Polonio (elemento radioactivo) descubierto por Marie Curie en 1 898 decae exponencialmente de acuerdo a la funcin: m = m0 e-0,005t, donde m0 es la masa inicial del Polonio, m es la masa al cabo de un tiempo y t es el tiempo en das. El crecimiento poblacional (Demografa) de una regin o poblacin en aos, parece estar sobre una curva de caracterstica exponencial que sugiere el modelo matemtico dado por: N = N0 ekt, donde N0 es la poblacin inicial, t es el tiempo transcurrido en aos y k es una constante. (En 1798, el economista ingls Thomas Malthus observ que la relacin N = N0 ekt era vlida para determinar el crecimiento de la poblacin mundial y estableci, adems, que como la cantidad de alimentos creca de manera lineal, el mundo no poda resolver el problema del hambre. Esta lgubre prediccin ha tenido un impacto tan importante en

el pensamiento econmico, que el modelo exponencial de crecimiento poblacional se conoce con el nombre de modelo Malthusiano. En la medicina, muchos medicamentos son utilizados para el cuerpo humano, de manera que la cantidad presente sigue una ley exponencial de disminucin. En Matemtica Financiera (Administracin), para el clculo de inters compuesto se emplean las funciones exponenciales. Por ejemplo: supongamos que se tiene cierta cantidad inicial de dinero P0 que se coloca a un inters anual de la i%. Al final del primer ao se tendr el capital inicial ms lo que se ha ganado de inters P0i, si este proceso se contina por n aos, la expresin que se obtiene est dada por: P= P0 (1+i)n, donde P es el capital final si los intereses se acumulan en un perodo de tiempo, P0 es el capital inicial, i es la tasa de inters (anual, mensual, diaria) y n es el perodo de tiempo (ao, meses, das, etc.). Se llama funcin exponencial de base a, siendo a un nmero real positivo y distinto de 1, a la funcin f(x) = expa x y se lee exponencial en base a de x.

Propiedades 1a. 2a. Para Para x x = =

de 0, 1, la la

la

funcin toma toma el el

exponencial valor valor 1: a: f f

y (0) (1) = =

= a0 a1 = =

ax 1 a

funcin funcin

3a. La funcin es positiva para cualquier valor de x: f(x)>0. Esto es debido a que la base de la potencia, a, es positiva, y cualquier potencia de base positiva da como resultado un nmero positivo. 4a. Si la base de la potencia es mayor que 1, a>1, la funcin es creciente. 5a. Si la base de la potencia es menor que 1, a<1, la funcin es decreciente.

ECUACIONES EXPONENCIALES Las ecuaciones en las que la incgnita aparece como exponente son ecuaciones exponenciales. No hay ninguna frmula general que indique cmo resolver cualquier ecuacin exponencial. Slo la prctica ayuda a decidir, en cada caso, qu camino tomar. Para resolver estas ecuaciones hay que tener presente algunos resultados y propiedades: 1. ax = ay x = y Conviene, por tanto, siempre que sea posible, expresar los dos miembros de la ecuacin como potencias de la misma base. DEFINICIN DE LOGARITMO: Se llama logaritmo en base a del nmero x al exponente b al que hay que elevar la base para obtener dicho nmero.

Que se lee: "el logaritmo en base a del nmero x es b" , o tambin : "el nmero b se llama logaritmo del nmero x respecto de la base a " . Como podemos ver, un logaritmo no es otra cosa que un exponente, hecho que no debemos olvidar cuando trabajemos con logaritmos. La constante a es un nmero real positivo distinto de 1, y se denomina base del sistema de logaritmos. La potencia ab Para cualquier valor real de b solo tiene sentido si a > 0. La funcin logartmica (o funcin logaritmo) es una aplicacin biyectiva del conjunto de los nmeros reales positivos, sin el cero, en el conjunto de los nmeros reales:

Es la funcin inversa de la funcin exponencial. La operacin logaritmacin (extraccin de logaritmos, o tomar logaritmos) es siempre posible en el campo real cuando tanto la base a del logaritmo como el nmero x son positivos, (siendo, adems, a distinto de 1)

Propiedades :

Logaritmos Decimales :

Se llaman logaritmos decimales o vulgares a los logaritmos que tienen por base el nmero 10. Al ser muy habituales es frecuente no escribir la base.

Logaritmos Neperianos :

Se llaman logaritmos neperianos, naturales o hiperblicos a los logaritmos que tienen por base el nmero e.

Cambio de Base :

Antilogaritmo :

Es el nmero que corresponde a un logaritmo dado. Consiste en el problema inverso al clculo del logaritmo de un nmero.

Es decir, consiste en elevar la base al nmero resultado:

Cologaritmo :

Se llama cologaritmo de un nmero N al logaritmo de su recproco.

Equivalencias tiles :

Ecuaciones Logartmicas :

Aquella ecuacin en la que la incgnita aparece sometida a la operacin de logaritmacin. La igualdad de los logaritmos de dos expresiones implica la igualdad de ambas. (Principio en el que se fundamenta la resolucin de ecuaciones logartmicas, tambin se llama "tomar antilogaritmos")

Frecuentemente se resuelven aplicando las propiedades de los logaritmos antes enunciadas, en orden inverso, simplificando y realizando transformaciones oportunas.

Sistemas de Ecuaciones Logartmicas :

Se llaman sistemas de ecuaciones logartmicas a los sistemas de ecuaciones en los que la/s incgnita/s est sometida a la operacin logaritmo. Se resuelven como los sistemas ordinarios pero utilizando las propiedades de los logaritmos para realizar transformaciones convenientes.

Caractersticas tiles :

Si a > 1, Los nmeros menores que 1 tienen logaritmo negativo Los nmeros mayores que 1 tienen logaritmo positivo.

Si 0 < a < 1, Los nmeros menores que 1 tienen logaritmo positivo Los nmeros mayores que 1 tienen logaritmo negativo

Funciones En los medios de comunicacin (peridicos, revistas, televisin...), cada da aparecen ms grficas. Es una manera rpida de dar informacin que relaciona m... Dada una funcin f(x) y dos valores x = a y x = b tales que a < b:

Si f (b) > f(a), la funcin es creciente entre a y b. Si f (b) < f(a), la funcin es decreciente entre a y b. Si f (a) = f (b), la funcin es constante entre a y b. El crecimiento y decrecimiento de una funcin son propiedades locales, es decir, no se estudian globalmente, sino por intervalos.

Funcin creciente

FUNCIN DECRECIENTE Una grfica es creciente en un tramo si, al aumentar la variable independiente x, aumenta tambin la variable dependiente y. Una grfica es decreciente en un tramo si, al aumentar la variable independiente x, disminuye la variable dependiente y. PERIDIOCIDAD DE LAS FUNCIONES Una funcin es peridica si su grfica se va repitiendo cada cierto valor de la variable independiente x. A dicho valor se le llama periodo. Se cumple:

Dados dos conjuntos X, Y, consideremos a todas las posibles aplicaciones (funciones) que pueden formarse entre estos dos conjuntos. Podemos diferenciar los siguientes casos:

FUNCIN INYECTIVA Y SOBREYECTIVA

Si a cada imagen le corresponde una nica preimagen, inyectiva. Si la imagen de la funcin es igual al codominio, sobreyectiva o suprayectiva.

Una funcin que sea inyectiva y sobreyectiva simultneamente, se denomina biyectiva .

Puede haber funciones que sean biyectivas, inyectivas pero no suprayectivas, suprayectiva pero no inyectiva o que no se cumple ninguna de esas condiciones, en cuyo caso no tiene un nombre especfico. 'Definiciones alternas: sea codominio Y. Consideremos la ecuacin .

dada y sea b un elemento cualquiera del

la funcin es suprayectiva o sobreyectiva si, y slo si, la ecuacin (*) siempre tiene al menos una solucin. la funcin es inyectiva si, y slo si, la ecuacin (*) tiene a lo ms una solucin.

la funcin es biyectiva cuando, y slo cuando, es inyectiva y suprayectiva a la vez.

Vamos a ilustrar esos diferentes tipos de funciones (aplicaciones) en un Diagrama de Venn, el conjunto universal U, representado por un rectngulo, es el conjunto de todas las posibles aplicaciones, el conjunto A es aquel de las aplicaciones inyectivas, y el conjunto B aquel de las sobreyectiva, esto nos permite ver los distintos tipos de aplicaciones de un modo grfico.

Aplicacin inyectiva y no sobreyectiva

En una funcin inyectiva, cada elemento imagen tiene nica preimagen. Una funcin que no sea inyectiva, tendr al menos dos elementos diferentes del dominio que tienen la misma imagen. En una funcin suprayectiva (sobreyectiva) cada elemento del codominio es imagen de algn elemento del dominio. Una funcin no ser suprayectiva, cuando al menos un elemento del codominio (conjunto final) no tenga una preimagen. En el diagrama de Venn corresponden a las aplicaciones que pertenecen a A y no pertenecen a B, esto es las que pertenecen a la diferencia de A y B: A-B. En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto Y tendr mayor nmero de elementos que X cuando tratamos de compararlos. Ejemplo En el diagrama de la figura: Todos los elementos de Y, que tienen origen, tienen un nico origen, esto hace que la aplicacin sea inyectiva El elemento d de Y, no tiene ningn origen por lo que esta aplicacin no es sobreyectiva.

Segundo ejemplo

Partiendo del conjunto de pinceles con pintura de colores: , ,

Sobre el conjunto de caras pintadas: , , ,

Asociando cada pincel con la cara correspondiente:

Dado que cada pincel tiene una cara y solo una cara de su color esta correspondencia es una aplicacin, como las caras que tiene pincel de su color, tienen un solo pincel de su color, la aplicacin es inyectiva, y como la cara pintada de amarillo, no tiene ningn pincel de este color, la aplicacin no es sobreyectiva.

Aplicacin no inyectiva y sobreyectiva

Una aplicacin no inyectiva tiene al menos un elemento imagen que tiene dos o ms orgenes y una sobreyectiva todos los elementos del conjunto final tienen al menos un elemento origen. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y si pertenecen a B, esto es las que pertenecen a la diferencia de B y A: B-A. Para esta aplicacin el conjunto X ha de tener mayor nmero de elementos que Y, la cardinalidad de X ha de ser mayor que la de Y. Ejemplo En el diagrama de la figura: El elemento c de Y, tiene dos orgenes: el 3 y el 4, por lo que esta aplicacin no es inyectiva. Todos los elementos de Y, tienen origen, esto hace que la aplicacin sea sobreyectiva.

Segundo ejemplo

Igual que en el ejemplo anterior partiremos del conjunto de pinceles con pintura de colores: , , ,

En este caso hay dos pinceles con pintura azul, pero a pasar de tener el mismo color de pintura son dos pinceles distintos. Como conjunto final tenemos el conjunto de caras pintadas: , ,

Asociando cada pincel con la cara del mismo color, vemos que cada pincel tiene una cara pintada de su color y solo una, esto hace que la correspondencia sea una aplicacin, la cara azul tiene dos pinceles de su mismo color, por lo que no es inyectiva, todas las caras tiene un pincel con su color, luego la aplicacin es sobreyectiva.

Aplicacin inyectiva y sobreyectiva (biyectiva)

Si una aplicacin es inyectiva y sobreyectiva simultneamente, se denomina biyectiva. Por ser inyectiva los elementos que tienen origen tienen un nico origen y por ser sobreyectiva todos los elementos del conjunto final tienen origen. En el diagrama de Venn el conjunto A es el de las aplicaciones inyectiva y el conjunto B el de las aplicaciones sobreyectiva, las aplicaciones biyectiva, que son inyectiva y sobreyectiva, ser la interseccin de A y B. Estas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo nmero de elementos, la cardinalidad de X es la misma que la de Y, esto tiene una gran importancia cuando se pretende comparar dos conjuntos: Si dados dos conjuntos podemos encontrar una aplicacin biyectiva entre ellos, podemos afirmar, que los dos conjuntos tienen el mismo nmero de elementos. La cardinalidad de X es igual a la de Y.

Ejemplo

En el diagrama de la figura: Todos los elementos de Y, que tienen origen, tienen un nico origen, esto hace que la aplicacin sea inyectiva Todos los elementos de Y, tienen origen, esto hace que la aplicacin sea sobreyectiva. Si tomaremos por conjunto inicial el conjunto de los nmeros naturales:

Y por conjunto final el de los nmeros naturales pares:

Podemos ver que la relacin

Las diferentes definiciones suelen estar ligadas al rea de trabajo, la ms comn y poco general es la definicin de sucesin numrica, en la prctica se usan sucesiones de forma intuitiva:

[editar]Definicin abstracta Clase de finitos o numerables objetos ordenados. [editar]Definicin conjuntista Una sucesin en un conjunto X es una enumeracin de elementos de X, es decir una aplicacin de [editar]Notacin Notaremos por digamos . a una sucesin, donde x la identifica como distinta de otra en X.

La notacin es permisiva en cuanto a su modificacin si realmente es necesario. [editar]Definicin de trmino general Llamaremos trmino general de una sucesin a ocupa en dicha sucesin. [editar]Definicin de parcial Llamaremos parcial de a una sucesin donde ,donde indica el lugar que

[editar]Ejemplos en distintas reas Estos ejemplos pretenden ser una pequea muestra de la infinidad, propiamente dicha, de usos que tienen dichas sucesiones en matemticas. El trabajo interno en el desarrollo de cada tema en cada rea obliga a diversificar el modo de nominar y notar las sucesiones, hacindose frecuente el uso de ndices, subndices y superndices para salvar la sobrecarga de notacin y hacerlas ms legibles y estticas en cuanto a la presentacin. [editar]En

Se que

puede

tener

una

sucesin

tal

[editar]En el espacio de las sucesiones finitas en Se que [editar]En K[x] Un polinmio que [editar]En no es ms que una sucesin finita . tal puede tener una sucesin tal

representada como

Se puede tener una sucesin donde .

tal que

[editar]En un espacio vectorial topolgico Se puede tener una sucesin sucesin real arbitraria y B un abierto. [editar]Sucesiones funcionales Se puede tener una sucesin de funciones continuas [editar]En el lenguaje proposicional . , donde , donde es una

Sea

un alfabeto, llamaremos

al conjunto de sucesiones finitas de n elementos

de A, se define inductivamente por la sucesin de productos cartesianos siguiente:

as .

En homologa simplicial El complejo de cadenas simplicial del complejo simplicial K, no es ms que una determinada sucesin de grupos abelianos y morfismos En el lenguaje de las categoras Sea una categora, podemos tener una sucesin , donde .

Una sucesin numrica se formaliza como una aplicacin de los naturales en los reales, es decir:

Que escribiremos simplemente como subndices son enteros, tambin vale .

o, si se da por entendido que los

El nombre que recibe la sucesin tambin puede hacer referencia a los valores que toma sobre los reales, as, si la imagen de fuesen los racionales, es decir fracciones

enteras del tipo

, podemos llamarla sucesin de nmeros racionales, y lo

mismo para los irracionales, naturales, enteros, algebraicos, trascendentes, ... . Para definir trmino a trmino la sucesin, se indica para cada termino el valor que le corresponde directamente:

El primero es el segundo es el tercero es

a por ejemplo 3, a por ejemplo -10, a por ejemplo 9, y as sucesivamente.

Para indicar, si hace falta, el comportamiento del resto de los valores, se usa el trmino general y se escribe acompaado como ejemplo nmero al azar. a por

Los puntos suspensivos dan por entendido que los valores de la sucesin se omiten ya que estos quedan claramente determinados hasta el infinito, siendo el nsimo valor, nombre , el portador del mtodo para generar el valor de cada trmino, y el

puede ser cambiado, si hace falta, por , , , , ... .

Materialmente seria: 3, -10, 9, 7,... , nmero al azar, ... . Sucesin finita Diremos que una sucesin es finita si determinamos su ltimo termino, por ejemplo el n-simo: Genricamente: general si hiciese falta. ejemplo: 100, 99, 98, ... , 1, 0. Sucesin constante Diremos que una sucesin es constante si todos los trminos valen , un nmero real cualquiera, ejemplo: Genricamente ejemplo: si el mismo, 1. Sucesin creciente . queda como 1, 1, 1, 1, ... ,1 ,... , es decir, que todos los valores son , donde sera el trmino

Si imponemos al termino general, de una sucesin numrica, la condicin que , es decir, que el siguiente trmino, , siempre sea mayor estricto

que su predecesor,

, se llaman sucesiones estrictamente crecientes:

Para naturales: 1, 2, 3, 4, 5, 6, ... . Para enteros: -10, -9, -8, -7, -6, ... . Para reales: Si imponemos . , es decir, una desigualdad no estricta, entonces se pueden

incluir, entre otras, las sucesiones constantes. Sucesin decreciente Al igual que las crecientes tenemos, segn el termino general, que: si si entonces la sucesin es decreciente, es estrictamente decreciente.

Sucesin alternada Intuitivamente se llama sucesin alternada cuando alterna valores de signo opuesto, como an = ( 1)n que nos genera la sucesin: 1, -1, 1, -1, 1, -1,.... Utilizado por las series llamadas series alternas. Segn el trmino general El termino general de la sucesin queda definido de forma explcita si su valor est en funcin del valor del subndice, es decir, si funcin cualquiera como por ejemplos: Que dara la sucesin de naturales sucesivos, es decir, 1, 2, 3, 4, 5, ... . Que dara todos los nmero pares incluido el cero, es decir, 0, 2, 4, 6, 8, ... . Que dara la sucesin de cuadrados siguiente, 0, 1, 4, 9, 16, ... . donde es una

Dada una funcin funcin decir,

, llamaremos extensin en los reales de cuyos valores coinciden en el dominio

a una es

de ,

. Error fatal es nombrar a la extensin en los reales con el mismo nombre !, pues, se trata de una asociacin totalmente arbitraria y no univoca que trae confusin y no tiene sentido para algunas funciones definidas a trozos. Comprubese que solo si la sucesin que determinan sobre los enteros es la misma, pero no son la misma funcin!, llamemos a la extendida por ejemplo o si es un polinomio, o o si son funciones trigonomtricas,

agregando subndices si hace falta.

La funcin f puede adquirir propiedades de la extendida P, si existe P con dichas propiedades, como lmites al infinito, monotona, acotaciones... .

Casos en los que f no puede extenderse sobre los reales:

si definimos un como el nmero de factores propios de n. funciones aritmticas, como la funcin fi de Euler o la Funcin de Mbius .

El trmino general de la sucesin queda definido de forma implcita si su valor depende de sus predecesores, esto se indica en general del modo siguiente Dados previamente los valores de trmino forma inductiva como ejemplo diferencias . con la ecuacin general como , podemos definir el de por en

APROXIMACIONES

Cuando un nmero tiene muchas cifras, es difcil recordarlo y operar con l. Por eso lo solemos sustituir por otro ms manejable de valor similar, prescindiendo de sus ltimas cifras, que sustituimos por ceros. Ese otro nmero ms sencillo decimos que es una aproximacin del nmero de partida. Cuando aproximamos un nmero, nos quedamos con sus primeras cifras y completamos con ceros. Esas cifras, con las que nos quedamos, se llaman cifras significativas.

Llamamos orden de la aproximacin, a la posicin hasta la que nos quedamos con cifras significativas.

Se puede aproximar por defecto si el nmero utilizado es menor que el de partida, o por exceso si el nmero utilizado es mayor que el de partida.

Aproximar significa en matemticas sustituir ciertos objetos X bajo inters por otros ms amigables que denotaremos por A. El objetivo es obtener cierta informacin relativa a X. Es muy frecuente que X sea la incgnita de un problema. Resolver dicho problema significa obtener, con muchas dificultades, cierta informacin. Sobre la base de los datos que ofrece el problema encontramos un elemento A- posiblemente en otro espacio ms simple que el original donde habita X- que es portador de informacin relativa a X. Esto ltimo sera un mtodo de solucin. La Teora de Aproximacin intenta decirnos cmo construir A, y cmo medir la calidad de la informacin que ste ltimo nos brinda. Es tpico abordar la construccin de una sucesin (An) tal que , en el sentido de que An es portador de informacin . Interesa

sobre X, y que la correspondiente calidad aumenta cuando cuando

entonces estudiar la relacin entre la calidad y la complejidad (tamao de n), . La Teora de la Aproximacin es uno de los dos grandes pilares en los que se apoya el Anlisis Numrico. El otro es el lgebra Matricial Numrica. INTRO. LMITES DE SUCESIONES Con el estudio de lmites de sucesiones se inaugura el bloque temtico dedicado al clculo (o anlisis) infinitesimal. Este nombre se debe a que se va a especular con cantidades infinitesimales (infinitamente pequeas) en el clculo diferencial e integral, fundamentalmente, y se reflexionar acerca de sucesiones de nmeros al considerar una cantidad infinita de trminos. Los conceptos del anlisis infinitesimal son de una extraordinaria sutileza y el fruto de muchos aos de pensamiento. En el estudio de progresiones se indic que una sucesin es una coleccin de nmeros dispuestos uno a continuacin de otro y separados por comas. Esto puede

considerarse como una definicin poco rigurosa, pero una definicin ms exacta no ayudara mucho a entender con mayor claridad lo que es una sucesin. En las progresiones, en general, se centr la atencin en un nmero finito de trminos; en lo sucesivo tendr ms inters considerar los infinitos trminos de una progresin. Todas las progresiones geomtricas cuya razn, en valor absoluto, es menor que uno, tienen algo en comn: los trminos de la sucesin se van acercando a cero rpidamente (la sucesin tiende a cero). Por supuesto, no todas las sucesiones presentan la particularidad de que sus trminos se aproximen paulatinamente a un nmero, llamado lmite de la sucesin. Las que as se comporten se llamarn convergentes y, de todas las sucesiones, stas son las merecedoras de estudio. El concepto de lmite ha sido de enorme utilidad en el desarrollo de las matemticas; en l se fundamenta el clculo infinitesimal. Aunque muchos matemticos utilizaron la idea intuitiva de lmite, fue el barn de Cauchy (1789-1857), a principios del siglo XIX, quien dio una definicin satisfactoria de lmite y, en consecuencia, de derivada de una funcin. SUCESIONES. LMITES Una sucesin genrica se simboliza por a1, a2, a3, ..., an , ... en la que el subndice Denota, con toda exactitud, el lugar que cada trmino ocupa en la misma. As, a5 es el quinto trmino de la sucesin.

Cuando en una sucesin haya que referirse a un trmino cualquiera sin especificar el lugar que ocupa se har siempre mencin al trmino an , denominado trmino nsimo. En definitiva, el lugar que cada trmino tome en una sucesin ser de vital importancia a la hora de hacer un mnimo anlisis del comportamiento de la sucesin. La simbolizacin de una sucesin por a1, a2, a3, ..., an , ...; o ms simplificadamente (an ), no es en modo alguno gratuita. Los subndices recorren los nmeros naturales porque una sucesin tiene tantos elementos como nmeros naturales hay; es decir, una sucesin tiene una cantidad infinita numerable de trminos. Se debe recordar que el trmino general de una sucesin es una expresin que permite conocer un elemento cualquiera siempre que se sepa el lugar que ocupa. Entorno Name=1;HotwordStyle=BookDefault;Dado un punto (nmero) a, un entorno centrado en a es un intervalo de la forma (a - e, a + e); es decir, es el conjunto de puntos x tales que a - e < x < a + e . Ejercicio: clculo del trmino general de una sucesin -----------------------------------------------------------------------------------------------------------------------Encontrar el quincuagsimo trmino de la sucesin 1, 3, 5, 7,... Resolucin: Es una progresin aritmtica de diferencia 2.

 Su trmino general es: an = 1 + (n - 1)2 = 2n - 1 a50 = 250 - 1 = 99

Resolucin: Los numeradores forman una progresin aritmtica de diferencia 2. Su trmino general es an = 2n + 1 Cada denominador es el cuadrado de su numerador aumentado en una unidad: 10 = 32 + 1; 26 = 52 + 1; 50 = 72 + 1; 82 = 92 + 1 El trmino general de la sucesin es:

El problema del lmite Encontrar el lmite de una sucesin es un problema que consiste en determinar a qu nmero, si es que existe, se aproximan sus trminos.

al aumentar n (el nmero de orden), an est cada vez ms prximo a cero:

1. Ningn trmino de la sucesin llega a valer cero. 2. Elegido un entorno centrado en cero, por pequeo que ste sea, siempre se encuentra un trmino tal que a partir de l todos los trminos de la sucesin estn dentro de ese entorno. Por ejemplo, si se elige el entorno (-0,0001 ; 0,0001), a partir del trmino a10 000, todos los dems trminos (an , n> 10 000) estn en dicho entorno. En efecto: a10 000 = 0,0001. Coincide con uno de los extremos del intervalo y, por definicin, no tiene cabida en l.

(-0,0001 ; 0,0001). Si n > 10 001, an < a10 001 < 0,0001 Se concluye que si n > 10 000, an (-0,0001; 0.0001). Este ejemplo pone las cosas a punto para comprender la definicin de lmite de una sucesin. LMITE DE UNA SUCESIN

Name=1; HotwordStyle=BookDefault; Name=2; HotwordStyle=BookDefault; Dada una sucesin (an ), se dice que (an ) tiene por lmite I, tiende a l o converge a l cuando n tiende a infinito (), y se simbolizar

o ms simplificadamente (an ) I, si para todo e > 0 (psilon) tan pequeo como se quiera, existe un subndice n0 tal que para todo n n0, an pertenece al entorno (I - e, I + e). Es decir, a partir de un elemento en adelante todos caen en el entorno citado. Esto significa que para n n0, | an - I | < e. Y recordando el significado de valor absoluto, | an - I | < e se traduce en -e < an - I < e, y sumando I a los tres miembros de la desigualdad, I -e < an < I + e. EL nmero n0 que se ha de encontrar para cada e, depende de ste. En general, cuando ms pequeo se tomo e, mayor ha de ser el n0 correspondiente. Sucesin convergente Toda sucesin que tenga lmite se dice que es convergente. Una sucesin (an ) que tenga por lmite I, se dir que tiende a I o que converge a I.

------------------------------------------------------------------------------------------------------------------------

Resolucin: Se toma un e cualquiera (sin especificar ms). Hay que encontrar un no tal que para n no , 0 - e < an < 0 + e.

2. Decidir si la sucesin de trmino general

es convergente y, en caso afirmativo, hallar el lmite. Resolucin:

Name=2; HotwordStyle=BookDefault; Para n =1, a1 = -1/6 = -0,1666 Para n = 7, a7 = 0,9166

a10 000 = 1,9997001; a30 000 = 1,9995667;... Todo parece indicar que el lmite de esta sucesin, cuando n tiende a infinito, es 2. Para probarlo, se har uso de la definicin. Se toma un e cualquiera. Hay que ver a partir de qu n se cumple |an - 2| < e.

13 < e(n + 5) = en + 5e 13 - 5e < en.

En consecuencia, a12 966, a12 997, a12 998 ... estn todos contenidos en el

-----------------------------------------------------------------------------------------------------------------------Primera propiedad de las sucesiones convergentes a) Si una sucesin (an ) tiene lmite I positivo, existe un trmino a partir del cual todos los trminos de la sucesin son positivos. b) Si una sucesin (an ) tiene lmite I negativo, existe un trmino a partir del cual los trminos de la sucesin son negativos.

c) Si una sucesin converge a cero, no se puede asegurar nada acerca del signo de cada uno de los trminos de la sucesin. Demostracin:

Name=3; HotwordStyle=BookDefault;

Por definicin de lmite de una sucesin, existe un subndice n0 tal que para

Adelante, los que le siguen son positivos.

Name=4; HotwordStyle=BookDefault; El razonamiento es anlogo al del caso anterior.

son alternadamente positivos y negativos. Sucesiones alternadas Son aquellas que alternan los signos de sus trminos (positivo, negativo, positivo). Sucesiones divergentes Una sucesin es divergente si los trminos se aproximan cada vez ms a infinito o a menos infinito (+ - ). Expresado de forma rigurosa: Una sucesin (an ) tiene por lmite + diverge a + si elegido un nmero k tan grande como se quiere, se puede encontrar un subndice no tal que para cualquier n no , an > k. Esto es equivalente a afirmar que para n no , an est en el intervalo (k, +), es decir, los trminos se hacen tan grandes como se quiera. Una sucesin (an ) tiene por lmite - diverge a - si elegido un nmero k tan grande como se quiere, se puede encontrar un subndice no tal que para cualquier n no , an < -k. Esto equivale a decir que para n no , an pertenece al intervalo (-, -k). Igual que en las sucesiones convergentes, para cada nmero k elegido, el subndice no ser distinto. Cuanto mayor sea k, mayor resultar no . Sucesin oscilante

Name=5; HotwordStyle=BookDefault; Una sucesin (an ) se dice que es oscilante si no es convergente ni divergente. Ejercicio: sucesiones divergentes y oscilantes Probar que la sucesin an = 5n2 - 9 diverge a +. Resolucin: Se elige un nmero k tan grande como se desee. Por ejemplo k = 108. Hay que encontrar los valores de n para los cuales an >108, es decir, 5n2- 9 >108. En 5n2 - 9 > 108 se suma 9 a los dos miembros: 5n2 > 108 + 9 = 100 000 009.

A partir del trmino a4 473, an > 108. Tiene lmite la sucesin an = (-1)n 3? Resolucin: Los trminos de esta sucesin son: -3, 3, -3,3, -3,3, La sucesin an = (-1)n 3 es oscilante. Se ha de probar que no tiene lmite: los posibles lmites son 3 y -3.

Si se toma e = 1, los trminos impares a2n-1 = -3 no estn en el intervalo (I - e, I + e) = (2, 4). No se puede encontrar un n0 a partir del cual todos los trminos estn dentro del intervalo (2, 4).

Si se toma e = 1, los trminos pares a2n = 3 no se encuentran en (I - e, I + e) = (-4, 2). No se puede encontrar un n0 a partir del cual todos los trminos estn dentro del intervalo (-4, 2).

Por lo tanto la sucesin es oscilante. Es fcil caer en la tentacin de tomar el intervalo (-4,10) y pensar que puesto que todos los trminos de la sucesin pertenecen a l, la sucesin debera tener lmite. Sin embargo, la definicin de lmite obliga a que elegido un e cualquiera todos, salvo una cantidad finita de trminos, queden en el intervalo (I - e, I + e). Basta, pues, elegir un e para el que no se cumpla esta premisa y concluir que la sucesin no tiene lmite. SUCESIONES ACOTADAS Sucesiones acotadas superiormente e inferiormente Una sucesin (an ) est acotada superiormente si existe un nmero k tal que cualquier trmino de la sucesin es menor o igual que k, es decir, para todo n, an k.

Al nmero k se le llama cota superior de la sucesin. De la misma forma, una sucesin est acotada inferiormente si existe un

nmero M tal que cualquier trmino de la sucesin es mayor o igual que M. En consecuencia, para cualquier n, an M. Al nmero M se le llama cota inferior de la sucesin. Sucesin acotada Una sucesin que est acotada superiormente e inferiormente se dice que est acotada. En este caso existe un nmero k tal que -k < an < k, es decir, |an | < k. Observando estas definiciones es claro que una sucesin que diverge a + no puede estar acotada superiormente, y una sucesin que diverge a - no est acotada inferiormente. Ejercicio: ejemplos de sucesiones acotadas Inferiormente por 2 y superiormente por 3. Resolucin:

Name=1; HotwordStyle=BookDefault;

Multiplicando ambos miembros por n2: 2n2 + 1 2n2. Restando 2n2 : 1 0, lo cual es cierto.

Restando 2n2 a los dos miembros, 1 n2. Y esto es cierto ya que n es un nmero natural.

Resolucin:

Otras propiedades de las sucesiones convergentes Propiedad 1 Cualquiera sucesin convergente est acotada. Propiedad 2 Si (an ) y (bn ) son dos sucesiones convergentes con lmites L1 y L2 respectivamente,

y tales que an bn para todo n, entonces L1 L2.

Propiedad 3 Si (an ), (bn ) y (cn ) son tres sucesiones convergentes tales que an bn cn

La ltima propiedad se utiliza en numerosas ocasiones para determinar el lmite de una sucesin si se conocen los lmites de otras dos sucesiones, una de ellas con trminos mayores que las de la primera y la otra con trminos menores. Ejercicio: clculo de lmites

Resolucin:

La sucesin constante 0: 0, 0, 0, 0, ... tiene por lmite 0.

MITE DE UNA FUNCIN EN UN PUNTO Significado de lim f(x) cuando

(lmite de f(x) cuando x tiende a c) es el comportamiento de la funcin cuando x se aproxima a c, sin importar si es por la derecha o por la izquierda. Si , decimos que . Anlogamente, cuando los dos lmites laterales son o . Si los dos lmites laterales no toman el mismo valor, se dice que no existe el

Lmite en un punto en que la funcin es contina

Lmite de un cociente de dos polinomios Buscamos calcular, al sustituir la c en el numerador y el denominador podemos encontrar las siguientes indeterminaciones: En definitiva para calcular el lmite de una funcin racional seguimos el siguiente esquema:

significa que x toma valores cada vez ms prximos a c. Se lee x tiende a c (x tiende a c por la izquierda) significa que x toma valores cada vez ms prximos a c, pero menores que c. (x tiende a c por la derecha) significa que x toma valores cada vez ms prximos a c, pero mayores que c. LIMITES LATERALES Diremos que el lmite de una funcin f(x) cuando x tiende hacia a por la izquierda es L , si y slo si para todo > 0 existe > 0 tal que si x (a+, a ) , entonces |f (x) - L| < .

Diremos que el lmite de una funcin f(x) cuando x tiende hacia a por la derecha es L , si y slo si para todo > 0 existe > 0 tal que si x (a, a + ), , entonces |f (x) - L| < .

El lmite de una funcin en un punto si existe, es nico.

En este caso vemos que el lmite tanto por la izquierda como por la derecha cuando x tiende a 2 es 4 . El lmite de la funcin es 4 aunque la funcin no tenga imagen en x = 2. Para calcular el lmite de una funcin en un punto, no nos interesa lo que sucede en dicho punto sino a su alrededor. Ejemplo Dada la funcin:

Hallar

Como no coinciden los lmites laterales , la funcin no tiene lmite en x = 0.

LIMITE FINITO

Definicin Intervalo cerrado Un segmento en el eje numrico con extremos a y b, con a < b, se denomina intervalo. Si los puntos extremos, a y b, estn incluidos en el intervalo, se dice que el intervalo es cerrado, y se denota por [a,b]. [a,b] = { x perteneciente a R / a <= x <= b } El intervalo cerrado [a,b] consiste de los puntos x para los cuales a <= x <= b.

Definicin Intervalo abierto Si los puntos extremos se excluyen, el intervalo se llama abierto, y se denota por (a,b). (a,b) = { x perteneciente a R / a < x < b } El intervalo abierto (a,b) consiste de aquellos puntos x para los cuales a < x < b.

Definicin Entorno del punto a de radio Es el intervalo abierto (a - ,a + ), esto es, consiste de los valores x para los cuales a < x < a + . Ea, = { x perteneciente a R / |x - a| < }

Son los puntos x cuya distancia al punto a es menor que .

Definicin Entorno reducido de a de radio No incluye al punto a.

E*a, = { x perteneciente a R / 0 < |x - a| < } Son los puntos x cuya distancia al punto a es menor que pero mayor que 0, es decir, no se incluye a a.

El concepto de Lmite Consideremos la funcin f(x)=x2. Observemos los valores de f(x) para x cercanos a 3.

x 2,8 2,9

f(x) 7,84 8,41

Cuando x se aproxima a 3, los valores de f(x) se acercan a 9. Se dice que f(x) tiende a 9 cuando x tiende a 3.

2,95 8,7025 2,99 8,9401 2,99 9 3,00 1 8,994001

9,006001

3,01 9,0601 3,05 9,3025 3,1 3,2 9,61 10,24

En general, una funcin f(x) tiende a un lmite b cuando x tiende a a, si f(x) difiere arbitrariamente poco de b para todo x situado suficientemente cerca de a. En smbolos, limx->af(x)=b.

Enseguida se expresa ms precisamente la definicin de lmite.

Definicin Lmite finito de una funcin limx->a f(x)=b <=> para todo >0 existe >0 / para todo x, 0 < |x-a| < |f(x) - b| < . Otra pertenece a Eb,. Se dice que la funcin f(x) tiene lmite b, cuando x tiende a a, si dado positivo arbitrario y tan pequeo como se quiera, existe un tal que para todo x perteneciente al entorno reducido de a de radio , la funcin pertenece al entorno de b de radio . Dicho de otro modo, para cualquier nmero positivo , por pequeo que sea, podemos encontrar un tal que para todos los x dentro del entorno reducido de a de radio se cumple que f(x) est dentro del entorno de b de radio . notacin:

limx->a f(x)=b <=> para todo Eb, existe un E*a, / para todo x perteneciente al E*a, f(x)

limx->af(x)=b significa que por ms pequeo que sea el entorno considerado alrededor de b, va a ser posible encontrar un entorno de a, para cuyos valores x(x a), la funcin f da como resultado valores que estn dentro del entorno de b considerado. En otras palabras, la funcin f(x) tiene lmite b, cuando x tiende a a, si el valor de la funcin f(x) se hace arbitrariamente prximo al valor b cuando x se aproxima al valor a. Notar que la definicin dice entorno reducido de a. Es decir que f(a) puede no existir, o puede estar fuera del entorno de b, pero el lmite de f cuando x tiende a a sigue siendo b.

f(a) b, pero limx->af(x)=b

LIMITE INFINITO Lmite infinito Observemos la funcin f(x)=1/x2 para valores de x positivos muy grandes.

x 100 1.000 10.000 100.000 1.000.00 0

f(x) 1,0x10-4 1,0x10-6 1,0x10

-8

Si tomamos x cada vez mayor, f(x) est cada vez ms cerca de 0. Si x es suficientemente grande podemos conseguir que f(x) se acerque a 0 tanto como queramos. Decimos que f(x) tiende a 0 cuando x tiende a infinito.

1,0x10-10 1,0x10-12

Veamos a continuacin las definiciones precisas de cada uno de los lmites que involucran al infinito.

Definicin Lmite infinito Caso 1: limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) > A.

El lmite de f(x) cuando x->a es infinito positivo, si para cualquier nmero positivo A (tan grande como se quiera), podemos encontrar un nmero tal que, para todos los x dentro del entorno reducido de a de radio se cumple que f(x) es mayor que A. En otras palabras, si para cualquier nmero positivo A que consideremos, existe un entorno reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede hacerse mayor que cualquier nmero, con tal de que x se acerque lo suficiente a a. Por eso se dice que el lmite de f(x) cuando x tiende a a es +inf.

Caso 2: limx->af(x) = -inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) < -A.

Caso 3: limx->+inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x > Bf(x) > A.

Para cualquier nmero positivo A (por grande que sea), es posible encontrar un nmero positivo B tal que para todos los x mayores que B, f(x) es mayor que A. Es decir que f(x) puede ser mayor que cualquier nmero, si x es lo suficientemente grande. Caso 4 limx->+inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x > Bf(x) < -A.

Caso 5: limx->-inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x < -Bf(x) > A.

Caso 6: limx->-inff(x) = -inf <=> para todo A < 0 existe B < 0 / para todo x < -Bf(x) < -A.

Caso 7: limx->+inff(x) = b <=> para todo > 0 existe B > 0 / para todo x > B f(x) pertenece al Eb,.

Caso 8: limx->-inff(x) = b <=> para todo > 0 existe B > 0 / para todo x < -B f(x) pertenece al Eb,.

Una idea intuitiva de funcin continua se tiene al considerar que su grfica es continua, en el sentido que se puede dibujar sin levantar el lpiz de la hoja de papel.

Continuidad de una funcin en un punto Se dice que una funcin f(x) es continua en un punto x = a si y slo si se cumplen las tres condiciones siguientes: 1. Que el punto x= a tenga imagen.

2. Que exista el lmite de la funcin en el punto x = a.

3. Que la imagen del punto coincida con el lmite de la funcin en el punto.

Estudiar la continuidad de

en x =2

f(2)= 4

.2.1. 3.2.2.

Definicin de Continuidad: en un Punto y en un Intervalo. Propiedades y Clculo de Funciones Continuas.

Continuidad de una Funcin

Intuitivamente se puede decir que una funcin es continua cuando en su grfica no aparecen saltos o cuando el trazo de la grfica no tiene "huecos". En la figura 8.6., aparece la grfica de tres funciones: dos de ellas no continuas (discontinuas) en el punto x = a de su dominio (fig. 8.6. (a) y 8.6. (b)) y la otra (fig. 8.6. (c)) continua en todo su dominio.

fig. 8.6. Al mirar con un poco de cuidado las grficas de la fig. 8.6., se pueden deducir intuitivamente, resultados que permitirn comprender con mayor claridad la definicin precisa de lo que significa: En la "ser una grfica funcin de continua la en fig. un punto 8.6. dado (a) de se su dominio". tiene:

i. ii. f(a) existe.

. (Existe).

Pero, grfica si f(a)= L? Para la grfica de

. (Por esta razn f es discontinua) Qu le sucede a la

la

fig.

8.6.

(b)

se

tiene:

i. razn ii. f(a) = L1(Existe). Finalmente, para la grfica de la fig. 8.6. (c) se tiene: f es

No existe. (Por esta discontinua)

i. (Por ii. f(a) (Existe). esta razn f es

. discontinua)

(Existe).

iii. Estas tres condiciones son las que en ltima instancia, permiten deducir intuitivamente que la funcin cuya grfica aparece en la fig. 8.6. (c) es continua en el punto a. Definicin: Una funcin f es CONTINUA EN x = a, si y solo si se satisfacen las siguientes condiciones: i. f(a) existe.

ii.

existe.

iii.

Si al menos una de estas tres condiciones deja de cumplirse se dice que f es DISCONTINUA (NO CONTINUA) en x = a. Observaciones:

i. Si en la definicin anterior, sustituimos

por

o por

, se dice entonces que f es continua a la derecha, respectivamente, a la izquierda del punto x = a.

ii. Algunos autores adoptan como definicin de continuidad en un punto, la condicin iii. de la definicin anterior, esto es, f es continua en x = a, si y solo si, .

iii. Si en la definicin de continuidad se hace: x = a + h; con a y (a + h) en el dominio de f, se dice entonces, que f es continua en a si y solo si, .

iv. Si f es discontinua en x = a y discontinuidad es ESENCIAL.

existe pero es diferente de f(a), se dice que la

discontinuidad es REMOVIBLE O EVITABLE. En caso contrario, se dice que la

Asi por ejemplo, la grfica de la fig. 8.6. (a) corresponde a la grfica de una funcin con discontinuidad Removible o evitable en x = a. Mientras que la grfica de la fig. 8.6. (b) corresponde a la grfica de una funcin con discontinuidad ESENCIAL en x = a. v. Cuando una funcin tiene discontinuidad removible en un punto, se usa la frase "Remover la

discontinuidad"

para

indicar

que

se

puede

redefinir

la

funcin

haciendo

que:

y de esta manera obtener una nueva funcin continua en x = a.

Considere por ejemplo, la funcin f definida por: La grfica de la funcin aparece en la fig. 8.7.

fig. 8.7.

Si se analiza la continuidad de f en el punto x = 0, se tiene:

i. ii.f (0) = 3 (Existe)

(Existe)

Pero,

; lo que indica que f es discontinua en x = 0. Ahora, como , la discontinuidad es evitable.

Se puede entonces, "remover" o "evitar" la discontinuidad, redefiniendo una nueva funcin de tal forma que . Esto es, redefiniendo a f asi:

Esta nueva funcin es continua en x = 0. Es de anotar que la funcin f se ha redefinido y por lo tanto, no se trata de la misma funcin. Porqu?

Teoremas sobre funciones continuas. Los siguientes teoremas, que se enuncian sin demostracin, sealan importantes propiedades de las funciones continuas y son al mismo tiempo herramientas tiles que permiten deducir, en muchos casos, la continuidad de una funcin, sin recurrir directamente al empleo de la definicin.

TEOREMA 1. (Algebra de funciones continuas) Sean f, g dos funciones continuas en el punto x = a. Entonces:

i. (f + g) es continua en x = a. (Suma de funciones continuas es continua). ii. (f g) es continua en x = a. (Diferencia de funciones continuas es continua). iii. (f g) es continua en x = a. (Producto de funciones continuas es continua).

iv.

es continua en x = a, si g(a) 0. (Cociente de funciones continuas es continua).

Consecuencias: C.C.1. La funcin polinmica es continua en todo punto del eje real. En efecto, sea una funcin polinmica de grado n. Sea a un punto cualquiera del eje real. Al aplicar sucesivamente el teorema 1 en sus partes i., ii. y iii se obtiene que:

y de aqu, Pn (x) es una funcin continua en todo punto del eje real. C.C.2. Toda funcin racional es continua en los puntos que no anulen el denominador de la funcin. Demostracin: aplicar el teorema 1. TEOREMA 2. (Lmite de la funcin compuesta)

Sean f y g dos funciones tales que: f es continua en b y

. Entonces:

. Algunas consecuencias importantes de este teorema son las siguientes:

C.C.3. Si

, entonces,

. Cuando n sea par, se

debe cumplir adems que b > 0.

C.C.4. Si

, entonces,

Las consecuencias C.C.3. y C.C.4., se expresan respectivamente en palabras de la siguiente forma: "El lmite de la raiz n-sima, es la raiz n-sima del lmite y "El lmite del valor absoluto, es el valor absoluto del lmite". C.C.5. (Continuidad de la funcin compuesta). Si g es continua en a y f es continua en g(a), entonces (f o g) (x) = f (g(x)) es continua en a. Continuidad En Un Intervalo Definiciones: i. Una funcin f es continua en un INTERVALO ABIERTO si y solo si, f es continua en TODO punto del intervalo.

ii.Una funcin f es continua en un INTERVALO CERRADO [a, b] si y solo si, f es continua en el intervalo abierto (a, b), continua por la derecha de a y continua por la izquierda de b. Definiciones similares se establecen para la continuidad de una funcin en un intervalo

semiabierto de cualquiera de las formas: (a, b] [a, b). Asi por ejemplo, la funcin intervalos de la forma constante. Considere tambin la funcin f definida por: (mayor entero menor o igual a x), es continua en los , ya que en cada uno de estos intervalos, la funcin es

y cuya grfica aparece en la fig. 8.8. Se desea analizar la continuidad de f en el intervalo [-1, 3]

fig. 8.8.

1. Continuidad en el intervalo abierto (-1, 3). Se analiza la continuidad slo en el punto x = 2, ya que en los dems puntos del intervalo f es continua por ser polinmica en cada tramo.

Continuidad en x = 2 i. f(2) = 4

ii.

iii. continua

De i., ii., y iii. se concluye que f es continua en x = 2 y por lo tanto f es en el intervalo (-1, 3).

2. Continuidad por la derecha del punto x = -1 i. f(-1) = (-1)2 = 1 (Existe)

ii.

(Existe)

iii. Luego f es continua por la derecha del punto x = -1.

3. Continuidad por la izquierda del punto x = 3 i. f(3) = 3 + 2 = 5 (Existe)

ii.

(Existe)

iii. 3].

Asi que f es continua por la izquierda del punto x = 3.

De 1. 2. y 3. se concluye de acuerdo a la definicin, que f es continua en el intervalo cerrado [-1,

TEOREMA DE BOLZANO En anlisis real el teorema de Bolzano es una propiedad de las funciones reales continuas definidas en un intervalo. El teorema afirma que si una funcin es continua en un intervalo cerrado y acotado y en los extremos del mismo sta toma valores con signos opuestos, entonces existe al menos una raz de la funcin en el interior del intervalo. En palabras ms vulgares, lo que viene a decir el teorema de Bolzano es lo siguiente: Suponiendo que el eje de abscisas (eje x) fuese un ro, y el segmento (a, b) un camino que hemos de seguir: si en el punto a, la grfica est en un lado del ro (tiene valor negativo) y en el punto b est en el otro lado del ro (tiene valor positivo) y la grfica es continua en ese segmento, lgica y obligatoriamente ha de cortar por lo menos en un punto con el eje x (el ro), con lo que podemos decir que para cruzar el ro uno se ha de mojar. Este teorema est ntimamente relacionado con los teoremas de Rolle y del valor medio. El teorema de Bolzano establece que: Sea f una funcin real continua en un intervalo cerrado [a,b] con f(a) y f(b) de signos contrarios. Entonces existe al menos un punto c del intervalo abierto (a, b) con f(c) = 0. El teorema como tal no especifica el nmero de puntos, solo demuestra que como mnimo existe uno.

Demostracin 1: Para demostrarlo, suponemos que f(a)<0 y f(b)>0 (se demuestra anlogamente para el caso contrario). Suponemos un conjunto K, que contiene todos los puntos x del intervalo [a, b] que verifican que f(x)<= 0. (K es distinto de vaco, ya que f(a)<0). Ese conjunto tiene un supremo c puesto que K es compacto de acuerdo a su definicin. Ahora basta demostrar que f(c)= 0, por definicin de K. Supongamos f(c)0, ello implica que hay un intervalo (c-h, c+h) en el que f(x) y f(c) tienen el mismo signo. Esto no puede pasar, porque contradice la definicin de c. Luego tiene que ser f(c)=0.

Demostracin 2: Demostraremos el teorema utilizando un lema conocido en topologa, cuyo enunciado y demostracin es el siguiente: Lema: Sean X e Y dos espacios topolgicos y entre ellos. Entonces si una funcin continua

es un subconjunto conexo de X, f(A) es un

subconjunto conexo de Y. Demostracin: Es sencillo, suponiendo que f(A) no es conexo, significa que existen U y Vabiertos de X no vacos y disjuntos tales que que , como la funcin es continua tenemos

y por ser disjuntos tenemos,

con U y V no vacos, luego A no sera conexo lo que prueba el lema. Ahora el Teorema de Bolzano es sencillo porque como [a,b] es un intervalo conexo y la funcin es continua, el intervalo [f(a),f(b)] debe ser conexo, si suponemos que no existe un valor c en [a,b] tal que f(c) = 0 significa que lo que

implicara que, al ser[f(a),f(b)] conexo o bien 0 < f(a) y 0 < f(b) o bien 0 > f(a) y 0

> f(b) lo que entra en contradiccin con la hiptesis que f(a)f(b) < 0, as pues queda probado el teorema.

APLICACIONES 1: Demostrar que una funcin f(x) corta al eje OX en un determinado intervalo. 2: Demostrar que dos funciones se cortan en un punto. Para demostrar que la funcin f(x) y la funcin g(x) se cortan en al menos un punto establecer la funcin h(x) como: h(x)=f(x) - g(x). Mediante la aplicacin del teorema de Bolzano podr establecer que estas funciones se cortan en un punto c perteneciente a un intervalo concreto: h(c) =0 f(c) - g(c) =0 f(c)=g(c) TEOREMA DE VALOR INTERMEDIO En anlisis real el teorema del valor intermedio o ms correctamente teorema de los valores intermedios es una propiedad de las funciones continuas reales en un intervalo. El teorema establece que si una funcin es continua en un intervalo, la funcin toma todos los valores intermedios comprendidos entre los valores de la funcin en los extremos del intervalo. Como consecuencia del teorema de Weierstrass se puede generalizar diciendo que la imagen de un intervalo es otro intervalo, siendo los subconjuntos conexos de los nmeros reales. El teorema del valor intermedio establece que:

Sea f una funcin continua en un intervalo [a,b] y supongamos que f(a) < f(b). Entonces para cada u tal que f(a) < u < f(b), existe al menos un c dentro de (a,b)tal que f(c) = u. La misma conclusin se obtiene para el caso que f(b) < f(a). [Demostracin El teorema puede demostrarse fcilmente aplicando el teorema de Bolzano (que se trata de un caso particular del teorema del valor intermedio cuando u=0) a la funcin tambin continua g(x) definida como g(x):=f(x)-z.

Teorema del valor intermedio para funciones polinomiales Si f es [a, b]. El teorema del valor intermedio establece que si w es cualquier nmero entre f(a) y f(b), hay por lo menos un nmero c entre a y b, tal que f(c)= w. Si se considera que la grfica de f se extiende en forma continua desde el punto (a, f(a)) hasta el punto (b, f(b)), como se ve en la figura siguiente, entonces, para cualquier nmero entre f(a) y f(b), la recta horizontal y = w corta a la grfica cuando menos en un punto P. La abscisa c de P es un nmero tal que f(c) = w. funcin polinomial y f(a) f(b) para a < b,

entonces fasume todo valor entre f(a) y f(b) en el intervalo

Una consecuencia del teorema del valor intermedio es que si f(a) y f(b)tienen signos opuestos, hay cuando menos un nmero c entre a y b, tal que f(c) = 0; es decir, f tiene un cero en c. As, si el punto (a, f(a))est abajo del eje x y el punto (b, f(b)) est arriba del eje x, o viceversa, la grfica cruza el eje x cuando menos una vez entre x = a yx = b, como se ve en la siguientes figuras.

CONCLUSIONES Tras el estudio de las nombradas funciones matemticas, podemos concluir en que son muy importantes tanto para las matemticas como para muchas otras ciencias, en especial la fsica y la qumica.

El trmino funcin fue usado por primera vez en 1637 por el matemtico francs Ren Descartes, quien escribi: Una variable es un smbolo que representa un nmero dentro de un conjunto de ello. Dos variables X y Y estn asociadas de tal forma que al asignar un valor a X entonces, por alguna regla o correspondencia, se asigna automticamente un valor a Y. La variable X, a la que se asignan libremente valores, se llama variable independiente, mientras que la variable Y, cuyos valores dependen de la X, se llama variables dependientes. Los valores permitidos de X constituyen el dominio de definicin de la funcin y los valores que toma Y constituye su recorrido. Las aplicaciones de las sucesiones son incontables. Se utilizan

abundantemente para demostrar los teoremas y las propiedades de la topologa matemtica, y en la muy conocida demostracin del nmero pi, pero dado que esta parte del clculo es la ms inocua, son mucho ms destacadas sus aplicaciones en materia de clculo numrico.

BIBLIOGRAFIA Anlisis matemtico I, Notas de Teora y prctica; 2da edicin.

Enciclopedia Clarn, Tomo 20. Enciclopedia Microsoft Encarta 1999.