Representacin de grupo - Wikipedia, la enciclopedia libre [Link]
org/wiki/Representacin_de_grupo
Representacin de grupo
En el estudio de los grupos en lgebra, una representacin de grupo es una "descripcin" de un grupo
como grupo concreto de transformaciones (o grupo de automorfismos) de un cierto objeto matemtico. Ms
formalmente, la "descripcin" significa que hay un homomorfismo del grupo a un cierto grupo de
automorfismos. Una representacin fiel es una en la cual este homomorfismo es inyectivo.
ndice
1 Primeros ejemplos
2 Representacin conjuntista / representacin por permutaciones
3 Representacin lineal
3.1 Ejemplo
3.2 Equivalencia de las representaciones
3.3 Acciones de grupo
3.4 Reducibilidad
3.5 Teora de caracteres
4 Representacin categrica
5 Referencias
Primeros ejemplos
A veces se utiliza realizacin para esta nocin, reservando el trmino representacin para lo qu ms abajo
se llamar representaciones lineales. La teora de la representacin se divide en subteoras dependiendo de
la clase de grupo que es representado. Las divisiones ms importantes son:
Grupos finitos: las representaciones de grupo son una herramienta muy importante en el estudio de grupos
finitos. Tambin aparecen en ciertas aplicaciones de la teora de grupos finitos cristalografa y en geometra.
El caso especial donde la representacin es sobre un cuerpo de caracterstica p y p divide el orden del grupo,
llamada teora de la representacin modular, tiene propiedades muy diversas (vase abajo).
Grupos topolgicos compactos o localmente compactos: muchos de los resultados de la teora de
representacin de grupos finitos son probados haciendo un promedio sobre el grupo. Estas pruebas se
pueden transportar a los grupos infinitos si el promedio es substituido por una integral, lo que solamente
funciona si podemos definir una nocin aceptable de integral. Esto se puede hacer para los grupos
localmente compactos, usando la medida de Haar. La teora que resulta es una parte central del anlisis
armnico. La dualidad de Pontryagin describe la teora para los grupos conmutativos, como transformacin
de Fourier generalizada.
Grupos de Lie: Muchos grupos de Lie importantes son compactos, as que los resultados de la teora
compacta de representacin se aplican a ellos. Otras tcnicas especficas de los grupos de Lie se utilizan
tambin. La mayora de los grupos importantes en la fsica y la qumica son grupos de Lie, y la teora de
representacin es crucial para el uso de la teora de grupos en esos campos. Vea Representaciones de grupos
de Lie o de lgebras de Lie.
Grupos topolgicos no compactos: La clase de grupos no compactos es demasiado amplia para construir
cualquier teora general de representacin, pero se han estudiado casos especiales especficos, a veces
usando tcnicas ad hoc. Los grupos de Lie semisimples tiene una teora profunda, basada en el caso
compacto. Los grupos de Lie solubles no pueden ser clasificados de la misma manera. La teora general para
1 de 5 11/09/2017 21:39
Representacin de grupo - Wikipedia, la enciclopedia libre [Link]
los grupos de Lie se ocupa de los productos semidirectos de los dos tipos, por medio de los resultados
generales llamados teora de Mackey, que es una generalizacin de los mtodos de clasificacin de Wigner.
Dentro de una clase dada de teora de representacin, los resultados se diferencian dependiendo de la clase
de grupo de automorfismos que se busque. Un posible 'blanco' para el homomorfismo de la definicin son
los grupos de permutaciones. Pero los 'blancos' ms importantes son grupos de matrices sobre algunos
cuerpos, o, ms generalmente, grupos de transformaciones lineales inversibles de un espacio vectorial.
El caso ms importante es el cuerpo de los Nmeros complejos (es decir, las representaciones son
homomorfismos a un grupo de matrices complejas o de transformaciones lineales inversibles de un espacio
vectorial complejo). Si el espacio vectorial es finito dimensional, entonces las representaciones son tambin
finito dimensionales. (las representaciones infinito dimensionales son tambin posibles; el espacio vectorial
puede entonces ser un espacio de Hilbert infinito dimensional, por ejemplo.)
Los otros casos importantes son el cuerpo de los nmeros reales, los cuerpos finitos, y los cuerpos de los
nmeros p-dicos. Las representaciones en el caso finito del cuerpo se llaman modulares. Aqu la
caracterstica del cuerpo es absolutamente significativa; muchos teoremas dependen de que el orden del
grupo no divida la caracterstica del cuerpo.
Representacin conjuntista / representacin por permutaciones
Un conjunto X se dice que soporta una representacin conjuntista o representacin por permutacin de un
grupo G si hay una funcin, de G a XX, el conjunto de las funciones de X a X tales que para g1, g2 en G, y
x en X
Esta condicin y los axiomas para un grupo implican que (g) es una biyeccin (permutacin) para todo g
en G. As podemos equivalentemente definir una representacin de permutacin como un homomorfismo de
grupos de G al grupo simtrico SX de X.
Ver accin de grupo.
Una representacin lineal es un caso especial de una representacin conjuntista con estructura adicional.
Representacin lineal
En lgebra abstracta, una representacin de un grupo finito G es un homomorfismo de grupos de G en el
grupo general lineal GL(n, C) de las matrices complejas invertibles n-por-n. El estudio de tales
representaciones se llama teora de representacin.
La teora de representacin es importante porque permite la reduccin de algunos problemas de la teora
de grupos al lgebra lineal, que tiene una teora muy bien entendida. Hay un anlogo de esta teora para
muchas clases importantes de grupos infinitos; vea representaciones de los grupos y de las lgebras de Lie y
teorema de Peter-Weyl para los grupos topolgicos compactos. Una representacin por transformaciones
proyectivas (vase representacin proyectiva) se puede describir como representacin lineal salvo matrices
escalares. Estas representaciones ocurren naturalmente, tambin.
Podramos tambin tener representaciones afines. Por ejemplo, el grupo euclidiano acta de forma afn
sobre el espacio euclidiano.
Ejemplo
2 de 5 11/09/2017 21:39
Representacin de grupo - Wikipedia, la enciclopedia libre [Link]
Considere el nmero complejo u = exp(2i/3) que tiene la propiedad u = 1. El grupo cclico C3 = { 1, u, u
} tiene una representacin dada por:
(las tres matrices son (1), (u) y (u) respectivamente).
Esta representacin se dice fiel, porque es inyectiva.
Equivalencia de las representaciones
Dos representaciones 1 y 2 se dicen equivalentes si las matrices se diferencian solamente por un cambio
de base, es decir si existe A en GL(n, C) tal que para todo el x en G: 1(x) = A2(x)A-1. Por ejemplo, la
representacin de C3 dado por las matrices:
es una representacin equivalente a la mostrada arriba.
Acciones de grupo
Cada matriz cuadrada n-por-n describe una funcin lineal desde un espacio vectorial n-dimensional V a s
mismo (una vez que se ha elegido una base para V). Por lo tanto, cada representacin : G -> GLn define
una accin de grupo en V dada por g.v = ((g))(v) (para g en G, v en V). Se puede de hecho definir una
representacin de un grupo como accin de ese grupo en un cierto espacio vectorial, evitando de tal modo la
necesidad de elegir una base y la restriccin a los espacios vectoriales finito-dimensionales.
Reducibilidad
Si V tiene un subespacio propio no trivial W tal que W est contenido en V y es estable por la
representacin , entonces la representacin se dice reducible. Una representacin reducible se puede
expresar como una suma directa de subrepresentaciones (Teorema de Maschke) (solamente para los grupos
finitos son las representaciones reducibles necesariamente descomponibles!). Si V no tiene ningn tal
subespacio, 6rho; se dice una representacin irreducible.
Para grupos de Lie compactos se tiene el siguiente teorema:
Sea un grupo de Lie compacto:
(a) Cualquier representacin irreducible de es
de dimensin finita y es equivalente a una
representacin unitaria.
(b) Toda representacin de puede
descomponerse como suma directa (posiblemente
infinita) de sub-representaciones irreducibles (de
espacioss vectoriales topolgicas).
3 de 5 11/09/2017 21:39
Representacin de grupo - Wikipedia, la enciclopedia libre [Link]
Teora de caracteres
El carcter de una representacin es la funcin que asigna a cada a la
traza (suma de los elementos diagonales) de la matriz (g). Por ejemplo, el carcter de la representacin
dada arriba se da cerca: (1) = 2, (u) = 1 + u, (u) = 1 + u. Si g y h son miembros de G en igual clase de
conjugacin, entonces (g) = (h) para cualquier carcter; los valores de un carcter por lo tanto tienen que
ser especificados solamente para las diversas clases de conjugacin de G. Ms an, las representaciones
equivalentes tienen los mismos caracteres. Si una representacin es la suma directa de subrepresentaciones,
entonces el carcter correspondiente es la suma de los caracteres de las subrepresentaciones. Los caracteres
de todas las representaciones irreducibles de un grupo finito forman una tabla de caracteres, con las clases
de conjugacin de elementos como las columnas, y caracteres como las filas. Aqu est la tabla de caracteres
de C3:
La tabla de caracteres es siempre cuadrada, y las filas y las columnas son ortogonales con respecto al
producto interior en Cm (vase relacin de ortogonalidad), que permite que se compute las tablas de
caracteres ms fcilmente. La primera fila de la tabla de caracteres siempre consiste en unos, y corresponde
a la representacin trivial (la representacin de 1 dimensin que consiste en las matrices 11 que contienen
la entrada 1). Ciertas propiedades del grupo G se pueden deducir de su tabla de caracteres:
El orden de G viene dado por la suma de ((1)) sobre los caracteres en la tabla.
G es abeliano si y solamente si (1) = 1 para todos los caracteres en la tabla.
G tiene un subgrupo normal no trivial (es decir G no es un grupo simple) si y solamente si (1) = (g)
para algn carcter no trivial en la tabla y un cierto elemento no-identidad g en G.
La tabla de caracteres en general no determina un grupo salvo isomorfismo: por ejemplo, el grupo
cuaterninico Q y el grupo dihedral de 8 elementos (D8) tienen la misma tabla de caracteres.
Representacin categrica
Generalmente, una representacin de un grupo G en una categora C es un funtor de G (como categora de
un objeto) en C.
una representacin conjuntista es una representacin en la categora de conjuntos, es decir una
representacin de permutacin.
una representacin k-lineal (para algn cuerpo k) es una representacin en la categora de los espacios
vectoriales sobre k.
Referencias
Fulton, William; Harris, Joe (1991), Representation theory. A first course. Introduction to
representation theory with emphasis on Lie groups, Graduate Texts in Mathematics, Readings in
4 de 5 11/09/2017 21:39
Representacin de grupo - Wikipedia, la enciclopedia libre [Link]
Mathematics 129, New York: Springer-Verlag, ISBN 978-0-387-97495-8, MR 1153249 ([Link]
/mathscinet-getitem?mr=1153249), ISBN 978-0-387-97527-6
Yurii I. Lyubich. Introduction to the Theory of Banach Representations of Groups. Translated from the
1985 Russian-language edition (Kharkov, Ukraine). Birkhuser Verlag. 1988.
Obtenido de [Link]
Se edit esta pgina por ltima vez el 17 nov 2015 a las 12:09.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.
5 de 5 11/09/2017 21:39
