We study the topological fundamental groups of the locally finite infinite ordered configuration space in the plane and the homotopy quotient of by the canonical action of the infinite permutation group : We prove that and are non-discrete and complete topological groups. A main structural theorem identifies with a canonical locally finite inverse-limit model built from finite pure braid groups, and we construct a complete left-invariant ultrametric compatible with the quotient topology from the loop space of . The direct limit of finite pure braid groups admits a dense embedding into , and we show that is the Raĭkov completion of this subgroup. Moreover, the direct limit of finite braid groups embeds into and is dense in the finitary subgroup .

生成讲解博客的中文版本

生成AI智能校验的中文版本