calculo diferencial integral func una var

7/14/2019 Calculo Diferencial Integral Func Una Var

1/686

CLCULO DIFERENCIAL E INTEGRALDE FUNCIONES DE UNA VARIABLE

Francisco Javier Prez Gonzlez

Departamento de Anlisis Matemtico

Universidad de Granada


2/686

I

Licencia. Este texto se distribuye bajo una licenciaCreative Commonsen virtud de la cual se permite:

Copiar, distribuir y comunicar pblicamente la obra.

Hacer obras derivadas.

Bajo las condiciones siguientes:

BY: Reconocimiento.Debe reconocer los crditos de la obra de la manera especificada por el autor oel licenciador (pero no de una manera que sugiera que tiene su apoyo o apoyan el uso que hacede su obra).

$\ No comercial.No puede utilizar esta obra para fines comerciales.C Compartir bajo la misma licencia.Si altera o transforma esta obra, o genera una obra derivada,

slo puede distribuir la obra generada bajo una licencia idntica a sta.

Universidad de GranadaDpto. de Anlisis Matemtico

Prof. Javier PrezClculo diferencial e integral
http://es.creativecommons.org/licencia/http://es.creativecommons.org/licencia/


3/686

Indice general

Prlogo XV I

Guas de lectura XX

1. Axiomas de R. Principio de induccin 1

1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.1.1. Axiomas, definiciones, teoremas, lemas, corolarios. . . . . . . . . . . . 1

1.2. Axiomas de los nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.2.1. Axiomas algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.2.2. Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.2.2.1. Relacin de orden . . . . . . . . . . . . . . . . . . . . . . . 5

1.2.3. Desigualdades y valor absoluto . . . . . . . . . . . . . . . . . . . . . 6

1.2.3.1. La forma correcta de leer las matemticas . . . . . . . . . . 7

1.2.3.2. Una funcin aparentemente caprichosa . . . . . . . . . . . . 8

1.2.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.2.5. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.3. Principio de induccin matemtica . . . . . . . . . . . . . . . . . . . . . . . . 17



1.4. Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

1.4.1. Nmeros y medida de magnitudes. Segmentos inconmensurables. . . . 26

II


4/686

ndice general III

1.4.1.1. La razn urea y el pentagrama . . . . . . . . . . . . . . . . 27

1.4.1.2. Medimos con nmeros racionales . . . . . . . . . . . . . . . 281.4.2. Hacer matemticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

1.4.3. Algunas razones para estudiar matemticas . . . . . . . . . . . . . . . 30

1.4.4. Lo que debes haber aprendido en este Captulo. Lecturas adicionales . . 32

2. Funciones elementales 33

2.1. Funciones reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2.1.1. Operaciones con funciones . . . . . . . . . . . . . . . . . . . . . . . . 35

2.1.2. Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362.2. Estudio descriptivo de las funciones elementales . . . . . . . . . . . . . . . . . 39

2.2.1. Funciones polinmicas y funciones racionales . . . . . . . . . . . . . . 39

2.2.2. Races de un nmero real . . . . . . . . . . . . . . . . . . . . . . . . . 39

2.2.3. Potencias racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

2.2.4. Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

2.2.5. Exponenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

2.2.5.1. Inters compuesto . . . . . . . . . . . . . . . . . . . . . . . 41

2.2.5.2. Crecimiento demogrfico . . . . . . . . . . . . . . . . . . . 422.2.6. Funcin potencia de exponente reala . . . . . . . . . . . . . . . . . . 42

2.2.7. Funciones trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . 43

2.2.7.1. Medida de ngulos . . . . . . . . . . . . . . . . . . . . . . . 43

2.2.7.2. Funciones seno y coseno . . . . . . . . . . . . . . . . . . . 44

2.2.7.3. Propiedades de las funciones seno y coseno . . . . . . . . . 45

2.2.7.4. Las funciones tangente, cotangente, secante y cosecante . . . 46

2.2.7.5. Las funciones arcoseno, arcocoseno y arcotangente . . . . . 46

2.2.8. Las funciones hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . 48

2.2.8.1. Las funciones hiperblicas inversas . . . . . . . . . . . . . . 49



2.3. Sobre el concepto de funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

2.3.1. El desarrollo del lgebra y la invencin de los logaritmos . . . . . . . 61

2.4. Lo que debes haber aprendido en este captulo . . . . . . . . . . . . . . . . . . 63

3. Nmeros complejos. Exponencial compleja 64




5/686

ndice general IV

3.1. Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

3.2. Operaciones bsicas con nmeros complejos . . . . . . . . . . . . . . . . . . . 653.2.1. Comentarios a la definicin de nmero complejo . . . . . . . . . . . . 66

3.2.2. Forma cartesiana de un nmero complejo . . . . . . . . . . . . . . . . 66

3.2.3. Comentarios a la definicin usual iDp

1 . . . . . . . . . . . . . . . 673.2.4. No hay un orden en C compatible con la estructura algebraica . . . . . 68

3.3. Representacin grfica. Complejo conjugado y mdulo . . . . . . . . . . . . . 68

3.3.1. Forma polar y argumentos de un nmero complejo . . . . . . . . . . . 70

3.3.2. Observaciones a la definicin de argumento principal . . . . . . . . . . 72

3.3.2.1. Frmula de De Moivre . . . . . . . . . . . . . . . . . . . . 73

3.3.3. Races de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . 74

3.3.3.1. Notacin de las races complejas . . . . . . . . . . . . . . . 75

3.3.3.2. La igualdad np

z np

w D npzw . . . . . . . . . . . . . . . . . 763.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77


3.4. Funciones elementales complejas . . . . . . . . . . . . . . . . . . . . . . . . . 91

3.4.1. La funcin exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . 91

3.4.2. Logaritmos complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 92

3.4.3. Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . 94



3.5. Aplicaciones de los nmeros complejos . . . . . . . . . . . . . . . . . . . . . 97

3.5.1. Movimiento armnico simple . . . . . . . . . . . . . . . . . . . . . . 97

3.5.2. Circuitos elctricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

3.5.3. Procesamiento digital de seales . . . . . . . . . . . . . . . . . . . . . 101

4. Funciones Continuas y lmite funcional 102

4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

4.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103

4.2.1. Propiedades bsicas de las funciones continuas . . . . . . . . . . . . . 104

4.2.2. Propiedades locales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

4.3. Teorema de Bolzano. Supremo e nfimo . . . . . . . . . . . . . . . . . . . . . 108

4.3.1. La propiedad del supremo . . . . . . . . . . . . . . . . . . . . . . . . 109

4.3.2. Propiedad de extremo inferior . . . . . . . . . . . . . . . . . . . . . . 110




6/686

ndice general V

4.3.3. Consecuencias del teorema de Bolzano . . . . . . . . . . . . . . . . . 112

4.3.3.1. Continuidad y monotona . . . . . . . . . . . . . . . . . . . 1144.3.4. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 116


4.4. Continuidad en intervalos cerrados y acotados . . . . . . . . . . . . . . . . . . 128



4.5. Lmite funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

4.5.1. Lmites laterales de una funcin en un punto . . . . . . . . . . . . . . 134

4.5.2. Lmites infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

4.5.2.1. Funciones divergentes en un punto . . . . . . . . . . . . . . 135

4.5.2.2. Lmites en infinito . . . . . . . . . . . . . . . . . . . . . . . 136

4.5.2.3. Funciones divergentes en infinito . . . . . . . . . . . . . . . 136

4.6. lgebra de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

4.6.1. Lmites y discontinuidades de funciones montonas . . . . . . . . . . . 139

4.6.2. Comportamientos asintticos de las funciones elementales . . . . . . . 140

4.6.2.1. Lmites de exponenciales y logaritmos . . . . . . . . . . . . 140

4.7. Indeterminaciones en el clculo de lmites . . . . . . . . . . . . . . . . . . . . 141



5. Nmeros y lmites. El infinito matemtico 150

5.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150

5.2. Evolucin del concepto de nmero . . . . . . . . . . . . . . . . . . . . . . . . 151

5.2.1. Nmeros y cantidades en la antigua Grecia . . . . . . . . . . . . . . . 151

5.2.2. De la antigua Grecia a la invencin del Clculo . . . . . . . . . . . . . 153

5.2.3. Infinitsimos y el continuo numrico . . . . . . . . . . . . . . . . . . . 157

5.2.4. El triunfo de Pitgoras . . . . . . . . . . . . . . . . . . . . . . . . . . 160

5.2.4.1. Cortaduras de Dedekind . . . . . . . . . . . . . . . . . . . . 162

