Teorema de construcción que afirma que toda función continua con valores reales definida en un subconjunto cerrado de un espacio topológico normal puede extenderse a una función continua en todo el espacio.

Principio

La normalidad permite separar conjuntos cerrados mediante funciones continuas; combinando separaciones del tipo Urysohn y una aproximación por etapas se obtiene una extensión continua global que coincide en el subconjunto cerrado.

Demostración

En el espacio euclidiano R^n (que es normal), una función continua f sobre un cerrado A puede extenderse a una función continua F en todo R^n usando sucesivamente funciones de Urysohn y una aproximación tipo partición de la unidad para controlar los valores fuera de A.

Aplicación incorrecta

Intentar extender una función continua desde un cerrado en un espacio no normal (por ejemplo, ciertas topologías T1 pero no normales) o asumir que la extensión preservará estructura adicional como diferenciabilidad u holomorphicidad.

Consecuencia

Garantiza flexibilidad para construir funciones continuas globales a partir de especificaciones locales; apoya pruebas que requieren la extensión de funciones test, existencia de particiones continuas y la construcción de funciones 'bump' continuas en espacios normales.

Inversión

La afirmación inversa — que la restricción de una función continua global a un cerrado no encuentra obstáculo — es trivial; la inversión relevante es que sin normalidad tales extensiones pueden no existir, mostrando que la condición es necesaria en general.

Límite

Se aplica a funciones continuas reales sobre subconjuntos cerrados de espacios normales (en particular métricos o Hausdorff paracompactos). No garantiza preservación de suavidad, holomorphicidad ni extensión desde subconjuntos no cerrados sin hipótesis adicionales.

Tensión semántica

A veces se confunde con el lema de Urysohn o con la extensión de Stone–Čech; Urysohn separa dos cerrados disjuntos por funciones continuas acotadas, mientras que Tietze garantiza la extensión de una única función continua; Stone–Čech trata compactificaciones máximas y extensión de funciones continuas acotadas en espacios de Tychonoff.

Síntesis

La extensión de Tietze formaliza cómo la normalidad de un espacio topológico permite promover datos continuos locales definidos en un cerrado a una función continua global, herramienta central en construcciones de topología de espacios.