Apuntes de Mtodos Matemticos de la Fsica II.

LICENCIATURA EN FSICA.

Curso 2005-2006

Juan Carlos Cabello Par Departamento de Anlisis Matemtico

ndice general
1. Nmeros reales,vectores y funciones
1.1. El conjunto de los nmeros reales. . . . . . . . . . . . . . . . . . . . . 1.1.1. Estructura algebraica . . . . . . . . . . . . . . . . . . . . . . . 1.1.2. Estructura ordenada . . . . . . . . . . . . . . . . . . . . . . . . 1.1.3. Axioma del supremo. . . . . . . . . . . . . . . . . . . . . . . . . 1.1.4. Valor absoluto de un nmero real . . . . . . . . . . . . . . . . . 1.1.5. Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.6. Expresin decimal de un nmero real . . . . . . . . . . . . . . . 1.1.7. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.8. Conjuntos nitos e innitos . . . . . . . . . . . . . . . . . . . . 1.1.9. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . 1.2. Funciones elementales I: Funciones racionales y exponenciales . . . . . 1.2.1. Funciones reales de variable real. . . . . . . . . . . . . . . . . . 1.2.2. Grca de una funcin . . . . . . . . . . . . . . . . . . . . . . . 1.2.3. Funciones racionales . . . . . . . . . . . . . . . . . . . . . . . . 1.2.4. Funcin logaritmo. . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.5. Operaciones con funciones. . . . . . . . . . . . . . . . . . . . . 1.2.6. Funcin exponencial. . . . . . . . . . . . . . . . . . . . . . . . . 1.2.7. Funciones denidas a trozos. Funciones parte entera y valor absoluto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.8. Relacin de ejercicios. . . . . . . . . . . . . . . . . . . . . . . . 1.3. Funciones elementales II: Funciones trigonomtricas . . . . . . . . . . . 1.3.1. El nmero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.2. Funcin arcocoseno . . . . . . . . . . . . . . . . . . . . . . . . 1.3.3. Funciones seno y coseno . . . . . . . . . . . . . . . . . . . . 1.3.4. Funcin tangente . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.5. Funciones secante, cosecante y cotangente . . . . . . . . . . . . 1.3.6. Funciones arcoseno y arcotangente. . . . . . . . . . . . . . . . . 1.3.7. Identidades Trigonomtricas. . . . . . . . . . . . . . . . . . . . 1.3.8. Funciones Hiperblicas. . . . . . . . . . . . . . . . . . . . . . . . 1.3.9. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 1.4. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . 1.4.1. Acotacin, monotona y convergencia de sucesiones . . . . . . . 1.4.2. Sucesiones divergentes . . . . . . . . . . . . . . . . . . . . . . . 1.4.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 7 7 9 10 12 12 13 15 16 17 19 19 20 21 23 24 25 27 28 31 31 32 33 35 36 37 38 39 40 41 41 43 45

4 1.5. Series de nmeros reales . . . . . . . . 1.5.1. Series de nmeros reales . . . . 1.5.2. Criterios de convergencia . . . . 1.5.3. Relacin de ejercicios . . . . . . 1.6. El espacio eucldeo. Campos vectoriales 1.6.1. Estructura algebraica . . . . . . 1.6.2. Estructura eucldea . . . . . . . 1.6.3. Conceptos topolgicos . . . . . 1.6.4. Sucesiones en Rn . . . . . . . . 1.6.5. Campos vectoriales y escalares . 1.6.6. Funciones coordenadas . . . . . 1.6.7. Relacin de ejercicios . . . . . . . . . . y . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

NDICE GENERAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 47 50 52 53 53 55 56 58 59 60 61

Captulo 1 Nmeros reales,vectores y funciones

Comentario Los estudios antropolgicos revelan que han sido necesarios muchos siglos antes de que los hombres concibieran la idea del nmero. Nuestros antepasados debieron hacer un gran esfuerzo para alejarse de lo concreto de las necesidades de la vida y de la realidad del mundo circundante para llegar a la concepcin de la entidad numrica, completamente separada de toda referencia concreta. Las concepciones que el hombre ha tenido sobre la idea de nmero han seguido un desarrollo paralelo al devenir histrico del hombre. En una primera etapa se aprendi a contar el nmero de objetos independientemente de la naturaleza de stos y as aparecieron los nmeros naturales. Las deudas en el trato comercial, hicieron nacer los nmeros enteros, mientras que las reparticiones o el comienzo de las mediciones de campos, pesos, etc dieron lugar al concepto de nmero racional. Fueron los pitagricos los que descubrieron que slo con los nmeros naturales y las fracciones no pueden realizarse todas las medidas posibles de forma exacta, ya que se encontraron pares de segmentos como la diagonal y el lado de un cuadrado cuyo cociente de longitudes no es una fraccin. Esto oblig a la consideracin de los nmeros irracionales. El conjunto formado aadiendo a estos ltimos al conjunto de los nmeros racionales se ha dado en llamar el conjunto R de los nmeros reales. El conocimiento de stos es la primera premisa para avanzar con provecho en el estudio del Anlisis Matemtico. Por otra parte, en diversos campos de la actividad humana ocurre que, para poder expresar sin ambigedad las leyes que la determinan, se establecen relaciones entre un conjunto de objetos (llamado dominio) y otro conjunto de objetos (llamado rango o recorrido). En realidad se trata de puros articios usados para describir relaciones especiales en forma cuantitativa. Cuando estas relaciones son tales que a cada elemento del dominio corresponde un slo elemento del rango, reciben en general el nombre de aplicaciones. Si adems el dominio y el rango de estas aplicaciones son conjuntos numricos se suelen llamar funciones. Veamos algunos ejemplos: 1.- La fuerza necesaria para estirar un muelle de acero hasta una longitud x a partir

CAPTULO 1. NMEROS REALES,VECTORES Y FUNCIONES

de su longitud normal es proporcional a x. Es decir, F = cx, donde c es un nmero independiente de x, que depende de la naturaleza del muelle. Esta frmula, descubierta por R. Hooke a mediados del siglo XVII, relaciona cada longitud extra" con la fuerza requerida para tal alargamiento. Claramente su dominio y su rango es el conjunto de los nmeros reales positivos y a cada elemento del dominio corresponde un slo elemento del rango, por lo que estamos tratando con nuestro primer ejemplo de funcin. 2.- Imaginemos ahora un determinado objeto que es levantado hasta cierta altura "h" y es dejado caer libremente. Sabemos que la altura es proporcional al cuadrado del tiempo que tarda en llegar al suelo, concretamente

h = 1/2gt2 ,
donde la constante g es el valor de la aceleracin de la gravedad. Ntese que de esta forma obtenemos una nueva funcin que expresa sin ambigedad cmo depende la altura alcanzada respecto del tiempo que tarda en caer. En realidad, puede asegurarse que, por regla general, las leyes que que determinan un determinado fenmeno depende no slo de una variable sino de varias. As por ejemplo, en el coste de un producto, intervienen la materia prima, el transporte de sta, la mano de obra y otras realidades. Esto nos lleva a tener que considerar funciones denidas en un subconjunto de Rq . Pero todava ms, es normal considerar varios aspectos de un mismo fenmeno y su dependencia de varias variables lo que conduce al estudio de funciones denidas en un subconjunto de Rq con valores en Rn . Como puede uno imaginarse existe una gran variedad de ejemplos de funciones en el campo de los fenmenos naturales, y en otros muchos campos del conocimiento, en los que tanto el dominio como el rango son subconjuntos de nmeros reales o de su producto cartesiano. As pues, dado que el ncleo de este curso es el estudio de las funciones, se entiende que el conocimiento de los nmeros reales es la primera premisa para avanzar con provecho. En este primer captulo estudiaremos en primer lugar el conjunto de los nmeros reales R e iniciaremos el estudio de las funciones denidas y con valores en R, con especial nfasis en las funciones ms importantes, llamadas funciones elementales. En segundo lugar, estudiaremos qu propiedades del conjunto R se mantienen para el conjunto producto cartesiano Rn , y cmo relacionar cada funcin con valores en Rn con n funciones con valores en R.

1.1. EL CONJUNTO DE LOS NMEROS REALES.

1.1.

El conjunto de los nmeros reales.

Sumario
En esta leccin estudiaremos las propiedades que se pueden considerar en el conjunto de los nmeros reales. La estrategia que seguiremos en esta primera leccin ser la de exponer una lista de propiedades fundamentales de los nmeros reales, que sern enunciadas bajo la forma de " axiomas ", y sus consecuencias ms importantes. Destacaremos, de entre todos los axiomas, el que llamaremos axioma del supremo, de hecho, este axioma no se verica en el conjunto de los nmeros racionales, y esto le conere al conjunto de los nmeros reales su identidad y primaca. Cualquier otra propiedad de los nmeros reales se deduce de ste y del resto de los axiomas. El contenido completo de esta leccin se articula de la siguiente manera: I.1.1 Estructura algebraica. I.1.2 Estructura ordenada. I.1.3 Axioma del supremo. I.1.4 Valor absoluto de un nmero real. I.1.5 Intervalos. I.1.6 Aproximacin decimal. I.1.7 Conjuntos nitos e innitos. I.1.8 Relacin de ejercicios.

1.1.1.

Estructura algebraica

Axioma I: Existe un conjunto, que notaremos por R, en el que existe una operacin suma (+), vericando: 1. Propiedad asociativa:

(x + y) + z = x + (y + z) (x, y, z R)
(esto es, no es necesario escribir parntesis si slo aparece la operacin suma). 2. Propiedad conmutativa:

x + y = y + x (x, y R).

8 3.

I.1 El conjunto de los nmeros reales Propiedad de existencia de elemento neutro: Existe un elemento 0 R, tal que, para cada x R, se tiene

x + 0 = x.
4. Propiedad de existencia de elemento simtrico: Dado cualquier nmero real x existe otro nmero real x tal que

x + (x) = 0.

Axioma II: En R existe tambin una operacin producto (.), que notaremos por yuxtaposicin, vericando: 1. Propiedad asociativa:

(xy)z = x(yz) (x, y, z R),

(esto es, no es necesario escribir parntesis si slo aparece la operacin producto). 2. 3. Propiedad conmutativa:

xy = yx (x, y R).
Propiedad de existencia de elemento neutro: Existe un nmero real 1 R, tal que, para cada x R, se tiene

x1 = x.
4. Propiedad de existencia de elemento inverso: Dado cualquier nmero real x = 0 existe otro nmero real 1/x tal que

x 1/x = 1.

Ambas operaciones se relacionan entre s de la siguiente manera Axioma III: Propiedad distributiva:

