Captulo 2

Funciones reales de una variable real. Generalidades

2.1. Primeros conceptos
2.1.1. Funciones. Clases particulares de funciones
Recordemos que una aplicacin f : A B se dene en trminos conjuntistas como una terna (A, B, G f ), donde A, B son conjuntos dados, llamados respectivamente el dominio y el codominio o conjunto nal de f , y G f , denominado grco o grca de f , es un subconjunto del producto cartesiano A B tal que para todo x A existe un elemento nico y B de modo que (x, y) G f (ese elemento y unvocamente asociado a x suele denotarse por f (x) y se llama valor de la aplicacin f en el punto x o imagen de x por f ). Denicin 2.1.1. Una funcin real de variable real es una aplicacin f : A B con A, B R. Informalmente, dar una funcin f supone dar: a) su dominio de denicin A = dom f ; b) su codominio B (al que habitualmente prestaremos menor atencin en este curso); c) una regla de correspondencia o regla de denicin que permita asignar inequvocamente a cada elemento x de A, sin excepcin, un elemento f (x) de B perfectamente determinado por x y f. Cambiar una cualquiera de estas tres cosas (el dominio, el conjunto nal o la regla de denicin) hace que la funcin cambie. Por ejemplo, si tenemos una funcin f : A B y consideramos un subconjunto S de A, la restriccin de f a S es la funcin f |S : S B tal que f |S (x) = f (x) para cada x S, que no es la misma funcin f (se ha cambiado el dominio), aunque venga dada por la misma regla de correspondencia (a cada x de S, la restriccin f |S hace corresponder el mismo valor que f ). En la prctica raras veces se muestra una funcin como una terna, tal como requerira su denicin formal: lo habitual es especicar su dominio y la regla que permite determinar el valor de la funcin en cada elemento del dominio (ver los comentarios de [BARTLE -S HERBERT, sec. 1.2, pgs. 2225]). En cuanto al conjunto nal de una funcin, cuando no se mencione explcitamente se sobrentender que dicho conjunto es R. 17

18

Captulo 2. Funciones reales de una variable real. Generalidades

Suele chocar al principiante que a veces la regla de denicin de una funcin aparece dividida en varias subreglas parciales (expresadas habitualmente mediante frmulas), tendiendo a interpretar incorrectamente que se han denido tantas funciones como subreglas se enuncien. Por ejemplo, la funcin f : R R tal que x, si x 0; f (x) = x, si x < 0, es una sola funcin, la funcin valor absoluto, y no dos funciones, aunque sus valores coincidan en parte de su dominio (no en todo) con los que toman las dos funciones distintas g : x R g(x) = x R y h : x R h(x) = x R. Dada una funcin f , emplearemos la expresin f est denida en S como sinnimo de que S es un subconjunto de dom f . El dominio de f es, en este sentido, el mayor subconjunto de R en el que f est denida. Denicin 2.1.2. Sea f una funcin con dominio A y sean S A, T R. Llamamos conjunto imagen de S por f al conjunto f (S) = { f (x) : x S}, y conjunto antiimagen de T por f al conjunto f 1 (T ) = {x : f (x) T }, que ser un subconjunto (eventualmente vaco) de A. El conjunto imagen del dominio de f suele denominarse, simplemente, conjunto imagen de f o rango de f , y se denota a veces im f o rang f ; por tanto, se tiene im f = f (dom f ) = { f (x) : x dom f }. Una funcin f se dice inyectiva si elementos distintos de su dominio tienen siempre imgenes distintas: es decir, si dados x, y dom f , de x = y se sigue f (x) = f (y); o, equivalentemente, si dados x, y dom f , de f (x) = f (y) se sigue x = y. Una funcin f : A B se dice suprayectiva si f (A) = B, o sea, si el conjunto nal y el conjunto imagen de f coinciden; dicho de otra forma, si cada elemento de B es imagen de algn (o algunos) elemento(s) de A. Una funcin se dice biyectiva si es simultneamente inyectiva y suprayectiva. Ejemplos. La funcin identidad id : x R id(x) = x R es trivialmente biyectiva. La funcin parte entera, que asocia a cada x R su parte entera (vista como aplicacin de R en R) no es inyectiva ni suprayectiva. Denicin 2.1.3 (funcin inversa). Dada una funcin inyectiva f : A B, se llama funcin inversa de f a la funcin f 1 : f (A) A tal que f 1 (y) = x si y solo si f (x) = y. En trminos ms formales, f 1 sera la funcin dada por la terna ( f (A), A, G f 1 ), donde G f 1 = {(y, x) : (x, y) G f }, y G f es, por supuesto, la grca de f . Para ser rigurosos, deberamos comprobar que tal terna dene efectivamente una funcin; esto es una consecuencia inmediata de que f es inyectiva. En muchos textos aparece denida la funcin inversa solamente para funciones biyectivas. Sin embargo, la prctica usual en anlisis matemtico recomienda ampliar la denicin a todas las funciones inyectivas, como acabamos de hacerlo. Obsrvese que, en cualquier caso, lo que hemos denido

