Dualidad de Pontryagin

Keywords: Dualidad de Pontryagin, Análisis armónico, Aritmética modular, Conjunto, Estructura discreta, Funtor, Grupo abeliano, Grupos topológicos, Integral

En matemáticas, en particular en el análisis armónico y la teoría de grupos topológicos, la dualidad de Pontryagin explica las propiedades generales de la transformada de Fourier. Pone en un contexto unificado un número de observaciones sobre funciones en la recta real o en grupos abelianos finitos, vg.

Las funciones periódicas convenientemente regulares en la recta real tienen serie de Fourier y estas funciones se pueden recuperar de su serie de Fourier;
Las funciones complejo-valoradas convenientemente regulares en la recta real tienen transformación de Fourier que son también funciones en la recta real y, lo mismo que las funciones periódicas, estas funciones se pueden recuperar de su transformación de Fourier; y

las funciones complejo-valoradas en un grupo abeliano finito tienen transformación de Fourier discreta que son funciones en el grupo dual, que es grupo isomorfo (no canonicamente). Mas aún cualquier función en un grupo finito se puede recuperar de su transformación de Fourier discreta.

La teoría, introducida por Lev Pontryagin y combinada con la medida de Haar introducida por John von Neumann, André Weil y otros depende de la teoría del grupo dual de un grupo abeliano localmente compacto.

Tabla de contenidos

1 La medida de Haar

2 El grupo dual

3 Transformada de Fourier en general

4 Ejemplos

5 El punto de vista abstracto

6 Compactificación de Bohr y casi-periodicidad

7 La teoría no conmutativa

8 Historia

9 Referencias

La medida de Haar

Un grupo topológico es localmente compacto si y solamente si la identidad e del grupo tiene una vecindad compacta. Esto significa que hay un cierto conjunto abierto V que contiene a e que es relativamente compacto en la topología de G. Uno de los hechos más notables sobre un grupo localmente compacto G es que lleva una medida natural esencialmente única, la medida de Haar, que permite medir consistentemente el "tamaño" de subconjuntos suficientemente regulares de G. En este sentido, la medida de Haar es una función de "área" o de "volumen" generalizada definida en subconjuntos de G. Más precisamente, una medida derecha de Haar en un grupo localmente compacto G es una medida contablemente aditiva:

$A \mapsto \mu(A) \quad A \subseteq G \mbox{ un conjunto de Borel}$

definido en los conjuntos de Borel de G que es invariante derecho en el sentido que

$\mu(A x) = \mu(A) \quad \mbox{para } x \in G$

es finita para subconjuntos compactos A y distinta a cero y positiva para los conjuntos abiertos. A excepción de factores de escala positivos, las medidas de Haar son únicas. Observe que es imposible definir una medida invariante derecha contablemente aditiva en todos los subconjuntos ' ' de G si se asume el axioma de elección. Ver conjunto no medible. Observe que uno puede definir semejantemente la medida izquierda de Haar. Las medidas derechas e izquierdas de Haar están relacionadas por la función modular.

La medida de Haar permite definir la noción de Integral para () funciones complejo-valoradas de Borel definidas en el grupo. En particular, uno puede considerar varios L^p espacios asociados a la medida de Haar. Específicamente,

$L^p_\mu(G) = \{f: G \rightarrow \mathbb{C}: \int_G |f(x)|^p d \mu(x) < \infty \}$

Ejemplos de grupos abelianos localmente son:

Rⁿ, para n un número entero positivo, con la adición de vectores como operación del grupo.

Los números reales positivos con la multiplicación como operación. Este grupo se ve claramente es isomorfo a R. De hecho,la función exponencial implementa ese isomorfismo.

Cualquier grupo abeliano finito. Por el teorema de estructura para los grupos abelianos finitos, todos estos grupos son productos de grupos cíclicos.

Los números enteros Z bajo la adición.

El fundamental grupo del círculo, denotado T (i.e. T¹ toro unidimensional). Este es el grupo de los números complejos de módulo 1. T es isomorfo como grupo topológico grupo cociente a R/Z.

El grupo dual

Si G es un grupo localmente compacto abeliano, definimos un carácter de G como un homomorfismo continuo de grupo φ : G -> S¹. El conjunto de todos los caracteres en G es otro grupo abeliano localmente compacto, el grupo dual G^ de G. Con más detalle, se define al grupo dual como sigue: Si G es un grupo localmente compacto abeliano, dos tales caracteres se pueden multiplicar punto a punto para formar un nuevo carácter, y con el carácter trivial x |-> 1 como la identidad y la topología de la convergencia uniforme sobre compactos, el conjunto de todos los caracteres en G es un grupo abeliano localmente compacto, llamado el grupo dual G^ de G. Nota: Aquí S¹ es el grupo de la círcunferencia unitaria, que se puede ver como los números complejos de módulo 1 o el grupo cociente R/Z como se crea conveniente. Esta dualidad, como todas, es una función involutiva, puesto que el grupo dual de un grupo dual es el grupo original. El grupo dual es presentado como el espacio subyacente para una versión abstracta de la transformada de Fourier. En este contexto, las funciones sobre el grupo G (e.g. funciones en L¹(G) o L²(G)) se transforman en las funciones cone dominio en el grupo dual G^. Esto se implementa vía la integral

$\hat f(\phi) = \int_G f(x) \phi(-x)\;dx$

