Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Linear und integrabel/Darstellung der Fundamentalgruppe/Fakt

Es sei ${}X$ eine differenzierbare Mannigfaltigkeit und ${}E$ ein differenzierbares Vektorbündel auf ${}X$, das mit einem linearen Zusammenhang versehen sei, der lokal integrabel sei. Es sei ${}x\in X$ ein Punkt mit der Faser ${}E_{x}\cong \mathbb {R} ^{r}$.

Dann definiert der horizontale Fasertransport einen natürlichen Anti-Gruppenhomomorphismus

$\pi _{1}(X,x)\longrightarrow \operatorname {GL} _{}{\left(E_{x}\right)}\cong \operatorname {GL} _{r}\!{\left(\mathbb {R} \right)},\,\gamma \longmapsto (e\mapsto {\tilde {\gamma }}_{e}(1)).$

Einen Beweis erstellen