Captulo 3

Funciones Reales
En este captulo estudiaremos las funciones reales. Nuestro inters es hacer un estudio
dirigido al uso de las funciones en el clculo. Debieramos concentrarnos en las propiedades
bsicas, algebraicas y geomtricas, de las funciones, sin embargo pretendemos hacer un
eciente estudio, destacando algunos ejemplos clsicos y de uso frecuente. Sabemos que
para un curso de clculo, lo presentado en este captulo puede resultar excesivo. A pesar
de ello, creemos til para el alumno tener este material, entendiendo que podemos omitir
parte de l.
3.1. Deniciones y Ejemplos Bsicos
Comenzaremos con una denicin general de funcin para luego concentrarnos en las
funciones reales de una variable real.
Denicin 12 (Funcin) Sean A y B dos conjuntos no vacos. Una funcin de A en B,
que abreviamos por
f : A B,
es una correspondencia que a cada elemento de A le asocia (o asigna) un nico elemento
de B.
El conjunto A de la denicin anterior, es llamado el Dominio de la funcin f y lo
denotamos por
A = Dom(f) .
128
Si a A y la funcin f le asocia el elemento b B, decimos que b es la Imagen de a
bajo f y escribimos
y = f (x) ,
o bien, decimos que a es la preimagen de b bajo f.
El Recorrido o la Imagen de f, que denotamos por Recf o Imf, es el conjunto de todas
las imagenes de los elementos de A, es decir
Rec (f) = {y B / x A y = f (x)} .
Como hemos sealado, nuestro inters son las funciones reales (en rigor, funciones reales
de una variable real), es decir, funciones cuyo dominio y recorrido son subconjuntos del
conjunto de los nmeros reales R.
En general, una funcin f : A B puede ser representada por una tabla de valores de
doble entrada, un conjunto de pares ordenados, un diagrama, una frmula o un grco. Lo
ms usual es utilizar una frmula (o varias) para denir una funcin, as como un grco
para representarla geomtricamente
Como nuestro trabajo ser desarrollado para funciones reales, podemos dar las siguientes
deniciones de dominio y recorrido para ste tipo de funciones:
Denicin 13 (Dominio y Recorrido) Si f es una funcin real, su dominio es el con-
junto de todos los valores reales x para los cuales f (x) est denida, es decir:
Dom(f) = {x R / f (x) R} .
Consecuentemente, el recorrido de f ser el conjunto de todos los valores reales que toma
esta funcin, es decir:
Rec (f) = {y R / x R : y = f (x)}
= {f (x) / x Domf} .
Observacin 67 En general, si tenemos la funcin y = f (x), podemos decir que x es una
variable independiente e y es una variable dependiente. En tal caso decimos que y es una
funcin de x o que y es una variable dependiente y que depende de x.
Observacin 68 Notar que para hallar el dominio de una funcin f, simplemente debemos
hallar todos los valores de x para los cuales f (x) est denida, mientras que para hallar
el recorrido, debemos hallar todos los y = f (x), para los cuales x Dom(f). Aplicaremos
estas ideas en nuestros prximos ejemplos.
129
Ejemplo 74 Consideremos la funcin dada por la frmula
f (x) =
1
x
.
Para determinar Dom(f), tenemos que:
f (x) =
1
x
R x = 0.
As, Dom(f) = R{0}.
Para hallar Rec(f), tenemos que:
y =
1
x
x =
1
y
,
as,
x =
1
y
R{0} y = 0.
Por lo tanto, Rec(f) = R{0}.
Ejemplo 75 Sea f la funcin dada por la frmula
f (x) =
_
x
2
1 .
Para determinar Dom(f), tenemos que:
f (x) =
_
x
2
1 R x
2
1 0,
es decir, debemos resolver esta ltima inecuacin:
x
2
1 0 (x + 1) (x 1) 0.
Construmos nuestra tabla para los signos de los factores lineales:
Por lo tanto, x (, 1] [1, +). Es decir, Dom(f) = (, 1] [1, +).
Para hallar Rec(f), notemos primero que
y =
_
x
2
1 0,
130
ya que estamos considerando la raz positiva. As, tenemos que debe ser y 0. Por otra
parte, despejando x en funcin de y, tenemos:
y =
_
x
2
1 x =
_
y
2
+ 1,
por lo que y
2
+1 0, pero esto siempre ocurre, ya que tenemos la suma de dos nmeros no
negativos. As, y R. Por lo tanto, Rec(f) = R
+
{0} = [0, +).
Denicin 14 (Grco de una funcin) Si f es una funcin real, el Grco de f,
denotado por Gr (f), es el conjunto dado por:
Gr (f) = {(x, y) / x Dom(f) y = f (x)}
= {(x, f (x)) / x Dom(f)} .
Ya que Gr (f) R
2
, podemos representar este conjunto en el plano cartesiano, es decir
en el sistema de coordenadas cartesianas. Esta representacin geomtrica del grco de una
funcin ser una curva, la curva dada por
y = f (x) , x Dom(f) .
Esto quiere decir que la primera coordenada, que corresponde a los elementos del dominio,
estarn en el eje X, mientras que la segunda coordenada, que corresponde al recorrdo (la
imagen de la primera coordenada bajo f) estar en el eje Y .
131
A continuacin daremos un conjunto de ejemplos, considerados bsicos, de funciones y
su grco (cuando sea posible). En algunos casos estos ejemplos son en s deniciones de
ciertas funciones de uso frecuente,
Ejemplo 76 (Funcin Constante) Sea c R (jo). La funcin costante se dene por
la frmula
f (x) = c, para cualquier x.
Vemos fcilmente que
Dom(f) = R y Rec (f) = {c} .
Si hacemos y = f (x), tenemos la curva
y = c,
que sabemos que es una recta horizontal. Es decir, el grco de la funcin constante es una
recta horizontal que intersecta al eje Y en y = c:
Dos funcin constante particularmente inportantes son los casos cuando c = 0 y cuando
c = 1. En estos casos tenemos:
Funcin Nula: La funcin nula, o funcin identicamente nula, que podemos denotar por
O, est denida por la frmula
O(x) = 0, para cualquier x.
Evidentemente
Dom(O) = R y Rec (O) = {0} .
132
Vemos que esta funcin representa, grcamente, al eje X:
Funcin Idnticamente 1: La funcin idnticamente 1, que podemos denotar por 1, est
denida por la frmula
1 (x) = 1, para cualquier x.
Es claro que
Dom(1) = R y Rec (1) = {1} .
Evidentemente, el grco de la funcin identicamente 1 es una recta horizontal, dada por
y = 1:
Ejemplo 77 (Funcin Identidad) La funcin identidad, que denotaremos simplemente
por I, se dene por la frmula
I (x) = x, para cada x.
Claramente tenemos que
Dom(I) = R y Rec (I) = R.
Si hacemos y = I (x), tenemos la curva
y = x,
133
que es la recta que pasa por el origen y tiene pendiente m = 1:
Ejemplo 78 (Funcin Lineal) Para a, b R, denimos la funcin lineal con coecientes
a y b por la frmula
f (x) = ax +b, para cualquier x.
Claramente tenemos que Dom(f) = R. Adems, para hallar el recorrido de esta funcin,
asumiendo que a = 0, tenemos que:
y = ax + b x =
1
a
y
b
a
,
es decir, ya que x R, tenemos que y R. Por lo tanto Rec(f) = R. Si hacemos y = f (x),
tenemos la curva
y = ax + b,
la cual es una recta con pendiente m = a y que intersecta al eje Y en el punto y = b:
134
Observacin 69 Notar que si en la funcin lineal se tiene que a = 0, obtenemos una
funcin constante:
f (x) = b.
Por otra parte, si a = 1 y b = 0, obtenemos la funcin identidad:
f (x) = x = I (x) .
Por lo tanto, una funcin constante y la funcin identidad son casos particulares de
funciones lineales.
Ejemplo 79 (Funcin Cuadrtica) Sean a, b, c R, con a = 0. La funcin cuadrtica
con coecientes a, b, c est denida por la frmula:
f (x) = ax
2
+ bx + c.
Es claro que Dom(f) = R. El recorrido y el grco de esta funcin dependen de cada caso
particular, es decir, dependen de los coecientes a, b, c. Notar que si hacemos y = f (x),
tenemos la curva
y = ax
2
+bx + c,
que es una parbola con eje focal paralelo al eje Y . Si a > 0, es una parbola que se abre
hacia arriba. Si a < 0, es una parbola que se abre hacia abajo.
Un ejemplo particularmente importante de funcin cuadrtica lo obtenemos para a = 1
y b = c = 0:
f (x) = x
2
.
En este caso, Dom(f) = R. Adems, vemos que y = x
2
0. As:
y = x
2
x =