5.2.4.2. Mtodos axiomticos y mtodos constructivos . . . . . . . . 164

5.2.4.3. El regreso de los pequeitos . . . . . . . . . . . . . . . . . . 165


5.3. Evolucin del concepto de lmite funcional . . . . . . . . . . . . . . . . . . . 165

5.3.1. La teora de las razones ltimas de Newton . . . . . . . . . . . . . . 166




7/686

ndice general VI

5.3.2. Lametafsica del Clculo en DAlembert y Lagrange . . . . . . . . . . 167

5.3.3. El premio de la Academia de Berln de 1784 . . . . . . . . . . . . . . 1695.3.4. Cauchy y suCours DAnalysede 1821 . . . . . . . . . . . . . . . . . 171

5.3.5. El innovador trabajo de Bolzano . . . . . . . . . . . . . . . . . . . . . 175

5.3.6. Weierstrass nos dio los" . . . . . . . . . . . . . . . . . . . . . . . 1765.3.7. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 178

5.4. Breve historia del infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178

5.4.1. La idea de infinito en la filosofa y la matemtica Griegas . . . . . . . . 178

5.4.1.1. Las aporas de Zenn de Elea . . . . . . . . . . . . . . . . . 178

5.4.1.2. Atomismo y divisibilidad infinita . . . . . . . . . . . . . . . 180

5.4.1.3. La rueda de Aristteles . . . . . . . . . . . . . . . . . . . . 183

5.4.2. El infinito desde la Edad Media hasta el siglo XIX . . . . . . . . . . . 184

5.4.2.1. El infinito en la Escolstica . . . . . . . . . . . . . . . . . . 184

5.4.2.2. Galileo y el infinito . . . . . . . . . . . . . . . . . . . . . . 184

5.4.2.3. El Clculo y el infinito . . . . . . . . . . . . . . . . . . . . . 187

5.4.3. El infinito matemtico y el nacimiento de la teora de conjuntos . . . . 188

5.4.3.1. La no numerabilidad del continuo . . . . . . . . . . . . . . . 193


6. Derivadas 201

6.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201

6.2. Concepto de derivada. Interpretacin fsica y geomtrica . . . . . . . . . . . . 202

6.2.1. Tangente a una curva . . . . . . . . . . . . . . . . . . . . . . . . . . . 202

6.2.2. Razn de cambio puntual y velocidad instantnea . . . . . . . . . . . . 202

6.2.2.1. Elementos de una curva relacionados con la derivada . . . . 205

6.2.3. Derivadas laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206

6.2.4. Propiedades de las funciones derivables. Reglas de derivacin . . . . . 206



6.2.7. Derivabilidad de las funciones elementales . . . . . . . . . . . . . . . 219

6.2.7.1. Derivabilidad de la exponencial y del logaritmo. Criterio deequivalencia logartmica . . . . . . . . . . . . . . . . . . . . 219

6.2.7.2. Derivabilidad de las funciones trigonomtricas . . . . . . . . 221

6.2.7.3. Derivabilidad de las funciones hiperblicas . . . . . . . . . . 221




8/686

ndice general VII

6.3. Teoremas de Rolle y del valor medio . . . . . . . . . . . . . . . . . . . . . . . 222

6.3.1. Consecuencias del teorema del valor medio . . . . . . . . . . . . . . . 2256.3.2. Reglas de LHpital . . . . . . . . . . . . . . . . . . . . . . . . . . . 229

6.4. Derivadas sucesivas. Polinomios de Taylor . . . . . . . . . . . . . . . . . . . . 232

6.4.1. Notacin de Landau . . . . . . . . . . . . . . . . . . . . . . . . . . . 234

6.4.2. Polinomios de Taylor de las funciones elementales . . . . . . . . . . . 235

6.5. Tcnicas para calcular lmites de funciones . . . . . . . . . . . . . . . . . . . 237

6.5.1. Lmites que debes saberte de memoria . . . . . . . . . . . . . . . . . . 238

6.5.2. Sobre el mal uso de las reglas de LHpital . . . . . . . . . . . . . . . 241

6.5.3. Sobre el uso de la notacin lKmx!a . . . . . . . . . . . . . . . . . . . . . 242

6.6. Extremos relativos. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . 243

6.7. Funciones convexas y funciones cncavas . . . . . . . . . . . . . . . . . . . . 246



6.8. Orgenes y desarrollo del concepto de derivada . . . . . . . . . . . . . . . . . 305

6.8.1. Las matemticas en Europa en el siglo XVII . . . . . . . . . . . . . . . 306

6.8.2. Clculo de tangentes y de valores extremos . . . . . . . . . . . . . . . 307

6.8.2.1. El mtodo de mximos y mnimos de Fermat . . . . . . . . . 307

6.8.2.2. El mtodo de las tangentes de Fermat . . . . . . . . . . . . . 308

6.8.2.3. El mtodo de Roberval y de Torricelli para las tangentes . . . 311

6.8.2.4. El tringulo diferencial de Barrow . . . . . . . . . . . . . . 312

6.8.3. Los inventores del Clculo . . . . . . . . . . . . . . . . . . . . . . . . 314

6.8.4. Newton y el clculo de fluxiones . . . . . . . . . . . . . . . . . . . . . 314

6.8.5. Leibniz y el clculo de diferencias . . . . . . . . . . . . . . . . . . . . 319

6.8.6. Desarrollo del clculo diferencial . . . . . . . . . . . . . . . . . . . . 322

7. Sucesiones 325

7.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325

7.2. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . 327

7.2.1. Sucesiones convergentes . . . . . . . . . . . . . . . . . . . . . . . . . 327

7.2.2. Sucesiones convergentes y estructura de orden de R . . . . . . . . . . 330

7.2.3. Sucesiones montonas . . . . . . . . . . . . . . . . . . . . . . . . . . 331

7.2.3.1. El nmero e . . . . . . . . . . . . . . . . . . . . . . . . . . 333

7.2.4. Sucesiones convergentes y estructura algebraica deR. . . . . . . . . . 334




9/686

ndice general VIII

7.2.5. Sucesiones parciales. Teorema de BolzanoWeierstrass . . . . . . . . . 335

7.2.6. Condicin de Cauchy. Teorema de completitud de R . . . . . . . . . . 3387.2.7. Lmites superior e inferior de una sucesin . . . . . . . . . . . . . . . 339



7.3. Sucesiones divergentes. Indeterminaciones en el clculo de lmites . . . . . . . 360

7.3.1. Sucesiones y lmite funcional . . . . . . . . . . . . . . . . . . . . . . 363

7.3.2. Sucesiones asintticamente equivalentes . . . . . . . . . . . . . . . . . 365

7.3.3. Sucesiones de potencias . . . . . . . . . . . . . . . . . . . . . . . . . 366



7.4. Sucesiones de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . 379

7.4.1. Definicin de la exponencial compleja . . . . . . . . . . . . . . . . . . 380



7.5. Demostraciones alternativas de los teoremas de Bolzano y de Weierstrass . . . 382

7.6. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384

8. Integral de Riemann 386

8.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386

8.2. Aproximaciones al rea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 388

8.2.1. Definicin y propiedades bsicas de la integral . . . . . . . . . . . . . 391

8.2.2. El Teorema Fundamental del Clculo . . . . . . . . . . . . . . . . . . 397

8.2.3. Primitivas. Regla de Barrow . . . . . . . . . . . . . . . . . . . . . . . 398

8.2.4. Las funciones logaritmo y exponencial . . . . . . . . . . . . . . . . . 400

8.3. Integrales impropias de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . 402

8.3.1. Criterios de convergencia para integrales . . . . . . . . . . . . . . . . 404

8.4. Teoremas del valor medio para integrales . . . . . . . . . . . . . . . . . . . . 406

8.5. Derivadas e integrales de funciones complejas de variable real . . . . . . . . . 409



8.6. Tcnicas de clculo de Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . 427

8.6.1. Calcular una primitiva...Para qu? . . . . . . . . . . . . . . . . . . . 427

8.6.2. Observaciones sobre la notacin y terminologa usuales . . . . . . . . . 428




10/686

ndice general IX

8.6.3. Primitivas inmediatas . . . . . . . . . . . . . . . . . . . . . . . . . . . 428

8.6.4. Integracin por partes . . . . . . . . . . . . . . . . . . . . . . . . . . 4308.6.4.1. Integracin por recurrencia . . . . . . . . . . . . . . . . . . 431


8.6.6. Integracin por sustitucin o cambio de variable . . . . . . . . . . . . 436


8.6.8. Integracin de funciones racionales . . . . . . . . . . . . . . . . . . . 438

