Lmite de funciones.

Introduccin Conjunto de los nmeros reales Est formado por el conjunto de los nmeros enteros, racionales e irracionales, en adelante lo vamos a denotar por R ; grficamente el conjunto de los nmeros reales lo podemos representar por una recta en la que fijamos un origen y una unidad, que hace que a cada punto de la recta le corresponda un nmero real y a cada nmero real le corresponda un punto de la recta. A esta recta la denominamos la recta real Funcin : Es una relacin entre los elementos de dos conjuntos, de forma que a determinados elementos del primer conjunto se asocian elementos del segundo conjunto de manera unvoca, es decir que a un elemento del primer conjunto no le podemos asociar ms de un elemento del segundo conjunto. A un elemento cualquiera del primer conjunto lo representamos con la letra x, que denominamos variable independiente y al nico elemento que le corresponde en el segundo conjunto lo representamos por la letra y, a la que denominamos variable dependiente. A la relacin la representamos por la letra f y escribimos y=f(x). Dominio de definicin de una funcin f : Es el conjunto de valores de x para los que la funcin f(x) existe. Lo representamos por Dom(f). Recorrido o imagen de una funcin f : Es el conjunto de valores que toma la variable dependiente y. Lo representamos por Img(f). Funcin real de variable real : Es aquella cuyo dominio y recorrido son subconjuntos del conjunto de los nmeros reales. Las funciones reales de variable real se suelen representar en el plano, utilizando un sistema de referencia. En la figura que sigue, la primera grfica, es la grfica de una funcin ; la segunda, no es la grfica de una funcin:

En el primer caso a cada valor de x le corresponde un nico valor de y. En el segundo caso, hay valores de x que no estn nicamente determinados. Una funcin puede definirse mediante una expresin verbal, una tabla, una frmula o una grfica. En general trabajaremos con funciones expresadas mediante una frmula o expresin analtica y su grfica. Segn la expresin analtica clasificamos las funciones de la siguiente forma:

Intervalos y entornos Definimos sobre la recta real :

El conjunto [a,b] se llama intervalo cerrado y (a,b) se llama intervalo abierto. En cualquiera de los casos b-a se llama longitud del intervalo. Entorno de un nmero real x:

Lmite de una funcin en un punto

Los valores de x a considerar han de pertenecer al dominio de definicin , D de la funcin. Tambin es necesario que en D haya puntos tan prximos a a como queramos, es decir, que a sea un punto de acumulacin de D. Explicacin dinmica del concepto de punto de acumulacin Puntos tan prximos como queramos significa que cualquiera que sea la distancia que consideremos, por muy pequea que sea, existen puntos del dominio de definicin de la funcin, que no coincidan con "a", a una distancia de "a" menor que la considerada. Ejemplo dinmico de un punto "a" que no es punto de acumulacin El lmite depende nicamente del comportamiento de la funcin en las proximidades de a, no de cual sea el valor de la funcin en el punto a ; de hecho, a puede no pertenecer al dominio de definicin de la funcin. S es necesario, que "a" sea punto de acumulacin del dominio de definicin de la funcin. Explicacin dinmica del concepto de lmite Ejemplo : Una funcin tpica en anlisis es :

Esta funcin no est definida en el punto x=1 . Para este valor de x, el denominador de la funcin es 0 , y no tiene sentido en matemticas dividir por 0. El valor al que esta funcin se aproxima, cuando x tiende a 1 por la izquierda o por la derecha, es 2. Luego la funcin tiene lmite cuando x se aproxima a 1 ; el lmite es 2. Escribimos:

Actividad para reforzar el concepto Lmites laterales: El lmite lateral por la izquierda de una funcin y=f(x) en el punto x = a es el valor al que se aproxima f(x) cuando x se aproxima al valor de a por valores menores que a . Lo representamos por :

El lmte lateral por la derecha de una funcin y = f(x) en el punto x = a es el valor al que se aproxima f(x) cuando x se aproxima al valor de a por valores mayores que a . Lo representamos por :

Ejemplo :

Lmite de una funcin en el infinito.

Ejemplo : Actividad para reforzar el concepto Sucesiones y lmite de sucesiones.

