Captulo 1

Funciones reales de variable real

1.1.
1.1.1.

Primeros conceptos
Conjuntos de n
umeros reales

Definici
on 1.1.1. Los n
umeros naturales
El conjunto de los n
umeros naturales N . El conjunto de los n
umeros naturales es el formado
por los n
umeros que se usan para contar.
N = {1 , 2 , 3 , 4 , . . .}
El cero, 0 , no se considera un n
umero natural.
umeros enteros
Definici
on 1.1.2. Los n
El conjunto de los n
umeros enteros Z . Si m y n son dos n
umeros naturales cualesquiera,
el n
umero p = m n es un n
umero entero. Si m > n , entonces p es natural, si m = n , entonces
p = 0 y si m < n , entonces p es negativo.
Z = {0 , 1 , 1 , 2 , 2 , 3 , 3 , 4 , 4 , . . .}
Definici
on 1.1.3. Los n
umeros racionales
El conjunto de los n
umeros racionales Q . El n
umero racional
por todos los elementos

p
, p Z , q N est
a formado
q

hp
p
, h Z\{0} . El n
umero racional
es la soluci
on de la ecuaci
on qx = p .
hq
q
{
}
p
Q=
/ p Z, q N
q

En el conjunto de los n
umeros reales R existen elementos que no son ni n
umeros naturales ni
n
umeros enteros ni n
umeros racionales. En su momento se definio la raz cuadrada de un n
umero n ,
no negativo, como aquel n
umero no negativo tal que su cuadrado nos da dicho n
umero:

n = r , r 0 / r2 = n .

Consideremos la ecuacion x2 = 2 , su solucion es el n

umero x = 2 , que no es un n
umero racional.
Para demostrarlo utilizaremos el metodo de demostracion denominado por reducci
on al absurdo.

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

p
Supongamos que existe un n
umero racional
, con p y q n
umeros primos entre s, tal que
q

p
2 = . Entonces se tiene:
q

p
2 = 2q 2 = p2 p es par p = 2p 2q 2 = 4p 2 q 2 = 2p 2 q es par.
q
p
era irreducible.
Se llega a una contradicci
on, pues se partio de la premisa de que la fraccion
q
Algunas operaciones algebraicas, como la extraccion de races cuadradas, no siempre tiene solucion
en el conjunto de los n
umeros racionales, la ampliacion del conjunto de los n
umeros racionales da lugar
al conjunto de los n
umeros reales, a estos nuevos n
umeros los denominaremos n
umeros irracionales,
I.
Definici
on 1.1.4. Los n
umeros irracionales
El conjunto de los n
umeros irracionales I . El conjunto de los n
umeros irracionales est
a
formado por aquellos n
umeros que se obtienen al realizar ciertas operaciones algebraicas (radicaci
on,
obtenci
on de logaritmos, etc) que no tienen soluci
on en el conjunto de los n
umeros racionales.
Definici
on 1.1.5. Los n
umeros reales
El conjunto de los n
umeros reales R . El conjunto de los n
umeros reales est
a formado por la
uni
on de los conjuntos de los n
umeros racionales, Q , y los n
umeros irracionales, I .
R = Q I.
Propiedades de los n
umeros reales
El sistema de los n
umeros reales es el conjunto R en el que se han definido dos operaciones de
composicion interna, suma + y producto y una relacion de orden total , de tal forma que se
verifican las siguientes propiedades:
La estructura algebraica (R, +, ) es un cuerpo (ver 1.1.5).
La estructura algebraica (R, +, , ) es un cuerpo ordenado (ver 1.1.5).
Propiedad de completitud. Toda sucesion monotona y acotada de n
umeros reales tiene lmite
real.
Parte entera. Para cada x R , existe un n
umero entero p Z tal que p x < p + 1 . A este
n
umero p se le denomina parte entera de x : E(x) = p .
El conjunto de los n
umeros racionales, Q , es denso en el conjunto de los n
umeros reales, R .
Esto quiere decir que entre dos n
umeros reales cualesquiera hay infinitos n
umeros racionales:
x, y R , x < y r Q / x < r < y .
Tambien se verifica que el conjunto de los n
umeros irracionales, I , es denso en el conjunto de
los n
umeros reales, R .

1.1.2.

L
ogica

Definici
on 1.1.6. Proposici
on
Llamaremos proposici
on o enunciado a toda frase de la que se puede decir que es verdadera (o que
su valor de verdad es v) o que es falsa (o que su valor de verdad es f ), pero no ambas cosas.

1.1. PRIMEROS CONCEPTOS

En lo que sigue p y q denotar

an proposiciones.
La negaci
on de p es la proposicion no p (o tambien p ) que es verdadera si p es falsa y que
es falsa si p es verdadera.
La conjunci
on de p y q es la proposicion p y q (o tambien p q ) que es verdadera si y solo
si p y q son ambas verdaderas.
La disyunci
on de p y q es la proposicion p o q (o tambien p q ) que es verdadera si y solo
si es verdadera una, al menos, de las proposiciones p y q .
La expresion p q se lee si sucede p entonces ocurre q ; se denomina implicaci
on o teorema.
Si q es verdadera como consecuencia de serlo p , se dice entonces que p es la premisa o hipotesis y
q la conclusion o tesis.
Si p q , se dice que p es condici
on suficiente para que ocurra q y que q es condici
on
necesaria para que ocurra p .
Si p q y q p , se dice que p y q son equivalentes y se escribe p q (se lee p si y solo si
q ).
Si a la proposicion p q la denominamos directa, la proposicion q p es su recproca, la
proposicion p q es su contraria y q p es su contrarrecproca.
Las proposiciones directa y contrarrecproca son equivalentes:
pq

