Generierte Pseudogruppe

Beschreibung

Dies ist einfach das Erzeugerkonzept für Pseudogruppen.

Definition

Sei ${\mathcal{G}}_0$ eine Menge von Homöomorphismen eines topologischen Raumes $X$. Die Pseudogruppe $\mathcal{G}$, generiert durch ${\mathcal{G}}_0$ ist die eindeutige kleinste Pseudogruppe auf $X$, die ${\mathcal{G}}_0$ enthält.

Eigenschaften

Eigenschaft

lit_issa2012construction