Thớ (toán học)

Bản mẫu:Không nguồn Trong Toán học, thuật ngữ thớ được hiểu theo một trong hai nghĩa tuỳ theo nội dung đang nói đến:

1. Trong Lý thuyết tập hợp, thớ của phần tử y trong tập Y dưới ánh xạ $f:X\to Y$ là nghịch ảnh của đơn điểm $\{y\}$ dưới f.
2. Trong Hình học đại số, thuật ngữ thớ của một cấu xạ của các lược đồ phải được định nghĩa cẩn thận, bởi không phải mọi điểm đều đóng.

Các định nghĩa

Thớ trong lý thuật tập hợp

Đặt Bản mẫu:Math là ánh xạ. Thớ của phần tử $y\in Y,$ thường được ký hiệu bởi $f^{-1}(y),$ được định nghĩa là $$f^{-1}(y):=\{x\in X\mid f(x)=y\}.$$ Nghĩa là, thớ của phần tử Bản mẫu:Mvar dưới f là tập của các phần tử trong các miền của f được ánh xạ tới Bản mẫu:Mvar.

Nghịch ảnh hoặc tạo ảnh $f^{-1}(A)$ tổng quát hoá khái niệm thớ cho các tập con $A\subseteq Y$ của đối miền. Ký hiệu $f^{-1}(y)$ vẫn được dùng khi nói đến thớ, bởi thớ của một phần tử Bản mẫu:Mvar là tạo ảnh của đơn điểm $\{y\}$, như $f^{-1}(\{y\})$. Nghĩa là, thớ có thể được coi như một hàm từ đối miền đến tập luỹ thừa của miền: $f^{-1}:Y\to 𝒫(X),$ trong khi tạo ảnh tổng quá hoá thành hàm giữa hai tập luỹ thừa: $f^{-1}:𝒫(Y)\to 𝒫(X).$

Thớ trong hình học đại số

Trong hình học đại số, nếu Bản mẫu:Math là cấu xạ lược đồ, thớ của điểm p của Y là tích thớ của các lược đồ

$X{\times }_Y\mathrm{Spec}k(p)$

với k(p) là trường thặng dư tại Bản mẫu:Mvar.