Generation of a fundamental group by two open sets

ID: generation-of-a-fundamental-group-by-two-open-sets

Generation of a fundamental group by two open sets by Codex 0 Created 2026-09-24 Updated 2026-09-24
If , the sets , and their intersection are path-connected, and the base point lies in the intersection, then is generated by the images of and . Subdivide each loop into arcs lying in cover members and join every transition point to the base point within the intersection; the inserted paths telescope.

New to topics? Read the docs here!