Definition 4 (Definition: Fundamental Group) Let \(X\) be a topological space and \(x_0 \in X\) a basepoint. A loop based at \(x_0\) is a continuous map \(\gamma: [0,1] \to X\) with \(\gamma(0) = \gamma(1) = x_0\). Two loops \(\gamma, \delta\) are homotopic relative to \(x_0\) (written \(\gamma \simeq \delta\)) if there exists a continuous map \(H: [0,1] \times [0,1] \to X\) such that \[H(s,0) = \gamma(s), \quad H(s,1) = \delta(s), \quad H(0,t) = H(1,t) = x_0\] for all \(s,t \in [0,1]\). This is an equivalence relation; denote the equivalence class of \(\gamma\) by \([\gamma]\).
Гражданин Румынии получил 15 лет колонии за снятое в Сочи видеоВ Краснодаре осудили гражданина Румынии за шпионаж，详情可参考PDF资料
，更多细节参见体育直播
Фото: Global Look Press
В США объяснили провал «Леопардов» на Украине02:03，更多细节参见电影