2.1. Primeros conceptos

19

sera la funcin inversa de la funcin biyectiva f : A f (A) tal que f(x) = f (x), que, recordmoslo, salvo cuando f es adems suprayectiva, es otra funcin la biyeccin asociada a f pues cambia el conjunto nal. Observacin. Dada una funcin inyectiva f : A B, una funcin g es la inversa de f si y solo si g : f (A) A y g( f (x)) = x para todo x A, f (g(y)) = y para todo y f (A).

Representacin grca de una funcin. Dada una funcin f , para cada x dom f el par ordenado de nmeros reales (x, f (x)) puede interpretarse como coordenadas de un punto del plano respecto de un sistema de coordenadas cartesianas, de modo que la grca de f , es decir, {(x, f (x)) : x dom f }, vendr representada por un subconjunto del plano, que da la representacin grca de la funcin f . Observar esta representacin puede proporcionar a veces informacin interesante sobre f , por lo que ms adelante nos ocuparemos con detalle de la representacin grca de funciones. El lector puede examinar cmo se reeja en su representacin grca que una funcin es inyectiva o suprayectiva, y qu relacin hay entre las representaciones grcas de una funcin inyectiva y la de su inversa. Tabulacin de funciones. Cuando el dominio de una funcin es nito (y con un nmero no demasiado elevado de elementos) es a menudo til describir la funcin escribiendo en forma de tabla los valores del dominio y a su lado, correlativamente, los valores de la funcin en cada uno de ellos. As, por ejemplo, suele procederse en la recogida de datos experimentales, cuando se estudian dos magnitudes de las cuales una depende de la otra y, de hecho, las tablas de correspondencias entre nmeros o magnitudes son histricamente muy anteriores a la idea misma de funcin. Tambin se procede a la tabulacin de funciones aunque el dominio no sea nito, reejando en tal caso, por descontado, tan solo una parte nita del mismo. Cabe sealar que en la mayora de las tablas de funciones que se usan en las ciencias, los valores de la funcin que aparecen en las tablas no son, por razones obvias, valores exactos, sino valores aproximados con un error que es necesario controlar para poder utilizarlas adecuadamente. Existe una extensa bibliografa de libros de tablas de funciones, sustituidos casi totalmente en la actualidad por los ordenadores e incluso por las calculadoras cientcas de bolsillo. Sin embargo, es muy conveniente conocer al menos uno de ellos, como [S PIEGEL -A BELLANAS]. Veamos ahora algunas clases particulares de funciones que aparecern frecuentemente a lo largo de todo el curso. Denicin 2.1.4. Una funcin f se dice montona no creciente si dados cualesquiera x, y dom f con x < y, es f (x) f (y). Una funcin f se dice montona no decreciente si dados cualesquiera x, y dom f con x < y, es f (x) f (y). Una funcin f se dice montona estrictamente creciente si dados cualesquiera x, y dom f con x < y, es f (x) < f (y). Una funcin f se dice montona estrictamente decreciente si dados cualesquiera x, y dom f con x < y, es f (x) > f (y). Una funcin montona es una funcin de uno cualquiera de los tipos anteriores. Por brevedad, si S dom f , se dice que f es montona en S si la restriccin f |S es montona.

20

Captulo 2. Funciones reales de una variable real. Generalidades

Funcin montona no creciente

Funcin estrictamente creciente