(x + y)z = xz + yz (x, y, z R).

Anlisis Matemtico

1.1.2. Estructura ordenada

Axioma IV: Existe una relacin binaria ()), vericando: 1. 2. 3. Propiedad reexiva: x x (x R). Propiedad antisimtrica: Si x y e y x, entonces x = y (x, y R). Propiedad transitiva: Si x y e y z , entonces x z (x, y, z R).

Estas tres propiedades se resumen diciendo que la relacin ()) es una relacin de orden. De hecho, el orden es total ya que: Axioma V: Dados dos nmeros reales x e y , ocurre que bien x y bien y x. Adems el orden tiene un buen comportamiento con respecto a la suma Axioma VI: Sean x, y, z tres nmeros reales arbitrarios. Si x y , entonces x + z y + z . y tambin respecto al producto Axioma VII: Sean x, y dos nmeros reales arbitrarios y z 0. Si x y , entonces xz yz . Las propiedades enunciadas anteriormente suelen resumirse diciendo que el conjunto R dotado con las operaciones +, . y el orden tiene estructura de cuerpo ordenado.

Notacin
Notaremos por: - x < y , el hecho de que x y y x = y , - x y = x + (y) - x/y = x 1/y - x y a la expresin y x y tambin por

R+ := {x R; 0 < x}, R := {x R; x < 0},

10

I.1 El conjunto de los nmeros reales

R+ := {x R; 0 x}, 0 R := {x R; x = 0}.
Antes de continuar vamos a resaltar algunas propiedades que son consecuencia de los axiomas anteriores.

Proposicin 1.1.1. Sean x, y, z tres nmeros reales.

1. x,0 = 0, x.(y) = xy 2. Si x y + z , entonces x z y . 3. Si x yz y z > 0, entonces x/z y . 4. Si x yz y z < 0, entonces x/z y . 5. Si 0 < x < y , entonces 0 < 1/y < 1/x. 6. x y si, y slo si x y + z , para todo z R+ .

1.1.3.

Axioma del supremo.

Es claro que el conjunto de los nmeros racionales Q cumple todas las propiedades exhibidas hasta el momento. Sin embargo, como ya hemos advertido, en este conjunto no se encuentran sucientes elementos como para medir por ejemplo la diagonal de un cuadrado de lado 1. Debe haber pues alguna otra propiedad exclusiva del conjunto R que asegure que contiene estos nuevos elementos. Para poder enunciar esta propiedad necesitamos introducir algunos conceptos. Sea A un subconjunto de nmeros reales no vaco y z R. Se dice que z es un mayorante o cota superior de A si verica que, para cada x A,

x z.
Se dice que z es el supremo de A si es el menor de los mayorantes de A.

minorante o cota inferior y de nmo.

Invirtiendo el orden en las deniciones anteriores, encontramos los conceptos de

Se dir que un subconjunto A de nmeros reales est mayorado (resp. minorado) si tiene mayorantes (resp. minorantes). Se dir que un subconjunto A de nmeros reales est acotado si tiene mayorantes y minorantes. Esto es, si est mayorado y minorado.

Anlisis Matemtico

11

Ya podemos enunciar el axioma distintivo del conjunto R, conocido como el axioma del supremo Axioma VIII:

Este axioma nos permite incluir, por ejemplo, 2 en el conjunto R, ya que es fcil probar que 2 = Sup{x Q; x2 < 2}.
Por otra parte, es consecuencia inmediata del axioma del supremo, que todo subconjunto de nmeros reales no vaco y minorado tiene nmo. Este hecho nos permite ver que el nmero e es tambin un nmero real, ya que ste puede verse como

Todo subconjunto de nmeros reales no vaco y mayorado tiene supremo.

e = Inf {(1 + 1/n)n+1 ; n N},

aunque tambin

e = Sup{sn = 1 + 1 + 1/2 + ... + 1/n!; n N}.

Otras consecuencias, algunas sorprendentes, de ste axioma se recogen en el siguiente resultado:

Teorema 1.1.2.
1. El conjunto de los nmeros naturales no est mayorado. 2. Para cada n N y para cada y R+ existe un (nico) nmero real positivo x = n y tal que xn = y 3. Dados dos nmeros reales x < y , existe un nmero irracional tal que x < < y . 4. Dados dos nmeros reales x < y , existe un nmero racional r tal que x < r < y . 5. Si P (n) es una propiedad relativa a un nmero natural n y se verica que P (1) es cierta y que siempre que lo sean P (1), P (2), ..., P (n) lo sea tambin P (n + 1), entonces dicha propiedad es cierta para todos los nmeros naturales.

La recta real: representacin grca del conjunto R

Para tener una idea intuitiva del conjunto, los nmeros reales suele representarse como los puntos de una recta. Para dicha representacin jamos dos puntos sobre una recta horizontal que llamamos origen y punto unidad, y les asignamos los nmeros 0 y 1, respectivamente. El segmento entre 0 y 1 es tomado como unidad de medida y, llevado hacia la derecha del 1, vamos obteniendo los diferentes nmeros naturales. Llevando la misma unidad de medida hacia las izquierda de cero, se obtiene el resto de los nmeros enteros. Los huecos sern rellenados por el resto de los nmeros racionales e irracionales teniendo en cuenta los apartados 3) y 4) del teorema 1.1.2. As, el hecho de que x y se interpreta como que el punto x se encuentra situado a la izquierda del punto y.

12

I.1 El conjunto de los nmeros reales

1.1.4.

Valor absoluto de un nmero real

Dado un nmero real x, se dene su valor absoluto por la siguiente regla

|x| =

x si x 0 x si x < 0

Conviene destacar algunas de sus propiedades:

Proposicin Sean x e y dos nmeros reales, entonces

1. 2. 3.

|x| = 0 si, y slo si x = 0.

Si x = 0, entonces |x| > 0.

|x| = | x|, |xy| = |x||y|. 4. x2 = |x|2 , x2 = |x|.

5. 6.

|x| y si, y slo si y x y . ||x| |y|| |x + y| |x| + |y|,

1.1.5.

Intervalos

Otros subconjuntos especialmente interesantes son los llamados intervalos, esto es, hablando rudamente, los conjuntos que no tienen agujeros. Dados dos nmeros reales a y b, se llamar

Intervalo abierto de extremos a y b, al conjunto

]a, b[:= {x R; a < x < b}.

Intervalo cerrado de extremos a y b, al conjunto

[a, b] := {x R; a x b}.

Intervalo cerrado en a y abierto en b, al conjunto

[a, b[:= {x R; a x < b}.

Intervalo abierto en a y cerrado en b, al conjunto

]a, b] := {x R; a < x b}.

Anlisis Matemtico

13

Semirrecta abierta de origen a al conjunto

]a, +[:= {x R; a < x}.

Semirrecta cerrada de origen a al conjunto

[a, +[:= {x R; a x}.

Semirrecta abierta de extremo b al conjunto

] , b[:= {x R; x < b}.

Semirrecta cerrada de extremo b al conjunto

] , b] := {x R; x b}.
Estos ocho tipos de conjuntos junto con el propio R son los nicos subconjuntos de R que no tienen agujeros , esto es, dicho de forma ms rigurosa, son los nicos subconjuntos I de nmeros reales que verican que, para cada dos puntos x, y I , se tiene que el intervalo ]x, y[ est contenido en I .

1.1.6. Expresin decimal de un nmero real

A los elementos del conjunto D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} se les denomina nmeros

nmeros dgitos que est unvocamente determinada por dicho nmero. Para ver cmo se genera esta asociacin (nmero real-lista de dgitos), comenzamos con el caso particular en que 0 x < 1. En este caso se puede probar que

dgitos. LLamaremos expresin decimal de un nmero real dado x a una lista de

Proposicin 1.1.3. Sea 0 x < 1. Entonces

1. Existe, para cada n N, un nico rn Q tal que 10n rn Z y rn x < rn + 2. Para cada n N, existen n nmeros dgitos tales que
1 10n

rn =

a2 an a1 + 2 + ... + n . 10 10 10

En tal caso, al nmero x se le asocia la lista {a1 , a2 , ..., an , ...} y suele escribirse

x = 0 a1 a2 ...an ...
Una tal expresin recibe el nombre de expresin decimal del nmero x.

14

I.1 El conjunto de los nmeros reales As por ejemplo, la expresin decimal del nmero 1/6 es

1/6 = 0 1666..,6...