q p

Ejemplo 1.1.
Consideremos las proposiciones: p : llueve y q : la calle est
a mojada.
Analizar la verdad o falsedad de los teoremas directo: p q , recproco, contrario y contrarrecproco.
Soluci
on
El teorema directo p q es verdadero; si llueve la calle se moja.
El teorema recproco q p es falso; si la calle esta mojada no tiene porque haber llovido, pueden
haber regado.
El teorema contrario p q tambien es falso; si no llueve la calle puede estar mojada por otras
razones.
El teorema contrarrecproco q p es verdadero pues es equivalente al directo; si la calle no
esta mojada no es posible que haya llovido.

1.1.3.

Conjuntos

Definiciones previas
Definici
on 1.1.7. Conjunto
Un conjunto es la reuni
on, formando un todo, de determinados objetos previamente definidos y
diferenciables entre s, que se llaman elementos del conjunto.
Para indicar que a es un elemento del conjunto A , denotaremos a A ; el signo se denomina
signo de pertenencia.
Se admite la existencia de un conjunto que carece de elementos, al que se llama conjunto vaco
y se representa por .

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

Un conjunto A se dice que es subconjunto o parte de otro conjunto U si todos los elementos
de A pertenecen tambien a U . En tal caso se escribe A U y se dice que A esta incluido en U ; el
signo recibe el nombre de signo de inclusi
on.
Al conjunto que forman las partes de U se le representa por P(U ) .1
Si A es un subconjunto de U , se llama complementario de A respecto de U al conjunto que
forman los elementos de U que no pertenecen a A . Este conjunto se representa por CU A , U \ A o,
de forma simplificada, por A .
Uni
on e intersecci
on de conjuntos
Definici
on 1.1.8. Uni
on de conjuntos
Se llama uni
on de dos conjuntos A y B al conjunto formado por los elementos que pertenecen a
uno, al menos, de los conjuntos A o B y se denota A B
A B = {a / a A o a B}
Definici
on 1.1.9. Intersecci
on de conjuntos
Se llama intersecci
on de dos conjuntos A y B al conjunto formado por los elementos que pertenecen a los dos conjuntos A y B y se denota A B
A B = {a / a A y a B}
Definici
on 1.1.10. Producto cartesiano de conjuntos
Se llama producto cartesiano de un conjunto A por otro B (es este orden) al conjunto de todos
los pares (a, b) con a A y b B , el cual se denota por A B .
Analogamente se definen los productos A B C , A B C D , como los conjuntos que forman
las correspondientes ternas, cuaternas, etc.
Observaciones
Un par no es otra cosa que dos elementos dados en un orden; si se cambia de elementos o si se
altera el orden de estos, se obtiene un par distinto.
Un par (a, b) no debe confundirse con el conjunto {a, b} ; el orden en el que figuran los elementos
a y b no tiene la menor importancia en {a, b} y, por el contrario, juega un papel fundamental en
(a, b) .
En los productos cartesianos de un conjunto por s mismo, se simplifica la notacion poniendo
A A = A2 , A A A = A3 , etc.
Definici
on 1.1.11. Grafo
Dados dos conjuntos A y B , se llaman grafos o gr
aficas relativos al producto cartesiano A B
a los subconjuntos de A B .
Dado un grafo G A B , el conjunto de los x A para los que hay alg
un y B tal que
(x, y) G recibe el nombre de proyecci
on de G sobre A ( P royA G ). Analogamente se define la
proyeccion de G sobre B ( P royB G ).
1 Se denomina conjunto de partes de U al formado por todos los subconjuntos de U , incluido el conjunto vac
o
y el propio conjunto. Si el conjunto U tiene n elementos, P(U ) tiene:
(n) (n) (n)
(n)
P(U ) =
+
+
+ +
= (1 + 1)n = 2n .
0
1
2
n

1.1. PRIMEROS CONCEPTOS

Definici
on 1.1.12. Correspondencia
Dados dos conjuntos A y B y un grafo G A B , cualquiera, se llama correspondencia de A
en B , definida por G , a la terna f = (A, B, G) .
Se dice que la correspondencia f hace corresponder a cada x A todos los y B tales que
(x, y) G .
Se llama imagen por f del elemento x A al conjunto
f (x) = {y B / (x, y) G} .
Se llama imagen recproca de un elemento y B al conjunto
f 1 (y) = {x A / (x, y) G} .

1.1.4.

Aplicaciones

Definici
on 1.1.13. Aplicaci
on o funci
on
Sean dos conjuntos A y B y un grafo G A B que goza de la siguiente propiedad: para cada
elemento x A , sin excepci
on, existe un y s
olo un elemento y B tal que (x, y) G .
Se dice entonces que que G determina una aplicaci
on f de A en B o una funci
on f definida
en A que toma valores en B .
Se suele denotar:

f : A
B .
x 7 f (x)

Para cada x A se denota por f (x) al u

