Tema 2 - Introducción A Las Funciones Reales de Una Variable Real

ETS DE INGENIEROS DE MONTES
PRIMER CURSO
GRUPO B
TEMA 2
Introduccin a las Funciones Reales
de una variable Real

Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin
autorizacin del autor.
Tema 2. Introduccin a las funciones reales de una variable real
1. Introduccin.
El concepto de funcin real de una variable real se remonta a unos 2000 aos
a.C., evolucionando en el tiempo desde una concepcin puramente geomtrica,
en la que se considera que una funcin se identica con una curva, hasta una
concepcin lgica, en la que se dene funcin como una correspondencia entre
conjuntos, pasando por una concepcin algebraica, en la que una funcin se
expresa mediante una frmula, que en un principio (Euler, 1748) fue de tipo
nito y ms adelante (Fourier, 1822) se admiti que pudiera tener un nmero
innito de trminos (la llamada "expresin analtica" ).
El concepto de funcin es uno de los ms importantes no solo en matemti-
cas, sino en ingeniera y ciencias en general. La propiedad esencial que com-
parten todas las deniciones de funcin es que se trata de una regla que asigna a
cada ente de un conjunto de partida un nico ente de otro conjunto de llegada.
Cuando no se plantea esta restriccin, se dice que dicha regla es una relacin
o una correspondencia. Por ejemplo, la expresin )(r) =
r, r R, con
r 0, no dene una funcin real de la variable real no negativa r porque asigna
a cada nmero real r, no negativo, dos nmeros reales,

r y
r, mientras
que la expresin )(r) =
r, r R, con r 0, si dene una funcin real de la

variable real no negativa r. En este tema, adems de denir los primeros concep-
tos relativos a las funciones reales de una variable real, repasando brevemente
algunas de las funciones elementales con las que trabajaremos en este curso,
introduciremos la idea de proximidad, deniendo una topologa en la recta real.
2. Deniciones: funcin, dominio, codominio, grca, imagen.
Dados dos conjuntos y 1, con , 1 R, una funcin real de variable real
) : 1 es una terna (G
}
, , 1), en la que G
}
, denominado grca o grco
de ), es un subconjunto del producto cartesiano 1 tal que para todo r
existe un nico elemento j 1 vericando que (r, j) G
}
. Dicho elemento j,
unvocamente asociado a cada r, se representa por )(r), y se llama valor de la
funcin ) en el punto r o bien imagen por ) de r.
El conjunto , constituido por todos los elementos r R para los que existe
algn j R tal que (r, j) G
}
, se denomina dominio de ), y se representa por
dom), y el conjunto 1 se denomina codominio o conjunto nal. Llamaremos
conjunto imagen de ) o rango de ) (o recorrido de )), y lo representaremos por
im), al conjunto im) = {)(r) tal que r dom)}, es decir, im) = )(dom)).
En la prctica, pocas veces encontraremos funciones expresadas mediante una
terna, siendo lo mas frecuente especicar el dominio y la regla que permite
obtener el valor de la funcin en cada elemento del dominio, entendindose
tambin (salvo mencin en sentido contrario) que el codominio es R.
1
Ignacio Lpez Torres 2008 Reservados todos los derechos. Prohibida la reproduccin total o parcial sin autorizacin del autor.
La grca de una funcin real de variable real ), es decir, el conjunto de
pares ordenados {(r, )(r)) R
2
tal que r dom)}, puede interpretarse como
un conjunto de puntos del plano R
2
en los que la variable real r, denominada
variable independiente o argumento, se representa sobre el eje de abscisas, y
la variable real j, denominada variable dependiente, se representa sobre el eje
de ordenadas. Por ejemplo, en la Figura 1 se ha representado la grca de la
funcin
)(r) =

