ANLISIS

MATEMTICO

ANLISIS
ALGEBRAICO.
TEORA DE
ECUACIONES.
CLCULO
INFINITESIMAL DE
UNA VARIABLE.

J. REY PASTOR
P. PI CALLEJA
C. A. TREJO

L K A P E L U S Z

JULIO REY PASTOR

PEDRO P I CALLEJA
CSAR A. TREJO
Anlisis matemtico
Volumen I: Anlisis algebraico Teora de ecuaciones
Clculo infinitesimal de una variable

E D I T O R I A L

KAPELUSZ
Moreno

372

Buenos

Aires

Estn prohibidas y penadas por la ley la reproduccin y la difusin totales o

parciales de esta obra, en cualquier forma, por medios mecnicos o electrnicos,
inclusive por fotocopia, grabacin magnetofnica y cualquier otro sistema de
almacenamiento de informacin, sin el previo consentimiento escrito del editor.
Todos los derechos reservados por (, 1952) EDITORIAL KAPELUSZ S.A.
Buenos Aires. Hecho el depsito que establece la ley 11,723.
Octava edicin, Julio 1969.
LIBRO DE EDICION ARGENTINA, Printed in Argentina.
ISBN 950-13-3301-9

NDICE GENERAL

Presentacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Nota a la segunda edicin . . . . . . . . . . . . . . . . . . . . . . . .
Nota a la sptima edicin . . . . . . . . . . . . . . . . . . . . . . . .
Plan de la obra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Finalidad y estructura. 2. Contenido. 3. Bibliografa general.

PG.
XVII
. XIX
. XIX
... XX

CAPTULO I
FUNDAMENTACIN DEL NMERO RACIONAL
1. Introduccin lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1. Unidad y conjunto. 2. Lgica deductiva. 3. Mtodos de demostracin. 4. Conceptuacin matemtica. 5.Igualdad. Relaciones de equivalencia. 6. Definiciones por abstraccin.
7. Axiomtica. 8. Estructura de la Matemtica. Ejercicios.

2. El nmero natural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
. Diversas fundamentaciones del nmero natural. 2. In1
duccin completa. Axiomas de Peano. 3. Definiciones
por recurrencia. 4. Operaciones fundamentales. 5. Definicin de mayor y menor. Leyes de la desigualdad.
8. Correspondencia. 9. Conjuntos finitos. 10. Nmero
cardinal.
11.
Conjuntos
numerables.
Ejercicios.

3. El nmero entero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
 . Definicin de nmero entero. 2. Enteros positivos y negativos.
1
3. Suma, producto y desigualdad. 4. Ley uniforme y leyes for
males. 5. Isomorfismo entre los nmeros naturales y los enteros positivos. 6. La sustraccin. Operaciones enteras. 7. Mdulos de las operaciones fundamentales. 8. Productos de valor
nulo. 9. Regla de los signos y de la desigualdad. 10. Representacin grfica.
11. La facultad de abstraccin. Ejercicios.

4. Smbolos numricos y operatorios. Polinomios . . . . . . . . . . . . . . 39

1.Smbolos
numricos.
2.Monomios.
3.Smbolo . 4.Smbolo 5. Producto de potencias de igual base.
6. Supresin de parntesis. 7. Polinomios. 8. Producto do dos sumas. 9. Producto de varias sumas. 10. Casos notables. 11. Valor numrico de un polinomio. Ejercicios.

VI

NDICE GENERAL

PG.
5. Divisibilidad numrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 46
 Divisin entera. 2. Divisibilidad y orden parcial.
1.
3.La divisibilidad respecto a la adicin y a la sustraccin.

4.La divisibilidad respecto a la multiplicacin. 5. Mximo comn
divisor y mnimo comn mltiplo de dos nmeros. 6. El algoritmo
de Euclides. 7. Divisores y mltiplos comunes de varios nmeros. 8.
Descomposicin en factores primos: teorema fundamental. 9. Aplicaciones del teorema fundamental. 10. Obtencin de todos los divisores de un nmero. 11. Congruencias y clases residuales. 12. Operaciones con clases residuales. Grupos, anillos, cuerpos. Ejercicios.

6. El nmero racional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .65

 . Definicin de nmero racional. 2. Suma y producto de n1
meros racionales: leyes formales. 3. Isomorfismo con los enteros. 4. La divisin en el campo racional. Operaciones racionales. 5. La desigualdad en el campo de los nmeros racionales. 6.
Representacin grfica de los nmeros racionales. 7. Potencias
de exponente entero. 8. Series de fracciones iguales y desiguales. 9. Medias aritmticas, geomtricas y armnicas. Ejercicios.

Notas al Captulo I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
I. El lgebra de Boole. II. El algoritmo de la numeracin. III.
Complementos sobre divisibilidad numrica. IV. Bibliografa.

CAPTULO II
EL NMERO REAL Y EL NMERO COMPLEJO
7. Concepto de nmero real . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . .93

1
. Segmentos inconmensurables y resolucin aproximada
de

ecuaciones.
2.
Sucesiones
3.
Aproximaciones
decimales y su generalizacin. 4. Definicin de nmero real por sucesiones de intervalos encajados. 5. Operaciones fundamentales
y desigualdad entre nmeros reales. 6. Clases contiguas y cortaduras de Dedekind. 7. Conjuntos lineales: intervalos. Ejercicios.

8. Potencias y logaritmos de los nmeros reales . . . . . . . . . . . . . 111

 . Raz aritmtica. 2. Clculo de radicales. 3. Racionalizacin de
1
denominadores. 4. Potencias de exponente racional. 5. Variacin y
representacin grfica de las potencias de exponente racional. 6. Potencias de exponente real: su variacin. 7. Logaritmos de los nmeros reales positivos: su variacin. 8. Clculo logartmico. Ejercicios.

9. Concepto de nmero complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . 126

1. Origen aritmtico de los nmeros complejos. 2. Definicin de nmero complejo. Operaciones fundamentales.

NDICE GENERAL
 . Representacin geomtrica. 4. Mdulo y argumento de un nmero
3
complejo. 5. Las operaciones racionales en el campo complejo.
Ejercicios.

VII
PG.

$ 10. Potencias y races en el campo complejo. . . . . . . . . . . . . . . . .137

 . Potencias de exponente entero. 2. Races de los nmeros complejos:
1
representacin grfica. 3. Raz cuadrada en forma binmica. 4. Races
de los nmeros reales. 5. Races primitivas de la unidad. Ejercicios.

Notas al Captulo II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .144

I. Plenitud y unicidad del sistema de los nmeros reales.
II.Elinfinitomatemtico.III.Sistemashipercomplejos.
IV. Bibliografa.

CAPTULO III
COMBINATORIA. LGEBRA LINEAL
11. Anlisis combinatorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153

1
.
Variaciones.
2.
Permutaciones.
3.
Combinaciones.
4. Nmeros combinatorios. 5. Sustituciones. 6. Sustituciones
circulares:
descomposicin
en
ciclos.
Ejercicios.

12. Potencias de binomios y polinomios . . . . . . . . . . . . . . . . . . . . .166

1. Potencia de un binomio. 2. Potencia de un polinomio. Ejercicios.

13. Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .170

. Origen de la teora de los determinantes. 2. Determi1
nantes de segundo y tercer orden. 3. Determinantes de orden cualquiera: sus propiedades. 4. Desarrollo de un determinante. 5. Menores complementarios. Regla de Laplace. 6.
Producto de determinantes. 7. Determinantes especiales. Ejercicios.

14. Clculo de matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191

 . Definiciones. 2. Dependencia lineal de filas y colum1
nas. 3. Caracterstica de una matriz; su clculo. Ejercicios.

15. Sistemas de ecuaciones lineales . . . . . . . . . . . . . . . . . . . . . . . . 195

. Expresiones algebraicas: su valor numrico. 2. Plantea1
miento y transformacin de ecuaciones. 3. Teorema fundamental de equivalencia en los sistemas de ecuaciones lineales: mtodo de reduccin. 4. Regla de Cramer.
5. Sistema general de ecuaciones lineales. 6. Sistemas de ecua
ciones lineales homogneas. 7. Sustituciones lineales. Ejercicios.

Notas al Captulo III . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214

1. Grupos de sustituciones entre permutaciones. II. Bibliografa.

VIII

NDICE GENERAL

CAPTULO IV

PG.

ALGORITMO ALGEBRAICO
16. Principio de identidad. Operaciones racionales con
polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .221
. Principio de identidad de los polinomios de una variable.
1
2. Principio de identidad de polinomios de varias variables.
3. Operaciones enteras con polinomios. 4. Divisin entera de
dos polinomios de una variable. 5. Divisin de un polinomio
por x a. 6. Divisin entera de dos polinomios de varias variables. 7. Mtodo de los coeficientes indeterminados. Ejercicios.

17. Divisibilidad algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231


1. Concepto de irreducibilidad en un campo racional. 2. Teoremas fundamentales de la divisibilidad algebraica entre polinomios de una o ms variables. 3. Mximo comn divisor y mnimo
comn mltiplo de los polinomios de una variable. 4. Mximo
comn divisor y mnimo comn mltiplo de los polinomios de varias variables. 5. Descomposicin en factores primos de un polinomio de una o ms variables: teorema fundamental. Ejercicios.

18. Ceros de dos polinomios de una variable . . . . . . . . . . . . . . . . 245

. Teorema fundamental del lgebra. 2. Descomposicin fac1
torial. Relaciones entre las races y los coeficientes. Ejercicios.

19. Resolucin elemental de ecuaciones por radicales . . . . . . . .250

. Ecuacin de segundo grado. 2. Ecuaciones reducibles a cua1
drticas. 3. Ecuacin cbica. 4. Ecuacin curtica. Ejercicios.

Notas al Captulo IV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265

I . Nmeros algebraicos y trascendentes. II. Problemas clsicos del
lgebra. III. Bibliografa.

CAPTULO V
EL LMITE ARITMTICO
20. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . 273
 . Lmites finitos e infinitos. 2. Propiedades de los lmites fini1
tos. 3. Sucesiones contenidas en otra. 4. Sucesiones montonas de
nmeros reales. 5. Lmites de oscilacin de una sucesin. 6. Criterio general de convergencia. Sucesiones regulares. Ejercicios.

21.

Clculo de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282

1. Limites de las operaciones racionales. 2. Lmite de los

logaritmos y potencias. 3. Lmites de potencias en los

IX

NDICE GENERAL
c
asos singulares. 4. Lmites indeterminados. 5. El nmero e. 6. Sucesiones de nmeros complejos. Ejercicios.

PG.

22. Series numricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .295

. Propiedades generales de las series. 2. Series de trmi1
nos positivos: criterios de convergencia. 3. Series alternadas. 4. Series de trminos positivos y negativos. 5. Series de
trminos complejos. 6. Operaciones con series. Ejercicios.

Notas al Captulo V . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330

I. Algoritmos generales de convergencia
II. Aritmtica decimal de los nmeros

III.

Fracciones
continuas.
IV.

y sumacin.
aproximados.
Bibliografa.

CAPTULO VI
LAS FUNCIONES REALES Y LA CONTINUIDAD
23. La nocin de funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
 . Variables y constantes. 2. Nocin de funcin. 3. Campo de exis1
tencia. Funciones uniformes y multiformes. Definicin general de
funcin. 4. Caracterstica de una funcin. Funciones de varias variables. 5. Breve resea histrica. 6. Expresin algortmica de funciones. 7. Funciones racionales y funciones enteras. 8. Funciones algebraicas y curvas algebraicas. Funciones trascendentes. 9. Funciones
pares e impares. 10. Funcin potencial. 11. Funciones crecientes
o decrecientes. 12. Funciones inversas. 13. Funcin de funcin.
14. Cotas y extremos de variables o conjuntos reales. Ejercicios.

24. El lmite funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372

. El lmite de una funcin. 2. Propiedades de los lmites. 3.
1
Infinitsimos. 4. Clculo de lmites. 5. Limite infinito y lmite para x . 6. Forma topolgica de la definicin de lmite. 7.
Criterio de convergencia de Bolzano-Cauchy. 8. Lmites de oscilacin. 9. Lmite aritmtico y lmite funcional. Ejercicios.

25. Nocin de continuidad. Discontinuidades . . . . . . . . . . . . . . . .387

. Continuidad. 2. Diversas clases de discontinuidades. 3. Dis1
continuidades evitables. Verdadero valor. 4. Lmites laterales
y discontinuidades de primera especie. 5. Continuidad lateral y
continuidad en un intervalo. 6. Discontinuidades de segunda especie. 7. Operaciones con las funciones continuas. Ejercicios.

