Hyperfläche/Paralleltransport/Holonomiegruppe/Definition
Holonomiegruppe
Es sei offen, eine stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei. Zu einem Punkt nennt man die Untergruppe , die aus allen durch stückweise differenzierbaren geschlossenen Wegen auf von nach induzierten Paralleltransporten
besteht, die Holonomiegruppe zu .