Support
Bonsoir,
Soit $r\in\mathbb N^{*},\Omega$ un ouvert non vide de $\mathbb R^r$ et $f:\Omega\rightarrow\mathbb K (=\mathbb R\text{ ou }\mathbb C)$.
On note $\ S=\bigcap\limits_{\substack{F\text{ fermé de }\Omega\\f\text{ nulle sur }\Omega\setminus F}} F\quad$ et $\quad S'=\overline{\{f\neq 0\}}$.
Je n'arrive pas à montrer que $S=S'$.
Commençons par l'inclusion $(\supset)$. Soit $x\in S'$ et soit $F$ un fermé de $\Omega$ tel que $\forall x\notin F, f(x)=0$. Si $x\notin F$ alors $f(x)=0$. J'imagine que ça contredit $x\in S'$ mais je ne vois pas pourquoi.
Soit $r\in\mathbb N^{*},\Omega$ un ouvert non vide de $\mathbb R^r$ et $f:\Omega\rightarrow\mathbb K (=\mathbb R\text{ ou }\mathbb C)$.
On note $\ S=\bigcap\limits_{\substack{F\text{ fermé de }\Omega\\f\text{ nulle sur }\Omega\setminus F}} F\quad$ et $\quad S'=\overline{\{f\neq 0\}}$.
Je n'arrive pas à montrer que $S=S'$.
Commençons par l'inclusion $(\supset)$. Soit $x\in S'$ et soit $F$ un fermé de $\Omega$ tel que $\forall x\notin F, f(x)=0$. Si $x\notin F$ alors $f(x)=0$. J'imagine que ça contredit $x\in S'$ mais je ne vois pas pourquoi.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
En l'occurrence tu dois prouver que $\cup_{U \text{ouvert d'annulation de f}} U = \text{Interieur}(\{f=0\}).$
Donc bon on n'est pas dans des raisonnements très compliqués où le point de vue "ouverts" est plus intuitif que le point de vue "fermés".