Esta nomenclatura puede variar de unos textos a otros: por ejemplo, algunos autores llaman funciones crecientes a las que nosotros denominamos montonas no decrecientes, mientras que otros utilizan el nombre de funciones crecientes para las que hemos denido como montonas estrictamente crecientes. Hemos elegido por ello los nombres que nos parecen menos ambiguos para cada uno de los tipos considerados. Observacin. La monotona no es una propiedad puntual de la funcin, sino que es una propiedad global. Esto signica que solo tiene sentido decir que una funcin es montona en un determinado conjunto, no que es montona en un punto del conjunto. La expresin funcin montona en un punto carece de signicado. Ejemplo. Probar que la funcin f : R \ {0} R denida mediante f (x) = 1/x es estrictamente decreciente en (!, 0) y en (0, +!). Pero no es estrictamente decreciente en R \ {0}, porque 1 < 1 y sin embargo f (1) < f (1). En general, dados dos conjuntos A, B R y una funcin f : A B R, si f es estrictamente decreciente en A B, puede asegurarse que f es estrictamente decreciente en A y que f es estrictamente decreciente en B. Pero si f es estrictamente decreciente tanto en A como en B, no puede asegurarse que f sea estrictamente decreciente en A B. Lo mismo puede decirse con los dems tipos de monotona. Denicin 2.1.5. Se dice que una funcin f est acotada superiormente si su conjunto imagen est acotado superiormente. En otras palabras, si existe un nmero jo M R tal que, simultneamente para todos los x dom f , se tiene f (x) M (por comodidad, suele decirse entonces que f est acotada superiormente por M o que M es una cota superior de f , en lugar de decir que el conjunto imagen de f est acotado superiormente por M o que M es una cota superior de dicho conjunto). Enteramente anloga es la denicin de funcin acotada inferiormente. Por ltimo, una funcin acotada es aquella que est acotada superior e inferiormente, es decir, aquella cuyo conjunto imagen est acotado, de manera que existen constantes m, M R tales que para cada x dom f se tiene m f (x) M; equivalentemente, f est acotada si y solo si existe un K R tal que | f (x)| K para todo x dom f . El estudio de una funcin se simplica cuando posee algn tipo de repeticin. Concretamos esta idea en las siguientes deniciones.

2.1. Primeros conceptos Denicin 2.1.6. Sea f una funcin denida en R. Se dice que f es

21

a) par si para cada x R se cumple f (x) = f (x) (su grca es entonces simtrica respecto del eje de ordenadas); b) impar si para cada x R se cumple f (x) = f (x) (su grca es entonces simtrica respecto del origen de coordenadas); c) peridica de periodo T (T R \ {0}) si para cada x R se cumple f (x + T ) = f (x) (su grca puede obtenerse entonces por traslacin reiterada de la grca en cualquier intervalo de longitud |T |).

Funcin par

Funcin impar

Observacin. Toda funcin f : R R puede escribirse, adems de manera nica, como suma de una funcin par (su componente par) y una funcin impar (su componente impar). Concretamente, las componentes par e impar son f (x) + f (x) , 2 f (x) f (x) fI (x) = . 2 Es inmediato comprobar que fP es par, fI es impar y f = fP + fI . Para ver que la descomposicin es nica, supongamos que f = g + h, con g par h impar. Entonces, fP (x) = f (x) + f (x) [g(x) + h(x)] + [g(x) + h(x)] g(x) + h(x) + g(x) h(x) = = = g(x) 2 2 2 y de la misma manera se comprueba que fI = h. fP (x) = Ntese que la denicin de funcin par y de funcin impar puede ampliarse de manera obvia a funciones f cuyo dominio sea simtrico (respecto al origen de coordenadas), es decir, tal que x dom f siempre que x dom f .

Funcin peridica

22

Captulo 2. Funciones reales de una variable real. Generalidades

2.1.2.

Operaciones con funciones

Dadas dos funciones f y g, podemos construir a partir de ellas nuevas funciones de diferentes maneras. Para nosotros, las ms tiles son las que a continuacin exponemos. Denicin 2.1.7. La composicin de f y g, denotada g f , es la funcin con dominio dom(g f ) = f 1 (dom g) dada por para cada x dom(g f ) (obsrvese que tales x son justamente aquellos para los que g ( f (x)) tiene sentido). Denicin 2.1.8. La suma de f y g, denotada f + g, es la funcin con dominio dom( f + g) = dom f dom g dada por ( f + g)(x) = f (x) + g(x) para cada x dom( f + g) (obsrvese que tales x son justamente aquellos para los que f (x) + g(x) tiene sentido). Totalmente similar es la denicin de la diferencia f g y del producto f g de f y g. Denicin 2.1.9. El cociente de f y g, es la funcin f /g con dominio dom( f /g) = (dom f dom g) \ g1 (0) dada por ( f /g)(x) = f (x) g(x) (g f )(x) = g ( f (x))

