Un teorema de estructura en teoría de representaciones de grupos localmente compactos que caracteriza las representaciones unitarias inducidas desde un subgrupo cerrado en términos de sistemas de imprimitividad (medidas de proyección) sobre el espacio homogéneo y establece una equivalencia entre ciertas categorías de representaciones; relaciona las representaciones inducidas con representaciones covariantes de sistemas dinámicos C* asociados al espacio homogéneo.

Principio

La inducción de representaciones unitarias puede codificarse por una medida de proyección compatible (un sistema de imprimitividad) sobre G/H; la idea organizadora es que los G-espacios transitivos y sus medidas de proyección clasifican las representaciones unitarias inducidas hasta equivalencia.

Demostración

Para G localmente compacto y H cerrado, la representación inducida desde una representación unitaria σ de H actúa por traslaciones izquierdas sobre secciones de un fibrado de Hilbert sobre G/H; el teorema identifica esta representación inducida con una representación de G junto con una medida de proyección sobre G/H que satisface relaciones de covarianza, por ejemplo, la representación regular en L^2(G/H) procede de la representación trivial de H.

Aplicación incorrecta

Aplicar el teorema fuera de sus hipótesis (grupos no localmente compactos, representaciones no unitarias, o descuidar la estructura medible y la función modular) o tratar la inducción algebraica sin abordar los aspectos analíticos (medidas, integrabilidad).

Consecuencia

Proporciona una herramienta de clasificación poderosa: las representaciones unitarias inducidas se describen por datos geométricos en espacios homogéneos, lo que facilita la descomposición, las equivalencias de categorías basadas en imprimitividad y las conexiones con álgebras cruzadas C* y la máquina de Mackey en teoría ergódica y análisis armónico no conmutativo.

Inversión

La ausencia de un sistema de imprimitividad que satisfaga la covarianza impide realizar una representación como inducida desde un subgrupo; equivalentemente, no toda representación unitaria es inducida desde un subgrupo propio—la inducción es una construcción restringida.

Límite

Requiere grupos localmente compactos, subgrupos cerrados, representaciones unitarias en espacios de Hilbert y estructuras medibles/projectivas; no se aplica directamente a la inducción puramente algebraica, a representaciones de Banach no unitarias ni a grupos sin una medida de Haar razonable.

Tensión semántica

Se relaciona con la reciprocidad de Frobenius y con la teoría de representaciones inducidas en contextos puramente algebraicos; la tensión es entre la inducción analítica (medible, unitaria) capturada por la imprimitividad y la inducción algebraica donde falta la covarianza medida-teórica.

Síntesis

El teorema de imprimitividad de Mackey afirma que las representaciones unitarias inducidas desde un subgrupo cerrado son exactamente aquellas que admiten una medida de proyección compatible sobre el espacio homogéneo; empaqueta la inducción como datos geométricos en G/H y ofrece equivalencias categóricas útiles en descomposición y teoría de productos cruzados.