Mapas y conexiones
Mapas y conexiones
Esta subsección ofrece vistas de conjunto del corpus matemático: qué ideas dependen de cuáles, qué técnicas se reutilizan y cómo puede recorrerse un tema desde distintos puntos de entrada.
Mapa general actual
La arquitectura pública comienza con una capa metodológica que enseña a leer y demostrar antes de exigir demostraciones cada vez más complejas:
\[ \boxed{ \text{lenguaje matemático} \longrightarrow \text{métodos de demostración} \longrightarrow \text{estructuras y conceptos} \longrightarrow \text{teoremas} \longrightarrow \text{problemas} } \]
El primer capítulo de Cálculo para matemáticos, Leer y escribir matemáticas (MA-BCH-0001), hace explícita esa capa inicial mediante cuantificadores, contraejemplos, doble inclusión, contraposición, contradicción, casos, existencia y unicidad e inducción.
MA-CON-0020 añade ahora la primera capa estructural explícita: Axiomas de cuerpo y consecuencias algebraicas básicas. Esto permite distinguir qué propiedades de la aritmética se adoptan como axiomas y cuáles se deducen.
De la estructura algebraica al análisis
La cadena fundacional y analítica puede leerse ahora así:
\[ \boxed{ \text{axiomas de cuerpo} \longrightarrow \text{orden en }\mathbb R \longrightarrow \text{desigualdades y conjuntos} \longrightarrow \text{funciones} \longrightarrow \text{límites} \longrightarrow \text{continuidad} \longrightarrow \text{completitud} \longrightarrow \text{compacidad} \longrightarrow \text{control global}. } \]
Esta escritura tiene una salvedad editorial importante: la página operacional de orden (MA-CON-0005) y la de completitud (MA-CON-0016) fueron publicadas antes que la reconstrucción axiomática de la estructura de cuerpo. El mapa expresa ahora la dependencia conceptual, no el orden histórico de publicación.
Núcleo conceptual
- Axiomas de cuerpo y consecuencias algebraicas básicas (
MA-CON-0020) - Propiedades del orden en ℝ y manipulación de desigualdades (
MA-CON-0005) - Desigualdades cuadráticas por factorización (
MA-CON-0001) - Intervalos e intersección de conjuntos reales (
MA-CON-0004) - Operaciones con conjuntos reales (
MA-CON-0006) - Funciones reales: dominio, codominio, imagen y preimagen (
MA-CON-0007) - Composición de funciones e identidad (
MA-CON-0008) - Inyectividad, sobreyectividad y biyectividad (
MA-CON-0009) - Funciones inversas (
MA-CON-0010) - Límite de una función en un punto (
MA-CON-0011) - Límites laterales y criterio bilateral (
MA-CON-0012) - Leyes algebraicas de los límites (
MA-CON-0013) - Continuidad de una función en un punto (
MA-CON-0014) - Teorema del sándwich y comparación de límites (
MA-CON-0015) - Supremo, ínfimo y completitud de ℝ (
MA-CON-0016) - Teorema del valor intermedio y teorema de Bolzano (
MA-CON-0017) - Compacidad en ℝ y teorema de Weierstrass (
MA-CON-0018) - Continuidad uniforme y teorema de Heine–Cantor (
MA-CON-0019)
El valor absoluto y los problemas de dominio forman vías laterales que reutilizan el mismo lenguaje de orden, conjuntos y funciones.
De los axiomas a las reglas algebraicas
MA-CON-0020 hace visible una cadena que antes permanecía implícita:
\[ \begin{array}{c} \text{axiomas de suma y producto}\\ \downarrow\\ \text{unicidad de neutros e inversos}\\ \downarrow\\ 0a=0\text{ y reglas de signos}\\ \downarrow\\ \text{cancelación}\\ \downarrow\\ \text{producto nulo y división}\\ \downarrow\\ \text{ecuaciones lineales}. \end{array} \]
Esta capa importa porque muchas manipulaciones posteriores —cancelar factores, dividir por una expresión o factorizar una ecuación— requieren saber exactamente qué hipótesis las autorizan.
El problema Producto nulo y cancelación en un cuerpo (MA-PRB-0006) funciona como primera prueba transversal de esta estructura.
Seis capas del primer bloque de análisis
La ruta desde límites hasta continuidad uniforme dispone de seis capas complementarias:
\[ \begin{array}{rcl} \text{control local} &:& \varepsilon\text{-}\delta,\ \text{límites laterales},\\[1mm] \text{cálculo de límites} &:& \text{álgebra},\ \text{comparación},\ \text{sándwich},\\[1mm] \text{estructura de }\mathbb R &:& \text{supremo},\ \text{ínfimo},\ \text{completitud},\\[1mm] \text{existencia por continuidad} &:& \text{valor intermedio},\ \text{Bolzano},\\[1mm] \text{control global del dominio} &:& \text{compacidad},\ \text{Heine--Borel},\ \text{Weierstrass},\\[1mm] \text{control global de la variación} &:& \text{continuidad uniforme},\ \text{Heine--Cantor}. \end{array} \]
La continuidad y la estructura de los reales dejan así de ser líneas paralelas. La completitud permite construir fronteras y demostrar compacidad en intervalos cerrados; la compacidad permite convertir una familia infinita de controles locales en información finita y extraer de ella una escala uniforme.
Tres consecuencias globales de la continuidad sobre compactos
Sea
\[ f:K\to\mathbb R \]
continua y \(K\) compacto. Los conceptos MA-CON-0018 y MA-CON-0019 producen tres formas distintas de control:
\[ \boxed{ \begin{array}{rcl} K\text{ compacto} &\Longrightarrow& f(K)\text{ compacto},\\[1mm] K\ne\varnothing &\Longrightarrow& f\text{ alcanza máximo y mínimo},\\[1mm] K\text{ compacto} &\Longrightarrow& f\text{ es uniformemente continua}. \end{array} } \]
Para una función continua
\[ f:[a,b]\to\mathbb R, \]
los resultados de valor intermedio, Weierstrass y Heine–Cantor se complementan:
- la imagen no tiene huecos;
- la imagen alcanza sus extremos;
- y para cada \(\varepsilon>0\) existe algún \(\delta>0\) que controla simultáneamente todos los pares de puntos del intervalo.
No se afirma unicidad de ese \(\delta\): normalmente, si uno funciona, también funcionan valores positivos suficientemente pequeños.
Métodos que atraviesan el mapa
La capa Métodos y técnicas permite leer las mismas matemáticas desde las estrategias usadas en las pruebas:
\[ \begin{array}{rcl} \text{igualdad de conjuntos} &\longrightarrow& \text{doble inclusión},\\ P\Rightarrow Q &\longrightarrow& \text{directa o contraposición},\\ \text{imposibilidad} &\longrightarrow& \text{contradicción},\\ \text{universo particionado} &\longrightarrow& \text{casos},\\ \exists !x &\longrightarrow& \text{existencia + unicidad},\\ P(0),P(1),\dots &\longrightarrow& \text{inducción},\\ ac=bc,\ c\neq0 &\longrightarrow& \text{cancelación mediante }c^{-1},\\ ab=0 &\longrightarrow& \text{producto nulo}. \end{array} \]
Los problemas publicados para estas capas incluyen:
- Divisibilidad por 4 y paridad mediante contraposición (
MA-PRB-0003); - Igualdad de conjuntos por doble inclusión (
MA-PRB-0004); - Existencia y unicidad en una ecuación lineal con parámetros (
MA-PRB-0005); - Producto nulo y cancelación en un cuerpo (
MA-PRB-0006).
De esta manera, una técnica puede aprenderse en un capítulo o concepto, localizarse en su índice transversal y comprobarse inmediatamente en problemas completos.
Capa fundacional en reconstrucción
Con MA-CON-0020, el primer tramo de la reconstrucción estructural ya está publicado:
\[ \boxed{ \underbrace{\text{axiomas de cuerpo}}_{\text{publicado: MA-CON-0020}} \longrightarrow \text{axiomas de orden} \longrightarrow \text{cuerpos ordenados} \longrightarrow \text{estructura de }\mathbb Q \longrightarrow \underbrace{\text{completitud de }\mathbb R}_{\text{publicado: MA-CON-0016}}. } \]
La siguiente pieza fundacional debe hacer explícita la relación de orden y su compatibilidad con las operaciones. Después podrá precisarse cómo \(\mathbb Q\) encaja como cuerpo ordenado y por qué esa estructura todavía no posee la completitud característica de \(\mathbb R\).
Estado del recorrido
Con MA-CON-0019 permanece cerrado el bloque inicial Funciones → Análisis. MA-CON-0020 no reabre ese bloque: reconstruye una dependencia algebraica que había quedado implícita en el orden de publicación.
La etapa actual mantiene dos líneas coordinadas:
- fundamentos estructurales: cuerpo → orden → estructura de \(\mathbb Q\) → completitud;
- libro: publicación progresiva de los capítulos ya cerrados de Cálculo para matemáticos.
Una vez cerrada esta reconstrucción fundacional, el siguiente gran bloque conceptual será la derivación.