Metric topological groups: their metric approximation and metric ultraproducts

摘要

We define a metric ultraproduct of topological groups with left-invariant metric, and show that there is a countable sequence of finite groups with left-invariant metric whose metric ultraproduct contains isometrically as a subgroup every separable topological group with left-invariant metric.