26. Propiedades de las funciones continuas en un intervalo

cerrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 396

1
. Conservacin de signo en el entorno de un punto.
2. Ceros de las funciones continuas. 3. Resolucin de


NDICE GENERAL

PG.
ecuaciones. 4. La propiedad D de las funciones continuas.
5. Mximos y mnimos de funciones continuas. 6. Continuidad uniforme. Teorema de Heine-Cantor. Ejercicios.

Notas al Captulo VI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401

I . Nota histrica sobre la continuidad. II. Conjuntos lineales. III.
El lema de Borel y sus aplicaciones. IV. Discontinuidades puntuales y totales. V. Funciones semicontinuas. VI. Bibliografa.

CAPTULO VII
LAS FUNCIONES TRASCENDENTES ELEMENTALES
27. Funciones exponencial, logartmica y potencial . . . . . . . . . . 411
 . Funcin exponencial. 2. La continuidad en las funciones mo1
ntonas. 3. Funcin logartmica. 4. Funcin potencial. Ejercicios.

28. Funciones circulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414

 . Funciones circulares. 2. El lmite de (sen x)/x para x 0.
1
3. Periodicidad. 4. Funcin sinusoidal. 5. Funciones circulares
inversas. 6. Continuidad de las funciones circulares. Ejercicios.

29. Funciones hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 425

1. Funciones hiperblicas. 2. Representacin paramtrica. Ejercicios.

Notas al Captulo VII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .428

I. Curvas de Peano.

II. Tablas de funciones.

CAPTULO VIII
FUNCIONES DERIVABLES
30. Concepto de derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .433
1. Incrementos y razn incremental. 2. Nocin de derivada. 3. Clculo directo de algunas derivadas. 4. Interpretacin geomtrica de la derivada. 5. Derivadas laterales. Derivada infinita. 6. La funcin derivada. 7. ngulo de dos
curvas. 8. Continuidad de las funciones derivables. Ejercicios.

31. Las primeras aplicaciones de la derivada . . . . . . . . . . . . . . . .442

1. Ecuacin de la tangente a una curva plana uniforme. 2. Ecuacin de la normal. 3. Segmentos determinados por la tangente y la normal. 4. Movimiento rectilneo. Velocidad. Ejercicios.

NDICE GENERAL

XI
PG.

32. Clculo de la derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .446

1. Linealidad de la derivacin. 2. Derivada del logaritmo.
3. Derivada de una funcin de funcin. 4. El mtodo de la derivada logartmica. Reglas del producto y del cociente. 5. Derivacin de determinantes. 6. Derivadas de las funciones potencial y exponencial. 7. Derivadas de las funciones circulares.
8. Derivada de la funcin inversa. 9. Aplicacin a las funciones circulares inversas. 10. Derivadas de las funciones hiperblicas directas e inversas. 11. Tabla de derivadas. Ejercicios.

33. Variacin de las funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457

. Criterios de crecimiento y decrecimiento. 2. Mximos y m1
nimos relativos. 3. Condicin necesaria de mximo o de mnimo. 4. Determinacin de mximos y mnimos. 5. Criterio
l: Variacin de la funcin. 6. Criterio 2: Variacin de la derivada primera. 7. Criterio 3: Mediante la derivada segunda. 8.
Simplificaciones en el clculo de mximos y mnimos. 9. Concavidad. Puntos de inflexin. 10. Estudio de la variacin. Ejercicios.

34. La diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .469

1. Definicin de diferencial y expresin analtica. 2. Representacin geomtrica. 3. Relacin con el incremento. 4. Reglas de diferenciacin. 5. Diferencial de una funcin de funcin. 6. Tangente
y normal a una curva plana dada en forma paramtrica. 7. Tangentes a las curvas planas en coordenadas polares. Ejercicios.

Notas al Captulo VIII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .474

I. Orgenes del Clculo diferencial.

CAPTULO IX
TEOREMAS DEL VALOR MEDIO Y CONSECUENCIAS
35. Teoremas del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .477
1. El teorema del incremento finito y su significado geomtrico. 2. Demostracin del teorema de Lagrange. 3. Consecuencia. Teorema fundamental del Clculo integral. 4. Acotacin del error en una funcin.
5. Interpolacin lineal. Acotacin del error. 6. Clculo aproximado de
logaritmos. 7. Derivacin grfica. 8. Teorema de Cauchy. Ejercicios.

36. Limites indeterminados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .483

1. Forma 0/0. Regla de Bernoulli-lHospital. 2. Aplicacin reiterada. 3. Generalizaciones. Lmite para x , y forma /. 4. Formas 0. e . 5. Formas exponenciales
, 0, l. 6. Sustitucin de variables equivalentes. Ejercicios.

XII

NDICE GENERAL
PG.

37. Infinitsimos e infinitos. Asntotas . . . . . . . . . . . . . . . . . . . . . . 492

1. Clculo con infinitos. 2. Comparacin de infinitos. 3. rdenes fundamentales de infinitud. 4. rdenes infinitesimales fundamentales. 5. Escalas de infinitsimos e infinitos. 6. Asntotas y direcciones asintticas de las curvas planas. Ejercicios.

Notas al Captulo IX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 499

I. Clculo logartmico. II. Relacin de Peano. III. Criterio de Stolz.
IV. Propiedades de la funcin derivada. V. Nmeros derivados y
funciones derivadas. VI. El teorema fundamental del Clculo integral. VII. Funciones continuas sin derivada. VIII. Bibliografa.

CAPTULO X
FRMULA DE TAYLOR. ECUACIONES ALGEBRAICAS
38. Derivadas sucesivas y aplicaciones . . . . . . . . . . . . . . . . . . . . . 515
. Derivadas sucesivas. 2. Diferenciales sucesivas. 3. Ace1
leracin en un movimiento rectilneo. 4. Derivada n-sima de un producto. 5. La funcin de Cauchy. 6. Ceros reales de las funciones continuas. 7. Cambios de signo de f(x)
y de f(x). 8. rdenes de contacto de dos curvas. Ejercicios.

39. Frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 525

1. Introduccin: expresin de un polinomio por sus derivadas en un punto. 2. Frmula de Taylor. 3. Diversas formas
del trmino complementario. 4. Diversas expresiones de la frmula de Taylor. 5. Desarrollos de las funciones elementales.
6. Aplicacin al clculo de lmites indeterminados. Ejercicios.

40. Aproximacin lineal y cuadrtica . . . . . . . . . . . . . . . . . . . . . . 532

1. Aproximacin lineal. 2. Discusin general de la concavidad e inflexiones. 3. Discusin general de los mximos y mnimos relativos. 4. Resolucin aproximada de ecuaciones. 5.
Parbola osculatriz. 6. Circunferencia osculatriz. Ejercicios.

41. Resolucin numrica general de ecuaciones algebraicas . 541

1. Funcin general de variable compleja. 2. Races mltiples. Reduccin de la ecuacin y continuidad de las races. 3. Bsqueda de las
races reales. Acotacin de las races. 4. Investigacin de las races
racionales de una ecuacin de coeficientes racionales. 5. Teorema de
Rolle. 6. Funcin racional de coeficientes reales: exceso algebraico. Sucesin de Sturm. 7. El problema fundamental. Teorema de
Sturm. 8. Teorema de Budan-Fourier. 9. Teorema de Harriot-Descartes. 10. Clculo de las races irracionales de una ecuacin de
coeficientes reales. 11. Clculo de las races complejas de una ecuacin algebraica. 12. Introduccin al mtodo de Grffe. Ejercicios.

NDICE GENERAL

XIII
PG.

42. Eliminacin algebraica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 573

1. Eliminacin: mtodo del mximo comn divisor. 2. Mtodo de eliminacin de Euler. 3. Mtodo de eliminacin de
Bzout. 4. Sistemas de dos ecuaciones con dos incgnitas. Teorema general de Bzout. 5. Mtodo de Kronecker. Ejercicios.

Notas al Captulo X . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 588

I . Coeficientes, diferenciales o derivadas generalizadas de
Peano. II. Derivadas sucesivas de una funcin de funcin. III.
Funciones simtricas de las races: discriminante. IV. Resolucin grfica de ecuaciones: mtodo de Lill. V. Bibliografa.

CAPTULO XI
SERIES DE POTENCIAS
43 Propiedades generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 601
1. Campo y radio de convergencia. 2. Operaciones con series de potencias. 3. Series de funciones. Convergencia uniforme. 4. Convergencia
uniforme de series de potencias. 5. Derivadas y primitivas. Ejercicios.

44. Desarrollos en series de potencias . . . . . . . . . . . . . . . . . . . . . . 612

1. Definicin y unicidad. 2. Desarrollo por la frmula de
Mac-Laurin. 3. Funcin racional. Desarrollo por divisin.
4. Mtodo de los coeficientes indeterminados. Ejercicios.

45. Aplicacin a las trascendentes elementales . . . . . . . . . . . . . . 620

1. Funcin exponencial y = ex. 2. Funciones circulares e hiperblicas. 3. Las trascendentes elementales en el campo complejo. 4. Serie logartmica. 5. Serie binmica. 6. Desarrollos de las funciones circulares inversas. Ejercicios.

Notas al Captulo XI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 632

I. Teoremas tauberianos. II. El nmero ir. III. Productos infinitos.
IV. Bibliografa.

CAPTULO XII
INTERPOLACIN Y DIFERENCIAS FINITAS
46. Interpolacin entre valores cualesquiera . . . . . . . . . . . . . . . . 641
1. Teorema de existencia. 2. Frmula de Lagrange. 3. La interpolacin parablica progresiva. 4. Descomposicin do una fraccin
algebraica en fracciones simples. Ejercicios.

XIV

NDICE GENERAL

PG.

47. Interpolacin entre valores equidistantes . . . . . . . . . . . . . . . 650

1. Diferencias sucesivas de una funcin. 2. Operadores simblicos. 3. Diferencias sucesivas de un polinomio. 4. Diferencias sucesivas de los factoriales. 5. Frmula de Newton-Gregory. 6. Trmino complementario y paso al lmite. Ejercicios.

Notas al Captulo XII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656

I. Diferencias divididas. II. Empleo de diferencias centrales. III.
Bibliografa.

CAPTULO XIII
EL REA Y LA INTEGRACIN
48. Concepto de integral segn Cauchy . . . . . . . . . . . . . . . . . . . . 663
1. Nocin de rea en el plano. 2. El rea del trapezoide. 3. La integral definida. 4. Clculo directo de algunas integrales. 5. Propiedades de la integral definida. 6. Teorema del valor medio. Ejercicios.

49. Integral de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 674

1. La integral segn Riemann. 2. Integrales inferior y superior.
Ejercicios.

50. Integral y primitiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 677

1. La funcin integral y su derivada. 2. Regla de Barrow.
3. Sobre la aplicacin de la regla de Barrow. 4. Integrales generalizadas. Ejercicios.

Notas al Captulo XIII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 683

I. Orgenes de la nocin de integral. II. La integral como lmite segn la norma. III. Condiciones de integrabilidad
(R). IV. Derivada acotada no integrable (R). V. Bibliografa.

CAPTULO XIV
CLCULO DE PRIMITIVAS Y APLICACIONES
51. Mtodos generales de integracin . . . . . . . . . . . . . . . . . . . . . . 691
1. Primitivas inmediatas. 2. Integracin por descomposicin. 3. Integracin por sustitucin. 4. Integrales calculables por sustitucin. 5. Integracin por partes. Ejercicios.

52. Integracin de clases particulares de funciones . . . . . . . . . . 704

1. Funciones racionales. 2. Irracionales algebraicos. 3. Funciones
racionales de las funciones circulares. Ejercicios.

NDICE GENERAL

XV

PG.

53. Clculo de algunas integrales definidas . . . . . . . . . . . . . . . . . 716

1. Integrales calculables mediante primitivas. 2. Algunas integrales calculables por partes. 3. Frmula de Wallis. 4.
Frmula de Stirling. 5. Integral de Poisson. Ejercicios.

Notas al Captulo XIV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 722

I. Tablas de integrales.

CAPTULO XV
APLICACIONES GEOMTRICAS Y FSICAS
54. reas y volmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 723
1. reas en coordenadas cartesianas. 2. reas en coordenadas
polares. 3. Volumen de un slido de revolucin. 4. Volumen por
secciones. 5. rea de una superficie de revolucin. Ejercicios.

55. Rectificacin de curvas planas . . . . . . . . . . . . . . . . . . . . . . . . . 732

