|
|
|
Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé ! * Quy định về việc viết bài trong diễn đàn MathScope * Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây |
| Ðiều Chỉnh | Xếp Bài |
31-12-2023, 04:48 PM | #2 |
Super Moderator Tham gia ngày: Oct 2018 Bài gởi: 11 Thanks: 2 Thanked 0 Times in 0 Posts | Lâu lắm mới quay lại diễn đàn thầy ạ. Chứng minh: Nhắc lại rằng với mỗi $a\in [0,1]$, $f_a$ là hàm liên tục thuộc $S$ thỏa mãn $f_a(a)\ne 0$. Do $f$ liên tục nên $$U_a:=\{x\in [0,1]| f_a(x)\ne 0\}$$ khác rỗng (chứa $a$) và mở trong $[0,1]$. Do đó ta có $\displaystyle \cup_{a\in [0,1]}U_a=[0,1]$. Giờ ta sử dụng tính compact của đoạn $[0,1]$, từ phủ mở trên ta có một phủ mở hữu hạn $$[0,1]=\bigcup_{1\le i\le n}U_{a_i}$$ với $a_i\in [0,1]$, $1\le i\le n$. Từ đó ta xét $$f=f_{a_1}^2+f_{a_2}^2+\ldots+f_{a_n}^2.$$ Do $f_{a_i}\in S$ nên $f_{a_i}^2\in S$ với mọi $1\le i\le n$. Từ đó $f\in S$ và $f$ là hàm cần tìm vì $f(x)\ge 0$ với mọi $x\in [0,1]$ và $$\{x\in [0,1]:f(x)=0\}=\{x\in [0,1]:f_{a_i}(x)=0 \forall 1\le i\le n\}=\bigcap_{1\le i\le n}U_{a_i}^c=\varnothing.$$ |
Bookmarks |
|
|