Una sucesin es una funcin discreta, cuyo dominio de definicin son los nmeros naturales positivos. La variable independiente se representa con la letra n y la variable dependiente se representa por an. Una sucesin an, tiene lmite L , si al crecer indefinidamente n, los trminos de la sucesin an se aproximan indefinidamente al nmero L. Que los terminos de an se aproximan indefinidamente a L, significa que todos los trminos de la sucesin a partir de uno en adelante estn contenidos en cada entorno L. Lo representamos por: Observacin : en las sucesiones no podemos hablar de lmite cuando n se aproxima a un nmero natural positivo, porque en el dominio de definicin de las sucesiones, el conjunto de los nmeros naturales positivos, no nos podemos aproximar indefinidamente a cualquier elemento, como mucho nos podremos aproximar al nmero entero anterior o al siguiente. Ejemplo :

Actividad para reforzar el concepto El nmero e Vamos a considerar la sucesin :

Los trminos de esta sucesin crecen continuamente, es decir aumentan cuando aumenta n, pero la sucesin est acotada, es decir sus trminos no pasan de un determinado valor, por tanto los terminos de la sucesin han de aproximarse a algn nmero, que estar comprendido entre el 2 y el 3. El nmero al que se aproximan los trminos de esta sucesin, es una constante muy caracterstica en matemticas que recibe el nombre de nmero e. Se define como :

Actividad para reforzar el concepto

Tiene infinitas cifras decimales, es un nmero real trascendente; para conseguir una aproximacin de esta constante, podemos utilizar la calculadora del ordenador. En windows 98, la calculadora nos da el valor : 2,71828182845904523536028747135266 Funcin matemtica De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

En la imagen se muestra una funcin entre un conjunto de polgonos y un conjunto de nmeros. A cada polgono le corresponde su nmero de lados. En matemticas, se dice que una magnitud o cantidad es funcin de otra si el valor de la primera depende exclusivamente del valor de la segunda. Por ejemplo el rea A de un crculo es funcin de su radio r: el valor del rea es proporcional al cuadrado del radio, A = r2. Del mismo modo, la duracin T de un viaje en un tren circulando a una velocidad v de 150 km/h depende de la distancia d entre el origen y el destino: la duracin es inversamente proporcional a la distancia, T = v / d. A la primera magnitud (el rea, la duracin) se la denomina variable dependiente, y la cantidad de la que depende (el radio, la distancia) es la variable independiente. De manera ms abstracta, el concepto general de funcin, aplicacin o mapeo se refiere en matemticas a una regla que asigna a cada elemento de un primer conjunto un nico elemento de un segundo conjunto. Por ejemplo, cada nmero entero posee un nico cuadrado, que resulta ser un nmero natural (incluyendo el cero): ... 2 +4 , 1 +1 , 0 0 , +1 +1 , +2 +4 , +3 +9 , ... Esta asignacin constituye una funcin entre el conjunto de los nmeros enteros Z y el conjunto de los nmeros naturales N. Aunque las funciones que manipulan nmeros son las ms conocidas, no son el nico ejemplo: puede imaginarse una funcin que a cada palabra del espaol le asigne su letra inicial: ... , Estacin E , Museo M , Arroyo A , Rosa R , Avin A, ... Esta es una funcin entre el conjunto de las palabras del espaol y el conjunto de las letras del alfabeto espaol. La manera habitual de denotar una funcin f es: f:XY x f(x) , donde X es el dominio de la funcin f, su primer conjunto o conjunto de partida; e Y es el codominio de f, su segundo conjunto o conjunto de llegada. Por f(x) se denota la regla o algoritmo para obtener la imagen de un cierto objeto arbitrario x del dominio X, es decir, el (nico) objeto de Y que le corresponde. En ocasiones esta expresin es suficiente para especificar la funcin por completo, infiriendo el dominio y codominio por el contexto. En el ejemplo anterior, las funciones cuadrado e inicial, llmeseles f y g, se denotaran entonces como: f:ZN k k2 , o sencillamente f(k) = k2 ; g:VA p Inicial de p ; si se conviene V = {Palabras del espaol} y A = {Alfabeto espaol}. Una funcin puede representarse de diversas formas: mediante el citado algoritmo para obtener la imagen de cada elemento, mediante una tabla de valores que empareje cada valor de la variable independiente con su imagen como las mostradas arriba, o como una grfica que d una imagen de la funcin. Definicin

Una funcin puede considerarse como un caso particular de una relacin o de correspondencia matemtica. Cada relacin o correspondencia de un elemento con un (y slo un) se denota , en lugar de