rsen
1
r
, r 6= 0
0 , r = 0
en tres rectngulos: en la Figura 1a, en el rectngulo [1, 1] [0.3, 0.8];
en la Figura 1b, que detalla la grca de dicha funcin (en rojo continuo) y
de las funciones auxiliares q(r) = r y /(r) = r (en negro discontinuo) en
las proximidades del origen de coordenadas (0, 0), en el cuadrado [0.1, 0.1]
[0.1, 0.1]; y en la Figura 1c se ampla el dibujo anterior al rectngulo [10, 10]
[0.3, 1] (observa en 1b la posicin relativa de ) respecto a q y /, y en 1c el
comportamiento asinttico de )(r) cuando r y cuando r ).
Figura 1 a
2
Figura 1 b
Figura 1 c
3
Sea ) : 1 una funcin con dominio en , y sean o , T 1.
Llamaremos restriccin de ) a o, y lo representaremos por )|
S
a la funcin
)|
S
: o 1 tal que )|
S
(r) = )(r), r o. Si )|
S
es la restriccin de ) a o,
diremos que ) es una extensin de )|
S
(a ). Llamaremos antiimagen o imagen
inversa de T por ) al conjunto )
1
(T) = {r : )(r) T}. Observa que )
1
(T)
es un subconjunto de .
Diremos que dos funciones ) y q son iguales, y escribiremos ) = q, si ) y q
tienen el mismo dominio , y adems se verica que )(r) = q(r), r .
3. Primeros tipos de funciones (inyectivas, suprayectivas y biyec-
tivas).
Sea ) : 1 una funcin real de variable real, con = dom). Se dice
que:
) es inyectiva, o uno-a-uno, si cualquier par de elementos distintos de su
dominio tienen siempre imgenes distintas, es decir, a, / , si es a 6= /,
entonces )(a) 6= )(/) (o, equivalentemente, si a, / , si )(a) = )(/),
entonces a = /). Dada la grca de la funcin ), observaremos que ) no
es inyectiva si existe alguna recta horizontal que corte a dicha grca en
mas de un punto.
) es suprayectiva, sobreyectiva o exhaustiva, si para cualquier elemento
j del codominio 1, existe al menos un elemento r en el dominio tal
que )(r) = j, es decir, j 1, r : )(r) = j . Observa que si es )
suprayectiva, entonces im) = )() = 1 (el conjunto imagen coincide con
el codominio).
) es biyectiva si ) es simultneamente inyectiva y suprayectiva.
3.1. Ejemplos.
La nica funcin denida de , con R, que transforma cada
r en el propio r, se denomina funcin identidad de . Se representa
por id
.
(o simplemente por id, si se inere del contexto), y queda, por
tanto, denida mediante id
.
(r) = r, r . Es evidente que esta funcin
es inyectiva, suprayectiva y biyectiva.
La funcin ) : R R denida mediante )(r) = r
2
, no es inyectiva ni
suprayectiva.
4
En las siguientes guras se muestran, mediante diagramas de Venn, ejem-
plos de funciones de los siguientes tipos:
Figura 2a Figura 2b
Figura 2c Figura 2d
En la Figura 2a, una funcin inyectiva y suprayectiva (y biyectiva); en
la 2b, una funcin suprayectiva y no inyectiva; en la 2c, una funcin no
inyectiva y no suprayectiva; en la 2d, una funcin inyectiva y no suprayec-
tiva.
La funcin ) : R [1, 1] denida mediante )(r) = senr, r R, es
suprayectiva y no inyectiva.
La funcin ) : R [0, ) denida mediante )(r) = |r| , r R, es
suprayectiva y no inyectiva.
La funcin ) : R R denida mediante )(r) = c
r
, r R, es inyectiva y
no suprayectiva.
La funcin ) : R (0, ) denida mediante )(r) = c
r
, r R, es
inyectiva, suprayectiva y biyectiva.
4. Composicin de funciones. Funcin inversa.
Sean , 1, C R y ) : 1 , q : 1 C dos funciones reales de
variable real tales que im) domq 6= . La composicin de ) y q es
una funcin, que denotaremos por q ) (lo cual generalmente se lee "q
compuesto con )"), que est denida mediante
r dom(q )), (q ))(r) = q()(r)).
5
Su dominio es
dom(q )) = )
1
(dom(q)).
Algunas de las propiedades de la composicin de funciones, son:
a) En general, la composicin de funciones no tiene la propiedad con-
mutativa, es decir, en general no se verica que q ) = ) q (incluso
puede suceder que, teniendo sentido q ), carezca de sentido ) q).
b) Asociatividad: si ), q y / son funciones con dominios y codominios
adecuadamente escogidos, entonces / (q )) = (/ q) ). En tal
caso, es evidente que / (q )) se dene mediante
(/ (q )))(r) = /(q()(r))), r dom(/ q )).
c) La funcin identidad anteriormente denida, verica, en relacin a
cualquier funcin ) : 1, que: ) id
.
= id
1
) = ).
d) Si ) : 1 , q : 1 C son dos funciones reales de variable real
tales que im) domq 6= , y ambas son inyectivas (resp. suprayecti-
vas), entonces q ) es tambin una funcin inyectiva (resp. suprayec-
tiva) (id. para las funciones biyectivas).
Sean , 1 R y ) : 1 una funcin inyectiva. Se denomina funcin
inversa de ) a la funcin )
1
: im) tal que )
1
(j) = r si y solo
si )(r) = j. En estas condiciones, observa que ) )
1
= id
1
y que
)
1
) = id
.
.
Para obtener la grca de la funcin )
1
en base a la grca de ), obser-
vamos que si es )(a) = /, entonces )
1
(/) = a, por lo que el punto (a, /)
est en la grca de ) si y solo si el punto (/, a) est en la grca de )
1
.
As, se obtiene la grca de la funcin )
1
reejando la grca de ) en la
bisectriz del primer cuadrante j = r (Figura 3).
Figura 3
6
4.1. Observaciones.
Para cualquier funcin ) : 1, con 1 , y para cualquier : N,
suele representarse por )
n
la composicin de ) consigo misma : veces,
es decir, )
n
= ) )
(n)
... ). Sin embargo, dado que en el caso de
determinadas funciones, como las trigonomtricas, )
n
tambin hace ref-
erencia al producto de ) por si misma : veces, es decir ) )
(n)
... ) (p.e.,
(senr)
2
= sen
2
r = senr senr 6= sen(senr)), conviene especicar en cada
caso a que operacin nos estamos reriendo, salvo que se inera del con-
texto. En caso de que nos reramos a la composicin, )
n
se denomina
:-sima iteracin de ) y, por convenio, admitiremos que )
0
= id
dom}
.
Algunos autores denen la funcin inversa solamente para las funciones
biyectivas. Sin embargo, es frecuente (y as lo hemos hecho anteriormente)
ampliar dicha denicin a cualquier funcin inyectiva ) : 1, re-
denindola para ello como ) : im). En estas condiciones, es evi-
dente que dom)
1
= im) y que im)
1
= dom).
Dada la expresin de ), en algunos casos se puede obtener la expresin
de )
1
despejando la variable independiente r en la ecuacin j = )(r),
obteniendo una expresin del tipo r = c(j), en cuyo caso )
1
(r) = c(r).
4.2. Ejemplos.
Sean a, / R, con a 6= 0. La funcin ) : R R denida mediante
)(r) = ar +/,
que es claramente biyectiva, se denomina funcin lineal (en lgebra Lineal,
suele reservarse esta denominacin para la funcin )(r) = ar, y se dice que
la funcin )(r) = ar+/ es lineal afn, o simplemente afn). Despejando r
en j = ar+/, se llega a que r =
1
o
(j /), por lo que la funcin inversa de
)(r) = ar+/ es )
1
(r) =
1
o
(r/). Observa que el dominio de )
1
es R.
La funcin ) : [0, ) R denida mediante )(r) = 1 + r
2
, es inyectiva.
De j = 1 + r
2
, se deduce que r =

j 1, por lo que la funcin inversa
de )(r) = 1 +r
2
es )
1
(r) =
r 1. Observa que el dominio de )

1
es
[1, ), y que la grca de )
1
es la grca de ) reejada en la primera
bisectriz.
La Figura 4 muestra en color rojo la grca de la funcin )(r) =
3
r +1.
7
Observa que ) est denida de R R, y que ) es inyectiva.
Figura 4
La funcin inversa de ) , cuya grca se ha representado en color verde en
la Figura 4 (observa que la grca de )
1
es la simtrica de la grca de
) respecto a la bisectriz j = r), es )
1
(r) = (r 1)
3
, y )
1
est denida
de R R.
La funcin ) : (1, ) (2, ), denida mediante )(r) =
1
(r1)
3
+ 2,
es inyectiva. La funcin inversa de ) es )
1
: (2, ) (1, ), y est
denida mediante )
1
(r) = 1 +
1
3
r2
.
5. Primeras operaciones con funciones.
Dadas las funciones ) y q, ambas reales de variable real, se denen las
siguientes operaciones:
Suma (diferencia) de funciones: la suma (resp. diferencia) de ) y q es
la funcin denotada ) + q (resp. ) q), con dominio dom() + q) =
dom) domq (resp. dom() q) = dom) domq), denida mediante
() +q)(r) = )(r) +q(r) (resp. () q)(r) = )(r) q(r)).
8
Producto de funciones: el producto de ) y q es la funcin denotada ) q
(o, abreviando, )q), con dominio dom() q) = dom) domq, denida
mediante () q)(r) = )(r) q(r).
Cociente de funciones: el cociente de ) y q es la funcin denotada
}
,
con dominio dom(
}
) = (dom) domq)\q
1
(0) (el smbolo \ denota "ex-
cluyendo a" o "sin el (los) elemento(s)" o "menos el (los) elemento(s)"),
denida mediante

}
(r) =
}(r)
(r)
. Observa que q
1
(0) es el conjunto de
puntos r
0
domq que anulan el denominador q(r) (el hecho de escribir
q
1
(0) no signica que la funcin q admita funcin inversa). Por ello, al-
gunos autores optan por poner dom(
}
) = dom) domq {r : q(r) 6= 0}.