1. Longitud de un arco. 2. Vector d s. Cosenos directores de la
tangente. 3. Rectificacin de la elipse. Integrales elpticas. 4. Curvas planas en coordenadas polares. 5. Curvatura de curvas planas. 6. Curvatura en coordenadas polares. 7. Vrtices de las curvas en general. 8. Evoluta. 9. Variacin total y longitud. Ejercicios.

56. Aplicaciones fsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 747

1. Trabajo en un desplazamiento rectilneo. 2. Trabajo de expansin de un gas. 3. Medias cuadrticas. Ejercicios.

Notas al Captulo XV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 752

I. Convergencia segn la norma. II. Principio de semicontinuidad
inferior. III. Bibliografa.

CAPTULO XVI
INTEGRACIN APROXIMADA
57. Integracin numrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 757
I. Objeto del captulo. 2. Frmula de los trapecios. 8. Mtodo de
Simpson. 4. Integracin por desarrollo en serie. 5. Frmula de integracin de Gauss. 6. Aplicacin de los mtodos de interpolacin. Ejercicios.

58. Integracin grfica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 767

I. Integracin grfica
tegracin grfica de

de funciones escalonadas. 2. Infunciones cualesquiera. Ejercicios.

XVI

NDICE GENERAL
PG.

59. Integracin mecnica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 771

1. Intgrafo de Abdank Abakanowitz. 2. Planmetros de ruedecilla
integradora. 3. Planmetro de Prytz. Ejercicios.

Notas al Captulo XVI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779

I. Mtodo de P. Mansin. II. Frmula sumatoria de
Euler-Mac Laurin. III. Polinomios de Legendre. IV. Bibliografa.

Respuestas a ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 789

Indice de smbolos y abreviaturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 811
Indice alfabtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 819

PRESENTACIN
Los libros en que durante cuatro decenios expusimos diversas ramas
de la Matemtica, con reflejos del estado progresivamente alcanzado en los
pases creadores, merecieron tan benvola acogida en el mundo de origen
hispnico, que con ellos se han formado varias generaciones de estudiosos e investigadores, quienes no solamente conocen ya la moderna literatura universal, sino que colaboran en ella, hecho que habra parecido imposible y fabuloso a las mentes espaolas de comienzos de siglo. Pero por
halagador que sea este balance, el propio autor es el menos satisfecho de
sus obras, que ya no reflejan el nuevo modo con que la Matemtica est a
punto de reorganizarse; desde hace aos viene estimulando a sus jvenes
colegas a emprender la publicacin de libros en que tenga eco y forma ese
nuevo rumbo, al que ningn pas puede quedar ajeno, y que ya cuenta con
fieles devotos y aun colaboradores activos en Espaa e Hispanoamrica.
Como cada ao que pasa se hace ms sensible esta necesidad, el propio
autor se ha decidido al fin a organizar la publicacin de un nuevo tratado
de Anlisis matemtico, que refleje todo lo bueno de lo clsico y de lo novsimo. Con entusiasmo juvenil y competencia insuperable pusieron mano
a la obra los dos amigos colaboradores, plenamente autorizados para utilizar cuanto les agradara de nuestros libros, innovando libremente en el
resto, y aqu sale a luz el primer fruto de su extraordinario esfuerzo, realizando el milagro, no superado en la literatura matemtica, de organizar
una obra que es a la vez introduccin, texto y enciclopedia bibliogrfica.
Justifica este ltimo calificativo la informacin exhaustiva de los progresos realizados hasta el da dentro del campo demarcado, y no incorporada
an a los libros extranjeros. La no igualada riqueza en ejemplos y ejercicios,
resueltos y cuidadosamente seleccionados, avalora su utilidad didctica.
Favorable coyuntura para la renovacin ansiada por los tres colaboradores ha sido nuestra larga ausencia, que impidi discutir con excesiva,
minuciosidad gran parte de la obra, enfrentando nuestras distantes opiniones, como se hizo con todo xito en algunos captulos, dejando establecido
un criterio medio para los restantes. El honor de los aciertos les pertenece

XVIII

PRESENTACIN

pues, por entero, pero la responsabilidad del conjunto recae sobre los
tres. Es seguro, por ineluctable ley biolgica, que de haber proseguido hasta el final nuestra intervencin crtica, la obra habra resultado menos novedosa e interesante, ms apegada al molde ya clsico desde comienzos de siglo. Pero hasta los ms recalcitrantes misonestas
reconocern una gran moderacin en las innovaciones del nuevo estilo,
mientras que los espritus revolucionarios las juzgarn insuficientes; y
esa discrepancia de crticas ser la mejor prenda de acierto ecunime.
Jvenes y viejos alardeamos de ecuanimidad, declarndonos amantes
de la renovacin perfectiva; pero la discrepancia surge al trazar la divisoria entre lo conveniente y lo repudiable. En nuestro diminuto pleito, ni los
autores, aun puestos de acuerdo, ni siquiera el pblico actual, pueden juzgar con acierto. Ser la tendencia triunfadora, por la cantidad y calidad
de sus frutos, la que dictar su fallo inapelable. En la ciencia, como en los
planos ms profundos y vitales de la cultura, ai posteri lardua sentenza
J. Rey Pastor.
Hamburgo, octubre de 1951.

NOTA A LA SEGUNDA EDICIN

Una importante mejora respecto de la primera edicin consiste en la puesta al da

de la abundante bibliografa citada, incluyendo muchas nuevas obras, de las cuales

se da, segn acostumbramos, una breve orientacin crtica.
Hemos procurado hacer ms asequibles los conceptos que la experiencia docente
ha mostrado resultaban demasiado abstractos para el principiante, particularmente
al introducir y ampliar el concepto de nmero. Se ha completado el concepto general
de definicin recurrente, dando esquemas de demostracin de las leyes generales
de la aritmtica, suficientes para que puedan ser desarrollados sin esfuerzo por los
alumnos aventajados. En la misma forma se ha completado la nota sobre el lgebra
de Boole y el apartado que incluye la introduccin del nmero real mediante sucesiones regulares o de Cauchy.
Se ha procurado tambin hacer ms asequible el importante pargrafo dedicado a
la divisibilidad algebraica.
Se ha completado la nota sobre la aritmtica decimal de los nmeros aproximados,
agregando en particular un apartado sobre operaciones abreviadas.
En la nota sobre funciones derivadas se da demostracin completa simplificada
del teorema de Scheeffer, del que se dar para el caso de funciones vectoriales en el
volumen II otra demostracin basada en un lema de Zygmund.
Se ha perfeccionado el estudio de los ceros de las funciones continuas y la nomenclatura de los rdenes infinitesimales e infinitos.
Con la ejemplificacin correspondiente, se ha incluido en el mtodo de Grffe un
procedimiento de control de los clculos efectuados, completando una contribucin
publicada por J. P. Lombardi.
Se ha perfeccionado la exposicin y ejemplificacin del teorema general de Bzout.
Se ha simplificado el ejemplo de conjunto generalizado de Cantor de medida positiva que se aplica al de Volterra de derivada acotada no integrable (R). Se completa
el estudio de la sustitucin de variables en la Integral (R) definida.
Adems de los citados, se han efectuado numerosos otros agregados o modificaciones menores, y se han subsanado errores y erratas hallados por nosotros mismos o
por queridos colegas y alumnos. Les expresamos por ello nuestro agradecimiento, en
particular al Dr. Germn Fernndez, por las valiosas indicaciones didcticas que ha
tenido la gentileza de hacernos llegar.

NOTA A LA SPTIMA EDICIN

El ritmo de mejoras sealadas en la Nota a la segunda edicin, ha continuado en
mayor o menor medida en las sucesivas ediciones posteriores.
Las ms importantes hechas en esta sptima edicin pueden verse en Cap. I-nota
I, 11-1, 13-4, 20-4, 33-9, Cap. IX-nota VI, 38-6, 41 (reestructurado),
52-2, Resp. a 18-ej. 5. Entre los innumerables cambios de detalle estn los de
13-1, 16-5, 17-2 y 3, 22-2 y 6, y 51-4, Cap. XI-nota 2 y figuras 39 y 87.
En el hallazgo de erratas y errores agradecemos la valiosa ayuda de colegas y
alumnos, en especial los doctores G. Fernndez y J. Gordon, y el licenciado J. D.
Bentez.

PLAN DE LA OBRA
1. Finalidad y estructura. He aqu una obra de colaboracin, en
que se pretende aunar experiencias diversas de publicaciones anteriores y prctica docente, mediante una labor de conjunto y crtica mutua.
Destinado el libro a servir de base a cursos formativos de iniciacin
universitaria en las Facultades de Ciencias, preparatorios de estudios
superiores de Ingeniera o de doctorado en Fsica y Matemtica, la
seleccin de materias se ha guiado por los planes de estudio de las
universidades y escuelas tcnicas profesionales de Hispanoamrica,
en particular de la Argentina, pero sin sujetarse a ningn programa
determinado, antes bien, con afn de superacin y aliento renovador.
Si la Matemtica es importante como fundamento de mucha parte
de la Ciencia y de la Tcnica, no lo es solamente por tratar del espacio y de la cantidad, sino mucho ms profundamente por constituir
el conjunto de sistemas hipottico-deductivos y de sus aplicaciones.
Ms importancia que los resultados y casos en que pueda aplicarse una frmula matemtica tiene la obtencin de nuevos mtodos y
la suma de experiencias mentales con que va enriqueciendo nuestra
facultad racional. Por ello, en la enseanza de la Matemtica debe
preponderar su valor formativo, pues la adquisicin de una disciplina
mental es tal vez el elemento ms valioso de toda educacin cientfica.
La aritmetizacin de la Matemtica, lograda en el siglo XIX, redujo
esta ciencia a una larga cadena de deducciones y construcciones, a partir del nmero natural. De ah que previo al estudio del Clculo infinitesimal, creamos imprescindible una introduccin algebraica sobre el
concepto de nmero y sus operaciones, y un anlisis depurado del concepto de lmite aritmtico, cuya adquisicin clara y precisa ha de ser uno
de los principales objetivos a obtener en la formacin del principiante.
stas no son exigencias de matemtico puro, pues nada ms
contraproducente que llenar la mente del futuro ingeniero con
vagos juegos de palabras, de sabor metafsico, que disimulen
la oscuridad de pensamiento. Si por llegar rpidamente a las
aplicaciones del Clculo infinitesimal, resucitamos antiguas de-

PLAN DE LA OBRA

XXI

finiciones de curva, de tangente, de infinitsimo, de diferencial, veremos que despus de larga cavilacin sobre los puntos consecutivos
de una curva, sobre el infinitsimo que ni es cero ni tiene valor ninguno, sobre los infinitsimos que se desprecian sin alterar la exactitud
del resultado, todo deber descansar en una fe ciega y aceptarse como
dogma, sin que sea posible despertar y desarrollar el espritu crtico.
Hace tiempo que se pusieron en claro los anteriores conceptos y que el
Clculo infinitesimal dej de ser Metafsica para hacerse Aritmtica,
es decir, claro, sencillo, limpio de nebulosidades y libre de discusiones.
Pues bien, nadie como el tcnico debe ser exigente en claridad y precisin; nada ms lejano de la Metafsica que el hierro y el hormign.
En la exposicin de las teoras elementales hemos tenido muy en
cuenta la evolucin de la Matemtica en los ltimos aos, pues es natural que aqullas sufran las variadas influencias que las modifican
y adaptan a la lnea general del pensamiento de cada poca. As, al
ir pasando de lo particular a lo general en el proceso de abstraccin
que caracteriza a la Matemtica moderna, hemos sealado bien las
importantes ventajas con que sta utiliza el formalismo lgico en sus
mximas posibilidades, y la economa de esfuerzo y mayor penetracin
del conocimiento que con ello se logra. Sin embargo, no por eso dejamos de considerar equivocado el introducir los conceptos elementales
como casos particulares de los contenidos en teoras modernas que
abarcan el ms amplio grado de generalidad y abstraccin. Como ha
dicho el profesor Pascal, hacer descender de lo alto los conceptos del
Anlisis es didcticamente equivocado, histricamente absurdo, conceptualmente hipertrfico y cientficamente intil. No debe pedirse a
jvenes inteligencias, lo que la historia del pensamiento humano demuestra requiere tiempo, ejercitacin y adecuada adaptacin mental.
Por ello procuramos siempre introducir conceptos nuevos mediante
una ejemplificacin previa concreta y familiar, dando para cada teora una visin intuitiva, que site adecuadamente en la atencin del
lector el propsito perseguido. Claro est que ste debe aspirar a que
los conceptos elementales se asimilen, a fin de preparar para estudios superiores, labor posble y adecuada por la enorme simplificacin
alcanzada en el desarrollo de la Matemtica moderna, como saben
todos aquellos que siguen la evolucin de las nuevas ideas, y cuyo
conocmiento ms o menos cercano posee todo profesor universitario.
El texto en letra grande est destinado a la generalidad de los alumnos tcnicos y cientficos, y es lo mnimo que consideramos deben conocer los que aspiran a una formacin bsica en Matemtica. El texto en letra pequea se destina a los que aspiren a salir de la comn mediocridad y a

