Không gian Étalé

Trong toán học, không gian étalé là một không gian tôpô dùng để mô tả một bó.

Định nghĩa
(a) Một không gian Étalé trên một không gian tôpô X là một không gian tôpô Y cùng với một toàn ánh liên tục π:Y → X sao cho π là một đồng phôi địa phương. Bộ ba (Y,π,X) cho ta một không gian étalé.

(b) Một nhát cắt của một không gian étalé (Y,π,X) trên một tập mở U, trong X, là một ánh xạ liên tục f:U → Y sao cho . Tập các nhát cắt trên U được ký hiệu là Γ(U,Y).

Ta sẽ kết hợp một tiền bó bất kỳ  trên X một không gian étalé  sao cho bó các nhát cắt của  cho một mô hình khác của  nếu  là một bó (i.e. đẳng cấu với ).

Xét tiền bó  trên X, và đặt  là giới hạn trực tiếp của các tập  theo các ánh xạ thu hẹp  của . Nếu  có một cấu trúc đại số mà được bảo toàn qua giới hạn trực tiếp, thì , được gọi là thớ của  tại x, sẽ có cấu trúc đó.

Có một ánh xạ tự nhiên  được cho bằng cách gán các phần tử trong  với lớp tương đương của nó qua giới hạn trực tiếp. Nếu , thì  được gọi là mầm của s tại x, và s được gọi là một đại diện cho mầm . Đặt  và đặt  là phép chiếu tụ nhiên gửi các điểm trong  tới x. Để  là một không gian étalé, chỉ cần trang bị cho  một tôpô sao cho  là liên tục và là một đồng phôi địa phương. Với mỗi  định nghĩa hàm  bằng cách đặt  với mỗi . Để ý rằng . Đặt  là một cơ sở cho tôpô của . Khi đó, tất cả các hàm  là liên tục. Hơn nữa, dễ dàng kiểm tra rằng  là liên tục và là một đồng phôi địa phương.

Do vậy ta đã kết hợp mỗi tiền bó  trên X một không gian étalé. Trong việc kết hợp một không gian étalé  với một tiền bó , ta cũng đã kết hợp một bó với , gọi là bó các nhát cắt của . Chúng ta gọi bó này là bó được sinh bởi . Có một mối quan hệ giữa tiền bó  và bó các nhát cắt của  mà ta gọi là  từ lúc này trở đi. Chúng ta cũng đã sử dụng một kết quả là có một đồng cấu tiền bó, ký hiệu bởi , nghĩa là  được cho bởi . Trong trường hợp  là một bó, ta có kết quả cơ bản sau.

Định lý. Nếu  là một bó, thì 
là một đẳng cấu bó.

Định lý nói rằng với mỗi bó , ta có thể kết hợp một không gian étalé  mà bó các nhát cắt của nó là bó ban đầu; tức là,  chứa cùng lượng thông tin như .

Một số tác giả định nghĩa bó như là một không gian étalé.

Tính chất tô-pô của không gian étalé 
Do  là một đồng phôi địa phương, không gian étalé là một không gian tô-pô cục bộ Euclid có số chiều bằng số chiều của .

Nhìn chung, một không gian étalé thường là phi-Hausdorff. Nói riêng,  không phải là một ánh xạ phủ bởi thớ  của nó thường là không rời rạc.

Tham khảo

Liên kết ngoài
 

Lý thuyết bó