8.6.8.1. Mtodo de los coeficientes indeterminados . . . . . . . . . . 438

8.6.8.2. Mtodo de Hermite . . . . . . . . . . . . . . . . . . . . . . 439


8.6.10. Integracin por racionalizacin . . . . . . . . . . . . . . . . . . . . . . 442

8.6.10.1. Integracin de funciones del tipoR.sen x; cos x/. . . . . . . 443

8.6.10.2. Integrales del tipo

R

x; L.x/r ; L.x/s; : : :

dx . . . . . 445

8.6.10.3. Integrales binomias . . . . . . . . . . . . . . . . . . . . . . 446

8.6.10.4. Integrales del tipo

R.ex/ dx . . . . . . . . . . . . . . . . 446

8.6.10.5. Integracin de funciones del tipoR.x;

pax2 C bx C c/ . . 447

8.6.11. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 4508.6.12. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451

8.7. Aplicaciones de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463

8.7.1. Clculo de reas planas . . . . . . . . . . . . . . . . . . . . . . . . . . 463

8.7.1.1. Regiones de tipo I . . . . . . . . . . . . . . . . . . . . . . . 464

8.7.1.2. Regiones de tipo II . . . . . . . . . . . . . . . . . . . . . . . 465



8.7.4. Curvas en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4748.7.4.1. rea encerrada por una curva . . . . . . . . . . . . . . . . . 476

8.7.4.2. reas planas en coordenadas polares . . . . . . . . . . . . . 476


8.7.6. Longitud de un arco de curva . . . . . . . . . . . . . . . . . . . . . . . 478


8.7.8. Volmenes de slidos . . . . . . . . . . . . . . . . . . . . . . . . . . . 480

8.7.8.1. Volumen de un cuerpo de revolucin . . . . . . . . . . . . . 481





11/686

ndice general X


8.7.11. rea de una superficie de revolucin . . . . . . . . . . . . . . . . . . . 4858.7.12. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . 486


8.8. Evolucin de la idea de integral . . . . . . . . . . . . . . . . . . . . . . . . . . 499

8.8.1. Problemas de cuadraturas en las matemticas griegas . . . . . . . . . . 499

8.8.1.1. Cuadratura de un segmento de parbola por Arqumedes . . . 500

8.8.1.2. El Mtodo de Arqumedes . . . . . . . . . . . . . . . . . . . 503

8.8.1.3. rea de una espiral . . . . . . . . . . . . . . . . . . . . . . 504

8.8.2. La integracin antes del Clculo . . . . . . . . . . . . . . . . . . . . . 506

8.8.2.1. Los indivisibles de Cavalieri . . . . . . . . . . . . . . . . . 506

8.8.2.2. Cuadratura de la cicloide por Roberval . . . . . . . . . . . . 507

8.8.2.3. Parbolas e hiprbolas de Fermat . . . . . . . . . . . . . . . 508

8.8.2.4. La integracin aritmtica de Wallis . . . . . . . . . . . . . . 509

8.8.2.5. El resultado fundamental de Barrow . . . . . . . . . . . . . 512

8.8.3. La relacin fundamental entre cuadraturas y tangentes . . . . . . . . . 513

8.8.3.1. El Teorema Fundamental del Clculo segn Newton . . . . . 513

8.8.3.2. La invencin delcalculus summatoriuspor Leibniz . . . . . 514

9. Series numricas 518

9.1. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518

9.1.1. La particularidad del estudio de las series . . . . . . . . . . . . . . . . 522

9.1.2. Propiedades bsicas de las series convergentes . . . . . . . . . . . . . 525

9.1.3. Propiedades asociativas y conmutativas . . . . . . . . . . . . . . . . . 526



9.2. Criterios de convergencia para series de trminos positivos . . . . . . . . . . . 533



9.3. Criterios de convergencia no absoluta . . . . . . . . . . . . . . . . . . . . . . 556



9.4. Algunas series cuya suma puede calcularse de forma exacta . . . . . . . . . . . 563





12/686

ndice general XI


9.5. Expresin de un nmero real en baseb . . . . . . . . . . . . . . . . . . . . . . 5709.6. Series de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 575



9.7. Clculo elemental deC1

0sen x

x dx y deP1

nD11

n2 . . . . . . . . . . . . . . . 578

10. Sucesiones y series de funciones 581

10.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 581

10.2. Conceptos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58310.2.1. Convergencia puntual . . . . . . . . . . . . . . . . . . . . . . . . . . . 584

10.2.2. Convergencia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . 586

10.2.3. Series de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 590

10.3. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 598

10.3.1. Radio de convergencia de una serie de potencias . . . . . . . . . . . . 599

10.3.1.1. Clculo del radio de convergencia . . . . . . . . . . . . . . . 600

10.4. Desarrollos en serie de potencias de las funciones elementales . . . . . . . . . 604

10.4.1. Las funciones trascendentes elementales definidas por series . . . . . . 61110.4.1.1. La funcin exponencial . . . . . . . . . . . . . . . . . . . . 611

10.4.1.2. Las funciones trigonomtricas . . . . . . . . . . . . . . . . . 612

10.5. Teorema de aproximacin de Weierstrass . . . . . . . . . . . . . . . . . . . . 614



10.6. Los primeros desarrollos en serie . . . . . . . . . . . . . . . . . . . . . . . . . 659

10.6.1. Newton y las series infinitas . . . . . . . . . . . . . . . . . . . . . . . 660




13/686

Indice de figuras

1.1. El pentagrama pitagrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

2.1. La funcinf .x/ D x3 4x2 C x C 6 . . . . . . . . . . . . . . . . . . . . . . 382.2. Funcin logaritmo de basea > 1 . . . . . . . . . . . . . . . . . . . . . . . . . 40

2.3. Funcin exponencial de basea > 1 . . . . . . . . . . . . . . . . . . . . . . . . 41

2.4. La circunferencia unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

2.5. La funcin seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

2.6. La funcin seno en2 ;2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

2.7. La funcin arcoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

2.8. La funcin coseno en0; . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2.9. La funcin arcocoseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

2.10. La funcin tangente en 2 ; 2 . . . . . . . . . . . . . . . . . . . . . . . . . 48

2.11. La funcin arcotangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482.12. La funcin seno hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

2.13. La funcin coseno hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . 49

2.14. La funcin tangente hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . 49

2.15. La funcin argumento seno hiperblico . . . . . . . . . . . . . . . . . . . . . 50

2.16. La funcin argumento coseno hiperblico . . . . . . . . . . . . . . . . . . . . 50

2.17. La funcin argumento tangente hiperblica . . . . . . . . . . . . . . . . . . . 50

2.18. Dir ichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

2.19. Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

XI I


14/686

ndice de figuras XIII

2.20. John Napier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3.1. Representacin de un nmero complejo . . . . . . . . . . . . . . . . . . . . . 68

3.2. Suma de nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

3.3. Forma polar de un nmero complejo . . . . . . . . . . . . . . . . . . . . . . . 71

3.4. Argumento principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

3.5. Races novenas de la unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

3.6. Igualdad del paralelogramo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

3.7. rea de un tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

3.8. Movimiento circular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 973.9. Composicin de movimientos armnicos . . . . . . . . . . . . . . . . . . . . . 98

3.10. Circuito RLC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

4.1. Funcin parte entera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

4.2. La funcinxE.1=x/ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121

4.3. Visualizacin de la demostracin del teorema de Weierstrass . . . . . . . . . . 130

4.4. La funcinf .x/ D sen.1=x/ . . . . . . . . . . . . . . . . . . . . . . . . . . . 147

5.1. Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525.2. al-Jwarizmi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153

5.3. Fibonacci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153

5.4. Tartaglia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154

5.5. Vite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155

5.6. Fermat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155

5.7. Descartes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155

5.8. Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162

5.9. DAlembert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

5.10. Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171

5.11. Bolzano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175

5.12. Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176

5.13. Rueda de Aristteles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183

5.14. Exgonos de Galileo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185

5.15. Paradoja circunferencia-punto . . . . . . . . . . . . . . . . . . . . . . . . . . 186

5.16. Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190

5.17. Contando N N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196




15/686

ndice de figuras XIV

5.18. Unin numerable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197

6.1. Secante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202

6.2. Elementos de una curva relacionados con la derivada. . . . . . . . . . . . . . . . . 205

6.3. Depsito cnico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214

6.4. Cruce de barcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215

6.5. Extremos relativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222

6.6. Teorema de Rolle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223

6.7. Teorema del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225

6.8. Regla de LHpital . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2306.9. Funcin cncava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246

6.10. Funcin convexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246

