Sean X, Y conjuntos. Una funcin de X a Y es una relacin R de X a Y tal que para cada (x) existe un solo elemento y Y.

Y. ||Finalmente: < x,y > La funcin es una relacin de X a Y. (x) = y : X Y mapea de X a Y. transforma X en Y, donde: X es el dominio y Y es la imagen.

Existe una correspondencia uno-a-uno en (x)=y, cuando para toda x X existe una y Y , y viceversa. Por lo que X y Y tienen el mismo nmero de elementos, i.e. cardinalidad. Funcin Inversa: Toda funcin con correspondencia uno-a-uno posee una funcin inversa, 1(y) = x si y solo si (x) = y Aqui esta una grafica de una Funcion Inversa.

Concepto de funcin El propsito principal de este captulo es obtener una idea clara del concepto de funcin. Para ello se analiza el concepto de relacin sobre la base del producto cartesiano y despus se define una funcin como un caso especial de una relacin. Despus se estudia el concepto de funcin como

una correspondencia entre los elementos de dos conjuntos. Finalmente se clasifican e investigan las propiedades de algunas funciones que aparecen frecuentemente en clculo. Procederemos, conforme al esquema esbozado, por establecer de manera general los conceptos bsicos que nos permitirn arribar a una definicin formal de funcin.
3.1.1 Producto cartesiano Definicin 3.1 Par ordenado. Sean a y b dos nmeros, definimos el par ordenado formado por a y b por el conjunto (a,b) = {, {a,b}}. Observe que hemos denotado al par ordenado como (a,b). A primera vista la definicin parece un poco oscura debido a que se tiene ya una nocin previa, que es la de que cada nmero ocupa un lugar especial. Sin embargo, esta definicin nos permite hacer la distincin entre el primer lugar y el segundo lugar de la pareja, tambin denominados coordenadas. Dicha conceptualizacin se demostrar en el teorema siguiente. Teorema 3.1 (a,b) = (c,d) si y slo si a = c y b = d. Demostracin: Si a = c y b = d, entonces (a,b) = {, {a,b}} = {{c}, {c,d}} = (c,d). Si (a,b) = (c,d) , entonces {, {a,b}} = {{c}, {c,d}}. Existen dos posibilidades:

i) = {c} y {a,b} = {c,d}; ii) = {c,d} y {a,b} = {c}.

En el primer caso se tiene que a = c por lo que {a,b} = {a,d} y entonces b = d. En el segundo caso se tiene que a = c = d y entonces {a,b} = por lo que b = a. @ Podemos ver que la definicin cumple con el propsito deseado. Adems, el concepto de par ordenado nos prepara el terreno para establecer otra manera de combinar dos conjuntos para formar un nuevo conjunto. Definicin 3.2 Producto cartesiano. Sean A y B conjuntos. El producto cartesiano de A y B es el conjunto de todas las parejas ordenadas A x B = {(a,b): a est en A y b est en B}. Observe que hemos utilizado la notacin A x B para denotar el conjunto y se lee A cruz B. En general si A tiene m elementos y B tiene n elementos, entonces A x B tiene mn elementos. En el caso de que tomemos el producto cartesiano de un conjunto A por si mismo usamos la notacin A2. Ejemplo 3.1 Plano cartesiano. Si X representa el conjunto de todos los nmeros reales sobre el eje x y Y representa el conjunto de todos los nmeros reales sobre el eje y, entonces X x Y es el conjunto de todas las parejas ordenadas de nmeros reales (x,y). En matemtico francs Ren Descartes us un sistema de coordenadas rectangulares y en su honor a dicho sistema le

llamamos plano cartesiano. Dado que los conjuntos X, Y se pueden representar geomtricamente por rectas numricas, el eje x corresponde a la recta horizontal y sobre ella representamos la abscisa o valor x; el eje y corresponde a la recta vertical y sobre ella escribimos la ordenado o valor y. A esta representacin geomtrica le denominamos plano XY. Tambin acostumbramos decir que el plano cartesiano es la representacin del conjunto R2. Y | |(x,y) | . | . > | X | | | | Definicin 3.3 Relaciones. Sean A y B conjuntos. Una relacin entre A y B es un subconjunto del producto cartesiano A x B. La definicin implica que una relacin es un conjunto de pares ordenados y es un subconjunto de A x B y que a en A est relacionado con b en B si y slo si (a,b) est en dicho subconjunto. El dominio de la relacin es el conjunto de todos los primeros elementos de las parejas ordenadas en la relacin. La imagen de una relacin es el conjunto de todos los segundos elementos de las parejas ordenadas en la relacin. El concepto de relacin as definido es de gran utilidad porque lo podemos visualizar al hacer sus grficas en el plano cartesiano. Cualquier relacin que bosquejemos en el plano XY tiene un dominio D y una imagen I que son subconjuntos de nmeros reales. Ejemplo 3.2 Grafique en el plano cartesiano las relaciones: i) {(x,y): x>3}, ii) {(x,y): y = x2}, iii) {x2 + y2 < 25} e indique en cada caso el dominio e imagen.

i) D = R
I=R

ii) D = R
I = [0,oo)

