## [Teoría o-Minimal](/es/node/63611) Definición Una teoría de estructuras ordenadas en la que todo subconjunto definible de la recta (dominio unidimensional) es una unión finita de puntos e intervalos; la o-minimalidad impone una fuerte suavidad geométrica a los conjuntos definibles. ## Principio Principio Exigir que los subconjuntos definibles del dominio en una variable sean simples —uniones finitas de puntos e intervalos— de modo que los conjuntos definibles de dimensión superior hereden propiedades geométricas y topológicas templadas mediante descomposición en celdas y teoría de la dimensión. ## Demostración Demostración La teoría del campo ordenado de los reales es o-minimal: todo subconjunto definible de la recta real es una unión finita de puntos y de intervalos abiertos o cerrados, lo que proporciona geometría templada y permite herramientas como la descomposición en celdas y la continuidad definible. ## Aplicación incorrecta Aplicación incorrecta Suponer que la o-minimalidad se deduce de cualquier orden débil o de la mera ausencia de combinatoria patológica; muchas estructuras ordenadas no son o-minimales y no se puede inferir o-minimalidad únicamente de NIP o estabilidad. ## Consecuencia Consecuencia La o-minimalidad produce consecuencias potentes: los conjuntos definibles tienen complejidad topológica finita, las dimensiones se comportan de forma predecible, las funciones definibles son por tramos continuas y bajo expansiones suaves diferenciables, y se obtiene un fuerte control geométrico y medible. ## Inversión Inversión El opuesto son teorías ordenadas donde algún subconjunto definible de la recta exhibe comportamiento fractal o altamente oscilatorio, o codifica patrones discretos arbitrarios; dichas teorías carecen de la suavidad o-minimal y admiten conjuntos definibles salvajes. ## Límite Límite Se aplica a expansiones de primer orden de estructuras ordenadas y toma como punto de partida los conjuntos definibles unidimensionales; excluye teorías donde el orden interactúa con una combinatoria más rica o con completitud no definible, y no se generaliza fácilmente a lenguajes no ordenados. ## Tensión semántica Tensión semántica Existe tensión con NIP y la estabilidad: la o-minimalidad es más fuerte y de naturaleza geométrica —toda teoría o-minimal es NIP, pero no al revés; la o-minimalidad exige regularidad ordenada más allá de la mera suavidad combinatoria. ## Síntesis Síntesis La o-minimalidad es la condición de suavidad basada en el orden que exige que los conjuntos definibles unidimensionales sean uniones finitas de puntos e intervalos, lo que se propaga a una geometría multidimensional templada y a una fuerte regularidad de las funciones definibles.