6.11. Clculo de la subtangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309

6.12. Clculo de la tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311

6.13. Tangente a la cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312

6.14. Tringulo diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313

6.15. Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314

6.16. Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3196.17. Tringulo caracterstico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321

6.18. Aproximacin de una cuadratura . . . . . . . . . . . . . . . . . . . . . . . . . 322

7.1. Puntos de sol y de sombra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336

8.1. Conjunto ordenadoG.f; a; b/de una funcin . . . . . . . . . . . . . . . . . . 388

8.2. Partes positiva y negativa de una funcin . . . . . . . . . . . . . . . . . . . . . 389

8.3. Aproximacin por sumas de Riemann . . . . . . . . . . . . . . . . . . . . . . 390

8.4. Aproximacin del rea por sumas inferiores y superiores . . . . . . . . . . . . 391

8.5. Funcin montona con infinitas discontinuidades . . . . . . . . . . . . . . . . 396

8.6. Logaritmo de 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400

8.7. Aproximacin al rea de una regin de tipo I . . . . . . . . . . . . . . . . . . . 464

8.8. Ejemplo de regin de tipo I . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465

8.9. Aproximacin al rea de una regin de tipo II . . . . . . . . . . . . . . . . . . 466

8.10. Ejemplo de regin de tipo II . . . . . . . . . . . . . . . . . . . . . . . . . . . 467

8.11. Simtrica de la figura8.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467

8.12. Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475




16/686

ndice de figuras XV

8.13. Cardioide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475

8.14. Astroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4758.15. Espiral de Arqumedes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475

8.16. Una curva de Lissajoux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 476

8.17. Una curva cerrada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 476

8.18. Aproximacin por sectores circulares . . . . . . . . . . . . . . . . . . . . . . 477

8.19. Rosa de 8 ptalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478

8.20. Aproximacin por poligonales . . . . . . . . . . . . . . . . . . . . . . . . . . 479

8.21. Clculo del volumen por secciones . . . . . . . . . . . . . . . . . . . . . . . . 480

8.22. Mtodo de los discos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482

8.23. Mtodo de las lminas o tubos . . . . . . . . . . . . . . . . . . . . . . . . . . 484

8.24. Superficie de revolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485

8.25. rea de una regin limitada por dos elipses . . . . . . . . . . . . . . . . . . . 489

8.26. Cuadratura de un rectngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 499

8.27. Cuadratura de un segmento de parbola . . . . . . . . . . . . . . . . . . . . . 501

8.28. ElMtodode Arqumedes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503

8.29. Cuadratura de una espiral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505

8.30. Cuadratura de la cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507

8.31. Cuadratura de la hiprbola de Fermaty D x2 . . . . . . . . . . . . . . . . . 5088.32. Comparando indivisibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510

8.33. Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512

8.34. z D z.x/ D reaOPB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5138.35. reas complementarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515

10.1. Esp

2 D 1? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58310.2. Convergencia puntual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58410.3. Interpretacin grfica de la convergencia uniforme . . . . . . . . . . . . . . . 587

10.4. Cuadratura1=4

0

px x2 dx . . . . . . . . . . . . . . . . . . . . . . . . . . 663




17/686

Prologo

Este libro est escrito pensando en un estudiante real que tambin es, en algunos aspectos,un estudiante ideal. Es un estudiante llegado hace poco a la Universidad, quiz recin llegado,que cursa estudios en alguna ingeniera o licenciatura cientfico tcnica y debe enfrentarse auna difcil asignatura de clculo diferencial e integral. Debe ser difcil, porque son muy pocosquienes logran aprobarla en un slo ao y es muy alto el porcentaje de abandono. Con estelibro quiero ayudarle en sus estudios de Clculo o Anlisis Matemtico, no solamente para que

logre una buena calificacin sino para que saque de ellos el mayor provecho e incluso aprendaa disfrutarlos.

Se trata, digo, de un estudiante real porque llega a la Universidad con importantes carenciasde las que l puede no ser consciente y de las que no es del todo responsable. Es muy posibleque nunca haya visto una demostracin matemtica, que no sepa distinguir entre hiptesis ytesis, que no entienda el significado de que las matemticas son una ciencia deductiva. Tienepoca agilidad en los clculos con las operaciones bsicas y comete frecuentes errores al in-tentar simplificarlos, puede calcular derivadas pero lo hace con dificultad porque tiene que irpensando cada paso y no ha automatizado el proceso, por eso solamente sabe calcular algunasprimitivas muy sencillas. Est acostumbrado a realizar ejercicios muy elementales en los que sedebe aplicar de forma mecnica una regla recin aprendida. No est acostumbrado a relacionar

conceptos y clasifica sus conocimientos en reas disjuntas: clculo, lgebra, probabilidad: : :

Pero estas carencias, con ser graves, no son las peores porque son especficas de una ma-teria y podran solucionarse con facilidad si no vinieran acompaadas por otras mucho msperjudiciales porque afectan a todo el proceso de aprendizaje. Me refiero a la falta de hbitosde estudio, a la pobreza y muy deficiente uso del lenguaje hablado y escrito con la consiguientedificultad para pensar y expresarse correctamente, a la poca prctica de la lectura comprensi-va, a la escasa capacidad de concentracin, al poco valor que se da a la memorizacin de loestudiado.

Si a este cuadro aadimos que vivimos en una sociedad que valora ms el xito, identifica-do casi exclusivamente con el xito econmico, que el esfuerzo; el apresuramiento compulsivo,

hay que ir a toda velocidad aunque so sepamos a dnde, que la constancia y la dedicacin; el

XVI


18/686

Prlogo XVII

gregarismo unnime que el pensamiento crtico e independiente, la autocomplacencia que la

exigencia : : :La conclusin es que no son buenos tiempos para el estudio. Adems, los jvenesestn permanente solicitados por todo tipo de reclamos publicitarios, adulados hasta la desver-genza por polticos y pedagogos que les venden un mensaje falso que en su esencia viene adecir que no son responsables de sus actos: si suspenden, les dicen que es porque el profesorno ha sabido motivarlos para que estudien; si despus de un botelln de fin de semana, o de unafiesta de la primavera o de un da de la cruz, las calles amanecen convertidas en un albaal porla suciedad acumulada durante la noche, el argumente apropiado para disculpar tan incvicocomportamiento es el de un supuesto derecho a la diversin. Estos polticos y pedagogos pare-cen haberse puesto de acuerdo para propiciar que los jvenes vivan en una permanente niez,acreedora de todos los derechos pero sin obligaciones ni responsabilidades. Y, para acabar, labazofia, mezquindad, zafiedad y mal gusto de algunos programas de televisin contribuyen de

forma notable a difundir el mensaje de que todo vale: puedes vender tus entraas en uno deesos programas o demostrar tu absoluta ignorancia sin temor a hacer el ridculo porque as lohacen la mayora de quienes participan en ellos. Qu aoranza de aquellos programas en losque el saber ocupaba lugar!

El estudiante al que me dirijo es real porque es vctima de este sistema y tambin, puedeque sin tener clara conciencia de ello, porque contribuye a su mantenimiento. Cada vez esms difcil conjugar juventud y lucidez. Pero tambin es un estudiante ideal porque valora elestudio, quiere prepararse para ejercer eficazmente una profesin y ser til a los dems y tieneganas de aprender. Lector, si este no es tu caso, si lo que quieres es solamente aprobar y notienes curiosidad ni ests interesado en aprender, mejor que no sigas leyendo, este libro noes lo que buscas. Pero si no es as, confo en que las pginas que siguen sean tiles para que

progreses adecuadamente en tus estudios de clculo, porque lo nico que se necesita para elloes, adems del inters y las ganas de aprender, una capacidad bsica lgico deductiva que sinduda tienes.

El contenido de este libro no ofrece sorpresa alguna y responde a un acuerdo general tcitode lo que debe constituir un curso bsico de Clculo de funciones de una variable. La novedad,si la hay, habr que buscarla en el estilo, en la exposicin, en la gran cantidad de ejemplos yde ejercicios, en la minuciosa presentacin de los conceptos y de sus relaciones. Comentarseguidamente algunos de estos aspectos.

Este libro est escrito en un estilo deliberadamente sencillo, he querido huir del estilo pe-dante que se impuso hace algunos aos y que todava perdura en casos aislados. Escribir mate-

