Variables y funciones

Variables En matemticas y en lgica, una variable es un smbolo constituyente de un predicado, frmula o algoritmo. El trmino variable se utiliza an fuera del mbito matemtico para designar una cantidad susceptible de tomar distintos valores numricos dentro de un conjunto de nmeros especificado. Constante Un valor fijo. En lgebra, una constante es un nmero por s solo, o algunas veces una letra como a, b o c que representan un nmero fijo. Ejemplo: en "x + 5 = 9", 5 y 9 son constantes

Variables independientes y variables dependientes En clculo, lgebra y geometra, suele hacerse la distincin entre variables independientes y variables dependientes. En una expresin matemtica como por ejemplo una funcin dependiente. , la letra x representa a la variable independiente, y la letra y a la variable

Funcin
Una funcin es una relacin entre dos variables, de forma que a cada valor de la variable independiente , le asocia un nico valor de la variable dependiente , que llamaremos imagende . Decimos que y es funcin de y lo representamos por Funciones algebraicas y trascendentes El logaritmo y la funcin exponencial son ejemplos de funciones trascendentes. El trmino funcin trascendente a menudo es utilizado para describir a las funciones trigonomtricas, o sea, seno, coseno, tangente, cotangente, secante, y cosecante. Una funcin que no es trascendente se dice que es algebraica. Ejemplos de funciones algebraicas son las funciones racionales y la funcin raz cuadrada. La operacin de calcular la funcin primitiva (o integral indefinida) de una funcin algebraica es una fuente de funciones trascendentes. Por ejemplo, la funcin logaritmo surgi a partir de la funcin recproca en un intento para calcular el rea de un sector hiperblico. Por lo tanto el ngulo hiperblico y las funciones hiperblicas senh, cosh, y tanh son todas funciones trascendentes.

Grfica de una funcin En matemticas, la grfica de una funcin: es la representacin grfica de la correspondencia entre los elementos del conjunto dominio y los del conjunto imagen. Es el conjunto formado por todos los pares ordenados (x, f(x)) de la funcin f; es decir, como un subconjunto del producto cartesiano XY. Las nicas funciones que se pueden trazar de forma completa son las de una sola variable, con un sistema de coordenadas cartesianas, donde cada abscisa representa un valor de la variable del dominio y cada ordenada representa el valor correspondiente del conjunto imagen. Si la funcin es continua, entonces la grfica formar una lnea recta o curva.

Limites
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. Limites bsicos Lmite de una sucesin La definicin de lmite matemtico para el caso de una sucesin nos indica intuitivamente que los trminos de la sucesin se aproximan arbitrariamente a un nico nmero o punto , si existe, para valores grandes de . Esta definicin es muy parecida a la definicin del lmite de una funcin cuando tiende a .

Formalmente, se dice que la sucesin convergente (a ), y se denota como:

tiende hasta su lmite

, o que converge o es

si y slo si para todo valor real >0 se puede encontrar un nmero natural trminos de la sucesin, a partir de un cierto valor que converjan a cuando crezca sin cota. Escrito en un lenguaje formal, y de manera compacta:

tal que todos los natural mayor

Este lmite, si existe, se puede demostrar que es nico. Si los trminos de la sucesin no convergen a ningn punto especfico, entonces se dice que la sucesin es divergente. 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 lgico-matemticos y de manera compacta:

Lmite de una sucesin de conjuntos En teora de conjuntos tambin se utiliza el concepto de lmite, que se puede calcular sobre una sucesin de conjuntos. Para ello, los conjuntos deben de cumplir una serie de condiciones, como puede ser la monotona (creciente o decreciente). De manera ms general, y utilizando la definicin de lmite superior y lmite inferior para una sucesin de conjuntos cualquiera , se dice que el lmite de esta sucesin existe si el lmite superior y lmite inferior existen y son iguales,

