rea de Anlisis Matemtico Universidad de Zaragoza

Cap tulo 2

Funciones reales de una variable real. Generalidades

2.1.
2.1.1.

Primeros conceptos
Funciones. Clases particulares de funciones

Recordemos que una aplicaci on f : A B se dene en t erminos conjuntistas como una terna (A, B, Gf ), donde A, B son conjuntos dados, llamados respectivamente el dominio y el codominio o conjunto nal de f , y Gf , denominado gr aco o gr aca de f , es un subconjunto del producto cartesiano A B tal que para todo x A existe un elemento u nico y B de modo que (x, y ) Gf (ese elemento y un vocamente asociado a x suele denotarse por f (x) y se llama valor de la aplicaci on f en el punto x o imagen de x por f ). Denici on 2.1.1. Una funci on (real de variable real) es una aplicaci on f : A B con A, B R. Informalmente, dar una funci on f supone dar: a) su dominio de denici on A = dom f ; b) su codominio B (al que habitualmente prestaremos menor atenci on en este curso); c) una regla de correspondencia o regla de denici on que permita asignar inequ vocamente a cada elemento x de A, sin excepci on, 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 denici on) hace que la funci on cambie. Por ejemplo, si tenemos una funci on f : A B y consideramos un subconjunto S de A, la restricci on de f a S es la funci on f |S : S B tal que f |S (x) = f (x) para cada x S , que no es la misma funci on f (se ha cambiado el dominio), aunque venga dada por la misma regla de correspondencia (a cada x de S , la restricci on f |S hace corresponder el mismo valor que f ). En la pr actica raras veces se muestra una funci on como una terna, tal como requerir a su denici on formal: lo habitual es especicar su dominio y la regla que permite determinar el valor de la funci on en cada elemento del dominio (ver los comentarios de [Bartle-Sherbert, Sec. 1.2, especialmente p ags. 22-25]). En cuanto al conjunto nal de una funci on, cuando no se mencione expl citamente se sobrentender a que dicho conjunto es R. Suele chocar al principiante que a veces la regla de denici on de una funci on aparece dividida en varias subreglas parciales (expresadas habitualmente mediante f ormulas), tendiendo a interpretar 13

14

CAP ITULO 2. FUNCIONES: GENERALIDADES

incorrectamente que se han denido tantas funciones como subreglas se enuncien. Por ejemplo, la funci on f : R R tal que x, si x 0; f (x) = x, si x < 0, es una sola funci on, la funci on 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 funci on f , emplearemos la expresi on f est a denida en S como sin onimo de S es un subconjunto de dom f . El dominio de f es, en este sentido, el mayor subconjunto de R en el que f est a denida. Ejercicio. Estudiar si son o no iguales las funciones f : R R, g : R R dadas por f (x) = 2x; g (x) = |x 1| + |x + 1|.

Cambia la respuesta si comparamos las restricciones de f y g al intervalo [1, +)? Y comparando las restricciones a otros subconjuntos de R? Denici on 2.1.2. Sea f una funci on 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 a un subconjunto (eventualmente vac o) 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 funci on f se dice inyectiva si elementos distintos de su dominio tienen siempre im agenes 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 funci on 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 alg un (o algunos) elemento(s) de A. Una funci on se dice biyectiva si es simult aneamente inyectiva y suprayectiva. Ejemplos. La funci on identidad id : x R id(x) = x R es trivialmente biyectiva. La funci on parte entera, que asocia a cada x R su parte entera (vista como aplicaci on de R en R) no es inyectiva ni suprayectiva. Denici on 2.1.3 (funci on inversa). Dada una funci on inyectiva f : A B , llamaremos fun 1 ci on inversa de f a la funci on f : f (A) A tal que f 1 (y ) = x si y solo si f (x) = y . En t erminos m as formales, f 1 ser a la funci on dada por la terna (f (A), A, Gf 1 ), donde Gf 1 = {(y, x) : (x, y ) Gf }, y Gf es, por supuesto, la gr aca de f . Para ser rigurosos, deber amos comprobar que tal terna dene efectivamente una funci on; esto es una consecuencia inmediata de que f es inyectiva. En muchos textos aparece denida la funci on inversa solamente para funciones biyectivas. Sin embargo, la pr actica usual en an alisis matem atico recomienda ampliar la denici on a todas las funciones inyectivas, como acabamos de hacerlo. Obs ervese que, en cualquier caso, lo que hemos : A f (A) tal que f (x) = f (x), que, denido ser a la funci on inversa de la funci on biyectiva f record emoslo, salvo cuando f es adem as suprayectiva, es otra funci on la biyecci on asociada a f pues cambia el conjunto nal.