XXII
PLAN DE LA OBRA
los que deseen prepararse adecuadamente para una carrera cientfica o tcnico-cientfica. Existen, adems, notas de final de captulo que completan puntos importantes y
pretenden abrir horizontes a los lectores de vocacin desarrollada, y, al mismo tiempo, hacer interesante el libro a los que tengan una formacin matemtica anterior.
En todo el volumen se toma cada pargrafo ( ), dividido en apartados, como unidad
fundamental de referencia, y va seguido de ejercicios propuestos, que a veces sirven
tambin para completar el texto, y que en todo caso ofrecen al lector, mediante su resolucin, la mejor prueba de que ha llegado a comprender y asimilar el contenido del correspondiente pargrafo. Al final del volumen se incluye una lista de soluciones de los
ejercicios que a ello se presten, y en los ms difciles, de indicaciones para llegar a ellas.
2. Contenido. El ndice general da el programa ordenado de los temas tratados.
Aqu no pasamos revista a todos ellos, sino a aquellos en los que creemos conveniente
sealar alguna particularidad importante.
Es comn en los tratados de Anlisis matemtico preocuparse mucho por introducir
rigurosamente el concepto de nmero real, suponiendo perfectamente conocido el de nmero racional. Cualquiera sea el nivel alcanzado en estudios preuniversitarios, siempre
realizados en edad muy temprana, nuestra experiencia docente considera como gratuita
la anterior suposicin. As, el primer captulo de la obra se dedica a la fundamentacin
del nmero racional. Empieza por una breve introduccin lgica sobre la estructura
y mtodos de la Matemtica, en un nivel elemental, que puede ser bien comprendido
por un principiante, y con el objeto de facilitar la exposicin posterior de las diversas
ampliaciones del concepto de nmero y la unidad metodolgica con que se efectan.
Cuestin muy discutida fu la manera de introducir en el 2 el nmero natural. Finalmente adoptamos su definicin ms sencilla, debida a Peano, que se apoya
esencialmente en el principio de induccin completa. Si bien el significado estricto
de las operaciones de suma y producto es cardinal, las propiedades caractersticas y
particulares de los nmeros naturales, que son las ms inmediatas a nuestra mente,
las que se refieren a conjuntos discretos y finitos, quedan laboriosamente establecidas
en la teora general de conjuntos, con definiciones y teoremas poco intuitivos. Dado
que las obras de iniciacin universitaria hasta ahora escritas en castellano han dado
preferencia al mtodo cardinal, y a ellas pueden referirse los que opten por ste, ser
siempre interesante que exista alguna otra que d por lo menos un rpido esquema
del mtodo recurrente. Se ha achacado a ste el requerir reiteradamente montonas
demostraciones inductivas, que carecen de valor heurstico. Esta crtica justa puede
ser mitigada si se renuncia, ms aun en un estudio inicial, a detenerse en desarrollar
con todo detalle esas demostraciones lentas y penosas que perturban la visin de conjunto y la lnea de pensamiento seguida. Esto no ha de ser defecto en el valor formativo del estudio, si en ste se ha insistido previamente sobre el carcter fundamentalmente lgico del desarrollo matemtico, ni ha de obstruir el naciente espritu crtico
de los alumnos capaces, si se dejan a su cargo, como ejercicio, demostraciones fciles de obtener por analoga, con pequeas indicaciones oportunas. Los dems aceptan sin repugnancia sea demostrable algo que para ellos es la evidencia misma.
El 4 muestra ya que no slo la parte conceptual, sino tambin la tcnica operatoria, ha merecido nuestra atencin. El 5 desarrolla los principios
esenciales de la divisibilidad numrica desde un punto de vista superior, que facilite luego la clara comprensin de la divisibilidad algebraica, tan difcil de captar por los principiantes; en letra chica se han incluido operaciones con clases residuales y los conceptos de grupo, anillo

PLAN DE LA OBRA
XXIII
y cuerpo, cuya importancia bsica en el lgebra moderna queda bien puesta de relieve en el texto posterior del mismo tipo de letra.
El captulo II se dedica al nmero real y al nmero complejo. Siempre en busca del
mtodo de mejor comprensin intuitiva, es decir, ms prximo a los conceptos usuales en la prctica, se introduce el nmero real. ( 7) mediante sucesiones montonas
contiguas, por ser generalizacin inmediata de las aproximaciones decimales con que
se est acostumbrado a dar como resueltas ecuaciones del tipo de la pitagrica, cuyo
examen y la conexa existencia de segmentos inconmensurables juzgamos es el mejor exordio, tanto histrica como racionalmente, para justificar la introduccin del
nuevo concepto. Sin embargo, tambin se consideran los otros mtodos que existen
para completar la recta racional. En el nmero complejo se llega slo a la radicacin ( 10), dejando para el captulo XI introducir naturalmente, por prolongacin
analtica, las definiciones de potenciacin y logaritmacin cualesquiera. Al final del
captulo II, su nota I sobre plenitud y unicidad de los nmeros reales sirve para
que al tratar en la nota II del infinito matemtico, se d la demostracin que nos
parece ms natural de no-numerabilidad del continuo, mostrando bien que si quisiramos circunscribirnos a considerar conjuntos numerables, habramos de renunciar a completar la recta. En la nota III sobre sistemas hipercomplejos, se marca
bien cmo se pasa de los espacios vectoriales a los conjuntos numricos, situando
adecuadamente el teorema final de la Aritmtica y la importancia de los cuaternios.
En el captulo III se ha tratado el Anlisis combinatorio ( 11) lo ms rpidamente posible, dejando para la nota I de final de captulo estudiar los grupos de
sustituciones entre permutaciones. La frmula de Leibniz sobre potencia de un
polinomio ( 12), se da con todo el detalle que merecen sus aplicaciones posteriores, pues el descuidarlo ahora dificulta luego manejar por ejemplo la frmula de
Taylor en varias variables. Por su importancia fundamental y cada da mayor
en el estudio de las modernas teoras fsicas, creemos imprescindible el estudio
de los sistemas de ecuaciones lineales ( 15) en todos los casos, sobre todo el teorema de Rouch-Frobenius, con su conexo clculo de matrices ( 14). Previamente se consideran el planteamiento, la transformacin y la equivalencia de ecuaciones, tratando de evitar el descuido usual con que se tratan estas cuestiones.
El captulo IV, sobre algoritmo algebraico, est encarado en forma bastante nueva
respecto a lo que suele hacerse en los textos anteriormente aparecidos en castellano. Despus del 16, destinado al principio de identidad y operaciones racionales,
se insiste ( 17) en el fundamental concepto de irreducibilidad en un campo racional y los teoremas de la divisibilidad algebraica que de ah se deducen. Luego se
hace la distincin esencial de la divisibilidad algebraica entre polinomios de una
o ms variables, aclarada en ambos casos con adecuados ejemplos elementales, y mediante la introduccin del concepto de ideal se desarrolla el primer caso,
en forma completamente paralela a la divisibilidad numrica, mientras se sealan las nuevas circunstancias del segundo. Se da una detallada demostracin del
teorema fundamental del lgebra ( 18) por el mtodo de la disminucin del mdulo y se pasa a la resolucin por radicales de las ecuaciones elementales ( 19).
Al dar el criterio general de convergencia, se introducen las sucesiones regulares (de Cauchy o de Cantor) como mtodo para definir el nmero real, indicando
sus ventajas tericas y sus inconvenientes didcticos. Se tratan con cuidado los
casos singulares de lmites de potencias, con ejemplos de todos ellos, distinguiendo bien los casos de oscilacin de los de indeterminacin. Los criterios clsicos de
convergencia de las series de trminos positivos se sistematizan bien, mediante
los criterios de comparacin de primera y de segunda especie, sin olvidar el que se
deduce de la comparacin de primera especie con la serie armnica generalizada

XXIV
PLAN DE LA OBRA
muy sencillo y til, anlogo al potencial de las integrales generalizadas, y que a pesar
de ello se descuida en muchos textos elementales. Numerosos ejemplos y observaciones aclaran el alcance de los distintos criterios. Para la convergencia condicional se
dan los clsicos de Abel y de Dirichlet. Las operaciones de producto y cociente de
series incluyen un ejemplo poco conocido, que hemos elementalizado y simplificado
al sacarlo de las tnemorias originales de Princsheim. Al final del capitulo V, en la
nota I, sobre algoritmos de convergencia y sumacin, se estudia la transformacin
de Toeplitz, con, su aplicacin a las medias aritmticas y geomtricas deducidas de
una sucesin, el criterio de Stolz, los teoremas de Mertens y Abel sobre producto de
series y sobre todo, la sistematizacin que la transformacin de Toeplitz establece en
los mtodos de sumacin o convergencia generalizada. En la nota II se da una rpida
exposicin de la Aritmtica decimal de los nmeros aproximados. La nota III, dedicada a fracciones continuas, empieza dando el proceso con que stas se originan, para
as introducir, en forma rpida y simultnea, las finitas y las indefinidas. Va luego
el estudio de las reducidas, de los teoremas de aproximacin y de las aplicaciones a
la representacin de irracionales y resolucin de ecuaciones diofnticas. Se ha dejado
para el capitulo XI la exposicin de los productos infinitos con el fin de poder tomar
logaritmos en el caso complejo; las series mltiples se han dejado para el volumen II.
El captulo VI trata de las funciones reales y de la continuidad. Las definiciones
rigurosas se enuncian despus de adecuada preparacin y se aclaran mediante numerosos ejemplos. En la nota II se distinguen con precisin no acostumbrada los
puntos lmites referentes, ya sea a los conjuntos puntuales, ya sea a las sucesiones.
En el captulo VII se destaca didcticamente la importancia fundamental de las
funciones trascendentes elementales: exponencial, logartmica y potencial; circulares; hiperblicas. Al estudiar la representacin paramtrica se introduce la definicin analtica de curva plana, cuya amplitud se ejemplifica en la nota I de final
de captulo, mediante las curvas de Peano. La nota II se dedica a tablas de funciones, mencionando lo realizado ltimamente por norteamericanos e ingleses.
El captulo VIII, sobre funciones derivables, introduce el concepto con la posibilidad de que la derivada sea nica infinita (con signo determinado).
El captulo IX, sobre teoremas del valor medio y consecuencias, empieza dando
la idea intuitiva del teorema del incremento finito, para luego precisar su alcance y
demostrarlo en forma rigurosa y generalizada. La admisin de derivada nica infinita permite tratar en forma completa los lmites indeterminados, aclarando con
adecuados ejemplos el alcance de la regla de Bernoulli-lHospital. Se dan los rdenes
fundamentales de infinitud, su naturaleza no arquimediana y su aplicacin al estudio de asntotas y direcciones asintticas de las curvas planas, donde, apartndonos
de las exposiciones usuales, se distingue bien el caso de rama parablica, de aquel en
que existe direccin asinttica pero no asntota, ni propia, ni impropia. Asimismo, se
precisa en los ejercicios la distincin entre asntota y posicin lmite de la tangente,
cuyo punto de contacto se aleja sobre la rama de curva considerada. La nota IV,
sobre propiedades de la funcin derivada, trata de la convergencia uniforme de la
razn incremental y del teorema de Darboux. La nota V, sobre nmeros derivados y
funciones derivadas, es muy profunda, habindose conseguido exponer los clsicos
teoremas de Scheeffer con demostraciones breves y sintticas. La nota VI se dedica
al teorema fundamental del Clculo integral, introduciendo la funcin ternaria de
Cantor, que, modificada adecuadamente, sirve para dar un ejemplo muy sencillo de
no cumplimiento de dicho teorema para funciones continuas, si se exige solamente la
igualdad de derivadas, sin sobrentender que sean finitas. En la nota VII va una expo-