Formalmente, pedimos que se cumplan las siguientes dos condiciones: Condicin de existencia: Todos los elementos de X estn relacionados con elementos de Y, es decir, Condicin de unicidad: Cada elemento de X est relacionado con un nico elemento de Y, es decir, si Notacin y nomenclatura Al dominio tambin se le llama conjunto de entrada o conjunto inicial. Se denota por o elementos del dominio se les llama habitualmente argumento de la funcin. Al codominio, tambin llamado, conjunto de llegada, conjunto final o rango de f se le denota por . A los

o codomf Cabe sealar que el trmino rango es ambiguo en la literatura, ya que puede hacer referencia tanto al codominio como al conjunto imagen. Por ello, es aconsejable usar el trmino codominio. Si x es un elemento del dominio al elemento del codominio asignado por la funcin y denotado por f(x) se le llama valor o imagen de la funcin f de x. Al subconjunto del codominio formado por todos los valores o imgenes se le llama imagen, alcance o recorrido de la funcin. Se denota por o o .

Una preimagen de un es algn tal que . Note que puede haber algunos elementos del codominio que no sean imagen de un elemento del dominio, pero que cada elemento del dominio es preimagen de al menos un elemento del codominio. Ejemplos La funcin definida por , tiene como dominio, codominio e imagen a todos los nmeros reales

Funcin con Dominio X y Rango Y Para la funcin tal que , en cambio, si bien su dominio y codominio son iguales a tendr como imagen los valores comprendidos entre 0 y +. En la figura se puede apreciar una funcin , con , slo

Note que a cada elemento de X le corresponde un nico elemento de Y. Adems, el elemento a de Y no tiene origen, y el elemento b tiene dos (el 1 y el 4). Finalmente, Esta funcin representada como relacin, queda: Igualdad de funciones Sean las funciones f: A B y g: C D, decimos que f es igual a g y escribimos f=g si y slo si se cumple que ambas funciones: tienen igual dominio, A=C,

tienen igual codomino, B=D, y tiene la misma asignacin, es decir que para cada x se cumple que f(x)=g(x). Representacin de funciones Las funciones se pueden presentar de distintas maneras: usando una relacin matemtica descrita mediante una expresin matemtica: ecuaciones de la forma y = f(x). Cuando la relacin es funcional, es decir satisface la segunda condicin de la definicin de funcin, se puede definir una funcin que se dice definida por la relacin, A menos que se indique lo contrario, se supone en tales casos que el dominio es el mayor posible (respecto a inclusin) y que el codominio son todos los Reales. El dominio seleccionado se llama el dominio natural, de la funcin. Ejemplo: y=x+2. Dominio natural es todos los reales. Ejemplo: "Para todo x, nmero entero, y vale x ms dos unidades". Como tabulacin: tabla que permite representar algunos valores discretos de la funcin. Ejemplo: X| -2 -1 0 1 2 3 Y| 0 1 2 3 4 5 Como pares ordenados: pares ordenados, muy usados en teora de grafos. Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3), ... (x, x+2)} Como grfica: grfica que permite visualizar las tendencias en la funcin. Muy utilizada para las funciones continuas tpicas del clculo, aunque tambin las hay para funciones discretas. Ejemplo: 5 4 3 2 1 0 y/x X -2 -1 0 1 2 3 X X X X X

Clasificacin de las funciones Dados dos conjuntos X, Y, consideremos a todas las posibles aplicaciones (funciones) que pueden formarse entre estos dos conjuntos. Podemos diferenciar los siguientes casos: 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, supreyectiva pero no inyectiva o que no se cumple ninguna de esas condiciones, en cuyo caso no tiene un nombre especfico. 'Definiciones alternas: sea dada y sea b un elemento cualquiera del codominio Y. Consideremos la ecuacin . 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 sobreyectivas, 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 preimgen. Un 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: 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:

el

, , 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