Qu ocurre si el nmero no est en el intervalo [0, 1[? Pues bien, para extender esta asociacin a cualquier nmero real usaremos el concepto de parte entera de un nmero. Se llama parte entera de un nmero real x al nmero entero E(x) dado por

E(x) = Sup{p Z; p x}.

Es inmediato comprobar que para cada x R: 1. 2.

E(x) x < E(x + 1),

si p es un nmero entero vericando:

p x < p + 1,
entonces p = E[x]. A partir de aqu es claro que para cada nmero real x, se tiene que x E(x) es un nmero real comprendido entre 0 y 1 y por tanto, usando la proposicin anterior, tiene su correspondiente lista dgitos asociada {a1 , a2 , ..., an , ...}. En tal caso, Se llama expresin decimal de x R+ a la expresin E(x) a1 a2 , ...an ... y suele escribirse

x = E(x) a1 a2 , ..., an .
Si x R , basta considerar x y escribir

x = E(x) a1 a2 , ...an .
As pues, por comodidad, vamos a suponer que x R+ , ya que las deniciones para los nmeros negativos son anlogas. Si la expresin decimal de x es tal que an = 0 a partir de un cierto valor p, diremos que la expresin decimal de x es nita o que x admite un desarrollo decimal nito y en tal caso escribiremos x = E(x) a1 , a2 , ...ap . Merece la pena destacar que en este caso, claramente, x es un nmero racional. Puede ocurrir que un nmero racional, no admita un desarrollo decimal nito, si bien, en tal caso se advierte que existe una lista de dgitos que se repite peridicamente. Si E(x) a1 , a2 , ..., an , ... es la expresin decimal de un nmero racional positivo x, donde ap , ap+1 , ap+2 , ..., aq es una lista de dgitos que se repite de forma continuada, suele escribirse x = E(x) a1 , a2 , ..., ap1 , (ap , ap+1 , ap+2 , ..., aq ).

Anlisis Matemtico

15

Una tal expresin recibe el nombre de expresin decimal peridica. As, por ejemplo 4 = 1 a1 a2 ...an , ..., donde, para cada n N, se tiene que, an = 3. 3 En tal caso escribiremos 4/3 = 1 3. La expresin decimal de un nmero irracional ni es nita ni es peridica. Sea x un nmero real positivo, y sea E(x) a1 a2 ...an ... su expresin decimal. Al valor E(x) a1 a2 ...an se le denomina aproximacin decimal de x con n cifras exactas. En los clculos con nmeros irracionales suele usarse la aproximacin decimal con cifras exactas, teniendo en cuenta que para ello la ltima cifra que aparece es fruto del redondeo y que el nmero de cifras exactas a usar en cada caso depender de la precisin que necesitemos. Por ejemplo en lugar de

e = 2 718281828459045235360287471352662497757247...,
puede escribirse, si en los clculos slo necesitamos contar con seis decimales,

e 2 718282.

1.1.7. Aplicaciones
Con el n de hacer una denicin rigurosa necesitamos recordar algunos conceptos: Dados dos conjuntos A y B se dice que una correspondencia f entre los elementos de A y de B es una aplicacin entre A y B si a cada elemento del conjunto A corresponde un slo elemento del conjunto B . Este hecho suele notarse

f : A B.
Al conjunto A se le suele llamar dominio de la aplicacin f y al conjunto B rango de la aplicacin f . As pues, una aplicacin viene determinada por 1. 2. 3. su dominio, el cojunto donde toma valores, y la ley de correspondencia, x f (x). Por otra parte, se dice que una aplicacin f : A B es 1.

f (x) = f (y)), equivalentemente si f (x) = f (y) siempre que x = y .

inyectiva si, para cualesquiera dos elementos x, y A tales que x = y , entonces

16 2.

I.1 El conjunto de los nmeros reales

sobreyectiva si el conjunto imagen de f ,f (A), que no es otro que el conjunto

f (A) = {y R; existe x A, tal que y = f (x)},
coincide con el conjunto donde toma valores la funcin,

3.

biyectiva si es sobreyectiva e inyectiva.

Sea f : A B es una aplicacin inyectiva. A la aplicacin cuyo dominio es f (A), cuyo rango es A y que viene denida por la ley f (x) x se le denomina aplicacin inversa de f y es notada por f 1 . Obsrvese que la funcin inversa f 1 : f (A) A es una aplicacin biyectiva.

restriccin de f al conjunto C , f /C , a una nueva aplicacin cuyo dominio es C ,

que toma valores en B y cuya ley de correspondencia viene dada por

Dada una aplicacin f : A B y dado un subconjunto C de A, llamaremos

(f /B)(x) = f (x) ( x B).

Sea C un subconjunto de A y g : C B una aplicacin. Llamaremos

extensin de g al conjunto A, g A , a una nueva aplicacin denida en A, con valores

en B y cuya ley de correspondencia est sujeta a la siguiente condicin.

g A (x) = g(x) ( x C).

Dados C A, y f : A B , es claro que f es una extensin de f /C al conjunto A.

1.1.8.

Conjuntos nitos e innitos

Un conjunto A se dice nito si es vaco o si existe un nmero natural n, tal que se puede establecer una aplicacin biyectiva entre el propio A y el conjunto {1, 2, ..., n}. Adems, el nmero natural n se denominar como el cardinal de A, Un conjunto se dice innito si no es nito. El conjunto de los nmeros naturales N, el conjunto de los nmeros enteros Z, el conjunto de los nmeros racionales Q, el de los nmeros irracionales R/Q y todos los intervalos son conjuntos innitos. Podemos preguntarnos ahora si todos tienen el mismo "nmero de elementos". Para ello introducimos el siguiente concepto. Un conjunto A se dice NUMERABLE si es vaco o si existe una aplicacin inyectiva de l en N.

Anlisis Matemtico

17

Claramente todos los conjuntos nitos son numerables y se puede probar que un conjunto innito es numerable si, y slo si, existe una aplicacin biyectiva de l en N. Si consideramos las siguientes aplicaciones inyectivas - I : N N denida por I(n) = n, - f : Z N denida por f (n) = 3n , f (0) = 1 y f (n) = 2n , - g : Q N denida por g(p/q) = f (p)5q , siempre que m.c.d(|p|, q) = 1, y q N deduciremos que tanto N, Z como Q son conjuntos innitos numerables y por tanto en algn sentido tiene los mismos elementos. Sin embargo, se puede probar que no es ste el caso de ninguno de los intervalos ni del conjunto de los nmeros irracionales. Obsrvese que esto ltimo choca con la primera impresin sacada de los apartados 3) y 4) del Teorema 1.1.2.

1.1.9.
1.

Relacin de ejercicios
s x < , donde s, x R ,t, y R+ , probar que t y s s+x x < < . t t+y y

Supuesto que

2.

Dados los nmeros reales x, y , disctase la validez de las siguientes armaciones

a)

2x 3 1 < x+2 3 b ) |x 5| < |x + 1|

c ) |x| |y| = |x y|

3.

Demustrese que para cada nmero natural n se verica que

a ) 1 + 3 + ... + 2n 1 = n2 . n(n + 1)(2n + 1) b ) 12 + 22 + ... + n2 = . 6 c ) 13 + 23 + ... + n3 = (1 + 2 + ... + n)2 . d ) 4n n2 e ) 1 + 1 + 2 + 22 + 23 + ... + 2n = 2n+1

n

f ) (r + s) =
k=0

n k

rk snk , donde r, s R y

n k

n! . k!(n k)!

18 4.

I.1 El conjunto de los nmeros reales Calclense, si existen, el supremo, el mximo, el nmo y el mnimo de los siguientes subconjuntos de nmeros reales:

a ) A = {x R; x2 4 0}, b ) B = {x R; x2 4 < 0}, c ) C = {1/n; n N}. 5. Prubese que 3 es irracional.

6. Prubese que en toda reunin de personas existen al menos dos que conocen exactamente el mismo nmero de asistentes.

1.2. FUNCIONES ELEMENTALES I: FUNCIONES RACIONALES Y EXPONENCIALES19

1.2. Funciones elementales I: Funciones racionales y exponenciales

Sumario
Como ya hemos advertido, el ncleo del curso est constituido por el estudio de aquellas aplicaciones en el que tanto el dominio como el recorrido son subconjuntos de nmeros reales. En esta leccin estudiaremos algunos ejemplos importantes de stas. El contenido completo de esta leccin se articula de la siguiente manera: I.2.1 Funciones reales de variable real. I.2.2 Grcas. I.2.3 Funciones racionales. I.2.4 Funcin logaritmo. I.2.5 Operaciones con funciones. I.2.6 Funcin exponencial. I.2.7 Funciones denidas a trozos. Funciones valor absoluto y parte entera. I.2.8 Relacin de ejercicios.

1.2.1.

Funciones reales de variable real.

Llamaremos funcin real de variable real a toda aplicacin denida en un subconjunto de nmeros reales y con valores en R, esto es, a toda funcin funcin

f : A B,
donde A y B son dos subconjuntos no vacos de nmeros reales. Sea A un subconjunto de nmeros reales y sea f : A R una funcin. Se dice que f es 1. 2.

creciente en A si siempre que x, y A con x < y , entonces f (x) f (y). estrictamente creciente en A si siempre que x, y A con x < y , entonces
f (x) < f (y).

20 3. 4.

I.2. Funciones elementales I

decreciente en A si siempre que x, y A con x < y , entonces f (x) f (y). estrictamente decreciente en A si siempre que x, y A con x < y , entonces montona (resp. estrictamente montona en A si es creciente o decreciente
(resp. estrictamente creciente o decreciente).

f (x) > f (y).

5.

1.2.2.

Grca de una funcin

En ocasiones resulta til tener una "imagen fotogrca"de las funciones, esto se consigue mediante la grca de dicha funcin. Dada una funcin f : A R se dene la grca de f , como el conjunto

Graf (f ) : {(x, y) R R; y = f (x), x A}.

Es claro que el conjunto Graf (f ) es un subconjunto del producto cartesiano R R que notaremos por R2 . Al igual que usamos como representacin grca de R la recta real, podremos usar el plano como representacin grca del conjunto R2 y, por ende, la grca de una funcin real de variable real podr representarse como un subconjunto de ste. La idea que ahora queremos resaltar es que la forma de la grca revela muchas de las propiedades de la funcin correspondiente.
1

0.5

-6

-4

-2

-0.5

-1

Anlisis Matemtico

21

Entre ellas estar por supuesto la monotona, pero habr otras muchas: acotacin, continuidad, derivabilidad, extremos, etc.

1.2.3.

Funciones racionales
Veamos algunos ejemplos importantes de funciones reales de variable real.

1.

Funcin identidad
Dada A un subconjunto de nmeros reales, se dene la funcin identidad en A, IA , como aquella funcin IA : A R que viene denida por

IA (x) = x, x A.
Dicha funcin es estrictamente creciente y su grca

Graf (IA ) = {(x, x); x A}.

es un subconjunto de la diagonal principal

D := {(x, x); x A}.

Si A = [2, 3], entonces su grca puede ser representada por
3 2

-2

-1 -1

-2

2.

Funciones constantes
Dada A un subconjunto de nmeros reales y dado a R, se dene la funcin constante restringida al conjunto A, Ca , como la funcin Ca : A R que viene denida por Ca (x) = a, x A. La grca de dicha funcin

Graf (Ca ) = {(x, a); x R}

puede verse como un subconjunto de la recta horizontal y = a: Si A = [2, 3] y a = 3, entonces su grca puede ser representada por

22
6 5 4 3 2 1

I.2. Funciones elementales I

-2

-1

3.

Funciones polinmicas
Una funcin f : A R se dice ser polinmica si existen a0 , a1 , a2 , ..., an nmeros reales tales que f (x) = an xn + an1 xn1 + ... + a1 x + a0 para cada x A. La funcin identidad y toda funcin constante son ejemplos sencillos de funciones polinmicas. Si A = [2, 3] y f (x) = x3 + x2 + 1, entonces la grca de la funcin polinmica f puede ser representada por la siguiente gura.
1.6 1.4 1.2

-2

-1 0.8 0.6

4.

Funciones racionales
Una funcin f : A R se dice ser racional si existen sendas funciones polinmicas f1 y f2 , con f2 (x) = 0, para cada x A y tales que, para cada x A

f (x) = f1 (x)/f2 (x).

Es claro que todos los ejemplos anteriores lo son de funciones racionales. Si A = [2, 3] y f (x) = ser representada por
x+1 , x2 +1

entonces la grca de la funcin racional f puede

1.2 1 0.8 0.6 0.4 0.2

-2

-1 -0.2

Anlisis Matemtico

23

1.2.4. Funcin logaritmo.

Se dene la funcin Logaritmo neperiano, log , como la nica biyeccin estrictamente creciente, que existe de R+ en R, vericando: - log(1) = 0 - log(e) = 1 - log(xy) = log(x) + log(y). Como consecuencia, se pueden obtener algunas propiedades tales como que: - log(xp ) = plog(x), para cada x R+ y para cada p N. - log(x/y) = log(x) log(y), para cada x, y R+ . Si A =]0, 5] entonces la grca de la restriccin de la funcin logaritmo neperiano al conjunto A puede ser representada por
1 -2 -4 -6 -8 2 3 4 5