nico elemento de B para el que se verifica que (x, f (x))
G . Se dice que f (x) es la imagen de x .
Definici
on 1.1.14. Aplicaci
on sobreyectiva
Una aplicaci
on f : A B se dice que es sobreyectiva, suprayectiva o exhaustiva, si todo elemento
de B es imagen de alg
un elemento (uno al menos) de A , es decir, f (A) = B .
Definici
on 1.1.15. Aplicaci
on inyectiva
Una aplicaci
on f : A B se dice que es inyectiva si dos elementos distintos, cualesquiera, de
A tienen im
agenes distintas en B . Esto es, si
x1 , x2 A , x1 = x2 = f (x1 ) = f (x2 ) ,
o lo que es lo mismo
f (x1 ) = f (x2 ) = x1 = x2 .
Definici
on 1.1.16. Aplicaci
on biyectiva
Una aplicaci
on f : A B se dice que es biyectiva si es sobreyectiva e inyectiva
Si f es biyectiva, todo y B es imagen de un y solo un x A .
Ejemplo 1.2.
Estudiar la naturaleza de la aplicaciones f : R R que a cada n
umero real x le hace corresponder
su cubo: f (x) = x3 y g : R R que a cada n
umero real x le hace corresponder su cuadrado:
g(x) = x2 .

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

Soluci
on
Consideremos la aplicacion f : R R
x 7 x3

Como z R : 3 z R , podemos escribir: y R , x R , x = 3 y , tal que y = 3 x ; la

aplicacion f es sobreyectiva.
Como x1 , x2 R , x1 = x2 = x31 = x32 ; la aplicacion f es inyectiva.
De aqu se deduce que f es biyectiva.
Consideremos, ahora, la aplicacion g : R
x

R
7 x2

Esta aplicacion no puede ser sobreyectiva porque los n

umeros negativos no tienen raz cuadrada
real.
Tampoco puede ser inyectiva porque x1 , x2 R , x21 = x22

1.1.5.

=
/ x1 = x 2 .

Estructuras algebraicas

Leyes de composici
on
Definici
on 1.1.17. Ley de composici
on interna
Dado un conjunto no vaco A , se denomina ley de composici
on interna definida en A a toda
aplicaci
on , del tipo:
AA
A
(x, y) 7 x y
Ejemplo 1.3.
Son leyes de composici
on interna (u operaciones internas) la suma y el producto en el conjunto de
los n
umeros naturales:
{
(m + m) N
m, n N :
(m m) N
No es una ley de composici
on interna la divisi
on en el conjunto de los n
umeros naturales:
m, n N /

/N
n

Definici
on 1.1.18. Ley de composici
on externa
Dados tres conjuntos no vacos A , B , C , se denomina ley de composicion externa a toda aplicaci
on , del tipo:
AB
C
(x, y) 7 x y
Tienen especial interes las operaciones del tipo A B B y las del tipo A A B .
Ejemplo 1.4.
Son leyes de composici
on externa (u operaciones externas) el producto de un escalar por un vector:
R , v V : v V y el producto escalar de dos vectores: u , v V : u v R .
Grupos
Definici
on 1.1.19. Grupo

1.1. PRIMEROS CONCEPTOS

Sea un conjunto cualquiera G y sea una operaci

on de composici
on interna definida en el.
Diremos que (G, ) tiene la estructura de grupo si se verifican las siguientes propiedades:
1. a, b, c G : (a b) c = a (b c) . La ley es asociativa.
2. a G , e G / a e = e a = a . Existencia de elemento neutro.
3. a G , a G / a a = a a = e . Existencia de elemento simetrico.
Se dice que (G, ) es un grupo abeliano o conmutativo si ademas la operacion es conmutativa:
a, b G : a b = b a .
Ejemplo 1.5.
Son grupos abelianos: (Z, +) , (Q, +) , (R, +) , (Q , ) y (R , ) . (Donde Q y R son Q y R
sin el 0 (el neutro de la suma)).
Cuerpos
Definici
on 1.1.20. Cuerpo
Sea K un conjunto cualquiera y sean y dos leyes de composici
on interna definidas en el.

Diremos que (K, , ) tiene la estructura de cuerpo si (K, ) y (K , ) tienen la estructura de grupo
abeliano ( K = K\{e} , donde e es el elemento neutro de la primera ley) y adem
as la segunda ley es
distributiva respecto de la primera.
(K, ) tiene estructura de grupo abeliano
1. a, b, c K : (a b) c = a (b c) . La ley es asociativa.
2. a, b K : a b = b a . La ley es conmutativa
3. a K , e K / a e = e a = a . Existencia de elemento neutro.
4. a K , a K / a a = a a = e . Existencia de elemento simetrico.
(K , ) tiene estructura de grupo abeliano
1. a, b, c K : (a b) c = a (b c) . La ley es asociativa.
2. a, b K : a b = b a . La ley es conmutativa
3. a K , e K / a e = e a = a . Existencia de elemento neutro.
4. a K , a K / a a = a a = e . Existencia de elemento simetrico.
La segunda ley es distributiva respecto de la primera.
{
a (b c) = a b a c
a, b, c K :
(b c) a = b a c a
Axiomas de orden
Este grupo de axiomas se refiere a un concepto por el que se establece una ordenaci
on de los
n
umeros reales. Seg
un esta ordenacion se puede decidir si un n
umero real es mayor o menor que
otro. Se introducen aqu las propiedades de orden, como un conjunto de axiomas referentes al nuevo
concepto primitivo de positivo para definir despues los conceptos de mayor que y menor que a
partir del de positivo.
Se supone que existe un cierto subconjunto R+ R llamado conjunto de los n
umeros positivos
que satisfacen los axiomas siguientes:

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

Si x, y R+ , tambien x + y R+ y x y R+ .
x = 0 , o bien x R+ , o bien x R+ , pero no ambos.
0 = R+ .
Ahora se definen los smbolos:
<
>

llamado
llamado
llamado
llamado

menor
mayor
menor
mayor

x<y
y>x
xy
yx

significa
significa
significa
significa

que
que
que
que

que
que
o igual que
o igual que

de la siguiente forma:
y x es positivo.
x < y.
x < y o que x = y .
x y.

Por lo tanto se tiene x > 0 si, y solo si, x es positivo.

En efecto:
x > 0 0 < x x 0 es positivo,

y x 0 = x.

Si es x < 0 se dice que x es negativo.

Si es x 0 se dice que x es no negativo.
Teorema 1.1.1. Propiedad de tricotoma
Para a y b n
umeros reales cualesquiera se verifica una sola de las tres relaciones
a<b

b<a

a=b

Demostraci
on
Sea b a = x .
Si x = 0 , sera a = b . Ademas:
b a = 0 b + (a) = 0 (b) + b + (a) + a = (b) + a
0+0=ab0=abba=ab=0
y como por el tercer axioma 0 = R+ , no puede ser b < a (pues a b sera positivo) ni a < b (pues
b a sera positivo).
Si x = 0 , por el segundo axioma, o bien es x > 0 , o bien es x < 0 , pero no ambos. Por lo tanto,
o bien es b a > 0 , b a es positivo y es a < b ; o bien b a < 0 , b a es negativo, con lo que
b < a.
Teorema 1.1.2. Propiedad transitiva
Si a < b y b < c , entonces es a < c .
Demostraci
on
Si a < b y b < c , entonces b a y c b son positivos y por el primer axioma: (b a) + (c b)
es positivo; operando, teniendo en cuenta que x es positivo si, y solo si, x > 0 :
(b a) + (c b) > 0 b + (b) a + c > 0 a + c > 0 a < c
Un cuerpo ordenado es un cuerpo en el que se establece una relacion de orden compatible con las
operaciones del cuerpo.

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

1.2.
1.2.1.

Las funciones reales de variable real

Definiciones previas

Definici
on 1.2.1. Funci
on real de variable real
Una funci
on f : A R es una aplicaci
on de un subconjunto A R en R , es decir a cada x A
le corresponde un valor f (x) R .
f : AR
x

R
7 f (x)

Ejemplo 1.6.
Son funciones
f (x) = x + 1

f (x) =

f (x) = log x

f (x) =

x2 + 2
x2 + 4

Definici
on 1.2.2. Dominio e imagen
Sea f una funci
on real de variable real.
a) El dominio de f , que se denota como Dom f , es el conjunto de n
umeros reales x para los
cuales tiene sentido f (x) :
Dom f = {x R / f (x) R}
Si Dom f = A , representaremos la funci
on de la forma
f : A R
b) La imagen de f , que denotaremos Im f , es el conjunto de n
umeros reales y para los que existe
x R con y = f (x) :
Im f = {y R / x R , con y = f (x)}
Ejemplo 1.7.
Calcular el dominio y la imagen de las siguientes funciones
1
,
x1

