Topos desde cero
Topos desde cero
Topos desde cero es un libro abierto en construcción cuyo objetivo es preparar, de manera autocontenida y progresiva, el camino hacia la teoría de haces, sitios y topoi de Grothendieck.
El punto de partida es deliberadamente elemental. El libro no presupone que el lector domine ya el lenguaje de la demostración, la teoría de conjuntos, la topología general o la teoría de categorías. En lugar de comenzar por la definición de topos y retroceder cuando aparece una dificultad, construye las herramientas en el orden en que serán necesarias.
Idea central
El recorrido general es:
\[ \boxed{ \text{lógica y demostración} \longrightarrow \text{conjuntos y funciones} \longrightarrow \text{números y estructuras} \longrightarrow \text{topología} \longrightarrow \text{álgebra} \longrightarrow \text{categorías} \longrightarrow \text{prehaces y haces} \longrightarrow \text{sitios y topoi} } \]
La meta no es ofrecer una introducción rápida a la teoría de topoi, sino hacer que las nociones que aparecen al final del trayecto resulten matemáticamente motivadas y técnicamente accesibles.
Principio de autocontención
Una regla de construcción gobierna todo el libro:
ninguna noción, definición o resultado matemático se usa como herramienta antes de haber sido introducido, o antes de haber sido declarado explícitamente como resultado previo.
Esto exige distinguir entre dos cosas que a menudo se mezclan en los textos introductorios:
- el vocabulario semántico empleado para formular ejemplos familiares;
- el conocimiento matemático autorizado para justificar un paso de una demostración.
Podemos usar, por ejemplo, afirmaciones sencillas sobre números para aprender lógica sin asumir todavía toda la estructura de los sistemas numéricos. Cuando una propiedad de esos sistemas deba intervenir realmente en una demostración posterior, será introducida y justificada en su lugar correspondiente.
Método pedagógico
La exposición está diseñada para el estudio autónomo. Las secciones combinan, según corresponda:
- resultados de aprendizaje;
- motivación antes de la formalización;
- definiciones explícitas;
- ejemplos guiados y contraejemplos;
- advertencias sobre errores frecuentes;
- problemas de práctica;
- ejercicios acumulativos;
- soluciones desarrolladas;
- registros de dependencias que indican qué resultados quedan disponibles para las secciones siguientes.
El libro privilegia las transiciones explícitas: cuando un argumento contiene razonamiento nuevo, ese razonamiento debe aparecer en la página y no quedar oculto bajo fórmulas como «es evidente» o «se sigue inmediatamente».
Volumen I — Fundamentos, categorías, haces y sitios
El primer volumen construye el itinerario que conduce desde el razonamiento matemático elemental hasta la teoría de haces y sitios. Entre sus grandes etapas se encuentran:
- proposiciones y razonamiento deductivo;
- cuantificadores y técnicas de demostración;
- conjuntos, relaciones y funciones;
- sistemas numéricos y herramientas de análisis;
- topología general;
- estructuras algebraicas necesarias;
- teoría de categorías;
- prehaces y haces;
- sitios de Grothendieck;
- preparación para la teoría de topoi.
La arquitectura completa del volumen es más extensa que esta lista: estos puntos describen el recorrido conceptual, no un índice abreviado definitivo.
Capítulos en publicación
- Capítulo 1 — Proposiciones y razonamiento deductivo (
MA-BCH-0002).- 1.1 — Proposiciones y valores de verdad: publicada completa.
- 1.2 — Negación, conjunción y disyunción: publicada completa.
- 1.3 — Tablas de verdad y equivalencia lógica: publicada completa.
- 1.4 — Implicación, contrapositiva y recíproca: siguiente sección prevista.
Publicación progresiva
La edición web avanza desde el comienzo del libro y sección por sección. No es necesario esperar a que el volumen completo esté cerrado: cada unidad puede incorporarse cuando haya superado su revisión matemática, editorial y de procedencia.
La versión pública conserva el orden lógico del texto maestro y podrá enlazar conceptos, resultados, métodos y problemas independientes del resto de Matemática Abierta cuando esa separación mejore la reutilización del contenido.
Estado
La migración a Matemática Abierta ya comprende las tres primeras secciones del capítulo 1. La sección 1.1 desarrolla la noción de proposición, la distinción entre verdad y conocimiento, las expresiones abiertas, las letras proposicionales y la diferencia entre contenido y forma lógica. La sección 1.2 introduce negación, conjunción y disyunción, junto con sintaxis, semántica, reglas de formación, subfórmulas, conectiva principal y alcance. La sección 1.3 añade valuaciones, tablas de verdad, equivalencia lógica, leyes fundamentales de equivalencia y la clasificación en tautologías, contradicciones y contingencias.
Esta edición es abierta y progresiva. El contenido textual original se publica bajo GNU Free Documentation License 1.3 o posterior.