title: Grupo unitario
text: # Grupo unitario
  
  En matemáticas, el grupo unitario U$_K$(n) de grado n, es el grupo de matrices unitarias (de n x n) cuyas componentes pertenecen al cuerpo $\mathbb {K}$. Estas matrices, con la operación de grupo dada por la multiplicación de matrices. (Usualmente el cuerpo $\mathbb {K}$ se toma como el conjunto de los reales $\mathbb {R}$ o el cuerpo de los números complejos $\mathbb {C}$.)
  El grupo unitario, denotado U$_{K{\displaystyle\mathbb{K}}}$ o U(n, $\mathbb {K}$), es un subgrupo del grupo general lineal GL(n, $\mathbb {K}$)
  
  # Grupo unitario
  ## Ejemplos
  
  En el caso simple n = 1, el grupo U(1) es el círculo unidad en el plano complejo, con su multiplicación. Todos los grupos unitarios complejos contienen copias de este grupo.
  Si el cuerpo $\mathbb {K}$ es $\mathbb {R}$, los números reales, entonces el grupo unitario coincide con el grupo ortogonal O(n, $\mathbb {R}$). Si $\mathbb {K}$ es $\mathbb {C}$, los números complejos, se escribe generalmente U(n) para el grupo unitario de grado n.
  El grupo unitario U(n) es un grupo de Lie real de dimensión n². El álgebra de Lie de U(n) consiste en las matrices anti-simétricas complejas n por n, con el corchete de Lie dado por el conmutador.
  
  # Grupo unitario
  ## Ejemplos
  ### Subgrupos
  
  * El grupo especial unitario SU(n) es un subgrupo de U(n).
  * U(m), con m < n es un subgrupo de U(n).
  
  # Grupo unitario
  ## Generalización
  
  El concepto de grupo unitario puede extenderse a espacios vectoriales de dimensión infinita, como los espacios de Hilbert usados en mecánica cuántica. Dado un operador autoadjunto ${\hat {A}}$, como el que representa una magnitud física puede definirse un grupo de operadores unitarios mediante:
      ${\hat {U}}_{A}(s)={\hbox{exp}}\left(-\mathrm {i} {\hat {A}}s\right)\qquad s\in \mathbb {R}$
  Los dos ejemplos más notorios son el grupo unitario de evolución temporal, generado a partir del operador hamiltoniano y el grupo de rotaciones alrededor de un eje, generado por el momento angular:
      ${\hat {U}}(t)={\hbox{exp}}\left({-\mathrm {i} {\hat {H}}t}/{\hbar }\right)$
      ${\hat {R}}(\theta )={\hbox{exp}}\left(-{\mathrm {i} {\hat {L}}_{eje}}/{\hbar }\right)\qquad \theta \in [0,2\pi )$