a) f (x) = x2 ,

b) f (x) =

e) f (x) = tg x ,

f ) f (x) = ln x ,

c) f (x) =

x,

d) f (x) = E(x) ,

g) f (x) =

x2
,
1 + x2

h)f (x) =

Soluci
on
a) Si f (x) = x2 entonces Dom f = R e Im f = R+ {0} .
1
entonces Dom f = R\{1} e Im f = R\{0} .
x1

c) Si f (x) = x entonces Dom f = R+ {0} e Im f = R+ {0} .

b) Si f (x) =

d) Si f (x) = E(x) entonces Dom f = R e Im f = Z .

{ }
k
, k Z e Im f = R .
e) Si f (x) = tg x entonces Dom f = R\
2
f ) Si f (x) = ln x entonces Dom f = R+ e Im f = R .

1
1 + x2

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

10

g) Si f (x) =

x2
entonces Dom f = R e Im f = [0, 1) .
1 + x2

h) Si f (x) =

1
entonces Dom f = R e Im f = (0, 1] .
1 + x2

Definici
on 1.2.3. Grafo
Se denomina grafo o gr
afica de una funci
on f al conjunto
G f = {(x, y) R2 / x Dom f , y = f (x)}
El grafo de una funcion se puede representar en el plano XY mediante una grafica (curva); donde
en el eje de abscisas se representa la variable independiente x y en el eje de ordenadas la variable
dependiente o funcion y = f (x) .
En la siguiente figura se han representado graficamente las funciones del ejemplo anterior.

n: Si a un valor de x le corresponden varios de y , como por ejemplo y = x , no

Observacio
se trata de una funcion, pero se puede emplear la calificacion de funcion multiforme o multivaluada.

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

11

Como regla practica se puede utilizar la siguiente, si la curva y = f (x) es la grafica de una funcion,
cualquier recta vertical que se trace sobre ella solo la podra encontrar una vez como maximo.

1.2.2.

Simetras

Sea f una funcion tal que si x Dom f : x Dom f .