para cada x dom( f /g) (obsrvese una vez ms que tales x son exactamente aquellos para los que f (x)/g(x) tiene sentido). En algunos textos, se da el nombre de dominios naturales a los dominios anteriormente denidos. Ejemplo. Consideremos las funciones f , g : R R dadas por f (x) = x2 1, g(x) = x + 1. Su cociente es la funcin f (x) x2 1 h(x) = = , g(x) x+1 denida para x R \ 1. Observemos que h(x) = x 1 en todo su dominio. Sin embargo, h no es exactamente la funcin x 1, porque el dominio de esta funcin es R y el dominio de h es R \ 1.

2.1.3.

Ejemplos de funciones

Sucesiones Son funciones cuyo dominio es el conjunto N de los nmeros naturales. Desempean un destacado papel en la elaboracin de nuestra teora, y a ellas dedicaremos especcamente el captulo siguiente.

2.1. Primeros conceptos Funciones constantes

23

Son las que asignan a todos los valores de su dominio un mismo valor jo, es decir, aquellas funciones f para las que existe un a R tal que f (x) = a para todos los x dom f . Puede una funcin constante ser inyectiva, suprayectiva o biyectiva? Cmo es su representacin grca? Es montona? De qu tipo? Es acotada? Es par, impar, peridica? Funcin identidad Dado un conjunto A R, la identidad en A es la funcin tal que f (x) = x para cada x A. Es la identidad siempre inyectiva, suprayectiva o biyectiva? Es montona? Es acotada? Cmo es su representacin grca? Cul es su inversa? Potencias de exponente entero Dado un nmero natural n, la funcin f : x R xn R (producto de n funciones iguales a la identidad) tiene distinto comportamiento segn n sea par o impar. Para n = 2k 1, k N, la funcin g : x R x2k1 R es estrictamente creciente y, por tanto, inyectiva. Tambin es suprayectiva, aunque ahora no estamos todava en condiciones de demostrarlo fcilmente. Sin embargo, la funcin h : x R x2k R no es inyectiva (es una funcin par), aunque la restriccin de h a [0, +!) es estrictamente creciente (luego inyectiva), y tiene por imagen el conjunto [0, +!), como justicaremos ms adelante. La potencia de exponente 0 es la funcin constante con valor siempre igual a 1. Para exponente negativo, n = m con m N, se dene 1 1 n x R \ {0} x = = R. xm xn Races Dado k N, se puede probar que la funcin g : x R x2k1 R es biyectiva. Por tanto, posee una funcin inversa f : R R, denominada raz (2k 1)-sima; su valor en un punto x R se denota por 2k1 x o x1/(2k1) . De acuerdo con su denicin, se tiene y = 2k1 x si y solo si y2k1 = x. Sin embargo, puesto que la funcin h : x R x2k R no es inyectiva, no puede hablarse de raz 2k-sima en todo R. No obstante, la restriccin de h a [0, +!) es estrictamente creciente (luego inyectiva), y tiene por imagen el conjunto [0, +!): su inversa es la que llamamos funcin raz 2ksima, de modo que dicha funcin tendr ahora por dominio [0, +!). Es decir, solo est denida en un nmero real x si x 0: su valor en dicho punto se representa por 2k x o x1/(2k) excepto para el caso k = 1 (raz cuadrada), que se usa abreviadamente x. Ntese que siempre es x 0 y, en general, 2k x 0. Funciones polinmicas y funciones racionales Las funciones que pueden obtenerse mediante sumas y productos de funciones constantes y de la identidad en R reciben el nombre de funciones polinmicas. Por tanto, f es una funcin polinmica (o polinomio) si y solo si existen a0 , a1 , . . . , an R tales que f (x) = a0 + a1 x + + an xn

24

Captulo 2. Funciones reales de una variable real. Generalidades

para cada x R (tambin suelen denominarse funciones polinmicas las restricciones de las anteriores a cualquier subconjunto de R.) Las funciones racionales son aquellas que pueden expresarse como cociente de dos funciones polinmicas. Su dominio es todo R salvo un conjunto nito (quizs vaco): el conjunto de los ceros o races del denominador. Es habitual utilizar el mismo nombre para las restricciones de estas funciones a subconjuntos cualesquiera. Funciones algebraicas Reciben este nombre las funciones tales que se pueden encontrar polinomios p0 , p1 , . . . , pn de manera que para todo x dom f se verica p0 (x) + p1 (x) f (x) + + pn (x) f (x)n = 0. Obsrvese que las races anteriormente denidas quedan dentro de esta clase.

2.2.

Funciones trascendentes

Las funciones que vamos a describir ahora, aunque quedan como las anteriores dentro de las que suelen denominarse genricamente funciones elementales, y en buena parte son conocidas por el lector, requieren para su construccin tcnicas de las que no disponemos todava. No podemos, pues, denirlas, pero vamos a emplearlas admitiendo de momento que existen y tienen las propiedades que enunciamos.