5.1. Ejemplos.
Dado que las races de las ecuaciones 2r
4
+ 3r
3
12r
2
7r + 6 = 0
y 2r
3
6r 4 = 0, son, respectivamente

1
2
, 1, 2, 3
y {1, 2} (en
la segunda ecuacin, la raiz 1 tiene multiplicidad 2), el dominio de la
funcin
)(r) =
2r
3
6r 4
2r
4
+ 3r
3
12r
2
7r + 6
es R\
1
2
, 1, 2, 3
. Observa que
)(r) =
2(r + 1)
2
(r 2)
2(r
1
2
)(r + 1)(r 2)(r + 3)
=
(r + 1)
(r
1
2
)(r + 3)
por lo que )(r) =
(r+1)
(r
1
2
)(r+3)
, r dom). Sin embargo, )(r) 6= q(r) =
(r+1)
(r
1
2
)(r+3)
, porque domq = R\
1
2
, 3
6= dom).
El dominio de la funcin )(r) =
|r|
r
es R\0. Observa que
)(r) =

1, r 0
1, r < 0
, r dom).
6. Funciones montonas.
Se dice que una funcin real de variable real ) es montona creciente (o
montona no decreciente, o creciente) si r, j dom) tales que r j se
verica que )(r) )(j).
Se dice que una funcin real de variable real ) es montona decreciente (o
montona no creciente o decreciente) si r, j dom) tales que r j se
verica que )(r) )(j).
Se dice que una funcin real de variable real ) es montona estrictamente
creciente si r, j dom) tales que r < j se verica que )(r) < )(j).
9
Se dice que una funcin real de variable real ) es montona estrictamente
decreciente si r, j dom) tales que r < j se verica que )(r) )(j).
Estas deniciones se pueden extender a cualquier subconjunto o dom).
Por ejemplo, diremos que ) es montona creciente en o si la restriccin de ) a
o es montona creciente. Observa que tanto las funciones montonas estricta-
mente crecientes como las funciones montonas estrictamente decrecientes, son
inyectivas, por lo que admiten siempre funcin inversa.
6.1. Ejemplos.
a) En la Figura 5 se representan grcamente ejemplos de funciones reales
de variable real de los tipos siguientes: en la Figura 5a, una funcin montona
creciente; en la 5b, una funcin montona decreciente; en la 5c, una funcin que
no es montona.
Fig. 5a Fig 5b Fig 5c
b) La funcin signo, denotada sgnr, denida mediante sgnr =
1, r 0
0, r = 0
1, r < 0
es montona creciente, su dominio de denicin es R, y su conjunto imagen es
{1, 0, 1}.
c) La funcin parte entera, denotada 1(r) o [r], se dene como la funcin
1 : R Z que a cada nmero real hace corresponder el mayor nmero entero
que es menor o igual que l, es decir, es tal que 1(r) r < 1(r) +1. Al hacer
corresponder a cada nmero real el nmero entero inmediatamente inferior, da
lugar a una grca escalonada, por lo que tambin se denomina funcin escaln
10
unidad (Figura 6). Observa que esta funcin es montona creciente.
Figura 6: f(x) = E(x)
d) La funcin parte fraccionaria, tambin llamada funcin parte decimal o
funcin mantisa, denotada frac(r), que se dene mediante frac(r) = r 1(r),
no es montona, como puedes observar en su grca (Figura 7), con forma de
dientes de sierra.
Figura 7: f(x) = x - E(x)
7. Funciones acotadas.
Se dice que una funcin ) : R (con = dom)) est acotada supe-
riormente si existe ' R tal que )(r) ', r . En tal caso, suele
decirse que ' es una cota superior de ). Geomtricamente, esto signica
que existe una recta horizontal, j = ', tal que la grca de dicha funcin
(acotada superiormente) permanece siempre por debajo de esta lnea.
Se dice que una funcin ) : R (con = dom)) est acotada infe-
riormente si existe : R tal que )(r) :, r . En tal caso, suele
decirse que : es una cota inferior de ). Geomtricamente, esto signica
que existe una recta horizontal, j = :, tal que la grca de dicha funcin
(acotada inferiormente) permanece siempre por encima de esta lnea.
11
Se dice que una funcin ) : R (con = dom)) est acotada si
est acotada superior e inferiormente, es decir, si existen :, ' R tales
que : )(r) ', r o, equivalentemente, si existe 1 R tal
que |)(r)| 1, r . Geomtricamente, esto signica que existen dos
rectas horizontales, j = : e j = ', tales que la grca de dicha funcin
(acotada) permanece siempre comprendido entre estas dos lneas.
7.1. Ejemplos.
a) Las funciones )(r) =
r
2
1+r
2
y q(r) =
1
1+r
2
, siendo el dominio de ambas el
conjunto R, cuyas grcas se representan en la Figura 8, estn acotadas.
Figura 8
En ambas funciones, una cota superior es ' = 1 y una cota inferior es
: = 0.
b) La funcin )(r) =
(r+2)
(r+1)(r2)
, cuyo dominio es R\ {1, 2}, siendo su
12
grca la representada en la Figura 9, no est acotada.
Figura 9
Sin embargo, restringiendo esta funcin ) a determinados subconjuntos de su
dominio, se pueden obtener funciones acotadas. Por ejemplo, si son a, /, c, d R
tales que a < 1, 1 < / < 2, 1 < c < 2, / < c, d 2, las tres funciones
)
I
:
I
R, para i = 1, 2, 3, con
1
= (, a),
2
= (/, c),
3
= (d, ),
denidas mediante )
I
(r) = )(r),r
I
, son funciones acotadas.
8. Funciones con simetras.
Se dice que un subconjunto o R es simtrico si r o se verica que
r o. Por ejemplo, si es 1 cualquier nmero real positivo, los conjuntos
(1, 1) y [1, 1] son simtricos, y tambin el conjunto (, ) = R es
simtrico.
Sea ) : o R una funcin real de variable real denida sobre el conjunto
simtrico o R. Se dice que ) es una funcin par si r o se verica que
)(r) = )(r), y se dice que ) es una funcin impar si r o se verica que
)(r) = )(r). Observa que la grca de una funcin par es simtrica respecto
al eje de ordenadas, y que la grca de una funcin impar es simtrica respecto
al origen de coordenadas.
Por ejemplo, son funciones pares r
2
, r
4
, ..., |r| , cos r, c
r
2
, y cualquier fun-
cin constante, y son funciones impares r, r
3
, ..., senr, tanr, sgn(r), etc.
Una importante propiedad de las funciones pares e impares es la siguiente:
si es ) : o R una funcin real de variable real denida sobre el conjunto
13
simtrico o R, entonces ) se puede descomponer de manera nica en suma
de una funcin par y una funcin impar, mediante
)(r) =
}(r)+}(r)
2
+
}(r)}(r)
2
z }| {
F. par
z }| {
F. impar
Solo la funcin nula, )(r) = 0, r o, es simultneamente par e impar.
Tambin es fcil probar que si ) y q son funciones pares denidas sobre un
conjunto simtrico o R, entonces la suma () +q), la resta () q), el producto
() q) y el cociente (
}
), son tambin funciones pares. En relacin a las funciones

