Lmite de una funcin

El lmite de una funcin es un concepto fundamental del anlisis matemtico, un caso de lmite aplicado a las funciones.
Informalmente, el hecho que una funcin f tiene un lmite L en el punto c, significa que el valor de f puede ser tan cercano a L como se desee, tomando puntos suficientemente cercanos a c, independientemente de lo que ocurra en c

En matemtica, el lmite es un concepto que describe la tendencia de una sucesin o una funcin, a medida que los parmetros de esa sucesin o funcin se acercan a determinado valor.

En clculo (especialmente en anlisis real y matemtico) este concepto se utiliza para definir los conceptos fundamentales de convergencia, continuidad, derivacin, integracin, entre otros.

El concepto se puede generalizar a otros espacios topolgicos, como pueden ser las redes topolgicas; de la misma manera, es definido y utilizado en otras ramas de la matemtica, como puede ser la teora de categoras.

Para frmulas, el lmite se utiliza usualmente de forma abreviada mediante lim como en lim(an) = a o se representa mediante la flecha () como en an a.
Sucesin matemtica

Una sucesin infinita de nmeros reales (en azul). La sucesin no es ni creciente, ni decreciente, ni convergente, ni es una sucesin de Cauchy. Sin embargo, s es una sucesin acotada.

En matemticas, una sucesin es una lista ordenada de objetos, cada uno de ellos denominado trmino (tambin elemento o miembro) de la sucesin y al nmero de elementos ordenados (posiblemente infinitos) se le denomina la longitud de la sucesin. A diferencia de un conjunto, el orden en que aparecen los trminos s es relevante y un mismo trmino puede aparecer en ms de una posicin. De manera formal, una sucesin puede definirse como una funcin sobre el conjunto de los nmeros naturales (o un subconjunto del mismo) y es por tanto una funcin discreta. Ejemplo La sucesin (A, B, C) es una sucesin de letras que difiere de la sucesin (C, A, B). En este caso se habla de sucesiones finitas (de longitud igual a 3). Un ejemplo de sucesin infinita sera la sucesin de nmeros positivos pares: 2, 4, 6, 8, ... En ocasiones se identifica a las sucesiones finitas con palabras sobre un conjunto. Puede considerarse tambin el caso de una sucesin vaca (sin elementos), pero este caso puede excluirse dependiendo del contexto.

Lmite de una funcin

Visualizacin de los parmetros utilizados en la definicin de lmite.

LMITE DE UNA FUNCIN.

En anlisis real para funciones de una variable, se puede hacer una definicin de lmite similar a la de lmite de una sucesin, en la cual, los valores que toma la funcin dentro de un intervalo se van aproximando a un punto fijado c, independientemente de que ste pertenezca al dominio de la funcin. Esto se puede generalizar an ms a funciones de varias variables o funciones en distintos espacios mtricos.

Informalmente, se dice que el lmite de la funcin f(x) es L cuando x tiende a c, y se escribe:

si se puede encontrar para cada ocasin un x suficientemente cerca de c tal que el valor de f(x) sea tan prximo a L como se desee. Para un mayor rigor matemtico se utiliza la definicin psilon-delta de lmite, que es ms estricta y convierte al lmite en una gran herramienta del anlisis real. Su definicin es la siguiente:

"El lmite de f(x) cuando x tiende a c es igual a L si y slo si para todo nmero real mayor que cero existe un nmero real mayor que cero tal que si la distancia entre x y c es menor que , entonces la distancia entre la imagen de x y L es menor que unidades". Esta definicin, se puede escribir utilizando trminos lgicomatemticos y de manera compacta:

Definiciones
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 formal Una sucesin finita (de longitud m) con elementos pertenecientes a un conjunto S, se define como una funcin

. y en este caso el elemento corresponde a .

Por ejemplo, la sucesin finita, (de longitud 4) de nmeros primos menores que 10:

corresponde a la funcin nmeros primos) definida por: .