y,
por lo que debe ser y 0. Es decir, Rec(f) = R
+
{0} = [0, +). Por otra parte, sabemos
que la curva y = x
2
, es una parbola con vrtice en el origen, se abre hacia arriba y su eje
focal coincide con el eje Y . por lo tanto, el grco de esta funcin cuadrtica es el que se
135
muestra en la siguiente gura:
Ejemplo 80 (Funcin Cbica) Para a, b, c, d R, con a = 0, la funcin cbica con
coecientes a, b, c, d se dene por la frmula
f (x) = ax
3
+ bx
2
+ cx + d.
Vemos que Dom(f) = R. Adems, se puede vericar que Rec(f) = R. El grco de una
funcin cbica depende de cada ejemplo en particular, es decir, depende de los coecientes
a, b, c, d.
Un caso particular de funcin cbica se obtiene si a = 1 y b = c = d = 0:
f (x) = x
3
.
Evidentemente, Dom(f) = R. Adems, y = x
3
x =
3

y, por lo que y R. As,

Rec(f) = R. El grco de esta funcin es:
136
Ejemplo 81 (Funcin Polinomial) Sean n Z
+
y a
0
, a
1
, a
2
, . . . , a
n
R, jos. Una
funcin polinomial con coecientes a
0
, a
1
, a
2
, . . . , a
n
, se dene por la frmula:
f (x) = a
0
+ a
1
x + a
2
x
2
, . . . , a
n
x
n
.
El dominio de esta funcin es, claramente, Dom(f) = R. El recorrido y el grco de esta
funcin dependern de cada caso en particular, es decir, dependern de los coecientes
a
0
, a
1
, a
2
, . . . , a
n
.
Observacin 70 Es importante notar que:
(i) Si a
1
= a
2
= . . . = a
n
= 0, entonces la funcin polinomial es una funcin constante:
f (x) = a
0
, para x R.
(ii) Si a
1
= 0 y a
2
= a
3
= . . . = a
n
= 0, entonces la funcin polinomial es una funcin
lineal:
f (x) = a
0
+ a
1
x, para x R.
(iii) Si a
2
= 0 y a
3
= a
4
= . . . = a
n
= 0, entonces la funcin polinomial es una funcin
cuadrtica:
f (x) = a
0
+ a
1
x + a
2
x
2
, para x R.
(iv) Si a
3
= 0 y a
4
= a
5
= . . . = a
n
= 0, entonces la funcin polinomial es una funcin
cbica:
f (x) = a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
, para x R.
Por lo tanto, vemos que los ejemplos anteriores son todos ejemplos particulares de fun-
ciones polinomiales.
Ejemplo 82 (Funcin Racional) Una Funcin racional, es una funcin dada por la
frmula:
f (x) =
p (x)
q (x)
,
donde p y q son funciones polinomiales. Es claro que el dominio de esta funcin, ser el
conjunto donde q no se anula:
Dom(f) = {x R / q (x) = 0}
= R{x R / q (x) = 0} .
El recorrido y el grco de esta funcin, dependern de cada caso en particular, es decir,
dependern de p y q.
137
Observacin 71 Toda funcin polinomial es una funcin racional en la que q es la funcin
identicamente 1, es decir, q (x) = 1, para todo x R.
Ejemplo 83 (Funcin Raz Cuadrada) Denimos la funcin raz cuadrada por la fr-
mula:
f (x) =

x o bien f (x) =

x .
En ambos casos podemos hacer el mismo anlisis con mnimas diferencias.
Consideremos la primera funcin
f (x) =

x.
Para determinar Dom(f), notamos que
f (x) =

x R x 0.
As,
Dom(f) = R
+
{0} = [0, +) .
Para el recorrido, notar que estamos considerando la raz no negativa, por lo que y = f (x) =

x 0. Ms an, tenemos
y =

x x = y
2
,
por lo que y R. Es decir
y R y 0,
y obtenemos
Rec (f) = R
+
{0} = [0, +) .
Ahora, si hacemos y = f (x), tenemos
y =

x,
de donde
y
2
= x.
138
Esta ltima ecuacin representa la parbola con vrtice el origen que se abre hacia la derecha
y cuyo eje focal coincide con el eje X:
Pero este grco no representa una funcin, ya que a cada x [0, +) le corresponden
dos valores diferentes de y. Adems, como hemos considerado la raz positiva y Rec(f) =
[0, +), entonces tenemos que el grco de la funcin f (x) =

x es la rama superior de
la parbola:
Para el caso, f (x) =

x, obtendremos:
Dom(f) = R
+
{0} = [0, +) Rec (f) = R

{0} = (, 0] ,
139
y el grco corresponde a la rama inferior de la parbola:
Ejemplo 84 (Funcin denida por Tramos) Sean I
1
, I
2
, I
3
, . . . , I
n
subconjuntos de R,
con n Z
+
, los cuales tienen a lo ms un punto en comn. Una funcin denida por tramos
(o denida por partes) con dominio I
1
I
2
I
3
. . . I
n
, es una funcin denida de la
forma:
f (x) =
_

_
f
1
(x) , si x I
1
,
f
2
(x) , si x I
2
,
.
.
.
.
.
.
.
.
.
f
n
(x) , si x I
n
,
donde cada f
i
es una funcin real denida en I
i
, i = 1, 2, 3, . . . n. El recorrido y el grco
de esta funcin, dependern de las funciones f
i
y los correspondientes dominios de stas,
i = 1, 2, 3, . . . n.
140
Ejemplo 85 (Funcin Escaln Unitario) La funcin escaln unitario se dene por la
frmula:
U (x) =
_
0 , si x < 0,
1 , si x 0.
por lo tanto, es claro que Dom(U) = R y Rec(U) = {0, 1}. Adems, el grco de esta
funcin es
Ejemplo 86 (Funcin Valor Absoluto) La funcin valor absoluto se dene por:
f (x) = |x| .
Dado que el valor absoluto est denido para cualquier real, es claro que Dom(f) = R.
Adems, como |x| 0, para todo x R, entonces es evidente que Rec(f) = R
+
{0} =
[0, +).
Notar que, por la denicin de valor absoluto, esta funcin es una funcin denida por
tramos:
f (x) = |x| =
_
x , si x 0,
x , si x < 0.
As, para obtener el grco de la funcin valor absoluto, tenemos:
Para x < 0, hacemos y = f (x), obteniendo la ecuacin
y = x,
que es la recta que pasa por el origen con pendiente m = 1. Por lo tanto, para x < 0
tenemos que la funcin es la semi recta de pendiente m = 1 en el segundo cuadrante.
141
Para x 0, hacemos y = f (x), obteniendo la ecuacin
y = x,
que es la recta que pasa por el origen con pendiente m = 1. Por lo tanto, para x 0,
tenemos que la funcin es el rayo que nace en el origen y tiene pendiente m = 1 en el
primer cuadrante.
Por lo tanto, el grco de la funcin valor absoluto es:
Ejemplo 87 Consideremos la funcin dada por la frmula
f (x) =
1
x
.
Es claro que Dom(f) = R{0}. Para determinar el recorrido de f, si y = f (x), tenemos:
y =
1
x
x =
1
y
,
por lo tanto y = 0. As, Rec(f) = R{0}.
Para gracar esta funcin, notar que:
Si x < 0, entonces f (x) =
1
x
< 0. Adems, cuanto ms prximo de cero (por la
izquierda) est x, menor es el valor de f (x) (negativo), y cuanto menor es el valor de x
(negativo), ms prximo de cero est f (x) (negativo).
Si x > 0, entonces f (x) =
1
x
> 0. Adems, cuanto ms prximo de cero (por la derecha)
est x, mayor es el valor de f (x) (positivo), y cuanto mayor es el valor de x (positivo),
142
ms prximo de cero est f (x) (positivo).
(El grco de esta funcin es, de hecho, una hiprbola).
Ejemplo 88 Sea f la funcin dada por la frmula
f (x) = 3
_
4 x
2
.
Para determinar el dominio de f, debemos tener que
4 x
2
0
(2 + x) (2 x) 0,
por lo que recurrimos a la tabla para los signos de los factores lineales:
143
as, x [2, 2], es decir Dom(f) = [2, 2].
Para determinar el recorrido, lo primero que notamos es que
f (x) = 3
_
4 x
2
3,
ya que a 3 se le est restando una cantidad positiva, es decir, si y = f (x) = 3