impares, si ) y q son funciones impares denidas sobre un conjunto simtrico
o R, entonces la suma () +q) y la resta () q) son tambin funciones impares,
pero el producto () q) y el cociente (
}
) no son funciones impares, sino pares.

Y si ) es una funcin par y q es una funcin impar, denidas ambas sobre un
conjunto simtrico o R, entonces el producto () q) y el cociente (
}
), son
funciones impares, pero la suma () +q) y la resta () q), en general no es una
funcin par o impar. Finalmente, en relacin a la composicin de funciones, la
composicin de dos funciones del tipo impar-par, par-impar o par-par, da lugar
a una funcin par, mientras que la composicin de dos funciones impares da
lugar a una funcin impar.
9. Funciones peridicas.
Se dice que una funcin real de variable real ) es peridica de perodo T,
con T R y T 0, si r dom) tal que r + T dom), se verica que
)(r+T) = )(r). Obviamente, si ) es peridica de perodo T, entonces : N,
) tambin es peridica de perodo :T. Por ello, si para la funcin ) es T el
perodo mas pequeo, entonces T se llama el perodo fundamental de ). Por
ejemplo, el perodo fundamental de las funciones peridicas senr y cos r, es 2,
y el de la funcin parte fraccionaria, introducida en el apartado 6.1.d), es 1.
La grca de una funcin peridica de perodo T es una curva que se repite en
cada tramo de longitud T. Por ejemplo, en la Figura 10a se puede ver la grca
de una funcin ) peridica de perodo
1
2
, y en la Figura 10b la de una funcin
) peridica de perodo c (observa los "huecos" que presenta el dominio de la
funcin representada en la Figura 10b).
Figura 10a
Figura 10b
14
En cuanto a las operaciones bsicas con funciones peridicas, si ) y q son
funciones peridicas, entonces la suma () + q), la resta () q), el producto
() q) y el cociente (
}
), son tambin funciones peridicas. Un perodo de estas