2.1. PRIMEROS CONCEPTOS

15

Ejercicio. Dada una funci on inyectiva f : A B , una funci on 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).

Ejercicio. Probar que la funci on f : R R denida por f (x) = 2x + |x 3| es biyectiva y demostrar que su funci on inversa puede escribirse en la forma f 1 (x) = ax + b |cx + d| para ciertos valores a, b, c, d R. Representaci on gr aca de una funci on. Dada una funci on f , para cada x dom f el par ordenado de n umeros reales (x, f (x)) puede interpretarse como coordenadas de un punto del plano respecto de un sistema de coordenadas cartesianas, de modo que la gr aca de f , es decir, {(x, f (x)) : x dom f }, vendr a representada por un subconjunto del plano, que da la representaci on gr aca de la funci on f . Observar esta representaci on puede proporcionar a veces informaci on interesante sobre f , por lo que m as adelante nos ocuparemos con detalle de la representaci on gr aca de funciones. El lector puede examinar c omo se reeja en su representaci on gr aca que una funci on es inyectiva o suprayectiva, y qu e relaci on hay entre las representaciones gr acas de una funci on inyectiva y la de su inversa. Ejercicio. Describir la gr aca de g en t erminos de la gr aca de f , en los casos siguientes: g (x) = f (x) + c; g (x) = f (x); g (x) = |f (x)|; g (x) = f (x + c); g (x) = f (x); g (x) = m ax{f (x), 0}; g (x) = c f (x); g (x) = f (|x|); g (x) = m n{f (x), 0}.

(Por ejemplo, en el primer caso la gr aca de g se obtiene desplazando hacia arriba la gr aca de f una distancia c si c 0, o desplazando hacia abajo la gr aca de f una distancia |c| si c < 0.) Tabulaci on de funciones. Cuando el dominio de una funci on es nito (y con un n umero no demasiado elevado de elementos) es a menudo u til describir la funci on escribiendo en forma de tabla los valores del dominio y a su lado, correlativamente, los valores de la funci on 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 n umeros o magnitudes son hist oricamente muy anteriores a la idea misma de funci on. Tambi en se procede a la tabulaci on de funciones aunque el dominio no sea nito, reejando en tal caso, por descontado, tan solo una parte nita del mismo. Cabe se nalar que en la mayor a de las tablas de funciones que se usan en las ciencias, los valores de la funci on 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 bibliograf a de libros de tablas de funciones, sustituidos casi totalmente en la actualidad por los ordenadores e incluso por las calculadoras cient cas de bolsillo. Sin embargo, es muy conveniente conocer al menos uno de ellos, como [Spiegel-Abellanas]. Veamos ahora algunas clases particulares de funciones que aparecer an frecuentemente a lo largo de todo el curso. Denici on 2.1.4. Una funci on f se dice mon otona no creciente si dados cualesquiera x, y dom f con x < y , es f (x) f (y ). Una funci on f se dice mon otona no decreciente si dados cualesquiera x, y dom f con x < y , es f (x) f (y ). Una funci on f se dice mon otona estrictamente creciente si dados cualesquiera x, y dom f con x < y , es f (x) < f (y ). Una funci on f se dice mon otona estrictamente decreciente si dados cualesquiera x, y dom f con x < y , es f (x) > f (y ).

16

CAP ITULO 2. FUNCIONES: GENERALIDADES