4 x
2
,
tenemos que y 3. Por otra parte, despejando x, tenemos:
y = 3
_
4 x
2
y 3 =
_
4 x
2
(y 3)
2
= 4 x
2
x
2
= 4 (y 3)
2
x =
_
4 (y 3)
2
x =
_
4 y
2
+ 6y 9
x =
_
y
2
+ 6y 5,
y debemos tener que
y
2
+ 6y 5 0
y
2
6y + 5 0
(y 5) (y 1) 0.
Luego
Por lo que tenemos que 1 y 5, pero como ya sabemos que y 3, entonces debemos
tener que 1 y 3, es decir, Rec(f) = [1, 3].
Para hallar el grco de f, de los clculos anteriores, tenemos que si y = f (x), entonces
y = 3
_
4 x
2
y 3 =
_
4 x
2
(y 3)
2
= 4 x
2
x
2
+ (y 3)
2
= 4
144
Vemos que esta ltima ecuacin es una circunferencia con centro en C (0, 3) y radio r = 2:
Es claro que este grco no representa una funcin, pero en l se encuentra el grco de f.
De hecho, basta notar que hemos dicho que el recorrido de esta funcin es Rec(f) = [1, 3],
por lo que el grco de f es la semicircunferencia inferior:
Denicin 15 (Igualdad de Funciones) Diremos que dos funciones f y g son iguales,
lo que escribiremos como f = g, si se cumple que
Dom(f) = Dom(g) = D
145
y
f (x) = g (x) , para todo x D.
En caso contrario, decimos que ellas son distintas, o diferentes, y escribimos f = g.
Ejemplo 89 Por trigonometra, sabemos que f (x) = cos 2x y g (x) = 1 +2 cos
2
x, satis-
facen que
Dom(f) = Dom(g) = R
y
f (x) = cos 2x = 1 + 2 cos
2
x = g (x) , para todo x R .
Por lo tanto, en este caso, tenemos que f = g.
Ejemplo 90 Consideremos las funciones denidas por las frmulas:
f (x) =
x
2
1
x 1
g (x) = x + 1 .
Podemos ver que se cumple que
f (x) =
x
2
1
x 1
= g (x) = x + 1 , para todo x = 1 .
Pero
Dom(f) = R{1} = Dom(g) = R .
Por lo tanto, f = g. De hecho, estas funciones coinciden en cada punto x = 1, ya que en
x = 1, la primera funcin f, no est denida, mientras que la segunda, g, si lo est.
146
Denicin 16 (Imagen Directa e Imagen Inversa) Sea f una funcin real y sean
A Dom(f) y B Rec(f).
(i) La Imagen (directa) de A por f (o bajo f), denotada f (A), es el conjunto formado
por las imgenes de los elementos del conjunto A; es decir:
f (A) = {y Rec (f) / x A y = f (x)}
= {f (x) / x A} .
(ii) La Imagen Inversa de B, denotada f
1
(B), es el conjunto de las preimgenes de
los elementos de B; es decir:
f
1
(B) = {x Dom(f) / f (x) B} .
Ejemplo 91 Sea f : R R, la funcin dada por f (x) = x
2
+ 1. Consideremos los
conjuntos A = {2, 1, 0, 2, 3, 4} Dom(f) y B = {1, 4, 5, 19} Rec(f). Entonces:
f (A) = {f (x) / x A}
= {f (x) / x {2, 1, 0, 2, 3, 4}}
= {f (2) , f (1) , f (0) , f (2) , f (3) , f (4)}
= {5, 2, 1, 10, 17} .
Notar que f (2) = f (2) = 5.
147
Por otra parte:
f
1
(B) = {x Dom(f) / f (x) B}
= {x R / f (x) {1, 4, 5, 19}}
=
_
0,

3, 2, 3

2,

3, 2, 3

2
_
.
Notar que, en particular, tenemos:
f
1
(10) = {3, 3} .
f
1
_
4
3
_
=
_

3
3
,