funciones se puede obtener calculando el mnimo comn mltiplo de los perodos
respectivos, pero este no es necesariamente el perodo fundamental. Por ejemplo,
las funciones peridicas senr y cos r, tienen por perodo fundamental 2, pero
su cociente es la funcin tanr, cuyo perodo fundamental es .
10. Breve repertorio de funciones reales de variable real.
En este apartado repasaremos brevemente las llamadas funciones elementales
y otras funciones que utilizaremos mas adelante como "ladrillos" para construir
funciones mas complicadas. El problema de colocar aqu este apartado es que
an no hemos abordado importantes conceptos como continuidad, derivabili-
dad, integrabilidad, etc., que nos permitiran ampliar el horizonte del estudio.
Por ello, conviene advertir, en relacin a buena parte de las funciones que intro-
duciremos aqu que, aunque conocidas por parte del alumno, an no disponemos
en este tema 2 de las herramientas necesarias para denirlas y/o construirlas
con todo rigor, por lo que, admitiendo de momento que existen, nos limitare-
mos a estudiar sus primeras propiedades. Se denomina funcin elemental a
toda funcin construida mediante un nmero nito de funciones constantes,
exponenciales, potenciales, logaritmos, races, trigonomtricas y trigonomtri-
cas inversas, mediante composiciones o combinaciones que utilicen las cuatro
operaciones elementales (+, , , :). Comenzaremos repasando las llamadas fun-
ciones algebraicas, que son aquellas funciones ) tales que se pueden encontrar
polinomios j
0
, j
1
, ..., j
n
de manera que r dom) se verica
j
0
(r) +j
1
(r))(r) +... +j
n
(r) ()(r))
n
= 0,
(es decir, polinomios, funciones racionales y potencias de exponente racional)
y despus introduciremos las llamadas funciones trascendentes (es decir, aquellas
que no son algebraicas). Finalmente, esbozaremos algunas funciones especiales.
10.1. Funciones algebraicas.
10.1.1. Funciones constantes.
Una funcin ) : R es constante si asigna a todos los valores de su
dominio un valor c R que no vara, es decir, ) : R es constante si existe
c R (c es una constante real) tal que )(r) = c, r dom). Su grca es una
recta paralela al eje de abscisas que pasa por el punto (0, c).
10.1.2. Funcin identidad.
Dado un conjunto R, la funcin identidad en se dene como la funcin
cuyo dominio y codominio es y es tal que )(r) = r, r . Su grca es el
tramo de bisectriz del primer y tercer cuadrantes correspondiente a .
15
10.1.3. Potencias de exponente racional.
Si son :, : Z, con : 6= 0, estas funciones son del tipo )(r) = r
, con
las precauciones y propiedades ya vistas en el punto 4.3.1 del Tema 1 (p.e., las
relativas al hecho de que : y/o : sean pares o impares).
10.1.4. Funciones polinmicas y funciones racionales.
Las funciones polinmicas (o polinomios) en la indeterminada r son las que
se pueden construir mediante la variable r y constantes, utilizando las opera-
ciones +, , y elevacin a exponentes que sean nmeros naturales constantes
(no nulos), es decir, ) es una funcin polinmica si y solamente si existen
a
0
, a
1
, ..., a
n
R (llamados coecientes del polinomio) tales que r R,
)(r) = a
0
+a
1
r +... +a
n
r
n
.
Tambin se consideran funciones polinmicas las restricciones de una funcin
polinmica a un subconjunto de R. Si a
n
6= 0, se dice que el grado del polinomio
) es :.
Las funciones racionales son aquellas que se pueden expresar como cociente
de dos polinomios, es decir, son funciones del tipo
)(r) =
j(r)
(r)
donde j y son polinomios en la indeterminada r y no es el polinomio
nulo. El dominio de estas funciones es todo R exceptuando el conjunto de puntos
que anulan el denominador (r) (es decir, las races del denominador quedan
excludas del dominio, como puedes ver en el ejemplo 5.1 de este tema). Se
dice que dos funciones racionales son iguales,
1(r)
j1(r)
=
2(r)
j2(r)
, si y solamente si se
verica que j
1
(r)
2
(r) = j
2
(r)
1
(r).
10.2. Funciones trascendentes.
10.2.1. Funcin exponencial y funcin logartmica.
En general, se usa el trmino funcin exponencial para designar funciones del
tipo )(r) = /a
r
, donde / R (con / 6= 0) y la base a es un nmero real distinto
de 0 y de 1. Sin embargo, en la prctica se denomina funcin exponencial a la
funcin )(r) = c
r
, es decir, se toma como base el nmero c (nmero de Euler),
que probaremos ms adelante que es irracional (y trascendente, lo cual signica
que no existe ningn polinomio con coecientes enteros que tenga por raz dicho
nmero c). Las propiedades de esta funcin se derivan de las propiedades ya
vistas en el punto 4.3.1 del Tema 1. El dominio de esta funcin es R, el conjunto
16
imagen es el intervalo (0, ). Algunas grcas de estas funciones se pueden ver
en la Figura 11.
Figura 11
Como vimos en el Tema 1, de modo aproximado el nmero c es
c = 2.718281828459045...
Figura 12
En general, se usa el trmino funcin logartmica para designar funciones
del tipo )(r) = log
o
r, donde la base a es un nmero real mayor que 0. Sin
embargo, en la prctica, se denomina funcin logartmica, log : (0, ) R, a la
inversa de la funcin exponencial, es decir, log r = j si y solo si r = c
(algunos
autores representan esta funcin mediante ln). Las propiedades de esta funcin,
se derivan de las propiedades ya vistas en el punto 4.3.1 del Tema 1. El dominio
17
de esta funcin es el intervalo (0, ) de R y el conjunto imagen es R. En la
Figura 12 se representan las funciones log
10
r, log r y log
1.5
r.
10.2.2. Funciones trigonomtricas.
Si en el crculo de radio 1 de la Figura 13, consideremos el ngulo c (que
generalmente se expresa en radianes, siendo 180
o
= radianes),
Figura 13
entonces es bien sabido que
senc = j , cos c = r , tanc =
j
r
, cot c =
1
tanc
=
r
j
,
sec c =
1
cos c
=
1
r
, csc c =
1
senc
=
1
j
.
Observa que algunas de las anteriores deniciones carecen de sentido cuando
r = 0 o j = 0. La Tabla 1 muestra algunos valores tpicos de las funciones
trigonomtricas seno, coseno y tangente.
r 0
t
6
t
4
t
3
t
2
2t
3
3t
4
5t
6

senr 0
1
2
2
2
3
2
1

3
2
2
2
1
2
0
cos r 1

3
2
2
2
1
2
0
1
2

2
2

3
2
1
tanr 0

3
3
1

3
3 1
3
3
0
r
7t
6
5t
4
4t
3
3t
2
5t
3
7t
4
11t
6
2
senr
1
2

2
2

3
2
1
3
2

2
2

1
2
0
cos r
3
2

2
2

1
2
0
1
2
2
2
3
2
1
tanr

3
3
1

3
3 1
3
3
0
Tabla 1
De las grcas de estas funciones se puede deducir fcilmente el dominio,
conjunto imagen, cortes con los ejes, intervalos de crecimiento y decrecimiento,
18
etc. La grca de la funcin seno se representa en la Figura 14.
Figura 14: f(x) = sen x
La grca de la funcin coseno se puede ver en la Figura 15.
Figura 15: f(x) = cos x
Observa que estas dos funciones son peridicas de perodo 2. Adems, es
bien sabido que se verican las siguientes propiedades:
sen
2
r + cos
2
r = 1 ; sen(r j) = senrcos j cos rsenj ;
cos(r j) = cos rcos j senrsenj ; sen2r = 2 senrcos r;
cos 2r = cos
2
r sen
2
r = 2 cos
2
r 1 = 1 + 2 sen
2
r ;
senr + senj = 2 sen
r +j
2
cos
r j
2
; sen(r) = senr ;
senr senj = 2 cos
r +j
2
sen
r j
2
; cos(r) = cos r ;
cos r + cos j = 2 cos
r +j
2
cos
r j
2
;
cos r cos j = 2 sen
r +j
2
sen
r j
2
.
19
La grca de la funcin tangente se puede ver en la Figura 16.
Figura 16: f(x) = tan x
La grca de la funcin secante se puede ver en la Figura 17.
Figura 17: f(x) = sec x
20
La grca de la funcin cosecante se puede ver en la Figura 18.
Figura 18: f(x) = csc x
La grca de la funcin cotangente (cot r =
1
tan r
) se puede ver en la Figura
19.
Figura 19: f(x) = cot x
21
Se verican las siguientes propiedades:
1 + tan
2
r = sec
2
r ; 1 + cot
2
r = csc
2
r ; tan(r j) =
tanr tanj
1 tanrtanj
.
10.2.3. Funciones trigonomtricas inversas.
Dado que las funciones trigonomtricas anteriormente introducidas no son
inyectivas, para dar sentido a las posibles deniciones de sus correspondientes
funciones inversas, es necesario restringir las funciones de partida a subconjuntos
de su dominio. En estas condiciones, se denen a continuacin las funciones
inversas de las trigonomtricas.
La funcin arcsen : [1, 1]
t
2
,
t
2
es la funcin inversa de la restriccin

de la funcin sen al intervalo

t
2
,
t
2
. Su grca se muestra en la Figura 20.