2.2.1.

Funciones exponencial y logartmica

Funcin exponencial La funcin exponencial, exp : R R, que construiremos ms adelante, aparece en la descripcin de los fenmenos en los que la variacin de una magnitud es proporcional al valor de dicha magnitud. El nmero exp(1) se denota por e. Es irracional; ms todava, es trascendente, lo que signica que no existe ningn polinomio con coecientes enteros que se anule en e. Sus primeras cifras decimales son 2, 7182818284590452353602874713526624977572 . . . (sobre su historia, ver [M AOR]). En lugar de exp(x) suele escribirse ex . Proposicin 2.2.1 (propiedades de la exponencial). b) Para cada x R, y, en particular, ex = 0. c) Dados x, y R, ex+y = ex ey . a) e0 = 1.

1 = ex , ex

2.2. Funciones trascendentes d) Dados n N y x R, e) Para cada x R,

25

enx = ex ex . ex > 0.

f) La funcin exponencial es estrictamente creciente. En particular, es inyectiva. g) El conjunto imagen de la funcin exponencial es (0, +!). Funcin logartmica La funcin logartmica es la inversa de la funcin exponencial, de modo que log x = y si y solo si ey = x. Por tanto, est caracterizada por cumplir log(ex ) = x y elog x = x cualquiera que sea x (0, +!). a) log 1 = 0; log e = 1. 1 = log x. x Sus propiedades son consecuencia de las de la funcin exponencial. Proposicin 2.2.2 (propiedades del logaritmo). b) Para cada x (0, +!), c) Dados x, y (0, +!), d) Dados n N y x (0, +!), cualquiera que sea x R log : (0, +!) R

log

log(xy) = log x + log y. log(xn ) = n log x.

e) El conjunto imagen de la funcin logartmica es R. f) La funcin logartmica es estrictamente creciente. En particular, es inyectiva. Funciones exponencial y logartmica de base cualquiera Denicin 2.2.3. Dado un nmero real a > 0, la funcin exponencial de base a se dene mediante la igualdad ax = ex log a . Cuando a > 1, esta funcin tiene propiedades similares a la funcin exponencial anteriormente estudiada; si a = 1, es una funcin constantemente igual a 1, y si a < 1, la diferencia esencial con la funcin exponencial de base e estriba en que la funcin exponencial de base a es entonces estrictamente decreciente. Propiedades interesantes que se obtienen directamente de la denicin y de lo que hemos visto para las funciones ex y log x son las siguientes:

26 10 8

Captulo 2. Funciones reales de una variable real. Generalidades

exp 6 4 log 2 1 1 2 4 6 8 10

Las funciones exponencial y logaritmo

Proposicin 2.2.4 (propiedades de las potencias). Dados a, b, x, y R con a > 0, b > 0, a) (ab)x = ax bx . b) (ax )y = axy . Denicin 2.2.5. Dado a > 0, a = 1, la funcin logartmica de base a se dene en (0, +!) mediante la frmula log x loga x = . log a

Es inmediato comprobar que esta funcin es la inversa de la funcin exponencial de base a. Como propiedad adicional interesante se tiene: dados a, b, x R con 0 < a = 1 y b > 0, loga (bx ) = x loga b.

2.2.2.

Funciones trigonomtricas. Funciones trigonomtricas inversas

Funciones trigonomtricas Reciben este nombre una serie de funciones de origen geomtrico, ligadas con las medidas de ngulos y la descripcin de fenmenos peridicos. La funcin seno sen : R R y la funcin coseno cos : R R sern denidas ms adelante. De momento, admitimos sin demostracin que satisfacen las propiedades que pasamos a enunciar.

2.2. Funciones trascendentes

27

Proposicin 2.2.6 (propiedades del seno). a) El seno es una funcin impar, mientras que el coseno es una funcin par: cualquiera que sea x R se tiene sen(x) = sen x, b) Para cada x R es cos(x) = cos x.

sen2 x + cos2 x = 1.

c) Existe un nmero real positivo, denotado por , tal que sen = 0 y sen x = 0 si 0 < x < . Este nmero es irracional (y trascendente) y sus primeras cifras decimales son 3, 14159265358979 . . . El nmero , rea del crculo de radio 1, es de lejos la constante ms clebre de las matemticas. Aparecida inicialmente en Geometra, interviene hoy en los dominios ms variados: anlisis, teora de nmeros, probabilidades y estadstica, combinatoria, etc. Los ms grandes matemticos se han interesado desde hace ms de 2000 aos por los problemas planteados por este nmero ([L E L IONNAIS, pg. 50]). d) cos = 1. e) Las funciones sen y cos tienen por conjunto imagen el intervalo [1, 1]. f) Dados x, y R tales que x2 + y2 = 1, existe un R de modo que cos = x, sen = y