3
3
_
.
Es decir, la imagen inversa de un elemento del recorrido, puede estar constituda por ms
de un elemento del dominio.
Ejemplo 92 Sea f : R R, la funcin dada por f (x) = 2x + 1. Consideremos los
conjuntos A = (5, 4] Dom(f) = R y B = [3, 1] Rec(f) = R. Entonces:
f (A) = f ((5, 4]) = {f (x) / x A}
= {2x + 1 / x (5, 4]}
Vemos que
f (x) f (A) x A,
esto es
y = f (x) f ((5, 4]) x (5, 4] .
Por lo tanto podemos proceder como sigue:
5 < x 4 / 2
10 < 2x 8 / + 1
9 < 2x + 1 9
9 < f (x) 9.
As,
f (A) = f ((5, 4]) = (9, 9] .
148
Por otra parte,
f
1
(B) = {x Dom(f) / f (x) B}
f
1
([3, 1]) = {x R / f (x) [3, 1]}
= {x R / 2x + 1 [3, 1]} .
Ahora vemos que
x f
1
(B) f (x) B,
es decir
x f
1
([3, 1]) 2x + 1 [3, 1] .
Por lo tanto, procedemos como sigue:
3 2x + 1 1 / 1
4 2x 0 /
1
2
2 x 0.
Por lo tanto,
f
1
(B) = f
1
([3, 1]) = [2, 0] .
3.2. lgebra de Funciones
Consideraremos como el lgebra de funciones, las operaciones bsicas que podemos
denir entre funciones reales. Estas deniciones resultan absolutamente natural y permiten
tener una base formal para lo que necesitaremos en el clculo.
Denicin 17 (lgebra de Funciones) Sean f y g dos funciones reales tales que sus
dominios coinciden, Dom(f) = Rec(g) = D, y sea R. Denimos las nuevas funciones:
f + g , f g , f , f g y
f
g
puntualmente, es decir, por:
(i) Suma:
(f + g) (x) = f (x) + g (x) , para todo x D.
(ii) Resta o Sustraccin:
(f g) (x) = f (x) g (x) , para todo x D.
149
(iii) Producto por Escalar:
( f) (x) = f (x) , para todo x D.
(iv) Producto:
(f g) (x) = f (x) g (x) , para todo x D.
(v) Cuociente:
_
f
g
_
(x) =
f (x)
g (x)
, para todo x D, con g (x) = 0.
Ejemplo 93 Consideremos las funciones f : [0, +) R, dada por f (x) =
x 1
x + 3
y
g : [0, +) R, dada por g (x) = 1 x. Entonces tenemos que los dominios coinciden,
Dom(f) = Dom(g) = [0, +). As, podemos denir las funciones que siguen:
Suma:
(f + g) (x) = f (x) + g (x)
=
x 1
x + 3
+ 1 x
=
x 1 + x + 3 x
2
3x
x + 3
=
2 x x
2
x + 3
.
Producto por escalar (tomemos =
3
2
):
_
3
2
f
_
(x) =
3
2
f (x)
=
3
2
x 1
x + 3
=
3x 3
2x + 6
.
_
3
2
g
_
(x) =
3
2
g (x)
=
3
2
(1 x)
=
3 3x
2
.
150
Producto:
(f g) (x) = f (x) g (x)
=
x 1
x + 3
(1 x)
=
x 1
x + 3
(x 1)
=
x
2
2x + 1
x + 3
.
Cuociente:
_
f
g
_
(x) =
f (x)
g (x)
=
x 1
x + 3
1 x
=
x 1
(x + 3) (x 1)
=
1
x + 3
.
Tambin podemos calcular el cuociente:
_
g
f
_
(x) =
g (x)
f (x)
=
1 x
x 1
x + 3
=
(x + 3) (x 1)
x 1
= (x + 3) .
Observacin 72 Para poder denir las funciones anteriores, la variable en que se aplica
debe pertenecer, cuando corresponda, tanto al dominio de una de las funciones como al de la
otra. Por esta razn se ha exigido la igualdad de los dominios. Sin embargo esta restriccin
no es necesaria. Podemos considerar un dominio comn, que ser menor que los originales,
tomando la interseccin de los dominios:
D = Dom(f) Dom(g) .
As, las operaciones dadas en el lgebra de funciones podrn ser denidas en D. Esto tendr
sentido siempre que D = .
151
Ejemplo 94 Considerar las funciones
f (x) =
1
x 2
g (x) = x
2
4.
Hallar Dom(f), Dom(g), f + g, f g y
f
g
, indicando los dominios donde estn denidas
estas nuevas funciones.
Es claro que Dom(f) = R{2} y Dom(g) = R. Entonces
D = Dom(f) Dom(g) = (R{2}) R = R{2} .
Entonces:
(f + g) (x) = f (x) + g (x)
=
1
x 2
+x
2
4
=
x
3
2x
2
4x + 8
x 2
, x D = R{2} .
(f g) (x) = f (x) g (x)
=
1
x 2

_
x
2
4
_
=
x
2
4
x 2
=
(x + 2) (x 2)
x 2
= x + 2 , x D = R{2} .
_
f
g
_
(x) =
f (x)
g (x)
, x D = R{2} g (x) = 0,
=
1
x 2
x
2
4
, x D = R{2} x
2
4 = 0,
=
1
(x
2
4) (x 2)
, x D = R{2} x = 2,
=
1
x
3
2x
2
4x + 8
, x D = R{2, 2} .
Es fcil vericar que se cumplen las siguientes propiedades para las operaciones con
funciones.
Teorema 49 Sean f, g, h funciones reales tales que D
1
= Dom(f) Dom(g) = y
D
2
= Dom(f) Dom(g) Dom(h) = . Entonces se cumplen las siguientes propiedades:
152
(a) Conmutatividad:
f + g = g + f y f g = g f , en D
1
.
(b) Asociatividad:
f + (g + h) = (f + g) + h , en D
2
y
f (g h) = (f g) h , en D
2
(c) Distributividad:
f (g + h) = (f g) + (f h) , en D
2
(d) Neutro Aditivo: La funcin Nula O(x) = 0, para todo x R, acta como el neutro
para la suma de funciones; es decir:
f + O = O + f = f , en Dom(f) .
(e) Inverso Aditivo: Si consideramos la funcin f, con Dom(f) = Dom(f), dada por
(f) (x) = f (x), entonces f es el inverso aditivo de f; es decir:
f + f = f + (f) = O .
(f) Neutro Multiplicativo: La funcin Identicamente 1, 1 (x) = 1, para todo x R, acta
como el neutro para el producto de funciones; es decir:
f 1 = 1 f = f , en Dom(f) .
Demostracin. Como las operaciones son denidas puntualmente, es fcil demostrar
estas propiedades. A modo de ejemplo slo probaremos (a). Para esto, basta ver que:
(f + g) (x) = f (x) + g (x) = g (x) + f (x) = (g + f) (x) ,
para todo x D
1
.
Anlogamente para f g = g f.
Es usual escribir la funcin nula simplemente como 0, sin mayores complicaciones, pero
debe entenderse que no es el nmero real cero, sino que es la funcin que a cada x le asigna
el 0.
Anlogamente, para la funcin identicamente 1, escribimos simplemente 1 sin olvidar
que se trata de la funcin que a cada x le asigna el 1.
153
3.3. Composicin y Funciones Invertibles
La idea general de la composicin de funciones es que si tenemos dos funciones reales
g : A B y f : C D, cmo y bajo qu condiciones podramos denir una funcin
h : A D utilizando las dos anteriores. Esto lo resuelve la siguiente denicin.
Denicin 18 (Funcin Compuesta) Sean g y f dos funciones reales tales que el recor-
rido de g est includo en el dominio de f, Rec(g) Dom(f). Entonces podemos denir la
Funcin Compuesta de f y g, que denotamos por f g, y est dada por la frmula:
(f g) (x) = f (g (x)) ,
para x Dom(g).
Ejemplo 95 Sean f (x) =
x
x + 1
y g (x) =

x 2. Vericaremos si estn o no denidas
las funciones compuestas: f g, g f, f f y g g.
Primero determinaremos el dominio y el recorrido de cada funcin. Es evidente que
Dom(f) = R{1}. Para el recorrido de f, tenemos:
y =
x
x + 1
xy + y = x
x(y 1) = y
x =
y
1 y
,
154
por lo que Rec(f) = R{1}.
Para g, debemos tener x 2 0, por lo que Dom(g) = [2, +). Para el recorrido, lo
primero que observamos es que
y =

x 2 0,
es decir, ya sabemos que y 0. Adems:
y =

x 2
y
2
= x 2
x = y
2
+ 2 ,
por lo que y R. As, y 0 y R. Por lo tanto Rec(g) = [0, +).
Para f g, tenemos:
Rec (g) = [0, +) Dom(f) = R{1} ,
por lo que f g si est denida y tenemos que
(f g) (x) = f (g (x))
= f
_
x 2
_
=

x 2

x 2 + 1
.
Para g f, tenemos:
Rec (f) = R{1} Dom(g) = [2, +) ,
por lo que esta compuesta, g f, no est denida.
Para f f, tenemos:
Rec (f) = R{1} Dom(f) = R{1} ,
por lo que f f no est denida.
Para g g, tenemos:
Rec (g) = [0, +) Dom(g) = [2, +) ,
por lo que esta compuesta si est denida y
(g g) (x) = g (g (x))
= g
_
x 2
_
=
_

x 2 2 .
155
Ejemplo 96 Sean f (x) =
x + 1
x + 2
y g (x) =

