Bổ đề Urysohn

Trong không gian tô pô, bổ đề Urysohn phát biểu rằng trong một không gian topo chuẩn tắc, hai tập con đóng rời nhau có thể tách nhau bằng một hàm số thực. Bổ đề Urysohn thường được sử dụng để xây dựng các hàm liên tục với các tính chất khác nhau trên các không gian chuẩn tắc. Nó được áp dụng rộng rãi vì tất cả các không gian metric và không gian Hausdorff compact đều chuẩn tắc. Bổ đề thường được sử dụng trong chứng minh cho định lý mở rộng Tietze. Bổ đề được đặt tên theo nhà toán học Pavel Samuilovich Urysohn.

Định lý mở rộng Tietze

[sửa | sửa mã nguồn]

Cho X là một không gian chuẩn tắc, lấy F là một tập đóng trong X.Cho liên tục, khi đó có một ánh xạ liên tục sao cho .

Vì vậy trong một không gian định chuẩn, một hàm thực trên một không gian con đóng có thể được mở rộng thành một hàm thực liên tục trên toàn bộ không gian đó.

Nếu X là chuẩn tắc, F là tập đóng, U mở và , khi đó tồn tại một ánh xạ liên tục , sao cho: trên F và trên X\U.

Tương tự lấy A, B là hai tập con đóng rời nhau của X, khi đó có một ánh xạ liên tục f từ X vào [0,1], sao cho trên A và trên B.

Chứng minh

[sửa | sửa mã nguồn]

Vì X là chuẩn tắc, nếu F đóng, mở và khi đó có một tập mở sao cho

  • Chúng ta xây dựng một họ các tập mở theo cách dưới đây:

Quy nạp chúng ta có họ các tập mở sau:

Lấy . Chúng ta có họ các tập mở có tính chất .

  • Chúng ta có thể kiểm tra rằng I trù mật trong [0,1]
  • Xác định:

chúng ta chứng minh rằng f liên tục.Chỉ cần chứng minh rằng các tập có dạng là tập mở.

  • Nếu khi đó nếu và chỉ nếu có sao cho . Do đó là mở
  • Nếu khi đó nếu và chỉ nếu có sao cho . Do đó

Bây giờ chúng ta chứng minh rằng , từ đó suy ra là mở.Thực vậy, nếu thì có một , sao cho . Khi đó nên

Dễ dàng hơn để chứng minh bổ đề Urysohn trong không gian mê tríc, với hàm sau:

Trong một không gian chuẩn tắc thì hai tập con đóng rời nhau có thể được tách bởi một ánh xạ liên tục.

Ứng dụng

[sửa | sửa mã nguồn]

Bổ đề Urysohn dẫn đến việc xây dựng một số tính chất tôpô khác như là tính chất tychonoff và không gian Hausdoff đầy đủ. ví dụ một hệ quả của bổ đề là không gian T1 chuẩn tắc là Hausdoff.

Chú thích

[sửa | sửa mã nguồn]

Tham khảo

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Các loại phô mai ngon nhất chinh phục được cả thế giới
Các loại phô mai ngon nhất chinh phục được cả thế giới
Phô mai là thực phẩm phổ biến ở phương Tây. Ngày nay, phô mai được sử dụng rộng rãi trên thế giới kể cả tại Việt Nam
Hướng dẫn tính năng Thần Hỏa LMHT
Hướng dẫn tính năng Thần Hỏa LMHT
Thần Hỏa là một hệ thống thành tựu theo dõi chỉ số trên từng vị tướng giúp lưu lại, vinh danh và khoe mẽ nhưng khoảnh khắc thú vị trong và ngoài trận đấu
[Review sách] Đứa con đi hoang trở về: Khi tự do chỉ là lối thoát trong tâm tưởng
[Review sách] Đứa con đi hoang trở về: Khi tự do chỉ là lối thoát trong tâm tưởng
Có bao giờ cậu tự hỏi, vì sao con người ta cứ đâm đầu làm một việc, bất chấp những lời cảnh báo, những tấm gương thất bại trước đó?
Những kiểu tóc đẹp chơi tết 2020 là con gái phải thử
Những kiểu tóc đẹp chơi tết 2020 là con gái phải thử
“Cái răng cái tóc là gốc con người”. Tết này bạn hãy “làm mới” mình bằng một trong các kiểu tóc đang biến các cô nàng xinh lung linh hơn nhé.