Funcin logaritmo de base a

Dado a > 0, a = 1, se llama funcin logaritmo de base a, loga , a la funcin denida en R+ mediante la ley

loga (x) = log(x)/log(a).

Si a > 1, entonces la funcin logaritmo de base a es una biyeccin estrictamente creciente de R+ en R, mientras que si a < 1 entonces es una biyeccin estrictamente decreciente de R+ en R. As por ejemplo, para A =]0, 5] y para a = 10 y a=0,2 las grcas de las correspondientes restricciones de la funcin logaritmo al conjunto A pueden ser comparadas con la anterior
4 2

1 -2 -4

24

I.2. Funciones elementales I

1.2.5.

Operaciones con funciones.

Antes de seguir con el listado de las funciones elementales conviene hacer algunas precisiones. 1. Algebra de funciones En primer lugar hacemos notar que dadas dos funciones f y g denidas sobre un mismo subconjunto de nmeros reales A, se pueden denir las siguientes funciones:

a ) Funcin suma: f + g . La funcin suma es una nueva funcin f + g : A R denida, para cada x A, por (f + g)(x) = f (x) + g(x).
Como consecuencia de esta denicin aparece, asociadas a cada funcin f : A R, la llamada funcin opuesta,f , esto es, la funcin

f : A R,
denida, para cada x A, por

(f )(x) = f (x).
b ) Funcin producto, f.g : La funcin producto es una nueva funcin f.g : A R denida, para cada x A, por f.g(x) = f (x)g(x).
Como consecuencia, siempre 0 f (A), denimos la funcin inversa para el producto, 1/f , como la funcin

1/f : A R,
dada, para cada x A, por

(1/f )(x) =

1 . f (x)

c ) Funcin producto por un escalar a, af : Para cada a R, la funcin , af , es una nueva funcin de A en R que viene denida, para cada x A, por

(af )(x) = af (x).

Anlisis Matemtico 2. Composicin de funciones

25

Supongamos ahora que existen sendas funciones f : A R y g : B R de manera que el conjunto B contiene al Podemos denir la funcin composicin de ambas, g f , como la funcin

g f : A R
denida, para cada x A, por

g f (x) = g[f (x)].

Recordemos que asociada a toda funcin inyectiva f : A R podemos considerar la funcin inversa, f 1 , denida en f (A), con valores en A y que viene denida mediante la ley :

f 1 (f (x)) = x (x A),
esto es, Adems es claro que

f 1 f = IA . f f 1 = If (A) .

Es fcil probar, usando estas ltimas consideraciones, que toda aplicacin estrictamente montona es inyectiva y que su inversa es igualmente estrictamente montona y del mismo tipo (creciente decreciente).

1.2.6. Funcin exponencial.

Ya podemos continuar con la lista de ejemplos Llamaremos funcin exponencial, ex , a la funcin inversa del logaritmo neperiano, ser por tanto, una biyeccin estrictamente creciente de R en R+ tal que: - e0 = 1 - e1 = e - ex+y = ex ey , para cada x, y R. - elogx = x - log(ex ) = x. Su grca se puede representar como sigue: Dados x R+ e y R, convendremos en notar

xy = eylogx ,

26
20

I.2. Funciones elementales I

15

10

-2

-1

en particular se obtiene que:

log(xy ) = ylogx,

Funcin exponencial de base a

Dado a > 0, a = 1, la funcin ha : R R+ denida por ha (x) = ax , se denomina funcin exponencial de base a, y se notar por ax . Dicha funcin es estrictamente creciente (resp. decreciente) si a > 1 (resp. a < 1) de R en R+ y verica las siguientes propiedades: - a0 = 1 - a1 = a - ax+y = ax ay . Sus grcas para a = 0, 1 y a = 5 se pueden representar como siguen:
40

30

20

10

-2

-1

Anlisis Matemtico

27

Funcin potencial
Dado b = 0, la funcin pb : R+ R+ denida por pb (x) = xb , se denomina funcin potencial de exponente b, y se notar por xb . Dicha funcin es estrictamente creciente (resp. decreciente) si b > 0 (resp. si b < 0) de R+ en R+ y verica las siguientes propiedades: - 1b = 1 - (xy)b = xb y b . Sus grcas (para b = y b = 1 ) se pueden representar como siguen:

40

30

20

10

0.5

1.5

2.5

1.2.7.

Funciones denidas a trozos. Funciones parte entera y valor absoluto.

Supongamos que tenemos un subconjunto A de nmeros reales y dos subconjuntos disjuntos de ste B y C tales que A = B C . Dispongamos adems de sendas funciones reales de variable real g y h denidas respectivamente en B y C . A partir de aqu podemos denir una nueva funcin f : A R mediante la siguiente expresin:

f (x) =

g(x) h(x)

si x B si x C.

Decimos que una tal funcin es una funcin denida a trozos. Es evidente que las propiedades de la nueva funcin dependern de las propiedades de las funciones que la denen y de la forma en que los subconjuntos se complementan. Como ejemplos ms sencillos veremos los dos siguientes:

Funcin parte entera:

Se dene la funcin entera, E , como la funcin E : R R denida por

E(x) = Sup{p Z; p x}.

Dicha funcin es creciente y su grca puede representarse como una escalera innita cuyos peldaos son intervalos de longitud uno, y que, en cada nmero entero, tiene un salto de altura uno.

28
2

I.2. Funciones elementales I

-2

-1

-1

-2

Si A = [2, 3], entonces la grca de la funcin E(x) restringida al conjunto A puede ser representada por

Funcin valor absoluto.

Se dene la funcin valor absoluto como la funcin |.| : R R, denida para cada x R por x si x 0 |x| = x si x < 0 La grca puede representarse como la unin de las bisectrices del primer y segundo cuadrante.
3 2.5 2 1.5 1 0.5

-2

-1

1.2.8.
1.

Relacin de ejercicios.

En una vasija de 30 cm de altura entra agua a ritmo constante. Se llena en 5 segundos.Usad esta informacin y la forma de la vasija para responder a las siguientes cuestiones:

Anlisis Matemtico

29

a ) Si d representa la profundidad del agua medida en centmetros y t el tiempo transcurrido en segundos, explicad por qu d es funcin de t. b ) Hallad el dominio y el recorrido de dicha funcin. c ) Esbozad una posible grca de la funcin.
2. Sea A un subconjunto de nmeros reales y f : A R una funcin real de variable real. Se dice que f es par (resp. impar) si, para cada x A, se verica que x A y que f (x) = f (x) (resp. f (x) = f (x). Qu se puede decir acerca de la grca de una funcin par?, y de una funcin impar? Dense ejemplos de funciones par, impar y no par ni impar. Sea A un subconjunto de nmeros reales y f : A R una funcin real de variable real. Se dice que f est acotada (resp. acotada superiormente / inferiormente) si su conjunto imagen f (A) es un subconjunto de nmeros reales acotado (resp. superiormente / inferiormente acotado). Prebese que f est acotada si, y slo si, existe M R, tal que, para cada x A, se verica que |f (x)| M. Qu funciones componen la funcin f : R+ R en cada uno de los siguientes casos?

3.

4.

1) f (x) = (log 2 x)ex ,

3 2) f (x) = ( x)logx .

Dense otros ejemplos de composicin de funciones.

1.3. FUNCIONES ELEMENTALES II: FUNCIONES TRIGONOMTRICAS

31

1.3. Funciones elementales II: Funciones trigonomtricas

Sumario
Las funciones trigonomtricas son importantes porque permiten expresar las distintas relaciones entre los lados y los ngulos de un tringulo, y porque sus propiedades le coneren una especial disposicin para expresar muchos fenmenos naturales. Estas dos facetas hacen que su empleo en la Fsica y en la Ingeniera sea muy frecuente. El contenido completo de esta leccin se articula de la siguiente manera: I.3.1 El nmero . I.3.2 Funcin arcocoseno. I.3.3 Funciones seno y coseno. I.3.4 Funcin tangente. I.3.5 Funciones secante, cosecante y cotangente. I.3.6 Funciones arcoseno y arcotangente. I.3.7 Identidades trigonomtricas. I.3.8 Funciones hiperblicas. I.3.9 Relacin de ejercicios.

1.3.1. El nmero
Consideremos la funcin f : [1, 1] R denida por f (x) = 1 x2 , t [1, 1]. La grca de esta funcin recibe el nombre de semicircunferencia unidad. Notemos por : [1, 1] R2 la aplicacin denida por (t) = (t, 1 t2 ). Es claro que

Graf (f ) = ([1, 1]).

32
1 0.8 0.6 0.4 0.2 -1 -0.5

I.3. FUNCIONES ELEMENTALES II

0.5

Sea P = {t0 , t1 , ..., tn }, tal que t0 = 1 y tn = 1 y ti1 < ti , para i {1, 2, ..., n}. Un tal conjunto P recibe el nombre de particin del conjunto [1, 1]. Asociado a esta particin podemos considerar la "poligonal"P que resulta de unir los "segmentos"