1 x
2
. Vericaremos si estn o no denidas
las funciones compuestas: f g, g f, f f y g g.
Primero determinaremos el dominio y el recorrido de cada funcin. Claramente se tiene
que Dom(f) = R{2}. Para el recorrido de f, tenemos:
y =
x + 1
x + 2
xy + 2y = x + 1
xy x = 1 2y
x =
1 2y
y 1
,
por lo que y = 1; es decir, Rec(f) = R{1}.
Para g, debemos tener 1 x
2
0, es decir
(1 + x) (1 x) 0.
Luego
Por lo tanto, Dom(g) = [1, 1]. Para el recorrido de g, lo primero que podemos observar
es que
y =
_
1 x
2
0 ,
es decir, ya sabemos que y 0. Adems:
y =
_
1 x
2
y
2
= 1 x
2
x =
_
1 y
2
.
Vemos que debemos tener 1 y
2
0, por lo que obtendremos que 1 y 1. As,
y 0 1 y 1, por lo que Rec(g) = [1, 0].
Para f g, tenemos:
Rec (g) = [1, 0] Dom(f) = R{2} ,
156
por lo que f g est denida y:
(f g) (x) = f (g (x))
= f
_

_
1 x
2
_
=

1 x
2
+ 1

1 x
2
+ 2
.
Para g f, tenemos:
Rec (f) = R{1} Dom(g) = [1, 1] ,
por lo que g f no est denida.
Para f f, tenemos:
Rec (f) = R{1} Dom(f) = R{2} ,
por lo que f f no est denida.
Para g g, tenemos:
Rec (g) = [1, 0] Dom(g) = [1, 1] ,
por lo que g g est denida y:
(g g) (x) = g (g (x))
= g
_

_
1 x
2
_
=
_
1 (1 x
2
)
=

x
2
= |x| .
Es fcil darse cuenta que la composicin de funciones no es una operacin conmutativa.
Por ejemplo si consideramos las funciones f (x) = x
2
y g (x) = 1 x, tendremos, en los
dominios correspondientes:
(f g) (x) = f (g (x))
= f (1 x)
= (1 x)
2
= 1 2x + x
2
.
157
Mientras que:
(g f) (x) = g (f (x))
= g
_
x
2
_
= 1 x
2
.
Por lo tanto f g = g f.
Teorema 50 Sean f y g dos funciones reales tales que f g est denida. Entonces:
(a) Dom(f g) = Dom(g).
(b) Rec(f g) Rec(f).
Teorema 51 Sean f, g,h funciones reales tales que (f g) h y f (g h) estn denidas.
Entonces se cumple la propiedad asociativa; es decir:
(f g) h = f (g h) .
Observacin 73 Debido al teorema anterior, escribimos esa composicin como:
(f g) h = f (g h) = f g h.
Observacin 74 Para poder denir la composicin f g, para f y g funciones reales,
hemos sealado que se debe satisfacer la condicin Rec(g) Dom(f). Sin embargo tal
condicin puede ser relajada si B = Rec(g) Dom(f) = . En este caso, B = , podemos
denir f g en A = f
1
(B). Esto quiere decir que, simplemente tomamos como dominio
de la compuesta el conjunto formado por los elementos de Dom(g) cuyas imagenes estn
en Dom(f); es decir, tomamos
Dom(f g) = {x Dom(g) / g (x) Dom(f)} .
Ejemplo 97 Sean f (x) =

1 x
2
y g (x) =
x + 1
x + 2
. Poodemos ver fcilmente que
Dom(f) = [1, 1] ; Rec (f) = [0, 1]
Dom(g) = R{2} ; Rec (g) = R{1} .
158
Vemos que Rec (g) = R{1} Dom(f) = [1, 1]. Pero podemos denir
A = {x Dom(g) / g (x) Dom(f)}
= {x R{2} / g (x) [1, 1]}
=
_
x R{2} /
x + 1
x + 2
[1, 1]
_
es decir, para x = 2, debemos tener que
1
x + 1
x + 2
1 ,
que equivale a resolver las inecuaciones
1
x + 1
x + 2

x + 1
x + 2
1
0
2x + 3
x + 2

1
x + 2
0 .
Por lo tanto
Por lo que
S
1
= (, 2)
_

3
2
, +
_
y S
2
= (2, +)
Luego
S = S
1
S
2
=
_

3
2
, +
_
As, podemos denir f g :
_

3
2
, +
_
R, donde
(f g) (x) = f (g (x)) = f
_
x + 1
x + 2
_
=
_
1
_
x + 1
x + 2
_
2
=
_
x
2
+ 4x + 4 x
2
2x 1
(x + 2)
2
=

2x + 3
|x + 2|
.
159
Es interesante notar que la composicin de funciones tiene la propiedad de distribucin
(por la derecha) respecto a las operaciones del lgebra de funciones. Especcamente tenemos
el siguiente teorema.
Teorema 52 (Composicin y lgebra de Funciones) Sean f, g, h funciones reales
tales que f g, f h, f g, f g,
f
g
estn denidas. Entonces se cumple que:
(i) (f g) h = (f h) (g h) .
(ii) (f g) h = (f h) (g h) .
(iii)
_
f
g
_
h =
f h
g h
, siempre que g h no se anule.
Demostracin. Slo probaremos (ii):
[(f g) h] (x) = (f g) (h(x)) = f (h(x)) g (h(x))
= (f h) (x) (g h) (x)
= [((f h)) (g h)] (x)
Una composicin interesante, ya que induce a pensar en el concepto de inversa de una
funcin, es aquella que se realiza con la funcin identidad. Sea I : R R, la funcin
identidad, I (x) = x, para todo x R. Entonces, si f es una funcin real, restringindo el
dominio de I si fuese necesario, tenemos:
(f I) (x) = f (I (x)) = f (x) ,
(I f) (x) = I (f (x)) = f (x) .
Es decir, la funcin identidad acta como el "neutro"para la composicin de funciones.
Debido a lo anterior, resulta natural preguntarse si para una funcin dada f, podemos
hallar su inversa respecto a la composicin? Es decir, podemos hallar una funcin g, tal
que f g = I y g f = I? En general, esto no vale para cualquier funcin. Por ello tenemos
la siguiente denicin.
Denicin 19 (Funcin Invertible) Sea f : A B una funcin real. Se dice que f es
invertible si existe una funcin g : B A, tal que
f g = I
B
(Identidad en B),
g f = I
A
(Identidad en A).
160
En esta denicin, la funcin g es llamada la Inversa de f y la denotamos por f
1
= g.
As, decir que f : A B es una funcin invertible, signica que existe una funcin
f
1
: B A, tal que
(i) f f
1
= I
B
, es decir:
_
f f
1
_
(x) = f
_
f
1
(x)
_
= x , para todo x B.
(ii) f
1
f = I
A
, es decir:
_
f
1
f
_
(x) = f
1
(f (x)) = x , para todo x A.
De acuerdo a nuestra denicin, tenemos que si f es una funcin invertible, entonces,
en los dominios apropiados, se cumple que:
y = f
1
(x) si, y s olo si, f (y) = x.
Ejemplo 98 Sea f : R R, dada por f (x) = 3x 2. Entonces, su inversa es f
1
:
R R, con f
1
(x) =
1
3
x +
2
3
. En efecto, notemos que en este caso A = B = R, y
_
f f
1
_
(x) = f
_
f
1
(x)
_
= f
_
1
3
x +
2
3
_
= 3
_
1
3
x +
2
3
_
2 = x + 2 2
= x ,
para todo x R. Por lo tanto f f
1
= I.
Por otra parte,
_
f
1
f
_
(x) = f
1
(f (x)) = f
1
(3x 2)
=
1
3
(3x 2) +
2
3
= x
2
3
+
2
3
= x ,
para todo x R. Por lo tanto f
1
f = I.
Ejemplo 99 Si f : R {0} R {0}, es la funcin dada por f (x) =
1
x
. Entonces
f
1
: R {0} R {0}, con f
1
(x) =
1
x
. En efecto, notar que en este caso se tiene
que f = f
1
, de hecho A = B = R{0} y
_
f f
1
_
(x) =
_
f
1
f
_
(x) = (f f) (x) = f (f (x)) = f
_
1
x
_
= x ,
para todo x = 0. Por lo tanto, f f
1
= I. As, f f
1
= f
1
f = I.
161
Ejemplo 100 Sea f : [3, +) [0, +), dada por f (x) =