Por el que a cada nmero natural x de X, le asociamos un nmero par 2x de Y, se cumple: f: es una aplicacin, dado que a cada uno de los valores x de X le corresponde un nico valor 2x de Y. esta aplicacin es inyectiva dado que a cada nmero par 2x de Y le corresponde un nico valor x de X. y es sobreyectiva porque todos los nmeros pares tienen un origen Esto nos permite afirmar que hay el mismo nmero de nmeros naturales que de nmeros naturales pares, se da la paradoja de que los nmeros naturales pares en un subconjunto propio de los nmeros naturales, esta circunstancia solo se da con los conjuntos infinitos. Segundo ejemplo Tomando el conjunto de pinceles como conjunto inicial: , , , y el de caras como conjunto final: , , , La correspondencia que asocia cada pincel con la cara de su mismo color es una aplicacin porque todos los pinceles tienen una cara con su color y solo una cara de ese color, la aplicacin es inyectiva porque un pincel corresponde con una sola cara, y es sobreyectiva porque todas las caras tiene un pincel de su color, al ser inyectiva y sobreyectiva simultneamente esta aplicacin es biyectiva.

Una aplicacin biyectiva hace corresponder los elementos del conjunto inicial con los del conjunto final uno a uno, pudindose decir que hay el mismo nmero de elementos en el conjunto inicial que en el final. Aplicacin no inyectiva y no sobreyectiva Una aplicacin no inyectiva tendr al menos un elemento imagen que tenga dos o ms orgenes y una no sobreyectiva tendr al menos un elemento del conjunto final que no tenga elemento origen. Este tipo de aplicaciones no tiene un nombre especfico y quiz sean las que presenten, desde el punto de vista matemtico, un menor inters. Para esta aplicacin los conjuntos X e Y no son comparables, y no podemos plantear ningn supuesto sobre su cardinalidad, partiendo de su comparacin, ni sobre su nmero de elementos. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y no pertenecen a B, esto es las que no pertenecen a la unin de A y B. Ejemplo en el diagrama de la figura: el elemento b de Y, tiene dos orgenes: 1 y 2, esto hace que esta aplicacin no sea inyectiva el elemento a de Y, no tiene ningn origen por lo que esta aplicacin no es sobreyectiva el elemento se obtiene cuando dos funciones con el mismo numerador se conectan de forma biyectiva y no se utiliza en ningn momento la sobreyectiva por medidas de aseguracion la funcin se emplea de forma rotativa y no se representa en las grficas Segundo ejemplo Si tomamos como conjunto inicial el de pinceles de colores: , , , y como conjunto final el de caras coloreadas: , , , Vemos que todos los pinceles tiene una cara y solo una cara de su mismo color, luego esta correspondencia es una aplicacin matemtica. Como la cara azul tiene dos pinceles de su color la aplicacin no es inyectiva, y como la cara amarilla no tiene ningn pincel de ese color no es sobreyectiva, luego esta aplicacin es no inyectiva y no sobreyectiva. Resumen

Sobreyectiva, no inyectiva

Inyectiva, no sobreyectiva

Biyectiva

No sobreyectiva, no inyectiva

lgebra de las funciones La composicin de funciones Artculo principal: Funcin compuesta Dadas las funciones f: A B y g: B C, (o sea, donde la imagen de f est contenida en el dominio de g), se define una funcin composicin (g f ): A C tal que (g f)(x) = g (f(x)), para todos los elementos x de A.

La funcin identidad Artculo principal: Funcin identidad Dado un conjunto , la funcin que asigna a cada x de el mismo x de A, se denomina funcin identidad. Tambin se simboliza por 1A o idA. Dada cualquier funcin , se cumple que es igual a f y que es tambin igual a , puesto que tenemos que para todo y tambin

Se verifica que la composicin de dos funciones inyectivas es inyectiva. la composicin de dos funciones suprayectivas es suprayectiva. la composicin de dos funciones biyectivas es biyectiva. La restriccin de una funcin Sea C un subconjunto de A. La inclusin de C en A permite definir una funcin de C en A que asigna a cada elemento de C el mismo elemento, pero considerado como elemento de A. Decimos que tal funcin es la funcin definida por la inclusin. Sea y sea un subconjunto de . Sea i la funcin definida por la inclusin. La composicin define una funcin de en que se llama la restriccin de f a C y que se denota por . Advertencia: muchas veces, especialmente con funciones numricas, se usa la misma notacin para la funcin y su restriccin, esperando que del contexto pueda deducirse la diferencia. Funcin inversa Artculo principal: Funcin recproca Dada una funcin siguientes condiciones: , se llama una (funcin) inversa de , a una funcin tal que se cumple las

. Decimos tambin que la funcin f es invertible Cuando existe una funcin inversa de f, se demuestra que esa funcin es nica, por lo que se habla de la inversa y se la denota por .

