Diễn Đàn MathScope - Xem bài viết đơn

**nmd2708** · 31-12-2023, 04:48 PM

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.$$

31-12-2023, 04:48 PM	#2
nmd2708 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.$$