[(t0 ), (t1 )], [(t1 ), (t2 ], ..., [(tn1 ), (tn )].

Notemos por l(P ) a la longitud de la poligonal P determinada por la particin P , esto es, l(P ) = dist((t0 ), (t1 )) + ... + dist((tn1 ), (tn )). As, por ejemplo si P = {1, 1/2, 1/2, 1}, obtenemos la siguiente poligonal inscrita en la semicircunferencia unidad:
1 0.8 0.6 0.4 0.2 -1 -0.5 0.5 1

cuya longitud viene dada por:

l(P ) = dist((1), (1/2)) + dist((1/2), (1/2)) + +dist((1/2), (1)).

Es notorio que cuanto ms puntos tenga la particin, mayor es la longitud de la correspondiente poligonal y, por consiguiente, su longitud est ms cercana a la longitud de la semicircunferencia unidad. Es fcil probar que la longitud de dicha semicircunferencia, l(), no es otra cosa que:

l() = Sup{l(P ); P particin de [1, 1]}.

Pues bien, dicha longitud, que es un nmero real en virtud del axioma del supremo, es conocido como el nmero . Se puede probar que no es un nmero racional. Pasamos ahora a denir las distintas funciones trigonomtricas.

1.3.2.

Funcin arcocoseno

Consideremos ahora, para cada x [1, 1], el trozo de semicircunferencia que es imagen de /[x, 1]. Denimos por

l(/[x, 1]) = Sup{l(Q ); Q particin de [x, 1]},

Anlisis Matemtico donde l(Q ) es la longitud de la poligonal asociada a la particin Q.

33

Denimos la funcin arcocoseno, arc cosx, como la funcin biyectiva y estrictamente decreciente del intervalo [1, 1] en el intervalo [0, ] denida por la ley

arc cosx = l(/[x, 1]),

se puede probar que: 1. 2.

arc cosx + arc cos(x) = . arc cos(0) = . 2

Y su grca puede ser representada como sigue
3

2.5

1.5

0.5

-1

-0.5

0.5

Antes de pasar al resto de las funciones trigonomtricas, vamos denir una propiedad interesante que tienen algunas de las funciones que vamos a denir a continuacin: la periodicidad. Se dice que una funcin f : A R es una funcin peridica, si existe un nmero real no nulo T tal que para todo x A, entonces x + T A y

f (x + T ) = f (x).
Dicho nmero real T recibe el nombre de periodo de la funcin f .

1.3.3. Funciones seno y coseno

Se llama funcin coseno y se nota por cosx a la nica funcin de R en R par y peridica con periodo 2 cuya restriccin a [0, ] es tal que

cos(x) = (arc cos)1 (x),

y por tanto, para cada x [0, ],

arccos(cosx) = x,

34
1

I.3. FUNCIONES ELEMENTALES II

0.5

-6

-4

-2

-0.5

-1

y para cada y [1, 1],

cos(arcosy) = y.
La grca de la funcin coseno es como sigue Se llama funcin seno, senx, a la nica funcin de R en R impar y peridica con periodo 2 cuya restriccin a [0, ] es tal que

sen(x) =
La grca de la funcin seno es como sigue
1

1 cos2 (x).

0.5

-6

-4

-2

-0.5

-1

El siguiente resultado resume algunas propiedades del seno y coseno.

Teorema 1.3.1.
1. sen2 x + cos2 x = 1

(x R).

2. La restriccin de la funcin coseno al intervalo [0, ] es una biyeccin estrictamente decreciente de ste en el intervalo [1, 1], con 2 1 3 cos0 = 1, cos = 0, cos = 1, cos = , cos = , cos = . 2 4 2 3 2 6 2 3. La restriccin de la funcin seno al intervalo [ , ] es una biyeccin estricta2 2 mente creciente de ste en el intervalo [1, 1], con 2 3 1 sen0 = 0, sen( ) = 1, sen = 1, sen = , sen = sen = . 2 2 4 2 3 2 6 2 4. La imagen de ambas funciones es el intervalo [1, 1].

Anlisis Matemtico

35

5. La funcin coseno es una funcin par y peridica de periodo 2 :

cosx = cos(x),

cos(x + 2) = cosx,

(x R),

mientras que la funcin seno es impar y peridica:

sen(x) = senx,
6.

sen(x + 2) = senx

(x R).

cos(x + ) = cosx, sen(x + ) = senx

7. cos(x + y) = cosxcosy senxseny.

(x R).

sen(x + y) = senxcosy + cosxseny.

8. Dados dos nmeros reales a, b, vericando que a2 +b2 = 1, existe un nico nmero real x tal que x ] , ], cosx = a y senx = b. 9. Sean x, y R tales que senx = seny y cosx = cosy , entonces existe un nico nmero entero p tal que x = y + 2p . 10. {x R; cosx = 0} = { + k; k Z}. 2

{x R; senx = 0} = {k; k Z}.

1.3.4. Funcin tangente

Sea A = R\{ + k; k Z}. Se llama funcin tangente, tgx , a la funcin de A 2 en R denida por senx tg(x) = . cosx Algunas de sus propiedades pueden verse en el siguiente resultado

Proposicin 1.3.2. 1. La funcin tangente es una funcin peridica de periodo ,

esto es, para cada x A,

tg(x + ) = tg(x).
2. La funcin tangente restringida al intervalo ] , [, es una biyeccin estrictamente 2 2 creciente de dicho intervalo en R. 3. La grca de la funcin tangente restringida al conjunto [, ]\{ , } puede 2 2 representarse de la siguiente forma:

36
40

I.3. FUNCIONES ELEMENTALES II

20

-3

-2

-1 -20

-40

1.3.5.

Funciones secante, cosecante y cotangente

Sea A = R\{ + k; k Z}. Se llama funcin secante, secx , a la funcin de A 2 en R denida por 1 sec(x) = . cosx La grca de la funcin secante restringida al conjunto [, ]\{ , } puede repre2 2 sentarse de la siguiente forma:
20

10

-3

-2

-1 -10

-20

Sea B = R\{k; k Z}. Se llama funcin cosecante, cosecx , a la funcin de B en R denida por 1 cosec(x) = . senx La grca de la funcin cosecante restringida al conjunto A =] , [/{0} puede representarse de la siguiente forma:
20

10

-3

-2

-1 -10

-20

Llamaremos funcin cotangente, cotgx , a la funcin de B en R denida por

cotg(x) =

cosx . senx

Anlisis Matemtico
40 20

37

-3

-2

-1 -20 -40

La grca de la funcin cotangente restringida al conjunto A =] , [/{0} puede representarse como hemos visto en el dibujo anterior.

1.3.6.

Funciones arcoseno y arcotangente.

Llamaremos funcin arcoseno, arc senx, a la funcin inversa de la restriccin de la funcin seno al intervalo [ , ], esto es, 2 2

arc sen[sen(x)] = x, (x [ , ] sen[arc sen(y)] = y (y [1, 1]). 2 2

Dicha funcin es pues una biyeccin estrictamente creciente de [ , ] en [1, 1] con 2 2

arc sen(1) =
Su grca es como sigue:

arc sen(0) = 0,

arc sen(1) =

. 2

1.5 1 0.5

-1

-0.5 -0.5 -1 -1.5

0.5

Llamaremos funcin arcotangente, arc tgx a la inversa de la restriccin de la funcin tangente al intervalo ] , [, esto es, 2 2

arc tg[tg(x)] = x, tg[arc tg(y)] = y.

Dicha funcin es una biyeccin estrictamente creciente de dicho intervalo en todo el conjunto R con arc tg(0) = 0. Su grca de es como sigue:

38
1

I.3. FUNCIONES ELEMENTALES II

0.5

-2

-1 -0.5

-1

1.3.7.

Identidades Trigonomtricas.

Usando las propiedades antes descritas de las funciones trigonomtricas pueden deducirse otras muchas conocidas como identidades trigonomtricas. A continuacin damos algunas de ellas. Dados dos nmeros reales x e y en el dominio correspondiente, obtenemos que: 1. Identidades pitagricas

tg 2 (x) + 1 = sec2 (x), cotg 2 (x) + 1 = cosec2 (x),

2.

si se quiere si se quiere

cos(x) = sen(x) =

1 1 + tg 2 (x) tg(x)

. .

1 + tg 2 (x)

tg(x y) =
3. ngulo doble

tgx tgy . 1 tgx tgy

sen2x = 2senxcosx,
4. ngulo mitad

cos2x = 2cos2 x 1 = 1 2sen2 x.

1 1 sen2 x = (1 cos2x), cos2 x = (1 + cos2x), 2 2 x 1 cosx senx tg( ) = = . 2 senx 1 + cosx

5. producto

1 senxseny = [cos(x y) cos(x + y)], 2 1 cosxcosy = [cos(x y) + cos(x + y)], 2 1 senxcosy = [sen(x + y) + sen(x y)]. 2

Anlisis Matemtico

39

1.3.8. Funciones Hiperblicas.

Se dene la funcin coseno hiperblico, coshx, como una funcin cosh : R R, denida por ex + ex coshx = . 2 Se dene la funcin seno hiperblico, senhx, como una funcin senh : R R, denida por ex ex senhx = . 2 El siguiente resultado resume algunas propiedades del seno y coseno hiperblicos.

Proposicin 1.3.3.
1. La funcin coseno hiperblico es una funcin par y la funcin seno hiperblico es una funcin impar. 2. La funcin seno hiperblico es una biyeccin estrictamente creciente de R en R. 3. La restriccin de la funcin coseno hiperblico a R+ (resp. R ) es una biyeccin 0 0 estrictamente creciente (resp. decreciente) de R+ (resp. R ) sobre [1, +[. 0 0 4. 5.

cosh2 x senh2 x = 1. cosh(x + y) = coshx coshy + senhx senhy. senh(x + y) = senhx coshy + coshx senhy.
La grca del seno hiperblico es como sigue:

20 10

-4

-2 -10 -20

La grca de la funcin coseno hiperblico restringida a R+ es como sigue 0

40
25 20 15 10 5

I.3. FUNCIONES ELEMENTALES II

Finalmente, diremos que, por analoga con las funciones trigonomtricas, podemos hablar de tangente hiperblica, tgh, la cual es una biyeccin estrictamente creciente de R sobre ] 1, 1[ y su grca es como sigue:
1

0.5

-4

-2

-0.5

-1

1.3.9.
1.

Relacin de ejercicios

Hllese la funcin inversa de

a ) senhx. b ) coshx/R+ . 0
2. Sea g : R ] , [ la funcin denida por g(y) = 2arctgy . Hllese en funcin de y ,

a ) seng(y). b ) cosg(y).

1.4. SUCESIONES DE NMEROS REALES

41

1.4. Sucesiones de nmeros reales

Sumario
Introduciremos en esta leccin una herramienta muy potente del anlisis matemtico: las sucesiones. Esta nos facilitar la comprensin de los conceptos de lmite y de continuidad. El contenido completo de esta leccin se articula de la siguiente manera: I.4.1 Acotacin, monotona y convergencia de sucesiones. I.4.2 Sucesiones divergentes. I.4.3 Relacin de ejercicios.

1.4.1.

Acotacin, monotona y convergencia de sucesiones

