Değme Noktası ve Bazlara Dair

0 beğenilme 0 beğenilmeme
17 kez görüntülendi

Tanım 1: $(X,\tau)$ topolojiik uzay ve $A\subseteq X$ olmak üzere

$$\overline{A}:=\cap\{K|(A\subseteq K)(K\in \mathcal{C}(X))\}.$$

Not: $\mathcal{C}(X):=\{K|(K\subseteq X)(K, \ \tau\text{-kapalı})\}$

Tanım 2: $(X,\tau)$ topolojiik uzay, $A\subseteq X$ ve $x\in X$ olmak üzere

$$x, A\text{'nın değme noktası}:\Leftrightarrow x\in\overline{A}$$

Teorem 1: $(X,\tau)$ topolojiik uzay, $A\subseteq X$ ve $x\in X$ olmak üzere

$$x, A\text{'nın değme noktası}\Leftrightarrow (\forall U\in\mathcal{U}(x))(U\cap A\neq \emptyset)$$

Bu teoremin ispatı zor değil. Aşağıdaki teoremi ispatlayınız.

Teorem 2: $(X,\tau)$ topolojiik uzay$;$ $\mathcal{B}, \ \tau \ $ için baz$,$ $A\subseteq X$ ve $x\in X$ olmak üzere

$$x, A\text{'nın değme noktası}\Leftrightarrow (\forall B\in\mathcal{B}(x))(B\cap A\neq \emptyset)$$

Not: $\mathcal{B}(x):=\{B|x\in B\in\mathcal{B}\}$


7, Haziran, 2017 Lisans Matematik kategorisinde murad.ozkoc (8,870 puan) tarafından  soruldu
12, Mayıs, 12 murad.ozkoc tarafından düzenlendi

1 cevap

0 beğenilme 0 beğenilmeme

Gerek Kısmı: $x\in\overline{A}$  ve  $B\in\mathcal{B}(x)$ olsun.

$\left.\begin{array}{r} \mathcal{B}, \,\ \tau \text{ için baz}\Rightarrow \mathcal{B}\subseteq\tau \Rightarrow \mathcal{B}(x)\subseteq \mathcal{U}(x) \\ B\in \mathcal{B}(x) \end{array} \right\}\Rightarrow \!\!\! \begin{array}{r} \\ \left. \begin{array}{r} B\in\mathcal{U}(x) \\ x\in\overline{A} \end{array} \right\} \Rightarrow B\cap A\neq \emptyset.\end{array}$

Yeter Kısmı: $x\in X$  ve  $U\in\mathcal{U}(x)$ olsun.

$\left.\begin{array}{r} U\in\mathcal{U}(x) \\ \mathcal{B}, \,\ \tau \text{ için baz} \end{array} \right\}\Rightarrow \!\!\! \begin{array}{c} \\ \left. \begin{array}{r} (\exists \mathcal{A}\subseteq \mathcal{B})(U=\cup \mathcal{A}) \\ \text{Hipotez} \end{array} \right\} \Rightarrow U\cap A\neq \emptyset.\end{array}$

7, Haziran, 2017 murad.ozkoc (8,870 puan) tarafından  cevaplandı
12, Mayıs, 12 murad.ozkoc tarafından düzenlendi

İspatın formalizasyonu sağlıklı değildi. Tekrar düzenledim.

...