(grcamente, esto signica que las funciones seno y coseno que hemos denido se corresponden con las utilizadas en trigonometra). g) Frmulas de adicin: dados x, y R, sen(x + y) = sen x cos y + cos x sen y cos(x + y) = cos x cos y sen x sen y sen(x y) = sen x cos y cos x sen y cos(x y) = cos x cos y + sen x sen y

h) Las funciones sen y cos son peridicas de periodo 2 . i) La funcin sen es estrictamente creciente en [0, /2] y estrictamente decreciente en [ /2, ]. j) La funcin cos es estrictamente decreciente en [0, /2] y estrictamente creciente en [ /2, ]. Damos ahora una tabla de algunos valores particulares de estas funciones. grados 0 15 30 45 60 90 x 0 /12 /6 /4 /3 /2 sen x 0 1 4 ( 6 2) 1/2 2/2 3/2 1 cos x 1 1 6 + 2) 4( 3/2 2/2 1/2 0

28

Captulo 2. Funciones reales de una variable real. Generalidades 1

3 /2

/2

/2 1
La funcin seno

3 /2

1 2 3 /2 /2 /2 1
La funcin coseno

3 /2

Denicin 2.2.7. La funcin tangente tg, la funcin cotangente ctg, la funcin secante sec y la funcin cosecante cosec se denen a partir de las funciones seno y coseno mediante las frmulas sen cos 1 , ctg = , sec = , cos sen cos Cules son los dominios de estas funciones? tg = cosec = 1 . sen

2 2 3 2 2 0 2 3 2 2

3 2 2

3 2

La funcin tangente

La funcin cotangente

Funciones trigonomtricas inversas Se conocen con el nombre de funciones trigonomtricas inversas las de una coleccin de funciones que son casi, pero no totalmente, inversas de las funciones tigonomtricas que acabamos de considerar. Precisemos su denicin.

2.2. Funciones trascendentes

29

2 3 2

1 2

3 2

2 2

3 2 2

2 1

3 2 2

La funcin cosecante

La funcin secante

La funcin seno no es inyectiva, por lo que no puede hablarse estrictamente de inversa de la funcin seno. Sin embargo, la restriccin de la funcin seno al intervalo [ /2, /2] es estrictamente creciente, luego inyectiva en particular, y su conjunto imagen es el intervalo [1, 1] (igual conjunto imagen que la funcin seno). La funcin arco seno, arc sen : [1, 1] [ /2, /2], es, por denicin, la inversa de la restriccin de la funcin seno al intervalo [ /2, /2], de manera que ser una funcin estrictamente creciente, impar, acotada, y tal que dado x [1, 1] y [ /2, /2] arc sen x = y sen y = x, con lo cual sen(arc sen x) = x para todo x [1, 1] = dom arc sen (es decir, la funcin arco seno es una inversa por la derecha de la funcin seno), mientras que arc sen(sen x) = x x [ /2, /2]. Pasando a la funcin coseno, su restriccin al intervalo [0, ] es una funcin estrictamente decreciente cuyo conjunto imagen es [1, 1]. Anlogamente a lo anterior, la funcin arco coseno arc cos : [1, 1] [0, ] es por denicin la inversa de la restriccin de la funcin coseno al intervalo [0, ]. Es una funcin estrictamente decreciente y acotada, con el mismo dominio que la funcin arco seno, pero con distinto codominio. Dado x [1, 1], se tiene y [0, ] arc cos x = y cos y = x,

30 con lo cual

Captulo 2. Funciones reales de una variable real. Generalidades

cos(arc cos x) = x

para todo x [1, 1] = dom arc cos

(es decir, la funcin arco coseno es una inversa por la derecha de la funcin coseno), mientras que arc cos(cos x) = x x [0, ]. /2 /3 /4 /6 1
1 1 3 2 2 2

/2 /3 /4 /6 1

/2
La funcin arco seno

1 1 3 2 2 2

La funcin arco coseno

De manera similar, la funcin arco tangente arc tg : R ( /2, /2) es por denicin la inversa de la restriccin de la funcin tangente al intervalo abierto ( /2, /2). Es una funcin estrictamente creciente, impar, acotada, y tal que dado x R y ( /2, /2) arc tg x = y tg y = x, con lo cual tg(arc tg x) = x para todo x R = dom arc tg (es decir, la funcin arco tangente es una inversa por la derecha de la funcin tangente), mientras que arc tg(tg x) = x x ( /2, /2). Aunque se usa menos que las anteriores, podemos tambin denir: la funcin arco cotangente arc ctg : R (0, ) es la inversa de la restriccin de la funcin cotangente al intervalo (0, ). Las funciones arco secante y arco cosecante se usan raras veces. Su denicin, con las notaciones sec1 y cosec1 , puede verse en [S PIEGEL -A BELLANAS].

2.2. Funciones trascendentes /2 /3 /4 /6

1 3

31

/2
La funcin arco tangente

2.2.3.

Funciones hiperblicas. Funciones hiperblicas inversas

Funciones hiperblicas Denicin 2.2.8. La funcin coseno hiperblico, cosh : R R, est denida mediante cosh x = ex + ex . 2

Es una funcin par (la componente par de la exponencial), estrictamente decreciente en (!, 0] y estrictamente creciente en [0, +!). Est acotada inferiormente por 1: para cualquier x R, ex + ex e2x + 1 = 1 porque 2 2ex Su conjunto imagen es [1, +!). Denicin 2.2.9. La funcin seno hiperblico, senh : R R, est denida mediante senh x = ex ex . 2 e2x + 1 2ex > 0.

Es una funcin impar (la componente impar de la exponencial), estrictamente creciente y no acotada superior ni inferiormente: su conjunto imagen es todo R. Estas funciones tienen un cierto parecido con el coseno y el seno trigonomtricos, y pueden relacionarse geomtricamente con la hiprbola de manera similar a como las funciones trigonomtricas se relacionan con la circunferencia. Aumentando la semejanza, existen frmulas para las funciones hiperblicas que, con variaciones en algunos signos, recuerdan las conocidas para las funciones trigonomtricas: por ejemplo, calculando a partir de la denicin se comprueba que cosh2 x senh2 x = 1,

cosh(x + y) = cosh x cosh y + senh x senh y, senh(x + y) = senh x cosh y + cosh x senh y cualesquiera que sean x, y R.

32 4

Captulo 2. Funciones reales de una variable real. Generalidades 6 4 3 2 2 1 2

2
La funcin seno hiperblico

La funcin coseno hiperblico

Denicin 2.2.10. La funcin tangente hiperblica, tgh : R R, se dene como tgh x =

senh x ex ex e2x 1 = = . cosh x ex + ex e2x + 1 Es una funcin impar, estrictamente creciente y acotada: su conjunto imagen es el intervalo abierto (1, 1). 1

1
La funcin tangente hiperblica

Denicin 2.2.11. La funcin cotangente hiperblica , ctgh : R \ {0} R, est dada por cosh x ex + ex e2x + 1 = = . senh x ex ex e2x 1 1 La funcin secante hiperblica es sech = . cosh 1 La funcin cosecante hiperblica es cosech = . senh ctgh x =

2.3. Ejercicios Funciones hiperblicas inversas

33

Denicin 2.2.12. La funcin argumento coseno hiperblico, arg cosh : [1, +!) [0, +!), dada por arg cosh x = log(x + x2 1), es la inversa de la restriccin de la funcin coseno hiperblico al intervalo [0, +!). La funcin argumento seno hiperblico, arg senh : R R, dada por arg senh x = log(x + x2 + 1), es la inversa de la funcin seno hiperblico. La funcin argumento tangente hiperblica, arg tgh : (1, 1) R, dada por arg tgh x = 1 1+x log , 2 1x

es la inversa de la funcin tangente hiperblica. La funcin argumento cotangente hiperblica, arg ctgh : (!, 1) (1, +!) R, dada por arg ctgh x = es la inversa de la funcin cotangente hiperblica. 2 1 1 x+1 log , 2 x1

1 1 2

La funcin argumento seno hiperblico

2.3. Ejercicios
Ejercicio 2.1. Probar que la funcin f : R R denida por f (x) = 2x + |x 3| es biyectiva y demostrar que su funcin inversa puede escribirse en la forma f 1 (x) = ax + b |cx + d | para ciertos valores a, b, c, d R. Ejercicio 2.2. Describir la grca de g en trminos de la grca de f , en los casos siguientes: a) g(x) = f (x) + c b) g(x) = f (x + c) c) g(x) = c f (x) d) g) g(x) = f (x) g(x) = | f (x)| e) h) g(x) = f (x) g(x) = m ax{ f (x), 0} f) i) g(x) = f (|x|) g(x) = m n{ f (x), 0}