Figura 20: arcsen x
La funcin arccos : [1, 1] [0, ] es la funcin inversa de la restriccin de
22
la funcin cos al intervalo [0, ]. Su grca se muestra en la Figura 21.
Figura 21: arccos x
La funcin arctan : R (
t
2
,
t
2
) es la funcin inversa de la restriccin de la
funcin tan al intervalo abierto (
t
2
,
t
2
). Su grca se muestra en la Figura 22.
Figura 22: arctan x
La funcin arccot : R (0, ) es la funcin inversa de la restriccin de la
funcin cotangente al intervalo (0, ), la funcin arccsc : (, 1] [1, )
[0,
t
2
) (
t
2
, ] es la funcin inversa de la restriccin de la funcin cosecante al
subconjunto [0,
t
2
) (
t
2
, ], y la funcin arcsec : (, 1] [1, ) [0,
t
2
)
(
t
2
, ] es la funcin inversa de la restriccin de la funcin secante al subconjunto
[0,
t
2
) (
t
2
, ].
23
La grca de la funcin arccot : R (0, ) se puede ver en la Figura 23.
Figura 23: arccot x
Se verican las propiedades siguientes:
r [0, ] : arcsen(cos r) = arccos(senr) =
t
2
r.
r [1, 1] : sen(arccos r) = cos(arcsenr) =
1 r
2
.
10.2.4. Funciones hiperblicas. Funciones hiperblicas inversas.
Las funciones seno hiperblico y coseno hiperblico, senh : R R y cosh :
R R, estn denidas mediante
senhr =
c
r
c
r
2
, coshr =
c
r
+c
r
2
.
Las funciones tangente hiperblica y cotangente hiperblica, tanh : R R y
coth : R\{0} R, estn denidas mediante
tanhr =
senhr
coshr
=
c
r
c
r
c
r
+c
r
, cothr =
1
tanhr
=
coshr
senhr
=
c
r
+c
r
c
r
c
r
.
De las grcas de estas funciones se puede deducir fcilmente el dominio,
conjunto imagen, cortes con los ejes, intervalos de crecimiento y decrecimiento,
24
etc. La grca de la funcin seno hiperblico se representa en la Figura 24.
Figura 24: f(x) = senh x
La grca de la funcin coseno hiperblico se puede ver en la Figura 25.
Figura 25: f(x) = cosh x
25
La grca de la funcin tangente hiperblica se puede ver en la Figura 26.
Figura 26: f(x) = tanh x
La grca de la funcin cotangente hiperblica se puede ver en la Figura 27.
Figura 27: f(x) = coth x
26
Las funciones hiperblicas guardan cierta similitud con las funciones trigono-
mtricas. En particular, se relacionan con la hiprbola de modo parecido a como
lo hacen las funciones trigonomtricas con la circunferencia. An ms, con
variaciones en algunos signos, existen frmulas para las funciones hiperblicas
que recuerdan a las ya vistas para las funciones trigonomtricas. Por ejemplo:
cosh
2
r senh
2
r = 1 ; senh(r j) = senhrcoshj coshrsenhj ;
cosh(r j) = coshrcoshj senhrsenhj ; senh2r = 2 senhrcoshr;
cosh2r = cosh
2
r + senh
2
r = 2 cosh
2
r 1 = 1 + 2 senh
2
r .
Las siguientes expresiones para las funciones inversas de las funciones hiper-
blicas, se obtienen fcilmente a partir de las deniciones dadas anteriormente.
La funcin argumento seno hiperblico (funcin inversa de la funcin seno hiper-
blico), argsenh : R R , se puede expresar mediante
argsenhr = log(r +
p
r
2
+ 1)
La funcin argumento coseno hiperblico, argcosh : [1, +) [0, +) , se
puede expresar mediante
argcoshr = log(r +
p
r
2
1)
La funcin argumento tangente hiperblica, argtanh : (1, 1) R , se puede
expresar mediante
argtanhr =
1
2
log
1 +r
1 r
La funcin argumento cotangente hiperblica, argcoth : (, 1) (1, +)
R , se puede expresar mediante
argcothr =
1
2
log
r + 1
r 1
En la Figura 28 se bosqueja la grca de estas cuatro funciones (Superior-
izquierda = argsenh , Superior-derecha = arg cosh , Inferior-izquierda = arg tanh
27
, Inferior-derecha = arg coth).
Figura 28
28
10.3. Algunas funciones especiales.
Ya nos hemos referido anteriormente a las funciones signo, parte entera y
parte fraccionaria, pero hay muchas otras funciones especiales. A continuacin,
introduciremos algunas de las que vamos a utilizar mas adelante.
10.3.1. Funcin valor absoluto.
Utilizando la denicin y propiedades del valor absoluto de un nmero real,
anteriormente dadas, podemos denir la funcin absoluto || : R R mediante
|r| =

r, r 0
r, r 0
Su grca se puede ver en la Figura 29. Observa el "pico" que presenta en
r = 0.
Figura 29: f(x) = |x|
La funcin valor absoluto es una fuente muy "popular" para crear otras
funciones. Por ejemplo, para representar la funcin ) : R R denida mediante
)(r) =

r
2
r 2
, podemos comenzar estudiando la funcin q(r) = r

2
r2,
cuya grca se representa en la gura 30a. En estas condiciones, es evidente
que la funcin ) es la "funcin denida a trozos" mediante
)(r) =

r
2
r 2
r
2
r 2, r 1
(r
2
r 2), 1 r 2
r
2
r 2, r 2
La grca de esta funcin )(r) =

r
2
r 2
se representa en la Figura
29
30b.
Figura 30a
Figura 30b
Las "funciones denidas a trozos" estn presentes en mltiples problemas
30
de las matemticas y ciencias en general. Por ejemplo, la funcin de Heaviside,
H : (, ) R, denida mediante
H(r) =

1, r 0
0, r < 0
se utiliza en la teora de la seal en fsica y en la teora del control en
matemticas.
10.3.2. Funcin de Dirichlet y algunas de sus variantes.
La funcin de Dirichlet, d : R R, se dene mediante
d(r) =

1, r Q
0, r R\Q
Su grca se representa en la Figura 31.
Figura 31
La lnea superior de puntos (j = 1) corresponde al conjunto de los nmeros
racionales (r Q) y la lnea inferior (j = 0) corresponde al conjunto de los
nmeros irracionales (r R\Q). Observa que cualquier intervalo abierto cen-
trado en cualquier r R, por pequeo que sea, contiene innitos nmeros
racionales e innitos nmeros irracionales.
Como primeras variantes de la funcin d de Dirichlet estn las funciones
)(r) = d(r) r y q(r) = d(r) r
2
, cuyas grcas se representan respectivamente
31
en las Figuras 32a y 32b.
Figura 32a Figura 32b
Otra variante es la funcin de Thomae, t : R R , introducida en 1875 por
K.J. Thomae, que se dene mediante
t(r) =
1, r = 0
1
j
, r =

