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

$\tau\times \tau'$ çarpım topolojisinin $A\times B$ kümesine relatif topolojisi, $\tau$ topolojisinin $A$ kümesine relatif topolojisi ile $\tau'$ topolojisinin $B$ kümesine relatif topolojisinin çarpım topolojisine eşittir.

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

Çarpım uzayları için bazları düşün.

En sonunda bu linkteki sonucu kullanacaksın.

1 cevap

0 beğenilme 0 beğenilmeme

$\left.\begin{array}{rr} \mathcal{B}=\{T\times T'|(T\in\tau)(T'\in\tau')\}, \ \ \tau\star\tau'  \,\ \text{ için baz} \\ \\ (\emptyset\neq A\subseteq X)(\emptyset\neq B\subseteq Y)\Rightarrow\emptyset\neq A\times B\subseteq X\times Y  \end{array}\right\} \Rightarrow $


$\Rightarrow \mathcal{B}_{A\times B}=\{(A\times B)\cap (T\times T')|(T\in\tau)(T'\in\tau')\}, \ \ (\tau\star\tau')_{A\times B} \,\ \text{  için baz}\ldots (1)$


$\left.\begin{array}{rr} \mathcal{B}'=\{U\times V|(U\in\tau_A)(V\in\tau'_B)\}, \ \ \tau_A\star\tau'_B \,\ \text{ için baz} \\ U\in\tau_A\Rightarrow (\exists T\in\tau)(U=A\cap T) \\ V\in\tau'_B\Rightarrow (\exists T\in\tau')(V=B\cap T')  \end{array}\right\} \Rightarrow $


$\Rightarrow \mathcal{B}'=\{(A\cap T)\times (B\cap T')|(T\in\tau)(T'\in\tau')\}, \ \ \tau_A\star\tau'_B \,\ \text{ için baz}$


$\Rightarrow \mathcal{B}'=\{(A\times B)\cap (T\times T')|(T\in\tau)(T'\in\tau')\}, \ \ \tau_A\star\tau'_B \,\ \text{ için baz}\ldots (2)$


$$(1),(2)\Rightarrow \mathcal{B}=\mathcal{B}'$$


$$(\mathcal{B}, \,\ \tau_A\star\tau_B' \,\ \text{ için baz})(\mathcal{B}, \,\ (\tau\star\tau')_{A\times B} \,\ \text{ için baz})$$

$$\overset{?}{\Rightarrow}$$

$$ \tau_A\star\tau_B=(\tau\star\tau')_{A\times B}$$ Soru işaretinin gerekçesini bu linkte bulabilirsin.

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