✨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

Cho X là một không gian chuẩn tắc, lấy F là một tập đóng trong X.Cho $f\backslash ,:F\backslash longrightarrow\; R$ liên tục, khi đó có một ánh xạ liên tục $g\backslash ,:X\backslash longrightarrow\; R$ sao cho $g|\_\{F\}=f$.

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à $F\backslash subset\; U$, khi đó tồn tại một ánh xạ liên tục $f\backslash ,:X\backslash longrightarrow[0,1]$, sao cho: $f(x)=0$ trên F và $f(x)=1$ 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 $f(x)=0$ trên A và $f(x)=1$ trên B.

Chứng minh

Vì X là chuẩn tắc, nếu F đóng, U mở và $F\backslash subset\; U$ khi đó có một tập mở V sao cho $F\backslash subset\; V\backslash subset\backslash overline\{V\}\backslash subset\; U$

• Chúng ta xây dựng một họ các tập mở theo cách dưới đây:$U\_\{1\}=U$

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

Lấy $I=\backslash left\{\backslash frac\{m\}\{2^\{n\backslash Big|\; \backslash \; m,n\backslash in\backslash mathbb\; N;0\backslash leq\; m\backslash leq2^\{n\}\backslash right\}$. Chúng ta có họ các tập mở $\backslash big\{U${r}|\ r\in I\big} có tính chất {r\subset U_{s} .

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

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 và $\backslash big\{x|\backslash \; f(x)>a\backslash big\}$ là tập mở.

• Nếu $a\backslash leq1$ khi đó nếu và chỉ nếu có $r\backslash in\; I$ sao cho và $x\backslash in\; U${r} . Do đó {r}|\ r<a\big}=\displaystyle\bigcup{r<b}U{r} là mở
• Nếu khi đó $f(x)>a$ nếu và chỉ nếu có $r\backslash in\; I$ sao cho $r>a$ và $x\backslash notin\; U${r} . Do đó $\backslash big\{x|\backslash \; f(x)>a\backslash big\}=\backslash big\{x\backslash in\; U${r}|\ r>a\big}=\displaystyle\bigcup{r>a}\big(X\setminus U{r}\big)

Bây giờ chúng ta chứng minh rằng $\backslash displaystyle\backslash bigcup${r>a}X\setminus U{r}=\displaystyle\bigcup{r>a}X\setminus\overline{U{r

Ví dụ

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

Ý nghĩa

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

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.