Me gusta estudiar matemáticas en mis ratos libres, y mi forma de hacerlo es organizar lo

que estudio en forma de libros. Aquí está el resultado de casi todas las matemáticas que
he ido estudiando en dichos ratos. Algunas observaciones:

1. Mis libros son globalmente autocontenidos: cualquier resultado utilizado en uno

de ellos está demostrado en ese mismo libro o bien en otro, normalmente anterior.
2. He recibido varios mensajes preguntándome sobre el orden más adecuado para
leerlos. Aunque no están pensados para autodidactas, a la hora de abordar su
lectura conviene tener en cuenta que están divididos en dos bloques: el primero se
centra en la teoría axiomática de conjuntos, y cada uno depende en gran medida
de los precedentes, y en particular todos descansan sobre el primero de ellos, mi
libro de Lógica matemática.
El segundo bloque está dedicado a las matemáticas más clásicas, que dependen en
mucha menor medida de la teoría axiomática de conjuntos, y los fundamentos
necesarios están incluidos en el primero de ellos, mi libro de Álgebra, por lo que
este bloque puede ser leído sin necesidad de haber estudiado ninguno de los del
anterior. A su vez, los libros de este bloque están agrupados en "estratos", de
forma que los libros de cada estrato presuponen los anteriores y están
interconectados en mayor o menos medida con los de su mismo estrato, por lo que
resulta natural una lectura simultánea.
3. Últimamente estoy revisando y ampliando mis libros. De momento la revisión
alcanza hasta todos los libros del primer bloque excepto el último y hasta mi libro
de Teoría analítica de números en el segundo bloque. Las referencias a libros
anteriores de los libros todavía no revisados pueden ser incorrectas, pues
corresponden en realidad a las versiones antiguas no revisadas.
4. ATENCIÓN: En todos mis libros las funciones actúan por la derecha, de modo
que la composición ha de entenderse así: (f o g)(x) = g(f(x)).
5. Mis libros no han sido revisados todo lo que deberían. Desde luego, lo han sido
mucho menos que cualquier libro impreso. Por eso, si los usas deberás tener
cuidado con las erratas, lapsus y errores garrafales (los menos, espero) que te
puedas encontrar.
6. Cada libro me ha costado de escribir una media de más de un año, y ahora tú te lo
puedes bajar gratis. Convendrás conmigo en que no es mucho pedir que, si alguna
parte te resulta útil, te tomes nota de las erratas (o errores) que vayas encontrando,
por leves que sean, y, al igual que has sabido pinchar más abajo para bajarte el
pdf, te acuerdes de pinchar aquí: carlos.ivorra@uv.es y me las comuniques. Gracias
 por adelantado. Aparte de esto, cualquier sugerencia o comentario será
bienvenida.
7. Me han escrito algunas personas preguntándome por libros de otras materias o por
versiones más elementales. Todo el material que tengo está aquí y, como podréis
ver, es en general bastante técnico. No tengo nada más.

•Lógica matemática (31-8-20 eliminado el apéndice sobre el cálculo secuencial, que

ahora es un libro aparte)
Segunda edición revisada y expandida de mi libro Lógica y teoría de conjuntos. Su
contenido se corresponde con las dos primeras partes de la primera edición. Entre las
principales novedades incluye una demostración completa del segundo teorema de
incompletitud de Gödel (cuya prueba sólo estaba esbozada en la versión anterior) y un
estudio más detallado de la aritmética de Peano y algunas de sus subteorías. Además de
las teorías de conjuntos de Zermelo-Fraenkel y von Neumann-Bernays-Gödel se
estudian otras, como la teoría de Kripke-Platek. Mantengo en esta página web la primera
edición porque es algo más elemental y tal vez para algunos sea más fácil de seguir, pero
ya no realizaré más actualizaciones de esta versión antigua.
•El cálculo secuencial (12-9-20 añadido el capítulo IX sobre lógica de segundo
orden)
Introducción al cálculo secuencial de Gentzen, con aplicaciones a la aritmética de Peano.
Incluye la famosa prueba de Gentzen de que la inducción transfinita hasta el ordinal
εo implica la consistencia de la aritmética de Peano, junto con otros resultados, como la
prueba de que la aritmética de Peano con la inducción restringida a fórmulas Σ1 es una
extensión conservativa de la aritmética recursiva primitiva, o la caracterización de las
funciones demostrablemente recursivas en IΣ1 o en la aritmética de Peano. A su vez, de
aquí se deducen algunos ejemplos de sentencias aritméticas indecidibles en la aritmética
de Peano, como el teorema de Goodstein.
•Teoría de conjuntos, Topología  