34 4

Captulo 2. Funciones reales de una variable real. Generalidades

2 3 1 2 cosh 1 1 1 arg cosh 1 2

La funcin argumento tangente hiperblica

La funcin coseno hiperblico

Por ejemplo, en el primer caso la grca de g se obtiene desplazando hacia arriba la grca de f una distancia c si c 0, o desplazando hacia abajo la grca de f una distancia |c| si c < 0. Ejercicio 2.3. Probar que la funcin f : [1/2, +!) R denida mediante f (x) = x2 x + 1 es estrictamente creciente. En consecuencia, es inyectiva. Cul es su funcin inversa? x est acotada. Cul es la cota x2 + 1 inferior ms ajustada que se puede encontrar? Cul la cota superior ms ajustada? Ejercicio 2.4. Probar que la funcin f : R R dada por f (x) = Ejercicio 2.5. Probar que la funcin de Dirichlet 1 si x es racional, D (x) = 0 si x es irracional es peridica (comprobar que cada nmero racional no nulo es un periodo, y que ningn nmero irracional lo es). Es D una funcin par? Es una funcin impar? Responder a las mismas preguntas para la funcin f (x) = x [x].

x Ejercicio 2.6. Sea f : x R f (x) = . Calcular f f . En general, si se dene por recurrencia 1 + x2 f1 = f y fn+1 = f fn , n N, calcular fn . Ejercicio 2.7. Comprobar que para x, y R arbitrarios es sen x sen y = 2 cos x+y xy sen . 2 2