Se verifica tambin las siguientes propiedades. Una funcin tiene inversa si, y slo si, es biyectiva. La funcin inversa de una funcin es invertible, y su inversa es la funcin original. O sea que (f 1) 1 = f. La composicin de dos funciones invertibles es invertible, y su inversa es la composicin de las inversas de los factores pero con el orden invertido. . El grupo simtrico o grupo de las funciones biyectivas Sea A un conjunto no vaco y Biy(A) el conjunto formado por todas las funciones biyectivas de A en s mismo. El conjunto Biy(A) no es vaco, porque al menos la funcin identidad est en ese conjunto. Adems, recordando que las funciones biyectivas coinciden con las funciones invertibles, tenemos que la composicin de funciones define una operacin algebraica en Biy(A). Se verifica que La composicin es una operacin asociativa, es decir, dadas tres funciones cualesquiera se cumple que La funcin identidad es un neutro respecto a la operacin. O sea, , tenemos que . Cada elemento f de Biy(A) tiene un inverso respecto a la operacin: la funcin inversa de f. O sea que . Estas tres condiciones determinan lo que se llama un grupo. Por lo que el conjunto de las funciones biyectivas , Biy(A) es un grupo con respecto a la operacin de composicin de funciones que recibe el nombre de grupo simtrico de .

Cuando A es un conjunto finito, digamos con n elementos, las biyecciones de A se llaman tambin permutaciones, por lo que el grupo simtrco de A se llama tambin grupo de permutaciones. Terminologa, tradicin y convenios La nocin de funcin es fundamental en matemticas. la nocin ha evolucionado desde su introduccin en el siglo XVII hasta el presente, al igual que muchas otras de las nociones de matemticas. Una de las fuentes de la nocin es el estudio del movimiento cinemtica, de donde hemos heredado terminologas tales como constante, variable y parmetro. Sea una funcin. La notacin y definicin dadas son posteriores a la invencin de la teora de conjuntos, o sea posterior a los finales del siglo XIX. Cmo se deca anteriormente que x era un elemento de ? Diciendo que x era una variable real. Por extensin del concepto, se llamaba variables tanto a los elementos del dominio como aquellos del codominio; para distinguir entre ellos, los elementos del dominio eran las variables independientes mientras que aquellos del codominio eran las variables dependientes. Por esa razn, funciones cuyo dominio sea un subconjunto de los Reales se denominan funciones de una variable real. Por que "una"? Porque funciones cuyo dominio eran subconjuntos de o se llamaban funciones de dos o tres variables (reales) respectivamente. Actualmente, preferimos decir que se trata de funciones definidas sobre pares o tros de nmeros (usualmente considerados como vectores bidimensionales o tridimensionales, respectivamente). En algunos contextos, la terminologa est adaptada al tema de estudio, por ejemplo, en Fsica es usual la siguiente terminologa. Funcin escalar: Funcin del tipo Campo escalar: Funcin del tipo Funcin vectorial: Funcin del tipo Campo vectorial: Funcin del tipo La notacin funcional En muchos campos aplicados, inclusive a veces en textos de matemticas, se encuentra la expresin "la funcin f(x)". De acuerdo a nuestra definicin actual, lo anterior no hace sentido, ya que f(x) es una notacin para el elemento del codominio. Otras veces, nos encontramos con algo as como "la funcin f(x) = x^2 - 3x + 7". Aunque aqu hay una posible asignacin, no se ha especificado ni el dominio ni el codominio, por lo que en rigor la funcin f no est bien definida. En ciertos contextos, por ejemplo de funciones numricas (dominio y codominio son subconjuntos de los Reales), hay una serie de convenios para simplificar la escritura. La expresin "la funcin " se debe entender como una abreviacin de lo siguiente: La funcin f definida por dicha igualdad, que suponemos una relacin funciona (a cada x corresponde un nico y) es una funcin cuyo dominio, llamado dominio natural, es el mximo subconjunto para l cual tiene sentido la expresin, y cuyo codominio son todos los Reales. En la "funcin" citada, la aparicin del radical nos dice que el dominio natural consiste de todos los reales no negativos. Para evitar ambigedades, a veces se usa la notacin para indicar la regla de asignacin. Igualmente, por restricciones adecuadas de dominio y codominio se trabaja la composicin de funciones numricas. Por ejemplo: si y , podemos considerar a como la composicin de las funciones g y f, a pesar que esto es i'nconsistente con la definicin dada de composicin. En efecto, f es una funcin de en cuya imagen es todo . Por su parte, g es una funcin de los reales no negativos en los Reales, por lo que no se cumple que la imagen de f sea un subconjunto del dominio de 'g. Sin embargo, como prcticamente o para efectos de otras necesidades matemticas queremos considerar a la funcin h como una composicind de g con f, suponemos que f est restringido al intervalo . Funciones (con valores) reales Los anteriores apartados se han referido a funciones entre conjuntos cualesquiera. Las funciones entre conjuntos de nmeros son particularmente relevantes por la diversidad de sus aplicaciones prcticas y por sus particulares propiedades matemticas. En algunos textos se reserva para las funciones entre conjuntos de nmeros el trmino funcin mientras que a las funciones entre conjuntos cualesquiera se las denomina aplicaciones o transformaciones. Llamamos funcin real o funcin con valores reales a cualquier funcin cuyo codominio sea un subconjunto de los Reales. lgebra de Funciones Sea X un conjunto cualquiera no vaco y sea el conjunto formado por todas las funciones de X en , como veremos a . Muchas de las operaciones y propiedades algebraicas de los Reales se pueden extender a continuacin. Sean elementos de

