Nhát cắt (không gian phân thớ)

Một nhát cắt $s$ của một phân thớ $p:E\to B$. Một nhát cắt $s$ cho phép không gian cơ sở $B$ được đồng nhất với một không gian con $s(B)$ của $E$.

Một trường vectơ trên ${ℝ}^2$. Một nhát cắt của phân thớ tiếp xúc cũng là một trường vectơ.

Trong lĩnh vực toán học tô pô, một nhát cắt của một phân thớ $E$ là một nghịch đảo phải liên tục của hàm chiếu $\pi$. Nói cách khác, nếu $E$ là một phân thớ với không gian cơ sở, $B$:

$\pi :E\to B$

thì một nhát cắt là một ánh xạ liên tục,

$\sigma :B\to E$

sao cho

$\pi (\sigma (x))=x$ với mọi $x\in B$.

Một nhát cắt khái quát hóa khái niệm đồ thị. Đồ thị của hàm $g:B\to Y$ có thể được đồng nhất với một hàm từ $B$ vào tích Descartes $E=B\times Y$:

$\sigma :B\to E,\sigma (x)=(x,g(x))\in E.$

Đặt $\pi :E\to B$ là phép chiếu lên thành phần thứ nhất: $\pi (x,y)=x$. Thế thì, một đồ thị là một hàm $\sigma$ sao cho $\pi (\sigma (x))=x$. Tức là một đồ thị là một nhát cắt của phân thớ tầm thường.

Các nhát cắt của các phân thớ chính và các phân thớ véc-tơ là các công cụ rất quan trọng trong hình học vi phân. Trong cài đặt này, không gian cơ sở $B$ là một đa tạp nhẵn $M$ và $E$ là một phân thớ nhẵn trên $M$ (tức là $E$ là một đa tạp nhẵn và $\pi :E\to M$ là một ánh xạ nhẵn). Người ta thường xét các ánh xạ nhẵn của $E$ trên một tập mở mở $U$, ký hiệu $C^{\mathrm{\infty }}(U,E)$. Trong giải tích hình học, việc xem xét không gian các nhát cắt với bậc khả vi trung gian (ví dụ: các nhát cắt $C^k$), hoặc các nhát cắt thỏa mãn các điều kiện Hölder hoặc các điều kiện của các không gian Sobolev, cũng rất hữu ích.

Nhát cắt địa phương và nhát cắt toàn cục

Các phân thớ không nhất thiết phải có các nhát cắt toàn cục (ví dụ, xét phân thớ trên $S^1$ với thớ $F=ℝ\setminus \{0\}$ thu được bằng cách lấy phân thớ Mobius và loại bỏ nhát cắt 0; phân thớ này không có nhát cắt toàn cục); vì vậy các nhát cắt địa phương tỏ ra khá hữu tích. Một nhát cắt địa phương của một phân thớ là một ánh xạ liên tục $s:U\to E$ với $U$ là một tập mở trong $B$ và $\pi (s(x))=x$ với mọi $x$ trong $U$. Nếu $(U,\phi )$ là một tầm thường hóa địa phương của $E$ thì các nhát cắt địa phương trên $U$ luôn tồn tại. Các nhát cắt địa phương tạo thành một bó trên $B$, được gọi là bó các nhát cắt của $E$.

Xem thêm

• Thành thớ
• Lý thuyết gauge
• Phân thớ chính
• Phân thớ ảnh ngược
• Phân thớ véc-tơ

Tham khảo

• Norman Steenrod, The Topology of Fibre Bundles, Princeton University Press (1951). Bản mẫu:ISBNISBN 0-691-00548-6.
• David Bleecker, Gauge Theory and Variational Principles, Addison-Wesley publishing, Reading, Mass (1981). Bản mẫu:ISBNISBN 0-201-10096-7.
• Lê Ngọc Sơn, Không gian phân thớ và một vài tính chất (2011). Luận văn Đại học Tây Nguyên.