mticas es un arte que se va aprendiendo poco a poco y, aunque no es ajeno a las modas, tieneunas reglas bsicas que deben ser respetadas en cualquier circunstancia. Realmente se trata deuna sola regla debida a Nicols Boileau (1636 - 1711) que dice aslo que bien se concibebien se expresa con palabras que acuden con presteza. Que las palabras acudan con mayor omenor presteza es algo anecdtico, pero lo que es indudable es que si algo no se concibe bienes imposible expresarlo con claridad. La primera condicin necesaria para escribir matemticases entender con todo detalle, a ser posible desde varios puntos de vista diferentes y con distintogrado de generalidad, la gnesis y evolucin de los conceptos que se exponen, las sutilezas ydificultades de comprensin que encierran, los errores ms frecuentes en su interpretacin. Esacondicin necesaria no es suficiente. Hay que exponer esos conceptos con palabras comprensi-bles para el lector a quien se dirigen, evitando tecnicismos innecesarios, y ello sin dejar de ser

claro y preciso.




19/686

Prlogo XVIII

Este libro est escrito un poco igual que se explica en clase delante de la pizarra, me he

puesto en el lugar de un hipottico estudiante medio algo despistado y me hago eco de suspresumibles dudas, preguntas y confusiones, e intento explicar esas dudas, responder a las pre-guntas y aclarar las confusiones. Confo en que los muchos aos que he dedicado a la docenciaen el primer curso de distintas licenciaturas e ingenieras me hayan permitido saber ponermeen tu lugar y cumplir este empeo con decoro. Por todo eso creo que este libro te permitirestudiar por ti mismo y te ayudar a comprender de forma correcta los conceptos principalesdel Clculo.

Este libro incluye una coleccin de ejercicios muchsimo ms amplia que lo que suele serusual en un libro de texto. De hecho este libro es tambin un libro de problemas de Clculoy, se me disculpar la inmodestia, creo que hay muy pocos libros de ejercicios de Clculo queincluyan una coleccin tan variada de ejercicios y, sobre todo, que propongan tantos ejercicios

no triviales y desarrollen las soluciones con detalle. Los libros de ejercicios de Clculo danmuchas veces la impresin de que la teora solamente sirve para proporcionar un conjunto derecetas que despus hay que aplicar, sin acabar nunca de entender bien por qu se elige unareceta y no otra y sin entender el fundamento que hace que la receta funcione.

Mi intencin ha sido escribir un libro de Clculo que sea til tanto para el futuro matemticocomo para el futuro ingeniero, pero cada uno debe leer el libro de la forma adecuada a susintereses y necesidades. Para ambos ser de gran utilidad la extensa coleccin de ejerciciosy de ejemplos, pero uno habr de prestar mayor atencin a los fundamentos tericos y a lasdemostraciones y otro a las tcnicas de clculo y de resolucin de diversos tipos de ejercicios.Al final de este prlogo propongo dos posibles guas de lectura.

Digamos algo sobre las demostraciones. Claro est que razonar y demostrar son aspectosfundamentales de las matemticas, pero s que el valor que las demostraciones tienen paralos estudiantes es muy relativo. El empeo en demostrarlo todo puede ser contraproducente yconstituir un freno en el progreso de muchos estudiantes. Las demostraciones interesantes sonlas que contienen ideas que se repiten en otras situaciones semejantes, no deben ser extensas,deben ser elegantes y demostrar resultados importantes que se van a usar con frecuencia. Cuan-do empec este libro mi intencin era incluir muy pocas demostraciones, al final, para lograrla autonoma del texto he incluido muchas ms de lo que inicialmente pensaba. Mi deseo eraequilibrar un desarrollo intuitivo con uno lgico deductivo, confo en no haberme desviado mu-cho de este objetivo. Toda ayuda a la intuicin me parece loable, en este sentido, siempre que lohe credo conveniente, no he dudado en incluir una figura para facilitar la comprensin de una

definicin o de una demostracin. Pero tambin quiero decir respecto de algunas demostracio-nes que pueden parecer muy complicadas (como los teoremas 4.13y4.29de los que tambindoy versiones ms sencillas7.54y7.55), que las cosas complicadas son complicadas, que nose debe renunciar al razonamiento correcto por el hecho de que sea complicado, los detallesson importantes, en matemticas no todo vale.

He concedido toda la importancia que merece al desarrollo y evolucin histrica de los prin-cipales conceptos del Clculo. He incluido apuntes histricos, mucho ms amplios de lo usualen textos de estas caractersticas, sobre la evolucin de los conceptos de nmero y magnitud,lmite y funcin, derivadas e integrales, as como al concepto de infinito y a la algebraizacindel Anlisis llevada a cabo en el ltimo tercio del siglo XIX. Incluso hay un captulo, el quinto,cuyo ttulo Nmeros y lmites. El infinito matemtico deja bien claro cul es su contenido.Naturalmente, nada de original hay en dichas notas histricas pues no he consultado fuentes




20/686

Prlogo XIX

originales, y su posible valor est en la particular ordenacin y exposicin que he llevado a

cabo. Mi propsito al escribirlas ha sido presentar la gnesis de los conceptos matemticos ensu contexto, su titubeante y confusa evolucin, las discrepancias sobre el significado de losmismos... En una palabra, proporcionar al estudiante una visin de la matemtica viva.

Con frecuencia los estudiantes tienen la idea de que las matemticas son algo cerrado yacabado, un conjunto de verdades eternas e inmutables de una fra perfeccin que se transmi-ten dogmticamente de generacin en generacin y donde no hay lugar para la sorpresa ni lapasin. Nada ms lejos de la realidad. La historia de las matemticas demuestra que el queha-cer matemtico, la creacin matemtica, est muy lejos de esa fra perfeccin formal lgico deductiva, que la intuicin, la induccin, los procedimientos heursticos son quiz ms im-portantes para el avance de las matemticas que el razonamiento deductivo. La historia de lasmatemticas muestra cmo los conceptos nacen para responder a problemas concretos de cada

poca, cmo esos mismos conceptos llevan a reformular posteriormente los problemas des-de perspectivas ms generales, en un avance que no siempre es una lnea recta, con intentosfallidos, con controversias y desacuerdos.

La historia pone tambin muy claramente de manifiesto que las matemticas son un saberacumulativo. Esto tiene una particular importancia para el aprendizaje, quiere decir que paraestudiar y avanzar en matemticas la memoria es mucho ms importante de lo que usualmentese cree. La efmera memoria de los estudiantes que llegan a la Universidad, que con frecuenciahan olvidado lo que alguna vez aprendieron de matemticas, es una de las grandes dificultadesque debemos afrontar los profesores.

Un aspecto notable del libro es la atencin que dedico a los persistentes errores en matem-

ticas que suelen tener casi todos los estudiantes al llegar a la Universidad. Confo en que misobservaciones al respecto sean tiles no slo para los estudiantes sino tambin para los pro-fesores de matemticas de las Enseanzas Medias. Tambin expongo algunas opiniones muycrticas con la forma en que tradicionalmente se explican algunos temas en la Universidad, estoafecta muy especialmente al estudio de los nmeros complejos y de las funciones elementalescomplejas y de las series, para los que hago propuestas que creo que deben ser tenidas muy encuenta.

Granada, septiembre de 2008




21/686

Guas de lectura XX

Guas de lectura

El Captulo 5 y los diversos complementos de contenido histrico solamente debes leerlossi te gustan. La nica forma de saber si te gustan es que empieces a leerlos, y si cuando llevesdos pginas sigues interesado en la lectura seguramente llegars hasta el final.

Los captulos 1 y 2 deben ser ledos con detenimiento. No hay en ellos demostracionesque merezcan ese nombre. En el Captulo 1 se dan definiciones bsicas cuyo conocimiento esimprescindible para leer todo lo dems. En el Captulo 2 se define el importantsimo conceptode funcin y se estudian, desde un punto de vista descriptivo, las funciones elementales. Elconocimiento de dichas funciones es absolutamente necesario para leer el resto del libro yrealizar ejercicios.

Para estudiantes orientados hacia ingenieras cuyo inters por las matemticas esde tipo instrumental

El Captulo 3 est dedicado a los nmeros complejos y a las funciones complejas elemen-tales. Solamente t puedes saber si necesitas estudiarlo. Si decides omitirlo puedes hacerlo contranquilidad.

El Captulo 4 est dedicado a dos importantes conceptos: el de continuidad y el de lmi-te funcional. Son conceptos de importancia terica y necesarios para hacer ejercicios. Debesestudiar y entender las definiciones y resultados pero no es necesario que leas las demostra-ciones. El concepto de extremo superior tiene inters desde un punto de vista formativo, paraque comprendas que se precisa alguna herramienta que permita probar ciertas afirmaciones deapariencia evidente (o no tan evidente). Muchos libros de Clculo orientados hacia la ingenie-ra omiten este concepto. No es un concepto imprescindible para un futuro ingeniero, pero esbueno que sepas de su existencia y tengas una idea de su utilidad y lo que significa.

