Namespaces
Variants
Actions

Difference between revisions of "Bohr compactification"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167801.png" /> of maximal ideals of the algebra of Bohr almost-periodic functions (cf. [[Banach algebra|Banach algebra]]; [[Bohr almost-periodic functions|Bohr almost-periodic functions]]). The Bohr almost-periodic functions form a commutative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167803.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167804.png" /> over the reals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167805.png" />. The algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167806.png" /> is isometrically isomorphic to the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167807.png" /> of all continuous functions on the compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167808.png" />. The real line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b0167809.png" /> is naturally imbedded in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b01678010.png" /> as an everywhere-dense subset (however, this imbedding is not a homeomorphism). The compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b01678011.png" /> has the structure of a connected compact group which is identified with the group of characters of the real line if the latter is considered with the discrete topology. This isomorphism between the algebra of almost-periodic functions and the algebra of all continuous functions on the Bohr compactification makes it possible to simplify the proofs of a number of classical theorems. The concept of a Bohr compactification is also meaningful for the algebras of almost-periodic functions on other groups. In the case of the set of conditionally-periodic functions with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b01678012.png" /> independent fixed periods, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b01678013.png" />-dimensional torus with these periods acts as the Bohr compactification.
+
<!--
 +
b0167801.png
 +
$#A+1 = 14 n = 0
 +
$#C+1 = 14 : ~/encyclopedia/old_files/data/B016/B.0106780 Bohr compactification
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
The space  $  X $
 +
of maximal ideals of the algebra of Bohr almost-periodic functions (cf. [[Banach algebra|Banach algebra]]; [[Bohr almost-periodic functions|Bohr almost-periodic functions]]). The Bohr almost-periodic functions form a commutative $  C  ^ {*} $-
 +
algebra $  A $
 +
over the reals $  \mathbf R $.  
 +
The algebra $  A $
 +
is isometrically isomorphic to the algebra $  C(X) $
 +
of all continuous functions on the compactum $  X $.  
 +
The real line $  \mathbf R $
 +
is naturally imbedded in $  X $
 +
as an everywhere-dense subset (however, this imbedding is not a homeomorphism). The compactum $  X $
 +
has the structure of a connected compact group which is identified with the group of characters of the real line if the latter is considered with the discrete topology. This isomorphism between the algebra of almost-periodic functions and the algebra of all continuous functions on the Bohr compactification makes it possible to simplify the proofs of a number of classical theorems. The concept of a Bohr compactification is also meaningful for the algebras of almost-periodic functions on other groups. In the case of the set of conditionally-periodic functions with $  n $
 +
independent fixed periods, the $  n $-
 +
dimensional torus with these periods acts as the Bohr compactification.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.H. Loomis,  "An introduction to abstract harmonic analysis" , v. Nostrand  (1953)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.H. Loomis,  "An introduction to abstract harmonic analysis" , v. Nostrand  (1953)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
Instead of Bohr compactification the term Bohr compactum is also used.
 
Instead of Bohr compactification the term Bohr compactum is also used.
  
There are several other ways to characterize the Bohr compactification and to prove its existence; see e.g. [[#References|[a1]]]. The most abstract one is the characterization of the Bohr compactification of a topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b01678014.png" /> as the reflection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b016/b016780/b01678015.png" /> in the category of all compact Hausdorff topological groups; its existence is then guaranteed by the adjoint functor theorem. This approach is also used for semi-groups and leads to several other types of compactifications (e.g. the weakly almost-periodic compactifications). See [[#References|[a2]]].
+
There are several other ways to characterize the Bohr compactification and to prove its existence; see e.g. [[#References|[a1]]]. The most abstract one is the characterization of the Bohr compactification of a topological group $  G $
 +
as the reflection of $  G $
 +
in the category of all compact Hausdorff topological groups; its existence is then guaranteed by the adjoint functor theorem. This approach is also used for semi-groups and leads to several other types of compactifications (e.g. the weakly almost-periodic compactifications). See [[#References|[a2]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E.M. Alfsen,  P. Holm,  "A note on compact representations and almost periodicity in topological groups"  ''Math. Scand.'' , '''10'''  (1962)  pp. 127–136</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.F. Berglund,  H.D. Junghenn,  P. Milnes,  "Compact right topological semigroups and generalizations of almost periodicity" , ''Lect. notes in math.'' , '''663''' , Springer  (1978)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E.M. Alfsen,  P. Holm,  "A note on compact representations and almost periodicity in topological groups"  ''Math. Scand.'' , '''10'''  (1962)  pp. 127–136</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.F. Berglund,  H.D. Junghenn,  P. Milnes,  "Compact right topological semigroups and generalizations of almost periodicity" , ''Lect. notes in math.'' , '''663''' , Springer  (1978)</TD></TR></table>

Latest revision as of 10:59, 29 May 2020


The space $ X $ of maximal ideals of the algebra of Bohr almost-periodic functions (cf. Banach algebra; Bohr almost-periodic functions). The Bohr almost-periodic functions form a commutative $ C ^ {*} $- algebra $ A $ over the reals $ \mathbf R $. The algebra $ A $ is isometrically isomorphic to the algebra $ C(X) $ of all continuous functions on the compactum $ X $. The real line $ \mathbf R $ is naturally imbedded in $ X $ as an everywhere-dense subset (however, this imbedding is not a homeomorphism). The compactum $ X $ has the structure of a connected compact group which is identified with the group of characters of the real line if the latter is considered with the discrete topology. This isomorphism between the algebra of almost-periodic functions and the algebra of all continuous functions on the Bohr compactification makes it possible to simplify the proofs of a number of classical theorems. The concept of a Bohr compactification is also meaningful for the algebras of almost-periodic functions on other groups. In the case of the set of conditionally-periodic functions with $ n $ independent fixed periods, the $ n $- dimensional torus with these periods acts as the Bohr compactification.

References

[1] L.H. Loomis, "An introduction to abstract harmonic analysis" , v. Nostrand (1953)

Comments

Instead of Bohr compactification the term Bohr compactum is also used.

There are several other ways to characterize the Bohr compactification and to prove its existence; see e.g. [a1]. The most abstract one is the characterization of the Bohr compactification of a topological group $ G $ as the reflection of $ G $ in the category of all compact Hausdorff topological groups; its existence is then guaranteed by the adjoint functor theorem. This approach is also used for semi-groups and leads to several other types of compactifications (e.g. the weakly almost-periodic compactifications). See [a2].

References

[a1] E.M. Alfsen, P. Holm, "A note on compact representations and almost periodicity in topological groups" Math. Scand. , 10 (1962) pp. 127–136
[a2] J.F. Berglund, H.D. Junghenn, P. Milnes, "Compact right topological semigroups and generalizations of almost periodicity" , Lect. notes in math. , 663 , Springer (1978)
How to Cite This Entry:
Bohr compactification. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bohr_compactification&oldid=46097
This article was adapted from an original article by E.A. Gorin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article