Estos conceptos son muy tiles en disciplinas de las matemticas como la teora de la medida, especialmente en espacios de probabilidad. Lmite en espacios topolgicos Redes Todas las nociones anteriores de lmite pueden ser unificadas y generalizadas a espacios topolgicos arbitrarios mediante la introduccin de redes topolgicas y la definicin de sus lmites. Sea un espacio topolgico y una red en . Se dice que es un punto

lmite de la red cualquiera que sea el entorno exista un abierto cada Filtros con tal que

si la red est eventualmente en cada entorno de , es decir, si de (esto es, cualquiera que sea el conjunto de forma que ) existe un . de tal forma que para

se cumple que

En el caso de filtros, por ser objetos matemticos similares a redes topolgicas, tambin es posible la definicin de lmite. En efecto, sea X un espacio topolgico y x un punto de X. Se dice que un filtro base B converge a x, denotado como B x o , si para todo entorno U de x, existe un B0 B tal que B0 U. En este caso, x se llama lmite de B y B se denomina filtro base convergente.1 2 De igual manera, se puede aplicar a funciones, extendiendo la definicin de continuidad a stas. Si X, Y son dos espacios topolgicos y f: X Y es una funcin, siendo B un filtro entorno en Xde un punto a perteneciente a X, entonces el lmite con respecto al filtro B de f es y, denotado como

si B converge a a, luego f converge a y; dicho de otra forma, y es el lmite de f en el punto a.

Obtencin del lmite de una funcin

Si tenemos la funcin:

Se observa :

La grfica de la funcin y el cuadro anexo, permiten determinar de forma grfica y numrica el lmite de la funcin cuando x tiende a 2 La obtencin del lmite de forma numrica se hace a partir de la tabla de datos que aparece adjunta al grfico, y que muestra valores cercanos a 2, menores y mayores. Se observa como en la medida que los valores de x se acercan a 2, los valores de y se acercan a 3 De forma grfica, el lmite se obtiene al subir desde 2 hasta la grfica y girar hacia el eje y en donde se obtiene el valor 3. La expresin utilizada para lmite es:

Y se lee el lmite de f(x) cuando x tiende a: a es L. La funcin debe tomar valores cada vez ms cercanos a a, sin que lleguen a ser exactamente a. Por lo tanto la respuesta para el ejercicio planteado arriba es:

Y se lee El lmite de f(x) cuando x tiende a 2 es 3. Lmites unilaterales:

Algunas funciones estn definidas o determinadas por partes, es decir su dominio lo compone ms de una funcin. Por ejemplo:

Para comprender mejor esta funcin por partes veamos su grfica:

Es decir la funcin est compuesta por dos partes, antes de x=1 la grfica es la de una funcin cuadrtica, y desde x=1 la grfica corresponde a una funcin lineal. Si se quiere obtener el lmite cuando x tiende a 1, se observa que la funcin tiene dos posiciones diferentes, para la parbola (es decir la funcin cuadrtica)el valor de y es de 1, mientras para la recta (es decir la funcin lineal) el valor de y es de 4. Esto configura lo que se conoce como lmite unilateral, es decir el anlisis del lmite de la funcin antes de x = 1 (por la izquierda) y el anlisis del lmite de la funcin desde x=1 (por la derecha) La forma convencional para expresar este lmite unilateral en su forma general (fondo amarillo a la izquierda), y su expresin equivalente (fondo azul a la derecha), que represente el ejemplo de la funcin por partes que venimos trabajando es:

Y se lee El lmite izquierdo de la funcin f(x) cuando x tiende a 1 es 1.Note el signo menos que aparece en la expresin; dicho signo representa ellmite izquierdo de la funcin por partes. De forma similar si se analiza el lmite de la funcin por la derecha, su expresin general y el resultado para el ejemplo es:

Se lee: el lmite derecho de la funcin f(x) cuando x tiende a 1 es 4.Observe el signo ms, lo que significa que la funcin se est analizando desde la derecha del punto x=1, para la funcin f(x) que en esa parte es f(x) = 3x + 1. Para esa parte de la funcin el valor de y es 4 cuando x = 1.