Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
265 kez görüntülendi

A^ - =Ao U dA olduğunu nasıl gösterebilirim

Lisans Matematik kategorisinde (83 puan) tarafından 
tarafından düzenlendi | 265 kez görüntülendi

Her iki yönlü kapsamanın olduğunu göstereceksin. Neresinde takıldın? 

1 cevap

0 beğenilme 0 beğenilmeme
En İyi Cevap

İspat: $x\in\overline{A}$ olsun.

$$x\in\overline{A}\Rightarrow (x\in A^{\circ}\vee x\notin A^{\circ})$$

I. Durum: $x\in A^{\circ}$ olsun. Bu durumda $\overline{A}\subseteq A^{\circ}\cup A^s$ koşulu sağlanır.

II. Durum: $x\notin A^{\circ}$ olsun.

$\left.\begin{array}{rr}  x\in\overline{A}\Rightarrow (\forall U\in\mathcal{U}(x))(U\cap A\neq \emptyset)\\ x\notin A^{\circ}\Rightarrow (\forall U\in\mathcal{U}(x))(U\nsubseteq A)\Rightarrow (\forall U\in\mathcal{U}(x))(U\cap (\setminus A)=\emptyset)\end{array}\right\}\Rightarrow$

$\Rightarrow (\forall U\in\mathcal{U}(x))(U\cap A\neq \emptyset)(U\cap (\setminus A)=\emptyset)$

$\Rightarrow x\in A^s $

yani

$(x\in \overline{A})(x\notin A^{\circ})\Rightarrow x\in A^s$

yani

$$\overline{A}\subseteq A^{\circ}\cup A^s\ldots (1)$$

$x\in A^s\Rightarrow (\forall U\in\mathcal{U}(x))(U\cap A\neq \emptyset)(U\cap (\setminus A)=\emptyset)$

$\hspace{3.3 cm}\Rightarrow (\forall U\in\mathcal{U}(x))(U\cap A\neq \emptyset)$

$\hspace{3.3 cm}\Rightarrow x\in \overline {A}$ 

yani

$$A^s\subseteq \overline{A}\ldots (2)$$

öte yandan

$$A^{\circ} \subseteq A\subseteq \overline{A}\ldots (3)$$ Dolayısıyla

$$(2),(3)\Rightarrow A^{\circ} \cup A^s\subseteq \overline{A}\ldots (4)$$

$(1)$ ve $(4)$ bize isteneni verir.

(11.4k puan) tarafından 
tarafından düzenlendi
20,200 soru
21,728 cevap
73,275 yorum
1,887,916 kullanıcı