x 3. Entonces f
1
:
[0, +) [3, +), con f
1
(x) = x
2
+ 3. En efecto, ahora tenemos que A = [3, +) y
B = [0, +), y
_
f f
1
_
(x) = f
_
f
1
(x)
_
= f
_
x
2
+ 3
_
=
_
(x
2
+ 3) 3 =

x
2
= |x| = x,
para todo x 0. Por lo tanto f f
1
= I.
Por otra parte,
_
f
1
f
_
(x) = f
1
(f (x)) = f
1
_
x 3
_
=
_
x 3
_
2
+ 3 = x 3 + 3
= x,
para todo x 3. Por lo tanto f
1
f = I.
Observacin 75 Debe quedar claro que cuando se habla de una funcin invertible o de la
inversa de una funcin, se est haciendo en referencia a la composicin de funciones. Por
lo tanto, si f es una funcin invertible y f
1
su inversa, esta ltima es una notacin que
no debemos confundirla con otras similares.
Observacin 76 Notar que si f es una funcin invertible, con inversa f
1
, entonces esta
ltima tambin es invertible, es decir, f
1
es invertible y su inversa es
_
f
1
_
1
= f, por
denicin.
Corolario 53 Toda funcin invertible tiene una nica inversa.
Demostracin. Sea f : A B una funcin real invertible y supongamos que f :
B A y h : B A son dos inversas de f. Entonces tenemos que
h = h I = h
_
f f
1
_
= (h f) f
1
= I f
1
= f
1
.
Para establecer una condicin bajo la cual una funcin es invertible, necesitamos el
concepto de funcin Biyectiva, A continuacin denimos este concepto y damos algunos
ejemplos y observaciones al respecto.
162
Denicin 20 Sea f : A B una funcin real. Denimos:
(a) Funcin Inyectiva: Diremos que f es una funcin Inyectiva si, y slo si, a cada
imagen bajo f le corresponde una nica preimagen. Es decir, f es inyectiva si, y slo si,
para x
1
, x
2
Dom(f) = A, se cumple que
f (x
1
) = f (x
2
) = x
1
= x
2
,
es decir, las imagenes de dos valores distintos del dominio deben ser distintas. Notar que lo
anterior equivale a
x
1
= x
2
= f (x
1
) = f (x
2
) ,
(b) Funcin Sobreyectiva: Diremos que f es una funcin Sobreyectiva si, y slo si,
el recorrido de f es todo B. Es decir, f es sobreyectiva si, y slo si, se cumple que
Rec (f) = f (A) = B.
(c) Funcin Biyectiva: Diremos que f es una funcin Biyectiva si, y slo si, ella es
inyectiva y sobreyectiva a la vez.
Cuando nos referimos a la inyectividad de una funcin, es usual hablar de funcin uno
a uno, lo que muchas veces lo abreviamos escribiendo 1-1. Para el caso de una funcin
sobreyectiva, usualmente se habla simplemente de funcin sobre.
Ejemplo 101 Sea f : R{2} R, la funcin dada por f (x) =
x
x 2
. Para determinar
si f es o no biyectiva, debemos vericar si ella es o no inyectiva y sobreyectiva a la vez.
Para la inyectividad:
f (x
1
) = f (x
2
)
x
1
x
1
2
=
x
2
x
2
2
x
1
x
2
2x
1
= x
1
x
2
2x
2
2x
1
= 2x
2
x
1
= x
2
,
por lo tanto f es inyectiva.
163
Para la sobreyectividad:
y = f (x)
y =
x
x 2
xy 2y = x
xy x = 2y
x =
2y
y 1
,
de donde y = 1, es decir Rec(f) = R{1}. Por lo que f no es sobreyectiva.
Ejemplo 102 Sea f : [1, +) (, 1], dada por f (x) = 1

x + 1. Determinar si
f es o no biyectiva
Debemos determinar si f es o no inyectiva y sobreyectiva:
Para la inyectividad:
f (x
1
) = f (x
2
)
1

x
1
+ 1 = 1

x
2
+ 1

x
1
+ 1 =

x
2
+ 1
x
1
+ 1 = x
2
+ 1
x
1
= x
2
,
por lo que f es inyectiva.
Para la sobreyectividad: Notar que y = f (x) = 1

x + 1 1. Por lo que ya sabemos

que, al menos, y 1. Adems:
y = f (x)
y = 1

x + 1
y 1 =

x + 1
(y 1)
2
= x + 1
x = (y 1)
2
1
x = y
2
2y,
de donde vemos que y R. As, y 1 y R. Luego y 1; es decir Rec(f) = (, 1].
Entonces, f es sobreyectiva. Por lo tanto f es una funcin biyectiva.
164
Teorema 54 Una funcin f : A B es invertible s, y slo s, ella es biyectiva.
Ejemplo 103 La funcin f : R {2} R, dada por f (x) =
x
x 2
, no es biyectiva, ya
que no es sobreyectiva, por lo que no es invertible.
Ejemplo 104 La funcin f : [1, +) (, 1], dada por f (x) = 1

x + 1, es
biyectiva, y as es invertible; esto es, existe f
1
: (, 1] [1, +). Para hallar una
frmula para f
1
(x), recordar que
y = f
1
(x) x = f (y) .
Por lo tanto:
x = f (y) = 1
_
y + 1
x 1 =
_
y + 1
(x 1)
2
= y + 1
y = (x 1)
2
1
y = x
2
2x.
Es decir
f
1
(x) = x
2
2x.
Notar que el clculo realizado para hallar f
1
(x) apareci cuando estabamos determi-
nando el recorrido de f, pero con las variables invertidas.
Es interesante notar que si f : A B es una funcin la cual no es sobreyectiva,
entonces podemos redenirla de modo que s lo sea. Para esto, basta denirla de A en su
recorrido. Es decir, basta denir
f : A Rec (f) ,
con lo que la hemos forzado a ser sobreyectiva.
Un caso particular de lo anterior, lo tenemos si la funcin f es inyectiva pero no so-
breyectiva. Es decir, no es biyectiva, pero al redenirla como f : A Rec(f), la hacemos
automticamente biyectiva. De esta frma, f
1
existe y f
1
: Rec(f) A. Lo anterior
quiere decir que para que una funcin sea invertible, podemos considerar suciente el que
sea inyectiva, ya que la podemos obligar a ser sobreyectiva sin alterarla en lo escencial.
165
Ahora, si la funcin f : A B no es inyectiva, podemos redenirla restringiendo el
dominio. Para sto, si se tiene que
f (x
1
) = f (x
2
) ,
con x
1
= x
2
, entonces podramos quitar del dominio el valor x
2
(o bien el valor x
1
). Esto
quedar claro cuando veamos el caso de una funcin cuadrtica. Lamentablemente esto
puede no ser tan simple como en el caso de la no sobreyectividad.
Ejemplo 105 Ya vimos que la funcin f : R {2} R, dada por f (x) =
x
x 2
, no es
invertible, ya que no es sobreyectiva, aunque si es inyectiva. Luego, en este caso podemos
redenir esta funcin como se indic antes. Ya que Rec(f) = R{1}, redenimos haciendo:
f : R{2} R{1} , f (x) =
x
x 2
.
De esta forma f es biyectiva, por lo que es invertible. Para hallar la inversa, recordar que
y = f
1
(x) x = f (y) .
As, tenemos:
x = f (y) =
y
y 2
xy 2x = y
xy y = 2x
y =
2x
x 1
.
Por lo tanto, f
1
: R{1} R{2}, con
f
1
(x) =
2x
x 1
.
Como antes, notamos que el clculo hecho para hallar la inversa apareci en el hecho
para determinar el recorrido de la funcin, pero con las variables intercambiadas.
Ejemplo 106 Sea f : [3, +) R, la funcin dada por f (x) = 2 +