Una sucesin de elementos de un cierto conjunto A no es ms que una "lista ordenada"de elementos de A o dicho de forma ms rigurosa: una sucesin de elementos de A es una aplicacin f : N A. En lugar de escribir f (n) se suele escribir xn , mientras que la sucesin f suele notarse por {xn }nN simplemente {xn }. A la imagen xn se le denominar trmino n-simo de la sucesin {xn }nN . Una sucesin de nmeros reales no es ms que una sucesin en la que A R. Dada una sucesin {xn }, al conjunto {xn : n N} se le denomina conjunto imagen de la sucesin {xn }. As por ejemplo si consideramos la sucesin {1, 0, 1, 0, 1, ...} su conjunto imagen est formado por slo dos elementos, a saber {0, 1}. Veamos ahora algunas propiedades que pueden tener las sucesiones. Se dice que una sucesin de nmeros reales {xn }nN 1. 2. 3. 4. est mayorada, si existe un nmero real M tal que, para cada n N, xn M . est minorada, si existe un nmero real M tal que, para cada n N, xn M . est acotada si est mayorada y minorada. Es fcil probar que una sucesin est acotada si, y slo si, existe un nmero real positivo M tal que |xn | M . es creciente si, para cada n m N, se tiene que xn xm .

42 5.

I.4. Sucesiones es decreciente si, para cada n m N, se tiene que xn xm ).

Es fcil probar por induccin que una {xn }nN es creciente (resp. decreciente) si, para cada natural n, xn xn+1 (resp. xn xn+1 .

6.

es convergente si existe un nmero real x vericando lo siguiente:

"para cada intervalo centrado en x, existe un trmino de la sucesin, a partir del cual, todos los restantes trminos estn incluidos en dicho intervalo ",
o escrito en lenguaje formal

> 0, N N, tal que si n N entonces |xn x| < .

Se dice en tal caso que x es el lmite de la sucesin {xn }nN que la sucesin {xn }nN converge a x, y suele notarse por

x = limn xn

{xn } x.

Sea : N N una aplicacin estrictamente creciente y sea {xn } una sucesin. Se dice que {yn } es una sucesin parcial de {xn } si

yn = x(n) .
Los ejemplos ms sencillos de sucesiones parciales de una sucesin dada son las sucesiones de sus trminos pares (n) = 2n y de sus trminos impares (n) = 2n + 1 En el siguiente resultado recogemos ms propiedades importantes de las sucesiones.

Proposicin 1.4.1.
1. Toda sucesin convergente tiene un nico lmite. 2. Sean {xn } una sucesin de nmeros reales, x R y p N. La sucesin {xn } es convergente a x si, y slo si, la sucesin {xn+p } converge tambin a x. 3. Una sucesin es convergente si, y slo si, todas sus sucesiones parciales convergen al mismo lmite. 4. La sucesin {xn } converge a cero, si y slo si la sucesin {|xn |}converge a cero. 5. Toda sucesin creciente y mayorada {xn } es convergente a x = Sup{xn ; n N}. En particular la sucesin {xn }, donde para cada n N, xn = 1/0! + 1/1! + 1/2! + ... + 1/(n 1)! es convergente y su lmite es el nmero e. 6. Toda sucesin decreciente y minorada {xn } es convergente a x = Inf {xn ; n N}. En particular la sucesin {1/n } converge a cero para todo > 0.

Anlisis Matemtico

43

7. Sean x, y R y sea {xn } una sucesin convergente a x. Si para cada n N, xn y , entonces x y . Si adems se tiene que {yn } y {zn } son dos sucesiones de nmeros reales tales que,
a) b)

para cada n N, xn yn zn ,

limn zn = x,

entonces la sucesin {yn } converge tambin a x. 8. Si {xn }e {yn } son dos sucesiones convergentes respectivamente a x e y , entonces la sucesin

suma, esto es, la sucesin {xn + yn } converge a x + y . b) producto, esto es, la sucesin {xn yn } converge a xy . c) cociente, esto es, la sucesin {xn /yn }, converge a x/y siempre que y = 0 e
a)

yn = 0, para todo n N.

9. El producto de una sucesin acotada por una convergente a cero es una sucesin convergente a cero.

Ejemplo:
Prubese que si |x| < 1, entonces la sucesin {xn } converge a cero. Es fcil probar que toda sucesin convergente est acotada y sin embargo, la sucesin {1, 0, 1, 0, ...} que est mayorada por 1 y minorada por 0, luego acotada, demuestra que existen sucesiones acotadas que no son convergentes. No obstante tenemos el siguiente importante resultado parcial

Proposicin 1.4.2. (Teorema de Bolzano-Weierstrass)

Toda sucesin acotada admite una parcial convergente.

1.4.2. Sucesiones divergentes

Se dice que una sucesin {xn }nN diverge positivamente si

M > 0, N N, tal que si n N entonces xn > M.

Este hecho suele notarse por

limn xn = +

{xn } +.

44 Se dice que una sucesin {xn }nN diverge negativamente si

I.4. Sucesiones

N < 0, N N, tal que si n N entonces xn < N.

Este hecho suele notarse por

limn xn =

{xn } .
Diremos que que una sucesin {xn }nN es divergente si lo es positivamente o lo es negativamente. Veamos ahora algunas propiedades de las sucesiones divergentes.

Proposicin 1.4.3.
1.- Una sucesin diverge positivamente si, y slo si, todas sus sucesiones parciales divergen positivamante. 2.- Sean {xn } una sucesin de nmeros reales, y p N. La sucesin {xn } diverge positivamente si, y slo si, la sucesin {xn+p } diverge positivamente. 3.- Toda sucesin creciente y no mayorada es divergente positivamente. En particular si |x| > 1, entonces la sucesin {|xn |} diverge positivamente. 4.- Toda sucesin decreciente y no minorada diverge negativamente. 5.- Sean {xn }, {yn } dos sucesiones de nmeros reales tales que, para cada n N, xn yn . Si la sucesin {xn } diverge positivamente, entonces la sucesin {yn } tambin diverge positivamente. 6.- Si {an } es una sucesin divergente positivamente, entonces existe k N tal que la sucesin {1/an+k } converge a cero. 7.- Si {an } es una sucesin de trminos positivos que converge a cero, entonces la sucesin {1/an } divergente positivamente. En particular la sucesin {n } diverge positivamente para todo > 0.

Anlisis Matemtico

45

1.4.3. Relacin de ejercicios

1. 2. 3. Probar que si {xn } x, entonces {|xn |} |x|. Es cierto el recproco? Probar que si {xn } e {yn } son sucesiones acotadas, {xn + yn } y {xn yn } tambin lo son. Estudiar la convergencia de la sucesin {xn } en los siguientes casos: a ) x1 = 2, xn+1 = 2 + xn , n N. b ) x1 = 1, xn+1 = 2xn , n N. Dese un ejemplo de una sucesin de nmeros reales...

4.

a ) positivos, convergente a cero, que no sea montona. b ) no acotada que admita una parcial convergente.

1.5. SERIES DE NMEROS REALES

47

1.5. Series de nmeros reales

Sumario
Introduciremos en esta leccin una de las herramientas ms potentes del Anlisis Matemtico: las series. Nosotros las usaremos para aproximar los valores que se obtendran al evaluar algunas funciones, ya que dichos valores no son ms que la suma de una determinada serie. El contenido completo de esta leccin se articula de la siguiente manera: I.5.1 Series de nmeros reales. I.5.2 Criterios de convergencia. I.5.3 Relacin de ejercicios.

1.5.1.

Series de nmeros reales

Para motivar el concepto de serie de nmeros reales vamos a exponer la siguiente paradoja propuesta por Zenn (495-435 a. de C.)

Paradoja del corredor: Un corredor no puede alcanzar nunca la meta.

Para justicar esta conclusin vamos a dividir el recorrido total que ha de hacer el corredor en la siguiente forma: consideramos en primer lugar la mitad del recorrido inicial y a ste aadimos la mitad del recorrido restante, a ste ltimo aadimos igualmente la mitad del recorrido restante y as sucesivamente. Obsrvese que para recorrer por separado cada una de estas partes, cada vez ms pequeas, se necesita una cantidad positiva de tiempo, parece natural armar que el tiempo necesario para el trayecto total ha de ser la suma de todas estas cantidades de tiempo. Decir que el corredor nunca puede alcanzar la meta equivale a decir que nunca llega en un tiempo nito; o dicho de otro modo, que la suma de un nmero innito de intervalos positivos de tiempo no puede ser nita. Esta paradoja fue resuelta muy posteriormente con la introduccin del concepto de serie. Se llama serie de nmeros reales a todo par ordenado de sucesiones de nmeros reales ({an }, {Sn }), donde ({an } es una sucesin arbitraria y, para cada natural n, la segunda sucesin es tal que: Sn = n an . i=1 La sucesin {Sn } recibe el nombre de sucesin de sumas parciales de la serie. Dicha serie suele representarse por an .
n1

48 Se dice que la serie

n1

I.5. Series de nmeros reales

an es convergente si lo es la sucesin {Sn } de sus sumas an y

n1

parciales. Al lmite de sta ltima sucesin se le denomina suma de la serie

se representa por
n=1

an .

gentes.

Antes de pasar a los ejemplos veamos algunas propiedades de las series conver-

Proposicin 1.5.1. Sean

n1

an y
n1

bn dos series de nmeros reales.

1. Si la serie
n1

an es convergente entonces la sucesin {an } converge a cero.

2. Si ambas series son convergentes y r, s son dos nmeros reales, entonces la serie n1 ran + sbn es convergente y se verica que:

(ran + sbn ) = r
n=1 n=1

an + s
n=1

bn .

3. Sea k N. Entonces la serie

n1

an es convergente si, y slo si, la serie

n1

an+k

tambin lo es. Adems en caso de que converjan tenemos que:

an = a1 + a2 + ... + ak +
n=1 n=1

an+k .

4. Supongamos que, para cada n N se tiene que |an | bn . Si la serie convergente entonces
n1 an tambin es convergente y se verica que: n1

bn es

|
n=1

an |
n=1

bn . an .
n1

En particular , si la serie
n1

|an | es convergente tambin lo es la serie

5. (Criterio de condensacin) Si la sucesin {an } es una sucesin decreciente de nmeros reales no negativos, entonces la serie an es convergente si, y slo si,
n1

la serie
n1

2 a2n tambin lo es.

Anlisis Matemtico Veamos ahora algunos ejemplos de series 1.

49

Serie geomtrica de razn r = 1.

Es aquella cuyo trmino general es an = rn1 y cuya sucesin de sumas n parciales es por tanto Sn = 1 + r + ... + rn1 = 1r . De aqu se deduce que dicha 1r serie es convergente si, y slo si, |r| < 1. Adems en caso de que sea convergente se tiene que 1 rn1 = . 1r n=1

2.

Serie cuyo trmino general es an =

1 . (n1)!

Es aquella cuya sucesin de sumas parciales correspondiente es

Sn = 1 + 1 + 1/2 + ... +

1 . (n 1)!

Veremos ms adelante que dicha serie es convergente, de hecho, se puede probar que

1/(n 1)! = e.
n=1

3.

Serie armnica.
Es aquella cuyo trmino general es an = 1/n y cuya sucesin de sumas parciales es por tanto Sn = 1 + 1/2 + ... + 1/n. Se puede probar, usando la ltima propiedad que que dicha serie no es convergente. En general se puede probar, usando esta misma propiedad, que la serie cuyo trmino general es an = 1/n es convergente si, y slo si, > 1.

4.

Serie armnica-alternada.
Es aquella cuyo trmino general es an = (1)n+1 /n y cuya sucesin de sumas parciales es por tanto Sn = 1 1/2 + ... + (1)n+1 /n. Ms tarde deduciremos que dicha serie es convergente, de hecho se puede probar que

(1)n+1 /n = log2.
n=1

Obsrvese que este ltimo ejemplo prueba que la serie y no lo es la serie

n1

n1

an es convergente

|an |. Esto da pie a la siguiente denicin. an es absolutamente convergente si la serie de

n1

Se dice que una serie valores absolutos

n1

|an | es convergente.

50 Resumiendo hemos visto que:

I.5. Series de nmeros reales

absolutamente convergente convergente convergente absolutamente convergente. Desafortunadamente, a excepcin de los ejemplos anteriormente ya citados y algunos derivados de ellos, para el resto de las series convergentes es difcil calcular la suma. Esto nos obliga a reducir nuestro estudio a probar si una determinada serie es convergente o no.

1.5.2.
1.

Criterios de convergencia

Series de trminos no negativos

Obsrvese que si una serie
n1

an es de trminos no negativos, para cada

n N, an 0, entonces la serie de sumas parciales es una sucesin creciente, y por tanto, convergente si, y slo si, est mayorada. En consecuencia. la serie es convergente si, y slo si, la sucesin de sumas parciales est mayorada. Esta particularidad justica que, para estas series, dispongamos de numerosos criterios de convergencia. Por otra parte, es claro que, despus de las propiedades vistas con anterioridad, slo las series an , cuyos conjuntos {n N; an < 0} {n N; an > 0} sean innitos quedan excluidos de este epgrafe.
Veamos algunos criterios de convergencia para este tipo de series.
n1

Teorema 1.5.2. (Criterio de comparacin)

Sea {an } una sucesin de nmeros reales no negativos y {bn } una sucesin de nmeros reales positivos.
a)

