Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 22A05 ( Structure of general topological groups )

  Expand all        Collapse all Results 1 - 2 of 2

1. CJM Online first

Glöckner, Helge
Completeness of infinite-dimensional Lie groups in their left uniformity
We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. Consider a sequence $G_1\subseteq G_2\subseteq\cdots$ of topological groups~$G_n$ such that~$G_n$ is a subgroup of $G_{n+1}$ and the latter induces the given topology on~$G_n$, for each $n\in\mathbb{N}$. Let $G$ be the direct limit of the sequence in the category of topological groups. We show that $G$ induces the given topology on each~$G_n$ whenever $\bigcup_{n\in \mathbb{N}}V_1V_2\cdots V_n$ is an identity neighbourhood in~$G$ for all identity neighbourhoods $V_n\subseteq G_n$. If, moreover, each $G_n$ is complete, then~$G$ is complete. We also show that the weak direct product $\bigoplus_{j\in J}G_j$ is complete for each family $(G_j)_{j\in J}$ of complete Lie groups~$G_j$. As a consequence, every strict direct limit $G=\bigcup_{n\in \mathbb{N}}G_n$ of finite-dimensional Lie groups is complete, as well as the diffeomorphism group $\operatorname{Diff}_c(M)$ of a paracompact finite-dimensional smooth manifold~$M$ and the test function group $C^k_c(M,H)$, for each $k\in\mathbb{N}_0\cup\{\infty\}$ and complete Lie group~$H$ modelled on a complete locally convex space.

Keywords:infinite-dimensional Lie group, left uniform structure, completeness
Categories:22E65, 22A05, 22E67, 46A13, 46M40, 58D05

2. CJM 2012 (vol 65 pp. 222)

Sauer, N. W.
Distance Sets of Urysohn Metric Spaces
A metric space $\mathrm{M}=(M;\operatorname{d})$ is {\em homogeneous} if for every isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of $\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto $\mathrm{M}$ extending $f$. The space $\mathrm{M}$ is {\em universal} if it isometrically embeds every finite metric space $\mathrm{F}$ with $\operatorname{dist}(\mathrm{F})\subseteq \operatorname{dist}(\mathrm{M})$. (With $\operatorname{dist}(\mathrm{M})$ being the set of distances between points in $\mathrm{M}$.) A metric space $\boldsymbol{U}$ is an {\em Urysohn} metric space if it is homogeneous, universal, separable and complete. (It is not difficult to deduce that an Urysohn metric space $\boldsymbol{U}$ isometrically embeds every separable metric space $\mathrm{M}$ with $\operatorname{dist}(\mathrm{M})\subseteq \operatorname{dist}(\boldsymbol{U})$.) The main results are: (1) A characterization of the sets $\operatorname{dist}(\boldsymbol{U})$ for Urysohn metric spaces $\boldsymbol{U}$. (2) If $R$ is the distance set of an Urysohn metric space and $\mathrm{M}$ and $\mathrm{N}$ are two metric spaces, of any cardinality with distances in $R$, then they amalgamate disjointly to a metric space with distances in $R$. (3) The completion of every homogeneous, universal, separable metric space $\mathrm{M}$ is homogeneous.

Keywords:partitions of metric spaces, Ramsey theory, metric geometry, Urysohn metric space, oscillation stability
Categories:03E02, 22F05, 05C55, 05D10, 22A05, 51F99

© Canadian Mathematical Society, 2018 :