Über den Begriff der ``Pseudogruppe von Transformationen''. (Q2593978)

Es wird in axiomatischer Form eine Präzisierung des Begriffes der Pseudogruppe von Transformationen gegeben. Eine Menge von Transformationen soll eine Pseudogruppe im weiteren Sinne heißen, wenn vier Axiome erfüllt sind: 1. Das Existenzgebiet jeder Transformation ist offen. 2. Eine auf ein Teilgebiet des ursprünglichen Existenzgebiets bezogene Transformation gehört wieder zu der Menge. 3. Das Zusammensetzungsaxiom. 4. Lokale Umkehrbarkeit. Sind noch zwei weitere Axiome über die Erweiterung einer Transformation erfüllt, so erhält man eine Pseudogruppe im engeren Sinne. Jede Pseudogruppe im engeren Sinne kann mittels einer Äquivalenzrelation in eine abstrakte Gruppe übergeführt werden.