x 3. Determinar
si f es o no invertible. En caso de no serlo, vericar si es posible redenirla de modo que
lo sea. En cualquier caso, hallar f
1
.
166
Para la inyectividad:
f (x
1
) = f (x
2
)
2 +

x
1
3 = 2 +

x
2
3

x
1
3 =

x
2
3
x
1
3 = x
2
3
x
1
= x
2
,
por lo que f es inyectiva.
Para la sobreyectividad: Lo primero que podemos notar, claramente, es que y = f (x) =
2 +

x 3 2, por lo que y 2. Adems

y = f (x) = 2 +

x 3
y 2 =

x 3
(y 2)
2
= x 3
x = (y 2)
2
+ 3
x = y
2
4y + 7,
por lo que y R. As, y 2 y R. Es decir y 2. Por lo tanto Rec(f) = [2, +).
En consecuencia, f no es sobreyectiva.
Vemos entonces que f denida como est no es invertible, pues no es biyectiva (no es
sobreyectiva). Redenindola como
f : [3, +) [2, +) , con f (x) = 2 +

x 3,
resulta ser invertible y su inversa es
f
1
: [2, +) [3, +) , con f
1
(x) = x
2
4x + 7.
Ejemplo 107 Consideremos la funcin f : R R, dada por f (x) = x
2
1. Veremos que
esta funcin no es inyectiva ni sobreyectiva.
Para la inyectividad:
f (x
1
) = f (x
2
)
x
2
1
1 = x
2
2
1
x
2
1
= x
2
2
|x
1
| = |x
2
| ,
167
vemos entonces que dos reales que dieren slo en el signo tienen la misma imagen. Por
ejemplo, si x
1
= 1 y x
2
= 1, tenemos que x
1
= x
2
, pero
f (x
1
) = f (1) = 0 = f (1) = f (x
2
) .
En consecuencia, la funcin f no es inyectiva.
Para la sobreyectividad: Notamos que y = f (x) = x
2
1 = 1 + x
2
1, es decir,
y 1. Adems
y = f (x) = x
2
1
y + 1 = x
2
x =
_
y + 1 ,
de donde y + 1 0, es decir y 1. Por lo tanto Rec(f) = [1, +). As, la funcin no
es sobreyectiva.
Resulta simple redenir la funcin para que ella sea sobreyectiva. Para poder redenirla
de modo que sea inyectiva, podemos examinar el grco de esta funcin para ver la mejor
forma de decidir su redenicin.
De los clculos anteriores observamos que tenemos
x
2
= y + 1,
es decir, tenemos una parbola con vrtice V (0, 1), la cual se abre hacia arriba:
Por lo tanto, podemos redenir esta funcin de dos formas diferentes.
168
Primer caso: Redenimos f como
f : (, 0] [1, +) , con f (x) = x
2
1.
As, f es invertible y su inversa es
f
1
: [1, +) (, 0] , con f
1
(x) =

x + 1.
Notar que esto signica que nos hemos quedado slo con la rama izquierda de la parbola
Segundo caso: Redenimos f como
f : [0, +) [1, +) , con f (x) = x
2
1.
As, f es invertible y su inversa es
f
1
: [1, +) [0, +) , con f
1
(x) =

x + 1.
Notar que esto signica que nos hemos quedado slo con la rama derecha de la parbola
169
Observacin 77 Si tenemos una funcin f invertible y conocemos su grco, entonces
podemos gracar fcilmente su inversa, ya que el grco de f
1
ser el reejo simtrico del
graco de f respecto a la recta y = x.
Ejemplo 108 Para f : (, 0] [1, +) , con f (x) = x
2
1, sabemos f
1
:
[1, +) (, 0] , con f
1
(x) =

x + 1. Los grcos de f y de f
1
son:
Ejemplo 109 En el caso de f : [0, +) [1, +) , con f (x) = x
2
1, tenemos que
f
1
: [1, +) [0, +) , con f
1
(x) =

x + 1, y sus grcos son:

170
Observacin 78 Es fcil ver que una funcin real es inyectiva si, y slo si, cualquier recta
paralela al eje X intersecta el grco de tal funcin en, a lo ms, un punto. Consecuente-
mente, las funciones cuadrticas (sin restringuir) no son inyectivas
Finalizamos esta seccin con un corolario que puede ser fcilmente probado usando la
unicidad de la funcin inversa.
Corolario 55 Sean f y g dos funciones invertibles tales que f g est denida. Entonces
f g es invertible y se cumple que su inversa es
(f g)
1
= g
1
f
1
.
3.4. Algunas Propiedades de Simetra
En esta seccin deniremos lo que es una funcin par y lo que es una funcin impar.
Adems daremos sus propiedades geomtricas de simetra segn su paridad. Es importante
171
observar, como lo sealaremos, que las funciones no se dividen en funciones par y funciones
impar, ya que existen algunas que no son ni par ni impar.
Denicin 21 Sea f una funcin real cuyo dominio es simtrico respecto al origen; es
decir, x Dom(f) s, y slo s, x Dom(f).
(a) Funcin Par: Decimos que f es una funcin par si se cumple que
f (x) = f (x) , para todo x Dom(f) .
(b) Funcin Impar: Decimos que f es una funcin impar si se cumple que
f (x) = f (x) , para todo x Dom(f) .
Ejemplo 110 Toda funcin constante es una funcin par, ya que si f (x) = c, para todo
x R, entonces es claro que
f (x) = c = f (x) , para todo x R .
Ejemplo 111 La funcin identidad es una funcin impar, ya que si I (x) = x, para x R,
entonces
I (x) = x = I (x) , para cada x R .
Ejemplo 112 La funcin cuadrtica f (x) = x
2
, para x R, es una funcin par. En efecto
f (x) = (x)
2
= x
2
= f (x) , para cada x R.
Ejemplo 113 La funcin cbica f (x) = x
3
, para x R, es una funcin impar. En efecto
f (x) = (x)
3
= x
3
= f (x) , para cada x R.
Ejemplo 114 De lgebra, sabemos que la funcin coseno es una funcin par. En efecto, si
f (x) = cos x, para x R,
f (x) = cos (x) = cos x = f (x) , para cada x R.
Ejemplo 115 De lgebra, sabemos que la funcin seno es una funcin impar. En efecto,
si f (x) = sinx, para x R,
f (x) = sin(x) = sinx = f (x) , para cada x R.
172
Ejemplo 116 Analizar la paridad de la funcin f : R R, dada por f (x) =
x x
3
x
2
+ 1
.
f (x) =
x (x)
3
(x)
2
+ 1
=
x + x
3
x
2
+ 1
=