. Definimos operaciones entre funciones, punto a punto por

Suma de Funciones. Resta de Funciones. Producto de Funciones. Extendemos relaciones punto a punto. . La manera en que hacemos la extensin garantiza que muchas de las propiedades de los Reales se extienden a . Indicamos a continuacin aquellas ms importantes. La suma de funciones es asociativa, conmutativa, con neutro la funcin constante , con opuesto aditivo f para cada funcin f. La resta es tal que f g = f + ( g). La multiplicacin es asociativa, conmutativa, con neutro la funcin constante , pero solamente las funciones que nunca tiene valor nulo, tienen recprocos. La multiplicacin es distributiva respecto a la suma. Note que todas las anteriores propiedades son propiedades de los nmeros reales. Hay, sin embargo, propiedades "extraas". Por ejemplo, Si el conjunto X tiene a lo menos dos elementos, hay divisores de cero en supongamos que X = {a,b} y definamos tales que y . En efecto,

. Se ve, inmediatamente, que fg es la funcin constantemente 0, o sea la funcin cero, aunque ninguno de los factores lo es. El conjunto junto con sus operaciones es importante por la gran cantidad de ejemplos diversos que se obtienen al seleccionar el conjunto X. Sea . Entonces, cada funcin de define una pareja de nmeros f(1),f(2) que si consideramos el orden natural en X, podemos escribir como el para ordenado (f(1),f(2)). Esto nos dice que, en este caso, podemos identificar Sea con el conjunto de todos los pares posibles de nmeros reales, o sea con Razonado como arriba, podemos identificar a con . .

Sea Razonado como arriba, podemos identificar a con . Note que en cada uno de los ejemplos anteriores, el conjunto de pares, tros, n-uplas ordenadas aparece provisto de una suma y multiplicacin. La suma coincide con la suma vectorial usual y la multiplicacin por constantes con la multiplicacin por escalar. Sea , los Naturales. En este caso, es el conjunto de todas las sucesiones de nmeros reales provisto cono la suma y multiplicacin usual de sucesiones. Funciones numricas Llamamos funciones numricas a funciones cuyo dominio y codominio son subconjuntos de los Reales. Estas funciones son aquellas que aparecen ms frecuentemente en las aplicaciones elementales. Funciones acotadas Una funcin se denomina acotada si su conjunto imagen est acotado. Por ejemplo: f(x) = sen(x) y g(x) = cos(x) tienen por conjunto imagen el intervalo [-1,1]. Si su conjunto imagen est acotado slo superior o inferiormente, se dice que la funcin est acotada superior o inferiormente, respectivamente. Por ejemplo, f("x")=|x| tiene por conjunto imagen , por lo que est acotada inferiormente. Funciones pares e impares Artculo principal: Funcin par Artculo principal: Funcin impar Se dice que una funcin es par cuando presenta simetra sobre el eje de ordenadas, esto es, si Una funcin es impar si presenta simetra con respecto al origen de coordenadas, esto es si Una funcin que no presenta simetra par no tiene necesariamente simetra impar. Algunas funciones no presentan ninguno de los dos tipos de simetra o bien la presentan frente a focos o ejes distintos del origen de coordenadas o el eje de ordenadas (o eje Y). Dichas funciones se dice que no poseen paridad.