Una funci on mon otona es una funci on de uno cualquiera de los tipos anteriores. Por brevedad, si S dom f , se dice que f es mon otona en S si la restricci on f |S es mon otona. Esta nomenclatura puede variar de unos textos a otros: por ejemplo, algunos autores llaman funciones crecientes a las que nosotros denominamos mon otonas no decrecientes, mientras que otros utilizan el nombre de funciones crecientes para las que hemos denido como mon otonas estrictamente crecientes. Hemos elegido por ello los nombres que nos parecen menos ambiguos para cada uno de los tipos considerados. Observaci on. La monoton a no es una propiedad puntual de la funci on, sino que es una propiedad global . Esto signica que solo tiene sentido decir que una funci on es mon otona en un determinado conjunto , no que es mon otona en un punto del conjunto. La expresi on funci on mon otona en un punto carece de signicado. Ejercicio. Probar que la funci on f : R \ {0} R denida mediante f (x) = 1/x es estrictamente decreciente en (, 0) y en (0, +). Es estrictamente decreciente en R \ {0}? En general, dada una funci on f : D R R y dos subconjuntos A, B de D, si f es estrictamente decreciente en D puede asegurarse que f es estrictamente decreciente en A y que f es estrictamente decreciente en B ? Y si f es estrictamente decreciente tanto en A como en B , puede asegurarse que f es estrictamente decreciente en A B ? Responder las mismas preguntas para los dem as tipos de monoton a. Ejercicio. Probar que la funci on f : [1/2, +) R denida mediante f (x) = x2 x + 1 es estrictamente creciente. En consecuencia, es inyectiva. Cu al es su funci on inversa? Denici on 2.1.5. Diremos que una funci on f est a acotada superiormente si su conjunto imagen est a acotado superiormente. En otras palabras, si existe un n umero jo M R tal que, simult aneamente para todos los x dom f , se tiene f (x) M (por comodidad, suele decirse entonces que f est a acotada superiormente por M o que M es una cota superior de f , en lugar de decir que el conjunto imagen de f est a acotado superiormente por M o que M es una cota superior de dicho conjunto). Enteramente an aloga es la denici on de funci on acotada inferiormente . Por u ltimo, una funci on acotada es aquella que est a acotada superior e inferiormente, es decir, aquella cuyo conjunto imagen est a 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 a acotada si y solo si existe un K R tal que |f (x)| K para todo x dom f . x Ejercicio. Probar que la funci on f : R R dada por f (x) = 2 est a acotada. Cu al es la x +1 cota inferior m as ajustada que se puede encontrar? Cu al la cota superior m as ajustada? El estudio de una funci on se simplica cuando posee alg un tipo de repetici on. Concretamos esta idea en las siguientes deniciones. Denici on 2.1.6. Sea f una funci on denida en R. Diremos que f es a) par si para cada x R se cumple f (x) = f (x) (su gr aca es entonces sim etrica respecto del eje de ordenadas); b) impar si para cada x R se cumple f (x) = f (x) (su gr aca es entonces sim etrica respecto del origen de coordenadas); c) peri odica de periodo T (T R \ {0}) si para cada x R se cumple f (x + T ) = f (x) (su gr aca puede obtenerse entonces por traslaci on reiterada de la gr aca en cualquier intervalo de longitud |T |). Ejercicio. Toda funci on denida en R puede escribirse, adem as de manera u nica, como suma de una funci on par (su componente par ) y una funci on impar (su componente impar ).

2.1. PRIMEROS CONCEPTOS

17

N otese que la denici on de funci on par y de funci on impar puede ampliarse de manera obvia a funciones f cuyo dominio sea sim etrico (respecto al origen de coordenadas), es decir, tal que x dom f siempre que x dom f . Ejercicio. Probar que la funci on de Dirichlet D(x) = 1 si x es racional, 0 si x es irracional

es peri odica (comprobar que cada n umero racional no nulo es un periodo, y que ning un n umero irracional lo es). Es D una funci on par? Es una funci on impar? Las mismas preguntas para la funci on f (x) = x [x].

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 m as u tiles son las que a continuaci on exponemos. Denici on 2.1.7. La composici on de f y g , denotada g f , es la funci on con dominio dom(g f ) = f 1 (dom g ) dada por (g f )(x) = g (f (x)) para cada x dom(g f ) (obs ervese que tales x son justamente aquellos para los que g (f (x)) tiene sentido). x Ejercicio. Sea f : x R f (x) = . Calcular f f . En general, si se dene por recurrencia 1 + x2 f1 = f y fn+1 = f fn , n N, calcular fn . Denici on 2.1.8. La suma de f y g , denotada f + g , es la funci on con dominio dom(f + g ) = dom f dom g dada por (f + g )(x) = f (x) + g (x) para cada x dom(f + g ) (obs ervese que tales x son justamente aquellos para los que f (x) + g (x) tiene sentido). Totalmente similar es la denici on de la diferencia f g y del producto f g de f y g . Denici on 2.1.9. El cociente de f y g , es la funci on f /g con dominio dom(f /g ) = (dom f dom g ) \ g 1 (0) dada por (f /g )(x) = f (x) g (x)