El Captulo 6 estudia las derivadas y sus aplicaciones. Creo que debes leerlo todo incluidaslas demostraciones de los resultados principales porque son cortas y fciles de entender, con laexcepcin, quizs, de las demostraciones de las Reglas de LHpital, no porque sean difcilessino porque son algo largas. Pero debes leer la explicacin de por qu dichas reglas funcionan.Son muy tiles y mi impresin es que se usan como un recurso casi mgico, sin entender bienlo que se est haciendo. La seccin en la que se explican tcnicas para calcular lmites de

funciones debes leerla hasta que memorices los lmites bsicos que all se indican y entiendasbien los procedimientos que se exponen.

El Captulo 7 est dedicado al estudio de las sucesiones. Debes aprender y comprenderbien las definiciones y lo que dicen los principales teoremas pero, salvo la demostracin deque toda sucesin montona acotada es convergente, no es necesario que leas ninguna otrademostracin. Los resultados relativos a la condicin de Cauchy son una herramienta tericafundamental, pero quizs un ingeniero puede prescindir de ellos. La seccin en la que se ex-plican tcnicas para calcular lmites de sucesiones y para resolver las indeterminaciones msusuales, debes leerla hasta que memorices los lmites bsicos que all se indican y entiendasbien los procedimientos que se exponen. Las sucesiones que definen al nmero e y las de-sigualdades asociadas con dichas sucesiones son muy tiles, debes memorizarlas y aprender a

reconocerlas all donde aparezcan. La continuidad uniforme es algo de lo que puedes prescindir




22/686

Guas de lectura XX I

con tranquilidad.

El Captulo 8 es muy extenso, en l se estudia la integral de Riemann que es la integral usualdel Clculo, las integrales impropias, el clculo de primitivas y las aplicaciones del clculointegral. Con la excepcin de las demostraciones del Teorema Fundamental del Clculo y dela Regla de Barrow, no es necesario que leas otras demostraciones. Procura entender bien ladefinicin de integral y sus propiedades as como el significado del Teorema Fundamental delClculo. Todo el tiempo que dediques, y tendrs que dedicar muchas horas, a practicar lastcnicas de clculo de primitivas ser ampliamente recompensado. Calcular primitivas es algoque hay que hacer con muchsima frecuencia: en todas las aplicaciones de la integral tienes quecalcular una primitiva.

El Captulo 9 est dedicado al estudio de las series numricas. Es importante que aprendasy comprendas bien las definiciones principales. Hay muchsima confusin en este tema y loslibros que conozco sirven de poca ayuda. Las demostraciones de este captulo puedes omitirlassalvo las de los criterios de convergencia para series de trminos positivos que son cortas yfciles de entender. Las tcnicas para sumar algunos tipos de serie debes estudiarlas, as comoel criterio de Leibniz para las series alternadas. El apartado dedicado a la expresin de unnmero real en una baseb 2Z merece que lo leas, aunque solamente sea un poco por encima,para saber lo que dice y para aclararte de una vez con eso de los decimales infinitos con infinitascifras que no se repiten.

El Captulo 10 estudia la convergencia puntual y uniforme de sucesiones y series de fun-ciones. El concepto de convergencia puntual es muy sencillo, no lo es tanto el de convergenciauniforme y puede que un ingeniero no necesite estudiarlo con detenimiento. Es bueno que se-

pas para qu sirve y que muchas operaciones que consisten en permutar el lmite funcional conla integracin o con la derivacin requieren para su plena justificacin un tipo de convergenciamejor que la puntual. Las series de potencias debes estudiarlas con detalle, omitiendo quizsalgunas demostraciones. Su estudio es importante y muy til a efectos de clculo. Los desarro-llos en serie de potencias de las funciones elementales, y la definicin por series de potenciasde las funciones exponencial y trigonomtricas debes estudiarlos bien. Lo que dice el teoremade aproximacin de Weierstrass es muy fcil de entender, pero puedes omitir su demostracin.

La parte ms importante para el aprendizaje es el tiempo que dediques a la realizacinde ejercicios. He incluido una extensa coleccin de ejercicios resueltos que te servir de ayu-da para aprender a resolver ejercicios t solo. Siempre debes intentar resolver algunos de losejercicios propuestos empezando por los que te parezcan ms fciles, antes de consultar las so-luciones. Se aprende ms de un ejercicio que al principio se resiste hasta que damos con la ideapara resolverlo, que del ejercicio que resolvemos al primer golpe de vista. Los ejercicios quepropongo tiene un grado medio de dificultad: no son triviales para no ofender a tu inteligen-cia ni demasiado difciles para evitar que puedas desalentarte. Con frecuencia los ms difcilesestn resueltos. En cualquier caso, siempre debes leer la teora y comprender los conceptos eideas bsicas, as como el significado preciso de los teoremas, antes de hacer los ejercicios.

Para estudiantes de matemticas y fsica

Todo lo dicho arriba se mantiene con algunos aadidos:

El Captulo 3 debes estudiarlo y entenderlo bien. Los conceptos bsicos de los nmeros




23/686

Guas de lectura XXII

complejos estn muy confusamente expuestos en gran nmero de textos y las funciones com-

plejas elementales son definidas con frecuencia de una forma poco correcta.En el Captulo 4 debes estudiar y comprender bien las definiciones de extremo superior

e inferior. Debes hacer ejercicios hasta que te convenzas de que sabes usarlas con soltura. Ladiferencia entre un curso de Clculo y uno de Anlisis Matemtico est en los conceptos desupremo e nfimo. Los libros de Anlisis Matemtico siempre los incluyen, los de Clculo casinunca. No es preciso, al menos en una primera lectura, que estudies la demostracin del teo-rema de valores mximos y mnimos de Weierstrass, en el Captulo 7 hay otra demostracinalternativa de dicho teorema que es mucho ms fcil. Debes estudiar y comprender la demos-tracin del teorema de Bolzano y sus consecuencias, as como las relaciones entre monotonae inyectividad.

Para el Captulo 6 te doy los mismos consejos que arriba. En una segunda lectura debesestudiar la demostracin de las reglas de LHpital.

El Captulo 7 estudia las sucesiones numricas. Mantengo los mismos consejos de arri-ba pero, adems, en una segunda lectura debes estudiar las demostraciones de los resultadosprincipales, especialmente el teorema de completitud de R. Por supuesto, debes estudiar lacontinuidad uniforme.

Para el Captulo 8 mantengo los mismos consejos de arriba con el aadido de que estudieslas demostraciones de integrabilidad de funciones continuas y de funciones montonas.

En el Captulo 9 puedes omitir la demostracin de la segunda parte del teorema 9.14perodebes entender lo que se afirma en el mismo. Lo dems debes estudiarlo todo. El tema de las

series es muy importante para matemticos y fsicos.El Captulo 10 es de estudio obligado para matemticos y fsicos. La convergencia uniforme

es tu primer encuentro con algunos conceptos que sern ampliamente generalizados en otroscursos, el tiempo que dediques a su estudio y a la comprensin de sus sutilezas estar bienempleado. Todos los teoremas de este Captulo tiene demostraciones sencillas y cortas quedebes estudiar. El teorema de aproximacin de Weierstrass es tambin uno de esos resultadoscuya generalizacin se estudia en cursos ms avanzados, debes entender bien lo que dice y noest de ms que leas la demostracin. Por lo dems, mantengo los consejos dados arriba.

La parte ms importante para el aprendizaje es el tiempo que dediques a la realizacinde ejercicios. He incluido una extensa coleccin de ejercicios resueltos que te servir de ayu-

da para aprender a resolver ejercicios t solo. Siempre debes intentar resolver algunos de losejercicios propuestos empezando por los que te parezcan ms fciles, antes de consultar las so-luciones. Se aprende ms de un ejercicio que al principio se resiste hasta que damos con la ideapara resolverlo, que del ejercicio que resolvemos al primer golpe de vista. Los ejercicios quepropongo tiene un grado medio de dificultad: no son triviales para no ofender a tu inteligen-cia ni demasiado difciles para evitar que puedas desalentarte. Con frecuencia los ms difcilesestn resueltos. En cualquier caso, siempre debes leer la teora y comprender los conceptos eideas bsicas, as como el significado preciso de los teoremas, antes de hacer los ejercicios.




24/686

Captulo 1

Axiomas de R. Principio de induccion

Dios cre los nmeros naturales, lo dems es obra de los hombres.L. Kronecker

