Khác biệt giữa bản sửa đổi của “Đồng luân”
Nội dung được xóa Nội dung được thêm vào
Dòng 28:
* Đặt <math>\alpha</math> và <math>\beta</math> là hai đường từ <math>a</math> sang <math>b</math> trong <math>X</math>. Một phép '''đồng luân''' từ <math>\alpha</math> và <math>\beta</math> là họ các ánh xạ: <math>F_t: X\rarr X, t\in [0,1]</math>, như vậy ánh xạ <math>(t,s)\rarr F_t(s)</math> là liên tục, <math>F_0=\alpha, F_1=\beta</math>, và với mọi điểm <math>t</math> đường <math>F_t</math> đi từ <math>a \rarr b</math>.<ref name = "hqvu"/>
* Nếu có một phép đồng luân từ <math>\alpha \rarr \beta</math> chúng ta nó rằng <math>\alpha</math> '''đồng luân với''' <math>\beta</math>, thường kí hiệu là <math>\alpha</math> ~ <math>\beta</math> .<ref name = "hqvu"/>
* Một vòng hay một đường đi đóng tại <math>a \in X </math> là một đường mà điểm đầu và
* Một không gian được gọi là [[đơn liên]] nếu nó [[liên thông đường]] và bất kì vòng là đồng phôi với một [[vòng bất biến]].<ref name = "hqvu"/>
* '''Ví Dụ:'''
<math> </math>
Trong không gian định chuẩn hai đường <math>\alpha, \beta </math> cùng điểm đầu và cùng điểm cuối là đồng luân. Với đồng luân <math>(1-t)\alpha+t\beta </math>.
[[File:Path Homotopy Animation - YouTube.webm|thumb|center|Video 1: Quá trình biến đổi đồng luân đường.]] [[File:Homotopy Animation.webm|thumb|center|Video 2: Quá trình biến đổi đồng luân đường.]]
[[File:Null-homotopic Paths.webm|thumb|Video 5:Quá trình biến đổi đồng luân nhưng không đồng luân đường.]]
| |||