PLAN DE LA OBRA
XXV
sicion elementalizada del ejemplo de van der Waerden de funcin continua, que en todo punto carece de derivada finita, ni aun lateral.
El capitulo X se dedica a la frmula de Taylor y a las ecuaciones algebraicas.
Como aplicacin de la derivacin sucesiva ( 38) se tratan los ceros reales mltiples de las funciones continuas, para lo cual es muy til la precisin con que se ha
introducido el orden infinitesimal, y que permitir estudiar con gran generalidad
en las hiptesis, la validez de la frmulaa de Taylor y de las diferentes formas de
su trmino complementario. La frmula de Taylor ( 39) se introduce naturalmente, mediante la nocin intuitiva de polinomio osculador, para lo que se han estudiado previamente los rdenes de contacto de dos curvas planas. En aproximacin
lineal, se trata la resolucin numrica de ecuaciones cualesquiera mediante la regla de Newton-Fourier, en conexin con el extenso 41 sobre resolucin numrica
de ecuaciones algebraicas con separacin de rases y teorema de Sturm, clculo de
races racionales, irracionales y complejas, e idea del mtodo de Grffe. Va otro
pargrafo ( 42) sobre eliminacin algebraica. En el mtodo de Euler, es de sealar la forma factorial .de la resultante dada modernamente por E. T. Whittaker,
y sobre todo la demostracin sencilla y rigurosa que hemos obtenido en el caso de
que los dos polinomios de grado m y n tengan el m. c. d. precisamente de grado
r > 1. Esto nos sirve para demostrar en forma breve el teorema general de Bzout,
acabando el pargrafo con el mtodo de eliminacin de Kronecker. Aprovechamos la ocasin para lamentar que en muchos textos dedicados a ingenieros, y mucho ms a fsicos o matemticos, se omitan totalmente estas cuestiones, algunas de
las cuales son tambin de valor prctico. La nota III, sobre funciones simtricas de
las races y discriminante, adems de su importancia en la teora superior de la
resolucin algebraica, sirve para justificar los procedimientos ya empleados en el
captulo IV para la resolucin de las ecuaciones elementales. En la nota IV, sobre
resolucin grfica de ecuaciones, nos detenemos sobre todo en el mtodo de Lill, dando de la Nomografa una adecuada orientacin bibliogrfica en la nota siguiente.
El captulo XI, sobre series de potencias, empieza estudiando sus propiedades generales en el campo complejo, incluso la convergencia uniforme, tema a tratar ms
extensamente en el volumen II. Los pargrafos siguientes se dedican a los mtodos
de desarrollo y a la aplicacin a las trascendentes elementales. Aun cuando la prolongacin analtica se tratar en el volumen III. se estudian ahora las trascendentes elementales en el campo complejo, para dar la teora aritmtica de las funciones
circulares e introducir naturalmente las definiciones de potenciacin de exponente
complejo y de logaritmacin y potenciacin cualesquiera. As se justifica la importancia intrnseca de la admirable frmula de Euler, que liga los cinco nmeros ms
importantes de la matemtica: ei +1 = 0, asi como la lnea de pensamiento que
en forma no rigurosa sigui el mismo Euler para obtener la serie exponencial en el
campo complejo, como lim(1 +x/n)n para n . Tambin queda completamente justificado un ejemplo paradjico original, que se di en el captulo II, para explicar la
restriccin de tomar siempre base positiva en el estudio de la potenciacin en el campo
real. La nota II trata de los mtodos para calcular numerosas cifras del nmero ,
dando cuenta del error de Shanks, descubierto en 1946 por Ferguson. La nota III
se dedica a los productos infinitos, tema importante, que se aplica posteriormente,
entre otras cuestiones, a la Teora de Funciones, y que se descuida en muchos textos.
El captulo XII, sobre interpolacin y diferencias finitas, da primeramente, en la forma
ms sencilla y prctica posible, la frmula de Lagrange y la interpolacin parablica
progresiva, aprovechando la primera para estudiar la descomposicin de una fraccin
algebraica en fracciones imples. Se estudia luego en particular la interpolacin entre
valores equidistantes, dando los tiles operadores simblicos, llegndose a la fr-

XXVI
PLAN DE LA OBRA
mula de Newton-Gregory por varios caminos. En la nota I se estudian las diferencias divididas y su aplicacin a la obtencin de las frmulas de Lagrange y de
Newton, y a la importante significacin que mediante ellas adquieren los
coeficientes diferenciales de Peano, definidos en la nota I del captulo X. En la
nota II se estudia el empleo de diferencias centrales con la intuitiva notacin
de Sheppard, as como sencillas demostraciones de las frmulas de Bessel y
Stirling, previa deduccin de la de Newton-Gauss y uso prctico del trmino
complementario en cada caso; la distinta utilidad de las diferentes frmulas
queda aclarada mediante oportunos diagramas y la notacin de Sheppard.
El captulo XIII introduce el concepto de integral segn Cauchy ( 48), con todo
rigor, pero basndolo en la nocin intuitiva de rea. Se dedica el breve 49 a la
integral de Riemann, y en el 50, sobre integral y primitiva, se estudia con todo
cuidado la aplicacin ms generalizada posible, de la regla de Barrow, para lo
que se dan tambin breves nociones de integrales generalizadas, de intervalo infinito o de integrando infinito, y cuyo estudio detenido se deja para el volumen II,
y para el III el de la teora superior de la integracin y su aplicacin a las series
de Fourier. La nota III, sobre condiciones de integrabilidad (R), da las debidas a
Riemann, Du Bois Reymond y Lebesgue, esta ltima mediante la definicin directa de conjunto de medida nula. La nota IV, sobre derivada acotada no integrable (R), desarrolla en forma grfica y elemental el clsico ejemplo de Volterra.
En el captulo XIV (Clculo de primitivas y aplicaciones), el 51 estudia los mtodos
generales de integracin, con numerosos ejemplos; la sustitucin de variable en la integral definida se ha hecho en condiciones cuidadosamente estudiadas para que quede
justificada en casos ms generales que los que suelen darse en textos de otros autores.
El captulo XV, sobre aplicaciones geomtricas y fsicas, empieza con el clculo
de reas y volmenes que suele hacerse en todos los textos, pero tratando cuidadosamente la atribucin de signo al rea orientada, cuestin sobre la que se propone
un ejercicio muy instructivo. En la rectificacin de curvas planas ( 55) se procura
que, sin perder rigor, el tema se desarrolle en forma progresiva respecto a su dificultad. Se dice algo sobre integrales elpticas, y se sigue con curvatura, vrtices y
evoluta, esto ltimo a completar en el volumen II. El pargrafo acaba con variacin total y longitud, incluyendo el criterio de Jordn, que constituye una de las
justificaciones para introducir la integral de Lebesgue, a tratar en el volumen III.
Se deja para las notas finales del captulo el considerar la convergencia segn la
norma en los conceptos de longitud y variacin, con el conexo lema de Darboux, referente a la definicin de integral, y la demostracin de la continuidad de la longitud, as como el principio de semicontinuidad inferior, bsico en la generalizacin de la teora a las superficies segn Lebesgue, y que se ver en el volumen III.
El ltimo captulo de este volumen se dedica a la integracin aproximada,
desarrollada en forma bastante completa. El pargrafo ms importante ( 57)
trata de la integracin numrica, y se empieza por la frmula de los trapecios,
cuya inclusin se justifica en vista de su perfeccionamiento mediante la frmula de
Euler-Maclaurin, que se incluye en la nota II de final de captulo. En el mtodo de
Simpson se da el resto de Peano, y otro menos preciso, pero ms fcilmente obtenible.
Se aprovecha la integracin por desarrollo en serie para introducir como ejemplos
la funcin error, la integral-seno, la exponencial-integral y la logaritmo-integral.
La frmula de integracin de Gauss se empieza a estudiar en forma elemental,
pasando luego al caso general mediante los polinomios de Legendre, que son objeto
de la nota III de final de captulo. La aplicacin de los mtodos de interpolacin
completa la obtencin de la frmula anterior y da tambin la antigua, aunque menos
preferible, frmula de Newton-Cotes. El 58 trata de integracin grfica, incluyendo

PLAN DE LA OBRA
XXVII
la cuestin de escalas, tema a veces descuidado, y muestra bien la ventaja de efectuar
la compensacin por verticales y no por horizontales para el trazado de la curva integral. El ltimo par grafo ( 59) trata de la integracin mecnica, exponiendo slo
los principios generales en que se basan intgrafos y planmetros. Se trata la teora
general de los planmetros de ruedecilla integradora, dando cuenta de las principales
causas de error. El pargrafo termina con la descripcin del notable y sencillo planmetro de Prytz y un bosquejo de su teora, basada en un principio distinto de los
anteriores.

3. Bibliografa general. La ltima nota de cada captulo se dedica a dar orientacin bibliogrfica, en forma crtica y explicativa. Por lo general se citan libros y no
memorias, y entre aqullos se han elegido los que consideramos ms apropiados para
ser consultados por nuestros lectores, o bien representan cimas maestras, de influencia decisiva en la marcha del pensamiento cientfico. En ellos, no slo podr efectuarse un estudio ms amplio de las diversas teoras aqu expuestas, sino que tambin se
encontrarn citadas las monografas originales, que podrn consultar aquellos que
quieran emprender un estudio ms profundo de la cuestin que interese.
Ahora, y con carcter general, citaremos primero la obra enciclopdica completa, de
til consulta para toda teora matemtica, con los resultados obtenidos hasta la fecha
de su publicacin y abundantsima bibliofia de memorias originales, cuyo ttulo es:
Enzyklopdie der Mathematischen Wissenschaften. (19 volmenes, publicados por
Teubner, Leipzig, 1898-1931. Comenzada recientemente su reedicin).
Esta ha sido traducida en parte al francs, con artculos refundidos, bajo el ttulo:
Encyclopdie des Siences Mathmatiques pures et appliques. (Gauthier-Villars,
Pars, 1904-1931).
Un resumen enciclopdico, ms sinttico que la obra anterior, indicando bibliografa fundamental, se da en el:
Pascals Repertorium der hheren Mathematik. (2a ed.; I: Analysis, dirigido por
E. Salkowski; 1. Algebra, Differential- und Integralrechnun. 1910; 2. Differentialgleichungen, Funktionentheorie, 1927; 3. Reelle Funktionen, Neuere Entwicklungen,
Zahlentheorie, 1929; II: Geometrie, dirigido por H. E. Timerding; 1 Grundlagen und
ebene Geometrie, 1910; 2. Raumgeometrie, 1922; Teubner, Leipzig-Berln).
Una visin general de la Matemtica, con carcter de divulgacin y artculos de
muy variado mrito, es proporcionada por la lectura de:
L Encyclopdie Franqaise. Tomo I: Loutillage mental; tercera parte:
La Mathmatique, dirigida por P. Montel, (13 rue du Four, Pars, 1937).
Manual encliclopdico de Matemtica elemental para profesores y alumnos es:
Weber-Wellstein : Enzyklopdie der Elementarmathematik. (I: Arithmetik, Algebra und Analysis, por H. Weber, 5a ed., refundida por P. Epstein, 1934; II: Elemente
der Geometrie, por H. Weber, J. Wellstein y W. Jacobsthal, 3a ed., 1915; III: Angewandte Elementarmathematik; 1. Mathematische Physik, por H. Weber y J. Wellsa
tein, 3 ed., refundida por R. H. Weber, 1923; 2. Darstellende Geometrie, graphische
Statik, Wahrscheinlichkeitsrechnung, politische Arithmetik und Astronomie, por J.
Wellstein, H. Weber, H. Bleicher y otros, 3a ed., 1924; Teubner, Leipzig-Berln).
Obra ms reciente, tambin de carcter enciclopdico elemental, es:
L. Berzolari, L. G. Vivanti, D. Gigli: Enciclopedia delle matematiche elementari. (I:
Anlisis, 2 vols., 1930-32; II: Geometra, 2 vols., 1937-38; III: Matemticas aplicadas.
2 vols., 1947-48; Hoepli, Miln).

XXVIII

PLAN DE LA OBRA

Libro de orientacin bibliogrfica, descuidando la de origen latino, pero til por su en

general bien seleccionado contenido en la de origen anglogermnico, es:
Parke, N. G. III: Guide to the Literature of Mathematics and Physics including
related works on engineering Science (2a. edic. ampliada, Dover, N. Y., 1958).
En el segundo y tercer volumen ser publicada la parte de Anlisis infinitesimal
que completa los programas usuales cursados en nuestras universidades sobre la propedutica, tanto de la Ingeniera como de las materias superiores de los doctorados
en Fsica y Matemtica.

Captulo 1
FUNDAMENTACIN DEL NMERO RACIONAL
1. Introduccin lgica
1. Unidad y conjunto. La idea de unidad nace en nosotros al distin-