1.1. Introduccin

Los temas tradicionales del Clculo son el estudio de las funciones continuas, las derivadase integrales, las sucesiones y las series. T ya debes saber algo de todo eso. En principio, pare-cen cosas bastante diferentes pero todas ellas tienen una base comn, que es, precisamente, delo que nos vamos a ocupar en este Captulo. Me estoy refiriendo a los nmeros reales que repre-sentamos por R. Sin duda, ya conoces muchas propiedades de los nmeros reales. Sabes quese pueden sumar y multiplicar y que hay nmeros reales positivos y negativos. Tambin puedesextraer races de nmeros reales positivos y elevar un nmero real positivo a otro nmero real.Lo que quizs no sepas es que todo lo que puedes hacer con los nmeros reales es consecuencia

de unas pocas propiedades que dichos nmeros tienen que, adems, son muy elementales. Eneste Captulo estableceremos dichas propiedades. Sern nuestro punto de partida para todo loque sigue; constituyen los axiomas del Clculo. Te advierto que no voy a decrtelo todo,voy a guardarme una carta en la manga que te mostrar ms adelante cuando su necesidad seamanifiesta (si echas algo en falta, ve alCaptulo 4).

1.1.1. Axiomas, definiciones, teoremas, lemas, corolarios.

Al terminar este apartado, entenders el significado de la frase deBertrand Russellque fueuno de los ms grandes matemticos y filsofos del siglo XX.

La matemtica pura es aquella ciencia en la que uno no sabe de qu est hablandoni si lo que est diciendo es verdad.

1
http://-/?-http://es.wikipedia.org/wiki/Bertrand_Russellhttp://es.wikipedia.org/wiki/Bertrand_Russellhttp://-/?-


25/686

Axiomas, definiciones, teoremas, lemas, corolarios. 2

Siempre que te enfrentas a un problema es muy importante que lo sites en su contexto apro-

piado. Esto ya lo haces de forma automtica en muchas ocasiones. Por ejemplo, sabes que unproblema de lgebra y otro de probabilidades requieren distintas herramientas, y al primero lositas en lgebra y al segundo en Clculo de Probabilidades. Pero no siempre las cosasson tan claras, no siempre tienes un marco de referencia tan explcito. Para quesientaslo quequiero decirte, voy a proponerte unos ejercicios muy sencillos. En todo lo que sigue se suponeque x; yson nmeros reales.

1. Prueba que0 x D 0.2. Prueba que.x/y D xy.3. Prueba que six

0entoncesx 2 >0.

Supongo que hace ya tanto tiempo que conoces estas propiedades de los nmeros quehas olvidado cundo las aprendiste. Y ahora te pido que las demuestres! Puedo imaginar tureaccin que demuestre que0 x D 0?, pero si eso es evidente! siempre me han dicho que esas! cmo se puede demostrar tal cosa?.

Pienso que muchas veces la dificultad de un ejercicio est en que no sabes qu es exacta-mente lo que se te pide que hagas; no te dan un marco claro de referencia. En estas situacioneslo ms frecuente esquedarse colgadocon lamente en blancosin saber qu hacer.

Para evitar ese peligro, en este curso vamos a dar un marco de referencia muy claro que vaa consistir en unas propiedades de los nmeros axiomas, si quieres llamarlas as que vamos

a aceptar como punto de partida para nuestro estudio. Esas propiedades, junto con lasreglasde inferencia lgicausuales y condefinicionesapropiadas nos permitirndemostrarresultados(teoremas) que podremos usar para seguir avanzando.

Simplificando un poco, puede decirse que en matemticas no hay nada ms que axiomasy teoremas (bueno, tambin hay conjeturas, proposiciones indecidibles. . . ). Todo lo que sedemuestra es un teorema; por ejemplo 0 xD 0es un teorema. Ocurre que el nombre teoremase reserva para resultados que se consideran realmente importantes y que ha costado esfuerzollegar a probarlos. Se usan tambin los trminos: corolario, lema, proposicin y otros. Perola estructura de una teora matemtica elaborada se resume en un conjunto de axiomas y deteoremas que se deducen de ellos mediante reglas de inferencia lgica.

Los axiomas de una teora matemtica proporcionan el marco de referencia ms general dedicha teora. Son, por tanto, muy importantes. Al principio, cuando la teora empieza a caminary se demuestran los primeros resultados ms bsicos, es frecuente recurrir de forma explcitaa los axiomas. Ms adelante, cuando la teora va avanzando, los axiomas no suelen citarse contanta frecuencia porque nos apoyamos en resultados ms elaborados previamente demostrados.Pero los axiomas siempre estn presentes aunque sea de forma discreta y no ostensible.

Entre las particularidades que distinguen a las Matemticas de las dems ciencias hay unamuy especial: las Matemticas avanzan dando definiciones. Las definiciones no son nuevosaxiomas. Una definicin lo que hace es introducir un trmino nuevo y establece cmo dichotrmino se expresa en funcin de los axiomas de la teora. Por ejemplo, la definicin de con-tinuidad se expresa mediante desigualdades y las desigualdades se reducen a los axiomas de

orden de R.




26/686

Axiomas, definiciones, teoremas, lemas, corolarios. 3

Quiero tambin decirte algo sobre lo que se entiende porreglas de inferencia lgicas usua-

les. Me limitar a la ms importante: la implicacin lgica. Los teoremas matemticos tienencasi siempre la siguiente estructura: se parte de una hiptesis y de ella se deduce unatesis.Entremos en detalles. Lahiptesises siempre alguna propiedad matemtica; por ejemplo,fes una funcin continua en un intervalo. Latesistambin es una propiedad matemtica; porejemplo,la imagen def es un intervalo. Representemos porHla hiptesis y porTla tesis.Es importante que te des cuenta de que no tiene sentido preguntarse por la veracidadde la hi-ptesisH. No es ni verdadera ni falsa. Para que Hsea verdadera o falsa debemos particularizarla funcinf.

Un error muy frecuente consiste en pensar que en Matemticas las hiptesis son verdade-ras.

Ahora te preguntars, si Hno es verdadera ni falsa, qu quiere decir que Himplica To, equivalentemente, queTse deduce o es consecuencia de H? La respuesta es: HimplicaT quiere decir que siempre que Hsea verdadera tambin Tes verdadera. Observa que noestamos afirmando (no tiene sentido) queHoTsean verdaderas sino quecuandoHes verda-dera tambin lo esT. Con ms precisin, demostrar queHimplicaTconsiste en probar que laproposicin HTes cierta. Teniendo en cuenta que la proposicinHTes la disyuncinlgica (noH)_T, resulta que siHes falsa entonces HT es verdadera (por eso se dice quede una hiptesis falsa puede deducirse cualquier cosa) y si Hes verdadera entonces para queHTsea verdadera tiene que ocurrir queT sea verdadera. En consecuencia, si sabemos queHes verdadera y queHT es verdadera, deducimos queTes verdadera.

Ahora puedes entender el significado de la frase de C. P. Steinmetz.

La matemtica es la ciencia ms exacta, y sus conclusiones son susceptibles dedemostracin absoluta. Pero eso se debe exclusivamente a que la matemtica nointenta obtener conclusiones absolutas.Todas las verdades matemticas son rela-tivas, condicionales.

Tambin comprendes ya el significado de una parte de la enigmtica frase de Bertrand Russelldel principio:en matemticas no sabemos si lo que decimos es verdad. Pero una parte de dichafrase queda por aclarar.

Recuerdas los axiomas de la geometra elemental? En dichos axiomas se establecen pro-piedades que se supone satisfacen ciertos objetos llamados punto,recta y plano. Pero nose dice nuncalo que esun punto ni una recta ni un plano. De la misma forma, en la seccinsiguiente estableceremos los axiomas de los nmeros reales, pero no diremos lo que esun n-mero real. En matemticas nunca decimos cul es la naturaleza concreta de los objetos conlos que trabajamos! Sucede que la intuicin nos lleva muchas veces a una interpretacin na-turalde dichos objetos, pero otras veces dicha interpretacin natural no est disponible. Y, loms interesante, puede haber interpretaciones muy diferentes de una misma teora matemtica.Precisamente, las matemticas son unaciencia abstracta porque trabaja con cosas abstractascuya naturaleza no se precisa ni es necesario saber, solamente interesan lasrelacionesque hayentre ellas tal y como se establecen en los axiomas. Ahora ya entiendes por qu afirma BertrandRussell queen matemticas no sabemos de lo que hablamos.




27/686

Axiomas de los nmeros reales 4

1.2. Axiomas de los nmeros reales

