En matemáticas , la compactificación de Bohr de un grupo topológico G es un grupo topológico de Hausdorff compacto H que puede asociarse canónicamente a G. Su importancia radica en la reducción de la teoría de funciones casi periódicas uniformes en G a la teoría de funciones continuas en H. El concepto recibe su nombre de Harald Bohr, quien fue pionero en el estudio de funciones casi periódicas , en la línea real .
Dado un grupo topológico G , la compactificación de Bohr de G es un grupo topológico de Hausdorff compacto Bohr ( G ) y un homomorfismo continuo [1]
que es universal con respecto a los homomorfismos en grupos compactos de Hausdorff; esto significa que si K es otro grupo topológico compacto de Hausdorff y
es un homomorfismo continuo, entonces hay un homomorfismo continuo único
tal que f = Bohr ( f ) ∘ b .
Teorema . La compactificación de Bohr existe [2] [3] y es única salvo isomorfismo.
Denotaremos la compactificación de Bohr de G por Bohr ( G ) y la función canónica por
La correspondencia G ↦ Bohr ( G ) define un funtor covariante en la categoría de grupos topológicos y homomorfismos continuos.
La compactificación de Bohr está íntimamente relacionada con la teoría de representación unitaria de dimensión finita de un grupo topológico. El núcleo de b consiste exactamente en aquellos elementos de G que no pueden separarse de la identidad de G mediante representaciones unitarias de dimensión finita .
La compactificación de Bohr también reduce muchos problemas en la teoría de funciones casi periódicas en grupos topológicos a la de funciones en grupos compactos.
Una función compleja continua acotada f en un grupo topológico G es uniformemente casi periódica si y solo si el conjunto de traslaciones derechas g f donde
es relativamente compacto en la topología uniforme ya que g varía a través de G .
Teorema . Una función compleja continua acotada f en G es uniformemente casi periódica si y solo si existe una función continua f 1 en Bohr ( G ) (que está determinada de manera única) tal que
Los grupos topológicos para los cuales la aplicación de compactificación de Bohr es inyectiva se denominan grupos MAP (o grupos casi periódicos máximos ). Por ejemplo, todos los grupos abelianos, todos los grupos compactos y todos los grupos libres son MAP. [5] En el caso de que G sea un grupo localmente compacto conexo, los grupos MAP están completamente caracterizados: son precisamente productos de grupos compactos con grupos vectoriales de dimensión finita.
=f(g^{-1}\cdot x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2abae7f15ea48616c336fffdb2c0bc958a21ac58)
