Un espacio vectorial topológico localmente convexo con la propiedad de que las aplicaciones lineales continuas desde él hacia cualquier espacio de Banach se factorizan de modo análogo a los operadores de clase traza: los conjuntos acotados se envían a conjuntos relativamente compactos mediante factorizaciones aproximadas de rango finito y sumabilidad, produciendo potentes propiedades de compacidad y regularidad en productos tensoriales.

Principio

La nuclearidad codifica una condición de sumabilidad en las aproximaciones de la identidad dominadas por seminormas, de modo que ideales de operadores análogos a la clase traza gobiernan los mapeos desde el espacio; equivalente es que ciertos mapas canónicos entre productos tensoriales completados coinciden.

Demostración

El espacio de Schwartz S(R^n) de funciones suavemente decrecientes es nuclear: las aplicaciones lineales continuas desde S(R^n) a espacios de Banach pueden aproximarse por mapas de rango finito con valores singulares que decrecen rápidamente, y muchos teoremas de kernels (teorema del kernel de Schwartz) dependen de la nuclearidad.

Aplicación incorrecta

Suponer la nuclearidad para cualquier espacio de Fréchet o confundir operadores nucleares (operadores concretos) con la propiedad global de un espacio sin verificar las condiciones de sumabilidad/ aproximación requeridas.

Consecuencia

Excelente comportamiento respecto a mapeos y dualidad: las topologías de producto tensorial (proyectiva e inyectiva) coinciden en muchos casos, los kernels representan formas bilineales continuas, los espacios de distribuciones admiten teoremas de kernel y las propiedades de compacidad facilitan manipulaciones funcionales.

Inversión

Los espacios localmente convexos no nucleares —la mayoría de los espacios de Banach de dimensión infinita o muchos L^p para 1≤p<∞— no poseen la sumabilidad que fuerza la aproximación por operadores tipo traza y por tanto carecen de muchas propiedades de compacidad y representación por kernels.

Límite

La nuclearidad es una condición topológica dependiente de la topología localmente convexa elegida; excluye la mayoría de los espacios de Banach no nucleares y debe verificarse mediante la construcción de secuencias de aproximación adecuadas o comprobando identificaciones de productos tensoriales.

Tensión semántica

El adjetivo 'nuclear' puede aludir tanto a operadores nucleares (operadores con representaciones de valores singulares sumables) como a espacios nucleares (propiedad topológica global); confundir ambos conceptos mezcla el comportamiento de operadores concretos con cualidades estructurales del espacio.

Síntesis

Un espacio nuclear es un espacio localmente convexo cuya topología impone aproximaciones de rango finito sumables de los mapeos salientes, produciendo comportamientos similares a la compacidad y identidades regulares de productos tensoriales que sustentan numerosos teoremas de kernels y de dualidad.