Tercera edición de mi libro de Teoría de Conjuntos, en la que he añadido algún material

adicional y he eliminado los capítulos sobre topología, que ahora forman parte de un
segundo libro interconectado con él.

El libro de Teoría de conjuntos contiene los resultados básicos de la teoría de

conjuntos: axiomática, teoría de ordinales y cardinales, principios combinatorios,
álgebras de Boole, algunas aplicaciones a la topología y una introducción a la teoría de
modelos.

El libro de Topología consta de dos partes. En la primera se exponen los resultados

básicos de la topología general sobre espacios topológicos y uniformes, y en la segunda
se aplican a espacios con estructuras adicionales: espacios métricos y normados, grupos
y espacios vectoriales topológicos y espacios ordenados. Un apéndice reune más de 60
ejemplos de espacios topológicos que ilustran la teoría.
•Pruebas de consistencia,  Cardinales grandes, Teoría descriptiva de conjuntos

Nuevas ediciones en las que he reorganizado el material de las ediciones precedentes.

El libro de Pruebas de consistencia contiene los resultados básicos sobre pruebas de

consistencia en teoría de conjuntos: modelos transitivos, constructibilidad, extensiones
genéricas y numerosas aplicaciones.

El libro de Cardinales grandes contiene los resultados fundamentales sobre los

cardinales grandes más importantes en orden creciente en cuanto a su consistencia,
desde los cardinales débilmente compactos hasta los axiomas I. Se incluyen algunas
aplicaciones a las pruebas de consistencia, como la consistencia de la negación de la
hipótesis de los cardinales singulares.

El libro de Teoría descriptiva de conjuntos contiene los resultados básicos sobre los

conjuntos de Borel y proyectivos en espacios polacos en ZF más el principio de
elecciones dependientes, tanto de la teoría clásica como de la teoría efectiva (en
términos de la teoría de la recursión). A continuación se prueban resultados de
consistencia adicionales, principalmente los que se deducen del axioma de
constructibilidad y del axioma de determinación, incluyendo la prueba de la consistencia
de este axioma relativa a la existencia de ciertos cardinales grandes.
•Teorías de conjuntos

En este libro se presentan y comparan diversas teorías axiomáticas de conjuntos. La

mayor parte de ellas son teorías más débiles que ZFC (esencialmente, la teoría de Kaye
Forster, la teoría de Mac Lane, la teoría de Kripke-Platek y la teoría de Mostowski, junto
con algunos axiomas adicionales), mientras que los últimos capítulos están dedicados a
la versión de los Nuevos Fundamentos de Quine propuesta por Jensen (NFA), que es una
teoría de conjuntos en la que existe el conjunto de todos los conjuntos.
•El Álgebra y la Geometría Elemental

Se presentan las teorías axiomáticas que formalizan el álgebra elemental (la teoría
algebraica de los números reales y complejos) y la geometría euclídea elemental (la
axiomática de Tarski) y se demuestra constructivamente que ambas teorías son
consistentes, completas y decidibles.
•Análisis no estándar 

Un curso típico (en cuanto a su contenido) de análisis matemático: cálculo diferencial e

