Trong toán học, hình học phức là ngành nghiên cứu về các đa tạp phức, các đa tạp đại số phức và các hàm biến phức. Các phương pháp chủ đạo bao gồm hình học đại số cùng với các khía cạnh hình học của giải tích phức.

Định nghĩa

sửa

Một đa tạp phức là một không gian tô pô   thỏa mãn:

  •  Hausdorff và có một cơ sở đếm được.
  •   đồng phôi địa phương với các tập mở của  với   cố định, tức là với mọi  , tồn tại một lân cận mở   chứa   và một đồng phôi   với  . Một cặp   như vậy được gọi là một bản đồ. Một tập hợp các bản đồ phủ   được gọi là một át-lát của  .
  • Các ánh xạ chuyển bản đồ   là các hàm song chỉnh hình.
  • (Tập hợp tất cả các bản đồ tương thích với cấu trúc phức của   được gọi là át-lát tối đại của  ).

Một hàm số   được gọi là một hàm chỉnh hình (hay giải tích) nếu   là một hàm chỉnh hình với mọi bản đồ  .

Ngoài các cấu trúc trơn như các đa tạp phức, hình học phức cũng xét các cấu trúc kì dị (suy biến) hơn.

Một tập hợp con giải tích của một đa tạp phức M là các không điểm cục bố của một họ các hàm giải tích trên M. Tức là,   là một tập hợp con giải tích nếu:

  • Với mọi  , tồn tại một tập mở   chứa   các hàm chỉnh hình   sao cho  

  được gọi là không gian giải tích nếu nó là một không gian tô pô bất khả quy (với tô pô Zariski).

Ví dụ

sửa

Một đa tạp phức một chiều là một mặt Riemann.

Phương pháp giải tích điều hòa

sửa

Một số kết quả sâu sắc trong hình học phức thu được với sự trợ giúp của giải tích điều hòa.

Định lý triệt tiêu

sửa

Các định lý triệt tiêu thể hiện sự triệt tiêu của một số nhóm đồng điều/đối đồng điều.

Nhiều định lý triệt tiêu trong hình học phức, với cả hai trường hợp đa tạp compact và không compact, được chứng minh bằng phương pháp Bochner.

Tham khảo

sửa