iii) D = ( 5, 5)
I=( 5, 5)

Es importante darnos cuenta de que en el concepto de relacin se tienen tres partes esenciales: el conjunto dominio D, el conjunto imagen I y alguna manera en que podamos determinar cules parejas ordenadas estn en la relacin, que en el ejemplo anterior se dieron por proposiciones abiertas de la forma P(x,y). Un tipo particular de relaciones son los conjuntos de puntos en R2 de la forma {(x,y): f(x,y) = c}. La ecuacin f(x,y) = c se dice que es una ecuacin implcita y dado un nmero real x puede haber uno o ms nmeros y tales que f(x,y) = c. Si la pareja ordenada (xo,yo) est en la relacin, decimos que es una solucin de la ecuacin f(x,y) = c. Al graficar el conjunto en el plano cartesiano estamos representando todas las soluciones de la ecuacin. Se pueden establecer algunas caractersticas de las grficas de tipo general y que nos auxiliarn para poder dibujarlas. Adems, las mismas caractersticas son aplicables al caso de funciones y su representacin grfica. Todo esto apoya el anlisis de funciones que se ver en captulos posteriores. Intersecciones. Las intersecciones con el eje y de la ecuacin f(x,y) = c se obtienen al hacer x = 0 y resolver f(0,y) = c. Anlogamente, obtenemos las intersecciones con el eje x al hacer y = 0 y resolver f(x,y) = c. Extensin. Es la regin del plano cartesiano donde la grfica de la ecuacin est confinada. El dominio e imagen de la relacin nos permite delimitar dicha regin. Simetra. Un conjunto de puntos en la relacin, es simtrico con respecto al eje x, si para cualquier punto (x,y) en la relacin, (x, y) tambin est en la relacin. Anlogamente, tenemos simetra con respecto al eje y si, para cualquier punto (x,y) en la relacin, ( x,y) tambin est en la relacin. Una relacin tiene simetra con respecto al origen si y slo si, para cualquier punto (x,y) en la relacin, ( x, y) est en la relacin. Ejemplo 3.3 Discuta la interseccin, extensin, simetra y dibuje la grfica de la ecuacin 42 + 25y2 = 100. Para encontrar la interseccin con el eje 25y2 = 100 <=> y= 2 y hacemos x = 0 en la ecuacin y resolvemos para y: y = 2;

Anlogamente las intersecciones con el eje x. Tenemos que

42 = 100 <=> x= 5 x = 5.

Supongamos que (x,y) es un punto de la grfica y resolvamos la ecuacin para la variable x, x = + 5/2 4 y2

Y como x es un nmero real, es necesario que y2 < 4; lo cual implica que 2<y<2. Anlogamente, resolvemos la ecuacin para la variable y. Encontramos que y es un nmero real si y slo si se tiene que 5<x<5. Hemos encontrado la imagen y el dominio de la relacin y. por lo tanto, la extensin de la grfica es la regin del plano XY definida por el conjunto
R = {(x,y): 5<x<5; 2<y<2}.

Tenemos simetra con respecto al eje x y simetra con respecto al eje ecuacin, entonces ( x,y) y (x, y) son tambin soluciones: 4( x)2 + 25y2 = 42 + 25( y)2 = 42 + 25y2 = 100

y, ya que si (x,y) es solucin de la

Por supuesto, tambin tenemos simetra con respecto al origen. Combinamos ahora los resultados obtenidos para las intersecciones, la extensin y la simetra para obtener la grfica de la ecuacin que ilustramos en el primer cuadrante del plano cartesiano. El resto de la grfica puede encontrarse por reflexin.

3.1.2 Funcin En la observacin de los fenmenos que ocurren en la naturaleza, en muchos casos, el hombre ha podido sintetizar su conocimiento en leyes fsicas. Estas leyes indican cmo estn relacionadas las diversas magnitudes que caracterizan el fenmeno y cmo la magnitud de alguna de ellas est completamente determinada por los valores de las otras. Por ejemplo: el volumen de un gas a temperatura constante est determinado por la presin; la dilatacin de una barra metlica est determinada por la temperatura; la corriente a travs de una resistencia est determinada por el voltaje aplicado, etc. Los ejemplos anteriores pueden expresarse por medio de frmulas o reglas que permiten relacionar una magnitud fsica con otra. El punto importante a considerar aqu es que para cada valor de una magnitud fsica x, queda determinado un nico valor de la magnitud fsica y, por la frmula o regla respectiva. La palabra nico, en el sentido del fenmeno fsico, significa que bajo las mismas condiciones de observacin y valor de x obtendremos el mismo valor y. Aunque los anteriores son ejemplos especficos del concepto de funcin, la esencia de ste est en cada uno de ellos. Trataremos ahora de formalizar las ideas subyacentes. Observe que hemos empleado los trminos relacionados, valores, reglas y nico; por lo tanto de nuestra formalizacin del concepto de funcin se deben desprender claramente el significado de dichos trminos. Definicin 3.4 Funcin. Sean A y B conjuntos. Una funcin f es una relacin en el producto cartesiano A x B tal que si (x,y) est en f y (x,z) est en f, entonces y = z. Observe que la condicin garantiza que un elemento x en A no puede tener asociado ms de un elemento de B. Es frecuente que se utilicen otras notaciones para una funcin f; la ms comn es f : A > B. Veamos como trabaja la funcin f mediante el esquema siguiente: | | x |>f | y | | Sea (x,y) en f. Entramos a la caja con la primera coordenada de la pareja ordenada y obtenemos a la salida la segunda coordenada. Es costumbre denotar a y por f(x) que se lee f de x y denominamos el valor de la funcin en x o imagen de x. Nos referimos a f(x) como un smbolo en la notacin funcional, con x como el argumento. Por supuesto, no podemos alimentar a la caja ms que aquellos elementos x que son las primeras coordenadas de los elementos de f. Definicin 3.5 Dominio e Imagen. Dom f = {x: para alguna y, (x,y) est en f}. Im f = {y: para alguna x, (x,y) est en f}.