integral de una y varias variables, pero desarrollado en el contexto del análisis no
estándar, es decir, utilizando números reales infinitesimales. En los apéndices A y B se
exponen dos teorías axiomáticas que fundamentan rigurosamente el uso de
infinitésimos, la teoría de Nelson y la de Hrbacek, respectivamente, y en el apéndice C
se demuestra el teorema de extensión para ambas teorías, en virtud del cual, todo
resultado "estándar" (es decir, todo resultado en el que no se haga referencia a
infinitésimos ni conceptos relacionados) que pueda probarse en las teorías citadas, puede
demostrarse también en ZFC.

•Introducción a la teoría algebraica de números,  Introducción a la teoría analítica de

números, Introducción a la geometría euclídea.

Estos tres libros están pensados para presentar al lector resultados no triviales con
pruebas completas y rigurosas, pero reduciendo la teoría matemática necesaria a la
mínima expresión, de modo que puedan servir como motivación y como
orientación previa al estudio del álgebra abstracta, el análisis matemático y la
geometría, respectivamente. No requieren ningún conocimiento matemático
previo.

En la Introducción a la teoría algebraica de números se llega, entre otros

temas, hasta el estudio de la factorización ideal en cuerpos cuadráticos, la teoría
de Gauss sobre formas cuadráticas binarias, las leyes de reciprocidad cúbica y
bicuadrática e incluso se demuestran los casos p = 3 y p = 5 del Último Teorema
de Fermat, y se resuelven numerosas ecuaciones diofánticas, pero todo ello sin
usar más que un mínimo de álgebra abstracta. Por ejemplo, el álgebra lineal se
reduce a las propiedades básicas de matrices y determinantes 2 x 2. Los conceptos
"abstractos" necesarios se van introduciendo a partir de ejemplos concretos que
los motivan, incidiendo siempre en su uso "tangible" en cálculos concretos. Para
hacerse una idea más exacta de sus contenidos se puede consultar la lista de
resultados elementales probados en el libro, que se encuentra tras el preámbulo y
que incluye todos los resultados probados que pueden enunciarse sin necesidad de
conceptos más sofisticados que el de congruencia de números enteros, aunque las
demostraciones puedan no ser triviales en absoluto en algunos casos.

En la Introducción a la teoría analítica de números se construyen las funciones

elementales y se calculan numerosos límites, series y productos infinitos,
desarrollos en fracciones continuas, etc., todo ello sin recurrir en ningún momento
al cálculo diferencial o integral. Los teoremas más sofisticados que se emplean no
van más allá del teorema de Bolzano o el teorema de Weierstrass particularizado a
subconjuntos cerrados y acotados en R2, que se usan principalmente para
demostrar criterios de convergencia. La inmensa mayoría de los razonamientos
empleados son meros razonamientos épsilon-delta. Pero no sólo se obtienen
igualdades numéricas o funcionales sobre límites, series y productos infinitos,
sino también algunos resultados teóricos no triviales, como el teorema
fundamental del álgebra, el teorema de Dirichlet sobre primos en progresiones
aritméticas o la trascendencia de e y π. Como en el caso del libro anterior, se
incluye una lista de los (pocos) resultados teóricos usados (y demostrados) en el
libro y los (muchos) resultados de enunciado elemental obtenidos a partir de ellos.

En la Introducción a la geometría euclídea se demuestran los resultados