para cada x dom(f /g ) (obs ervese una vez m as 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. Ejercicio. Sea id : R R la funci on identidad, es decir, id(x) = x para todo x R. Son iguales id2 1 las funciones e id 1? Por qu e? Cu al es la relaci on entre ambas? id +1

18

CAP ITULO 2. FUNCIONES: GENERALIDADES

2.1.3.

Ejemplos de funciones

Sucesiones Son funciones cuyo dominio es el conjunto N de los n umeros naturales. Desempe nan un destacado papel en la elaboraci on de nuestra teor a, y a ellas dedicaremos espec camente el cap tulo siguiente. Funciones constantes 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 funci on constante ser inyectiva, suprayectiva o biyectiva? C omo es su representaci on gr aca? Es mon otona? De qu e tipo? Es acotada? Es par, impar, peri odica? Funci on identidad Dado un conjunto A R, la identidad en A es la funci on tal que f (x) = x para cada x A. Es la identidad siempre inyectiva, suprayectiva o biyectiva? Es mon otona? Es acotada? C omo es su representaci on gr aca? Cu al es su inversa? Potencias de exponente entero Dado un n umero natural n, la funci on f : x R xn R (producto de n funciones iguales a la identidad) tiene distinto comportamiento seg un n sea par o impar. Para n = 2k 1, k N, la funci on g : x R x2k1 R es estrictamente creciente y, por tanto, inyectiva. Tambi en es suprayectiva, aunque ahora no estemos todav a en condiciones de demostrarlo f acilmente. Sin embargo, la funci on h : x R x2k R no es inyectiva (es una funci on par), aunque la restricci on de h a [0, +) es estrictamente creciente (luego inyectiva), y tiene por imagen el conjunto [0, +), como justicaremos m as adelante. La potencia de exponente 0 es la funci on constante con valor siempre igual a 1. Para exponente negativo, n = m con m N, se dene x R \ {0} xn = Ra ces Dado k N, se puede probar que la funci on g : x R x2k1 R es biyectiva. Por tanto, posee una funci on inversa f : R R, denominada ra z (2k 1)- esima ; su valor en un punto 1 / (2 k 1) 2k1 x R se denota por xox . De acuerdo con su denici on, se tiene y = 2k1 x si y solo si y 2k1 = x. Sin embargo, puesto que la funci on h : x R x2k R no es inyectiva, no puede hablarse de ra z 2k - esima en todo R. No obstante, la restricci on de h a [0, +) es estrictamente creciente (luego inyectiva), y tiene por imagen el conjunto [0, +): su inversa es la que llamamos funci on ra z 2k - esima , de modo que dicha funci on tendr a ahora por dominio [0, +). Es decir, solo est a denida en un n umero real x si x 0: su valor en dicho punto se representa por 2k x o x1/(2k) excepto para el caso k = 1 (ra z cuadrada ), que se usa abreviadamente x. N otese que siempre es 2k x 0 y, en general, x 0. Funciones polin omicas 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 polin omicas . Por tanto, f es una funci on 1 xm = 1 xn R.

2.2. FUNCIONES TRASCENDENTES polin omica si y solo si existen a0 , a1 , . . . , an R tales que f (x) = a0 + a1 x + + an xn

19

para cada x R (tambi en suelen denominarse funciones polin omicas las restricciones de las anteriores a cualquier subconjunto de R.) Las funciones racionales son aquellas que pueden expresarse como cociente de dos funciones polin omicas. Su dominio es todo R salvo un conjunto nito (eventualmente vac o), el conjunto de los ceros o ra ces del denominador. Es asimismo usual utilizar el mismo nombre para las restricciones de tales funciones a subconjuntos cualesquiera. Funciones algebraicas Reciben este nombre las funciones tales que se pueden encontrar polinomios p0 , p1 , . . . , pn de manera que para todo x dom f se verica p0 (x) + p1 (x) f (x) + + pn (x) f (x)n = 0. Obs ervese que las ra ces 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 gen ericamente funciones elementales, y en buena parte son conocidas por el lector, requieren para su construcci on t ecnicas de las que no disponemos todav a. 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 logar tmica

Funci on exponencial La funci on exponencial , exp : R R, que construiremos m as adelante, aparece en la descripci on de los fen omenos en los que la variaci on de una magnitud es proporcional al valor de dicha magnitud. El n umero exp(1) se denota por e. Es irracional; m as todav a, es trascendente , lo que signica que no existe ning un polinomio con coecientes enteros que se anule en e. Sus primeras cifras decimales son 2, 7182818284590452353602874713526624977572 . . . (sobre su historia, ver [Maor]). En lugar de exp(x) suele escribirse ex . Proposici on 2.2.1 (propiedades de la exponencial). b) Para cada x R, 1 = ex , ex a) e0 = 1.

