El espacio C_0(X) de funciones continuas de valores escalares sobre un espacio localmente compacto y Hausdorff X que se anulan en el infinito, es decir: para todo ε>0 existe un compacto K ⊂ X con |f(x)| < ε para x fuera de K; se equipa típicamente con la norma del supremo cuando X no es compacto.

Principio

Anularse en el infinito identifica funciones aproximables por funciones continuas de soporte compacto y codifica decaimiento: los elementos se hacen arbitrariamente pequeños fuera de grandes compactos, propiedad estable por límites uniformes y relevante para la dualidad con medidas de Radon.

Demostración

En X = R, C_0(R) es el espacio de funciones continuas que tienden a 0 cuando |x| → ∞; las funciones continuas de soporte compacto son densas en C_0(R) respecto de la norma supremo, mostrando aproximación por funciones con soporte literalmente compacto.

Aplicación incorrecta

Confundir anularse en el infinito con tener soporte compacto (difieren: anularse admite colas no nulas que decrecen), o usar C_0(X) cuando el espacio subyacente no es localmente compacto Hausdorff, lo que rompe las declaraciones estándar de dualidad.

Consecuencia

Como espacio de Banach bajo la norma supremo, C_0(X) provee un marco para cálculo funcional y dualidad: su dual continuo puede identificarse con ciertas medidas de Radon cuando X es localmente compacto Hausdorff, permitiendo representaciones medibles de funcionales lineales.

Inversión

Invertir considerándo C_b(X), el espacio de funciones continuas acotadas: la acotación sustituye al decaimiento en el infinito, de modo que los elementos no necesitan anularse y cambian las propiedades de dualidad.

Límite

Definido para espacios localmente compactos Hausdorff; si X es compacto entonces C_0(X) = C(X); dominios no localmente compactos requieren otros espacios y pueden invalidar la densidad y resultados de dualidad de C_0.

Tensión semántica

La tensión está entre anularse en el infinito y el soporte compacto, y entre condiciones de decaimiento y mera acotación; también entre nociones de decaimiento medidas en Lp o en sentido distribucional que cuantifican el decaimiento de otra manera.

Síntesis

C_0(X) es el espacio de Banach de funciones continuas sobre un espacio localmente compacto Hausdorff que se anulan en el infinito, capturando decaimiento uniforme, admitiendo aproximación por funciones de soporte compacto y ofreciendo una descripción dual concreta mediante medidas.