fundamentales de la geometría euclídea plana evitando una presentación
axiomática (es decir, dando por evidente todo cuanto es intuitivamente evidente,
sin tratar de reducir todos esos hechos igualmente básicos a unos pocos axiomas)
y reduciendo al mínimo el álgebra empleada (ocasionalmente se usan las
propiedades elementales de las matrices y determinantes 2 x 2 y poco más que el
concepto de aplicación lineal de dos variables y de matriz de una aplicación
lineal). El enfoque es fundamentalmente sintético, si bien la geometría analítica se
introduce en un apéndice y se emplea en contextos aislados, bien cuando
simplifica sustancialmente la presentación de algún tema, como a la hora de
probar algunos resultados sobre secciones cónicas, bien cuando es imprescindible,
como al estudiar los números complejos constructibles con regla y compás.
 •Álgebra,  Geometría,  Análisis matemático (9-2-20 Añadidas varias secciones en el
capítulo XIII de [Al])
Versiones revisadas y aumentadas de los libros anteriores con los mismos títulos. Una
diferencia importante es que, mientras los libros originales de Álgebra,
Geometría y Análisis estaban organizados para ser leídos sucesivamente, las versiones
nuevas están organizadas para ser leídas simultáneamente, como tres asignaturas que se
cursen a la vez. Esto permite un desarrollo más natural de las tres materias y enfatiza las
numerosas interdependencias que existen entre ellas. El primer capítulo del libro de
Álgebra, junto con sus dos apéndices, presenta sin tecnicismos la teoría de conjuntos de
Zermelo, que basta para fundamentar el resto de contenidos de los tres libros.

El libro de Álgebra contiene los conceptos y resultados necesarios para un doble

propósito: la fundamentación algebraica de la geometría analítica y la demostración de
que los anillos de enteros algebraicos de los cuerpos numéricos son dominios de
Dedekind, junto con aplicaciones diversas que ilustren el interés y la utilidad de tales
conceptos y resultados.

El libro de Geometría empieza con una introducción axiomática de la geometría

euclídea, para pasar a continuación a la geometría analítica, la geometría proyectiva y
terminar con una introducción a las geometrías no euclídeas. Uno de los propósitos
principales de este libro es analizar rigurosamente los conceptos geométricos que
subyacen en la matemática moderna pero que, a menudo, se dan por sabidos o, más aún,
se eluden a través de definiciones oportunas (por ejemplo, al definir el seno como una
serie de potencias en lugar del clásico "cateto opuesto partido por la hipotenusa", o al
convertir el teorema de Pitágoras en una definición).

El libro de Análisis comienza con una construcción de los números reales, seguido de

otros dos capítulos que contienen todos los resultados topológicos que serán necesarios
después. A continuación viene un bloque de cálculo diferencial de una y varias variables
(incluyendo una introducción a la geometría diferencial) y finalmente un bloque de
cálculo integral hasta la integración en variedades.
•Geometría diferencial,  Topología algebraica (4-11-2018 añadidos los dos últimos
capítulos al libro de Geometría diferencial)
El libro de Geometría diferencial extiende el cálculo diferencial e integral
desarrollados en el libro de Análisis matemático al contexto de las variedades
diferenciales abstractas, al tiempo que se demuestra cómo esta teoría abstracta
generaliza a la teoría clásica de subvariedades regulares de Rn expuesta también en
dicho libro. Como aplicación se presenta el cálculo vectorial clásico y algunas de sus
aplicaciones a la física. Además se presentan los resultados fundamentales sobre
variedades de Riemann (aunque los resultados se demuestran siempre que es posible en
el contexto más general de las variedades semirriemannianas) y se llega al estudio y
clasificación de las variedades de curvatura constante, mostrando que la geometría de
dichas variedades no es sino la geometría euclídea, elíptica e hiperbólica estudiada en el
libro de Geometría, según que la curvatura sea nula, positiva o negativa. Los dos últimos
capítulos contienen una introducción a la topología diferencial que culmina con la
clasificación de las superficies diferenciales compactas.

El libro de Topología algebraica es una versión extendida del libro anterior con el
mismo título. En él se presentan los resultados básicos y numerosas aplicaciones del
concepto de grupo fundamental de un espacio topológico y de diversas teorías de
homología y cohomología. Está dividido en tres partes, una con los contenidos
puramente topológicos, otra con los resultados algebraicos necesarios y una tercera con
la topología algebraica propiamente dicha. En la parte algebraica he incluido la teoría de
funtores derivados y los resultados básicos sobre haces que permiten, en el último
capítulo, comparar las distintas cohomologías definidas sobre un mismo espacio
vectorial.