y, en particular, ex = 0. c) Dados x, y R, ex+y = ex ey .

20 d) Dados n N y x R,

CAP ITULO 2. FUNCIONES: GENERALIDADES

enx = ex ex . e) Para cada x R, ex > 0 .

f ) La funci on exponencial es estrictamente creciente. En particular, es inyectiva. g) El conjunto imagen de la funci on exponencial es (0, +).

ex

ex

Funci on logar tmica La funci on logar tmica log : (0, +) R es la inversa de la funci on exponencial, de modo que log x = y si y solo si ey = x. Por tanto, est a caracterizada por cumplir log(ex ) = x y elog x = x cualquiera que sea x (0, +) . Sus propiedades son consecuencia de las de la funci on exponencial. Proposici on 2.2.2 (propiedades del logaritmo). b) Para cada x (0, +), log c) Dados x, y (0, +), log(xy ) = log x + log y . d) Dados n N y x (0, +), log(xn ) = n log x . 1 = log x . x a) log 1 = 0; log e = 1. cualquiera que sea x R

e) El conjunto imagen de la funci on logar tmica es R.

2.2. FUNCIONES TRASCENDENTES f ) La funci on logar tmica es estrictamente creciente. En particular, es inyectiva.

21

ex

log x

Funciones exponencial y logar tmica de base cualquiera Denici on 2.2.3. Dado un n umero real a > 0, la funci on exponencial de base a se dene mediante la igualdad ax = ex log a . Cuando a > 1, esta funci on tiene propiedades similares a la funci on exponencial anteriormente estudiada; si a = 1, es una funci on constantemente igual a 1, y si a < 1, la diferencia esencial con la funci on exponencial de base e estriba en que la funci on exponencial de base a es entonces estrictamente decreciente. Propiedades interesantes que se obtienen directamente de la denici on y de lo que hemos visto para las funciones ex y log x son las siguientes: Proposici on 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 . Denici on 2.2.5. Dado a > 0, a = 1, la funci on logar tmica de base a se dene en (0, +) mediante la f ormula log x loga x = . log a Es inmediato comprobar que esta funci on es la inversa de la funci on 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 trigonom etricas. Funciones trigonom etricas inversas

Funciones trigonom etricas Reciben este nombre una serie de funciones de origen geom etrico, ligadas con las medidas de angulos y la descripci on de fen omenos peri odicos.

22 La funci on seno

CAP ITULO 2. FUNCIONES: GENERALIDADES

sen : R R y la funci on coseno cos : R R ser an denidas m as adelante. De momento, admitimos sin demostraci on que satisfacen las propiedades que pasamos a enunciar. Proposici on 2.2.6 (propiedades del seno). a) El seno es una funci on impar, mientras que el coseno es una funci on 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 n umero real positivo, denotado por , tal que sen = 0 y sen x = 0 si 0 < x < . Este n umero es irracional (y trascendente) y sus primeras cifras decimales son 3, 14159265358979 . . . El n umero , (( area del c rculo de radio 1, es de lejos la constante m as c elebre de las matem aticas. Aparecida inicialmente en Geometr a, interviene hoy en los dominios m as variados: an alisis, teor a de n umeros, probabilidades y estad stica, combinatoria, etc. Los m as grandes matem aticos se han interesado desde hace m as de 2000 a nos por los problemas planteados por este n umero)) ([Le Lionnais, p ag. 50]). d) cos = 1. e) Las funciones sen y cos tienen por conjunto imagen (rango) el intervalo [1, 1]. f ) Dados x, y R tales que x2 + y 2 = 1, existe un R de modo que cos = x, sen = y