donde la integral utiliza la medida de Haar.

Transformada de Fourier en general

La generalización de la transformada de Fourier más natural viene dada, entonces, por el operador

F:  L²(G) ->  L²(G^)

definido por

(Ff)(φ) = ∫ f(x)φ(x) dx

para cada f en L²(G) y φ en G^. F es un isomorfismo isométrico entre espacios de Hilbert. El f*g de la convolución de dos elementos f, g en L²(G) se puede definir

$(f*g)(t)=\int f(x)g(t-x)\,dx$

(esto es una función en L²(G) y el teorema de la convolución F(f*g) = Ff·Fg que relaciona la transformada de Fourier de la convolución con el producto de los dos transformadas de Fourier permanece válido. En el caso de G = Rⁿ, tenemos G^ = Rⁿ y recuperamos la transformación continua de Fourier ordinaria, en el caso G = S¹, el grupo dual G^ es naturalmente isomorfo al grupo de los números enteros Z y el operador antedicho F se reduce al cómputo de coeficientes de las series de Fourier de funciones periódicas; si G es el grupo cíclico finito Z_n (véase aritmética modular), que coincide con su propio grupo dual, recuperamos la transformación de Fourier discreta.

Ejemplos

Por ejemplo, un carácter en el grupo cíclico infinito de los números enteros Z es determinado por su valor φ(1), puesto que φ(n) = (φ(1))ⁿ da sus valores en el resto de los elementos de Z. Más aun, esta fórmula define un carácter para cualquier elección de φ(1) en S¹ y la topología de la convergencia uniforme sobre compactos (que aparece aquí como convergencia punto a punto) es la topología natural de S¹. por lo tanto el grupo dual de Z se identifica con S¹. ¿Inversamente, un carácter en S¹ es de la forma z |-> zⁿ para n ∈ Z. Puesto que S¹ es compacto, la topología en el grupo dual es la de la convergencia uniforme, que resulta ser la topología discreta. Como consecuencia de esto, el dual de S¹ se identifica con Z. El otro ejemplo de "grupo clásico", el grupo de los números reales R, es su propio dual. Los caracteres en R son de la forma φ_y: x |-> e^ixy. Con estas dualidades, la versión de la transformada de Fourier a ser introducida después coincide con la transformada de Fourier en R, y la forma exponencial de la serie de Fourier en Z.

El punto de vista abstracto

Mas precisamente, la construcción dual del grupo G^ de G es un funtor contravariante (.)^ : LCA -> LCA^op permitiendo que identifiquemos la categoría LCA de grupos topológicos abelianos localmente compactos con su propia categoría opuesta. Tenemos G^^ isomorfo a G, de un modo natural que es comparable al doble dual de los espacios vectoriales finito-dimensionales (un caso especial, para los espacios vectoriales reales y complejos). La dualidad intercambia las subcategorías de grupos discretos y de grupos compactos. Si R es un anillo y G es un R-módulo izquierdo, el grupo dual G^ se convertirá en un R-módulo derecho; de esta manera podemos también ver que los R-módulos izquierdos discretos serán dual de Pontryagin de los R-módulos derechos compactos. El anillo End(G) de endomorfismos en LCA es cambiado por la dualidad en su anillo opuesto (cambia la multiplicación al orden opuesto). Por ejemplo si G es un grupo discreto cíclico infinito, G^ es un grupo del círculo: el primero tiene End(G) = Z por tanto también End(G^) = Z.

Compactificación de Bohr y casi-periodicidad

Un uso hecho de la dualidad de Pontryagin es dar una definición general de una función casi-periódica en un grupo no compacto G en LCA. Para ésto, definimos la compactificación B(G) de Bohr de G como H^, donde H es como grupo G^, pero dandole la topología discreta. Puesto que H -> G^ es continuo y un homomorfismo, el morfismo dual G -> B(G) queda definido, y realiza G como subgrupo de un grupo compacto. La restricción a G de las funciones continuas en B(G) da una clase de funciones casi-periódicas; uno puede imaginarlas como análogas a las restricciones a una copia de R enroscado alrededor de un toro.

La teoría no conmutativa

Tal teoría no puede existir en la misma forma para los grupos no conmututivos G, puesto que en ese caso el objeto dual apropiado G^ de las clases de isomorfismo de representaciones no puede contener solamente representaciones unidimensionales, y no podrá ser un grupo. La generalización que se ha encontrado útil en teoría de las categorías se llama dualidad de Tannaka-Krein; pero esto diverge de la conexión con el análisis armónico, que necesita abordar la cuestión de la medida de Plancherel en G^.

Historia

Los fundamentos de la teoría de grupos abelianos localmente compactos y de su dualidad fueron sentados por Lev Semenovich Pontryagin en 1934. Su tratamiento, se basó en grupos que eran segundo-contable y compactos o discretos. Esto fue mejorado para cubrir a los grupos abelianos localmente compactos en general por E.R. van Kampen en 1935 y André Weil en 1953.

Referencias

Theory of representations Alexander Kirillov
Grupos continuos Lev Pontryagin

Categoría:Teoría de grupos Categoría:Análisis armónico Categoría:Teoremas

Keywords: Dualidad de Pontryagin, Análisis armónico, Aritmética modular, Conjunto, Estructura discreta, Funtor, Grupo abeliano, Grupos topológicos, Integral