Khác biệt giữa bản sửa đổi của “Đồng luân”

<!-- [[Tập tin:Path Homotopy Animation - YouTube.webm|nhỏ|giữa|Video 1: Quá trình biến đổi đồng luân đường.]]
[[Tập tin:Homotopy Animation.webm|nhỏ|giữa|Video 2: Quá trình biến đổi đồng luân đường.]] -->

<!-- [[Tập tin:Null-homotopic Paths.webm|nhỏ|Video 5:Quá trình biến đổi đồng luân nhưng không đồng luân đường.]]

[[Tập tin:Homotopic, but not path homotopic.webm|nhỏ|Video 6: Quá trình biến đổi đồng luân nhưng không đồng luân đường.]] -->

* 1.# Quan hệ đồng luân trên các tập của tất cả các đường từ <math>a</math> sang <math> b</math> là mối quan hệ tương đương.<ref name = "hqvu"/>

*# 2. Nếu không gian <math>X </math> có sự biến dạng co rút lại thành không gian con <math>A </math> thì <math> X</math> là đồng luân với <math> A</math>.<ref name = "hqvu"/>

*# 3. Nếu <math> \alpha</math> ~ <math>\alpha_1 </math> và <math> \beta</math> ~<math>\beta_1 </math> thì <math> \alpha \cdot \beta</math> ~ <math>\alpha_1 \cdot \beta_1 </math>. Thì chúng ta có thể định nghĩa <math>[a]\cdot [b]=[\alpha\cdot \beta] </math>.<ref name = "hqvu"/>

*# 4. Nếu <math>\alpha </math> là đường từ <math>a </math> sang <math> b</math> thì <math>\alpha \cdot \alpha^{-1} </math> là đồng luân chứa vòng tại <math>a </math>.<ref name = "hqvu"/>

*# 5. Đặt <math> \gamma</math> là đường từ <math> x_0</math> sang <math>y_0, \pi_1(X,y_0) </math> là nhóm cơ bản của <math>X</math> tại <math>x_0</math> thì ánh xạ:

{{tham khảo|2}}