(donde

es el conjunto de

Una sucesin infinita con elementos pertenecientes a un conjunto S, se define como una funcin . en donde, de forma anloga,
[editar]Definicin conjuntista Una sucesin en un conjunto X es una enumeracin de elementos de X, es decir una aplicacin de en X.1 [editar]Notacin Notaremos por otra digamos . a una sucesin, donde x la identifica como distinta de

corresponde a

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 indica el lugar que ocupa en dicha sucesin. [editar]Definicin de parcial Llamaremos parcial de . a una sucesin donde ,donde el subndice

[editar]Notacin Existen diferentes notaciones y nociones de sucesin en matemticas, dependiendo del rea de estudio, algunas de las cuales (como por ejemplo sucesin exacta) no quedan comprendidas en la notacin que se introduce a continuacin. Se puede usar la notacin para indicar una sucesin, en donde referencia al elemento de la sucesin en la posicin n. hace

Ejemplo. Retomando el ejemplo de los nmeros positivos pares, si denotamos dicha sucesin por :

entonces . En el caso de que los elementos de la sucesin queden determinados por una regla, se puede especificar la sucesin haciendo referencia a la frmula de un trmino arbitrario.

Ejemplo. La sucesin anterior puede especificarse mediante la frmula .

No es infrecuente encontrar sucesiones en donde los subndices denotando posiciones inician desde cero, en vez desde uno, particularmente en matemtica discreta o en ciencias de la computacin. Tambin se puede usar una variable distinta a n para denotar el trmino general, cuando as convenga para evitar confusin con otras variables. En la literatura es posible encontrar una gran variedad de notaciones alternativas. Por ejemplo, uso de llaves en vez de parntesis, o indicaciones de los lmites mediante variantes de super y subndices, a continuacin se muestran algunos pocos ejemplos:

[editar]Sucesiones

numricas

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

que se denota simplemente como

o, si se da por entendido que .

los subndices son enteros, tambin se denota como

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 , se puede llamar sucesin de nmeros racionales, y lo mismo para los irracionales, naturales, enteros, algebraicos, trascendentes, ... Puede ser creciente o decreciente. Las hay en progresin aritmtica o en progresin geomtrica, la diferencia bsica es que en la sucesin

aritmtica la razn de cambio entre un miembro y otro es la suma o resta de la misma razn, y en la sucesin geomtrica el siguiente nmero de la sucesin se logra por multiplicar o dividir la razn de cambio. En cualquier caso la razn de cambio es constante y no puede variar, a menos que el cambio de la razn tambin corresponda a una sucesin, lo que supone tener una sucesin dentro de otra sucesin. El trmino general de la sucesin queda definido de forma implcita si su valor depende de sus predecesores. En general, dados previamente los valores de , podemos definir el trmino general de forma inductiva como con la ecuacin en recurrencias [editar]Tipos [editar]Sucesin finita Se dice que una sucesin es finita si determinamos su ltimo trmino, por ejemplo el n-simo: Genricamente: trmino general si hiciese falta. ejemplo: 100, 99, 98, ... , 1, 0. [editar]Sucesin constante Se dice que una sucesin es constante si todos los trminos valen un mismo valor, , es decir, un mismo nmero real cualquiera, ejemplo: Genricamente . ejemplo: si queda como 1, 1, 1, 1, ... ,1 ,... , es decir, que todos los valores son el mismo, 1. [editar]Sucesiones montonas Una sucesin montona es una sucesin creciente o decreciente:2 [editar]Sucesin creciente Si se impone al trmino 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, ... . , donde sera el como por ejemplo

Para reales:

. Si se impone , es decir, una desigualdad no estricta, entonces se pueden incluir, entre otras, las sucesiones constantes. [editar]Sucesin decreciente Al igual que las crecientes tenemos, segn el trmino general, que: si es estrictamente decreciente. si entonces la sucesin es decreciente. [editar]Sucesin alternada Intuitivamente se llama sucesin alternada cuando alterna valores de signo opuesto, como que nos genera la sucesin: a0=1, -1, 1, -1, 1, -1, ... utilizada por las series llamadasseries alternadas. [editar]Sucesiones Acotadas Una sucesin cuando, , est acotada

[editar]Sucesiones Convergentes Una sucesin tiene por lmite escribe, (cuando , converge a ), y se o

cuando, [editar]Propiedades [editar]Unicidad del lmite de una sucesin Si una sucesin converge, entonces el [Mostrar] Demostracin es nico.

[editar]Relacin entre el concepto de sucesin acotada y el de sucesin convergente Si una sucesin es convergente, entonces est acotada. [Mostrar] Demostracin [editar]Extensin a los reales

Comprubese que slo si la sucesin que determinan sobre los enteros es la misma, pero no son la misma funcin. Dada una funcin , llamaremos extensin en los reales de a una funcin cuyos valores coinciden en el dominio de , es decir, . Es un error fatal el nombrar a la extensin en los reales con el mismo nombre ( ), pues, se trata de una asociacin totalmente arbitraria y no unvoca que trae confusin y no tiene sentido para algunas funciones definidas a trozos. Se suele llamar 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... .

Hay casos en los que f no puede extenderse sobre los reales, entre los que destacan:

si definimos {an} como el nmero de factores propios de n. funciones aritmticas, como la funcin fi de Euler o la Funcin de Mbius . [editar]Generalizacin 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]El espacio de sucesiones finitas complejas Se puede tener una sucesin que tal

[editar]El espacio de sucesiones complejas o 2 Se puede tener una sucesin que tal

[editar]El espacio de polinmico K[x] Un polinomio no es ms que una sucesin finita

tal que como .

representada

[editar]El espacio de las matrices Se puede tener una sucesin tal

que donde .

[editar]En un espacio vectorial topolgico Se puede tener una sucesin , donde , donde es una sucesin real arbitraria y B un abierto. [editar]Sucesiones funcionales Se puede tener una sucesin de funciones continuas [editar]En el lenguaje proposicional Sea un alfabeto, llamaremos al conjunto de sucesiones finitas de n elementos de , se define inductivamente por la sucesin de productos cartesianos siguiente: .

as

. [editar]En homologa simplicial El complejo de cadenas simplicial del complejo simplicial K, no es ms

que una determinada sucesin de grupos abelianos y morfismos. [editar]En el lenguaje de las categoras Sea donde una categora, podemos , . tener una sucesin

Funcin matemtica
No debe confundirse con Funcin (informtica).

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.

Una funcin vista como una caja negra, que transforma los valores u objetos de entrada en los valores u objetos de salida

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 de tren entre dos ciudades separadas por una distancia d de 150 km depende de la velocidad v a la que este se desplace: la duracin es inversamente proporcional a la velocidad, T = d / v. A la primera magnitud (el rea, la duracin) se la denomina variable dependiente, y la cantidad de la que depende (el radio, la velocidad) es la variable independiente.