Definici
on 1.2.4. Funci
on par
Diremos que una funci
on f : R R es una funci
on par si
x Dom f : f (x) = f (x)
on impar
Definici
on 1.2.5. Funci
Diremos que una funci
on f : R R es una funci
on impar si
x Dom f : f (x) = f (x)
Las graficas de las funciones pares son simetricas respecto del eje de ordenadas y las de las funciones
impares tienen una simetra respecto del origen de coordenadas.
Ejemplo 1.8.
Analizar si las siguientes funciones
f1 (x) =

1 x2
,
1 + x2

f2 (x) =

x
,
1 + x2

f3 (x) =

1x
.
1 + x2

son pares, impares o ninguna de las dos cosas.

Soluci
on
La funcion f1 (x) =

1 x2
es una funcion par, pues:
1 + x2
f1 (x) =

La funcion f2 (x) =

x
es una funcion impar, pues:
1 + x2
f2 (x) =

La funcion f3 (x) =

1 (x)2
1 x2
=
= f1 (x)
2
1 + (x)
1 + x2

x
x
=
= f2 (x)
2
1 + (x)
1 + x2

1x
no es ni par ni impar, pues
1 + x2
1 (x)
1+x
f3 (x) =
=
1 + (x)2
1 + x2

1x
= f3 (x)
1 + x2
x1
=
= f3 (x)
1 + x2

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

12

n.
Observacio
Las u
nicas simetras que vamos a observar, a priori son estas dos, puede ocurrir que la grafica
de la funcion goce de alguna simetra y esta no sea observable a primera vista; por ejemplo, la funcion
2x
f (x) =
se puede escribir
x1
y=

1x+1
1
1
=
1y+1=
x1
x1
x1

1
, desplazada una unidad hacia abajo y otra unidad
x
hacia la derecha; como la primera es simetrica respecto del origen (es una funcion impar), la segunda
lo es respecto del punto (1, 1) .

por lo que su grafica es la de la funcion f (x) =

Definici
on 1.2.6. Funci
on creciente y decreciente
Sea f : A R R una funci
on real de variable real, y sea B A .

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

{
a) Diremos que f es

creciente
decreciente

13

{
en B si x1 , x2 B con x1 < x2 , es

{
b) Diremos que f es estrictamente
{
}
f (x1 ) < f (x2 )
.
f (x2 ) < f (x1 )

creciente
decreciente

f (x1 ) f (x2 )
f (x2 ) f (x1 )

}
.

}
en B si x1 , x2 B con x1 < x2 , es

otona en su dominio, si en el, o bien es creciente o bien es decreciente.

c) Diremos que f es mon
Diremos que f es estrictamente mon
otona en su dominio, si en el, o bien es estrictamente
creciente o bien es estrictamente decreciente.
Teorema 1.2.1.
Una funci
on f es decreciente en A si, y s
olo si, f es creciente en A .
Demostraci
on
{

f decreciente en A

}
x 1 , x2 A
f (x2 ) f (x1 )
x1 < x2

}
x 1 , x2 A
f (x1 ) f (x2 )
x1 < x2

f creciente en A

Definici
on 1.2.7. Funci
on acotada
Una funci
on real de variable real f : A R R es acotada superiormente si la imagen de
f, Im f, es un subconjunto de R acotado superiormente, es decir si
k R / x A f (x) k
De una manera similar se definen las funciones acotadas inferiormente
k R / x A k f (x)
Una funci
on est
a acotada si lo est
a superior e inferiormente
k, k R / x A k f (x) k
o lo que es lo mismo, si llamamos K = max{|k|, |k |} : x A |f (x)| K .
Definici
on 1.2.8. Funci
on peri
odica. Perodo
Una funci
on f : R R es una funci
on peri
odica si existe h R+ , tal que
f (x + h) = f (x) , x Dom f
Se llama perodo de una funci
on peri
odica f al menor h que satisface la propiedad anterior.
n.
Observacio
Esta claro que f (x + h) = f (x) , x Dom f f (x + kh) = f (x) , k Z .
Las funciones sen x y cos x son periodicas de perodo 2 y la funcion tg x es periodica de perodo
:
sen x = sen(x + 2k) ,

cos x = cos(x + 2k) ,

tg x = tg(x + k) , k Z .

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

14

2
Las funciones sen nx y cos nx , n Q+ son funciones periodicas de perodo
y la funcion
n

+
tg nx , n Q es periodica de perodo
.
n
En la siguiente figura se representan las funciones sen x , cos x y tg x .

x
En esta figura se representan las funciones sen 3x y sen , funciones periodicas de perodos
2
2
respectivos
y 4 .
3

1.2.3.

Operaciones con funciones

Operaciones de composici
on interna
Definici
on 1.2.9. Suma, producto y cociente de funciones
Sean f, g : A R R dos funciones reales de variable real. Se definen:
Suma de funciones: (f + g)(x) = f (x) + f (x) , x A .
Producto de funciones: (f g)(x) = f (x) g(x) , x A .
( )
f
f (x)
Cociente de funciones:
(x) =
, x A . Si g(x) = 0 .
g
g(x)
Operaci
on de composici
on externa
Definici
on 1.2.10. Producto de una funci
on por un escalar
Se define el producto de una funci
on por un escalar como
( f )(x) = f (x) , R , x A .

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

15

