Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Hola
Hola
Patrici
Molins
Mata
(pmolinas@uoc.edu),
Jos
Francisco
Martnez
Bosc
(jmartinezbos@uoc.edu)
ESQUEMA DE CONTENIDOS
________________________
Definicin
FUNCIN REAL
DE VARIABLE
REAL
Dominio y
recorrido
Ejemplos de
tipos de
funciones
lineales
Funcin
inversa
cuadrticas
Representacin
tabular
Funcin
compuesta
Representacin
grfica
cbicas
racionales
potenciales
Paridad
exponenciales
trigonomtricas
hiperblicas
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
INTRODUCCIN
___________________
Las funciones son las relaciones numricas entre magnitudes. Por lo tanto en toda disciplina
cuantitativa deberemos tratar con funciones que relacionarn las magnitudes de inters. En este
Mathblock tratamos slo de las funciones reales de variable real. En un estudio preliminar como
ste, en el que no se presupone ningn contenido previo, es imprescindible empezar
introduciendo las funciones con toda su riqueza descriptiva. Es por este motivo que en el presente
Mathblock trataremos la representacin tabular y grfica justo despus de definir los conceptos de
funcin y, de dominio e imagen de una funcin. En el apartado de representacin grfica de una
funcin vamos a hacer hincapi en las propiedades de simetra de las funciones puesto que nos
permitirn avanzar ms rpidamente en los temas de Representacin grfica (sin ordenador) e
integracin de funciones.
La parte central de este Mathblock est dedicada a la bsqueda de la funcin inversa de una
funcin cualquiera y a la composicin de dos funciones. Veremos como no siempre es posible
encontrar la funcin inversa; a menudo debemos restringir el dominio de la funcin inversa para
que sta tenga sentido. La composicin de funciones que nos permite encadenar operaciones
con la variable original constituir la segunda parte del ncleo conceptual de este Mathblock.
Finalmente proporcionamos unos cuantos ejemplos de las funciones ms populares en la
ingeniera.
___________________________________
Familiarizarse con los conceptos de funcin inversa y funcin compuesta. Desarrollar la agilidad
mental suficiente para establecer si la funcin inversa de una funcin dada existe y calcularla.
Adquirir la prctica necesaria en la composicin de funciones.
CONOCIMIENTOS PREVIOS
___________________________________
CONCEPTOS FUNDAMENTALES
______________________________
Para cualquier funcin f que proporciona un nico valor de la variable dependiente ( y ) a partir de
un valor de la independiente ( x ), y = f (x ) hemos de conocer las distintas formas de expresarla:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Asimismo en el segundo ejemplo de Casos prcticos con software aprenderemos a averiguar cul
es su dominio (Dom f ) y su recorrido o conjunto imagen (Im f ).
El dominio consiste en el subconjunto de nmeros reales que puede tomar la variable independiente
y el recorrido, el subconjunto de valores generados utilizando como variable independiente de la
funcin todos los valores de su dominio.
Decimos que una funcin f (x ) es par siempre que para todo valor de la variable independiente
perteneciente al dominio se cumpla que:
f ( x) = f ( x)
Esto corresponder grficamente a una simetra especular respecto al eje y ( x = 0 ).
Decimos que una funcin f (x ) es impar siempre que para todo valor de la variable independiente
perteneciente al dominio se cumpla que:
f ( x) = f ( x)
Esto corresponder grficamente a una simetra respecto al punto ( x, y ) = (0,0) .
El carcter par o impar de una funcin es lo que conocemos como su paridad. Las funciones que no
son ni pares, ni impares, carecen de paridad. Veremos ejemplos de los tres casos en Casos prcticos
con software.
Funcin inversa
1
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Funcin compuesta
Forma tambin parte de este tema saber componer dos o ms funciones mediante la operacin de
composicin de funciones: ( fog )( x ) = f ( g ( x )) y determinar el dominio y el recorrido de la
funcin compuesta. En el caso de componer dos funciones, el dominio de la primera funcin tiene que
limitarse de forma que el conjunto imagen de la primera funcin (Im g (x ) ) est incluido dentro del
dominio de la segunda (Im g (x ) Dom f (x ) ).
La composicin de cualquier funcin con su inversa equivale a la funcin identidad: i ( x) = x , que
hace corresponder a la variable independiente, la misma variable independiente.
El otro objetivo de este tema consiste en familiarizarse con las funciones polinmicas de primer,
segundo y tercer grado en x .
Funciones lineales
Las funciones lineales son las que se expresan mediante un polinomio de primer grado:
f ( x) = ax + b
donde a 0 y b son nmeros fijos que conocemos como coeficientes del polinomio; y su grfica
una recta.
Funciones cuadrticas
Las funciones cuadrticas son las que se expresan mediante un polinomio de segundo grado:
f ( x) = ax 2 + bx + c
donde a 0 , b y c son nmeros fijos que conocemos como coeficientes del polinomio; y su grfica
una parbola cuyo sentido (hacia arriba o hacia abajo) depender del signo de a .
Toda funcin cuadrtica puede expresarse de la siguiente manera:
f ( x) = a( x p) 2 + q
basta para ello aplicar la siguiente substitucin:
p=
b
2a
q =c
b2
4a
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Funciones cbicas
Las funciones cbicas son las que se expresan mediante un polinomio de segundo grado:
f ( x) = ax 3 + bx 2 + cx + d
donde a 0 , b y c son nmeros fijos que conocemos como coeficientes del polinomio; y su grfica
recibe el nombre de cbica.
Resumimos aqu las propiedades geomtricas de los tres tipos de funciones que comprobaremos en
la parte prctica de este Mathblock:
Frmula
algebraica
Forma
geomtrica
Evolucin de la funcin
cuando x avanza de a +
y=ax+b
(polinomio
lineal)
Recta oblicua
si a0
avanza de a + si a>0
y de + a si a<0
ninguno
(o infinitos
si a=b=0)
mantiene
un valor constante b
2 si b2-4ac>0
1 si b2-4ac=0
Recta horizontal
si a=0
y=ax2+bx+c
(polinomio
cuadrtico)
Parbola
ninguno
si b2-4ac<0
y=ax3+bx2+cx+d
(polinomio
cbico)
Cbica
3, 2 o 1
avanza de a + si a>0 y de
+ a si a<0
Funciones racionales
Llamamos funcin racional a toda aquella funcin que se puede expresar como el cociente de dos
polinomios cualesquiera:
f ( x) =
p ( x) p n x n + p n 1 x n 1 + K + p 1 x + p 0
=
q ( x) q m x m + q m 1 x m 1 + K + q1 x + q 0
Funciones potenciales
f ( x) = x c
donde c es un nmero real cualquiera diferente de cero.
f ( x) = a x
donde a es un nmero real cualquiera positivo y diferente de cero, que llamamos base. En particular,
destacamos la funcin exponencial de base e = 2,71828182 K , que es un nmero irracional.
La funcin logaritmo se define como la inversa de la funcin exponencial. As tenemos que
g ( x) = log a x
que satisface las siguientes propiedades:
Funciones trigonomtricas
f ( x) = sin( x)
el seno:
el coseno:
f ( x) = cos( x)
y la tangente:
f ( x) = tan( x) =
sin( x)
cos( x)
Estas funciones son peridicas, es decir, sus valores se repiten con un periodo determinado, en este
caso 2 .
Funciones hiperblicas
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
f ( x) = sinh( x) =
e x ex
2
el coseno hiperblico:
f ( x) = cosh( x) =
e x + ex
2
y la tangente hiperblica:
f ( x) = tanh( x) =
sinh( x) e x e x
=
cosh( x) e x + e x
el seno hiperblico:
f ( x) := x
x es la variable independiente
x := 10, 9.95.. 10
-10
100
-9.95
99.002
-9.9
98.01
-9.85
97.022
-9.8
96.04
-9.75
95.062
-9.7
94.09
x = 7 -9.65
f ( x) = 7
93.122
-9.6
92.16
-9.55
91.202
10
90.25
10
-9.5
11 -9.45
12
-9.4
13 -9.35
14
-9.3
15 -9.25
100
f ( x)
50
10
10
11 89.302
12
88.36
13 87.422
14
86.49
15 85.562
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
f ( x) = 3x 2 4 x 4
g ( x) = x 3 +
1
x
2
h( x ) = x 2 6 x + 1
f ( x) = 3 x 2 4 x 4 ser par.
f ( x) = 3( x ) 4( x ) = 3 x 2 + 4 x 4 = f ( x)
2
1
x presentar simetria
2
impar. En efecto:
g ( x) = ( x ) +
3
1
( x ) = x 3 1 x = g ( x) = ( x 3 + 1 x)
2
2
2
Por otro lado, la tercera funcin h( x) = x 6 x + 1 no presenta paridad alguna puesto que mezcla
trminos polinomiales de exponente par con trminos de exponente impar. Fijmonos en la
comprobacin:
2
h( x) = ( x ) 6( x ) + 1 = x 2 + 6 x + 1 h( x) = x 2 6 x + 1
2
h( x) = ( x ) 6( x ) + 1 = x 2 + 6 x + 1 h( x) = x 2 + 6 x 1
2
Mathcad nos proporciona la comprobacin geomtrica. Basta con darse cuenta que la simetria
asociada a una funcin par existe si al doblar la hoja de paper donde est impreso el grfico utilizando
como eje de fijo en la accin de doblar, el eje de las ys, la funcin en su parte negativa coincide (toca)
a la parte positiva, es decir, se solapan perfectamente. Dicho de otra manera, si perpendicularmente a
la hoja de papel existe un espejo que incluye el eje y, la imagen de la izquierda quedara reflejada
encima de la de la derecha si y slo si, la funcin es par. Del mismo modo, para una funcin impar,
sabemos que si efectuamos dos de estas inversiones especulares, una segn el eje x y la otra
segn el y, debemos conseguir solapar la funcin a la izquierda del eje y con la funcin a su derecha.
La representacin grfica de
la funcin f(x) muestra que
efectuando una reflexin a
partir del eje de las ys, la
parte de las x negativas se
solapa perfectamente con la
de las x positivas. En efecto,
la funcin es par.
2 .10
0
0
2
3x 4x
2 .10
4 .10
10
10
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
1000
0
3 1
x x
2
1000
10
10
125
x 6x+ 1
0
10
10
f ( x) = 3x 2
g ( x) = log( x 1)
h( x ) =
4
x 16
2
1
i ( x) = sin( )
x
Hallaremos el dominio de cada una de ellas y luego las representaremos grficamente con Mathcad
para averiguar sus recorridos.
Para determinar el dominio de f(x) tenemos que preguntarnos si existe alguna operacin que no
podemos efectuar dentro de , el cuerpo de los reales, cuando evaluemos paso a paso- la funcin
f(x). Dado que siempre podemos multiplicar un real como el 3 por la variable independiente x y luego
efectuar la resta con 2, no vemos en las operaciones a realizar riesgo alguno. No obstante, el nmero
obtenido despus de evaluar 3x-2 puede ser negativo. Dado que no podemos sacar races cuadradas
de nmeros negativos en , x tiene que ser tal que 3x-2 sea mayor o igual que cero.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
2
. Ambas notaciones son equivalentes; la primera indica un
3
intervalo de la recta real que contiene exactamente los mismos puntos que en el conjunto expresado
utilizando la segunda notacin. Fijaros que el intervalo es cerrado por la izquierda (incluye el
2
) y es
3
abierto por la derecha porque el infinito ( ) no forma parte de los nmeros reales.
En el caso de g(x) las limitaciones al dominio slo pueden estar originadas en la ltima operacin que
realizamos: el logaritmo. Por la definicin de logaritmo (l es el logaritmo base 10 de un nmero z si
z=10l), ste no puede obtenerse nunca de nmeros negativos o de cero (ya que no se puede obtener
cero ni ningn real negativo a partir de una potencia de 10).
Esto nos conduce tambin para g(x) a una inecuacin: x 1 > 0 , que una vez resuelta determina el
dominio de g(x), a saber, (1, ) o {x / x > 1} . Notad que 1 no forma parte de Dom g(x) puesto
que para x=1 obtendramos log(0) que no existe en ( lim+ log( x 1) = )
x 1
En el caso de una funcin racional, como h(x), tenemos que excluir del dominio aquellas x que anulan
el denominador, es decir que ocasionan que x 16 = 0 y resultaran en la imposibilidad de obtener
una imagen h(x) real. Esto corresponde a dos puntos: x = 4 y x = 4 . Por tanto, Dom
h(x)= {x / x 4, x 4}
o
utilizando
la
notacin
de
intervalos
Dom
2
Por la misma razn que para h(x), hay que excluir el punto x=0 del dominio de i(x); es imposible hallar
el valor de la funcin si la variable independiente no es un nmero real, sino infinito.
75
3x 2
500
1000
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
10
Vemos que f(x) crece de forma continua desde cero. El recorrido ser igual a todos los reales
positivos adems del cero, es decir: Im f(x )= [0, ) o {y / y 0}.
Representamos g(x) tambin con Mathcad, utilizando un paso no lineal para representar mejor la
divergencia hacia cuando x se aproxima a 1.
j := 1 .. 99999
0.0001 j
x := 10
j
(j )
y := log x 1
j
yj
0
xj
Desde x=1 hasta x=2, g(x) crece rpidamente. Para valores ms grandes, el crecimiento continua,
pero ms lentamente. El recorrido ser igual a todos los reales (positivos y negativos), es decir: Im g(x
)= ( , ) o {y } .
Para h(x) vemos como el recorrido lo forman todos los nmeros reales positivos y los negativos
menores o iguales que 0.25. Es decir: Im h(x )= ( ,0.25 (0, ) . Notad que esta funcin posee
simetra par h(x) puesto que h(-x)=h(x).
10
4
2
x 16
10
10
10
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
11
i(x)= {y / 1 y 1} .
j := 1 .. 9999
Aqu
ilustramos
con
Mathcad el comportamiento
oscilatorio de i(x) al
acercarse a cero la variable
independiente.
x := 10
j
+ 10
0.005 j
10
y := sin
j
0.1
yj
1
0.01
10
xj
f ( x) = x 2 2
g ( x) = x 2
Vamos a hallar las funciones compuestas fg(x) y gf(x) y comprobaremos el resultado obtenido con
Mathcad.
Por definicin, la funcin compuesta fg(x) se construye aplicando f(x) a la imagen de g(x), es decir:
f ( g ( x)) = f ( x 2) = ( x 2) 2 2
De la misma manera, podemos escribir para gf(x) que:
g ( f ( x)) = g ( x 2 2) = x 2 2 2
Reproducimos aqu el clculo simblico realizado utilizando Mathcad:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
12
f ( x) := x 2
g ( x) := x 2
2
1
2
f ( g ( x) ) x 2 2
1
(2 )
g ( f ( x) ) x 2
Los dominios de las funciones f(x) y g(x) son ( , ) y 0, ) , respectivamente. Dado que el
dominio de f(x) es toda la recta real, el dominio de fg(x) slo vendr limitado por el dominio de g(x) y,
por tanto, coincidir con ste. En el caso de la funcin gf(x), el dominio resulta de restringir la recta
real a aquellos puntos x para los cuales es posible obtener una raz cuadrada de x2-2, es decir, para
] [
x 2 y x 2 . As pues, Dom(gf(x))= , 2 U
fcilmente a partir de las grficas generadas con Mathcad:
10
La representacin grfica de
ambas
funciones
corresponde a:
)2
x 2 2
10
10
10
x
10
x 2 2
10
10
10
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
13
y ( x) = ( x 1)3
Solucionamos el problema paso a paso. Primero aplicamos la raz cbica a ambos lados de la
ecuacin:
3
y ( x) = x 1
y ( x) + 1 = x
y ( x) = 3 x + 1
( x 1)
x
5
x+ 1
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
14
Funciones lineales
5
2x 1
2.5
2
3
0
x
Funciones cuadrticas
5
La
primera
parbola
corresponde a una funcin
cuadrtica con el coeficiente
del trmino de mayor grado
positivo. En la segunda
tenemos las ramas hacia las
ys negativas puesto que el
coeficiente de mayor grado
es negativo.
x 3
2
2x + 3x 1
Funciones cbicas
10
Cuando el coeficiente de
mayor grado (grado tres) es
positivo, la funcin cbica
avanza de menos infinito a
ms infinito mientras que
cuando dicho coeficiente es
negativo, la funcin avanza
de ms infinito hasta menos
infinito.
2x 5x + 2
3
x + 2x+ 1
10
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
15
Funciones potenciales
0.25
1.50
10
log( x)
0
Exponencial
base 10.
logaritmo
0
ln( x)
Exponencial y logaritmo
neperiano (base e ).
0
0
x
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
16
Funciones trigonomtricas
Las
tres
funciones
trigonomtricas
ms
importantes son el seno, el
coseno y la tangente. Aqu
las
representamos
con
Mathcad en el segmento de
la recta real [ 3 ,3 ] .
El seno es una funcin impar
de perodo 2 .
.
2
La tangente, que es el
cociente entre el seno y el
coseno, tiene perodo y es
una funcin impar.
1.25
1
0.75
0.5
0.25
sin( x)
0
0.25
0.5
0.75
1
1.25
1.25
1
0.75
0.5
0.25
cos( x)
0
0.25
0.5
0.75
1
1.25
1.25
1
0.75
0.5
0.25
tan( x)
0
0.25
0.5
0.75
1
1.25
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
17
Funciones hiperblicas
Las
tres
funciones
hiperblicas
ms
importantes son el seno
hiperblico,
el
coseno
hiperblico y la tangente
hiperblica.
Aqu
las
representamos con Mathcad
entre [ 4,4].
20
sinh( x)
20
0
x
20
cosh( x)
20
0
x
La tangente hiperblica, al
ser el cociente entre una
funcin impar y una par, es
tambin una funcin impar.
1.25
1
0.75
0.5
0.25
tanh( x)
0
0.25
0.5
0.75
1
1.25
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
18
CONCLUSIONES
___________________________________
BIBLIOGRAFA
___________________________________
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
19
ENLACES
[W1]
___________________________________
http://www.satd.uma.es/a_valverde/aula-calculo/calculo.html
Excelente aula virtual con apuntes muy completos de funciones escalares y vectoriales (C5).
[W2]
http://www.ugr.es/~dpto_am/docencia/cie_mat_calculo/apuntes.html
El captulo 1 de esta serie de apuntes contiene una parte dedicada a las funciones reales de
variable real y a sus propiedades.
[W3]
http://www.monografias.com/trabajos7/mafu/mafu.shtml
Monografa sobre funciones reales de variable real.
[W4]
http://www.ciudadfutura.com/matematicas/analisis/f_real_1var.html
Resumen conciso de las propiedades de las funciones reales de variable real.
[W5]
http://www.unizar.es/analisis_matematico/analisis1/apuntes/
Apuntes sobre funciones.
[W6]
http://www.unizar.es/analisis_matematico/analisis1/problemas/
Problemas y ejercicios sobre funciones.
[W7]
http://www.planetmath.org/encyclopedia/Function.html
Pgina web de PlanetMath.org dedicada a la definicin de funcin, describe el dominio y el
recorrido.
[W8]
http://www.lafacu.com/apuntes/matematica/deri_limi/default.htm
Apuntes de clculo con funciones.
[W9]
http://www.lafacu.com/apuntes/matematica/calculo_1/default.htm
Excelente resumen de clculo (lmites, derivacin, integracin, etc) con funciones.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
20