1.2.1. Axiomas algebraicos

Como ya sabes, se distinguen distintas clases de nmeros:

Losnmeros naturales1; 2; 3; : : : . El conjunto de todos ellos se representa por N.

Losnmeros enteros : : : ; 2; 1; 0; 1; 2; : : : . cuyo conjunto se representa por Z.Losnmeros racionales que son cocientes de la forma p=q donde p2 Z; q2 N , cuyo

conjunto representamos por Q.

Tambin conoces otros nmeros comop

2, , o el nmero e que no son nmeros racionalesy que se llaman, con una expresin no demasiado afortunada, nmeros irracionales. Puesbien, el conjunto formado por todos los nmeros racionales e irracionales se llamaconjunto delos nmeros realesy se representa por R.

Es claro que N Z Q R.Aunque los nmeros que no son racionales pueden parecer un poco raros, no merece la

pena, al menos por ahora, preocuparse por cmo son estos nmeros; sino que lo realmenteinteresante es aprender a trabajar con ellos. Lo interesante del nmero

p2es que su cuadrado

es igual a21.

Pues bien, una de las cosas ms llamativas de los nmeros es que a partir de un pequeogrupo de propiedades pueden deducirse casi todas las dems. Vamos a destacar estas propie-

dades bsicas que, naturalmente, hacen referencia a las dos operaciones fundamentales que sepueden hacer con los nmeros: la suma y el producto. La suma de dos nmeros reales x ; yseescribex Cy, representndose el producto por xy. Las propiedades bsicas a que nos referimosson las siguientes.

P1 Propiedades asociativas.Para todosx ; y; zen R:

.x C y/ C z D x C .y C z/ I .xy/z D x.yz /

P2 Propiedades conmutativas.Para todosx ; yen R:

xC

yD

yC

xI

x yD

yx

P3 Elementos neutros. Hay dos nmeros reales distintos que representamos por 0 y 1tales que para todo x 2R se verifica que:

0 C x D x 1x D x

P4 Elementos opuesto e inverso. Para cada nmero real x hay un nmero real llamadoopuesto de x, que representamos por x, tal que x C .x/ D 0:Para cada nmero real x distinto de0,x 0, hay un nmero real llamadoinverso de x,que representamos por x1, tal que xx1 D 1:

1La seccinNmeros y medida de magnitudestrata de la aparicin de los nmeros irracionales y su relacincon la medida de magnitudes




28/686

Axiomas de orden 5

P5 Propiedad distributiva. .x C y/z D xz C y zpara todos x ; y; zen R.

Las propiedades anteriores son de tipo algebraico y, aunque son muy sencillas, a partir de ellaspuedenprobarsecosas tan familiares como que 0xD0, o que .x/yD.xy/. Vamos a hacerlo.1.1 Proposicin. Se verifican las siguientes igualdades

0x D 0; .x/y D x y; .x/.y/ D xy :

Demostracin. Probaremos primero que 0xD 0. PorP5 .0 C 0/xD 0 xC 0 x. Como con-secuencia deP3 es 0 C 0 D 0. Obtenemos as que 0 xD 0 xC 0 x. UsandoP4, sumamos elopuesto de0 xa ambos lados de la igualdad0 x D0 x C0 xy, usando tambinP1(la propiedadasociativa), obtenemos que0 x D 0.

Probaremos ahora que.x/yD.xy/. Tenemos que xy C.x/yD.xC.x//yD0 yD0.Donde hemos usadoP4,P5y el apartado anterior. La igualdadxy C .x/y D 0nos dice, porP4, que.x/yes el opuesto de xy . Eso es justamente lo que queramos probar.

Finalmente, la igualdad.x/.y/ D xyes consecuencia inmediata de la anterior.

El smbolox debe leerse siempre el opuesto de x y no menos x. La razn es quela palabra menos remite a una idea de orden (si hay menos es porque hay ms) y elsignificado de xes puramente algebraico y nada tiene que ver con la idea de orden de la queni siquiera hemos hablado an. No cometas el error de pensar que xes negativo!Notacin.Suele escribirse x

y en vez de x

C.

y/. Tambin, supuesto y

0, se escribe

x=y o xy en vez de x y1.

1.2.2. Axiomas de orden

Los nmeros tienen, adems de las propiedades algebraicas, otras propiedades que suelenllamarse propiedades de orden. Como sabes, los nmeros suelen representarse como puntos deuna recta en la que se fija un origen, el0, de forma arbitraria. Los nmeros que hay a la derechade0, se llaman positivosy el conjunto de todos ellos se representa por RC. Las propiedadesbsicas del orden son las siguientes.

P6 Ley de tricotoma.Para cada nmero real x se verifica una sola de las siguientes tresafirmaciones: x D 0,x es positivo, xes positivo.P7 Estabilidad de RC.La suma y el producto de nmeros positivos es tambin un nmero

positivo.

1.2.2.1. Relacin de orden

Observa que enP6se dice, en particular, que el 0 noes positivo, el 0 es el 0! Por otra parte,si x es un nmero positivo, entonces como xC .x/ D 0 y el 0 no es positivo, concluimos,porP7, quexno es positivo. Los elementos del conjunto RD fxW x2 RCg, es decir,los opuestos de los nmeros positivos, se llamannmeros negativos. Observa que si z 2 Rentonces z 2RC.




29/686

Desigualdades y valor absoluto 6

1.2 Definicin. Para x; y2 R escribimos x < y (lasex es menor quey) o y > x (lasey

es mayor quex) para indicar que y x2 RC, y escribimos x 6 y o y > x para indicar quey x2 RC [ f0g.

Notacin.En adelante usaremos las notaciones: RCoDRC[f0g,Ro DR[f0g yRDRnf0g.1.3 Proposicin. Para todox 0se verifica quex 2 >0. En particular, 1 > 0.

Demostracin. Probaremos que si x 0entonces x2 > 0. En efecto, si x 0entonces, porP6, o bienx es positivo o bien xes positivo. Teniendo en cuenta que, como consecuencia de(1.1), es x2 D x xD .x/.x/, concluimos que x2 es positivo. En particular, tenemos que12 D 1> 0. Acabamos de probar que1 > 0!.

Tenemos ahora dos tipos de propiedades en R, las algebraicasP1-P5y las de ordenP6y

P7. En la siguiente seccin estudiamos cmo se relacionan entre s.

1.2.3. Desigualdades y valor absoluto

Las propiedades del orden de los nmeros reales son las que nos permiten trabajar condesigualdades. Es muy fcil equivocarse al trabajar con desigualdades. Yo creo que en el ba-chillerato no se le da a este tema la importancia que merece. Fjate que algunos de los conceptosms importantes del Clculo se definen mediante desigualdades (por ejemplo, la definicin de

sucesin convergente o de lmite de una funcin en un punto). Por ello, tan importante co-mo saber realizar clculos ms o menos complicados, es aprender a manejar correctamentedesigualdades, y la nica manera de hacerlo es con la prctica mediante numerosos ejemplosconcretos. Por supuesto, siempredeben respetarse cuidadosamente las reglas generales quegobiernan las desigualdades entre nmerosy asegurarse de que se usan correctamente. Apartede tales reglas no hay otros mtodos generales que nos digan cmo tenemos que proceder encada caso particular.

En el siguiente resultado el primer teorema de este curso! se enuncian las propiedadesprincipales del orden de R. Son las que debers usar para trabajar con desigualdades.

1.4 Teorema(Reglas para trabajar con desigualdades). Sean x; y; z nmeros reales.

1. x 6 y e y 6 z implican que x 6 z.

2. x 6 y e y 6 x implican que x D y.3. Se verifica exactamente una de las tres relaciones: x < y,x D y, o y < x :4. x < y implica que x C z 0 implican que xz < y z.

6. x < y , z < 0 implican que xz > y z.

7. xy > 0 si, y slo si,x e y son los dos positivos o los dos negativos. En consecuenciasi x 0 es x2 >0 y, en particular, 1> 0.




30/686

Desigualdades y valor absoluto 7

8. z > 0 implica que 1

z >0:

9. Supuesto que x e y son los dos positivos o los dos negativos, se verifica que x < y

implica que 1

y 0. Si ahora es z > 0, tambin ser z.y x / > 0, es decir,zy zx > 0o, sea, zx < zy. Lo nico que hemos usado aqu ha sido la definicin de lossmbolos y algunas de las propiedades P1-P8. Un estupendo ejercicio para quecompruebes tus habilidades es que demuestres todas las afirmaciones del teorema anterior.

1.2.3.1. La forma correcta de leer las matemticas

L

calculo diferencial integral func una var

Documents