Análisis

Área dedicada al desarrollo riguroso del análisis real y sus extensiones.

Teoría publicada

Límite de una función en un punto
Límites laterales y criterio para el límite bilateral
Leyes algebraicas de los límites
Continuidad de una función en un punto
Teorema del sándwich y comparación de límites
Supremo, ínfimo y completitud de ℝ
Teorema del valor intermedio y teorema de Bolzano
Compacidad en ℝ y teorema de Weierstrass
Continuidad uniforme y teorema de Heine–Cantor

MA-CON-0011 inaugura el contenido público clasificado específicamente en Análisis con la definición épsilon-delta del límite. MA-CON-0012 separa límites laterales, MA-CON-0013 desarrolla las leyes algebraicas, MA-CON-0014 introduce continuidad y MA-CON-0015 incorpora el orden mediante comparación y sándwich. MA-CON-0016 añade la completitud de \(\mathbb R\), MA-CON-0017 obtiene valor intermedio y Bolzano, y MA-CON-0018 introduce compacidad, Heine–Borel y Weierstrass. MA-CON-0019 cierra este primer bloque global distinguiendo continuidad puntual de continuidad uniforme y demostrando Heine–Cantor: sobre un compacto, la continuidad admite una única escala de control válida simultáneamente en todo el dominio.