Dualidad para grupos abelianos localmente compactos (LCA) que asigna a cada grupo LCA G su grupo de caracteres G^ = Hom_cont(G,S^1) con la topología compacto-abierta (o de Pontryagin), y establece un isomorfismo natural G ≅ (G^)^ para todos los grupos LCA, intercambiando convolución y multiplicación puntual de caracteres.

Principio

Los caracteres continuos hacia el grupo círculo S^1 capturan la estructura armónica y dual de un grupo LCA; tomar el grupo de dichos caracteres con la topología adecuada produce una equivalencia contravariante de la categoría de grupos LCA consigo misma.

Demostración

Para los enteros Z (LCA discreto), el dual de Pontryagin es el grupo círculo S^1; para los reales R, el dual es isomorfo a R identificando caracteres con exponentes; los grupos abelianos finitos son autoduales mediante el emparejamiento con raíces de la unidad.

Aplicación incorrecta

Aplicar la dualidad de Pontryagin a grupos no abelianos o no localmente compactos sin modificación, o ignorar la topología requerida en el grupo de caracteres; tales omisiones rompen la dualidad y la identificación con el doble dual.

Consecuencia

Herramienta poderosa para el análisis armónico: las transformadas de Fourier son instancias de la dualidad de Pontryagin, y muchos teoremas estructurales (descomposiciones, Plancherel, teoría de caracteres) se derivan de la dualidad y la identificación del doble dual.

Inversión

Contrastarlo con los duales puramente algebraicos (Hom(G,A) para grupos abelianos con topología discreta): la dualidad de Pontryagin es topológica y solo coincide con el dual algebraico en casos especiales; pasar al dual algebraico descarta continuidad y estructura topológica.

Límite

Requiere hipótesis de local compacticidad y abelianidad y considerar homomorfismos continuos al círculo; la teoría no se extiende literalmente a grupos no abelianos, a grupos no localmente compactos o a entornos no Hausdorff sin modificaciones sustanciales.

Tensión semántica

Entre 'dual algebraico' y 'dual topológico': el Hom algebraico obvia continuidad y topología, mientras que la dualidad de Pontryagin entrelaza el grupo de caracteres con la estructura topológica, produciendo identificaciones más sutiles.

Síntesis

La dualidad de Pontryagin identifica un grupo LCA con el grupo de caracteres continuos a valores en el círculo, aunando rasgos topológicos y algebraicos para producir una categoría autodual contravariante que fundamenta el análisis de Fourier y la descomposición armónica.