Definici
on 1.2.11. Composici
on de funciones
Sean las funciones f, g : R R , tales que Im f Dom g , se define la composici
on de f con
g , que se denota g f , como (g f )(x) = g (f (x)) .
h: R
x

R
7 f (x)

g
R
7 g(f (x)) = h(x)

Propiedades
La composicion de funciones es asociativa:
(h (g f ))(x) = h(g f )(x) = h(g(f (x)))
((h g) f )(x) = (h g)(f (x)) = h(g(f (x)))
La composicion de funciones no es conmutativa. No tiene porque tener sentido f g si existe
g f . Por ejemplo sean las funciones:
f : [1, 1]
x
(g f )(x) = g(f (x)) =

[/2, /2]
7
arc sen x
2

arc sen x + 2
arc sen2 x + 1

g: R
x

(1, 2]
x2 + 2
x2 + 1

(f g)(x) = f (g(x)) = arc sen

x2 + 2
x2 + 1

La primera tiene sentido pues Im f Dom g , pero la segunda composicion no tiene sentido,
pues Im g
/ Dom f .
Aunque ambas composiciones existieran no tendran porque ser iguales. Por ejemplo, sean las
funciones
f : R
R
g : R R
x 7 sen x
x 7 x3
(g f )(x) = g(f (x)) = sen3 x

1.2.4.

(f g)(x) = f (g(x)) = sen x3

La funci
on inversa

Definici
on 1.2.12. Funci
on inyectiva
Dada una funci
on f : A R R , diremos que es inyectiva si:
x1 , x2 A , x1 = x2 f (x1 ) = f (x2 )
o lo que es lo mismo:
f (x1 ) = f (x2 ) x1 = x2
Ejemplo 1.9.
Analizar la inyectividad de las funciones f1 (x) = ln x y f2 (x) = x2 .
Soluci
on
La funcion f1 (x) = ln x es inyectiva, pues x1 , x2 > 0 , x1 = x2 ln x1 = ln x2 .
x21

La funcion f2 (x) = x2 no es inyectiva pues x1 , x2 R , x1 = x2

/ x21 = x22 , o lo que es lo mismo:
2
= x2 x1 = x2 .

Teorema 1.2.2. Funci

on inversa
Sea f : R R una funci
on inyectiva. Entonces:

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

16

i) Existe una u
nica funci
on g : Im f Dom f que verifica
(f g)(y) = y , y Im f
A esta funci
on la llamaremos funci
on inversa de f y denotaremos g f 1 .
ii) La funci
on inversa f 1 verifica:
(f 1 f )(x) = (f f 1 )(x) = x , x Dom f
Demostraci
on.
ia) Existencia
Sea y Im f , por lo tanto xy Dom f tal que y = f (xy ) y ademas es u
nico por ser f una
funcion inyectiva. En efecto:
Si xy Dom f tal que f (xy ) = y :
f (xy ) = f (xy )
Por lo tanto g : Im f
y

Dom f
7 g(y) = xy

inyectiva

xy = xy

es funcion.

Ademas:
(f g)(y) = f [g(y)] = f (xy ) = y
ib) Unicidad
Si existiera g : Im f Dom f tal que (f g )(y) = y , y Im f , podramos escribir:
{
}
(f g)(y) = y
(f g)(y) = (f g )(y)
y Im f :
(f g )(y) = y
f [g(y)] = f [g (y)]

inyectiva

g(y) = g (y) , y Imf

Por lo que g g .
ii) Sea x Dom f , cualquiera y sea z = (f 1 f )(x) . Calculemos:
[
] (
)
f (z) = f (f 1 f )(x) = f (f 1 f ) (x) = (f f 1 )(f (x))
y como f (x) Im f : (f f 1 )(f (x)) = f (x) , por lo que f (z) = f (x) y como f es inyectiva:
z = x . De aqu se deduce que: (f 1 f )(x) = x .
Como la funcion f : Dom f Im f es inyectiva, la funcion inversa
f 1 : Im f Dom f
tambien lo es, por lo que tambien admite funcion inversa
(f 1 )1 : Dom f Im f
que coincide con f . Por lo tanto
((f 1 )1 f 1 )(x) = (f f 1 )(x) = x
Ejemplo 1.10.
Calcular la funci
on inversa de la funci
on f (x) = ln(1 + x) .

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

17

Soluci
on
Ya hemos visto que la funcion logartmica es una funcion inyectiva, por ello, admite funcion inversa,
calculemosla:
(f f 1 )(x) = x

f (f 1 (x)) = x ln(1 + f 1 (x)) = x 1 + f 1 (x) = ex

f 1 (x) = ex 1

Ejemplo 1.11. Estudiar si la funci

on f (x) = ln
su funci
on inversa.

x+1
es inyectiva, en el caso de que lo sea, calcular
x1

Soluci
on
El dominio de la funcion es:

f (x) R

x+1>0
x > 1

x>1

1
>
0
x
>
1
x+1
>0

x1

x < 1
x+1<0

x < 1

x1<0
x<1

x (, 1) (1, +)
Estudiemos su inyectividad:
f (x1 ) = f (x2 )

ln

x1 + 1
x2 + 1 x1 + 1
x2 + 1

= ln
=

x1 1
x2 1
x1 1
x2 1

(x1 + 1)(x2 1) = (x2 + 1)(x1 1)

x1 x2 x1 + x2 = x1 x2 x2 + x1 2x1 = 2x2

