9 votos

Teoría de la representación de $\mathbb{R}$ ?

Estoy aprendiendo un poco sobre teoría de las representaciones (una representación es un homomorfismo $\rho: G \to GL(V)$ para algún espacio vectorial complejo $V$ ) y estoy tratando de entender algunos ejemplos. Me salen las representaciones de los grupos cíclicos finitos y creo que me salen las representaciones de los enteros. Me pregunto sobre las representaciones de un grupo como $\mathbb{R}$ bajo adición. Sé que este grupo es abeliano, por lo que todas las representaciones irreducibles serían $1$ -dimensional. Si esto es demasiado difícil estaría feliz con una referencia.

7voto

anomaly Puntos 8298

En el caso de un grupo topológico infinito, probablemente quieras considerar sólo caracteres continuos. En el caso compacto, se cumple el teorema de Peter-Weyl y la situación es similar a la del caso finito. Si se consideran representaciones arbitrarias de $\mathbb{R}$ a partir de una base de Hamel. En el caso abeliano, los caracteres están más o menos determinados por la dualidad de Pontryagin, suponiendo compacidad local. Para el caso particular de $\mathbb{R}$ se deduce que los caracteres continuos en $\mathbb{R}$ son todos de la forma $\chi(t) = e^{2\pi i \xi t}$ de verdad $\xi$ con la correspondencia inducida por la transformada de Fourier.

0 votos

Ok, y para aclarar, obtienes uno por cada número real $\xi$ ?

0 votos

Bien. Si desentrañas la dualidad Pontryagin, el contenido es que el mapa $\xi \to (t \to e^{2\pi i \xi t})$ es un isomorfismo $\mathbb{R} \to \operatorname{Hom}(\mathbb{R}, S^1)$ donde este último es el espacio de continuo mapas $\mathbb{R} \to S^1$ .

1 votos

Un punto menor, pero si buscas todas las representaciones no deberías restringirte a las que tienen valor absoluto $1$ por lo que sumando la magnitud se obtiene $\chi(t)=e^{zt}$ para cualquier número complejo $z$ .

7voto

Matt Dawdy Puntos 5479

Por diversión, dejemos de lado la suposición de continuidad. $\mathbb{R}$ es un $\mathbb{Q}$ -y por lo tanto (asumiendo la elección) tiene una base, y por lo tanto es una suma directa infinita de copias de $\mathbb{Q}$ . La teoría de la representación de $\mathbb{Q}$ es sorprendentemente complicado: explícitamente, el $1$ -Las representaciones dimensionales vienen dadas por la elección de números complejos distintos de cero $z_n \in \mathbb{C}^{\times}$ tal que

$$z_{nm}^m = z_n$$

para todos $i, j$ y luego tomar

$$\mathbb{Q} \ni \frac{p}{q} \mapsto z_q^p \in \mathbb{C}^{\times}.$$

Los ejemplos obvios se dan tomando $z_n = \exp \frac{2 \pi i \xi}{n}$ para algunos $\xi \in \mathbb{C}$ pero son posibles otros ejemplos.

Además, la teoría de la representación de $\mathbb{Q}$ no es semisimple; por ejemplo,

$$\mathbb{Q} \ni r \mapsto \left[ \begin{array}{cc} 1 & r \\ 0 & 1 \end{array} \right]$$

es un $2$ -que es indecomponible pero no irreducible. No sé cómo clasificarlas. Y entonces $\mathbb{R}$ es una suma directa infinita de copias de $\mathbb{Q}$ además de eso...

0 votos

Ah, ok, así que usted está diciendo que a partir de estas representaciones de $\mathbb{Q}$ se pueden encontrar todas las representaciones de $\mathbb{R}$ ?

0 votos

@John: no, digo que es al menos igual de difícil clasificar las representaciones de $\mathbb{R}$ como las representaciones de $\mathbb{Q}$ pero podría ser aún más difícil. Ya no está claro cómo clasificar las representaciones de $G \times H$ a partir de las representaciones de $G$ y las representaciones de $H$ a menos que, por ejemplo $G, H$ son ambos compactos. Y $\mathbb{R}$ es una suma directa infinita.

0 votos

Hasta ahora lo que tenemos es una descripción de la $1$ -representaciones dimensionales de $\mathbb{R}$ : si $I$ es un conjunto que indexa una base de $\mathbb{R}$ como $\mathbb{Q}$ -espacio vectorial, entonces $1$ -están dadas por números complejos distintos de cero $z_{n, i}, i \in I$ tal que $z_{nm, i}^m = z_{n, i}$ .

5voto

carmichael561 Puntos 444

Para grupos topológicos como $\mathbb{R}$ los objetos útiles de estudio son las representaciones continuas (o los caracteres continuos en el caso de un grupo abeliano).

Resulta que todos los caracteres continuos de $\mathbb{R}$ tienen la forma $\chi(x)=e^{2\pi i\xi x}$ para algunos $\xi\in\mathbb{R}$ . Esto suele demostrarse en los libros que tratan del análisis de Fourier. Véase, por ejemplo, el capítulo 8 de la obra de Folland Análisis real .

1 votos

(por supuesto, también se podría considerar como un grupo algebraico y obtener aún menos representaciones).

0 votos

@TobiasKildetoft: ¿Podría dar más detalles sobre esto?

1 votos

Hmm... qué pasa con el mapa: $x \mapsto \begin{pmatrix} 1 & x \\ 0 & 0 \end{pmatrix}$ . Se trata de una representación indecomponible con carácter $\chi(x)=2$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X