Grupo ortogonal


Grupo ortogonal

En matemática, el grupo ortogonal de grado n sobre un cuerpo F (escrito como O(n, F)) es el grupo de matrices ortogonales n por n con las entradas en F, con la operación de grupo dada por la multiplicación de matrices. Éste es un subgrupo del grupo general lineal GL(n, F).

Cada matriz ortogonal tiene determinante 1 o -1. Las matrices n por n ortogonales con determinante 1 forman un subgrupo normal de O(n, F) conocido como el grupo ortogonal especial SO(n, F). Si la característica de F es 2, entonces O(n, F) y SO(n, F) coinciden; si no el índice de SO(n, F) en O(n, F) es 2.

O(n, F) y SO(n, F) son grupos algebraicos, porque la condición que una matriz sea ortogonal, es decir que su propia transpuesta sea su inversa, se puede expresar como un conjunto de ecuaciones polinómicas en las entradas de la matriz.

Contenido

Los grupos O(n) y SO(n) reales

Sobre el cuerpo \scriptstyle \R de los números reales, el grupo ortogonal \scriptstyle \mbox{O}(n,\R) y el grupo ortogonal especial \scriptstyle \mbox{SO}(n,\R)\ \subset\ \mbox{O}(n,\R) a menudo es denotado simplemente por \scriptstyle \mbox{O}(n) y \scriptstyle \mbox{SO}(n) si no hay confusión posible. Forman grupos de Lie reales compactos de dimensión n (n -1)/2. O(n, R) tiene dos componentes conexas, con SO(n, R) la componente conexa que contiene la matriz identidad.

Los grupos ortogonales especiales reales y ortogonales reales tienen interpretaciones geométricas simples. O(n, R) es isomorfo al grupo de isometrías de Rn que dejan el origen fijo. SO(n, R) es isomorfo al grupo de rotaciones de Rn que deja el origen fijo.

SO(2, R) es isomorfo (como grupo de Lie) al círculo S¹, consistiendo en todos los números complejos de valor absoluto 1, con la multiplicación de números complejos como operación de grupo. Este isomorfismo envía el número complejo exp(φi) = cos(φ) + isin(φ) a la matriz ortogonal:

\begin{bmatrix}\cos(\phi)&-\sin(\phi)\\
\sin(\phi)&\cos(\phi)\end{bmatrix} \quad \mapsto \quad e^{i\phi}

El grupo SO(3, R), entendido como el conjunto de rotaciones del espacio de 3 dimensiones, es de gran importancia en las ciencias y la ingeniería. Para una descripción detallada, véase grupo de rotación.

En términos de topología algebraica, para n > 2 el grupo fundamental de SO(n, R') es cíclico de orden 2, y el grupo espinorial Spin(n) es su cubrimiento universal. Para n = 2 el grupo fundamental es cíclico infinito y el cubrimiento universal corresponde a la recta real.

El álgebra de Lie asociada a los grupos de Lie O(n, R) y SO(n, R) consiste en las matrices anti-simétricas reales n por n, con el corchete de Lie dado por el conmutador. Este álgebra de Lie es denotada a menudo por el o(n, R) o por el so(n, R).

Propiedades

  • Los [grupos de Lie] \mbox{SO}(n,\R) y \mbox{O}(n,\R) tienen dimensión n(n − 1) / 2.
  • El grupo \mbox{O}(n)\, no es conexo.
  • El grupo \mbox{SO}(2)\, es conexo, aunque no es simplemente conexo. Para n > 2 \mbox{SO}(n)\, sí es simplemente conexo.

Los grupos O(n,C) y SO(n,C) complejos

Sobre el cuerpo C de los números complejos, O(n, C) y SO(n, C) son grupos de Lie complejos de dimensión n (n -1)/2 sobre C (que significa que la dimensión sobre R es dos veces ésa). O(n, C) tiene dos componentes conexas, y SO(n, C) es la componente conexa que contiene la matriz identidad. Para n ≥ 2 estos grupos son no compactos.

Exactamente como en el caso real SO(n, C) no es simplemente conexo. Para n > 2 el grupo fundamental de SO(n, C) es cíclico de orden 2 mientras que el grupo fundamental de SO(2, C) es cíclico infinito.

El álgebra de Lie compleja asociada a O(n, C) y SO(n, C) consiste en las matrices anti-simétricas complejas n por n, con el corchete de Lie dado por el conmutador.

Asuntos relacionados

  • grupo de rotación, SO(3, R)
  • grupo ortogonal generalizado
  • grupo unitario
  • grupo simpléctico

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Grupo ortogonal — En matemáticas, el grupo ortogonal de grado n sobre un cuerpo F (escrito como O(n, F)) es el grupo de matrices ortogonales n por n con las entrad …   Enciclopedia Universal

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo de Lie — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Grupo especial ortogonal — El grupo especial ortogonal (o grupo ortonormal especial), abreviado usualmente , es un grupo de Lie que puede ser representado como un subgrupo del grupo ortogonal . El grupo real SO(n) se puede identificar con el grupo de rotaciones del espacio …   Wikipedia Español

  • Grupo puntual — La flor Bauhinia blakeana representada en la bandera de Hong Kong tiene simetría C5; la estrella interior de cada pétalo tiene simetría D5. En geometría y cristalografía, un grupo puntual es un grupo de simetrías geométricas (grupo de isometría)… …   Wikipedia Español

  • Grupo espinorial — En matemáticas el grupo espinorial Spin(n) es un doble cubrimiento particular del grupo ortogonal especial SO(n, R). Es decir, existe una secuencia exacta corta de grupos de Lie: Para n > 2, Spin(n) es conexo así que coincide simplemente con… …   Wikipedia Español

  • Grupo espinorial — En matemáticas el grupo espinorial Spin(n) es un doble cubrimiento particular del grupo ortogonal especial SO(n, R). Es decir, existe una secuencia exacta corta de grupos de Lie Para n > 2, Spin(n) es conexo así que coincide simplemente con el …   Enciclopedia Universal

  • Grupo diedral — Este copo de nieve tiene la simetría diedral de un hexágono regular. En matemáticas, un grupo diedral es el grupo de simetría de un polígono regular, incluyendo tanto rotaciones y reflexiones.[1] …   Wikipedia Español

  • Grupo cociente — En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que colapsa el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente …   Wikipedia Español

  • Grupo lineal general — En matemáticas, el grupo lineal general (GL) de un espacio vectorial , denotdo como , es el grupo formado por todos los isomorfismos de ese espacio. Cuando el espacio vectorial es siendo un cuerpo F (tal como o …   Wikipedia Español