j
, con j, 6= 0 enteros primos entre s, y 0
0, r R\Q.
Sobre el conjunto de los irracionales, esta funcin vale siempre 0. Que
sucede sobre los racionales? En primer lugar, veamos que t es peridica de
perodo 1. En efecto, r R\Q : t(r) = t(r + 1) = 0 (ya que si r R\Q,
entonces r + 1 R\Q). Adems, r =

j
Q, con j y enteros primos entre
si, con j, 6= 0 y j 0, es r + 1 =
+j
j
, con j + y enteros primos entre si,
por lo que t(r) = t(r + 1) =
1
j
. Por tanto, es suciente representar la grca
de t en el intervalo [0, 1]. Para ello, veamos como est denida la funcin. En
particular, t(1,2) = 1,2, t(1,3) = t(2,3) = 1,3, t(1,4) = t(3,4) = 1,4, t(1,5) =
t(2,5) = t(3,5) = t(4,5) = 1,5. Es decir, cuanto ms grande sea : N,
existirn ms nmeros de la forma /,: , por lo que los puntos de la grca
de t correspondientes a t(/,:) estarn ms prximos a 0. En la Figura 33 se
32
bosqueja la grca de esta funcin.
Figura 33
Como veremos mas adelante, esta funcin tiene la curiosa propiedad de ser
continua en todos los irracionales, y discontinua en todos los racionales. En
efecto: sea, por ejemplo, r =

2 = 1.414213...Entonces, el siguiente conjunto
de nmeros racionales,

1,
14
10
,
141
100
,
1414
1000
,
14142
10000
,
141421
100000
,
1414213
1000000
, ...
, es una aproxi-
macin a

2, en la que el denominador es cada vez ms grande (y cuanto mas
prximo sea tomado el primer punto del conjunto de racionales al irracional
dado, necesariamente han de ser ms grande los sucesivos denominadores). De
ah que sea lim
(r
2)
c o n Q
t(r) = t(
2) = 0 (se razona de modo similar para

cualquier irracional). La discontinuidad para el caso de los racionales, es evi-
dente.
10.3.3. La funcin sen
1
r
y allegadas.
Consideremos la funcin )(r) = sen
1
r
, r 0. Al tratarse de un seno, ) oscila
entre los valores 1 y 1. Los puntos de corte con el eje de las r son puntos de
la forma r =
1
nt
, con : = 1, 2, 3, ...(observa que, cuanto ms grande es :, ms
prximo a 0 est el punto
1
nt
). Dado que las ondas de la funcin seno siempre
situadas entre los correspondientes cortes con el eje de las r, es evidente que
las ondas de la funcin ) se irn haciendo ms y ms densas a medida que nos
aproximamos al origen. La grca de esta funcin se bosqueja en la Figura 34
(observa que la grca de la funcin q(r) = sen
1
r
, r < 0 sera la simtrica de la
anterior respecto al origen de coordenadas).
Figura 34: f(x) = sen(1/x)
33
Un anlisis similar conduce a la obtencin de la grca de la funcin
)(r) =

rsen
1
r
, r 6= 0
0 , r = 0
,
ya representada en las Figuras 1a, 1b y 1c (para estudiar el comportamiento de
esta funcin para valores de r y r , nos falta introducir el concepto
de lmite).
En general, la representacin grca de las funciones del tipo
)(r) =

r
n
sen
1
r
, r 6= 0
0 , r = 0
,
donde : N, se puede acometer razonando como en los dos casos anteriores.
Por ejemplo, se representa en la Figura 35 la grca de la funcin
)(r) =

r
2
sen
1
r
, r 6= 0
0 , r = 0
.
Figura 35
(en lnea discontinua se han representado las parbolas correspondientes a
las funciones auxiliares r
2
y r
2
).
11. Nociones de topologa en la recta real.
11.1. Introduccin. Distancia. Espacio mtrico.
Si es un conjunto cualquiera, se dice que la aplicacin d : R
+
es una distancia o mtrica sobre si se verican las siguientes propiedades,
r, j, . :
34
d(r, j) 0 y d(r, j) = 0 si y solo si r = j (Positividad).
d(r, j) = d(j, r) (Simetra).
d(r, .) d(r, j) +d(j, .) (Desigualdad triangular).
Si la aplicacin d : R
+
es una distancia o mtrica denida sobre
, se dice que el par (, d) es un espacio mtrico.
Por ejemplo, la aplicacin d : RR R
+
, denida sobre el conjunto de los
nmeros reales mediante d(r, j) = |r j|, es una distancia que convierte a R en
un espacio mtrico al que denominaremos recta real. Todos los conceptos que se
introducen a continuacin para el caso de la mencionada recta real, pueden ser
generalizados (deniendo una distancia) para otros conjuntos como R
2
, R
3
, R
n
,
etc.
11.2. Entorno de un punto.
Si es a R y r 0, llamaremos entorno abierto simtrico, o simplemente
entorno, de centro a y radio r, y lo designaremos por 1(a, r) o 1(a, r), al
conjunto
1(a, r) = {r R : d(r, a) < r} = {r R : |r a| < r} =
= {r R : a r < r < a +r} = (a r, a +r).
Del mismo modo podemos denir entorno cerrado de centro a y radio r como
el conjunto de puntos de la recta real tales que d(r, a) r, es decir, el conjunto
[a r, a +r].
Llamaremos entorno reducido de centro a y radio r, y lo designaremos por
1
(a, r) o 1
(a, r), al conjunto 1
(a, r) = 1(a, r)\a, es decir,

1
(a, r) = 1(a, r)\a = {r R : 0 < |r a| < r} .