guir o individualizar un objeto del resto del universo, prescindiendo (haciendo abstraccin) de todas sus dems cualidades (v. g.: al tomar conciencia del
yo como algo distinto del no-yo). La idea de unidad lleva implcita en ella la
idea de pluralidad o conjunto de entes.
Estas ideas de unidad y conjunto son primitivas, es decir, no reducibles a
otras ms simples, y tienen valor puramente relativo, pues todo ente es, a
su vez, un conjunto de otros entes que lo componen, y todo conjunto puede
considerarse a su vez como una nueva unidad, pudindose formar con estas
unidades compuestas (tambin llamadas de orden superior) nuevos conjuntos, y as sucesivamente.
Ejemplo 1. Pueden considerarse como unidades de los conceptos posteriores y
como conjuntos de los anteriores, los conceptos siguientes: letras, slabas, palabras,
prrafos, pginas, captulos, libros, bibliotecas. O como se ha visto en Aritmtica
elemental: unidad, decena, centena, millar, etc.

Hay dos caminos para definir o determinar un conjunto, tambin llamado

clase, mtodos que los lgicos designan por extensin y por comprensin.
Para expresar que el conjunto M consta de los elementos a, b, c, escribiremos
M = {a, b, c}, o bien: a, b, c; con ello damos la extensin del conjunto M al
anunciar cada una de las unidades que lo componen. Este mtodo para determinar los conjuntos es el ms frecuente en la vida ordinaria, pero slo es
apropiado para conjuntos con pocos elementos. Por otra parte, los conjuntos
infinitos ( 2-9) slo pueden definirse por comprensin, es decir, dando un
criterio que permita reconocer para cada ente arbitrario, si pertenece o no al
conjunto.
Para evitar antinomias (expresiones contradictorias), algunos autores
consideran que solamente puede formarse un conjunto con objetos que existan ( 1-4) anteriormente. As, definir un conjunto M es dar una propiedad
caracterstica P, perteneciente a ciertos elementos de un conjunto N, anteriormente definido. ste es el gnero prximo, y P la diferencia especfica.

2
1. FUNDAMENTACIN DEL NMERO RACIONAL
Tambin se enuncian las siguientes condiciones para definir un conjunto:

1-1

a) Los elementos que forman el conjunto han de ser entes bien definidos (puntos,
nmeros, etc.).
b) Para cada uno de estos elementos no hay otra alternativa que la de pertenecer
o no al conjunto.
c) Para cada par de elementos a considerar no hay otra alternativa que la de estar
formado o no por elementos distintos.

Cuando la condicin impuesta P es contradictoria, no existe ningn

elemento que la cumpla, y se dice que define un conjunto vaco, que suele
simbolizarse por 0.
Ejemplo 2. Son vacos los conjuntos siguientes: tringulos equilteros rectngulos;
nmeros primos pares mayores que 2.

Un solo elemento a puede tambin concebirse como un conjunto a que

consta de la sola unidad a, pero en este caso son conceptos distintos los de
unidad a y conjunto {a} que ella sola forma.
Prescindir de esta distincin u otras, as como introducir conceptos y razonamien-

tos en crculo vicioso (tal la expresin el conjunto de todos los conjuntos), da lugar a
antinomias o paradojas famosas, como las de Cervantes (Don Quijote de la Mancha,
2a parte, cap. LI), Burali Forti, Russell, etc. stas corresponden al siguiente tipo
de proposicin: Es una regla que todas las reglas tienen excepciones. Si la regla
anterior tiene excepcin, entonces debe haber alguna regla sin excepcin, contra lo
afirmado por la proposicin, que queda as sin sentido.

Para expresar que un elemento a pertenece a un conjunto M suele escribirse a M (a es elemento de M). Si todos los elementos de un conjunto N son
tambin elementos del conjunto M, se dice que N est contenido o incluido
en M, y se escribe * N()M. Entonces se dice tambin que M comprende a N,
y se escribe M()N. Diremos que el conjunto N es una parte o conjunto parcial de otro, M, cuando perteneciendo todo elemento de N a M, hay en ste
algn elemento que no pertenece a N y entonces se escribe N(<)M, o bien:
M(>)N. Podemos suponer, siempre, que el conjunto vaco est contenido en
cualquier otro. Si se verifica a la vez N()M y M()N (todo elemento de N
pertenece a M y todo elemento de M pertenece a N), se dice que los conjuntos
M y N son iguales o idnticos, y se escribe M = N.
En ntima relacin con las nociones de unidad y conjunto estn los conceptos, que en Lgica suelen clasificarse en individuales y especficos: los primeros se refieren a objetos particulares; los segundos, a grupos de objetos que
tienen ciertas propiedades comunes. A cada concepto especfico corresponde
un conjunto: el de los objetos a los cuales es aplicable. Por consiguiente, tambin los conceptos pueden determinarse por extensin o por comprensin.
* Por razones tipogrficas usamos el smbolo () en lugar del ms usual

1-2

INTRODUCCIN LGICA

Ejemplo 3. El concepto "alumno de primer ao" puede determinarse pasando lista

(por extensin) o por un certificado de inscripcin (por comprensin).

Cuanto mas general es un concepto, es decir, cuanto menor es su comprensin, tanto mayor es su extensin.
Ejemplos: 4. El concepto "argentino" es ms general que "rosarino"; la condicin
de vivir en Rosario, sumada a la comprensin del concepto "argentino", reduce la
extensin de ste.
5. El concepto "polgono regular" tiene la comprensin "equiltero y equingulo";
suprimiendo esta segunda condicin, el concepto se generaliza y quedan incluidos
nuevos entes (p. ej., los rombos). Sin embargo, para los tringulos la distincin es
aparente, pues la propiedad "equingulo" es consecuencia de "equiltero"; esto demuestra que a veces disminuyendo la comprensin, no aumenta la extensin.

2. Lgica deductiva. a) Una teora matemtica es un conjunto de

proposiciones que se siguen segn el esquema de la deduccin lgica. Se
entiende por proposicin una expresin de la cual tenga sentido inequvoco
decir si es verdadera o falsa.
La determinacin del criterio de verdad de las proposiciones es a veces
una cuestin extralgica, que pertenece a otro campo del conocimiento; por
ejemplo, "San Martn muri en Francia" es una proposicin cuya verdad
pertenece a la Historia; en cambio, decir: "El enfermo morir, o no morir",
es enunciar una proposicin verdadera por su misma estructura lgica.
En todo proceso de deduccin lgica, o razonamiento, las proposiciones de
partida forman lo que se llama la hiptesis, y la conclusin a que se llega es
la tesis. En un razonamiento vlido, la tesis se deduce o es una consecuencia
lgica de la hiptesis; tambin se dice que la hiptesis implica la tesis.
Todo razonamiento se puede descomponer en varios del tipo ms simple,
llamados silogismos, que el lector ya conoce.
Por ejemplo:
Hiptesis o premisas: a) Todos los tringulos son polgonos ;
b) Todos los polgonos son figuras geomtricas.
Tesis o conclusin: Todos los tringulos son figuras geomtricas.
Decir que "todos los T son. P" significa que "cada T es un P'", pero puede
haber algn P que no sea T; si en cambio todos los P fuesen tambin T, se
dira que la clase o conjunto de los T es idntica a la de los P.
Podemos representar la clase de todos los T por el conjunto de los puntos limitados por un contorno cerrado; entonces la

1-2

1. FUNDAMENTACIN DEL NMERO RACIONAL

premisa a) anterior significa que el conjunto de

los P contiene al de los T, pudindose sintetizar grficamente en la figura 1 el razonamiento expuesto.

T
P
F
Fig. 1.

Tales ilustraciones grficas del silogismo son llamadas por algunos autores "diagramas de Venn",
atribuyndolas al lgico ingls John Venn (muerto
en 1923), con notorio desconocimiento de la prioridad de Euler, que las us en sus Cartas a una princesa de Alemania (1770), con el fin, segn deca, de
que "todo salte a la vista".

En un razonamiento vlido, la verdad de la tesis se reduce a la verdad

supuesta de la hiptesis; pero la validez de un razonamiento es algo distinto
de la verdad de las proposiciones que en l intervienen. Dicho de otro modo:
La verdad formal o correccin lgica es distinta de la verdad material o real,
es decir, del contenido de las proposiciones.
Ejemplos: l. He aqu un razonamiento correcto, en que la conclusin
es verdadera, aunque las dos premisas de la hiptesis son falsas (fig. 1):
Hiptesis: a) Todos los tringulos son poliedros;
b) Todos los poliedros son figuras planas.
Tesis: Todos los tringulos son figuras planas.
2. Razonamiento correcto, en que hiptesis y conclusin son falsas:
Hiptesis: a) Todos los tringulos son poliedros;
b) Todos los poliedros son nmeros primos.
Tesis: Todos los tringulos son nmeros primos.
3. Razonamiento incorrecto, en que la hiptesis es verdadera, pero falsa la conclusin (fig. 2):
Hiptesis: a) Todos los planetas son astros;
b) El Sol es un astro.

Sx

P
P

A
Fig. 2.

Fig. 3.

Tesis: El Sol es un planeta.

4. Razonamiento incorrecto, en que son verdaderas las hiptesis y la conclusin:
Hiptesis: a) Todas las estrellas son astros:
b) El Sol es un astro.
Tesis: El Sol es una estrella.
En este caso, la tesis (aunque verdadera) no es consecuencia lgica de la hiptesis.

1-2
INTRODUCCIN LGICA
5
5. Las clases de objetos pueden relacionarse por tipos de proposiciones distintas
a las vistas en los ejemplos anteriores, sobre las que tambin se razona. As, por
ejemplo:
Hiptesis: a) Ningn valiente es cobarde;
b) Alguna persona es valiente.
Tesis: Alguna persona no es cobarde.
En cambio, la conclusin "Ninguna Persona es Cobarde" no puede deducirse de la
hiptesis hecha (fig. 3).
Ejercicios: 1. Designando por V y F la verdad o falsedad de razonamiento, hiptesis
y tesis, los ejemplos 1 a 4 corresponden a los tipos:
V) F V; V) F F; F) V F; F) V V.
Vase que de los ocho tipos distintos, slo es imposible el V) V F
2. Construir ejemplos de los tres tipos restantes.
b) La intuicin geomtrica de la posicin correlativa que dos crculos pueden ocupar en el plano sirvi a J. Daz Gergonne para establecer, en 1816, el siguiente cuadro de relaciones entre dos clases de objetos, representando la amplitud de cada
crculo la extensin del correspondiente concepto especfico ( 1-1) que tenemos de la
clase o conjunto de objetos a que se refiere:
1) Exclusin; ej.: crculos P y C (fig. 3);
2) Interseccin; ej.: crculos P y V (fig. 3);
3) Identidad; coincidencia de los crculos;
4) Inclusin; ej.: posicin del crculo T respecto al P (fig. 1);
5) Comprensin; inversa del anterior, P respecto a T (fig. 1).
Si se forman las 25 parejas * que pueden obtenerse al tomar dos de esas relaciones
como premisas de hiptesis, los correspondientes diagramas darn la conclusin a
que puede llegarse o no segn los casos. Esto mtodo grfico de formar razonamientos es el llamado algoritmo de Daz Gergonne.
Ejemplos: 6. Si estn relacionadas por exclusin las clases P y C, as como las C y V
(fig. 3), slo podr afirmarse de las P y V que su relacin mutua puede ser cualquiera
de las del cuadro de Daz Gergonne.
7. Si estn relacionadas por inclusin la clase T respecto a la P, y la P respecto a la
F (fig. 1), podr seguramente afirmarse que la clase T est incluida en la F.
El algoritmo de Daz Gergonne da ya una representacin ms clara y completa de
los silogismos que la realizada por Aristteles, pero el progreso fundamental en
este sentido, lo realiza Georges Boole hacia 1850, en trabajos sobre el anlisis matemtico de la lgica y la investigacin de las leyes del pensamiento, desarrollando
la llamada "lgebra de clases" (vase nota I). Esta "lgica simblica" y su desarrollo
posterior en variadas direcciones, no constituye un mero pasatiempo de los matemticos, sino que responde a una real necesidad.
Muchas paradojas y confusiones en lgica provienen de la falta de precisin y de
las deficiencias del lenguaje ordinario.
Ejemplos: 8. Los apstoles son doce; Pedro y Pablo son apstoles, luego son doce.
9. La dura experiencia de quien conoci el "gato de nueve colas" en la antigua marina inglesa puede "justificarse lgicamente" por el siguiente seudo-razonamiento:
Ningn gato tiene ocho colas; todo gato tiene una cola ms que ningn gato; por
tanto, todo gato tiene nueve colas.
* Es decir, variaciones binarias con repeticin ( 11-1).

1. FUNDAMENTACIN DEL NMERO RACIONAL

1-3