(gr acamente, esto signica que las funciones seno y coseno que hemos denido se corresponden con las utilizadas en trigonometr a). g) F ormulas de adici on. 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 peri odicas de periodo 2 . i) La funci on sen es estrictamente creciente en [0, /2] y estrictamente decreciente en [/2, ]. j) La funci on 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

2.2. FUNCIONES TRASCENDENTES

23

Ejercicio. Comprobar que para x, y R arbitrarios es x+y xy sen x sen y = 2 cos sen . 2 2 Deducir de aqu que sen x = sen y si y solo si existe alg un k Z tal que x = y + 2k o existe alg un k Z tal que x = (2k + 1) y .
sen x

cos x

Denici on 2.2.7. La funci on tangente tg, la funci on cotangente ctg, la funci on secante sec y la funci on cosecante cosec se denen a partir de las funciones seno y coseno mediante las f ormulas sen cos 1 1 tg = , ctg = , sec = , cosec = . cos sen cos sen Cu ales son los dominios de estas funciones?

tg x

cotg x

cosec x

sec x

24 Funciones trigonom etricas inversas

CAP ITULO 2. FUNCIONES: GENERALIDADES

Se conocen con el nombre de funciones trigonom etricas inversas las de una colecci on de funciones que son casi, pero no totalmente, inversas de las funciones tigonom etricas que acabamos de considerar. Precisemos su denici on. La funci on seno no es inyectiva, por lo que no puede hablarse estrictamente de inversa de la funci on seno. Sin embargo, la restricci on de la funci on 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 funci on seno). La inversa de la restricci on de la funci on seno al intervalo [/2, /2] es, por denici on, la funci on arco seno arc sen : [1, 1] [/2, /2], de manera que ser a una funci on estrictamente creciente, impar, acotada, y tal que dado x [1, 1] arc sen x = y con lo cual sen(arc sen x) = x para todo x [1, 1] = dom arc sen y [/2, /2] sen y = x,

(es decir, la funci on arco seno es una inversa por la derecha de la funci on seno), mientras que arc sen(sen x) = x x [/2, /2]. Ejercicio. Dado n Z, sea f : x [n , n + ] f (x) = sen x R. 2 2

Comprobar que f es inyectiva y expresar su inversa f 1 en t erminos de la funci on arco seno. Ejercicio. Dibujar las gr acas de las funciones sen arc sen y arc sen sen. Pasando a la funci on coseno, su restricci on al intervalo [0, ] es una funci on estrictamente decreciente cuyo conjunto imagen es [1, 1]. An alogamente a lo anterior, la funci on arco coseno arc cos : [1, 1] [0, ] es por denici on la inversa de la restricci on de la funci on coseno al intervalo [0, ]. Es una funci on estrictamente decreciente y acotada, con el mismo dominio que la funci on arco seno, pero con distinto codominio. Dado x [1, 1], se tiene arc cos x = y con lo cual cos(arc cos x) = x para todo x [1, 1] = dom arc cos y [0, ] cos y = x,

(es decir, la funci on arco coseno es una inversa por la derecha de la funci on coseno), mientras que arc cos(cos x) = x x [0, ].

2.2. FUNCIONES TRASCENDENTES

25

arc sen x

arc cos x

De manera similar: La funci on arco tangente arc tg : R (/2, /2) es por denici on la inversa de la restricci on de la funci on tangente al intervalo abierto (/2, /2). Es una funci on estrictamente creciente, impar, acotada, y tal que dado x R arc tg x = y con lo cual tg(arc tg x) = x para todo x R = dom arc tg (es decir, la funci on arco tangente es una inversa por la derecha de la funci on tangente), mientras que arc tg(tg x) = x x (/2, /2). y (/2, /2) tg y = x,

arc tg x

Aunque se usa menos que las anteriores, podemos tambi en denir: la funci on arco cotangente arc ctg : R (0, ) es la inversa de la restricci on de la funci on cotangente al intervalo (0, ). Las funciones arco secante y arco cosecante se usan raras veces. Su denici on puede verse 1 1 en [Spiegel-Abellanas] (con las notaciones sec y cosec ). Ejercicio. Probar que para todo x [1, 1] es arc sen x + arc cos x = . 2