_
x x
3
_
x
2
+ 1
=
x x
3
x
2
+ 1
= f (x) ,
para cada x R. Por lo tanto, la funcin es una funcin impar.
Ejemplo 117 Analizar la paridad de la funcin dada por f (x) = 2 3x
4
xsinx, para
x R.
f (x) = 2 3 (x)
4
(x) sin(x) = 2 3x
4
+xsin(x) = 2 3x
4
xsinx = f (x) ,
para cada x R. Por lo tanto, la funcin es una funcin par.
Ejemplo 118 Analizar la paridad de la funcin dada por f (x) = 1 +
3
x
3
x
2
, denida
para x R{0}.
f (x) = 1 +
3
(x)
3
(x)
2
= 1 +
3
x
3
x
2
= 1
3
x
3
x
2
,
para cada x R{0}. Vemos que, en este caso, la funcin no es par ni impar, ya que
f (x) = 1
3
x
3
x
2
= f (x)
y
f (x) = 1
3
x
3
x
2
= f (x) .
Segn los ejemplos, vemos que existen funciones que son funcin par y existen las que
son funcin impar, pero adems, existen las que no son ni funcin par ni funcin impar. Sin
embargo cualquier funcin cuyo dominio es simtrico respecto al origen puede ser escrita
como la suma de una funcin par y una funcin impar. Para esto, supongamos que f es una
funcin cuyo dominio es simtrico respecto al origen. Denamos las funciones f
p
y f
i
por
f
p
(x) =
1
2
(f (x) + f (x)) ,
f
i
(x) =
1
2
(f (x) f (x)) .
con Dom(f
p
) = Dom(f
i
) = Dom(f). Entonces es fcil vericar que f
p
es una funcin par
y que f
i
es una funcin impar, y adems
f = f
p
+ f
i
.
173
Ejemplo 119 Escribir la funcin dada por f (x) = 1 +
3
x
3
x
2
, denida para x R{0},
como la suma de una funcin par ms una funcin impar.
Debemos hallar las funciones f
p
y f
i
mencionadas anteriormente.
f
p
(x) =
1
2
[f (x) +f (x)] =
1
2
__
1
3
x
3
x
2
_
+
_
1 +
3
x
3
x
2
__
=
1
2
_
2 2x
2

= 1 x
2
.
f
i
(x) =
1
2
[f (x) f (x)] =
1
2
__
1
3
x
3
x
2
_

_
1 +
3
x
3
x
2
__
=
1
2
6
x
3
=
3
x
3
y claramente f = f
p
+ f
i
.
Notar que escribir la funcin f como la suma de una funcin par y una funcin impar
signica simplemente separarla en las partes correspondientes de ella; es decir, podemos
identicar la parte par y la parte impar de la funcin y esas sern las funciones f
p
y f
i
.
Los siguientes teoremas son muy simples de demostrar a partir de las deniciones que
hemos dado.
Teorema 56 Sean f y g dos funciones reales y sea R. En los dominios donde estn
denidas las operaciones que se indican, se cumple que:
(i) Si f y g son funciones par, entonces tambin son funciones par: f g, f g,
f
g
, f y
f .
(ii) Si f y g son funciones impar, entonces tambin son funciones impar: f g y f,
mientras que f g y
f
g
son funciones par.
(iii) Si f es una funcin par y g es una funcin impar, entonces son impar las funciones:
f g,
f
g
y
g
f
, mientras que la funcin f g no es ni par ni impar.
Demostracin. A modo de ejemplo, slo probaremos la primera parte de (ii). Por
hiptesis tenemos que f (x) = f (x) y g (x) = g (x). Luego
(f +g) (x) = f (x) + g (x) = f (x) g (x) = (f (x) +g (x)) = (f + g) (x) ,
174
por lo que f + g es una funcin impar.
Teorema 57 Sean f y g dos funciones reales tales que f g est denida.
(i) Si g es una funcin par, entonces f g es una funcin par.
(ii) Si f es una funcin par y g es una funcin impar, entonces f g es una funcin par.
(iii) Si f y g son funciones impar, entonces f g es una funcin impar.
Demostracin. A modo de ejemplo, slo probaremos (ii). Por hiptesis tenemos que
f (x) = f (x) y g (x) = g (x) . Luego
(f g) (x) = f (g (x)) = f (g (x)) = f (g (x)) = (f g) (x) ,
por lo que f g es una funcin par.
Una interesante propiedad de las funciones par y de las funciones impar, son de tipo
geomtrico y su comportamiento simtrico. Para ver esto, supongamos que f es una funcin
par. Entonces, sabemos que
f (x) = f (x) , para todo x Dom(f) ,
lo que quiere decir que los puntos (x, f (x)) y (x, f (x)), para x Dom(f), pertenecen al
grco de f simultaneamente. Es decir, si el punto (x, f (x)) pertenece a la curva, entonces
tambin pertenece a ella el punto (x, f (x)) y viceversa. As la curva y = f (x) es simtrica
respecto al eje Y , lo que signica que para cada punto de la curva su simtrico respecto al
eje Y tambin es un punto de la curva.
175
Supongamos ahora que f es una funcin impar. Entonces
f (x) = f (x) , para todo x Dom(f) ,
lo que quiere decir que los puntos (x, f (x)) y (x, f (x)), para x Dom(f), pertenecen
al grco de f simultaneamente. Es decir, si el punto (x, f (x)) pertenece a la curva, entonces
tambin pertenece a ella el punto (x, f (x)) y viceversa. As la curva y = f (x) es
simtrica respecto al origen, lo que signica que para cada punto de la curva su simtrico
respecto al origen tambin es un punto de la curva.
Al estudiar lmites, continuidad y derivacin de funciones reales, volveremos al estudio
del grco de las funciones reales para determinarlo con mayor precisin.
3.5. Monotona de una Funcin Real
En muchas circunstancias es importante saber o conocer el comportamiento de una
funcin, en especial en lo que se reere a su grca. En tal direccin, deniremos el concepto
de monotona de una funcin.
Denicin 22 Sea f una funcin real denida en un intervalo abierto I.
(a) Funcin Creciente: Diremos que f es una funcin creciente en I si se cumple que
para todo x
1
, x
2
R, tal que x
1
< x
2
, entonces
f (x
1
) < f (x
2
) .
176
(b) Funcin Decreciente: Diremos que f es una funcin decreciente en I si se cumple
que para todo x
1
, x
2
R, tal que x
1
< x
2
, entonces
f (x
1
) > f (x
2
) .
(c) Funcin Montona: Diremos que f es una funcin montona en I si se cumple que
ella es creciente en I o bien si ella es decreciente en I o bien si no cambia de comportamiento
en I.
Ejemplo 120 Una funcin constante f (x) = c, para todo x R, no es creciente ni de-
creciente, cualquiera que sea el intervalo que se considere, pero ella no cambia de compor-
tamiento nunca. Es decir, es una funcin montona en todo R, la cual no es ni creciente
177
ni decreciente.
Ejemplo 121 Sea f (x) =
x
x 1
, denida para todo x R, con x = 1. Analicemos esta
funcin en el intervalo (1, +).
Sean x
1
,x
2
(1, +), con x
1
< x
2
. Queremos vericar si
f (x
1
) < f (x
2
) o bien f (x
1
) > f (x
2
) .
A priori no sabemos cul de estas desigualdades se cumple, por lo que asumiremos la primera
y veremos que est ocurriendo en ese caso.
Notar que f (x) =
x
x 1
> 0, para todo x (1, +), siendo, adems, x
1
, x
2
> 1.
Entonces:
f (x
1
) < f (x
2
) =
x
1
x
1
1
<
x
2
x
2
1
=
x
2
1
x
2
<
x
1
1
x
1
= 1
1
x
2
< 1
1
x
1
=
1
x
2
<
1
x
1
=
1
x
2
>
1
x
1
= x
1
> x
2
,
lo cual es una contradiccin, ya que tomamos x
1
< x
2
. As, no se cumple la primera
desigualdad, es decir f (x
1
) f (x
2
).
Para vericar la otra desigualdad, notemos que el clculo anterior nos d una idea de
178
cmo proceder:
x
1
< x
2
=
1
x
2
<
1
x
1
=
1
x
2
>
1
x
1
= 1
1
x
2
> 1
1
x
1
=
x
2
1
x
2
>
x
1
1
x
1
=
x
1
x
1
1
>
x
2
x
2
1
= f (x
1
) > f (x
2
) .
Por lo tanto, la funcin f es decreciente en (1, +). As, f es montona en (1, +), y
podemos decir que es montona decreciente.
En realidad, se puede probar que esta funcin es montona decreciente en todo su do-
minio R{1}.
Ejemplo 122 Consideremos la funcin cuadrtica f (x) = x
2
. Sabemos que esta funcin
no es montona en R, ya que de hecho es montona decreciente en (, 0) y es montona
179
creciente en (0. +).
180