Locally Roelcke precompact Polish groups (Q2076071)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Locally Roelcke precompact Polish groups |
scientific article |
Statements
Locally Roelcke precompact Polish groups (English)
0 references
18 February 2022
0 references
Summary: A Polish group is \textit{locally Roelcke precompact} if there is a neighborhood of the identity element that is totally bounded in the Roelcke (or lower) group uniformity. These form a subclass of the locally bounded groups, while generalizing the Roelcke precompact and locally compact Polish groups. We characterize these groups in terms of their geometric structure as those locally bounded groups whose coarsely bounded sets are all Roelcke precompact, and in terms of their uniform structure as those groups whose completions in the Roelcke uniformity are locally compact. We also assess the conditions under which this locally compact space carries the structure of a semi-topological semigroup.
0 references
Polish groups
0 references
Roelcke uniformity
0 references
coarse geometry
0 references
0 references
0 references