3. Mtodos de demostracin. Dado el teorema "H implica T", hay varios teoremas relacionados con l. Dos teoremas se llaman recprocos cuando
cada uno tiene como hiptesis la tesis del otro; se llaman contrarios los que
tienen como hiptesis y tesis proposiciones respectivamente contrarias (H y
no-H, T y no-T).
He aqu indicados el teorema dado (que llamaremos directo) y adems el
recproco, el contrario y el recproco del contrario (o contrario del recproco),
que llamaremos contrarrecproco.

rec.

con

T implica H

o
re cproc
e
r
c
r
pro
tra
co
con

contr.

trar

no - H implica no - T

contr.

H implica T

no - T implica no - H

rec.

La validez de un teorema no implica la de su recproco, como puede verse

en los diagramas figuras 4 y 5, en los cuales los crculos representan las
extensiones de conjuntos definidos (por comprensin) por las proposiciones
H y T.

Fig. 4. Teorema directo

(y contrarreciproco)

Fig. 5. Teorema recproco (y contrario)

H=T

Fig. 6.

El teorema directo expresa que H es suficiente para que se cumpla T; el

recproco dice que H es necesario para que se cumpla T. Si son vlidos ambos
teoremas, directo y recproco, entonces H y T son equivalentes (H = T, fig. 6),
y se dice que H es condicin necesaria y suficiente para que se cumpla T. Tal
ocurre en el ejemplo: H = "El tringulo ABC es equiltero" ; T = "El tringulo
ABC es equingulo".
Dos teoremas contrarrecprocos son equivalentes, es decir, la validez de
uno de ellos implica la del otro. Esto puede verse en el diagrama figura 4,
considerando las regiones exteriores a cada uno de los crculos. Como consecuencia, son equivalentes los teoremas recproco y contrario de uno dado.
El mtodo de razonamiento que consiste en probar el teorema directo valindose del contrarrecproco, se llama "por reduccin al absurdo"; es decir,
que para demostrar que "H implica T", se acepta la falsedad de T (no-T), y
de ella se deduce la falsedad de H (no-H).

1-4

INTRODUCCIN LGICA

La observacin de que la validez del teorema directo no implica la del recproco

es esencial tenerla en cuenta en los mtodos reductivos de demostracin o resolucin
de problemas (mal llamados, por tradicin, mtodos analticos); en stos se supone
la cuestin T resuelta, y de este hecho se deducen consecuencias T1, T2, ..., Tn, para
reducir la cuestin T a una conocida Tn; si en la cadena de reducciones stas se hacen
mediante equivalencias, la validez de Tn, equivaldr a la de T; pero si slo se han
considerado implicaciones, no podremos deducir sin ms la validez de T de la validez
de Tn, siendo necesario para ello invertir la cadena y comprobar si de la validez de
Tn, se deduce la de Tn-1, y as hasta llegar de T1 a T; es decir, habremos de verificar la
validez de los recprocos, pues los directos solamente implican los contrarrecprocos,
esto es, solamente la falsedad de Tn, probara la falsedad de T. Es muy comn en
Geometra analtica y en la resolucin de ecuaciones olvidar la observacin anterior,
sin darse cuenta de que, por ejemplo, supuesta cierta la igualdad 1 = 2, transformndola correctamente invirtiendo sus trminos 2 = 1 y sumando miembro a miembro: 3
= 3, la validez de esta igualdad no asegura la de partida.

4. Conceptuacin matemtica. En la estructura de la Matemtica,

adems de las proposiciones y teoremas que los relacionan, entran los conceptos sobre los cuales ellos versan. La extensin de los concentos matemticos es infinita, pero su comprensin es necesariamente finita. Por esto, de
las dos maneras de fijar o definir un concepto: por extensin y por comprensin ( 1-1) debe emplearse la segunda para los conceptos matemticos.
Otras dos caractersticas de la Matemtica que la aproximan a la Lgica
y la distinguen de las ciencias naturales son stas: sus razonamientos son
hipottico-deductivos, y sus definiciones son nominales y no reales.
Ejemplo 1. Enumerar las fronteras de la Argentina es definir una cosa ya existente, es una definicin real; pero si damos un nombre a los habitantes de una regin o
barrio, hacemos una definicin nominal.

Los tipos de conceptuacin que ms interesan a la Matemtica son: 1,

las definiciones explcitas; 2, las definiciones por abstraccin; 3, las definiciones axiomticas; 4, las definiciones por recurrencia. Las del primer tipo
(que trataremos a continuacin) son simplemente clasificadoras; en cambio,
las restantes, que estudiaremos en los 1-6, 1-7 y 2-3, son creadoras de
nuevos conceptos.
A veces se exige probar la existencia y unicidad del nuevo concepto introducido; el sentido que se ha de dar a estas ltimas palabras es cuestin aun
no resuelta: lo menos que podemos exigir a las condiciones que introducen
el nuevo concepto es que no sean contradictorias; esto es suficientemente satisfactorio a ciertas mentalidades para aceptar la existencia lgica y empleo
del nuevo concepto como ente abstracto; pero en cambio, otras mentalidades
opinan en distinta forma.
Las definiciones propiamente dichas, o definiciones explcitas, forman un tipo de conceptuacin por el cual se introdu-

1. FUNDAMENTACIN DEL NMERO RACIONAL

1-5

cen palabras nuevas para designar combinaciones lgicas de conceptos ya

definidos.
Ejemplo 2. "Cuerda de una circunferencia es un segmento cuyos extremos estn
sobre la circunferencia". Estas definiciones corresponden al tipo de las llamadas por
gnero prximo ("C es un segmento") y ltima diferencia o diferencia especfica. ("Los
extremos de C estn sobre la circunferencia").

Para comprender bien el sentido de las demostraciones es necesario tener

siempre en cuenta el principio lgico de Pascal: "Sustityanse los entes definidos por sus definiciones".
Esto se comprueba en seguida en una aplicacin del ejemplo 2. A veces el prin-

cipiante slo ve un artificio en el hecho de unir los extremos de una cuerda AB al

centro de la circunferencia para demostrar el teorema: "una cuerda AB de una circunferencia que no es un dimetro, es ms corta que un dimetro". Sin embargo, se
dara cuenta del porqu de la construccin demostrativa si recordara la definicin
de circunferencia: "lugar de puntos del plano que equidistan del centro"; y por esto,
para utilizar la hiptesis de que A y B estn en la circunferencia, se ha de partir de
que su distancia al centro es la misma e igual al radio.

5. Igualdad. Relaciones de equivalencia. La idea de relacin es

tambin primitiva (como las de unidad y conjunto), es decir, no reducible a
otras ms simples. Si la letra R designa una relacin binaria, es decir, si tiene sentido para ciertos pares de elementos de un conjunto, se expresa aRb,
que puede ser verdadera o falsa. En el primer caso diremos: "a tiene con b la
relacin R, o est con b en la relacin R".
Ejemplo 1. La perpendicularidad ; dadas dos rectas: a, b, es ab o no es ab.
La relacin binaria de igualdad absoluta o de identidad no se verifica sino
entre una cosa y ella misma. Pero tambin se suele decir que dos figuras
congruentes (es decir, superponibles) son iguales. Este concepto ms amplio
de igualdad es un caso particular del siguiente:
Diremos que una relacin binaria E entre elementos de un conjunto M
es una relacin de igualdad o de equivalencia cuando tiene las siguientes
propiedades:
1) Propiedad reflexiva: a E a)
2) Propiedad simtrica: De a E b se deduce b E a;
3) Propiedad transitiva: De a E b y b E c se deduce a E c.
Ejemplo 2. La congruencia, la semejanza y el paralelismo son relaciones de equi-

valencia, como puede comprobarse, previo el convenio de considerar a cada recta

como paralela a s misma. La divisibilidad de un nmero por otro es una relacin
reflexiva y transitiva, pero no es simtrica, y por consiguiente, no es una relacin de
equivalencia. Tampoco lo son las relaciones , <, . Por qu?

Las relaciones de equivalencia tienen una propiedad fundamental para

las consideraciones del apartado siguiente:
Teor . :
Toda
relacin
de
equivalencia
E
entre
elementos de un conjunto M agrupa los elementos de M en clases o sub-

1-6

INTRODUCCIN LGICA

conjuntos disjuntos (sin elementos comunes) tales que a y b pertenecen a la

misma clase cuando, y slo cuando, a E b.
Demustrese este teorema definiendo para cada a el conjunto Ka de todos
los x tales que x E a, y probando que:
) a pertenece a Ka;
1
) a E b, cuando, y slo cuando, a y b pertenecen a una misma clase (di2
gamos Ka) ;
) dos clases con un elemento comn coinciden.
3
6. Definiciones por abstraccin. Cuando miramos una fotografa
y su ampliacin, reconocemos inmediatamente que no se han tomado dos
fotografas. Las figuras tienen "algo" de comn, lgo igual, que llamamos
"forma", y a la cual llegamos haciendo abstraccin de tamao, color, etc.
Todo proceso de abstraccin como ste se puede formalizar matemticamente, mediante una relacin de equivalencia ( 1-5). En el ejemplo que nos ocupa la semejanza, por ser una relacin de equivalencia, divide a las figuras
planas en clases, lo que permite definir por abstraccin la forma: dos figuras
planas tienen la misma forma cuando pertenecen a la misma clase. Como
cada figura determina perfectamente la clase a que pertenece, puede tomarse como representante de dicha clase. Con frecuencia, en las definiciones por
abstraccin se consideran no las clases, sino elementos representantes de
ellas.
Nota 1. Es importante observar que la relacin de equivalencia no nace de la comunidad del carcter abstracto, sino que lo engendra. Por ejemplo: no podemos definir la semejanza como igualdad de forma, pues es justamente la relacin de "semejanza" la que permite introducir la nocin de "forma". Cada relacin de equivalencia
permite definir por abstraccin un nuevo concepto.
Ejemplos: 1. El paralelismo entre rectas (con el convenio de considerar cada recta
paralela a s misma) es una relacin de equivalencia. Cada una de las clases es un
haz impropio de rectas. As, por abstraccin definimos la direccin, estableciendo
que dos rectas tienen la misma direccin cuando pertenecen al mismo haz impropio.
Cada direccin quedar determinada tomando una recta del haz como representante
del mismo.
2. Dos segmentos orientados (es decir, con origen y extremo) se llaman equipolentes
cuando tienen la misma longitud, direccin y sentido. La equipolencia es una relacin
de equivalencia. Cada una de las clases define un vector libre. Se lo representa por un
segmento orientado A B, representante de la clase, o por cualquier otro representante
A' B' de la misma clase, es decir, cualquier segmento orientado equipolente al
anterior.
Nota 2. ste es el primer tipo de definicin creadora de un nuevo concepto. En
ocasiones ocurre que hay varios sistemas de entes a los cuales puede referirse el
concepto creado, pero si puede establecerse entre ellos un isomorfismo, es decir, una
correspondencia biunvoca ( 2-8) en la que se conserven las propiedades que determinan
el concepto, se dir quo ste es esencialmente nico (segn el lenguaje de Veblen).
Por ejemplo, el concepto de vector libre del espacio tridimensional introducido en

10

1. FUNDAMENTACIN DEL NMERO RACIONAL

1-7

el ltimo ejemplo es esencialmente el mismo que el de la terna de nmeros reales

(dada por las proyecciones del vector sobre los tres ejes coordenados).

Las definiciones por abstraccin constituyen uno de los recursos ms fecundos de la Matemtica, pues permiten, conjuntamente con las definiciones por recurrencia ( 2-3), desarrollar el mtodo gentico, mediante el cual
se efectan las sucesivas ampliaciones de la Matemtica.
7. Axiomtica. Hemos visto que mediante el razonamiento o
formulacin de teoremas podemos deducir nuevas proposiciones de otras ya
establecidas, las que a su vez pueden haber sido deducidas de otras anteriores,
mediante otros teoremas; pero, en todo caso, hemos de partir siempre de
unas proposiciones primeras, que deben aceptarse sin demostracin, pues
en caso contrario no seran las primeras. Del mismo modo, las proposiciones
enuncian propiedades de ciertos objetos o entes ideales, que se han de
definir refirindolos a entes anteriores, por lo cual en definitiva habrn de
introducirse tambin unos conceptos primitivos no susceptibles de definicin.
(Entre los conceptos primitivos pueden haber atributos de relaciones
primitivas, por ej.: "menor que", "siguiente de", etc.). Entonces se renen los
conceptos primitivos y proposiciones primeras, en un conjunto de axiomas
o postulados, tomados hoy da como sinnimos, que forman la base de la
teora matemtica de que se trate; todos los dems teoremas y conceptos de
la teora sern consecuencia lgica de dichos axiomas.
Queda siempre, sin embargo, la intuicin para servir de gua a la investigacin,