La importancia de los conceptos reside en que funciones cuyo dominio es simtrico respecto al origen, se cumple que son iguales a la suma de una funcin par con una funcin impar Funciones montonas Artculo principal: Funcin montona La funcin f es estrictamente creciente en f es estrictamente decreciente en Si una funcin es estrictamente creciente o decreciente entonces es inyectiva. f es creciente en f es decreciente en Si una funcin verifica cualquiera de las cuatro propiedades anteriores se dice que es montona. Funciones peridicas Artculo principal: funcin peridica Una funcin es peridica si se cumple: donde es el perodo.

En particular, una funcin es peridica alternada cuando se cumple: . Estas ltimas tambin son conocidas como funciones simtricas de media onda y constan de dos semiondas iguales de sentidos opuestos. Funciones cncavas y convexas Artculo principal: Funcin convexa Artculo principal: Funcin cncava

Funcin convexa. Una funcin es convexa en un intervalo si la rectas tangentes a la funcin en ese intervalo estn por debajo de la funcin. Una funcin es cncava en un intervalo si la rectas tangentes a la funcin de ese intervalo estn por encima. La denominacin de convexidad y concavidad depende del punto de vista que se adopte para considerar que es una concavidad, esto es si se mira a la funcin "desde arriba" o "desde abajo". Por ello, algunos textos denominan convexas a las funciones que se curvan "hacia abajo", al contrario de la definicin que se acaba de dar en los anteriores prrafos. Por ello, es frecuente que en ocasiones se adopten las denominaciones convexa hacia arriba y concava hacia abajo para evitar las ambigedades. Las tcnicas del anlisis diferencial permiten determinar si una funcin es creciente, decreciente, concava o convexa a travs del estudio de las derivadas sucesivas de la funcin. Funciones reales y funciones discretas Artculo principal: Funcin real Artculo principal: Funcin discreta Si el dominio de una funcin es un intervalo de la recta real la funcin se denominar real. En cambio, si la funcin est definida para los nmeros enteros se denominar funcin discreta. Un ejemplo de una funcin discreta son las sucesiones.

Autor: Rayen Blanco Objetivos. Descripcin del material.

nivel bsico - intermedio

-Que el estudiante adquiera los conceptos bsicos de sucesiones y las herramientas necesarias para resolver problemas de ndole practica, de un modo didctico, interactuando con la informacin presentada.

Este trabajo presenta un marco terico con algunos ejemplos de los temas desarrollados, as como tambin algunos ejercicios para que el estudiante adquiera nociones practicas. Este material es ideal para la introduccin al tema de sucesiones.

Teora.
A continuacin se desarrollaran los conceptos bsicos para poder comprender sucesiones y resolver problemas relacionados con estas.

Sucesiones infinitas y notacin de sumatoria.

Notacin de sucesin infinita a1,a2,a3,...,an Por conveniencia, algunas veces nos referimos a sucesiones infinitas como sucesiones. Podemos considerar que una sucesin infinita es un conjunto de nmeros reales que esta en correspondencia biunvoca con los enteros positivos. Cada nmero a k es un trmino de la sucesin, la cual es ordenada en sentido de que hay un primer trmino a 1, un segundo trmino a2, y si n denota un entero positivo arbitrario, un n-simo trmino an.
Las sucesiones infinitas a menudo se definen expresando una formula para el n-simo trmino.

Definicin de sucesin infinita Una sucesin infinita es una funcin cuyo dominio es el conjunto de los enteros positivos. En este trabajo, el intervalo de una sucesin infinita ser un conjunto de nmeros reales. Si una funcin f es una sucesin infinita, entonces a cada entero positivo n le corresponde un nmero real f(n).Estos nmeros del intervalo de f pueden representarse al escribir: f(1),f(2),f(3),...f(n),... Para obtener la forma de subndice de una sucesin, hacemos an=f(n) para todo entero positivo n. Si consideramos una sucesin como una funcin f, entonces podemos considerar su grafica en un plano xy. Como el dominio de f, es el conjunto de enteros positivos, los nicos puntos de la grafica son (1,a1),(2,a2),(3,a3),...,(n,an),..., Donde an es el n-simo trmino de la sucesin. De acuerdo con la definicin de funciones, vemos que una sucesin a1,a2,a3,...,an es igual a una sucesin b1,b2,b3,...,bnsi y solo si ak=bk para todo entero positivo k. Otra notacin para una sucesin con n-simo termino an es {an}; por ejemplo, la sucesin {2 } tiene como n-simo termino an= 2 Con la 1 3 3 n notacin de sucesiones, lo escribimos de esta manera: 2 ,2 ,2 ,...,2 ,... n n Por definicin, la sucesin {2 } es la funcin f con f(n)=2 Para todo entero positivo n. A veces tendremos que hallar la suma de muchos trminos de una sucesin infinita. Para mayor facilidad al expresar tal suma contamos con la notacin de sumatoria. Dada una sucesin infinita
n n