Deducir de aqu que sen x = sen y si y solo si existe algn k Z tal que x = y + 2k o existe algn k Z tal que x = (2k + 1) y. Ejercicio 2.8. Dado n Z, sea f : n , n + 2 2 R denida por f (x) = sen x. Comprobar que f es inyectiva y expresar su inversa f 1 en trminos de la funcin arco seno.

2.3. Ejercicios Ejercicio 2.9. Dibujar las grcas de las funciones sen arc sen y arc sen sen. Ejercicio 2.10. Probar que para todo x [1, 1] es . 2 Ejercicio 2.11. Probar que dados a, b R tales que a, b, a + b dom tg, arc sen x + arc cos x = tg(a + b) = tg a + tg b . 1 tg a tg b

35

Puede deducirse de aqu, haciendo tg a = x y tg b = y e invirtiendo, que x+y arc tg x + arc tg y = arc tg ? 1 xy Precisar la respuesta. Ejercicio 2.12. Indicar el dominio de las siguientes funciones: x2 x1 1 |x| a) + b) x+2 2 |x| 1+x (x 1)(x 2) c) 1 d) arc sen(x 1) (x 3)(x 4) x2 5x + 6 5x x2 e) log 2 f) log x + 4x + 6 4 Ejercicio 2.13. Sabiendo que el dominio de la funcin f es [0, 1], hallar el dominio de las funciones: a) f (x2 ) b) f (sen x) c) f (x 5) d) f (2x + 3) e) f (tg x) Ejercicio 2.14. Probar que: a) Si f (x) =
1 1x ,

entonces ( f f f )(x) = x.
n

Ejercicio 2.15. Demostrar que si f es peridica con periodo T y a = 0, entonces la funcin g(x) = f (ax + b) es peridica con periodo T a. Ejercicio 2.16. Hallar el periodo de las siguientes funciones: x a) f (x) = tg 2x b) f (x) = sen4 x + cos4 x c) f (x) = ctg 2 d) f (x) = | cos x| e) f (x) = sen(2 x) f)
f (x) = 2 cos x 3

(n) 1 b) Si f (x) = ax + b, con a = 1, entonces ( f f . . . f )(x) = an x + b a a1 . c) f g = g f , donde f (x) = x y g(x) = x2 .

Ejercicio 2.17. Estudiar si son pares o impares las siguientes funciones: a) f (x) = |x + 1| |x 1| b) f (x) = ax + ax (a > 0) c) Ejercicio 2.18. Hallar la inversa de las funciones siguientes y determinar su dominio: ex ex 2x 3 a) f (x) = x b) f ( x ) = c) f ( x ) = 1 x3 e + ex 1 + 2x x 2 x d) f (x) = e) f (x) = 2 + x4 1 f) f (x) = 3 1 x3 1 |x|
+x f (x) = log 1 1x

d)

f (x) = log(x + 1 + x2 )