es decir, para conjeturar las nuevas proposiciones que sean valiosas e interesantes:
como dijo Poincar, "descubrir es elegir".
Segn algunos, la deduccin de las proposiciones que forman el cuerpo de cada
teora es una libre citacin de la mente humana, y es en ella en donde tienen existencia los objetos matemticos; con lo emprico slo estn ligados por un remoto origen
psicolgico e histrico.
Segn otros, dar a la Matemtica un carcter puramente deductivo-axiomtico es
slo objetivo expositivo para asegurar la perfeccin de los resultados obtenidos; el espritu de invencin constructiva se gua siempre, aun en los campos ms abstractos,
por la intuicin reveladora, que tiene races fundamentalmente empricas. As dicen
Courant y Robbins (citados en nota IV-14) : "Slo es una media verdad decepcionante el que el intelecto pueda crear sistemas axiomticos a su antojo, si han de estar
plenos de significacin y slo bajo la disciplina de responsabilidad hacia un todo orgnico, guiada por una intrnseca necesidad, puede la mente libre llegar a resultados
de valor cientfico. "Nosotros somos servidores, no dueos, de la verdad" (Hermite)".
La caracterizacin de los conceptos primitivos mediante el sistema de axiomas
se dice que constituye una definicin implcita de estos conceptos, prescindiendo de
todo significado objetivo de los mismos.
Algo anlogo ocurre con las piezas de ajedrez; stas vienen precisamente definidas por los movimientos que se les asigna, y en ellas es accesorio la forma de materializarlas y aun el nombre que se les d; sin

1-7
INTRODUCCIN LGICA
11
embargo, slo aplicando las reglas del juego a una interpretacin concreta que permita desarrollarlo podr comprobarse su compatibilidad.

En una disciplina pueden darse diversos sistemas de axiomas equivalentes; una misma proposicin puede ser axioma en un sistema y teorema en
otro: para darse cuenta de la arbitrariedad que existe en la eleccin de un
adecuado sistema de axiomas, basta considerar la equivalencia proposicional que entraa toda condicin necesaria y suficiente ( 1-3).
Por ejemplo, la proposicin de Euclides sobre las paralelas es equivalente
(en el marco de los otros axiomas) al enunciado siguiente: "la suma de los
ngulos de un tringulo es igual a dos rectos". Por consiguiente, si se tomara este ltimo como axioma, la proposicin sobre las paralelas pasara
a ser teorema. Por eso no tiene sentido preguntar si una proposicin puede
demostrarse o no, si no se especifica el sistema ele axiomas de la teora a
que se refiere.
El sistema de axiomas de toda teora matemtica debe mostrar como condicin fundamental e ineludible, que no encierre escondida una contradiccin: entonces se dice que el sistema de axiomas es compatible.

La compatibilidad de un sistema de axiomas se prueba buscando un modelo cuya

existencia lgica no-contradictoria pueda asegurarse y que a la vez verifique el sistema de axiomas de que se trata. Es as como el gran matemtico alemn Hilbert,
principal propugnador de la Axiomtica, redujo el problema de la no-contradiccin
de los axiomas que fundamentan la Geometra, al de la no-contradiccin de los nmeros reales; igual reduccin se logra en el Anlisis; adems, la no-contradiccin de
los nmeros reales se reduce a su vez a la de los nmeros naturales. Esto fu posible
gracias a la aritmetizacin de la Matemtica, lograda en el siglo xix, que redujo toda
esta ciencia a una larga cadena de deducciones y construcciones, a partir del nmero
natural. Sin embargo, la cuestin de la compatibilidad de la Aritmtica es un arduo
problema, aun no resuelto.
Para que un sistema de axiomas se considere satisfactorio se exige tambin de
l su independencia, aunque lgicamente esta condicin no sea ineludible como lo
es la compatibilidad. Se dice que los axiomas de un sistema son independientes si
se demuestra la imposibilidad de que ni uno cualquiera de ellos, o parte de ellos, ni
su negacin pueda ser deducido de los dems. Para probar la independencia de un
axioma A basta probar la compatibilidad del sistema que forman los dems axiomas
y el contrario de A. Fu as como se lleg a probar la independencia del famoso postulado de Euclides, por obra de Gauss, Lobatchewski, Bolyai y Riemann, al crear las
geometras no euclidianas.
Entre las cuestiones importantes aun no resueltas completamente, que aparecen
en la Axiomtica, est la de poder asegurarnos que toda proposicin formulable en
los trminos de la teora sea, necesariamente, o demostrable o refutable, es decir, no
pueda formularse ningn nuevo axioma, independiente de los ya establecidos; ello
da lugar al estudio de la saturacin o integridad del sistema de axiomas considerado,
y que ha sido atacado en varias direcciones (Hilbert, Veblen). Revela el inters de
esta cuestin recordar que en la misma Aritmtica existen proposiciones famosas
que se intuyen como ciertas, pero que han resistido, como ocurra con el postulado
de Euclides, los ms denodados esfuerzos realizados para alcanzar su demostracin
aun no lograda.

12

1. FUNDAMENTACIN DEL NMERO RACIONAL

1-8

8. Estructura de la Matemtica. La definicin de nuevos conceptos y la

deduccin de nuevas proposiciones a partir de los "axiomas" forman lo que se llama
una teora matemtica abstracta. Desde el punto de vista formalista, el conjunto
de estas teoras constituye la Matemtica pura. Si en una teora matemtica
abstracta se da un significado a las ideas primitivas contenidas en los axiomas de
partida, se obtiene una interpretacin concreta, o aplicacin de la teora abstracta.
Dicho "significado" puede referirse a conceptos tomados del mundo fsico, y aun de
otra teora abstracta, en tal forma que las relaciones expresadas por los axiomas
queden verificadas por el criterio de certeza (intuitivo, descriptivo, lgico, etc.),
empleado en el campo en que interese aplicar la teora. Un sistema de axiomas
se llama categrico si para cada par de sus interpretaciones concretas existe un
isomorfismo (1-6) que las relacione (cfr. 3-5). El conjunto de interpretaciones
concretas de que es susceptible la Matemtica pura forma la Matemtica aplicada.
Un ejemplo sencillo de teora abstracta es el siguiente:
Axioma 1. Entre ciertos elementos P y ciertos elementos r existe una relacin "determina" tal que:
Dos P (P1 y P2) determinan un r, y slo uno.
Def. 1. Diremos que P1 y P2 pertenecen a r, o que r pasa por P1 y por P2.
Axioma 2. Existe (por lo menos) un P.
Axioma 3. A cada r pertenecen por lo menos dos P distintos.
Axioma 4. Por cada P pasan por lo menos dos r distintos.
Teor. 1. Existen (por lo menos) tres P distintos.
Dem.: Deben aplicarse sucesivamente los axiomas 2, 4, 3 y 1.
Daremos ahora once interpretaciones de esta teora abstracta. El lector debe adoptar
en cada una la significacin adecuada para la relacin "determina" y las expresiones
"pertenece", "pasa por".
Interpretacin 1. P son los puntos y r las rectas en la geometra del espacio.
Interpretacin 2. P son las rectas y r los puntos en la geometra del espacio.
Interpretaciones 3 y 4. Lo mismo que 1 y 2 en la geometra del plano. En cambio, no
podemos adoptar la interpretacin 1 en la geometra de la recta, pues cae en defecto el
axioma 4.
Interpretacin 5. P son las circunferencias de un plano y r los haces de circunferencias (conjuntos de circunferencias tales, que dos a dos tienen el mismo eje radical).
Interpretaciones 6 y 7. P y r son los vrtices y lados (lados y vrtices) de un tringulo.
Interpretaciones 8 y 9. P y r son los vrtices y aristas (aristas y vrtices) de un tetraedro.
Interpretacin 10. P son los elementos: a, b, c, y r, los conjuntos: a, b, b, c y c, a.
Interpretacin 11. P son las provincias de Buenos Aires, Crdoba y Santa Fe, y r, las
fronteras entre cada dos de ellas.
Otros ejemplos dan la Fsica y la Mecnica, con las interpretaciones concretas de las
teoras vectoriales abstractas construidas axiomticamente; otro ejemplo es el de la
aplicacin al universo fsico de las geometras abstractas, ya euclidianas en la Mecnica de Newton, ya no euclidianas en la Mecnica relativista.
La estructuracin actual de la Matemtica es formalista. Por esto la axiomtica
desempea un papel capital en su fundamentacin. El formalismo llevado a sus ltimas
consecuencias, cosa que ocurre al hacer abstraccin completa del significado intrnseco
de los smbolos primitivos que intervienen en una teora determinada, pasa a ser
una actitud netamente no-trascendente al manejar dichos smbolos como entidades
concretas segn reglas bien determinadas.

2-1

EL NMERO NATURAL

Ejercicios

13

1. Es la condicin x.y > 4, necesaria o suficiente para que sea x > 2 y > 2?
Representar grficamente en coordenadas cartesianas.
2. Averiguar cules de las propiedades reflexiva, simtrica, transitiva son aplicables a las siguientes relaciones: a) "Es la madre de", para personas; b) "Es de la
misma longitud que", para segmentos; c) "No es igual a", para nmeros.
3. Hallar el error del siguiente razonamiento para "probar" que de las propiedades
simtrica (S) y transitiva (T) sigue la reflexiva a~a (R) : "De a ~ b sigue b ~ a (por S),
y de stas dos (por T) a ~ a". Ilustrar la falsedad de dicha proposicin sobre relaciones con el ejemplo: a ~ b = "m. c. d. de a y b es mltiplo de dos".
4. Supongamos que una relacin binaria R definida en un conjunto C es simtrica,
y que su negacin R cumple: 1) es reflexiva; 2) existe un par a, b "tal, que aRb es
falsa. Es R transitiva? Ilustrar con los ejemplos R X ; .
5. Si en un conjunto C cada elemento a est en una relacin R con un elemento
(eventualmente l mismo) y se cumple: "De aRc y bRc sigue aRb (Ley de Euclides)",
entonces R es una relacin de equivalencia. Demostrarlo.

2. El nmero natural
1. Diversas fundamentaciones del nmero natural. a) Los

nmeros naturales
[2-1]
1, 2, 3, 4, 5, ...
aparecen al contar los objetos de un conjunto. Al efectuar la operacin
de contar, establecemos implcitamente una ordenacin entre los
elementos del conjunto, y al ltimo contado se le llama nmero ordinal
del conjunto. El nmero natural, como smbolo ordinal, resulta, pues,
de abstraer la naturaleza de los objetos, teniendo en cuenta solamente
el orden en que se presentan a nuestra consideracin. En cambio, el
nmero como smbolo cardinal representa un conjunto, abstrayendo
la naturaleza de los elementos que lo componen y el orden en que
stos se consideran: corresponde al atributo comn que tienen todos
los conjuntos tales que sea posible establecer entre cada par de ellos
una correspondencia biunvoca entre sus elementos ( 2-8).
La distincin entre nmero ordinal y cardinal conduce a dos
aspectos del concepto de nmero que corresponden a dos caminos
para fundamentarlo. Para los conjuntos finitos, ambos caminos
llevan al mismo resultado; en cambio, para los conjuntos infinitos, la
diferencia es esencial, pues segn sea el orden elegido para contar,
resulta nmero ordinal distinto.
Siguiendo cada uno de
puede introducirse como
de la teora de clases.
axiomticamente, y se es

ambos aspectos, el nmero natural

concepto primitivo o como derivado
En el primer caso se fundamenta
el camino seguido por P eano , H ilbert ,

14

1. FUNDAMENTACIN DEL NMERO RACIONAL

16

1. FUNDAMENTACIN DEL NMERO RACIONAL

18

1. FUNDAMENTACIN DEL NMERO RACIONAL

20

1. FUNDAMENTACIN DEL NMERO RACIONAL

22

1. FUNDAMENTACIN DEL NMERO RACIONAL

24

1. FUNDAMENTACIN DEL NMERO RACIONAL

26

1. FUNDAMENTACIN DEL NMERO RACIONAL

28

1. FUNDAMENTACIN DEL NMERO RACIONAL

30

1. FUNDAMENTACIN DEL NMERO RACIONAL

32

1. FUNDAMENTACIN DEL NMERO RACIONAL

34

1. FUNDAMENTACIN DEL NMERO RACIONAL

36

1. FUNDAMENTACIN DEL NMERO RACIONAL

38

1. FUNDAMENTACIN DEL NMERO RACIONAL

40

1. FUNDAMENTACIN DEL NMERO RACIONAL

42

1. FUNDAMENTACIN DEL NMERO RACIONAL

44

1. FUNDAMENTACIN DEL NMERO RACIONAL