✨Đơn đạo

nhỏ| Phần ảo của logarit phức. Cố gắng xác định logarit phức trên C{0} sẽ cho các giá trị khác nhau với các đường dẫn khác nhau. Điều này dẫn đến một nhóm đơn đạo vô hạn và một phủ của C{0} bởi một helicoid (một ví dụ về [[mặt Riemann).]] Trong toán học, đơn đạo là ngành nghiên cứu về cách các đối tượng trong giải tích toán học, tô pô đại số, hình học đại số và hình học vi phân hành xử khi chúng "chạy vòng quanh" một điểm kỳ dị. Như tên của nó, ý nghĩa cơ bản của đơn đạo xuất phát từ "đường chạy vòng quanh một điểm đơn". Nó liên quan chặt chẽ với các ánh xạ phủ và sự phân nhánh của chúng. Một hiện tượng mô tả sự thiếu đơn đạo là việc một số hàm số nhất định không còn là đơn trị khi "chạy vòng quanh" một đường cong bao quanh một điểm kỳ dị. Độ thiếu đơn đạo được đo bởi nhóm đơn đạo: một nhóm các phép biến đổi tác động lên dữ liệu mã hóa những gì xảy ra khi chúng ta "chạy vòng" theo một đường cong.

Định nghĩa

Đặt là một không gian tôpô liên thông địa phương có gốc với gốc và đặt $p:\backslash tilde\{X\}\backslash to\; X$ là một ánh xạ phủ với thớ (rời rạc) $F\; =\; p^\{-1\}(x)$. Đối một với vòng lặp tại , ký hiệu một phép nâng qua ánh xạ phủ, bắt đầu từ một điểm $\backslash tilde\{x\}\backslash in\; F$, bởi $\backslash tilde\{\backslash gamma\}$. Ký hiệu $\backslash tilde\{x\}\backslash cdot\; \backslash tilde\{\backslash gamma\}$ là điểm cuối $\backslash tilde\{\backslash gamma\}(1)$, thường khác với $\backslash tilde\{x\}$. Có những định lý nói rằng việc xây dựng này đưa ra một tác động nhóm được định nghĩa tốt của nhóm cơ bản lên , và rằng nhóm ổn định của $\backslash tilde\{x\}$ là $p\_\{*\}(\backslash pi\_1(\backslash tilde\{X\},\backslash tilde\{x\}))$, nghĩa là, một phần tử cố định một điểm trong khi và chỉ khi nó được biểu thị bằng ảnh của một vòng lặp trong $\backslash tilde\{X\}$ tại điểm $\backslash tilde\{x\}$. Tác động này được gọi là tác động đơn đạo và đồng cấu tương ứng vào nhóm tự đẳng cấu trên đựoc gọi là đơn đạo đại số. Ảnh của đồng cấu này là nhóm đơn đạo. Có một ánh xạ khác có ảnh được gọi là nhóm đơn đạo hình học.

Ví dụ

Những ý tưởng này xuất hiện rõ ràng đầu tiên trong giải tích phức. Trong quá trình thác triển giải tích, một hàm giải tích trong một số tập con mở của } có thể được thác triển trở lại vào , nhưng với các giá trị mới.

Chẳng hạn, đặt

:

thì thác triển giải tích theo đường tròn

: $|z|\; =\; 1$

ngược chiều kim đồng hồ sẽ không cho mà cho

: $F(z)+2\backslash pi\; i$

Trong trường hợp này, nhóm đơn đạo là nhóm xiclic vô hạn và không gian phủ là phủ phổ dụng của mặt phẳng phức bị thủng. Phủ này có thể được hình dung như helicoid thu hẹp về .