x1 = x2 f es inyectiva.

la funci
on logartmica es inyectiva.

Como la funcion es inyectiva admite funcion inversa, para calcularla vamos a despejar la x en la
x+1
expresi
on y = ln
:
x1
y = ln

x+1
x1

x+1
= ey x + 1 = (x 1)ey (ey 1)x = ey + 1
x1

x=

ey + 1
ex + 1
y= x
y
e 1
e 1

f 1 (x) =

ex + 1
ex 1

NOTA:
Las graficas de las funciones f y f 1 son simetricas respecto de la bisectriz del primer cuadrante
y = x.
(x, y) G f y = f (x) x = f 1 (y) (y, x) G f 1
En la siguiente figura se refleja esta propiedad. A la derecha se observa la propiedad en forma
general y en la de la izquierda se han dibujado las funciones directa e inversa del ejemplo anterior,
donde se observa la simetra aludida.
(
)
Ademas, la funcion directa tiene como asntotas verticales las rectas x = 1
lm f (x) =
x1
(
)
y como asntota horizontal la recta y = 0
lm f (x) = 0 y la funcion inversa tiene como asntota
x

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

18

(
vertical la recta x = 0
(
)
1
lm f (x) = 1

lm f

x0

)
(x) =

y como asntotas horizontales las rectas y = 1

1.2.5.

Funciones elementales

Definici
on 1.2.13. Funci
on potencial entera
Se llama as a la funci
on real de variable real definida por
f (x) = xn , n N {0}

Tenemos: Dom f = R .

Im f =
R+ {0}

{1}

si n es impar.
si n es par.

si n = 0 .

Si n es par la funcion tambien lo es y, por lo tanto su grafica es simetrica respecto del eje de
ordenadas.

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

19

Si n es impar la funcion tambien, ademas es estrictamente creciente, pues

x1 < x2 xn1 < xn2
por lo tanto, tambien es inyectiva.
Definici
on 1.2.14. Funci
on polin
omica
La funci
on polin
omica es una combinaci
on lineal de funciones potenciales enteras, es de la forma:
f (x) = an xn + an1 xn1 + + a2 x2 + a1 x + a0 , n N , an = 0
Su dominio es R y de su imagen no se sabe nada a priori.
Se denominan ceros o races reales de la funcion f (x) a los valores x0 R / f (x0 ) = 0 . Por el
teorema fundamental del algebra se sabe el maximo n
umero de races reales de una funcion polinomica
no puede exceder al grado n del polinomio.
on racional
Definici
on 1.2.15. Funci
Una funci
on es racional si es el cociente de dos polinomios, es decir,
f (x) =

P (x)
an xn + an1 xn1 + + a2 x2 + a1 x + a0
=
Q(x)
bn xn + bn1 xn1 + + b2 x2 + b1 x + b0

Su dominio es R menos las races reales del polinomio Q(x) . De su imagen tampoco se sabe nada
a priori
Definici
on 1.2.16. Funci
on potencial
La funci
on potencial entera se puede generalizar si consideramos que el exponente no es entero,
en este caso, y par que no haya problemas de existencia, deberemos definir x > 0 .
f (x) = x , x R+ , R .

Nota Para analizar el comportamiento de la grafica de esta funcion recordamos que:

}
}
0<x<1
1 < x < +

x, , R
x <x<x
y
x < x < x
<1<
<1<

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

20

En la figura adjunta se observan las diferentes formas de la grafica de la funcion teniendo en cuenta
los valores del exponente . Hay tres familias de curvas seg
un los valores de , la primera es cuando
1 < < + , en la segunda se tiene 0 < < 1 y la tercera es para valores de negativos. Todas
ellas pasan por el punto (1, 1) .
Para exponentes positivos todas las funciones pasan tambien por el origen. Cuando el exponente
es mayor que uno y va tomando valores crecientes la funcion es convexa y se pega cada vez mas al
eje de abscisas si 0 < x < 1 y cada vez tiene mayor pendiente para x > 1 .
Cuando el exponente toma valores menores que uno y cada vez mas proximos a cero (positivos),
la funcion es concava y tiene a pegarse a y = 1 cuando 0 < x < 1 y esta cada vez mas tumbada para
x > 1.
Cuando el exponente es negativo la funcion es asintotica a los ejes
lm f (x) = 0+ , lm+ f (x) = 0+ ,

x+

x0

pegandose al eje de ordenadas y tumb

andose cada vez mas acercandose a la recta y = 1 ,, seg
un se
acerca a cero. Si el exponente disminuye, con valores menores que 1 , la grafica va aumentando de
pendiente, acercandose a la recta x = 1 y pegandose cada vez mas al eje de abscisas.
Definici
on 1.2.17. Funci
on exponencial
Se define la funci
on exponencial como
f (x) = ax , a R+ \{1}
Se tiene Dom f = R , Im f = R+ .
Es una funcion creciente para a > 1 y decreciente para 0 < a < 1 .
La funcion exponencial f (x) = ax es simetrica de la anterior respecto del eje de ordenadas
Propiedades.
a0 = 1

x, y R : ax ay = ax+y

x R : ax =

1
ax

Definici
on 1.2.18. Funci
on logartmica
Sea a R+ a = 1 . se define la funci
on logartmica de base a como
f (x) = loga x , a R+ \{1}

Dom f = R+ , Im f = R