En el caso particular de que cada elemento de A aparezca como primera coordenada de un par ordenado de la funcin f, esto es, Dom f = A, decimos que tenemos una funcin completa. Como la definicin no requiere que todo elemento de B sea imagen de un elemento de A, se tiene que Im f es un subconjunto de B. Hasta este punto las definiciones anteriores no especifican la naturaleza de los conjuntos A y B; pero, en lo sucesivo vamos a considerarlos como subconjuntos de R, en cuyo caso decimos que nuestra rea de estudio es el anlisis real y en particular en este punto las funciones reales de variable real o sea conjuntos de pares ordenados de nmeros reales y, por lo tanto, pueden considerarse como un conjunto de puntos en R x R o R2. Por la propia definicin de funcin, estos conjuntos tienen la propiedad de intersecar una sola vez a cada recta vertical. Debemos recordar este punto, sobre todo cuando analicemos la representacin geomtrica de las funciones. Definicin 3.6 Grfica de f : R >R. La grfica de f es el conjunto de pares ordenados de f considerados como un subconjunto de R2. En notacin funcional la definicin anterior nos lleva a la siguiente conclusin: La grfica de la funcin f en el plano XY, es la grfica de la ecuacin y = f(x). Frecuentemente usamos la terminologa y es funcin de x, donde x es la variable independiente y la variable dependiente es y. Ya que nuestra definicin deja establecido que una funcin es un caso particular de relacin, la discusin con respecto a la interseccin, extensin, simetra y dibujo de grficas de funciones de la seccin anterior se aplica ntegramente. En este caso denotamos el conjunto de puntos en el plano cartesiano como (x,y): y = f(x). Con respecto a la simetra es conveniente introducir una nomenclatura para cierto tipo de funciones. La simetra con respecto al eje y requiere que si (x,f(x)) est en f, entonces como ( x,f( x)) = ( x,f(x)) tambin est en f. Esto es, para cada x en Dom f, es necesario que x est en Dom f y que f( x) = f(x). Las funciones que tienen esta propiedad les llamamos funciones pares. Si una funcin tiene la propiedad de que para toda x en Dom f tambin x est en Dom f, y se cumple f( x) = f(x), entonces decimos que la funcin es impar. Note que si (x,f(x)) est en f, entonces ( x,f( x)) = ( x, f(x)) est en f. Es decir, si f es una funcin impar, su grfica tiene simetra con respecto al origen. Ejemplo 3.4 Discuta la interseccin, extensin, simetra y dibuje la grfica de la funcin f(x) = 22 + 5. Para hacer un anlisis similar al del ejemplo 3.3, usemos la notacin y = f(x). De esta manera tenemos la ecuacin y = 22 + 5. La interseccin con el eje intentamos resolver 0 = x2 + 5; y la obtenemos fcilmente. S x=0, entonces y = 5. Anlogamente, si y=0 entonces

pero, no existen soluciones reales para esta ecuacin; por lo tanto, no hay intersecciones con el eje x.
La extensin se obtiene al analizar el dominio e imagen de la funcin. Al analizar la ecuacin y = f(x) vemos que no existe ninguna restriccin para tener una funcin completa en los reales, es decir Dom f = R. Sobre esta base intentamos obtener la imagen de la funcin. Para ello despejamos la variable x de la ecuacin: x = + (y 5)/2,

y observamos que para que x sea un nmero real es necesario que y>5; esto es, Im f = [5,oo). O sea la extensin de la grfica esta determinada por la regin
R = {(x,y): ( oo<x<oo, 5<y<oo}. y, puesto que si (x,y) es solucin de la ecuacin, entonces

En este caso tenemos simetra con respecto al eje x,y) tambin es solucin: y = 2( x)2 + 5 = 22 + 5.

No hay simetra con respecto al eje x; como era de esperarse despus de analizar las intersecciones. Por supuesto no hay simetra con respecto al origen. Sin embargo, con la informacin anterior es suficiente para bosquejar la grfica. Como tenemos el dominio e imagen de la funcin, es suficiente con calcular los valores de la funcin el algunos puntos x para trazar la figura: x | 2 | 1 | 0 | +1 | +2 | f(x)| 9 | 7 | 5 | 7 | 9 |