## [Espacio C\_0](/es/node/62521) Definición 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 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 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 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 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 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 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 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 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.