The fundamental group of \(X\) at \(x_0\) is \[\pi_1(X, x_0) \;:=\; \bigl\{[\gamma] \mid \gamma \text{ is a loop based at } x_0\bigr\}\] equipped with the group operation of concatenation: \[[\gamma] \cdot [\delta] := [\gamma * \delta], \qquad (\gamma * \delta)(s) := \begin{cases} \gamma(2s) & s \in [0,\tfrac{1}{2}] \\ \delta(2s-1) & s \in [\tfrac{1}{2},1] \end{cases}\] The identity element is the class of the constant loop \([c_{x_0}]\), and the inverse of \([\gamma]\) is \([\bar\gamma]\) where \(\bar\gamma(s) := \gamma(1-s)\).
Последние новости
，推荐阅读快连下载安装获取更多信息
A NoSQL database.
SelectWhat's included
ВСУ запустили «Фламинго» вглубь России. В Москве заявили, что это британские ракеты с украинскими шильдиками16:45