Es una funcion creciente para a > 1 y decreciente para 0 < a < 1 .

Si recordamos la definicion de logaritmo de un n
umero x en base a como el n
umero al que hay
que elevar la base para que nos de dicho n
umero, tenemos que
y = loga x x = ay
por lo que la funcion logartmica y la funcion exponencial son una inversa de otra.
Relaci
on entre logaritmos en diferentes bases
Sean a, b R+ , a, b = 1 y sea x R+ .
{
loga x = u x = au
au = bv u = v loga b loga x = logb x loga b
v
logb x = v x = b
loga x
logb x =
loga b

1.2. LAS FUNCIONES REALES DE VARIABLE REAL

21

En particular, si x = a , se tiene la relacion fundamental para cambio de base en logaritmos:

logb a =

1.2.6.

1
logb a loga b = 1 .
loga b

Las funciones trigonom

etricas

Definici
on 1.2.19. La funci
on seno
La funci
on seno se define como
f : R
R
x 7 sen x
Dom f = R

Im f = [1, 1]

La funcion seno2 es una funcion periodica de periodo 2 : sen x = sen(x + 2k) , k Z .

Definici
on 1.2.20. La funci
on coseno
La funci
on coseno se define como
f: R
x
Dom f = R

R
7 cos x
Im f = [1, 1]

2 En todo lo que sigue, cuando se hable de funciones trigonom

etricas, el argumento x se medir
a en radianes. Ver el
Ap
endice 2 del final del captulo.

22

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

La funcion coseno es una funcion periodica de periodo 2

cos x = cos(x + 2k) , k Z .
Definici
on 1.2.21. Funci
on tangente
La funci
on tangente se define como
f : R R
x 7 tg x
}
{
+ k , k Z
Dom f = R \
2

Im f = R

La funcion tangente es una funcion periodica de periodo

tg x = tg(x + k) , k Z

Ninguna de las tres funciones anteriores (todas son periodicas) es inyectiva, por lo tanto ninguna
admite, en principio, funcion inversa; pero, a causa de su periodicidad, si se redefinen las tres funciones
anteriores como
[ ]
( )
f:
,
f: ,

R
R
f : [0, ]
R
2 2
2 2
x

7
cos
x
x
7 sen x
x
7 tg x
primero, no se pierde generalidad en ninguna de ellas (se pueden seguir calculando los valores de las
tres en R ) y, segundo, todas son inyectivas y, en el dominio de definicion, admiten funcion inversa.
Definici
on 1.2.22. Funci
on arcoseno
La funci
on inversa de la funci
on seno se denomina funci
on arcoseno, y se define como:
[ ]
f : [1, 1] ,
2 2
x
7 arc sen x
Definici
on 1.2.23. Funci
on arcocoseno
La funci
on inversa de la funci
on coseno se denomina funci
on arcocoseno, y se define como:
f:

[1, 1]
[0, ]
x
7 arc cos x


1.3. APENDICE

23

Definici
on 1.2.24. Funci
on arcotangente
La funci
on inversa de la funci
on tangente se denomina funci
on arcotangente, y se define como:
f: R
x

1.3.

Ap
endice

1.3.1.

El radi
an

( )
,
2 2
arc tg x

El radian es la medida natural de angulos en el sistema internacional.

Radi
an
Se define radian como el angulo formado por dos radios de
una circunferencia cuando la longitud del arco que delimitan los
radios es igual a dicho radio.
De esta definicion se deduce que, como la longitud de la circunferencia es L = 2r , los 360 que mide el angulo central
2r
de toda la circunferencia son
= 2 rd . Para convertir grar
dos en radianes, o viceversa, se suele utilizar la relacion anterior
simplificada: 180 = rd .
Si el angulo x se expresa en radianes se tiene:

sen x =

(1)n

x2n+1
(2n + 1)!

(1)n

x2n
(2n)!

n=0

cos x =

n=0

CAPITULO 1. FUNCIONES REALES DE VARIABLE REAL

24

La siguiente tabla indica las medidas, en radianes y grados, de algunos angulos:

Grados

0 30

Radianes 0
6

45 60

4 3

90 120
2
2
3

135
3
4

150 180
5

Consideremos un angulo 0 < < 90 en una circunferencia de radio unidad, los triangulos OAD y OBC y el
sector circular OBD .
Las superficies de los triangulos son:
OA AD
sen cos
=
2
2
tg
OB BC
=
=
2
2

SOAD =
SOBC

y la del sector circular es, seg

un se mida el angulo en
radianes o grados:
12

12

= , y SOBD =
=
2
2
360
360
sen cos

tg

< <
( en radianes)

2
2
2
Como SOAD < SOBD < SOBC , se tiene
y dividien
sen cos < < tg ( en grados)

2
360
2
sen
, se obtienen las siguientes expresiones:
do estas desigualdades, miembro a miembro, por
2
SOBD =

1
sen
1
<
cos <
<
sen
cos

cos

1
180 sen
1
cos <
<
cos <
<
180 sen
cos

cos
cos <

1
sen
Como, cuando 0 , cos 1 y
1 , se tiene que
1 , cuando el angulo se mide
cos

sen

en radianes y, en cambio

, cuando el angulo se mide en grados.

180
De esto se deduce que, cuando 0 , los infinitesimos sen y son equivalentes solamente
cuando el angulo se mide en radianes.