Si la sucesin {an /bn } converge a un nmero positivo, entonces la serie

n1

an

converge si, y slo si, converge la serie

n1

bn . bn es convergente, enn1

b)

Si la sucesin {an /bn } converge a cero y la serie tonces la serie

n1

an es convergente.
n1

c)

Si la sucesin {an /bn } diverge positivamente y la serie gente, entonces la serie

n1

an es conver-

bn es convergente.

Anlisis Matemtico

51

Conviene resaltar que este criterio se mostrar ms potente cunto mayor nmero de ejemplos conozcamos su convergencia. En este conocimiento es indispensable recordar que la serie cuyo trmino general es an = 1/n es convergente si, y slo si, > 1. Veamos ahora algunos criterios de convergencia intrnsecos, esto es, criterios que involucran slo a la propia serie. En primer lugar, obsrvese que si el el conjunto {n N; an 1} es innito, entonces la serie an no es convergente, ya que podramos construir una parcial de la sucesin trmino general no convergente a cero. Veamos a continuacin un primer criterio positivo
n1

Teorema 1.5.3. (Criterio de la raz)

Sea {an } una sucesin de nmeros reales no negativos y L [0, 1[. Si la sucesin an es convergente. { n an } converge a L, entonces la serie
n1

Si los trminos son positivos el siguiente criterio es ms cmodo

Teorema 1.5.4. (Criterio del cociente)

Sea {an } una sucesin de nmeros reales positivos y L [0, 1[. Entonces
a)

Si la sucesin {an+1 /an } converge a L, entonces la serie gente.

n1

an es converan no es
n1

b)

Si la sucesin {an+1 /an } converge a 1/L, entonces la serie convergente.

Como consecuencia obtenemos por ejemplo que la serie
n1

1/n! es convergente.

Obsrvese que, cuando dicho cociente {an+1 /an } tiende a uno, este criterio nos deja sin informacin. En algunos casos esta laguna se resuelve con un tercer criterio:

Teorema 1.5.5. (Criterio de Raabe)

Sea {an } una sucesin de nmeros reales positivos y L [0, 1[. Entonces
a)

Si la sucesin {n(1 convergente.

an+1 )} an

converge a L, entonces la serie

n1

an no es

52 b)

I.5. Series de nmeros reales

Si la sucesin {n(1 convergente.

an+1 )} an

converge a 1/L, entonces la serie

n1

an es

2.

Series de trminos cualesquiera

La estrategia que seguiremos para las series no incluidas en el apartado anterior ser la de estudiar primeramente si son absolutamente convergentes, y para ello usaremos los criterios del apartado anterior. Si son absolutamente convergentes, en virtud de lo ya visto, sern tambin convergentes, en otro caso necesitaramos de algn otro criterio. En este curso slo veremos el criterio de Leibnitz para series alternadas.

Teorema 1.5.6. (Criterio de Leibnitz)

Si {an } es una sucesin de nmeros reales decreciente y convergente a cero, entonces la serie (1)n+1 an es convergente.
n1

Como consecuencia ya podemos justicar que la serie convergente.

n1

(1)n+1 /n es

1.5.3.

Relacin de ejercicios

Estdiese la convergencia de las siguientes series de nmeros reales: 1. 2. 3. 4. a) a) a) a)

1 , n2n 2n . n (1)n (1)n

b) b)

log(n) , n 1 . n
b) b) c)

c)

1 , 2n 1 1 . nlog(n)
d)

d)

(1)n 3

1 . n

n . (n + 1) n

2n 1 . 2n

1 . n! nn en2 +1 .

1 . (3n 2)(3n + 1)
c)

1 . log(n)

2n n! . nn

1.6. EL ESPACIO EUCLDEO. CAMPOS VECTORIALES Y ESCALARES

53

1.6. El espacio eucldeo. Campos vectoriales y escalares

Sumario
En esta leccin nos centramos en la estructura eucldea de Rn , que es indispensable para extender las propiedades y conceptos vistos en el conjunto R. Asociaremos a cada funcin denida en un subconjunto A de Rq con valores en Rn n funciones denidas en A y con valores en R, tcnica que resultar muy ecaz ms adelante. Realmente, como veremos, nuestro estudio se podra ceir a los casos en que n, q {1, 2, 3} que son en los que trabajaremos siempre, sin embargo, la estructura eucldea puede denirse sin dicultad para cualquier n. El contenido completo de esta leccin se articula de la siguiente manera: I.6.1 Estructura algebraica. I.6.2 Estructura eucldea. I.6.3 Conceptos topolgicos. 1.6.4 Sucesiones en Rn . I.6.5 Campos vectoriales y escalares. I.6.6 Funciones coordenadas. I.6.7 Relacin de ejercicios.

1.6.1. Estructura algebraica

Dado n N, consideremos en el conjunto

Rn = R R . .n . R = {(x1 , x2 , ..., xn ); xi R, i = 1, 2, ..., n},

la siguiente operacin Suma:

(x1 , x2 , ..., xn ) + (y1 , y2 , ..., yn ) = (x1 + y1 , x2 + y2 , ..., xn + yn ) :

Es claro que esta operacin hereda las propiedades de la suma de nmeros

reales:

1. Propiedad asociativa:

[(x1 , x2 , ..., xn )+(y1 , y2 , ..., yn )]+(x1 , x2 , ..., zn ) = (x1 , x2 , ..., xn )+[(y1 , y2 , ..., yn )+(z1 , y2 , ..., zn )].

54 2. Propiedad conmutativa:

I.6 El espacio eucldeo. Campos vectoriales y escalares

(x1 , x2 , ..., xn ) + (y1 , y2 , ..., yn ) = (y1 , y2 , ..., yn ) + (x1 , x2 , ..., xn ).

3. Propiedad de existencia de elemento neutro: que Existe una n-upla, (0, 0, ..., 0) tal que para cada n-upla (x1 , x2 , ..., xn ), se tiene

(x1 , x2 , ..., xn ) + (0, 0, ..., 0) = (x1 , x2 , ..., xn ).

4. Propiedad de existencia de elemento simtrico: Para cada n-upla (x1 , x2 , ..., xn ), la n-upla (x1 , x2 , ..., xn ), verica que

(x1 , x2 , ..., xn ) + (x1 , x2 , ..., xn ) = (0, 0, ..., 0).

Por otra parte, nicamente en el caso n = 2 se puede denir un producto con propiedades aceptables, pero este hecho no lo trataremos aqu. En el caso n > 2 no es posible denir ningn producto interesante desde nuestro punto de vista. Sin embargo, vamos a denir dos "seudo-productos"que en muchos casos sern sucientes para poder trabajar. En primer lugar, deniremos el producto por un escalar, el cual asocia a cada pareja formada por un escalar t y una n-upla (x1 , x2 , ..., xn ) una nueva n-upla denida por

t(x1 , x2 , ..., xn ) = (tx1 , tx2 , ..., txn ).

Este seudo-producto hereda algunas propiedades: 1) Para cada n-upla (x1 , x2 , ..., xn ) se tiene que:

1(x1 , x2 , ..., xn ) = (x1 , x2 , ..., xn ).

2) Propiedad seudo-asociativa: Para cada dos dos escalares t, s R y una n-upla (x1 , x2 , ..., xn ) se tiene que:

t[s(x1 , x2 , ..., xn )] = ts(x1 , x2 , ..., xn ).

3) Propiedad seudo-distributiva: Para cada dos dos escalares t, s R y una n-upla (x1 , x2 , ..., xn ) se tiene que:

(s + t)(x1 , x2 , ..., xn ) = s(x1 , x2 , ..., xn ) + t(x1 , x2 , ..., xn )

Anlisis Matemtico 4) Propiedad seudo-distributiva:

55

Para cada dos dos n-uplas, (x1 , x2 , ..., xn ), (y1 , y2 , ..., yn ) y un escalar s R se tiene que:

s[(x1 , x2 , ..., xn ) + (y1 , y2 , ..., yn )] = s(x1 , x2 , ..., xn ) + s(y1 , y2 , ..., yn ).

Este hecho se expresa diciendo que Rn dotado con las operaciones suma y producto por un escalar arriba denidas tiene estructura de espacio vectorial. A partir de aqu podemos llamar vectores a las n-uplas.

1.6.2. Estructura eucldea

escalar. El segundo seudo-producto que vamos a ver, asocia a cada par de n-uplas un