11.3. Punto interior. Conjuntos abiertos.
Dado el subconjunto R, se dice que a R es un punto interior de
si existe un entorno de a totalmente contenido en , es decir, a es un punto
interior de si r 0 : 1(a, r) .
El conjunto de todos los puntos interiores de se denomina interior, y se
designa por int() o por
0
. De la denicin dada, se desprende que int() .
Se dice que un conjunto R es abierto si todos sus puntos son interiores,
es decir, es abierto si y solamente si int() = . Por ejemplo, R y el conjunto
vaco son conjuntos abiertos de R, y cualquier intervalo abierto de R es un
conjunto abierto, pero los conjuntos
1
= [a, /],
2
= (a, /] o
3
= [a, /),
donde a, / R siendo a < /, no son abiertos, ya que int(
1
) = (a, /) 6=
1
,
int(
2
) = (a, /) 6=
2
, int(
3
) = (a, /) 6=
3
.
35
Es fcil probar que tanto la unin nita o innita como la interseccin nita
de conjuntos abiertos, es un conjunto abierto.
11.4. Topologa en R.
Se llama topologa denida sobre R a toda estructura constituida por un
conjunto T de partes de R vericando las propiedades siguientes:
y R pertenecen a T.
la unin nita o innita de elementos de T, pertenece a T.
la interseccin nita de elementos de T, pertenece a T.
Los elementos de T se denominan abiertos y el par (R, T) se denomina es-
pacio topolgico. Por ejemplo, la recta real con la familia de conjuntos abiertos
denida en 11.3, es una topologa.
11.5. Punto adherente. Conjuntos cerrados.
Dado el subconjunto R, se dice que a R es un punto adherente de si
todo entorno de a contiene algn punto de , es decir, a es un punto adherente
de si r 0 : 1(a, r) 6= .
El conjunto de todos los puntos adherentes de se denomina adherencia o
clausura, y se designa por adh() o por . De la denicin dada, se desprende
que adh().
Se dice que un subconjunto R es cerrado si contiene todos sus puntos
adherentes, es decir, es cerrado si y solamente si adh() = . Por ejemplo, R
y el conjunto vaco son conjuntos cerrados de R (de hecho, R y el conjunto vaco
son los nicos conjuntos de R que son tanto abiertos como cerrados), y cualquier
intervalo cerrado de R es un conjunto cerrado, pero los conjuntos
1
= (a, /),
2
= (a, /] o
3
= [a, /), donde a, / R siendo a < /, no son cerrados, ya que
adh(
1
) = [a, /] 6=
1
, adh(
2
) = [a, /] 6=
2
, adh(
3
) = [a, /] 6=
3
. Por otra
parte, dado que adh(N) = N y que adh(Z) = Z, resulta que N y Z son conjuntos
cerrados. Sin embargo, dado que adh(Q) = R 6= Q y que adh(R\Q) = R (se
dice que Q y R\Q son conjuntos densos en R), ni el conjunto de los nmeros
racionales ni el de los irracionales son conjuntos cerrados.
11.6. Punto de acumulacin. Punto aislado.
Dado el subconjunto R, se dice que a R es un punto de acumulacin
de si todo entorno de a contiene algn punto de distinto de a, es
decir, a es un punto de acumulacin de si r 0 : 1
(a, r) 6= . Por
ejemplo, todos los puntos de R,Q y R\Q son de acumulacin de R,Q y R\Q
respectivamente, pero N y Z no tienen ningn punto de acumulacin (en N
y Z respectivamente). Todos los puntos del intervalo cerrado [a, /], donde
36
a, / R siendo a < /, son de acumulacin, y para el intervalo abierto (a, /),
adems de todos sus puntos, tambin son de acumulacin los puntos r = a
y r = /. El conjunto de puntos de la forma

1
n
, con : N
tiene al 0 como
nico punto de acumulacin. El conjunto de puntos de acumulacin de
se denomina conjunto derivado, y se representa por
0
o por
J
.
Dado el subconjunto R, se dice que a R es un punto aislado de
si existe un entorno de a que no contiene ningn otro punto de distinto
de a, es decir, a es un punto de aislado de si r 0 : 1(a, r) = {a}.
Por ejemplo, todos los puntos de N y Z son puntos aislados (en N y Z
respectivamente), pero todos los puntos de Q y R\Q no son aislados (de
Q y R\Q respectivamente). Ningn punto del intervalo cerrado [a, /] o
del intervalo abierto (a, /), donde a, / R siendo a < /, es aislado. Todos
los puntos del conjunto

1
n
, con : N
son aislados. Vemos, por tanto,

que se verica la siguiente propiedad: Dado el subconjunto R, todo
punto adherente de , o bien es aislado, o bien es de acumulacin, es decir,
adh() =
0

o
(
o
representa el conjunto de puntos aislados de ).
11.7. Punto frontera. Punto exterior.
Dado el subconjunto R, se dice que a R es un punto frontera de
si todo entorno de a contiene puntos de y del conjunto complementario
de (que es R\), es decir, a es un punto frontera de si r 0 :
1(a, r) 6= y 1(a, r) (R\) 6= . Por ejemplo, todos los puntos de
N y de Z son puntos frontera (de N y de Z respectivamente) y los puntos
r = a y r = / son los nicos puntos frontera de cualquier intervalo del
tipo [a, /], (a, /), [a, /) o (a, /], donde a, / R siendo a < /.
Dado el subconjunto R, se dice que a R es un punto exterior de
si existe un entorno de a totalmente contenido en R\, es decir, a es
un punto exterior de si r 0 : 1(a, r) R\. El conjunto de todos
los puntos exteriores de se denomina exterior de , y se designa por
ext().
11.8. Conjuntos acotados. Conjuntos compactos.
Dado el subconjunto ( R, se dice que es un conjunto acotado si existe
un entorno del punto r = 0 que contiene totalmente a . Por ejemplo,
cualquier intervalo nito del tipo [a, /], (a, /), [a, /) o (a, /], donde a, / R
siendo a < /, es un conjunto acotado, pero N, Z, Q, R o C no son conjuntos
acotados.
37
Si es un conjunto de puntos de R, entonces es un conjunto compacto
si y solamente si es cerrado y es acotado. Por ejemplo, cualquier
intervalo nito del tipo [a, /], donde a, / R siendo a < /, es un conjunto
compacto, pero (a, /), [a, /) o (a, /] no son conjuntos acotados, por no ser
cerrados. Los conjuntos N, Z, Q, R o C no son conjuntos compactos, por
no ser acotados.
38

Tema 2 - Introducción A Las Funciones Reales de Una Variable Real

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema 2 - Introducción A Las Funciones Reales de Una Variable Real

Cargado por

Copyright:

Formatos disponibles

ETS DE INGENIEROS DE MONTES

r, r R, con r 0, si dene una funcin real de la

r 1. Observa que el dominio de )

) = dom) domq {r : q(r) 6= 0}.

), son tambin funciones pares. En relacin a las funciones

) no son funciones impares, sino pares.

), son tambin funciones peridicas. Un perodo de estas

es la funcin inversa de la restriccin

. Su grca se muestra en la Figura 20.

, podemos comenzar estudiando la funcin q(r) = r

2) = 0 (se razona de modo similar para

(a, r), al conjunto 1

(a, r) = 1(a, r)\a, es decir,

(a, r) = 1(a, r)\a = {r R : 0 < |r a| < r} .

son aislados. Vemos, por tanto,

También podría gustarte