a1,a2,a3,...,an el smbolo

La letra griega mayscula sigma , indica una suma, y el smbolo a k representa el k-simo termino. La letra k es el ndice de sumatoria, o variable de sumatoria, y los nmeros 1 y m dan los valores mnimo y mximo de variable de sumatoria respectivamente.

Sucesiones aritmticas
Definicin de una sucesin aritmtica Una sucesin a1,a2,a3,...,an es una sucesin aritmtica si hay un numero real d tal que para todo entero positivo k

El nmero d se llama diferencia comn de la sucesin

La diferencia comn d es la diferencia de cualesquier dos trminos sucesivos de una sucesin aritmtica Por ejemplo:

a) -3,2,7,12,...,5n-8,... Diferencia comn= 2 - (-3) = 5 b)17,10,3,-4,...,24-7n,...Diferencia comn= 10 - 17 = -7 Dada una sucesin aritmtica, sabemos que:

Para todo entero positivo k. Esto nos da una formula para obtener trminos sucesivos. A partir de cualquier numero real a1, obtenemos una sucesin aritmtica con diferencia comn d con solo agregar d a a1, luego a a1+d, y as sucesivamente hasta que resulta

El n-simo trmino an de esta sucesin esta dado por la frmula

Teorema: formulas para hallar Sn Si a1,a2,a3,...,an es una sucesin aritmtica con diferencia comn d entonces la n-sima suma parcial Sn (Esto es la suma de los primeros n trminos) esta dada por:

o bien

Sucesiones geomtricas.
Una sucesin a1,a2,a3,...,an es sucesin geomtrica si a10 y si hay un nmero real r0 tal que para todo entero positivo k

El nmero r se denomina razn comn de la sucesin.

La razn comn es la razn entre cualesquier dos trminos sucesivos de una sucesin geomtrica. Por ejemplo: a) 6,-12,24,-48,...,(-2) (6),... Razn comn = -12/6 = -2 3-n b)9,3,1,1/3,...,(3) ,...Razn comn = 3/9 = 1/3 La frmula
n-1

Proporciona un mtodo recursivo para obtener trminos de una sucesin geomtrica. comenzando con cualquier numero real, a 10, 2 3 multiplicamos por el numero r y obtenemos a1,a1r,a1r ,a1r ,... El n-simo termino an de esta sucesin esta dado por la frmula:

Teorema para hallar Sn La n-sima suma parcial Sn de una sucesin geomtrica con primer termino a 1 y razn comn r1 es:

Ejemplos 1-.Consideremos la siguiente situacin: 2 ciclistas se preparan para una competencia: el primero comienza con 1000 metros, y todos los
das agrega 1000 metros ms, en tanto que el segundo empieza con 200 metros y cada da duplica lo hecho el da anterior. Cuntos metros recorre cada uno el dcimo da? Solucin: el primero aumenta el recorrido segn una progresin aritmtica, por lo tanto a n= 1000 + (10 - 1). 1000 = 10000 10 - 1 En cambio el segundo aumenta su recorrido segn una progresin geomtrica, por lo tanto an= 200. 2 = 102 400. Respuesta: El dcimo da el primero recorre 10000 metros y el segundo 102400 metros. 2-Para poder reconocer una sucesin geomtrica vamos a realizar la siguiente actividad: comprobar que el cociente entre cada trmino y su anterior es siempre el mismo. Adems esta comprobacin elemental determina el valor de la razn comn.

Es 5, 15, 45, 135, 405 ... una progresin geomtrica? Resolucin: - 15/5 = 45/15 = 135/45 = 405/135 = 3. Es una progresin geomtrica de razn 3.