Funciones Reales: Conceptos Básicos
Funciones Reales: Conceptos Básicos
Universidad de Zaragoza
Captulo 2
Definicion 2.1.1. Una funcion (real de variable real) es una aplicacion f : A B con A,
B R.
Cambiar una cualquiera de estas tres cosas (el dominio, el conjunto final o la regla de defini-
cion) hace que la funcion cambie. Por ejemplo, si tenemos una funcion f : A B y consideramos
un subconjunto S de A, la restriccion de f a S es la funcion f |S : S B tal que f |S (x) = f (x)
para cada x S, que no es la misma funcion f (se ha cambiado el dominio), aunque venga dada
por la misma regla de correspondencia (a cada x de S, la restriccion f |S hace corresponder el
mismo valor que f ).
En la practica raras veces se muestra una funcion como una terna, tal como requerira su
definicion formal: lo habitual es especificar su dominio y la regla que permite determinar el valor
de la funcion en cada elemento del dominio (ver los comentarios de [Bartle-Sherbert, Sec. 1.2,
especialmente pags. 22-25]). En cuanto al conjunto final de una funcion, cuando no se mencione
explcitamente se sobrentendera que dicho conjunto es R.
Suele chocar al principiante que a veces la regla de definicion de una funcion aparece dividida en
varias subreglas parciales (expresadas habitualmente mediante formulas), tendiendo a interpretar
13
14 CAPITULO 2. FUNCIONES: GENERALIDADES
incorrectamente que se han definido tantas funciones como subreglas se enuncien. Por ejemplo, la
funcion f : R R tal que (
x, si x 0;
f (x) =
x, si x < 0,
es una sola funcion, la funcion valor absoluto , y no dos funciones, aunque sus valores coincidan
en parte de su dominio (no en todo!) con los que toman las dos funciones distintas g : x R
g(x) = x R y h : x R h(x) = x R.
Dada una funcion f , emplearemos la expresion f esta definida en S como sinonimo de S es un
subconjunto de dom f . El dominio de f es, en este sentido, el mayor subconjunto de R en el que
f esta definida.
Ejercicio. Estudiar si son o no iguales las funciones f : R R, g : R R dadas por
f (x) = 2x; g(x) = |x 1| + |x + 1|.
Cambia la respuesta si comparamos las restricciones de f y g al intervalo [1, +)? Y comparando
las restricciones a otros subconjuntos de R?
Definicion 2.1.2. Sea f una funcion con dominio A y sean S A, T R. Llamamos conjunto
imagen de S por f al conjunto
f (S) = {f (x) : x S},
y conjunto antiimagen de T por f al conjunto
f 1 (T ) = {x : f (x) T },
que sera un subconjunto (eventualmente vaco) de A.
El conjunto imagen del dominio de f suele denominarse, simplemente, conjunto imagen de
f o rango de f , y se denota a veces im f o rang f ; por tanto, se tiene
im f = f (dom f ) = {f (x) : x dom f } .
Una funcion f se dice inyectiva si elementos distintos de su dominio tienen siempre imagenes
distintas: es decir, si dados x, y dom f , de x 6= y se sigue f (x) 6= f (y); o, equivalentemente, si
dados x, y dom f , de f (x) = f (y) se sigue x = y.
Una funcion f : A B se dice suprayectiva si f (A) = B, o sea, si el conjunto final y el
conjunto imagen de f coinciden; dicho de otra forma, si cada elemento de B es imagen de algun
(o algunos) elemento(s) de A.
Una funcion se dice biyectiva si es simultaneamente inyectiva y suprayectiva.
Ejemplos. La funcion identidad id : x R id(x) = x R es trivialmente biyectiva. La funcion
parte entera, que asocia a cada x R su parte entera (vista como aplicacion de R en R) no es
inyectiva ni suprayectiva.
Definicion 2.1.3 (funcion inversa). Dada una funcion inyectiva f : A B, llamaremos fun-
cion inversa de f a la funcion f 1 : f (A) A tal que f 1 (y) = x si y solo si f (x) = y.
En terminos mas formales, f 1 sera la funcion dada por la terna (f (A), A, Gf 1 ), donde Gf 1 =
{(y, x) : (x, y) Gf }, y Gf es, por supuesto, la grafica de f . Para ser rigurosos, deberamos
comprobar que tal terna define efectivamente una funcion; esto es una consecuencia inmediata de
que f es inyectiva.
En muchos textos aparece definida la funcion inversa solamente para funciones biyectivas. Sin
embargo, la practica usual en analisis matematico recomienda ampliar la definicion a todas las
funciones inyectivas, como acabamos de hacerlo. Observese que, en cualquier caso, lo que hemos
definido sera la funcion inversa de la funcion biyectiva f : A f (A) tal que f(x) = f (x), que,
recordemoslo, salvo cuando f es ademas suprayectiva, es otra funcion la biyeccion asociada a f
pues cambia el conjunto final.
2.1. PRIMEROS CONCEPTOS 15
(Por ejemplo, en el primer caso la grafica de g se obtiene desplazando hacia arriba la grafica de f
una distancia c si c 0, o desplazando hacia abajo la grafica de f una distancia |c| si c < 0.)
Tabulacion de funciones. Cuando el dominio de una funcion es finito (y con un numero no
demasiado elevado de elementos) es a menudo util describir la funcion escribiendo en forma de
tabla los valores del dominio y a su lado, correlativamente, los valores de la funcion en cada uno de
ellos. As, por ejemplo, suele procederse en la recogida de datos experimentales, cuando se estudian
dos magnitudes de las cuales una depende de la otra y, de hecho, las tablas de correspondencias
entre numeros o magnitudes son historicamente muy anteriores a la idea misma de funcion.
Tambien se procede a la tabulacion de funciones aunque el dominio no sea finito, reflejando en
tal caso, por descontado, tan solo una parte finita del mismo. Cabe senalar que en la mayora de
las tablas de funciones que se usan en las ciencias, los valores de la funcion que aparecen en las
tablas no son, por razones obvias, valores exactos, sino valores aproximados con un error que es
necesario controlar para poder utilizarlas adecuadamente. Existe una extensa bibliografa de libros
de tablas de funciones, sustituidos casi totalmente en la actualidad por los ordenadores e incluso
por las calculadoras cientficas de bolsillo. Sin embargo, es muy conveniente conocer al menos uno
de ellos, como [Spiegel-Abellanas].
Veamos ahora algunas clases particulares de funciones que apareceran frecuentemente a lo largo
de todo el curso.
Definicion 2.1.4. Una funcion f se dice monotona no creciente si dados cualesquiera x,
y dom f con x < y, es f (x) f (y).
Una funcion f se dice monotona no decreciente si dados cualesquiera x, y dom f con
x < y, es f (x) f (y).
Una funcion f se dice monotona estrictamente creciente si dados cualesquiera x, y
dom f con x < y, es f (x) < f (y).
Una funcion f se dice monotona estrictamente decreciente si dados cualesquiera x, y
dom f con x < y, es f (x) > f (y).
16 CAPITULO 2. FUNCIONES: GENERALIDADES
Una funcion monotona es una funcion de uno cualquiera de los tipos anteriores. Por brevedad,
si S dom f , se dice que f es monotona en S si la restriccion f |S es monotona.
Esta nomenclatura puede variar de unos textos a otros: por ejemplo, algunos autores llaman
funciones crecientes a las que nosotros denominamos monotonas no decrecientes, mientras que
otros utilizan el nombre de funciones crecientes para las que hemos definido como monotonas
estrictamente crecientes. Hemos elegido por ello los nombres que nos parecen menos ambiguos
para cada uno de los tipos considerados.
Observacion. La monotona no es una propiedad puntual de la funcion, sino que es una propiedad
global . Esto significa que solo tiene sentido decir que una funcion es monotona en un determi-
nado conjunto , no que es monotona en un punto del conjunto. La expresion funcion monotona
en un punto carece de significado.
Ejercicio. Probar que la funcion f : R \ {0} R definida mediante f (x) = 1/x es estrictamente
decreciente en (, 0) y en (0, +). Es estrictamente decreciente en R \ {0}?
En general, dada una funcion f : D R R y dos subconjuntos A, B de D, si f es estric-
tamente decreciente en D puede asegurarse que f es estrictamente decreciente en A y que f es
estrictamente decreciente en B? Y si f es estrictamente decreciente tanto en A como en B, puede
asegurarse que f es estrictamente decreciente en A B? Responder las mismas preguntas para los
demas tipos de monotona.
Ejercicio. Probar que la funcion f : [1/2, +) R definida mediante f (x) = x2 x + 1 es
estrictamente creciente. En consecuencia, es inyectiva. Cual es su funcion inversa?
Definicion 2.1.5. Diremos que una funcion f esta acotada superiormente si su conjunto ima-
gen esta acotado superiormente. En otras palabras, si existe un numero fijo M R tal que, si-
multaneamente para todos los x dom f , se tiene f (x) M (por comodidad, suele decirse entonces
que f esta acotada superiormente por M o que M es una cota superior de f , en lugar de decir que
el conjunto imagen de f esta acotado superiormente por M o que M es una cota superior de dicho
conjunto).
Enteramente analoga es la definicion de funcion acotada inferiormente .
Por ultimo, una funcion acotada es aquella que esta acotada superior e inferiormente, es decir,
aquella cuyo conjunto imagen esta acotado, de manera que existen constantes m, M R tales que
para cada x dom f se tiene m f (x) M ; equivalentemente, f esta acotada si y solo si existe
un K R tal que |f (x)| K para todo x dom f .
x
Ejercicio. Probar que la funcion f : R R dada por f (x) = 2 esta acotada. Cual es la
x +1
cota inferior mas ajustada que se puede encontrar? Cual la cota superior mas ajustada?
El estudio de una funcion se simplifica cuando posee algun tipo de repeticion. Concretamos
esta idea en las siguientes definiciones.
Definicion 2.1.6. Sea f una funcion definida en R. Diremos que f es
a) par si para cada x R se cumple f (x) = f (x) (su grafica es entonces simetrica respecto
del eje de ordenadas);
b) impar si para cada x R se cumple f (x) = f (x) (su grafica es entonces simetrica
respecto del origen de coordenadas);
Notese que la definicion de funcion par y de funcion impar puede ampliarse de manera obvia
a funciones f cuyo dominio sea simetrico (respecto al origen de coordenadas), es decir, tal que
x dom f siempre que x dom f .
Ejercicio. Probar que la funcion de Dirichlet
(
1 si x es racional,
D(x) =
0 si x es irracional
es periodica (comprobar que cada numero racional no nulo es un periodo, y que ningun numero
irracional lo es). Es D una funcion par? Es una funcion impar?
Las mismas preguntas para la funcion f (x) = x [x].
dom(g f ) = f 1 (dom g)
dada por
(g f )(x) = g (f (x))
para cada x dom(g f ) (observese que tales x son justamente aquellos para los que g (f (x)) tiene
sentido).
x
Ejercicio. Sea f : x R f (x) = . Calcular f f . En general, si se define por recurrencia
1 + x2
f1 = f y fn+1 = f fn , n N, calcular fn .
Definicion 2.1.8. La suma de f y g, denotada f + g, es la funcion con dominio
dada por
(f + g)(x) = f (x) + g(x)
para cada x dom(f + g) (observese que tales x son justamente aquellos para los que f (x) + g(x)
tiene sentido).
Totalmente similar es la definicion de la diferencia f g y del producto f g de f y g.
Definicion 2.1.9. El cociente de f y g, es la funcion f /g con dominio
dada por
f (x)
(f /g)(x) =
g(x)
para cada x dom(f /g) (observese una vez mas que tales x son exactamente aquellos para los que
f (x)/g(x) tiene sentido).
En algunos textos, se da el nombre de dominios naturales a los dominios anteriormente definidos.
Ejercicio. Sea id : R R la funcion identidad, es decir, id(x) = x para todo x R. Son iguales
id2 1
las funciones e id 1? Por que? Cual es la relacion entre ambas?
id +1
18 CAPITULO 2. FUNCIONES: GENERALIDADES
Funciones constantes
Son las que asignan a todos los valores de su dominio un mismo valor fijo, es decir, aquellas
funciones f para las que existe un a R tal que f (x) = a para todos los x dom f .
Puede una funcion constante ser inyectiva, suprayectiva o biyectiva? Como es su representa-
cion grafica? Es monotona? De que tipo? Es acotada? Es par, impar, periodica?
Funcion identidad
Dado un conjunto A R, la identidad en A es la funcion tal que f (x) = x para cada x A.
Es la identidad siempre inyectiva, suprayectiva o biyectiva? Es monotona? Es acotada?
Como es su representacion grafica? Cual es su inversa?
Races
Dado k N, se puede probar que la funcion g : x R x2k1 R es biyectiva. Por tanto,
posee una funcion inversa f : R R, denominada raz (2k 1)-esima ; su valor en un punto
x R se denota por 2k1 x o x1/(2k1) . De acuerdo con su definicion, se tiene y = 2k1 x si y solo
si y 2k1 = x.
Sin embargo, puesto que la funcion h : x R x2k R no es inyectiva, no puede hablarse
de raz 2k-esima en todo R. No obstante, la restriccion de h a [0, +) es estrictamente creciente
(luego inyectiva), y tiene por imagen el conjunto [0, +): su inversa es la que llamamos funcion
raz 2k -esima , de modo que dicha funcion tendra ahora por dominio [0, +). Es decir, solo
esta definida en un numero real x si x 0: su valor en dicho punto se representa por 2k x o x1/(2k)
excepto para el caso k = 1 (raz cuadrada), que se usa abreviadamente x. Notese que siempre es
x 0 y, en general, 2k x 0.
f (x) = a0 + a1 x + + an xn
para cada x R (tambien suelen denominarse funciones polinomicas las restricciones de las ante-
riores a cualquier subconjunto de R.)
Las funciones racionales son aquellas que pueden expresarse como cociente de dos funciones
polinomicas. Su dominio es todo R salvo un conjunto finito (eventualmente vaco), el conjunto de los
ceros o races del denominador. Es asimismo usual utilizar el mismo nombre para las restricciones
de tales funciones a subconjuntos cualesquiera.
Funciones algebraicas
Reciben este nombre las funciones tales que se pueden encontrar polinomios p0 , p1 , . . . , pn de
manera que para todo x dom f se verifica
Observese que las races anteriormente definidas quedan dentro de esta clase.
b) Para cada x R,
1
= ex ,
ex
y, en particular, ex 6= 0.
c) Dados x, y R,
ex+y = ex ey .
20 CAPITULO 2. FUNCIONES: GENERALIDADES
d) Dados n N y x R,
n
enx = ex ex .
e) Para cada x R,
ex > 0 .
ex ex
Funcion logartmica
La funcion logartmica
log : (0, +) R
es la inversa de la funcion exponencial, de modo que log x = y si y solo si ey = x.
Por tanto, esta caracterizada por cumplir
y
elog x = x cualquiera que sea x (0, +) .
Sus propiedades son consecuencia de las de la funcion exponencial.
ex
log x
b) (ax )y = axy .
Definicion 2.2.5. Dado a > 0, a 6= 1, la funcion logartmica de base a se define en (0, +)
mediante la formula
log x
loga x = .
log a
Es inmediato comprobar que esta funcion es la inversa de la funcion exponencial de base a.
Como propiedad adicional interesante se tiene: dados a, b, x R con 0 < a 6= 1 y b > 0,
La funcion seno
sen : R R
y la funcion coseno
cos : R R
seran definidas mas adelante. De momento, admitimos sin demostracion que satisfacen las propie-
dades que pasamos a enunciar.
Proposicion 2.2.6 (propiedades del seno). a) El seno es una funcion impar, mientras que
el coseno es una funcion par: cualquiera que sea x R se tiene
sen(x) = sen x, cos(x) = cos x .
b) Para cada x R es
sen2 x + cos2 x = 1 .
c) Existe un numero real positivo, denotado por , tal que sen = 0 y sen x 6= 0 si 0 < x < .
Este numero es irracional (y trascendente) y sus primeras cifras decimales son
3, 14159265358979 . . .
El numero , ((area del crculo de radio 1, es de lejos la constante mas celebre de las ma-
tematicas. Aparecida inicialmente en Geometra, interviene hoy en los dominios mas variados:
analisis, teora de numeros, probabilidades y estadstica, combinatoria, etc. Los mas grandes
matematicos se han interesado desde hace mas de 2000 anos por los problemas planteados por
este numero)) ([Le Lionnais, pag. 50]).
d) cos = 1.
e) Las funciones sen y cos tienen por conjunto imagen (rango) el intervalo [1, 1].
f ) Dados x, y R tales que x2 + y 2 = 1, existe un R de modo que
cos = x, sen = y
(graficamente, esto significa que las funciones seno y coseno que hemos definido se corres-
ponden con las utilizadas en trigonometra).
g) Formulas de adicion. Dados x, y R,
sen(x + y) = sen x cos y + cos x sen y ; sen(x y) = sen x cos y cos x sen y ;
cos(x + y) = cos x cos y sen x sen y ; cos(x y) = cos x cos y + sen x sen y .
sen x
cos x
Definicion 2.2.7. La funcion tangente tg, la funcion cotangente ctg, la funcion secante
sec y la funcion cosecante cosec se definen a partir de las funciones seno y coseno mediante las
formulas
sen cos 1 1
tg = , ctg = , sec = , cosec = .
cos sen cos sen
Cuales son los dominios de estas funciones?
tg x cotg x
cosec x sec x
24 CAPITULO 2. FUNCIONES: GENERALIDADES
de manera que sera una funcion estrictamente creciente, impar, acotada, y tal que dado x [1, 1]
(
y [/2, /2]
arc sen x = y
sen y = x,
con lo cual
sen(arc sen x) = x para todo x [1, 1] = dom arc sen
(es decir, la funcion arco seno es una inversa por la derecha de la funcion seno), mientras que
Ejercicio. Dibujar las graficas de las funciones sen arc sen y arc sen sen.
con lo cual
cos(arc cos x) = x para todo x [1, 1] = dom arc cos
(es decir, la funcion arco coseno es una inversa por la derecha de la funcion coseno), mientras que
arc sen x
arc cos x
De manera similar:
La funcion arco tangente
arc tg : R (/2, /2)
es por definicion la inversa de la restriccion de la funcion tangente al intervalo abierto (/2, /2).
Es una funcion estrictamente creciente, impar, acotada, y tal que dado x R
(
y (/2, /2)
arc tg x = y
tg y = x,
con lo cual
tg(arc tg x) = x para todo x R = dom arc tg
(es decir, la funcion arco tangente es una inversa por la derecha de la funcion tangente), mientras
que
arc tg(tg x) = x x (/2, /2).
arc tg x
Aunque se usa menos que las anteriores, podemos tambien definir: la funcion arco cotangente
tg a + tg b
tg(a + b) = .
1 tg a tg b
x+y
arc tg x + arc tg y = arc tg ?
1 xy
Precisar la respuesta.
ex + ex
cosh : x R cosh x = R.
2
ex + ex e2x + 1
= 1 porque e2x + 1 2 ex (> 0).
2 2 ex
cosh x
ex ex
senh : x R senh x = R.
2
senh x
Estas funciones tienen un cierto parecido con el coseno y el seno trigonometricos, y pueden rela-
cionarse geometricamente con la hiperbola de manera similar a como las funciones trigonometricas
se relacionan con la circunferencia. Aumentando la semejanza, existen formulas para las funcio-
nes hiperbolicas que, con variaciones en algunos signos, recuerdan las conocidas para las funciones
trigonometricas: por ejemplo, calculando a partir de la definicion se comprueba que
cosh2 x senh2 x = 1,
cosh(x + y) = cosh x cosh y + senh x senh y,
senh(x + y) = senh x cosh y + cosh x senh y
tgh x
cosh x
arg senh x
arg cosh x
arg tgh x
Bibliografa
[Le Lionnais] Le Lionnais, F.: Les nombres remarquables. Hermann, Pars, 1983. Citado en
la(s) pagina(s) 22
[Maor] Maor, E.: e. The Story of a Number. Princeton University Press, Princeton,
N.J., 1994. Citado en la(s) pagina(s) 19