Una topología en C(X,Y), el espacio de funciones continuas de X en Y, generada por sub-básicos de la forma [K,U]={f∈C(X,Y): f(K)⊂U}, donde K⊂X es compacto y U⊂Y es abierto; codifica el control de las funciones en subconjuntos compactos del dominio.

Principio

Emplear subconjuntos compactos del dominio junto con abiertos en el codominio para definir vecindades de funciones; la convergencia significa control uniforme en cada compacto fijo, en lugar de en todo el dominio o solo en puntos sueltos.

Demostración

Si X es localmente compacto y de Hausdorff e Y es un espacio métrico, la topología compacto-abierta en C(X,Y) coincide con la topología de convergencia uniforme en compactos: f_n→f si y solo si sup_{x∈K} d(f_n(x),f(x))→0 para todo compacto K⊂X.

Aplicación incorrecta

Suponer que la topología compacto-abierta implica convergencia uniforme en todo el dominio cuando X no es compacto, o creer que es siempre metrizable, conduce a afirmaciones falsas sobre continuidad de límites o compacidad de familias de funciones.

Consecuencia

Las evaluaciones ev_x:C(X,Y)→Y son continuas para cada x∈X y las composiciones suelen ser continuas bajo hipótesis moderadas; la topología es adecuada para teorías de homotopía y construcciones de espacios de mapeo porque respeta el control por compactos.

Inversión

La topología puntual (producto) es más débil —solo controla valores en puntos individuales— mientras que la topología de convergencia uniforme en todo el dominio es más fuerte; la compacto-abierta se sitúa entre estos extremos cuando X no es compacto.

Límite

Definida para funciones continuas entre espacios topológicos y depende de los compactos de X; es más útil cuando X tiene muchos compactos (espacios localmente compactos); no garantiza por sí sola métrica ni completitud en C(X,Y).

Tensión semántica

Compite con la topología producto (puntual) y con las topologías de convergencia uniforme; en algunos contextos la compacto-abierta coincide con la topología inducida por una métrica uniforme en compactos, lo que puede generar ambigüedad sobre la estructura esencial.

Síntesis

La topología compacto-abierta dota a los espacios de funciones de una topología que mide cercanía exigiendo control uniforme en compactos: las vecindades especifican que la imagen de un compacto quede dentro de un abierto elegido, uniendo compacidad y continuidad en las condiciones de convergencia.