title: Teorema de Peter-Weyl
text: # Teorema de Peter-Weyl
  
  El Teorema de Peter-Weyl es un resultado básico en la teoría del análisis armónico, aplicado a grupos topológicos que son compactos, pero no necesariamente abelianos. Hermann Weyl, junto con su estudiante Peter, lo probó en la configuración de un grupo compacto de Lie, G. El teorema generaliza los hechos significantes sobre la descomposición de la representación regular de un grupo finito, como fue descubierto por F.G. Frobenius e Issai Schur.
  Para establecer el Teorema, primero es necesaria la idea del Espacio de Hilbert sobre $G$, $L^{2}(G)$; esto es razonable puesto que la medida de Haar existe en $G$. Llamando este espacio $H$, el grupo $G$ tiene una representación unitaria en $H$ actuando por la derecha o por la izquierda. Esto implica una representación de $G\times G$ vía
     $\rho (h,k)[f](g)=f(h^{-1}gk).$
  Esta representación se descompone en la suma de ${\bar {r}}\otimes r$ por cada representación finita irreducible de G donde ${\bar {r}}$ es la representación dual. Esto significa que hay una descripción de suma directa de $H$ con la indicación de todas las clases (hasta el isomorfismo) de representaciones unitarias irreducibles de $G$.
  Esto implica inmediatamente la estructura de $H$ para las representaciones diestra o zurda de $G$, que es la suma directa de cada $\rho$; tantas veces como su dimensión (siempre finita).
  
  # Teorema de Peter-Weyl
  ## Estructura de Grupos Topológicos Compactos
  
  Desde el teorema, se puede deducir un Teorema Estructural General significativo. Sea $G$ un grupo topológico compacto, que se asume "Hausdorff". Por cada subespacio $V$ finito, dimensional e invariante en $G$ de $L^{2}(G)$, donde $G$ actúa por la izquierda, se puede considerar la imagen de $G$ en $\mathrm {GL} (V)$. Es cerrado, ya que $G$ es compacto, y el subgrupo del grupo de Lie $\mathrm {GL} (V)$. Después, el Teorema de Cartan (de Élie Cartan) que la imagen de $G$ también es un grupo de Lie.
  Si ahora se toma el límite (en el sentido de la teoría de las categorías) sobre todos los espacios $V$, se obtiene un resultado acerca de $G$ - puesto que $G$ actúa en $L^{2}(G)$. Se puede decir entonces que $G$ es un límite inverso de un grupo Lie. Desde luego, puede no necesariamente ser un grupo de Lie: puede ser, por ejemplo, un grupo profinito.
  * Datos: Q1529941