26

CAP ITULO 2. FUNCIONES: GENERALIDADES

Ejercicio. Probar que dados a, b R tales que a, b, a + b dom tg, tg(a + b) = tg a + tg b . 1 tg a tg b

Puede deducirse de aqu , haciendo tg a = x y tg b = y e invirtiendo, que arc tg x + arc tg y = arc tg Precisar la respuesta. x+y ? 1 xy

2.2.3.

Funciones hiperb olicas. Funciones hiperb olicas inversas

Funciones hiperb olicas Denici on 2.2.8. La funci on coseno hiperb olico est a denida mediante cosh : x R cosh x = ex + ex R. 2

Es una funci on par (la componente par de la exponencial), estrictamente decreciente en (, 0] y estrictamente creciente en [0, +). Est a acotada inferiormente por 1: para cualquier x R, ex + ex e2x + 1 = 1 2 2 ex Su conjunto imagen es [1, +). porque e2x + 1 2 ex (> 0).

cosh x

La funci on seno hiperb olico est a denida mediante senh : x R senh x = ex ex R. 2

Es una funci on impar (la componente impar de la exponencial), estrictamente creciente y no acotada superior ni inferiormente: su conjunto imagen es todo R.

2.2. FUNCIONES TRASCENDENTES

27

senh x

Estas funciones tienen un cierto parecido con el coseno y el seno trigonom etricos, y pueden relacionarse geom etricamente con la hip erbola de manera similar a como las funciones trigonom etricas se relacionan con la circunferencia. Aumentando la semejanza, existen f ormulas para las funciones hiperb olicas que, con variaciones en algunos signos, recuerdan las conocidas para las funciones trigonom etricas: por ejemplo, calculando a partir de la denici on 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. La funci on tangente hiperb olica se dene como tgh : x R tgh x = senh x ex ex e2x 1 = x = R. cosh x e + ex e2x + 1

Es una funci on impar, estrictamente creciente y acotada: su conjunto imagen es el intervalo abierto (1, 1).

tgh x

La funci on cotangente hiperb olica est a dada por ctgh : x R \ {0} ctgh x = La funci on secante hiperb olica sech = cosh x ex + ex e2x + 1 = x = R. senh x e ex e2x 1

1 . cosh 1 La funci on cosecante hiperb olica cosech = . senh

28 Funciones hiperb olicas inversas

CAP ITULO 2. FUNCIONES: GENERALIDADES

Denici on 2.2.9. La funci on argumento coseno hiperb olico , arg cosh : x [1, +) arg cosh x = log(x + x2 1) [0, +),

es la inversa de la restricci on de la funci on coseno hiperb olico al intervalo [0, +). La funci on argumento seno hiperb olico , arg senh : x R arg senh x = log(x + es la inversa de la funci on seno hiperb olico. La funci on argumento tangente hiperb olica , arg tgh : x (1, 1) arg tgh x = es la inversa de la funci on tangente hiperb olica. La funci on argumento cotangente hiperb olica , arg ctgh : x (, 1) (1, +) arg ctgh x = es la inversa de la funci on cotangente hiperb olica. 1 x+1 log R, 2 x1 1 1+x log R, 2 1x x2 + 1) R,

cosh x

arg senh x x

arg cosh x

arg tgh x

Bibliograf a
[Bartle-Sherbert] [Le Lionnais] [Maor] Bartle, R. G. - Sherbert, D. R.: Introducci on al An alisis Matem atico de una Variable. Limusa, M exico, 1990. Citado en la(s) p agina(s) 13 Le Lionnais, F.: Les nombres remarquables. Hermann, Par s, 1983. Citado en la(s) p agina(s) 22 Maor, E.: e. The Story of a Number. Princeton University Press, Princeton, N.J., 1994. Citado en la(s) p agina(s) 19

[Spiegel-Abellanas] Spiegel, M.R. - Abellanas, L.: F ormulas y tablas de matem atica aplicada. McGraw Hill (colecci on Schaum), 1991. Citado en la(s) p agina(s) 15, 26

29

rea de Anlisis Matemtico Universidad de Zaragoza analisis@unizar.es