Sea n N. Dados x = (x1 , x2 , ..., xn ) e y = (y1 , y2 , ..., yn ) dos vectores de Rn , llamamos producto escalar de ambos, < x, y >, al nmero real denido por
n

< x, y >=
i=1

xi y i .

En algunos libros de Fsica, suele escribirse x.y en lugar de < x, y >. Se dice que dos vectores x e y son ortogonales si < x, y >= 0, en tal caso se escribe x y . Esta ley verica las siguientes propiedades:

Proposicin 1.6.1. Dados x, y, z Rn y r R, se tiene que:

1. < x, y >=< y, x >. 2. r < x, y >=< rx, y >=< x, ry > . 3. < x, y + z >=< x, y > + < x, z > . 4. < x, x > 0. 5. < x, x) > 0 si, y slo si x = 0.
Este hecho se expresa diciendo que el espacio vectorial Rn dotado con esta nueva operacin"tiene estructura de espacio eucldeo.

56

I.6 El espacio eucldeo. Campos vectoriales y escalares

1.6.3.

Conceptos topolgicos

Entre las consecuencias ms notorias de la existencia de un producto escalar podemos subrayar la existencia de una funcin, que en R coincide con la funcin valor absoluto, y que asocia a cada vector un nmero real no negativo. Concretamente, dado x = (x1 , x2 , ..., xn ) Rn denimos su norma, x , mediante la siguiente ley:

x =

< x, x > =
i=1

x2 . i

Es fcil probar que la aplicacin denida por x x hace el mismo papel que la funcin valor absoluto en R, tal como muestra, entre otras cosas, el siguiente resultado:

Proposicin 1.6.2.
1. | < x, y > | x 2. 3. 4. 5.

y . + y
2

(Desigualdad de Cauchy-Schwarz)

x+y

= x

+ 2 < x, y > .

(Teorema de Pitgoras)

rx = |r| x

(r R).

x + y x + y . (Desigualdad triangular) x = 0, si y slo si x = 0.

La importancia de la existencia de esta funcin-norma estriba en el hecho de que sta nos capacita para denir una distancia entre dos vectores, y por tanto, la proximidad o lejana de dos vectores de Rn . Concretamente, para cada dos vectores

x = (x1 , x2 , ..., xn ), y = (y1 , y2 , ..., yn ) Rn ,

denimos la distancia entre ellos, por

dist(x, y) = y x .
A su vez sta nos permite considerar : 1. Conjuntos de Rn que hacen el mismo papel que los intervalos de R:

a ) Bola abierta de centro a Rn y radio r R+

B(a, r) = {x Rn ; x a < r}.

b ) Bola cerrada de centro a Rn y radio r R+

B(a, r) = {x Rn ; x a r}.

Anlisis Matemtico 2. Conjuntos que juegan el papel de los extremos del intervalo:

57

Esfera de centro a Rn y radio r R+

S(a, r) = {x Rn ; x a = r}.

3.

Conjunto acotado Sea A un subconjunto no vaco de vectores de Rn . Se dice que A es un conjunto acotado si existe M R+ tal que

A B(0, M ).

Ejemplo: Sea A = {(x, y) R2 ; x ]0, 1[, y [0, 2]}.

Es claro que el conjunto A es acotado en R2 , mientras que el eje x no lo es. 4. Punto de acumulacin y punto adherente Se dice que x0 Rn es un punto de acumulacin (respectivamente punto adherente) de A, x0 A (resp. x0 A), si todo bola punteada centrada en x0 intersecta al conjunto A, esto es

B(x0 , )\{x0 }

A = 0, > 0,

(resp. toda bola centrada en x0 intersecta al conjunto A, esto es,

B(x0 , )

A = 0, > 0).

Notaremos por A (resp. por A) al conjunto de puntos de acumulacin (resp. puntos adherentes) de A. Es claro que A = A A.

Ejemplo: Si consideramos el mismo conjunto A, considerado anteriormente, tendremos que (0, 1) A . 5. Punto interior Se dice que y A es un punto interior de A, si existe r > 0 tal que B(y, r) A. Notaremos por A al conjunto de puntos interiores de A.

Ejemplo: Considerando el mismo conjunto anterior, se tiene que (1/2, 1) A .

58 6. Conjunto abierto

I.6 El espacio eucldeo. Campos vectoriales y escalares

Diremos que un conjunto A es abierto si A = A .

Ejemplo: El conjunto {(x, y) R2 ; x ]0, 1[, y ]0, 2[} es abierto, mientras que
el conjunto A, que usamos en todos los ejemplos, no lo es.

7.

Conjunto cerrado Diremos que un conjunto A es cerrado si A A equivalentemente si A = A. Es fcil probar que A es cerrado si su complementario es abierto. Al conjunto A\A se le denomina frontera de A y suele notarse por F r(A) o por (A).

Ejemplo: El conjunto C = {(x, y) R2 ; x [0, 1], y [0, 2]} es cerrado,

mientras que el conjunto B anterior no lo es. Es claro que

F r(C) = {(x, y) R2 ; x = 0, y [0, 2]} {(x, y) R2 ; x [0, 1], y = 0}

{(x, y) R2 ; x = 1, y [0, 2]}

{(x, y) R2 ; x [0, 1], y = 2}.

8.

Conjunto compacto Diremos que un conjunto A es compacto si A es cerrado y acotado.

Ejemplo: El conjunto {(x, y) R2 ; x [0, 1], y [0, 2]} es compacto, mientras

que el conjunto A no lo es.

1.6.4. Sucesiones en Rn
Si A es un subconjunto de Rn , entonces una aplicacin

f : N A,
que notaremos por {xp }pN , donde xp = (xp , xp , ..., xp ) = f (p), diremos que es 1 2 n una sucesin de vectores de A, si se quiere, de Rn . Se dice que una sucesin {xp }pN es convergente si existe un vector x = (x1 , x2 , ..., xn ) Rn vericando que:

Anlisis Matemtico

59

"para cualquier bola abierta de centro x, existe un trmino de la sucesin a partir del cual, todos los restantes trminos estn incluidos en dicha bola,
escrito en lenguaje matemtico

> 0, N N, tal que si p N , entonces xp B(x, ).

Se dice en tal caso que x es el lmite de la sucesin {xp }pN que la sucesin {xp }pN converge a x, y suele notarse por

x = limp {xp }

{xp } x.

En el siguiente resultado recogemos algunas propiedades importantes de las sucesiones convergentes.

Proposicin 1.6.3.
a) b) c) d)

Toda sucesin convergente tiene un nico lmite. Sea x = (x1 , x2 , ..., xn ) Rn , entonces {xp } converge a x si, y slo si, para cada i {1, 2, ..., n}, la sucesin de nmeros reales {xp }pN converge a xi . i Toda sucesin acotada admite una parcial convergente (Teorema de BolzanoWeierstrass). Si A es un subconjunto de Rn , entonces x es un punto adherente de A si, y slo si, existe una sucesin de elementos de A que converge a x.

1 Ejemplo: Calcular el lmite de la sucesin {( n , n1 )}. n

1.6.5. Campos vectoriales y escalares

A las funciones denidas en un subconjunto de Rq y con valores en R las llamaremos campos escalares. Mientras que a las funciones denidas en dicho tipo de subconjunto pero con valores en Rn (n > 1) se les denominar campos vectoriales. Veamos algunos ejemplos:

60

I.6 El espacio eucldeo. Campos vectoriales y escalares

a ) Proyecciones Sea q N. Para cada i {1, 2, ..., q} se puede considerar la aplicacin

pi : Rq R,
denida por

pi : (x1 , x2 , ..., xq ) xi .
Dicha aplicacin recibe el nombre de proyeccin i-sima. Cada funcin proyeccin es un campo escalar.

b ) Inyecciones.
Podemos considerar ahora la aplicacin

Ii : R Rq ,
denida por

Ii : r (0, 0, ...,i) r, 0, ..., 0).

Dicha aplicacin recibe el nombre de inyeccin i-sima y es un ejemplo sencillo de campo vectorial.

c ) La funcin norma
Podemos considerar el campo escalar

. : Rn R,
denido por

x x .
Dicha aplicacin recibe el nombre de funcin norma Vistas las propiedades de Rn , es fcil comprender que dadas dos campos vectoriales se pueden sumar pero no multiplicar y que en cambio, todo campo vectorial s se puede multiplicar por un campo escalar.

1.6.6. Funciones coordenadas

Nuestro objetivo ahora es sealar cmo todo campo vectorial con valores en R puede relacionarse con n campos escalares.
n

Sea A un subconjunto no vaco de vectores de Rq y sea f : A Rn un campo vectorial. El campo escalar

fi = pi f : A R,

Anlisis Matemtico

61

donde pi es la correspondiente proyeccin isima, recibe el nombre de funcin coordenada i-sima. Para cada i {1, 2, ..., n} se puede comprobar fcilmente que
n

f=
i=1

I i fi ,

donde por Ii queremos indicar la correspondiente funcin inyeccin i-sima. Ms adelante veremos cmo las propiedades de un campo vectorial estn ntimamente relacionadas con las propiedades de sus funciones coordenadas. (Extremos absolutos) Veamos nalmente la denicin de extremos para un campo escalar. Sea A un subconjunto no vaco de Rq , a A y f : A R un campo escalar. Se dice que

a es un mximo absoluto, simplemente que es un mximo, de f , que f alcanza su mximo en a si se verica que f (a) f (x), x A. a es un mnimo absoluto simplemente que es un mnimo, de f que f alcanza su mnimo en a si se verica que f (a) f (x), x A. a es un punto extremo de f si bien es un mximo bien es un mnimo.

1.6.7. Relacin de ejercicios

a ) Prubese que para cualesquiera x, y Rn se verica : ||x + y||2 + ||x y||2 = 2(||x||2 + ||y||2 ) (Identidad del paralelogramo). b ) Probar que si {xn } x, entonces {||xn ||} ||x||. Es cierto el recproco? c ) Descrbanse el interior, la adherencia, la acumulacin y la frontera de los siguientes Conjuntos: 1) a) N b) Q. c) R\Q. d) [0, 1] {2}. e) {1/n; n N}. 20 2) A = {(xn , yn ); xn = n , yn = 0, n N}. 3) {(x, y) R2 ; y = rx}. (r R) 2 2 4) {(x, y) R2 ; x2 + y2 1} (0 < a < b R. a b
5) 6)

{(x, y, z) R3 ; {(x, y) R ;
2 x2 a2

x2 a2

+
y2 b2

y2 b2

z2 c2

= 1} (0 < a < b < c R.

< 1} (0 < a < b R.