##  [Dualidad de Pontryagin](/es/node/61405) 

 Definición

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

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

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

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

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

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

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

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

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.